Окрестности функции. Предел последовательности функции. МА. Предел функции. Определение на языке "эпсилон-дельта" Эквивалентность определений предела функции по Коши
Рассмотрено общее определение окрестности точки на числовой прямой. Определения эпсилон окрестности, левосторонней, правосторонней и проколотых окрестностей конечных и бесконечно удаленных точек. Свойство окрестности. Доказана теорема о равносильности использования эпсилон окрестности и произвольной окрестности в определении предела функции по Коши.
СодержаниеОпределение окрестности точки
Окрестностью действительной точки x 0
называется любой открытый интервал, содержащий эту точку:
.
Здесь ε 1
и ε 2
- произвольные положительные числа.
Эпсилон - окрестностью точки x 0
называется множество точек, расстояние от которых до точки x 0
меньше ε
:
.
Проколотой окрестностью точки x 0
называется окрестность этой точки, из которой исключили саму точку x 0
:
.
Окрестности конечных точек
В самом начале было дано определение окрестности точки. Ее обозначают как .
Но можно явно указать, что окрестность зависит от двух чисел, используя соответствующие аргументы:
(1)
.
То есть окрестность - это множество точек, принадлежащее открытому интервалу .
Приравняв ε 1
к ε 2
,
получим эпсилон - окрестность:
(2)
.
Эпсилон - окрестность - это множество точек, принадлежащее открытому интервалу с равноудаленными концами.
Разумеется, букву эпсилон можно заменить на любую другую и рассматривать δ
- окрестность, σ
- окрестность, и т.д.
В теории пределов можно использовать определение окрестности, основанное как на множестве (1), так и на множестве (2). Использование любой из этих окрестностей дает эквивалентные результаты (см. ). Но определение (2) проще, поэтому часто используют именно эпсилон - окрестность точки, определяемую из (2).
Также широко используют понятия левосторонних, правосторонних и проколотых окрестностей конечных точек. Приводим их определения.
Левосторонняя окрестность действительной точки x 0
- это полуоткрытый интервал, расположенный на действительной оси слева от точки x 0
,
включая саму точку:
;
.
Правосторонняя окрестность действительной точки x 0
- это полуоткрытый интервал, расположенный справа от точки x 0
,
включая саму точку:
;
.
Проколотые окрестности конечных точек
Проколотые окрестности точки x 0 - это те же самые окрестности, из которых исключена сама точка. Они обозначаются с кружочком над буквой. Приводим их определения.
Проколотая окрестность точки x 0
:
.
Проколотая эпсилон - окрестность точки x 0
:
;
.
Проколотая левосторонняя окрестность
:
;
.
Проколотая правосторонняя окрестность
:
;
.
Окрестности бесконечно удаленных точек
Наряду с конечными точками, также вводят понятие окрестности бесконечно удаленных точек. Все они являются проколотыми, поскольку не существует бесконечно удаленного действительного числа (бесконечно удаленная точка определяется как предел бесконечно большой последовательности).
.
;
;
.
Можно было определить окрестности бесконечно удаленных точек и так:
.
Но вместо M
мы используем ,
чтобы окрестность с меньшим ε
являлась подмножеством окрестности с большим ε
,
как и для окрестностей конечных точек.
Свойство окрестности
Далее мы используем очевидное свойство окрестности точки (конечной или бесконечно удаленной). Оно заключается в том, что окрестности точек с меньшими значениями ε являются подмножествами окрестностей с большими значениями ε . Приводим более строгие формулировки.
Пусть есть конечная или бесконечно удаленная точка. И пусть .
Тогда
;
;
;
;
;
;
;
.
Также справедливы и обратные утверждения.
Эквивалентность определений предела функции по Коши
Теперь покажем, что в определении предела функции по Коши, можно использовать как произвольную окрестность , так и окрестность с равноудаленными концами .
Теорема
Определения предела функции по Коши, в которых используются произвольные окрестности и окрестности с равноудаленными концами эквивалентны.
Доказательство
Сформулируем первое определение предела функции
.
Число a
является пределом функции в точке (конечной или бесконечно удаленной), если для любых положительных чисел существуют такие числа ,
зависящие от и ,
что для всех ,
принадлежит соответствующей окрестности точки a
:
.
Сформулируем второе определение предела функции
.
Число a
является пределом функции в точке ,
если для любого положительного числа существует такое число ,
зависящее от ,
что для всех :
.
Доказательство 1 ⇒ 2
Докажем, что если число a является пределом функции по 1-му определению, то оно также является пределом и по 2-му определению.
Пусть выполняется первое определение. Это означает, что имеются такие функции и ,
так что для любых положительных чисел выполняется следующее:
при ,
где .
Поскольку числа и произвольные, то приравняем их:
.
Тогда имеются такие функции и ,
так что для любого выполняется следующее:
при ,
где .
Заметим, что .
Пусть есть наименьшее из положительных чисел и .
Тогда, согласно отмеченному выше ,
.
Если ,
то .
То есть мы нашли такую функцию ,
так что для любого выполняется следующее:
при ,
где .
Это означает, что число a
является пределом функции и по второму определению.
Доказательство 2 ⇒ 1
Докажем, что если число a является пределом функции по 2-му определению, то оно также является пределом и по 1-му определению.
Пусть выполняется второе определение. Возьмем два положительных числа и .
И пусть - наименьшее из них. Тогда, согласно второму определению, имеется такая функция ,
так что для любого положительного числа и для всех ,
следует, что
.
Но согласно , .
Поэтому из того, что следует, что
.
Тогда для любых положительных чисел и ,
мы нашли два числа ,
так что для всех :
.
Это означает, что число a является пределом и по первому определению.
Теорема доказана.
Использованная литература:
Л.Д. Кудрявцев. Курс математического анализа. Том 1. Москва, 2003.
texvc
-окре́стность
множества в функциональном анализе и смежных дисциплинах - это такое множество, каждая точка которого удалена от данного множества не более, чем на Невозможно разобрать выражение (Выполняемый файл texvc
не найден; См. math/README - справку по настройке.): \varepsilon
.
Определения
- Пусть Невозможно разобрать выражение (Выполняемый файл
texvc
не найден; См. math/README - справку по настройке.): (X,\varrho) есть метрическое пространство , Невозможно разобрать выражение (Выполняемый файлtexvc
не найден; См. math/README - справку по настройке.): x_0 \in X, и Невозможно разобрать выражение (Выполняемый файлtexvc
не найден; См. math/README - справку по настройке.): \varepsilon > 0. Невозможно разобрать выражение (Выполняемый файлtexvc
не найден; См. math/README - справку по настройке.): \varepsilon -окрестностью Невозможно разобрать выражение (Выполняемый файлtexvc
называется множество
texvc
не найден; См. math/README - справку по настройке.): U_{\varepsilon}(x_0) = \{ x\in X \mid \varrho(x,x_0) < \varepsilon \}.
- Пусть дано подмножество Невозможно разобрать выражение (Выполняемый файл
texvc
не найден; См. math/README - справку по настройке.): A \subset X. Тогда Невозможно разобрать выражение (Выполняемый файлtexvc
не найден; См. math/README - справку по настройке.): \varepsilon -окрестностью этого множества называется множество
texvc
не найден; См. math/README - справку по настройке.): U_{\varepsilon}(A) = \bigcup\limits_{x \in A} U_{\varepsilon}(x).
Замечания
- Невозможно разобрать выражение (Выполняемый файл
texvc
не найден; См. math/README - справку по настройке.): \varepsilon -окрестностью точки Невозможно разобрать выражение (Выполняемый файлtexvc
не найден; См. math/README - справку по настройке.): x_0 таким образом называется открытый шар с центром в Невозможно разобрать выражение (Выполняемый файлtexvc
не найден; См. math/README - справку по настройке.): x_0 и радиусом Невозможно разобрать выражение (Выполняемый файлtexvc
не найден; См. math/README - справку по настройке.): \varepsilon. - Прямо из определения следует, что
texvc
не найден; См. math/README - справку по настройке.): U_{\varepsilon}(A) = \{ x\in X \mid \exists y\in A\; \varrho(x,y) < \varepsilon\}.
- Невозможно разобрать выражение (Выполняемый файл
texvc
не найден; См. math/README - справку по настройке.): \varepsilon -окрестность является окрестностью и, в частности, открытым множеством .
Примеры
Напишите отзыв о статье "Эпсилон-окрестность"
Отрывок, характеризующий Эпсилон-окрестность
– Ну, что – послушаем? – нетерпеливо подталкивала меня малышка.Мы подошли вплотную... И я почувствовала чудесно-мягкое прикосновение сверкающей волны... Это было нечто невероятно нежное, удивительно ласковое и успокаивающее, и в то же время, проникающее в самую «глубинку» моей удивлённой и чуть настороженной души... По моей стопе пробежала, вибрируя миллионами разных оттенков, тихая «музыка» и, поднимаясь вверх, начала окутывать меня с головой чем-то сказочно красивым, чем-то, не поддающимся никаким словам... Я чувствовала, что лечу, хотя никакого полёта наяву не было. Это было прекрасно!.. Каждая клеточка растворялась и таяла в набегающей новой волне, а сверкающее золото вымывало меня насквозь, унося всё плохое и грустное и оставляя в душе только чистый, первозданный свет...
Я даже не почувствовала, как вошла и окунулась в это сверкающее чудо почти с головой. Было просто невероятно хорошо и не хотелось никогда оттуда выходить...
– Ну, всё, хватит уже! Нас задание ждёт! – ворвался в сияющую красоту напористый Стеллин голосок. – Тебе понравилось?
– О, ещё как! – выдохнула я. – Так не хотелось выходить!..
– Вот, вот! Так и «купаются» некоторые до следующего воплощения... А потом уже больше сюда не возвращаются...
Какие значки помимо знаков неравенств и модуля вы знаете?
Из курса алгебры нам известны следующие обозначения:
– квантор всеобщности обозначает– «для любого», «для всех», «для каждого», то есть запись следует прочитать «для любого положительного эпсилон»;
– квантор существования, – существует значение , принадлежащее множеству натуральных чисел.
– длинная вертикальная палка читается так: «такое, что», «такая, что», «такой, что» либо «такие, что», в нашем случае, очевидно, речь идёт о номере – поэтому «такой, что»;
– для всех «эн», бОльших чем ;
– знак модуля означает расстояние, т.е. эта запись сообщает нам о том, что расстояние между значениями меньше эпсилон.
Определение предела последовательности
И в самом деле, немного порассуждаем – как сформулировать строгое определение последовательности? …Первое, что приходит на ум в свете практического занятия: «предел последовательности – это число, к которому бесконечно близко приближаются члены последовательности».
Хорошо, распишем последовательность:
Нетрудно уловить, что подпоследовательность бесконечно близко приближаются к числу –1, а члены с чётными номерами – к «единице».
А может быть предела два? Но тогда почему у какой-нибудь последовательности их не может быть десять или двадцать? Так можно далеко зайти. В этой связи логично считать, что если у последовательности существует предел, то он единственный.
Примечание: у последовательности нет предела, однако из неё можно выделить две подпоследовательности (см. выше), у каждой из которых существует свой предел.
Таким образом, высказанное выше определение оказывается несостоятельным. Да, оно работает для случаев вроде (чем я не совсем корректно пользовался в упрощённых объяснениях практических примеров), но сейчас нам нужно отыскать строгое определение.
Попытка вторая: «предел последовательности – это число, к которому приближаются ВСЕ члены последовательности, за исключением, разве что их конечного количества». Вот это уже ближе к истине, но всё равно не совсем точно. Так, например, у последовательности половина членов вовсе не приближается к нулю – они ему просто-напросто равны =) К слову, «мигалка» вообще принимает два фиксированных значения.
Формулировку нетрудно уточнить, но тогда возникает другой вопрос: как записать определение в математических знаках? Научный мир долго бился над этой проблемой, пока ситуацию не разрешил известный маэстро, который, по существу, и оформил классический матанализ во всей его строгости. Коши предложил оперировать окрестностями, чем значительно продвинул теорию.
Рассмотрим некоторую точку и её произвольную -окрестность:
Значение «эпсилон» всегда положительно, и, более того, мы вправе выбрать его самостоятельно. Предположим, что в данной окрестности находится множество членов (не обязательно все) некоторой последовательности . Как записать тот факт, что, например десятый член попал в окрестность? Пусть он находится в правой её части. Тогда расстояние между точками и должно быть меньше «эпсилон»: . Однако если «икс десятое» расположено левее точки «а», то разность будет отрицательна, и поэтому к ней нужно добавить знак модуля: .
Определение: число называется пределом последовательности, если для любой его окрестности (заранее выбранной) существует натуральный номер – ТАКОЙ, что ВСЕ члены последовательности с бОльшими номерам окажутся внутри окрестности:
Или короче: , если
Иными словами, какое бы малое значение «эпсилон» мы ни взяли, рано или поздно «бесконечный хвост» последовательности ПОЛНОСТЬЮ окажется в этой окрестности.
Так, например, «бесконечный хвост» последовательности ПОЛНОСТЬЮ зайдёт в любую сколь угодно малую -окрестность точки Таким образом, это значение является пределом последовательности по определению. Напоминаю, что последовательность, предел которой равен нулю, называют бесконечно малой.
Следует отметить, что для последовательности уже нельзя сказать «бесконечный хвост зайдёт» – члены с нечётными номерами по факту равны нулю и «никуда не заходят» =) Именно поэтому в определении использован глагол «окажутся». И, разумеется, члены такой последовательности, как тоже «никуда не идут». Кстати, проверьте, будет ли число её пределом.
Теперь покажем, что у последовательности не существует предела. Рассмотрим, например, окрестность точки . Совершенно понятно, что нет такого номера, после которого ВСЕ члены окажутся в данной окрестности – нечётные члены всегда будут «выскакивать» к «минус единице». По аналогичной причине не существует предела и в точке .
Доказать что предел последовательности равен нулю. Указать номер , после которого, все члены последовательности гарантированно окажутся внутри любой сколь угодно малой -окрестности точки .
Примечание: у многих последовательностей искомый натуральный номер зависит от значения – отсюда и обозначение .
Решение: рассмотрим произвольную -окрестность точки и проверим, найдётся ли номер – такой, что ВСЕ члены с бОльшими номерами окажутся внутри этой окрестности:
Чтобы показать существование искомого номера , выразим через .
Так как при любом значении «эн» , то знак модуля можно убрать:
Используем «школьные» действия с неравенствами, которые я повторял на уроках Линейные неравенства и Область определения функции. При этом важным обстоятельством является то, что «эпсилон» и «эн» положительны:
Поскольку слева речь идёт о натуральных номерах, а правая часть в общем случае дробна, то её нужно округлить:
Примечание: иногда для перестраховки справа добавляют единицу, но на самом деле это излишество. Условно говоря, если и мы ослабим результат округлением в меньшую сторону , то ближайший подходящий номер («тройка») всё равно будет удовлетворять первоначальному неравенству.
А теперь смотрим на неравенство и вспоминаем, что изначально мы рассматривали произвольную -окрестность, т.е. «эпсилон» может быть равно любому положительному числу.
Вывод : для любой сколько угодно малой -окрестности точки нашлось значение , такое, что для всех бОльших номеров выполнено неравенство . Таким образом, число является пределом последовательности по определению. Что и требовалось доказать.
К слову, из полученного результата хорошо просматривается естественная закономерность: чем меньше -окрестность – тем больше номер , после которого ВСЕ члены последовательности окажутся в данной окрестности. Но каким бы малым ни было «эпсилон» – внутри всегда будет «бесконечный хвост», а снаружи – пусть даже большое, однако конечное число членов.