Сегодня на уроке мы разберём строгое определение последовательности и строгое определение предела функции , а также научимся решать соответствующие задачи теоретического характера. Статья предназначена, прежде всего, для студентов 1-го курса естественнонаучных и инженерно-технических специальностей, которые начали изучать теорию математического анализа, и столкнулись с трудностями в плане понимания этого раздела высшей математики. Кроме того, материал вполне доступен и учащимся старших классов.
За годы существования сайта я получил недобрый десяток писем примерно такого содержания: «Плохо понимаю математический анализ, что делать?», «Совсем не понимаю матан, думаю бросить учёбу» и т.п. И действительно, именно матан часто прореживает студенческую группу после первой же сессии. Почему так обстоят дела? Потому что предмет немыслимо сложен? Вовсе нет! Теория математического анализа не столь трудна, сколько своеобразна . И её нужно принять и полюбить такой, какая она есть =)
Начнём с самого тяжёлого случая. Первое и главное – не надо бросать учёбу. Поймите правильно, бросить, оно всегда успеется;-) Безусловно, если через год-два от выбранной специальности будет тошнить, тогда да – следует задуматься (а не пороть горячку!) о смене деятельности. Но пока стОит продолжить. И, пожалуйста, забудьте фразу «Ничего не понимаю» – так не бывает, чтобы СОВСЕМ ничего не понимать.
Что делать, если с теорией плохо? Это, кстати, касается не только математического анализа. Если с теорией плохо, то сначала нужно СЕРЬЁЗНО налечь на практику. При этом решаются сразу две стратегические задачи:
– Во-первых, значительная доля теоретических знаний появилась благодаря практике. И поэтому многие люди понимают теорию через… – всё верно! Нет-нет, вы не о том подумали =)
– И, во-вторых, практические навыки с большой вероятностью «вытянут» вас на экзамене, даже если…, но не будем так настраиваться! Всё реально и всё реально «поднять» в достаточно короткие сроки. Математический анализ – это мой любимый раздел высшей математики, и поэтому я просто не мог не протянуть вам ноги руку помощи:
В начале 1-го семестра обычно проходят пределы последовательностей и пределы функций. Не понимаете, что это такое и не знаете, как их решать? Начните со статьи Пределы функций , в которой «на пальцах» рассмотрено само понятие и разобраны простейшие примеры. Далее проработайте другие уроки по теме, в том числе урок о пределах последовательностей , на котором я фактически уже сформулировал строгое определение.
Какие значки помимо знаков неравенств и модуля вы знаете?
– длинная вертикальная палка читается так: «такое, что», «такая, что», «такой, что» либо «такие, что» , в нашем случае, очевидно, речь идёт о номере – поэтому «такой, что»;
– для всех «эн», бОльших чем ;
– знак модуля означает расстояние , т.е. эта запись сообщает нам о том, что расстояние между значениями меньше эпсилон.
Ну как, убийственно сложно? =)
После освоения практики жду вас в следующем параграфе:
И в самом деле, немного порассуждаем – как сформулировать строгое определение последовательности? …Первое, что приходит на ум в свете практического занятия : «предел последовательности – это число, к которому бесконечно близко приближаются члены последовательности».
Хорошо, распишем последовательность
:
Нетрудно уловить, что подпоследовательность
бесконечно близко приближаются к числу –1, а члены с чётными номерами
– к «единице».
А может быть предела два? Но тогда почему у какой-нибудь последовательности их не может быть десять или двадцать? Так можно далеко зайти. В этой связи логично считать, что если у последовательности существует предел, то он единственный .
Примечание : у последовательности нет предела, однако из неё можно выделить две подпоследовательности (см. выше), у каждой из которых существует свой предел.
Таким образом, высказанное выше определение оказывается несостоятельным. Да, оно работает для случаев вроде (чем я не совсем корректно пользовался в упрощённых объяснениях практических примеров) , но сейчас нам нужно отыскать строгое определение.
Попытка вторая: «предел последовательности – это число, к которому приближаются ВСЕ члены последовательности, за исключением, разве что их конечного
количества». Вот это уже ближе к истине, но всё равно не совсем точно. Так, например, у последовательности половина членов вовсе не приближается к нулю – они ему просто-напросто равны =) К слову, «мигалка» вообще принимает два фиксированных значения.
Формулировку нетрудно уточнить, но тогда возникает другой вопрос: как записать определение в математических знаках? Научный мир долго бился над этой проблемой, пока ситуацию не разрешил известный маэстро , который, по существу, и оформил классический матанализ во всей его строгости. Коши предложил оперировать окрестностями , чем значительно продвинул теорию.
Рассмотрим некоторую точку и её произвольную
-окрестность:
Значение «эпсилон» всегда положительно, и, более того, мы вправе выбрать его самостоятельно
. Предположим, что в данной окрестности находится множество членов (не обязательно все)
некоторой последовательности . Как записать тот факт, что, например десятый член попал в окрестность? Пусть он находится в правой её части. Тогда расстояние между точками и должно быть меньше «эпсилон»: . Однако если «икс десятое» расположено левее точки «а», то разность будет отрицательна, и поэтому к ней нужно добавить знак модуля
: .
Определение : число называется пределом последовательности, если для любой его окрестности (заранее выбранной) существует натуральный номер – ТАКОЙ, что ВСЕ члены последовательности с бОльшими номерами окажутся внутри окрестности:
Или короче: , если
Иными словами, какое бы малое значение «эпсилон» мы ни взяли, рано или поздно «бесконечный хвост» последовательности ПОЛНОСТЬЮ окажется в этой окрестности.
Так, например, «бесконечный хвост» последовательности ПОЛНОСТЬЮ зайдёт в любую сколь угодно малую -окрестность точки . Таким образом, это значение является пределом последовательности по определению. Напоминаю, что последовательность, предел которой равен нулю, называют бесконечно малой .
Следует отметить, что для последовательности уже нельзя сказать «бесконечный хвост зайдёт » – члены с нечётными номерами по факту равны нулю и «никуда не заходят» =) Именно поэтому в определении использован глагол «окажутся». И, разумеется, члены такой последовательности, как тоже «никуда не идут». Кстати, проверьте, будет ли число её пределом.
Теперь покажем, что у последовательности не существует предела. Рассмотрим, например, окрестность точки . Совершенно понятно, что нет такого номера, после которого ВСЕ члены окажутся в данной окрестности – нечётные члены всегда будут «выскакивать» к «минус единице». По аналогичной причине не существует предела и в точке .
Закрепим материал практикой:
Пример 1
Доказать что предел последовательности равен нулю. Указать номер , после которого, все члены последовательности гарантированно окажутся внутри любой сколь угодно малой -окрестности точки .
Примечание : у многих последовательностей искомый натуральный номер зависит от значения – отсюда и обозначение .
Решение
: рассмотрим произвольную
найдётся ли
номер – такой, что ВСЕ члены с бОльшими номерами окажутся внутри этой окрестности:
Чтобы показать существование искомого номера , выразим через .
Так как при любом значении «эн» , то знак модуля можно убрать:
Используем «школьные» действия с неравенствами, которые я повторял на уроках Линейные неравенства
и Область определения функции
. При этом важным обстоятельством является то, что «эпсилон» и «эн» положительны:
Поскольку слева речь идёт о натуральных номерах, а правая часть в общем случае дробна, то её нужно округлить:
Примечание : иногда для перестраховки справа добавляют единицу, но на самом деле это излишество. Условно говоря, если и мы ослабим результат округлением в меньшую сторону , то ближайший подходящий номер («тройка») всё равно будет удовлетворять первоначальному неравенству.
А теперь смотрим на неравенство и вспоминаем, что изначально мы рассматривали произвольную -окрестность, т.е. «эпсилон» может быть равно любому положительному числу.
Вывод
: для любой сколько угодно малой -окрестности точки нашлось значение
. Таким образом, число является пределом последовательности по определению. Что и требовалось доказать
.
К слову, из полученного результата хорошо просматривается естественная закономерность: чем меньше -окрестность – тем больше номер , после которого ВСЕ члены последовательности окажутся в данной окрестности. Но каким бы малым ни было «эпсилон» – внутри всегда будет «бесконечный хвост», а снаружи – пусть даже большое, однако конечное
число членов.
Как впечатления? =) Согласен, что странновато. Но строго! Пожалуйста, перечитайте и осмыслите всё ещё раз.
Рассмотрим аналогичный пример и познакомимся с другими техническими приёмами:
Пример 2
Решение : по определению последовательности нужно доказать, что (проговариваем вслух!!!) .
Рассмотрим произвольную
-окрестность точки и проверим, существует ли
натуральный номер – такой, что для всех бОльших номеров выполнено неравенство:
Чтобы показать существование такого , нужно выразить «эн» через «эпсилон». Упрощаем выражение под знаком модуля:
Модуль уничтожает знак «минус»:
Знаменатель положителен при любом «эн», следовательно, палки можно убрать:
Перетасовка:
Теперь надо бы извлечь квадратный корень, но загвоздка состоит в том, что при некоторых «эпсилон» правая часть будет отрицательной. Чтобы избежать этой неприятности усилим
неравенство модулем:
Почему так можно сделать? Если, условно говоря, окажется, что , то подавно будет выполнено и условие . Модуль может только увеличить разыскиваемый номер , и это нас тоже устроит! Грубо говоря, если подходит сотый, то подойдёт и двухсотый! В соответствии с определением, нужно показать сам факт существования номера (хоть какого-то), после которого все члены последовательности окажутся в -окрестности. Кстати, именно поэтому нам не страшнО финальное округление правой части в бОльшую сторону.
Извлекаем корень:
И округляем результат:
Вывод
: т.к. значение «эпсилон» выбиралось произвольно, то для любой сколько угодно малой -окрестности точки нашлось значение , такое, что для всех бОльших номеров выполнено неравенство
. Таким образом,
по определению. Что и требовалось доказать
.
Советую особо
разобраться в усилении и ослаблении неравенств – это типичные и очень распространённые приёмы математического анализа. Единственное, нужно следить за корректностью того или иного действия. Так, например, неравенство ни в коем случае нельзя ослаблять
, вычитая, скажем, единицу:
Опять же условно: если номер точно подойдёт, то предыдущий может уже и не подойти.
Следующий пример для самостоятельного решения:
Пример 3
Используя определение последовательности, доказать, что
Краткое решение и ответ в конце урока.
Если последовательность бесконечно велика
, то определение предела формулируется похожим образом: точка называется пределом последовательности, если для любого, сколь угодно большого
числа существует номер , такой, что для всех бОльших номеров , будет выполнено неравенство . Число называют окрестностью точки «плюс бесконечность»
:
Иными словами, какое бы большое значение мы ни взяли, «бесконечный хвост» последовательности обязательно зайдёт в -окрестность точки , оставив слева лишь конечное число членов.
Дежурный пример:
И сокращённая запись: , если
Для случая запишите определение самостоятельно. Правильная версия в конце урока.
После того, как вы «набили» руку на практических примерах и разобрались с определением предела последовательности, можно обратиться к литературе по математическому анализу и/или своей тетрадке с лекциями. Рекомендую закачать 1-й том Бохана (попроще – для заочников) и Фихтенгольца (более подробно и обстоятельно) . Из других авторов советую Пискунова, курс которого ориентирован на технические ВУЗы.
Попытайтесь добросовестно изучить теоремы, которые касаются предела последовательности, их доказательства, следствия. Поначалу теория может казаться «мутной», но это нормально – просто нужно привыкнуть. И многие даже войдут во вкус!
Строгое определение предела функции
Начнём с того же самого – как сформулировать данное понятие? Словесное определение предела функции формулируется значительно проще: «число является пределом функции , если при «икс», стремящемся к (и слева, и справа) , соответствующие значения функции стремятся к » (см. чертёж) . Всё вроде бы нормально, но слова словами, смысл смыслом, значок значком, а строгих математических обозначений маловато. И во втором параграфе мы познакомимся с двумя подходами к решению данного вопроса.
Пусть функция определена на некотором промежутке за исключением, возможно, точки . В учебной литературе общепринято считают, что функция там не
определена:
Такой выбор подчёркивает суть предела функции : «икс» бесконечно близко приближается к , и соответствующие значения функции – бесконечно близко к . Иными словами, понятие предела подразумевает не «точный заход» в точки, а именно бесконечно близкое приближение , при этом не важно – определена ли функция в точке или нет.
Первое определение предела функции, что неудивительно, формулируется с помощью двух последовательностей. Во-первых, понятия родственные, и, во-вторых, пределы функций обычно изучают после пределов последовательностей.
Рассмотрим последовательность точек (на чертеже отсутствуют)
, принадлежащих промежутку
и отличных от
, которая сходится
к . Тогда соответствующие значения функции тоже образуют числовую последовательность, члены которой располагаются на оси ординат.
Предел функции по Гейне
для любой
последовательности точек (принадлежащих
и отличных от )
, которая сходится к точке , соответствующая последовательность значений функции сходится к .
Эдуард Гейне – это немецкий математик. …И не надо тут ничего такого думать, гей в Европе всего лишь один – это Гей-Люссак =)
Второе определение предела соорудил… да-да, вы правы. Но сначала разберёмся в его конструкции. Рассмотрим произвольную -окрестность точки («чёрная» окрестность) . По мотивам предыдущего параграфа, запись означает, что некоторое значение функции находится внутри «эпсилон»-окрестности.
Теперь найдём -окрестность, которая соответствует заданной -окрестности (мысленно проводим чёрные пунктирные линии слева направо и затем сверху вниз) . Обратите внимание, что значение выбирается по длине меньшего отрезка, в данном случае – по длине более короткого левого отрезка. Более того, «малиновую» -окрестность точки можно даже уменьшить, поскольку в нижеследующем определении важен сам факт существования этой окрестности. И, аналогично, запись означает, что некоторое значение находится внутри «дельта»-окрестности.
Предел функции по Коши : число называется пределом функции в точке , если для любой заранее выбранной окрестности (сколь угодно малой) , существует -окрестность точки , ТАКАЯ , что: КАК ТОЛЬКО значения (принадлежащие ) входят в данную окрестность: (красные стрелки) – ТАК СРАЗУ соответствующие значения функции гарантированно зайдут в -окрестность: (синие стрелки) .
Должен предупредить, что в целях бОльшей доходчивости я немного сымпровизировал, поэтому не злоупотребляйте =)
Короткая запись: , если
В чём суть определения? Образно говоря, бесконечно уменьшая -окрестность, мы «сопровождаем» значения функции до своего предела, не оставляя им альтернативы приближаться куда-то ещё. Довольно необычно, но опять же строго! Чтобы как следует проникнуться идеей, перечитайте формулировку ещё раз.
! Внимание : если вам потребуется сформулировать только определение по Гейне или только определение по Коши , пожалуйста, не забывайте о существенном предварительном комментарии: «Рассмотрим функцию , которая определена на некотором промежутке за исключением, возможно, точки » . Я обозначил это единожды в самом начале и каждый раз не повторял.
Согласно соответствующей теореме математического анализа, определения по Гейне и по Коши эквивалентны, однако наиболее известен второй вариант (ещё бы!) , который также называют «предел на языке »:
Пример 4
Используя определение предела, доказать, что
Решение : функция определена на всей числовой прямой кроме точки . Используя определение , докажем существование предела в данной точке.
Примечание : величина «дельта»-окрестности зависит от «эпсилон», отсюда и обозначение
Рассмотрим произвольную
-окрестность. Задача состоит в том, чтобы по этому значению проверить, существует ли
-окрестность, ТАКАЯ
, что из неравенства следует неравенство
.
Предполагая, что , преобразуем последнее неравенство:(разложили квадратный трёхчлен
)
Приводятся определения предела функции по Гейне (через последовательности) и по Коши (через эпсилон и дельта окрестности). Определения даются в универсальном виде, применимом как для двусторонних, так и односторонних пределов в конечных и бесконечно удаленных точках. Рассмотрено определение, что точка a не является пределом функции. Доказательство эквивалентности определений по Гейне и по Коши.
СодержаниеСм. также:
Окрестность точки
Определение предела функции в конечной точке
Определение предела функции на бесконечности
Первое определение предела функции (по Гейне)
(x)
в точке x 0
:
,
если
1)
существует такая проколотая окрестность точки x 0
2)
для любой последовательности {
x n }
,
сходящейся к x 0
:
,
элементы которой принадлежат окрестности ,
последовательность {
f(x n )}
сходится к a
:
.
Здесь x 0 и a могут быть как конечными числами, так и бесконечно удаленными точками. Окрестность может быть как двусторонней, так и односторонней.
.
Второе определение предела функции (по Коши)
Число a
называется пределом функции f(x)
в точке x 0
:
,
если
1)
существует такая проколотая окрестность точки x 0
,
на которой функция определена;
2)
для любого положительного числа ε > 0
существует такое число δ ε > 0
,
зависящее от ε
,
что для всех x
,
принадлежащих проколотой δ ε
- окрестности точки x 0
:
,
значения функции f(x)
принадлежат ε
- окрестности точки a
:
.
Точки x 0 и a могут быть как конечными числами, так и бесконечно удаленными точками. Окрестность также может быть как двусторонней, так и односторонней.
Запишем это определение с помощью логических символов существования и всеобщности:
.
В этом определении используются окрестности с равноудаленными концами. Можно дать и эквивалентное определение, используя произвольные окрестности точек.
Определение с использованием произвольных окрестностей
Число a
называется пределом функции f(x)
в точке x 0
:
,
если
1)
существует такая проколотая окрестность точки x 0
,
на которой функция определена;
2)
для любой окрестности U(a)
точки a
существует такая проколотая окрестность точки x 0
,
что для всех x
,
принадлежащих проколотой окрестности точки x 0
:
,
значения функции f(x)
принадлежат окрестности U(a)
точки a
:
.
С помощью логических символов существования и всеобщности это определение можно записать так:
.
Односторонние и двусторонние пределы
Приведенные выше определения универсальны в том смысле, что их можно использовать для любых типов окрестностей. Если, в качестве мы используем левостороннюю проколотую окрестность конечной точки, то получим определение левостороннего предела . Если в качестве окрестности использовать окрестность бесконечно удаленной точки, то получим определение предела на бесконечности.
Для определения предела по Гейне это сводится к тому, что на произвольную, сходящуюся к , последовательность накладывается дополнительное ограничение - ее элементы должны принадлежать соответствующей проколотой окрестности точки .
Для определения предела по Коши нужно в каждом случае преобразовать выражения и в неравенства, используя соответствующие определения окрестности точки.
См. «Окрестность точки ».
Определение, что точка a не является пределом функции
Часто возникает необходимость использовать условие, что точка a не является пределом функции при . Построим отрицания к изложенным выше определениям. В них мы предполагаем, что функция f(x) определена на некоторой проколотой окрестности точки x 0 . Точки a и x 0 могут быть как конечными числами, так и бесконечно удаленными. Все сформулированное ниже относится как к двусторонним, так и к односторонним пределам.
По Гейне
.
Число a
не является
пределом функции f(x)
в точке x 0
:
,
если существует такая последовательность {
x n }
,
сходящаяся к x 0
:
,
элементы которой принадлежат окрестности ,
что последовательность {
f(x n )}
не сходится к a
:
.
.
По Коши
.
Число a
не является
пределом функции f(x)
в точке x 0
:
,
если существует такое положительное число ε > 0
,
так что для любого положительного числа δ > 0
,
существует такое x
,
принадлежащее проколотой δ
- окрестности точки x 0
:
,
что значение функции f(x)
не принадлежит ε
- окрестности точки a
:
.
.
Разумеется, если точка a не является пределом функции при , то это не означает, что у нее не может быть предела. Возможно, существует предел , но он не равен a . Также возможен случай, когда функция определена в проколотой окрестности точки , но не имеет предела при .
Функция f(x) = sin(1/x) не имеет предела при x → 0.
Например, функция определена при ,
но предела не существует. Для доказательства возьмем последовательность .
Она сходится к точке 0
:
.
Поскольку ,
то .
Возьмем последовательность .
Она также сходится к точке 0
:
.
Но поскольку ,
то .
Тогда предел не может равняться никакому числу a
.
Действительно, при ,
существует последовательность ,
с которой .
Поэтому любое отличное от нуля число не является пределом. Но также не является пределом, поскольку существует последовательность ,
с которой .
Эквивалентность определений предела по Гейне и по Коши
Теорема
Определения предела функции по Гейне и по Коши эквивалентны.
Доказательство
При доказательстве мы предполагаем, что функция определена в некоторой проколотой окрестности точки (конечной или бесконечно удаленной). Точка a также может быть конечной или бесконечно удаленной.
Доказательство Гейне ⇒ Коши
Пусть функция имеет в точке предел a
согласно первому определению (по Гейне). То есть для любой последовательности ,
принадлежащей проколотой окрестности точки и имеющей предел
(1)
,
предел последовательности равен a
:
(2)
.
Покажем, что функция имеет предел в точке по Коши. То есть для любого существует , что для всех .
Допустим противное. Пусть условия (1) и (2) выполнены, но функция не имеет предела по Коши. То есть существует такое ,
что для любого существует ,
так что
.
Возьмем ,
где n
- натуральное число. Тогда существует ,
причем
.
Таким образом мы построили последовательность ,
сходящуюся к ,
но предел последовательности не равен a
.
Это противоречит условию теоремы.
Первая часть доказана.
Доказательство Коши ⇒ Гейне
Пусть функция имеет в точке предел a
согласно второму определению (по Коши). То есть для любого существует ,
что
(3)
для всех .
Покажем, что функция имеет предел a
в точке по Гейне.
Возьмем произвольное число .
Согласно определению Коши, существует число ,
так что выполняется (3).
Возьмем произвольную последовательность ,
принадлежащую проколотой окрестности и сходящуюся к .
По определению сходящейся последовательности, для любого существует ,
что
при .
Тогда из (3) следует, что
при .
Поскольку это выполняется для любого ,
то
.
Теорема доказана.
Использованная литература:
Л.Д. Кудрявцев. Курс математического анализа. Том 1. Москва, 2003.
Пусть функция у=ƒ (х) определена в некоторой окрестности точки х о, кроме, быть может, самой точки х о.
Сформулируем два, эквивалентных между собой, определения предела функции в точке.
Определение 1 (на «языке последовательностей», или по Гейне).
Число А называется пределом функции у=ƒ(х) в топке x 0 (или при х® х о), если для любой последовательности допустимых значений аргумента x n , n є N (x n ¹ x 0), сходящейся к х о последовательность соответствующих значений функции ƒ(х n), n є N, сходится к числу А
В этом случае пишут
или ƒ(х)->А при х→х о. Геометрический смысл предела функции:
означает,
что для всех точек х, достаточно близких к точке х о, соответствующие
значения функции как угодно мало отличаются от числа А.
Определение 2 (на «языке ε», или по Коши).
Число А называется пределом функции в точке х о (или при х→х о), если для любого положительного ε найдется такое положительное число δ, что для все х¹ х о, удовлетворяющих неравенству |х-х о |<δ, выполняется неравенство |ƒ(х)-А|<ε.
Геометрический смысл предела функции:
если для любой ε-окрестности точки А найдется такая δ-окрестность точки х о, что для всех х¹ хо из етой δ-окрестность соответствующие значения функции ƒ(х) лежат в ε-окрестности точки А. Иными словами, точки графика функции у=ƒ(х) лежат внутри полосы шириной 2ε, ограниченной прямыми у=А+ ε , у=А-ε (см. рис. 110). Очевидно, что величина δ зависит от выбора ε, поэтому пишут δ=δ(ε).
<< Пример 16.1
Доказать, что
Решение: Возьмем произвольное ε>0, найдем δ=δ(ε)>0 такое, что для всех х, удовлетворяющих неравенству |х-3| < δ, выполняется неравенство |(2х-1)-5|<ε, т. е. |х-3|<ε.
Взяв δ=ε/2, видим, что для всех х, удовлетворяющих неравенству |х-3|< δ, выполняется неравенство |(2х-1)-5|<ε. Следовательно, lim(2x-1)=5 при х –>3.
<< Пример 16.2
16.2. Односторонние пределы
В определении предела функции считается, что х стремится к x 0 любым способом: оставаясь меньшим, чем x 0 (слева от х 0), большим, чем х о (справа от х о), или колеблясь около точки x 0 .
Бывают случаи, когда способ приближения аргумента х к х о существенно влияет на значение придела функции. Поэтому вводят понятия односторонних пределов.
Число А 1 называется пределом функции у=ƒ(х) слева в точке х о, если для любого число ε>0 существует число δ=δ(ε)> 0 такое, что при х є (х 0 -δ;x o), выполняется неравенство |ƒ(х)-А|<ε. Предел слева записывают так: limƒ(х)=А при х–>х 0 -0 или коротко: ƒ(х о- 0)=А 1 (обозначение Дирихле) (см. рис. 111).
Аналогично определяется предел функции справа, запишем его с помощью символов:
Коротко предел справа обозначают ƒ(х о +0)=А.
Пределы функции слева и справа называются односторонними пределами. Очевидно, если существует , то существуют и оба односторонних предела, причем А=А 1 =А 2 .
Справедливо и обратное утверждение: если существуют оба предела ƒ(х 0 -0) и ƒ(х 0 +0) и они равны, то существует предел и А=ƒ(х 0 -0).
Если же А 1 ¹ А 2 , то етот придел не существует.
16.3. Предел функции при х ® ∞
Пусть функция у=ƒ(х) определена в промежутке (-∞;∞). Число А называется пределом функции ƒ(х) при х→∞ , если для любого положительного числа ε существует такое число М=М()>0, что при всех х, удовлетворяющих неравенству |х|>М выполняется неравенство |ƒ(х)-А|<ε. Коротко это определение можно записать так:
Геометрический смысл этого определения таков: для " ε>0 $ М>0, что при х є(-∞; -М) или х є(М; +∞) соответствующие значения функции ƒ(х) попадают в ε-окрестность точки А, т. е. точки графика лежат в полосе шириной 2ε, ограниченной прямыми у=А+ε и у=А-ε (см. рис. 112).
16.4. Бесконечно большая функция (б.б.ф.)
Функция у=ƒ(х) называется бесконечно большой при х→х 0 , если для любого числа М>0 существует число δ=δ(М)>0, что для всех х, удовлетворяющих неравенству 0<|х-хо|<δ, выполняется неравенство |ƒ(х)|>М.
Например, функция у=1/(х-2) есть б.б.ф. при х->2.
Если ƒ(х) стремится к бесконечности при х→х о и принимает лишь положительные значения, то пишут
если лишь отрицательные значения, то
Функция у=ƒ(х), заданная на всей числовой прямой, называется бесконечно большой при х→∞, если для любого числа М>0 найдется такое число N=N(M)>0, что при всех х, удовлетворяющих неравенству |х|>N, выполняется неравенство |ƒ(х)|>М. Коротко:
Например, у=2х есть б.б.ф. при х→∞.
Отметим, что если аргумент х, стремясь к бесконечности, принимает лишь натуральные значения, т. е. хєN, то соответствующая б.б.ф. становится бесконечно большой последовательностью. Например, последовательность v n =n 2 +1, n є N, является бесконечно большой последовательностью. Очевидно, всякая б.б.ф. в окрестности точки х о является неограниченной в этой окрестности. Обратное утверждение неверно: неограниченная функция может и не быть б.б.ф. (Например, у=хsinх.)
Однако, если limƒ(х)=А при х→x 0 , где А - конечное число, то функция ƒ(х) ограничена в окрестности точки х о.
Действительно, из определения предела функции следует, что при х→ х 0 выполняется условие |ƒ(х)-А|<ε. Следовательно, А-ε<ƒ(х)<А+ε при х є (х о -ε; х о +ε), а это и означает, что функция ƒ (х) ограничена.
Бесконечно малые и бесконечно большие функции. Понятие о неопределенностях. Раскрытие простейших неопределенностей. Первый и второй замечательные пределы. Основные эквивалентности. Функции, эквивалентные функциям в окрестности .
Числовой функцией называется соответствие, которое каждому числу х из некоторого заданного множества сопоставляет единственное число y.
СПОСОБЫ ЗАДАНИЯ ФУНКЦИЙ
Аналитический способ: функция задается с помощью
математической формулы.
Табличный способ: функция задается с помощью таблицы.
Описательный способ: функция задается словесным описанием
Графический способ: функция задается с помощью графика
Пределы на бесконечности
Пределы функции на бесконечности
Элементарные функции:
1) степенная функция y=x n
2) показательная функция y=a x
3) логарифмическая функция y=log a x
4) тригонометрические функции y=sin x, y=cos x, y=tg x, y=ctg x
5) обратные тригонометрические функции y=arcsin x, y=arccos x, y=arctg x, y=arcctg x.
ПустьиТогда система множеств
является фильтром и обозначается или Пределназывается пределом функции f при x стремящемся к бесконечности.
Опр.1. (по Коши). Пусть задана функция y=f(x): X à Y и точка a является предельной для множества X. Число A называется пределом функции y=f(x) в точке a , если для любого ε > 0 можно указать такое δ > 0, что для всех xX, удовлетворяющим неравенствам 0 < |x-a | < δ, выполняется |f(x) – A | < ε.
Опр.2.(по Гейне). Число A называется пределом функции y=f(x) в точке a , если для любой последовательности {x n }ε X, x n ≠a nN, сходящийся к a , последовательность значений функции {f(x n)} сходится к числу A .
Теорема . Определение предела функции по Коши и по Гейне эквиваленты.
Доказательство . Пусть A=lim f(x) – предел функции y=f(x) по Коши и {x n } X, x n a nN – последовательность, сходящаяся к a , x n à a .
По данному ε > 0 найдем δ > 0 такое, что при 0 < |x-a | < δ, xX имеем |f(x) – A | < ε, а по этому δ найдем номер n δ =n(δ) такой, что при n>n δ имеем 0 < |x n -a | < δ
Но тогда |f(x n) – A | < ε, т.е. доказано, что f(x n)à A .
Пусть теперь число A есть теперь предел функции по Гейне, но A не является пределом по Коши. Тогда найдется ε o > 0 такое, что для всех nN существуют x n X, 0 < |x n -a| < 1/n, для которых |f(x n)-A| >= ε o . Это означает, что найдена последовательность {x n } X, x n ≠a nN, x n à a такая, что последовательность {f(x n)} не сходится к A .
Геометрический смысл предела lim f (x ) функции в точке х 0 таков: если аргументы х будут взяты в ε-окрестности точки х 0 , то соответствующие значения останутся в ε-окрестности точки.
Функции могут быть заданы на интервалах, примыкающих к точке x0 разными формулами, либо не определены на одном из интервалов. Для исследования поведения таких функций удобным является понятие левосторонних и правосторонних пределов.
Пусть функция f определена на интервале (a, x0). Число A называется пределом функции f слева
в точке x0 если0 0 x (a, x0) , x0 - x x0: | f (x) - A |
Предел функции f справа в точке x0 определяется аналогично.
Бесконечно малые функции обладают следующими свойствами:
1) Алгебраическая сумма любого конечного числа бесконечно малых в некоторой точке функций есть функция, бесконечно малая в той же точке.
2) Произведение любого конечного числа бесконечно малых в некоторой точке функций есть функция, бесконечно малая в той же точке.
3) Произведение бесконечно малой в некоторой точке функции на функцию ограниченную есть функция, бесконечно малая в той же точке.
Бесконечно малые в некоторой точке х0 функции a (x) и b (x) называются бесконечно малыми одного порядка ,
Нарушение ограничений, накладываемых на функции при вычислении их пределов, приводит к неопределенностям
Элементарными приемами раскрытия неопределенностей являются:
сокращение на множитель, создающий неопределенность
деление числителя и знаменателя на старшую степень аргумента (для отношения многочленов при)
применение эквивалентных бесконечно малых и бесконечно больших
использование двух замечательных пределов:
Первый замечательный преде л
Второй замечательный
предел
Функции f(x) и g(x) называются эквивалентными при x→ a, если f(x): f(x) = f (x)g(x), где limx→ af (x) = 1.
Иначе говоря функции эквивалентны при x→ a, если предел их отношения при x→ a равен единице. Справедливы следующие соотношения, их еще называют асимптотическими равенствами :
sin x ~ x, x → 0
tg x ~ x, x → 0, arcsin x ~ x, x ® 0, arctg x~ x, x ® 0
e x -1~ x, x→ 0
ln (1+x)~ x, x→ 0
m -1~ mx, x→ 0
Непрерывность функции. Непрерывность элементарных функций. Арифметические операции над непрерывными функциями. Непрерывность сложной функции. Формулировка теорем Больцано-Коши и Вейерштрасса.
Разрывные функции. Классификация точек разрыва. Примеры.
Функция f(x) называется непрерывной в точке a, если
" U(f(a)) $ U(a) (f(U(a))М U(f(a))).
Непрерывность сложной функции
Теорема 2. Если функция u(x) непрерывна в точке х0, а функция f(u) непрерывна в соответствующей точке u0 = f(x0), то сложная функция f(u(x)) непрерывна в точке х0.
Доказательство приведено в книге И.М. Петрушко и Л.А. Кузнецова “Курс высшей математики: Введение в математический анализ. Дифференциальное исчисление.” М.: Изд–во МЭИ, 2000. Стр. 59.
Все элементарные функции непрерывны в каждой точке их областей определения.
Теорема Вейерштрасса
Пусть f - непрерывная функция, определённая на отрезке . Тогда для любого существует такой многочлен p с вещественными коэффициентами, что для любого x из выполнено условие
Теорема Больцано - Коши
Пусть дана непрерывная
функция на отрезке
Пусть также
и без ограничения общности предположим,
чтоТогда для любогосуществуеттакое, что f(c) = C.
Точка разрыва - значение аргумента, при котором нарушается непрерывность функции (см. Непрерывная функция). В простейших случаях нарушение непрерывности в некоторой точке а происходит так, что существуют пределы
при стремлении x к а справа и слева, но хотя бы один из этих пределов отличен от f (a). В этом случае а называют Точкой разрыва 1-го рода . Если при этом f (a + 0) = f (a -0), то разрыв называется устранимым, так как функция f (x) становится непрерывной в точке а, если положить f (a)= f(a+0)=f(a-0).
Разрывные функции, функции, имеющие разрыв в некоторых точках (см. Разрыва точка). Обычно у функций, встречающихся в математике, точки разрыва изолированы, но существуют функции, для которых все точки являются точками разрыва, например функция Дирихле: f (x) = 0, если х рационально, и f (x) = 1, если х иррационально. Предел всюду сходящейся последовательности непрерывных функций может быть Р. ф. Такие Р. ф. называются функциями первого класса по Бэру.
Производная, ее геометрический и физический смысл. Правила дифференцирования (производная суммы, произведения, частного двух функций; производная сложной функции).
Производная тригонометрических функций.
Производная обратной функции. Производная обратных тригонометрических функций.
Производная логарифмической функции.
Понятие о логарифмическом дифференцировании. Производная степенно-показательной функции. Производная степенной функции. Производная показательной функции. Производная гиперболических функций.
Производная функции, заданной параметрически.
Производная неявной функции.
Производной функции f(x) (f"(x0)) в точке x0 называется число, к которому стремится разностное отношение , стремящемся к нулю.
Геометрический смысл производной . Производная в точке x0 равна угловому коэффициенту касательной к графику функции y=f(x) в этой точке.
Уравнение касательной к графику функции y=f(x) в точке x0:
Физический смысл производной.
Если точка движется вдоль оси х и ее координата изменяется по закону x(t), то мгновенная скорость точки:
Логарифмическое дифференцирование
Если требуется найти из уравнения, то можно:
а) логарифмировать обе части уравнения
б) дифференцировать обе части полученного равенства, где есть сложная функция от х,
.
в) заменить его выражением через х
Дифференцирование неявных функций
Пусть уравнение определяеткак неявную функцию от х.
а) продифференцируем по х обе части уравнения , получим уравнение первой степени относительно;
б) из полученного уравнения выразим .
Дифференцирование функций, заданных параметрически
Пусть функция задана параметрическими уравнениями ,
Тогда , или
Дифференциал. Геометрический смысл дифференциала. Применение дифференциала в приближенных вычислениях. Инвариантность формы первого дифференциала. Критерий дифференцируемости функции.
Производные и дифференциалы высших порядков.
Дифференциал (от лат. differentia - разность, различие) в математике, главная линейная часть приращения функции. Если функция y = f (x) одного переменного х имеет при х = х0 производную, то приращение Dy = f (x0 + Dx) - f (x0) функции f (x) можно представить в виде Dy = f" (x0) Dx + R,
где член R бесконечно мал по сравнению с Dх. Первый член dy = f" (x0) Dх в этом разложении и называется дифференциалом функции f (x) в точке x0.
ДИФФЕРЕНЦИАЛЫ ВЫСШИХ ПОРЯДКОВ
Пусть имеем функцию y=f(x), где x – независимая переменная. Тогда дифференциал этой функции dy=f"(x)dx также зависит от переменной x, причем от x зависит только первый сомножитель f"(x) , а dx=Δx от x не зависит (приращение в данной точке x можно выбирать независимо от этой точки). Рассматривая dy как функцию x, мы можем найти дифференциал этой функции.
Дифференциал от дифференциала данной функции y=f(x) называется вторым дифференциалом или дифференциалом второго порядка этой функции и обозначается d 2 y: d(dy)=d 2 y.
Найдем выражение второго дифференциала. Т.к. dx от x не зависит, то при нахождении производной его можно считать постоянным, поэтому
d 2 y = d(dy) = d = "dx = f ""(x)dx·dx = f ""(x)(dx) 2 .
Принято записывать (dx) 2 = dx 2 . Итак, d 2 у= f""(x)dx 2 .
Аналогично третьим дифференциалом или дифференциалом третьего порядка функции называется дифференциал от ее второго дифференциала:
d 3 y=d(d 2 y)="dx=f """(x)dx 3 .
Вообще дифференциалом n-го порядка называется первый дифференциал от дифференциала (n – 1)-го порядка: d n (y)=d(d n -1y)d n y = f (n)(x)dx n
Отсюда, пользуясь дифференциалами различных порядков, производную любого порядка можно представить как отношение дифференциалов соответствующего порядка:
ПРИМЕНЕНИЕ ДИФФЕРЕНЦИАЛА К ПРИБЛИЖЕННЫМ ВЫЧИСЛЕНИЯМ
Пусть нам известно значение функции y0=f(x0) и ее производной y0" = f "(x0) в точке x0. Покажем, как найти значение функции в некоторой близкой точке x.
Как мы уже выяснили приращение функции Δy можно представить в виде суммы Δy=dy+α·Δx, т.е. приращение функции отличается от дифференциала на величину бесконечно малую. Поэтому, пренебрегая при малых Δx вторым слагаемым в приближенных вычислениях, иногда пользуются приближенным равенством Δy≈dy или Δy≈f"(x0)·Δx.
Т.к., по определению, Δy = f(x) – f(x0), то f(x) – f(x0)≈f"(x0)·Δx.
Откуда f(x) ≈ f(x0) + f"(x0)·Δx
Инвариантная форма первого дифференциала.
Доказательство:
1)
Основные теоремы о дифференцируемых функциях. Связь между непрерывностью и дифференцируемостью функции. Теорема Ферма. Теоремы Ролля, Лагранжа, Коши и их следствия. Геометрический смысл теорем Ферма, Ролля и Лагранжа.
Пределы доставляют всем студентам, изучающим математику, немало хлопот. Чтобы решить предел, порой приходится применять массу хитростей и выбирать из множества способов решения именно тот, который подойдет для конкретного примера.
В этой статье мы не поможем вам понять пределы своих возможностей или постичь пределы контроля, но постараемся ответить на вопрос: как понять пределы в высшей математике? Понимание приходит с опытом, поэтому заодно приведем несколько подробных примеров решения пределов с пояснениями.
Понятие предела в математике
Первый вопрос: что это вообще за предел и предел чего? Можно говорить о пределах числовых последовательностей и функций. Нас интересует понятие предела функции, так как именно с ними чаще всего сталкиваются студенты. Но сначала - самое общее определение предела:
Допустим, есть некоторая переменная величина. Если эта величина в процессе изменения неограниченно приближается к определенному числу a , то a – предел этой величины.
Для определенной в некотором интервале функции f(x)=y пределом называется такое число A , к которому стремится функция при х , стремящемся к определенной точке а . Точка а принадлежит интервалу, на котором определена функция.
Звучит громоздко, но записывается очень просто:
Lim - от английского limit - предел.
Существует также геометрическое объяснение определения предела, но здесь мы не будем лезть в теорию, так как нас больше интересует практическая, нежели теоретическая сторона вопроса. Когда мы говорим, что х стремится к какому-то значению, это значит, что переменная не принимает значение числа, но бесконечно близко к нему приближается.
Приведем конкретный пример. Задача - найти предел.
Чтобы решить такой пример, подставим значение x=3 в функцию. Получим:
Кстати, если Вас интересуют базовые операции над матрицами , читайте отдельную статью на эту тему.
В примерах х может стремиться к любому значению. Это может быть любое число или бесконечность. Вот пример, когда х стремится к бесконечности:
Интуитивно понятно, что чем больше число в знаменателе, тем меньшее значение будет принимать функция. Так, при неограниченном росте х значение 1/х будет уменьшаться и приближаться к нулю.
Как видим, чтобы решить предел, нужно просто подставить в функцию значение, к которому стремиться х . Однако это самый простой случай. Часто нахождение предела не так очевидно. В пределах встречаются неопределенности типа 0/0 или бесконечность/бесконечность . Что делать в таких случаях? Прибегать к хитростям!
![](https://i1.wp.com/zaochnik-com.ru/blog/2017/10/XZOT7QFScus-1024x545.jpg)
Неопределенности в пределах
Неопределенность вида бесконечность/бесконечность
Пусть есть предел:
Если мы попробуем в функцию подставить бесконечность, то получим бесконечность как в числителе, так и в знаменателе. Вообще стоит сказать, что в разрешении таких неопределенностей есть определенный элемент искусства: нужно заметить, как можно преобразовать функцию таким образом, чтобы неопределенность ушла. В нашем случае разделим числитель и знаменатель на х в старшей степени. Что получится?
Из уже рассмотренного выше примера мы знаем, что члены, содержащие в знаменателе х, будут стремиться к нулю. Тогда решение предела:
Для раскрытия неопределенностей типа бесконечность/бесконечность делим числитель и знаменатель на х в высшей степени.
![](https://i1.wp.com/zaochnik-com.ru/blog/2017/10/i-1.jpg)
Кстати! Для наших читателей сейчас действует скидка 10% на любой вид работы
Еще один вид неопределенностей: 0/0
Как всегда, подстановка в функцию значения х=-1 дает 0 в числителе и знаменателе. Посмотрите чуть внимательнее и Вы заметите, что в числителе у нас квадратное уравнение. Найдем корни и запишем:
Сократим и получим:
Итак, если Вы сталкиваетесь с неопределенностью типа 0/0 – раскладывайте числитель и знаменатель на множители.
Чтобы Вам было проще решать примеры, приведем таблицу с пределами некоторых функций:
![](https://i2.wp.com/zaochnik-com.ru/blog/2017/10/6-1.jpg)
Правило Лопиталя в пределах
Еще один мощный способ, позволяющий устранить неопределенности обоих типов. В чем суть метода?
Если в пределе есть неопределенность, берем производную от числителя и знаменателя до тех пор, пока неопределенность не исчезнет.
Наглядно правило Лопиталя выглядит так:
Важный момент : предел, в котором вместо числителя и знаменателя стоят производные от числителя и знаменателя, должен существовать.
А теперь – реальный пример:
Налицо типичная неопределенность 0/0 . Возьмем производные от числителя и знаменателя:
Вуаля, неопределенность устранена быстро и элегантно.
Надеемся, что Вы сможете с пользой применить эту информацию на практике и найти ответ на вопрос "как решать пределы в высшей математике". Если нужно вычислить предел последовательности или предел функции в точке, а времени на эту работу нет от слова «совсем», обратитесь в профессиональный студенческий сервис за быстрым и подробным решением.