Критерий компактности в n-мерном пространстве (Теорема Гейне – Бореля)

Теорема Гейне – Бореля. Чтобы множество [latex]K \subset \mathbb{R}^n[/latex] являлось компактным, необходимо и достаточно, чтобы [latex]K[/latex] было ограниченным и замкнутым.

Доказательство. Достаточность. Пусть [latex]K[/latex] замкнуто и ограничено. Тогда найдется сегмент [latex]I \subset \mathbb{R}^n[/latex], содержащий [latex]K[/latex]. В силу леммы Гейне – Бореля, этот сегмент [latex]I[/latex] компактен. Поэтому, в силу свойств компактных множеств, компактно также его замкнутое подмножество [latex]K[/latex]. Необходимость. Пусть [latex]K[/latex] —  компакт. Докажем, что данное множество ограничено. Обозначим через [latex]B_s[/latex] открытый шар с центром в точке [latex]0[/latex] радиуса [latex]s[/latex]. Тогда последовательность шаров[latex]\left\{B_s\right\}^{\infty}_{s=1}[/latex] покрывает все пространство [latex]\mathbb{R}^n[/latex], а следовательно, и множество [latex]K[/latex]. Так как [latex]K[/latex] компактно, следовательно, оно может быть покрыто конечным набором шаров [latex]B_s[/latex]. Среди всех этих шаров выберем шар с наибольшим радиусом. Пусть это шар [latex]B^{\ast}[/latex]. Тогда ясно, что [latex]K \subset B^{\ast}[/latex], так что [latex]K[/latex] ограничено. Покажем теперь, замкнутость множества [latex]K[/latex]. Для этого достаточно показать, что любая точка [latex]y \notin K[/latex], не будет предельной для [latex]K[/latex]. Итак, пусть [latex]y \notin K[/latex]. Рассмотрим множества [latex]G_k = c\overline{B}(y, \frac{1}{k}) (k = 1,2,…)[/latex]. Так как замкнутый шар [latex]\overline{B}(y, \frac{1}{k})[/latex] – множество замкнутое, следовательно его дополнение [latex]G_k[/latex] открыто. Кроме того, ясно, что[latex] \bigcup^{\infty}_{k=1}G_k = \mathbb{R}^n \setminus \left\{y\right\}[/latex]. Поскольку [latex]y \notin K[/latex], то совокупность множеств [latex]G_k (k = 1,2,…)[/latex] образует открытое покрытие множества [latex]K[/latex]. Пользуясь компактностью [latex]K[/latex], выберем из этого покрытия конечное подпокрытие [latex]\left\{G_{k_1},…,G_{k_s}\right\}[/latex] и положим [latex]\rho = \frac{1}{max\left\{k_1,…,k_s\right\}} > 0[/latex]. Отсюда следует, что шар [latex]B(y,\rho)[/latex] не имеет общих точек с множеством [latex]K[/latex]. Получаем, что точка [latex]y[/latex] не будет предельной для [latex]K[/latex]. [latex]\square[/latex]

Литература:

Определение непрерывности по Коши и по Гейне

 Определение: 

Функция \(f(x)\), называется непрерывной в точке \(x_{0}\), если  \(\lim\limits_{x\rightarrow x_{0}} f(x)=f(x_{0})\)

Определение(по Коши):

Функция \(f(x)\), называется непрерывной в точке \(x_{0}\), если: \(\forall \varepsilon > 0,\exists \delta _{\varepsilon }> 0, \forall x\in X,| x-x_{0}|<\delta :|f(x)-f(x_{0})|< \varepsilon\)

Определение (по Гейне):

Функция \(f(x)\), называется непрерывной в точке \(x_{0}\), если для любой последовательности \(\forall \left \{ x_{n} \right \}_{n=1 }^{\infty }\), \(x_{n}\in X, n\in N\), такого что, \(\lim\limits_{n\rightarrow {\infty}}x_{n}=x_{0}\):

\(\lim\limits_{n\rightarrow {\infty}}f(x_{n})=f(x_{0})\)

Определение:

Функция \(f(x)\) называется непрерывной в точке \(x_{0}\), если \(\lim\limits_{\Delta x\rightarrow 0}\Delta f=0\)  , то есть бесконечно малому приращению аргумента соответствует бесконечно малое приращение функции.

Определение:

Функция \(f(x)\) — непрерывна справа, если \(\lim\limits_{x\rightarrow x_{0}+0}f(x)=f(x_{0})\) Функция \(f(x)\) — непрерывна слева, если \(\lim\limits_{x\rightarrow x_{0}-0}f(x)=f(x_{0})\) Функция \(f(x)\) называется непрерывной в точке \(x_{0}\), если \(\lim\limits_{x\rightarrow x_{0}+0}f(x)=\lim\limits_{x\rightarrow x_{0}-0}f(x)=f(x_{0})\)

