Как записать предел на языке эпсилон дельта
Элементы числовой последовательности действительных чисел удобно изображать на числовой прямой, при этом они могут быть расположены на ней хаотично (не подчинено никакому закону или правилу) или как то упорядоченно.
Они могут стремиться к какому-то числу. Т.е. с возрастанием номера элемент становится все ближе и ближе к какому -то числу.
Определение:
Число А называется пределом числовой последовательности если для любого числа существует такой номер , зависящий от , что, начиная с этого номера все элементы последовательности удалены от А не более чем на (принадлежат -окрестности числа А). И обозначается
Замечание:
В математике общепринятыми считаются обозначения:
1) , заменяет словосочетание «для любого».
2) , заменяет слово «существует».
Определение (на языке « » (читается «на языке эпсилон-дельта»)):
Число А называется пределом числовой последовательности если :
Обозначается
Пример:
Доказать, что пределом последовательности при стремлении к бесконечности является 1.
Доказательство:
Доказать, что число является пределом последовательности означает указать закон, по которому, выбрав произвольное , можно найти номер, начиная с которого элементы последовательности будут лежать в -окрестности этого числа.
1. Итак, требуется выполнение неравенства
Подставим выражение для общего члена последовательности и значение предела из условия этой задачи
Т.к. (т.е. положительное), то можно раскрыть модуль
Выразим из полученного неравенства:
2.
Приравняем .
Полученное выражение и есть искомый закон, по которому, выбрав произвольное , можно найти номер, начиная с которого элементы последовательности будут лежать в -окрестности этого числа.
Давайте разберемся.
а) выбираем произвольное .
б) подставляем его в выражение (***) и находим значение .
в) для любого будет верно неравенство (**) потому, что правая часть неравенства (**) и есть значение, которое присвоено .
г) а неравенство (**) равносильно неравенству (*) (это оно же, только преобразованное), т.е. для любого числа можно указать такой номер , что, начиная с этого номера, все элементы последовательности удалены от 1 не более чем на , а значит 1 является пределом последовательности.
Пример:
Известно, что . Требуется найти для:
а)
б)
в)
Решение:
В предыдущем примере была найдена функциональная зависимость между и :
.
а) , , т.е. , начиная с 10-го номера все элементы последовательности отстоят от 1 не более, чем на 0,1.
Вычислим несколько значений элементов:
Отметим их на числовой оси.
б) ,
т.е. , начиная с 100-го номера все элементы последовательности отстоят от 1 не более, чем на 0,01.
Рис.
в) ,
т.е. , начиная с 1000-го номера все элементы последовательности отстоят от 1 не более, чем на 0,001.
Предел последовательности и предел функции по Коши
Сегодня на уроке мы разберём строгое определение последовательности и строгое определение предела функции, а также научимся решать соответствующие задачи теоретического характера. Статья предназначена, прежде всего, для студентов 1-го курса естественнонаучных и инженерно-технических специальностей, которые начали изучать теорию математического анализа, и столкнулись с трудностями в плане понимания этого раздела высшей математики. Кроме того, материал вполне доступен и учащимся старших классов.
За годы существования сайта я получил недобрый десяток писем примерно такого содержания: «Плохо понимаю математический анализ, что делать?», «Совсем не понимаю матан, думаю бросить учёбу» и т.п. И действительно, именно матан часто прореживает студенческую группу после первой же сессии. Почему так обстоят дела? Потому что предмет немыслимо сложен? Вовсе нет! Теория математического анализа не столь трудна, сколько своеобразна. И её нужно принять и полюбить такой, какая она есть =)
Начнём с самого тяжёлого случая. Первое и главное – не надо бросать учёбу. Поймите правильно, бросить, оно всегда успеется 😉 Безусловно, если через год-два от выбранной специальности будет тошнить, тогда да – следует задуматься (а не пороть горячку!) о смене деятельности. Но пока стОит продолжить. И, пожалуйста, забудьте фразу «Ничего не понимаю» – так не бывает, чтобы СОВСЕМ ничего не понимать.
Что делать, если с теорией плохо? Это, кстати, касается не только математического анализа. Если с теорией плохо, то сначала нужно СЕРЬЁЗНО налечь на практику. При этом решаются сразу две стратегические задачи:
– Во-первых, значительная доля теоретических знаний появилась благодаря практике. И поэтому многие люди понимают теорию через… – всё верно! Нет-нет, вы не о том подумали =)
– И, во-вторых, практические навыки с большой вероятностью «вытянут» вас на экзамене, даже если…, но не будем так настраиваться! Всё реально и всё реально «поднять» в достаточно короткие сроки. Математический анализ – это мой любимый раздел высшей математики, и поэтому я просто не мог не протянуть вам ноги руку помощи:
В начале 1-го семестра обычно проходят пределы последовательностей и пределы функций. Не понимаете, что это такое и не знаете, как их решать? Начните со статьи Пределы функций, в которой «на пальцах» рассмотрено само понятие и разобраны простейшие примеры. Далее проработайте другие уроки по теме, в том числе урок о пределах последовательностей, на котором я фактически уже сформулировал строгое определение.
На начальном этапе не рекомендую особо заглядывать в учебник по математическому анализу, да и в собственные записи тоже. Хотя давайте немного причастимся:
Какие значки помимо знаков неравенств и модуля вы знаете?
Из курса алгебры нам известны следующие обозначения:
– квантор всеобщности обозначает– «для любого», «для всех», «для каждого», то есть запись следует прочитать «для любого положительного эпсилон»;
– квантор существования, – существует значение , принадлежащее множеству натуральных чисел.
– длинная вертикальная палка читается так: «такое, что», «такая, что», «такой, что» либо «такие, что», в нашем случае, очевидно, речь идёт о номере – поэтому «такой, что»;
– для всех «эн», бОльших чем ;
– знак модуля означает расстояние, т.е. эта запись сообщает нам о том, что расстояние между значениями меньше эпсилон.
А теперь попытайтесь прочитать строку целиком.
Ну как, убийственно сложно? =)
После освоения практики жду вас в следующем параграфе:
Определение предела последовательности
И в самом деле, немного порассуждаем – как сформулировать строгое определение последовательности? …Первое, что приходит на ум в свете практического занятия: «предел последовательности – это число, к которому бесконечно близко приближаются члены последовательности».
Хорошо, распишем последовательность :
Нетрудно уловить, что подпоследовательность бесконечно близко приближаются к числу –1, а члены с чётными номерами – к «единице».
А может быть предела два? Но тогда почему у какой-нибудь последовательности их не может быть десять или двадцать? Так можно далеко зайти. В этой связи логично считать, что если у последовательности существует предел, то он единственный.
Примечание: у последовательности нет предела, однако из неё можно выделить две подпоследовательности (см. выше), у каждой из которых существует свой предел.
Таким образом, высказанное выше определение оказывается несостоятельным. Да, оно работает для случаев вроде (чем я не совсем корректно пользовался в упрощённых объяснениях практических примеров), но сейчас нам нужно отыскать строгое определение.
Попытка вторая: «предел последовательности – это число, к которому приближаются ВСЕ члены последовательности, за исключением, разве что их конечного количества». Вот это уже ближе к истине, но всё равно не совсем точно. Так, например, у последовательности половина членов вовсе не приближается к нулю – они ему просто-напросто равны =) К слову, «мигалка» вообще принимает два фиксированных значения.
Формулировку нетрудно уточнить, но тогда возникает другой вопрос: как записать определение в математических знаках? Научный мир долго бился над этой проблемой, пока ситуацию не разрешил известный маэстро, который, по существу, и оформил классический матанализ во всей его строгости. Коши предложил оперировать окрестностями, чем значительно продвинул теорию.
Рассмотрим некоторую точку и её произвольную -окрестность:
Значение «эпсилон» всегда положительно, и, более того, мы вправе выбрать его самостоятельно. Предположим, что в данной окрестности находится множество членов (не обязательно все) некоторой последовательности . Как записать тот факт, что, например десятый член попал в окрестность? Пусть он находится в правой её части. Тогда расстояние между точками и должно быть меньше «эпсилон»: . Однако если «икс десятое» расположено левее точки «а», то разность будет отрицательна, и поэтому к ней нужно добавить знак модуля: .
Определение: число называется пределом последовательности, если для любой его окрестности (заранее выбранной) существует натуральный номер – ТАКОЙ, что ВСЕ члены последовательности с бОльшими номерами окажутся внутри окрестности:
Или короче: , если
Иными словами, какое бы малое значение «эпсилон» мы ни взяли, рано или поздно «бесконечный хвост» последовательности ПОЛНОСТЬЮ окажется в этой окрестности.
Так, например, «бесконечный хвост» последовательности ПОЛНОСТЬЮ зайдёт в любую сколь угодно малую -окрестность точки . Таким образом, это значение является пределом последовательности по определению. Напоминаю, что последовательность, предел которой равен нулю, называют бесконечно малой.
Следует отметить, что для последовательности уже нельзя сказать «бесконечный хвост зайдёт» – члены с нечётными номерами по факту равны нулю и «никуда не заходят» =) Именно поэтому в определении использован глагол «окажутся». И, разумеется, члены такой последовательности, как тоже «никуда не идут». Кстати, проверьте, будет ли число её пределом.
Теперь покажем, что у последовательности не существует предела. Рассмотрим, например, окрестность точки . Совершенно понятно, что нет такого номера, после которого ВСЕ члены окажутся в данной окрестности – нечётные члены всегда будут «выскакивать» к «минус единице». По аналогичной причине не существует предела и в точке .
Начинающим рекомендую 2-3 раза перечитать вышесказанное + параграф понятие предела последовательности предыдущего урока, где я объяснил то же самое, но без математических значков.
Закрепим материал практикой:
Доказать что предел последовательности равен нулю. Указать номер , после которого, все члены последовательности гарантированно окажутся внутри любой сколь угодно малой -окрестности точки .
Примечание: у многих последовательностей искомый натуральный номер зависит от значения – отсюда и обозначение .
Решение: рассмотрим произвольную -окрестность точки и проверим, найдётся ли номер – такой, что ВСЕ члены с бОльшими номерами окажутся внутри этой окрестности:
Чтобы показать существование искомого номера , выразим через .
Так как при любом значении «эн» , то знак модуля можно убрать:
Используем «школьные» действия с неравенствами, которые я повторял на уроках Линейные неравенства и Область определения функции. При этом важным обстоятельством является то, что «эпсилон» и «эн» положительны:
Поскольку слева речь идёт о натуральных номерах, а правая часть в общем случае дробна, то её нужно округлить:
Примечание: иногда для перестраховки справа добавляют единицу, но на самом деле это излишество. Условно говоря, если и мы ослабим результат округлением в меньшую сторону , то ближайший подходящий номер («тройка») всё равно будет удовлетворять первоначальному неравенству.
А теперь смотрим на неравенство и вспоминаем, что изначально мы рассматривали произвольную -окрестность, т.е. «эпсилон» может быть равно любому положительному числу.
Вывод: для любой сколько угодно малой -окрестности точки нашлось значение , такое, что для всех бОльших номеров выполнено неравенство . Таким образом, число является пределом последовательности по определению. Что и требовалось доказать.
К слову, из полученного результата хорошо просматривается естественная закономерность: чем меньше -окрестность – тем больше номер , после которого ВСЕ члены последовательности окажутся в данной окрестности. Но каким бы малым ни было «эпсилон» – внутри всегда будет «бесконечный хвост», а снаружи – пусть даже большое, однако конечное число членов.
Как впечатления? =) Согласен, что странновато. Но строго! Пожалуйста, перечитайте и осмыслите всё ещё раз.
Рассмотрим аналогичный пример и познакомимся с другими техническими приёмами:
Используя определение последовательности, доказать, что
Решение: по определению последовательности нужно доказать, что (проговариваем вслух. ).
Рассмотрим произвольную -окрестность точки и проверим, существует ли натуральный номер – такой, что для всех бОльших номеров выполнено неравенство:
Чтобы показать существование такого , нужно выразить «эн» через «эпсилон». Упрощаем выражение под знаком модуля:
Модуль уничтожает знак «минус»:
Знаменатель положителен при любом «эн», следовательно, палки можно убрать:
Теперь надо бы извлечь квадратный корень, но загвоздка состоит в том, что при некоторых «эпсилон» правая часть будет отрицательной. Чтобы избежать этой неприятности усилим неравенство модулем:
Почему так можно сделать? Если, условно говоря, окажется, что , то подавно будет выполнено и условие . Модуль может только увеличить разыскиваемый номер , и это нас тоже устроит! Грубо говоря, если подходит сотый, то подойдёт и двухсотый! В соответствии с определением, нужно показать сам факт существования номера (хоть какого-то), после которого все члены последовательности окажутся в -окрестности. Кстати, именно поэтому нам не страшнО финальное округление правой части в бОльшую сторону.
И округляем результат:
Вывод: т.к. значение «эпсилон» выбиралось произвольно, то для любой сколько угодно малой -окрестности точки нашлось значение , такое, что для всех бОльших номеров выполнено неравенство . Таким образом, по определению. Что и требовалось доказать.
Советую особо разобраться в усилении и ослаблении неравенств – это типичные и очень распространённые приёмы математического анализа. Единственное, нужно следить за корректностью того или иного действия. Так, например, неравенство ни в коем случае нельзя ослаблять, вычитая, скажем, единицу:
Опять же условно: если номер точно подойдёт, то предыдущий может уже и не подойти.
Следующий пример для самостоятельного решения:
Используя определение последовательности, доказать, что
Краткое решение и ответ в конце урока.
Если последовательность бесконечно велика, то определение предела формулируется похожим образом: точка называется пределом последовательности, если для любого, сколь угодно большого числа существует номер , такой, что для всех бОльших номеров , будет выполнено неравенство . Число называют окрестностью точки «плюс бесконечность»:
Иными словами, какое бы большое значение мы ни взяли, «бесконечный хвост» последовательности обязательно зайдёт в -окрестность точки , оставив слева лишь конечное число членов.
И сокращённая запись: , если
Для случая запишите определение самостоятельно. Правильная версия в конце урока.
После того, как вы «набили» руку на практических примерах и разобрались с определением предела последовательности, можно обратиться к литературе по математическому анализу и/или своей тетрадке с лекциями. Рекомендую закачать 1-й том Бохана (попроще – для заочников) и Фихтенгольца (более подробно и обстоятельно). Из других авторов советую Пискунова, курс которого ориентирован на технические ВУЗы.
Попытайтесь добросовестно изучить теоремы, которые касаются предела последовательности, их доказательства, следствия. Поначалу теория может казаться «мутной», но это нормально – просто нужно привыкнуть. И многие даже войдут во вкус!
Строгое определение предела функции
Начнём с того же самого – как сформулировать данное понятие? Словесное определение предела функции формулируется значительно проще: «число является пределом функции , если при «икс», стремящемся к (и слева, и справа), соответствующие значения функции стремятся к » (см. чертёж). Всё вроде бы нормально, но слова словами, смысл смыслом, значок значком, а строгих математических обозначений маловато. И во втором параграфе мы познакомимся с двумя подходами к решению данного вопроса.
Пусть функция определена на некотором промежутке за исключением, возможно, точки . В учебной литературе общепринято считают, что функция там не определена:
Такой выбор подчёркивает суть предела функции: «икс» бесконечно близко приближается к , и соответствующие значения функции – бесконечно близко к . Иными словами, понятие предела подразумевает не «точный заход» в точки, а именно бесконечно близкое приближение, при этом не важно – определена ли функция в точке или нет.
Первое определение предела функции, что неудивительно, формулируется с помощью двух последовательностей. Во-первых, понятия родственные, и, во-вторых, пределы функций обычно изучают после пределов последовательностей.
Рассмотрим последовательность точек (на чертеже отсутствуют), принадлежащих промежутку и отличных от , которая сходится к . Тогда соответствующие значения функции тоже образуют числовую последовательность, члены которой располагаются на оси ординат.
Предел функции по Гейне: число называется пределом функции в точке , если для любой последовательности точек (принадлежащих и отличных от ), которая сходится к точке , соответствующая последовательность значений функции сходится к .
Эдуард Гейне – это немецкий математик. …И не надо тут ничего такого думать, гей в Европе всего лишь один – это Гей-Люссак =)
Второе определение предела соорудил… да-да, вы правы. Но сначала разберёмся в его конструкции. Рассмотрим произвольную -окрестность точки («чёрная» окрестность). По мотивам предыдущего параграфа, запись означает, что некоторое значение функции находится внутри «эпсилон»-окрестности.
Теперь найдём -окрестность, которая соответствует заданной -окрестности (мысленно проводим чёрные пунктирные линии слева направо и затем сверху вниз). Обратите внимание, что значение выбирается по длине меньшего отрезка, в данном случае – по длине более короткого левого отрезка. Более того, «малиновую» -окрестность точки можно даже уменьшить, поскольку в нижеследующем определении важен сам факт существования этой окрестности. И, аналогично, запись означает, что некоторое значение находится внутри «дельта»-окрестности.
Предел функции по Коши: число называется пределом функции в точке , если для любой заранее выбранной окрестности (сколь угодно малой), существует -окрестность точки , ТАКАЯ, что: КАК ТОЛЬКО значения (принадлежащие ) входят в данную окрестность: (красные стрелки) – ТАК СРАЗУ соответствующие значения функции гарантированно зайдут в -окрестность: (синие стрелки).
Должен предупредить, что в целях бОльшей доходчивости я немного сымпровизировал, поэтому не злоупотребляйте =)
Короткая запись: , если
В чём суть определения? Образно говоря, бесконечно уменьшая -окрестность, мы «сопровождаем» значения функции до своего предела, не оставляя им альтернативы приближаться куда-то ещё. Довольно необычно, но опять же строго! Чтобы как следует проникнуться идеей, перечитайте формулировку ещё раз.
! Внимание: если вам потребуется сформулировать только определение по Гейне или только определение по Коши, пожалуйста, не забывайте о существенном предварительном комментарии: «Рассмотрим функцию , которая определена на некотором промежутке за исключением, возможно, точки ». Я обозначил это единожды в самом начале и каждый раз не повторял.
Согласно соответствующей теореме математического анализа, определения по Гейне и по Коши эквивалентны, однако наиболее известен второй вариант (ещё бы!), который также называют «предел на языке »:
Используя определение предела, доказать, что
Решение: функция определена на всей числовой прямой кроме точки . Используя определение , докажем существование предела в данной точке.
Примечание: величина «дельта»-окрестности зависит от «эпсилон», отсюда и обозначение
Рассмотрим произвольную -окрестность. Задача состоит в том, чтобы по этому значению проверить, существует ли -окрестность, ТАКАЯ, что из неравенства следует неравенство .
Предполагая, что , преобразуем последнее неравенство:
(разложили квадратный трёхчлен)
После упрощений для лучшего понимания перепишем ещё раз то, что требовалось проверить: «…существует ли -окрестность, ТАКАЯ что из неравенства следует неравенство ?»
Конечно, существует, например, . В этом случае из неравенства следует (формально оно же само). Следует отметить, что в качестве примера можно привести и любую меньшую «дельта»-окрестность, например, , поскольку из неравенства тем более следует, что (из того, что «в кармане меньше 50 рублей» следует то, что «в кармане меньше 100 рублей»). Однако в качестве стандартного примера окрестности практически всегда берут «пограничное» значение, в данном примере .
Вывод: для любой сколько угодно малой -окрестности точки нашлась окрестность точки , такая, что из неравенства следует неравенство . Таким образом, по определению предела функции. Ч.т.д.
Небольшое задание для самостоятельного решения.
Слишком просто? А вы попробуйте грамотно оформить, и, самое главное, ПОНЯТЬ, ход решения 😉
Следует отметить, что рассмотренные задачи не дают нам каких-то способов решения пределов, они позволяют лишь доказать либо опровергнуть существование некоторых из них.
Определение бесконечного предела, в частности предела , тоже формулируется двумя способами. Приведу наиболее популярный вариант. Пусть функция определена на промежутке , который содержит сколь угодно большие значения «икс». Предел функции равен «плюс бесконечности» при , если для любого сколь угодно большого числа (заранее заданного) найдётся окрестность , такая, что: КАК ТОЛЬКО значения аргумента войдут в данную окрестность: (красная стрелка), ТАК СРАЗУ соответствующие значения функции зайдут в -окрестность: (синяя стрелка):
Сокращённая запись: , если
Определения следующих двух пределов предлагаю сформулировать самостоятельно:
Изобразите на чертеже принципиальную картину, прорисуйте окрестности и постарайтесь корректно записать определения. Для обозначения закрытых окрестностей используйте буквы , для открытых к бесконечности – буквы . Ответы в конце урока.
Случаи «минус бесконечности» и обобщённый случай легко отыскать в соответствующей литературе.
Что делать дальше? После освоения теории пределов целесообразно перейти к изучению непрерывности функции, правда, в рамках сайта сформулировано лишь «прикладное» определение непрерывности, поэтому книги в помощь. Далее в 1-м семестре, как правило, проходят производные. Здесь я рекомендую придерживаться той же схемы – сначала учимся дифференцировать, затем осваиваем теоретический материал о производной, «сопутствующие» теоремы и т.д.
Ни в коем случае не расстраивайтесь, если дела «пойдут не очень», в конце концов, тут нужно принять во внимание, что учиться на «технаря» вообще непросто: что-то даётся легче, что-то труднее, а с чем-то может и помучиться придётся. Лично у меня некоторые разделы математики шли лучше, некоторые хуже, а программирование вообще переносилось с трудом (уж не знаю, почему). Нельзя идеально знать и любить всё.
Оглядываясь в прошлое, с улыбкой вспоминаю свои первый месяцы учёбы – тогда математический анализ показался мне самой трудной дисциплиной, и я с перепуга выучил ВЕСЬ материал 1-го семестра, даже сказать точнее не выучил, а почти во всём разобрался, чего и всем желаю!
Надеюсь, данная статья была полезна, а может, и послужила ключом к предмету!
Решения и ответы:
Пример 3: Решение: докажем, что . Для этого рассмотрим произвольную -окрестность точки и проверим, найдётся ли натуральный номер – такой, что выполнено:
Преобразуем неравенство:
(подумайте, почему)
Для всех «эн»: , поэтому:
Вывод: т.к. «эпсилон» выбиралось произвольно, то для любой сколько угодно малой -окрестности точки нашлось значение , такое, что выполнено . Таким образом, по определению. Что и требовалось доказать.
Формулировка предела:
, если
Пример 5: Решение: функция определена на всей числовой прямой. Используя определение , докажем существование предела в точке .
Рассмотрим произвольную -окрестность и проверим, найдётся ли -окрестность, такая что из неравенства следует .
Преобразуем неравенство с «эпсилон»:
В качестве искомой окрестности выбираем .
Вывод: для любой сколь угодно малой -окрестности точки нашлось значение , такое, что , следовательно, по определению. Ч.т.д.
Автор: Емелин Александр
(Переход на главную страницу)
Contented.ru – онлайн школа дизайна
SkillFactory – получи востребованную IT профессию!
1-й семестр / Лекции / Лекция 02 Предел функции
Зададим некоторую функцию 
и рассмотрим поведение этой функции при изменении 
, в частности, при 
и т.д.
Когда 
и 
число, то будем предполагать, что функция 
определена в окрестности точки 
, за исключением, быть может, самой точки 
.
Определение 1. Число 
называется пределом функции 
при 
, если
для любого сколь угодно малого эпсилон больше нуля найдется дельта, функция от эпсилон , больше нуля, такое что из условия, 
следует условие для функции
или запишем определение на языке 
или, используя, определение окрестности точки, получим:
Для любой эпсилон окрестности предела 
найдется дельта окрестность предельной точки 
, такая что как только 
попадает в дельта окрестность предельной точки 
, так функция 
попадает в эпсилон окрестность предела 
.
Аналогично можно дать определение предела при 
предположив, что функция 
определена при достаточно больших значениях аргумента
Определение 2. Число 
называется пределом функции 
при 
, если
Односторонние пределы функции
Введем понятие одностороннего предела функции 
, предположив при этом , что функция 
определена слева ( или справа) от точки 
, то есть в интервале 
( или в интервале 
)
Определение 3. Число 
называется левосторонним пределом функции 
при 
, если
Определение 4. Число 
называется правосторонним пределом функции 
при 
, если
Пример1:Найти левосторонний и правосторонний пределы функции 
Данная функция имеет левосторонний при 
и правосторонний при 
пределы, но не имеет предела при 
Теорема : Если функция 
имеет в точке 
оба односторонних предела( справа и слева) и эти пределы равны числу 
, то функция 
в точке 
имеет предел, равный 
.
Отметим, что справедливо и обратное утверждение:
Из существования у функции 
предела в точке 
, равного числу 
, следует существование в этой точке обоих односторонних пределов , также равных числу 
.
Свойства функции, имеющих предел
Теорема 1( об ограниченности функции, имеющей предел): Если
то функция 
ограничена в окрестности точки 
.
Доказательство:
Обозначим через 
, тогда
то есть функция 
ограничена в окрестности точки 
.
Теорема 2( о сохранении знака предела): Если
то в некоторой окрестности предельной точки 
функция 
сохраняет знак предела, т.е. знак числа 
Доказательство:
Возьмём 
, тогда 
имеют знак совпадающий со знаком числа 
функция 
одного знака с числом 
в некоторой окрестности предельной точки 
.
Теорема 3( о единстве предела): Если у функции 
то этот предел единственный.
Доказательство( методом от противного): Предположим, что у функции 
существует два предела
при 
различных между собой, т.е.
В силу определения пределов это означает, что
Обозначим через 
тогда при 
будут выполняться оба неравенства: 
где 
любое число, например возьмем 
получили противоречие, значит наше предположение было не верно, а
Теорема 4( о пределе промежуточной функции): Если в окрестности точки 
определены три функции 
, причем выполняется соотношение 
и
Доказательство: из существования пределов у функций 
Обозначим через 
тогда при 
будут выполняться оба неравенства: 
Замечательные пределы
Первый замечательный предел:
Второй замечательный предел:
Доказательство: нам известно
Пусть 
, где целое положительное число
Найдем пределы последовательностей, стоящих по краям неравенства.
Тогда по теореме о пределе промежуточной функции
Пусть теперь 
, введем переменную 
математика — Как можно понять язык "эпсилон-дельта"?
@Романенко: Вы бы уточнили, что конкретно Вас интересует. Тогда можно было бы сделать пояснения. Нужно разъяснить смысл стандартного определения предела функции в точке, или что-то другое?
Просто прокомментирую определение предела функции (вопроса не понял…). У каждой последовательности есть «хвост», в котором значения величины не выходят за границы промежутка определённого размера. Рассматриваем две такие последовательности: в одной последовательности каждый следующий элемент «ближе» к искомой точке «входной» переменной, чем предыдущий; а другая последовательность образована значениями функции для этих значений «входной» переменной. Соответствующие друг другу размеры промежутков, где заключены все значения величин в «хвостах» последовательностей, — это и есть эпсилоны и дельты.
PS: в анализе неуч, но здесь, я думаю, ничего не напутал. В чём состоял вопрос — как видно, угадал… Можно воспринимать эпсилоны, дельты и прочую «шушеру» как своего рода обещания: найдутся, найдутся такие «хвосты», в которых «нечисти» больше не будет. «Нечисть» — это всё, что не попадает в отрезок заданного размера (фактически — $%\delta \cdot 2$%).
@abracadabra10 , а можете пример какой ниб этого хвоста привести? хвост- это и есть эпсилон окресность?
Возьмём последовательность $%1/n$% ($%n$% — целые). Все числа, начиная с $%1/4$%, входят в отрезок $%(0; 1/\pi)$%. Это и будет «хвост», на который дано «обещание».
@abracadabra10, а как величина может выходить за границы промежутка? и что значит :»в анализе неуч?»
@abracadabra10 а, ну ясно,т.е. определение говорит,что если задана послед-ть и она стремится к определенному числу,то она за определенные пределы(промежуток) этого числа не выйдет?
@Романенко: это верно с той оговоркой, что за пределы указанного промежутка последовательность не выйдет, начиная с некоторого достаточно большого номера своего члена. Начальные значения (их всегда конечное число) могут при этом вести себя как угодно.
$%\lim_
Подумал ещё раз… Эти мои рассуждения — это костыли для «эпохи потенциальной бесконечности»… Если принимать актуальную бесконечность, то всё намного проще получается: никаких «хвостов» и никаких «обещаний». Так что прошу прощения за «философию».
Означает разговор в режиме «студента со студентом». Два непонимающих могут здорово друг другу помочь иногда.
1 ответ
Прежде всего, повторим само определение предела функции в точке на языке «эпсилон-дельта».
Пусть функция $%f(x)$% определена в некоторой проколотой окрестности точки $%a$% (в самой точке $%a$% она может быть как определена, так и не определена — важно, чтобы она была определена во всех «достаточно близких» к $%a$% точках). Говорят, что предел функции $%f(x)$% при $%x$% стремящемся к $%a$% равен числу $%B$%, если для любого $%\varepsilon > 0$% существует $%\delta=\delta(\varepsilon) > 0$% такое, что для всех $%x$% из проколотой окрестности, удовлетворяющих неравенству $%0 < |x-a| < \delta$%, справедливо неравенство $%|f(x)-B| < \varepsilon$%. Обозначение: $%\lim\limits_
Для начала проанализируем геометрический смысл неравенства $%|x-a| < \delta$%. Оно означает, что точка $%x$% расположена на числовой прямой «достаточно близко» к $%a$%: расстояние между этими точками (модуль разности) меньше заданного числа $%\delta$%. Тогда то же самое, что и выше, можно сформулировать на таком языке: если $%x\ne a$% расположена к $%a$% достаточно близко, то $%f(x)$% можно сделать сколь угодно близкой к числу $%B$%.
Степень «близости» можно задавать в виде положительного числа. Например, я могу пожелать, чтобы значение функции $%f(x)$% отличалось от числа $%B$% на величину меньше $%\varepsilon=10^<-3>$%. Мне говорят: хорошо, давайте подойдём к точке $%a$% на такое-то малюсенькое расстояние $%\delta$% (или ближе). Я проверяю все точки $%x\ne a$% на этом близком расстоянии, и сравниваю, в самом ли деле $%f(x)$% так близко к $%B$%, как я этого пожелал? Допустим, это так. Тогда я могу заказать какое-то другое число, ещё меньшее — например, $%\varepsilon=10^<-6>$%. Тогда по моему заказу должно найтись какое-то ещё $%\delta$% (скорее всего, меньшее предыдущего), которое задаёт новую степень близости $%x$% и $%a$%. Для этих точек $%x\ne a$%, которые стали ещё ближе, я снова проверяю, на какую величину $%f(x)$% отличается от $%B$%, и убеждаюсь, что всё так и есть.
Можно привести какие-то примеры, но они обычно иллюстрируются в учебниках.
Если по сказанному есть дополнительные вопросы, то их следует задавать предельно конкретно (то есть пояснять, что именно непонятно).