Теорема Гейне – Бореля. Чтобы множество [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}\), если для любой последовательности \(\forall \left \{ x_{n} \right \}_{n=1 }^{\infty }\), \(x_{n}\in X, n\in N\), такого что, \(\lim\limits_{n\rightarrow {\infty}}x_{n}=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}\)- непрерывна на всей области определения)
Ильин В.А., Позняк Э.Г. «Основы математического анализа» Часть 1, Глава 4, § 7 «Непрерывность и предельные значения некоторых сложных функций» стр.138-143.
Сборники задач:
Демидович Б.П. «Сборник упражнений по математическому анализу» 13-е издание, исправленное, Отдел 1, § 7 «Непрерывность функции» стр.77-87;
Тест проверяет знания по тексту «Непрерывные функции»
Вы уже проходили тест ранее. Вы не можете запустить его снова.
Тест загружается...
Вы должны войти или зарегистрироваться для того, чтобы начать тест.
Вы должны закончить следующие тесты, чтобы начать этот:
Результаты
Правильных ответов: 0 из 4
Ваше время:
Время вышло
Вы набрали 0 из 0 баллов (0)
Средний результат
Ваш результат
Рубрики
Нет рубрики0%
Математический анализ0%
Ваш результат был записан в таблицу лидеров
Загрузка
1
2
3
4
С ответом
С отметкой о просмотре
Задание 1 из 4
1.
Количество баллов: 6
Вставьте пропущенные слова:
Функция \(f(x)\) называется непрерывной в точке \(x_{0}\), если
бесконечно (малому)(приращению) аргумента соответствует бесконечно малое приращение функции.
Правильно
Неправильно
Подсказка
Задание 2 из 4
2.
Количество баллов: 6
Дополните выражение!
Произвольные многочлены, рациональные функции, показательные функции, логарифмы, тригонометрические функции (непрерывны) везде в своей области определения.
Правильно
Неправильно
Задание 3 из 4
3.
Количество баллов: 6
Соберите определение непрерывности по Коши!
$$\forall \varepsilon > 0,$$
$$\exists \delta _{\varepsilon }> 0,$$
$$\forall x\in X,$$
$$|x-x_{0}|< \delta $$
$$|f(x)-f(x_{0})|< \varepsilon $$
Правильно
Неправильно
Задание 4 из 4
4.
Количество баллов: 6
Запись \(\lim\limits_{x\rightarrow x_{0}}f(x)=f(x_{0})\) не может означать, что…
Правильно
Неправильно
Таблица лучших: Непрерывные функции
максимум из 24 баллов
Место
Имя
Записано
Баллы
Результат
Таблица загружается
Нет данных
(Основной материал был взят из курса Математического анализа ,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]. Отсюда следует, что последовательность является подходящей, но число [latex]A[/latex] не является пределом функции [latex]f(x)[/latex] в точке [latex]a[/latex]. Получили противоречие.