Замечание:

Все эти определения непрерывности функции в точке эквивалентны. Кроме того, основные элементарные функции непрерывны во всех точках своей области определения.

Пример:

1) \(x_{0}\geq 0\) \(\lim\limits_{x\rightarrow x_{0}}\sqrt{x}=\sqrt{x_{0}}\)        (\(\sqrt{x}\)- непрерывна на всей области определения)

Докажем:

\(\forall \varepsilon > 0, \exists \delta _{\varepsilon }> 0, \forall x:|x-x_{0}|< \delta \Rightarrow |\sqrt{x}-\sqrt{x_{0}}|< \varepsilon\) \(|\sqrt{x}-\sqrt{x_{0}}|= \) \(|\frac{(\sqrt{x}-\sqrt{x_{0}})(\sqrt{x}+\sqrt{x_{0}})}{\sqrt{x}+\sqrt{x_{0}}}| = \) \(|\frac{x-x_{0}}{\sqrt{x}+\sqrt{x_{0}}}|=\) \(\frac{|x-x_{0}|}{\sqrt{x}+\sqrt{x_{0}}}\leq \frac{|x-x_{0}|}{\sqrt{x_{0}}}<\) \(\frac{\delta }{\sqrt{x_{0}}}<\) \( \varepsilon\) \(0< \delta < \varepsilon \sqrt{x_{0}}\) (\(\delta =\frac{\varepsilon \sqrt{x_{0}}}{2})\)

Рекомендации:

  Учебники :

 Сборники задач:

  • Демидович Б.П. «Сборник упражнений по математическому анализу» 13-е издание, исправленное, Отдел 1, § 7 «Непрерывность функции» стр.77-87;
  • Дороговцев А.Я. «Математический анализ» Глава 3, § 2 «Непрерывные функции» стр.50-58.

Непрерывные функции

Тест проверяет знания по тексту «Непрерывные функции»

 

Таблица лучших: Непрерывные функции

максимум из 24 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных
(Основной материал был взят из курса Математического анализа ,1 курс,1 семестр (доц. Лысенко З.М.))

Определение предела по Коши и по Гейне, их эквивалентность

1. Определение предела по Коши и по Гейне

Определение 1.1. (определение по Коши или на языке [latex]\varepsilon — \delta[/latex]):

[latex]A[/latex] — предел функции [latex]f(x)[/latex] в точке [latex]a[/latex] (и пишут \(\lim\limits_{x\rightarrow a } f(x) = A\)), если: [latex]\forall \varepsilon > 0 \exists \delta > 0:\forall x: 0 < |x-a| < \delta \Rightarrow |f(x) — A| < \varepsilon[/latex]
В определении допускается, что [latex]x \neq a[/latex], то есть [latex]a[/latex] может не принадлежать области определения функции.

Определение 1.2. (определение по Гейне):

[latex]A[/latex] называется пределом функции [latex]f(x)[/latex] в точке [latex]a[/latex], если [latex]\forall \left \{ x_{n} \right \}\rightarrow a[/latex], [latex]x_n\ne a[/latex] то есть [latex]\lim\limits_{n\rightarrow \infty } x_{n} = a[/latex], соответствующая последовательность значений [latex]{f(x_{n})} \rightarrow A[/latex], то есть [latex]\lim\limits_{n\rightarrow \infty } f(x_{n}) = A[/latex].

Замечание 1.1.

Из определения предела функции по Гейне следует, что функция не может иметь в точке два разные предела.

Замечание 1.2.

Понятие предела функции в точке есть локальное понятие: существование и значение предела полностью определяется значениями функции в как угодно малой окрестности этой точки.

Замечание 1.3.

[latex]\forall x:0<|x-a|<\delta[/latex]

Данную запись в определении можно сформулировать иначе: точка [latex]x[/latex] принадлежит проколотой [latex]\delta[/latex]-окрестности точки [latex]a[/latex]([latex]x\in \dot{U_{\delta }}(a)[/latex])

2. Эквивалентность определений

Пусть число [latex]A[/latex] является пределом функции [latex]f(x)[/latex] в точке [latex]a[/latex] по Коши. Выберем произвольную подходящую последовательность [latex]x_{n}[/latex] , [latex]n \in N[/latex], то есть такую, для которой [latex]\lim\limits_{n\rightarrow \infty } x_{n} = a[/latex]. Покажем, что [latex]A[/latex] является пределом по Гейне.

Зададим произвольное [latex]\varepsilon > 0[/latex] и укажем для него такое [latex]\delta > 0[/latex], что для всех [latex]x[/latex] из условия [latex]0 < |x-a| < \delta[/latex] следует неравенство [latex]|f(x)-A | < \varepsilon[/latex]. В силу того, что [latex]\lim\limits_{n\rightarrow \infty } x_{n} = a[/latex], для [latex]\delta > 0[/latex] найдётся такой номер [latex]n_{\delta }\in N[/latex], что [latex]\forall n\geq n_{\delta }[/latex] будет выполняться неравенство [latex]|f(x_{n})-A| < \varepsilon[/latex], то есть [latex]\lim\limits_{n\rightarrow \infty } f(x_{n}) = A[/latex].

Докажем теперь обратное утверждение: предположим, что [latex]\lim\limits_{x\rightarrow a } f(x) = A[/latex] по Гейне, и покажем, что число [latex]A[/latex] является пределом функции [latex]f(x)[/latex] в точке [latex]a[/latex] по Коши. Предположим, что это неверно, то есть: [latex]\exists \varepsilon_{0} > 0 \forall \delta > 0 :\exists x_{\delta }:0<|x_{\delta }-a|<\delta \Rightarrow |f(x_{\delta })-A|\geq \varepsilon[/latex]. В качестве [latex]\delta[/latex] рассмотрим [latex]\delta = \frac{1}{n}[/latex], а соответствующие значения [latex]x_{\delta }[/latex] будем обозначать [latex]x_{n}[/latex]. Тогда при любом [latex]n\in N[/latex] выполняются условия [latex]|x_{n}-a|<\frac{1}{n}[/latex] и [latex]|f(x_{n})- A | \geq \varepsilon[/latex]. Отсюда следует, что последовательность x_{n} является подходящей, но число [latex]A[/latex] не является пределом функции [latex]f(x)[/latex] в точке [latex]a[/latex]. Получили противоречие.

3. Примеры

Пример 3.1.

а) [latex]\lim\limits_{x\rightarrow 2 } x^{2} = 4[/latex]

[latex]\forall \varepsilon >0\exists \delta >0:\forall x:0<|x-2|<\delta \Rightarrow |x^{2}-4|<\varepsilon[/latex][latex]|x^{2}-4|=|(x-2)(x+2)|=|x-2|\cdot|x+2|<5\delta <\varepsilon \Rightarrow 0<\delta <\frac{\varepsilon }{5}[/latex] , например [latex]\delta =\frac{\varepsilon }{6}[/latex]

б) [latex]\forall\left \{ x_{n} \right \}\rightarrow 2[/latex]                                                                                 [latex]\lim\limits_{n\rightarrow 2 } f(x_{n}) =\lim\limits_{n\rightarrow 2} x_{n}^{2}=4[/latex]

Пример 3.2.

Доказать, что [latex]f(x)=\sin \frac{1}{x}[/latex] не имеет предела в точке 0.

[latex]\exists \left \{ {x_{n}}’ \right \}\rightarrow 0[/latex] [latex]\exists \left \{ {x_{n}}» \right \}\rightarrow 0[/latex]

[latex]\left \{ f({x_{n}}’) \right \}\rightarrow A_{1}[/latex] [latex]\left \{ f({x_{n}}») \right \}\rightarrow A_{2}[/latex]

[latex]{x_{n}}’:\sin \frac{1}{{x_{n}}’}=0\Leftrightarrow \frac{1}{{x_{n}}’}=\pi n\Rightarrow {x_{n}}’ = \frac{1}{\pi n}\xrightarrow[ n\neq 0]{n\rightarrow \infty}0[/latex]                                                            [latex]{x_{n}}’= \frac{1}{\pi n} \rightarrow 0:f({x_{n}}’)=0\rightarrow 0[/latex]                                                                                                [latex]{x_{n}}»:\sin \frac{1}{{x_{n}}»}=1\Leftrightarrow \frac{1}{{x_{n}}»}=\frac{\pi }{2}+2\pi n\Rightarrow {x_{n}}» = \frac{1}{\frac{\pi }{2}+2\pi n}\xrightarrow[n\neq 0]{n\rightarrow \infty }0[/latex]                  [latex]{x_{n}}»= \frac{1}{\frac{\pi }{2}+2\pi n} \rightarrow 0:f({x_{n}}»)=1\rightarrow 1[/latex]

Вывод: последовательность по Гейне не имеет предела.

Литература

 Тест

Тест по теме Определение предела по Коши и по Гейне, их эквивалентность.

Желаем удачи!

Таблица лучших: Предел последовательности

максимум из 10 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных