Предел функции в точке. Предел функции — MT1205: Математический анализ для экономистов — Бизнес-информатика

В этой статье мы расскажем, что из себя представляет предел функции. Сначала поясним общие моменты, которые очень важны для понимания сути этого явления.

Yandex.RTB R-A-339285-1

Понятие предела

В математике принципиально важным является понятие бесконечности, обозначаемое символом ∞ . Его следует понимать как бесконечно большое + ∞ или бесконечно малое - ∞ число. Когда мы говорим о бесконечности, часто мы имеем в виду сразу оба этих ее смысла, однако запись вида + ∞ или - ∞ не стоит заменять просто на ∞ .

Запись предела функции имеет вид lim x → x 0 f (x) . В нижней части мы пишем основной аргумент x , а с помощью стрелочки указываем, к какому именно значению x 0 он будет стремиться. Если значение x 0 является конкретным действительным числом, то мы имеем дело с пределом функции в точке. Если же значение x 0 стремится к бесконечности (не важно, ∞ , + ∞ или - ∞), то следует говорить о пределе функции на бесконечности.

Предел бывает конечным и бесконечным. Если он равен конкретному действительному числу, т.е. lim x → x 0 f (x) = A , то его называют конечным пределом, если же lim x → x 0 f (x) = ∞ , lim x → x 0 f (x) = + ∞ или lim x → x 0 f (x) = - ∞ , то бесконечным.

Если мы не можем определить ни конечное, ни бесконечное значение, это значит, что такого предела не существует. Примером этого случая может быть предел от синуса на бесконечности.

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

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

Число A является пределом функции f (x) при x → ∞ , если последовательность ее значений будет сходиться к A для любой бесконечно большой последовательности аргументов (отрицательной или положительной).

Запись предела функции выглядит так: lim x → ∞ f (x) = A .

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

При x → ∞ предел функции f (x) является бесконечным, если последовательность значений для любой бесконечно большой последовательности аргументов будет также бесконечно большой (положительной или отрицательной).

Запись выглядит как lim x → ∞ f (x) = ∞ .

Пример 1

Докажите равенство lim x → ∞ 1 x 2 = 0 с помощью основного определения предела для x → ∞ .

Решение

Начнем с записи последовательности значений функции 1 x 2 для бесконечно большой положительной последовательности значений аргумента x = 1 , 2 , 3 , . . . , n , . . . .

1 1 > 1 4 > 1 9 > 1 16 > . . . > 1 n 2 > . . .

Мы видим, что значения будут постепенно уменьшаться, стремясь к 0 . См. на картинке:

x = - 1 , - 2 , - 3 , . . . , - n , . . .

1 1 > 1 4 > 1 9 > 1 16 > . . . > 1 - n 2 > . . .

Здесь тоже видно монотонное убывание к нулю, что подтверждает верность данного в условии равенства:

Ответ: Верность данного в условии равенства подтверждена.

Пример 2

Вычислите предел lim x → ∞ e 1 10 x .

Решение

Начнем, как и раньше, с записи последовательностей значений f (x) = e 1 10 x для бесконечно большой положительной последовательности аргументов. Например, x = 1 , 4 , 9 , 16 , 25 , . . . , 10 2 , . . . → + ∞ .

e 1 10 ; e 4 10 ; e 9 10 ; e 16 10 ; e 25 10 ; . . . ; e 100 10 ; . . . = = 1 , 10 ; 1 , 49 ; 2 , 45 ; 4 , 95 ; 12 , 18 ; . . . ; 22026 , 46 ; . . .

Мы видим, что данная последовательность бесконечно положительна, значит, f (x) = lim x → + ∞ e 1 10 x = + ∞

Переходим к записи значений бесконечно большой отрицательной последовательности, например, x = - 1 , - 4 , - 9 , - 16 , - 25 , . . . , - 10 2 , . . . → - ∞ .

e - 1 10 ; e - 4 10 ; e - 9 10 ; e - 16 10 ; e - 25 10 ; . . . ; e - 100 10 ; . . . = = 0 , 90 ; 0 , 67 ; 0 , 40 ; 0 , 20 ; 0 , 08 ; . . . ; 0 , 000045 ; . . . x = 1 , 4 , 9 , 16 , 25 , . . . , 10 2 , . . . → ∞

Поскольку она тоже стремится к нулю, то f (x) = lim x → ∞ 1 e 10 x = 0 .

Наглядно решение задачи показано на иллюстрации. Синими точками отмечена последовательность положительных значений, зелеными ­ – отрицательных.

Ответ: lim x → ∞ e 1 10 x = + ∞ , п р и x → + ∞ 0 , п р и x → - ∞ .

Перейдем к методу вычисления предела функции в точке. Для этого нам нужно знать, как правильно определить односторонний предел. Это пригодится нам и для того, чтобы найти вертикальные асимптоты графика функции.

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

Число B является пределом функции f (x) слева при x → a в том случае, когда последовательность ее значений сходится к данному числу при любой последовательности аргументов функции x n , сходящейся к a , если при этом ее значения остаются меньше a (x n < a).

Такой предел на письме обозначается как lim x → a - 0 f (x) = B .

Теперь сформулируем, что такое предел функции справа.

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

Число B является пределом функции f (x) справа при x → a в том случае, когда последовательность ее значений сходится к данному числу при любой последовательности аргументов функции x n , сходящейся к a , если при этом ее значения остаются больше a (x n > a).

Этот предел мы записываем как lim x → a + 0 f (x) = B .

Мы можем найти предел функции f (x) в некоторой точке тогда, когда для нее существуют равные пределы с левой и правой стороны, т.е. lim x → a f (x) = lim x → a - 0 f (x) = lim x → a + 0 f (x) = B . В случае бесконечности обоих пределов предел функции в исходной точке также будет бесконечен.

Теперь мы разъясним данные определения, записав решение конкретной задачи.

Пример 3

Докажите, что существует конечный предел функции f (x) = 1 6 (x - 8) 2 - 8 в точке x 0 = 2 и вычислите его значение.

Решение

Для того чтобы решить задачу, нам потребуется вспомнить определение предела функции в точке. Для начала докажем, что у исходной функции имеется предел слева. Запишем последовательность значений фукнции, которая будет сходиться к x 0 = 2 , если x n < 2:

f (- 2) ; f (0) ; f (1) ; f 1 1 2 ; f 1 3 4 ; f 1 7 8 ; f 1 15 16 ; . . . ; f 1 1023 1024 ; . . . = = 8 , 667 ; 2 , 667 ; 0 , 167 ; - 0 , 958 ; - 1 , 489 ; - 1 , 747 ; - 1 , 874 ; . . . ; - 1 , 998 ; . . . → - 2

Поскольку приведенная последовательность сводится к - 2 , мы можем записать, что lim x → 2 - 0 1 6 x - 8 2 - 8 = - 2 .

6 , 4 , 3 , 2 1 2 , 2 1 4 , 2 1 8 , 2 1 16 , . . . , 2 1 1024 , . . . → 2

Значения функции в этой последовательности будут выглядеть так:

f (6) ; f (4) ; f (3) ; f 2 1 2 ; f 2 3 4 ; f 2 7 8 ; f 2 15 16 ; . . . ; f 2 1023 1024 ; . . . = = - 7 , 333 ; - 5 , 333 ; - 3 , 833 ; - 2 , 958 ; - 2 , 489 ; - 2 , 247 ; - 2 , 124 ; . . . , - 2 , 001 , . . . → - 2

Данная последовательность также сходится к - 2 , значит, lim x → 2 + 0 1 6 (x - 8) 2 - 8 = - 2 .

Мы получили, что пределы с правой и левой стороны у данной функции будут равными, значит, предел функции f (x) = 1 6 (x - 8) 2 - 8 в точке x 0 = 2 существует, и lim x → 2 1 6 (x - 8) 2 - 8 = - 2 .

Вы можете увидеть ход решения на иллюстрации (зеленые точки– последовательность значений, сходящаяся к x n < 2 , синие – к x n > 2).

Ответ: Пределы с правой и левой стороны у данной функции будут равными, значит, предел функции существует, и lim x → 2 1 6 (x - 8) 2 - 8 = - 2 .

Чтобы более глубоко изучить теорию пределов, советуем вам прочесть статью о непрерывности функции в точке и основных видах точек разрыва.

Если вы заметили ошибку в тексте, пожалуйста, выделите её и нажмите Ctrl+Enter

Сегодня рассмотрим подборку новых задач на нахождение предела в точке. Начнем с простых примеров на подстановку значения, чаще всего рассматривают в 11 классе школьной программы по математике.
Далее остановимся и проанализируем пределы с неопределенностями, методы раскрытия неопределенностей, применением первой и второй важных границ и их последствий.
Приведенные примеры полностью не охватят всей темы, но на многие вопросы внесут ясность.

Найти предел функции в точке:

Пример 46. Предел функции в точке определяем подстановкой

Так как знаменатель дроби не превращается в ноль то такую задача под силу решить каждому выпускнику школы.

Пример 47. Имеем долю полиномов, кроме того знаменатель не содержит особенности (не равен нулю).
Еще одна задача, фактически за 11 класс.

Пример 48. Методом подстановки определяем предел функции
Из условия следует, что граница функции равна двум, если переменная стремится к бесконечности.

Пример 49. Прямая подстановка x=2 показывает, что граница в точке имеет особенность {0/0} . Это означает, что и числитель и знаменатель скрыто содержат (x-2) .
Выполняем разложение полиномов на простые множители, а потом сокращаем дробь на указанный множитель (x-2) .
Предел дроби, которая останется, находим методом подстановки.

Пример 50. Предел функции в точке имеет особенность типа {0/0} .
Избавляемся разницы корней методом умножения на сумму корней (сопряженное выражение), полином раскладываем.
Далее, упростив функцию, находим значение предела в единице.

Пример 51. Рассмотрим задачу на сложные пределы.
До сих пор от иррациональности избавлялись методом умножения на сопряженное выражение.
Здесь же, в знаменателе, имеем корень кубический, поэтому нужно использовать формулу разности кубов.
Все остальные преобразования повторяются от условия к условию.
Полином раскладываем на простые множители,
далее сокращаем на множитель, который вносит особенность (0)
и подстановкой x=-3 находим предел функции в точке

Пример 52. Особенность вида {0/0} раскрываем с помощью первого замечательного предела и его последствий.
Сначала разницу синусов распишем согласно тригонометрической формуле
sin(7x)-sin(3x)=2sin(2x)cos(5x).
Далее числитель и знаменатель дроби дополняем выражениями, которые необходимы для выделения важных пределов.
Переходим к произведению пределов и оцениваем вложение каждого множителя.

Здесь использовали первый замечательный предел:

и следствия из него


где a и b – произвольные числа.

Пример 53. Чтобы раскрыть неопределенность при переменной стремящейся к нулю, используем второй замечательный предел.
Чтобы выделить экспоненту, приводим показатель к 2-му замечательному пределу, а все остальное, что останется в предельном переходе, даст степень експоненты.


Здесь использовали следствие из второго замечатеьного предела:

Вычислить предел функции в точке:

Пример 54. Нужно найти предел функции в точке. Простая подстановка значения показывает, что имеем деление нулей.
Для ее раскрытия разложим на простые множители полиномы и выполним сокращение на множитель, который вносит особенность (х+2) .
Однако числитель дальше содержит (x+2) , а это значит, что при x=-2 граница равна нулю.

Пример 55. Имеем дробную функцию - в числителе разница корней, в знаменателе - поленом.
Прямая подстановка дает особенность вида {0/0} .
Переменная стремится к минус единице, а это значит, что следует искать и избавляться особенности вида (x+1) .
Для этого избавляемся иррациональности умножением на сумму корней, а квадратичную функцию раскладываем на простые множители.
После всех сокращений методом подстановки определяем предел функции в точке

Пример 56. С виду подлимитной функции можно ошибочно заключить, что нужно применить первый предел, но вычисления показали, что все гораздо проще.
Сначала распишем сумму синусов в знаменателе sin(2x)+sin(6x)=2sin(4x)*cos(2x).
Далее расписываем tg(2x) , и синус двойного угла sin(4x)=2sin(2x)cos (2x).
Синусы упрощаем и методом подстановки вычисляем предел дроби

Пример 57. Задача на умение использовать вторую замечательный предел:
суть заключается в том, что следует выделить ту часть, которая дает экспоненту.
Остальное, что останется в показателе в предельном переходе даст степень экспоненты.


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

Функцией y = f(x) называется закон (правило), согласно которому, каждому элементу x множества X ставится в соответствие один и только один элемент y множества Y .

Элемент x ∈ X называют аргументом функции или независимой переменной .
Элемент y ∈ Y называют значением функции или зависимой переменной .

Множество X называется областью определения функции .
Множество элементов y ∈ Y , которые имеют прообразы в множестве X , называется областью или множеством значений функции .

Действительная функция называется ограниченной сверху (снизу) , если существует такое число M , что для всех выполняется неравенство:
.
Числовая функция называется ограниченной , если существует такое число M , что для всех :
.

Верхней гранью или точной верхней границей действительной функции называют наименьшее из чисел, ограничивающее область ее значений сверху. То есть это такое число s , для которого для всех и для любого , найдется такой аргумент , значение функции от которого превосходит s′ : .
Верхняя грань функции может обозначаться так:
.

Соответственно нижней гранью или точной нижней границей действительной функции называют наибольшее из чисел, ограничивающее область ее значений снизу. То есть это такое число i , для которого для всех и для любого , найдется такой аргумент , значение функции от которого меньше чем i′ : .
Нижняя грань функции может обозначаться так:
.

Определение предела функции

Определение предела функции по Коши

Конечные пределы функции в конечных точках

Пусть функция определена в некоторой окрестности конечной точки за исключением, может быть, самой точки . в точке , если для любого существует такое , зависящее от , что для всех x , для которых , выполняется неравенство
.
Предел функции обозначается так:
.
Или при .

С помощью логических символов существования и всеобщности определение предела функции можно записать следующим образом:
.

Односторонние пределы.
Левый предел в точке (левосторонний предел):
.
Правый предел в точке (правосторонний предел):
.
Пределы слева и справа часто обозначают так:
; .

Конечные пределы функции в бесконечно удаленных точках

Аналогичным образом определяются пределы в бесконечно удаленных точках.
.
.
.
Их часто обозначают так:
; ; .

Использование понятия окрестности точки

Если ввести понятие проколотой окрестности точки , то можно дать единое определение конечного предела функции в конечных и бесконечно удаленных точках:
.
Здесь для конечных точек
; ;
.
Любые окрестности бесконечно удаленных точек являются проколотыми:
; ; .

Бесконечные пределы функции

Определение
Пусть функция определена в некоторой проколотой окрестности точки (конечной или бесконечно удаленной). Предел функции f(x) при x → x 0 равен бесконечности , если для любого, сколь угодно большого числа M > 0 , существует такое число δ M > 0 , зависящее от M , что для всех x , принадлежащих проколотой δ M - окрестности точки : , выполняется неравенство:
.
Бесконечный предел обозначают так:
.
Или при .

С помощью логических символов существования и всеобщности определение бесконечного предела функции можно записать так:
.

Также можно ввести определения бесконечных пределов определенных знаков, равных и :
.
.

Универсальное определение предела функции

Используя понятие окрестности точки, можно дать универсальное определение конечного и бесконечно предела функции, применимое как для конечных (двусторонних и односторонних), так и для бесконечно удаленных точек:
.

Определение предела функции по Гейне

Пусть функция определена на некотором множестве X : .
Число a называется пределом функции в точке :
,
если для любой последовательности , сходящейся к x 0 :
,
элементы которой принадлежат множеству X : ,
.

Запишем это определение с помощью логических символов существования и всеобщности:
.

Если в качестве множества X взять левостороннюю окрестность точки x 0 , то получим определение левого предела. Если правостороннюю - то получим определение правого предела. Если в качестве множества X взять окрестность бесконечно удаленной точки, то получим определение предела функции на бесконечности.

Теорема
Определения предела функции по Коши и по Гейне эквивалентны.
Доказательство

Свойства и теоремы предела функции

Далее мы считаем, что рассматриваемые функции определены в соответствующей окрестности точки , которая является конечным числом или одним из символов: . Также может быть точкой одностороннего предела, то есть иметь вид или . Окрестность является двусторонней для двустороннего предела и односторонней для одностороннего.

Основные свойства

Если значения функции f(x) изменить (или сделать неопределенными) в конечном числе точек x 1 , x 2 , x 3 , ... x n , то это изменение никак не повлияет на существование и величину предела функции в произвольной точке x 0 .

Если существует конечный предел , то существует такая проколотая окрестность точки x 0 , на которой функция f(x) ограничена:
.

Пусть функция имеет в точке x 0 конечный предел, отличный от нуля:
.
Тогда, для любого числа c из интервала , существует такая проколотая окрестность точки x 0 , что для ,
, если ;
, если .

Если, на некоторой проколотой окрестности точки , - постоянная, то .

Если существуют конечные пределы и и на некоторой проколотой окрестности точки x 0
,
то .

Если , и на некоторой окрестности точки
,
то .
В частности, если на некоторой окрестности точки
,
то если , то и ;
если , то и .

Если на некоторой проколотой окрестности точки x 0 :
,
и существуют конечные (или бесконечные определенного знака) равные пределы:
, то
.

Доказательства основных свойств приведены на странице
«Основные свойства пределов функции ».

Арифметические свойства предела функции

Пусть функции и определены в некоторой проколотой окрестности точки . И пусть существуют конечные пределы:
и .
И пусть C - постоянная, то есть заданное число. Тогда
;
;
;
, если .

Если , то .

Доказательства арифметических свойств приведены на странице
«Арифметические свойства пределов функции ».

Критерий Коши существования предела функции

Теорема
Для того, чтобы функция , определенная на некоторой проколотой окрестности конечной или бесконечно удаленной точки x 0 , имела в этой точке конечный предел, необходимо и достаточно, чтобы для любого ε > 0 существовала такая проколотая окрестность точки x 0 , что для любых точек и из этой окрестности, выполнялось неравенство:
.

Предел сложной функции

Теорема о пределе сложной функции
Пусть функция имеет предел и отображает проколотую окрестность точки на проколотую окрестность точки . Пусть функция определена на этой окрестности и имеет на ней предел .
Здесь - конечные или бесконечно удаленные точки: . Окрестности и соответствующие им пределы могут быть как двусторонние, так и односторонние.
Тогда существует предел сложной функции и он равен :
.

Теорема о пределе сложной функции применяется в том случае, когда функция не определена в точке или имеет значение, отличное от предельного . Для применения этой теоремы, должна существовать проколотая окрестность точки , на которой множество значений функции не содержит точку :
.

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

Теорема о пределе непрерывной функции от функции
Пусть существует предел функции g(t) при t → t 0 , и он равен x 0 :
.
Здесь точка t 0 может быть конечной или бесконечно удаленной: .
И пусть функция f(x) непрерывна в точке x 0 .
Тогда существует предел сложной функции f(g(t)) , и он равен f(x 0) :
.

Доказательства теорем приведены на странице
«Предел и непрерывность сложной функции ».

Бесконечно малые и бесконечно большие функции

Бесконечно малые функции

Определение
Функция называется бесконечно малой при , если
.

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

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

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

«Свойства бесконечно малых функций ».

Бесконечно большие функции

Определение
Функция называется бесконечно большой при , если
.

Сумма или разность ограниченной функции, на некоторой проколотой окрестности точки , и бесконечно большой функции при является бесконечно большой функцией при .

Если функция является бесконечно большой при , а функция - ограничена, на некоторой проколотой окрестности точки , то
.

Если функция , на некоторой проколотой окрестности точки , удовлетворяет неравенству:
,
а функция является бесконечно малой при :
, и (на некоторой проколотой окрестности точки ), то
.

Доказательства свойств изложены в разделе
«Свойства бесконечно больших функций ».

Связь между бесконечно большими и бесконечно малыми функциями

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

Если функция являются бесконечно большой при , то функция является бесконечно малой при .

Если функция являются бесконечно малой при , и , то функция является бесконечно большой при .

Связь между бесконечно малой и бесконечно большой функцией можно выразить символическим образом:
, .

Если бесконечно малая функция имеет определенный знак при , то есть положительна (или отрицательна) на некоторой проколотой окрестности точки , то этот факт можно выразить так:
.
Точно также если бесконечно большая функция имеет определенный знак при , то пишут:
.

Тогда символическую связь между бесконечно малыми и бесконечно большими функциями можно дополнить следующими соотношениями:
, ,
, .

Дополнительные формулы, связывающие символы бесконечности, можно найти на странице
«Бесконечно удаленные точки и их свойства ».

Пределы монотонных функций

Определение
Функция , определенная на некотором множестве действительных чисел X называется строго возрастающей , если для всех таких что выполняется неравенство:
.
Соответственно, для строго убывающей функции выполняется неравенство:
.
Для неубывающей :
.
Для невозрастающей :
.

Отсюда следует, что строго возрастающая функция также является неубывающей. Строго убывающая функция также является невозрастающей.

Функция называется монотонной , если она неубывающая или невозрастающая.

Теорема
Пусть функция не убывает на интервале , где .
Если она ограничена сверху числом M : , то существует конечный предел . Если не ограничена сверху, то .
Если ограничена снизу числом m : , то существует конечный предел . Если не ограничена снизу, то .

Если точки a и b являются бесконечно удаленными, то в выражениях под знаками пределов подразумевается, что .
Эту теорему можно сформулировать более компактно.

Пусть функция не убывает на интервале , где . Тогда существуют односторонние пределы в точках a и b :
;
.

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

Пусть функция не возрастает на интервале , где . Тогда существуют односторонние пределы:
;
.

Доказательство теоремы изложено на странице
«Пределы монотонных функций ».

Использованная литература:
Л.Д. Кудрявцев. Курс математического анализа. Том 1. Москва, 2003.
С.М. Никольский. Курс математического анализа. Том 1. Москва, 1983.

Сегодня на уроке мы разберём строгое определение последовательности и строгое определение предела функции , а также научимся решать соответствующие задачи теоретического характера. Статья предназначена, прежде всего, для студентов 1-го курса естественнонаучных и инженерно-технических специальностей, которые начали изучать теорию математического анализа, и столкнулись с трудностями в плане понимания этого раздела высшей математики. Кроме того, материал вполне доступен и учащимся старших классов.

За годы существования сайта я получил недобрый десяток писем примерно такого содержания: «Плохо понимаю математический анализ, что делать?», «Совсем не понимаю матан, думаю бросить учёбу» и т.п. И действительно, именно матан часто прореживает студенческую группу после первой же сессии. Почему так обстоят дела? Потому что предмет немыслимо сложен? Вовсе нет! Теория математического анализа не столь трудна, сколько своеобразна . И её нужно принять и полюбить такой, какая она есть =)

Начнём с самого тяжёлого случая. Первое и главное – не надо бросать учёбу. Поймите правильно, бросить, оно всегда успеется;-) Безусловно, если через год-два от выбранной специальности будет тошнить, тогда да – следует задуматься (а не пороть горячку!) о смене деятельности. Но пока стОит продолжить. И, пожалуйста, забудьте фразу «Ничего не понимаю» – так не бывает, чтобы СОВСЕМ ничего не понимать.

Что делать, если с теорией плохо? Это, кстати, касается не только математического анализа. Если с теорией плохо, то сначала нужно СЕРЬЁЗНО налечь на практику. При этом решаются сразу две стратегические задачи:

– Во-первых, значительная доля теоретических знаний появилась благодаря практике. И поэтому многие люди понимают теорию через… – всё верно! Нет-нет, вы не о том подумали =)

– И, во-вторых, практические навыки с большой вероятностью «вытянут» вас на экзамене, даже если…, но не будем так настраиваться! Всё реально и всё реально «поднять» в достаточно короткие сроки. Математический анализ – это мой любимый раздел высшей математики, и поэтому я просто не мог не протянуть вам ноги руку помощи:

В начале 1-го семестра обычно проходят пределы последовательностей и пределы функций. Не понимаете, что это такое и не знаете, как их решать? Начните со статьи Пределы функций , в которой «на пальцах» рассмотрено само понятие и разобраны простейшие примеры. Далее проработайте другие уроки по теме, в том числе урок о пределах последовательностей , на котором я фактически уже сформулировал строгое определение.

Какие значки помимо знаков неравенств и модуля вы знаете?

– длинная вертикальная палка читается так: «такое, что», «такая, что», «такой, что» либо «такие, что» , в нашем случае, очевидно, речь идёт о номере – поэтому «такой, что»;

– для всех «эн», бОльших чем ;

– знак модуля означает расстояние , т.е. эта запись сообщает нам о том, что расстояние между значениями меньше эпсилон.

Ну как, убийственно сложно? =)

После освоения практики жду вас в следующем параграфе:

И в самом деле, немного порассуждаем – как сформулировать строгое определение последовательности? …Первое, что приходит на ум в свете практического занятия : «предел последовательности – это число, к которому бесконечно близко приближаются члены последовательности».

Хорошо, распишем последовательность :

Нетрудно уловить, что подпоследовательность бесконечно близко приближаются к числу –1, а члены с чётными номерами – к «единице».

А может быть предела два? Но тогда почему у какой-нибудь последовательности их не может быть десять или двадцать? Так можно далеко зайти. В этой связи логично считать, что если у последовательности существует предел, то он единственный .

Примечание : у последовательности нет предела, однако из неё можно выделить две подпоследовательности (см. выше), у каждой из которых существует свой предел.

Таким образом, высказанное выше определение оказывается несостоятельным. Да, оно работает для случаев вроде (чем я не совсем корректно пользовался в упрощённых объяснениях практических примеров) , но сейчас нам нужно отыскать строгое определение.

Попытка вторая: «предел последовательности – это число, к которому приближаются ВСЕ члены последовательности, за исключением, разве что их конечного количества». Вот это уже ближе к истине, но всё равно не совсем точно. Так, например, у последовательности половина членов вовсе не приближается к нулю – они ему просто-напросто равны =) К слову, «мигалка» вообще принимает два фиксированных значения.

Формулировку нетрудно уточнить, но тогда возникает другой вопрос: как записать определение в математических знаках? Научный мир долго бился над этой проблемой, пока ситуацию не разрешил известный маэстро , который, по существу, и оформил классический матанализ во всей его строгости. Коши предложил оперировать окрестностями , чем значительно продвинул теорию.

Рассмотрим некоторую точку и её произвольную -окрестность:

Значение «эпсилон» всегда положительно, и, более того, мы вправе выбрать его самостоятельно . Предположим, что в данной окрестности находится множество членов (не обязательно все) некоторой последовательности . Как записать тот факт, что, например десятый член попал в окрестность? Пусть он находится в правой её части. Тогда расстояние между точками и должно быть меньше «эпсилон»: . Однако если «икс десятое» расположено левее точки «а», то разность будет отрицательна, и поэтому к ней нужно добавить знак модуля : .

Определение : число называется пределом последовательности, если для любой его окрестности (заранее выбранной) существует натуральный номер – ТАКОЙ, что ВСЕ члены последовательности с бОльшими номерами окажутся внутри окрестности:

Или короче: , если

Иными словами, какое бы малое значение «эпсилон» мы ни взяли, рано или поздно «бесконечный хвост» последовательности ПОЛНОСТЬЮ окажется в этой окрестности.

Так, например, «бесконечный хвост» последовательности ПОЛНОСТЬЮ зайдёт в любую сколь угодно малую -окрестность точки . Таким образом, это значение является пределом последовательности по определению. Напоминаю, что последовательность, предел которой равен нулю, называют бесконечно малой .

Следует отметить, что для последовательности уже нельзя сказать «бесконечный хвост зайдёт » – члены с нечётными номерами по факту равны нулю и «никуда не заходят» =) Именно поэтому в определении использован глагол «окажутся». И, разумеется, члены такой последовательности, как тоже «никуда не идут». Кстати, проверьте, будет ли число её пределом.

Теперь покажем, что у последовательности не существует предела. Рассмотрим, например, окрестность точки . Совершенно понятно, что нет такого номера, после которого ВСЕ члены окажутся в данной окрестности – нечётные члены всегда будут «выскакивать» к «минус единице». По аналогичной причине не существует предела и в точке .

Закрепим материал практикой:

Пример 1

Доказать что предел последовательности равен нулю. Указать номер , после которого, все члены последовательности гарантированно окажутся внутри любой сколь угодно малой -окрестности точки .

Примечание : у многих последовательностей искомый натуральный номер зависит от значения – отсюда и обозначение .

Решение : рассмотрим произвольную найдётся ли номер – такой, что ВСЕ члены с бОльшими номерами окажутся внутри этой окрестности:

Чтобы показать существование искомого номера , выразим через .

Так как при любом значении «эн» , то знак модуля можно убрать:

Используем «школьные» действия с неравенствами, которые я повторял на уроках Линейные неравенства и Область определения функции . При этом важным обстоятельством является то, что «эпсилон» и «эн» положительны:

Поскольку слева речь идёт о натуральных номерах, а правая часть в общем случае дробна, то её нужно округлить:

Примечание : иногда для перестраховки справа добавляют единицу, но на самом деле это излишество. Условно говоря, если и мы ослабим результат округлением в меньшую сторону , то ближайший подходящий номер («тройка») всё равно будет удовлетворять первоначальному неравенству.

А теперь смотрим на неравенство и вспоминаем, что изначально мы рассматривали произвольную -окрестность, т.е. «эпсилон» может быть равно любому положительному числу.

Вывод : для любой сколько угодно малой -окрестности точки нашлось значение . Таким образом, число является пределом последовательности по определению. Что и требовалось доказать .

К слову, из полученного результата хорошо просматривается естественная закономерность: чем меньше -окрестность – тем больше номер , после которого ВСЕ члены последовательности окажутся в данной окрестности. Но каким бы малым ни было «эпсилон» – внутри всегда будет «бесконечный хвост», а снаружи – пусть даже большое, однако конечное число членов.

Как впечатления? =) Согласен, что странновато. Но строго! Пожалуйста, перечитайте и осмыслите всё ещё раз.

Рассмотрим аналогичный пример и познакомимся с другими техническими приёмами:

Пример 2

Решение : по определению последовательности нужно доказать, что (проговариваем вслух!!!) .

Рассмотрим произвольную -окрестность точки и проверим, существует ли натуральный номер – такой, что для всех бОльших номеров выполнено неравенство:

Чтобы показать существование такого , нужно выразить «эн» через «эпсилон». Упрощаем выражение под знаком модуля:

Модуль уничтожает знак «минус»:

Знаменатель положителен при любом «эн», следовательно, палки можно убрать:

Перетасовка:

Теперь надо бы извлечь квадратный корень, но загвоздка состоит в том, что при некоторых «эпсилон» правая часть будет отрицательной. Чтобы избежать этой неприятности усилим неравенство модулем:

Почему так можно сделать? Если, условно говоря, окажется, что , то подавно будет выполнено и условие . Модуль может только увеличить разыскиваемый номер , и это нас тоже устроит! Грубо говоря, если подходит сотый, то подойдёт и двухсотый! В соответствии с определением, нужно показать сам факт существования номера (хоть какого-то), после которого все члены последовательности окажутся в -окрестности. Кстати, именно поэтому нам не страшнО финальное округление правой части в бОльшую сторону.

Извлекаем корень:

И округляем результат:

Вывод : т.к. значение «эпсилон» выбиралось произвольно, то для любой сколько угодно малой -окрестности точки нашлось значение , такое, что для всех бОльших номеров выполнено неравенство . Таким образом, по определению. Что и требовалось доказать .

Советую особо разобраться в усилении и ослаблении неравенств – это типичные и очень распространённые приёмы математического анализа. Единственное, нужно следить за корректностью того или иного действия. Так, например, неравенство ни в коем случае нельзя ослаблять , вычитая, скажем, единицу:

Опять же условно: если номер точно подойдёт, то предыдущий может уже и не подойти.

Следующий пример для самостоятельного решения:

Пример 3

Используя определение последовательности, доказать, что

Краткое решение и ответ в конце урока.

Если последовательность бесконечно велика , то определение предела формулируется похожим образом: точка называется пределом последовательности, если для любого, сколь угодно большого числа существует номер , такой, что для всех бОльших номеров , будет выполнено неравенство . Число называют окрестностью точки «плюс бесконечность» :

Иными словами, какое бы большое значение мы ни взяли, «бесконечный хвост» последовательности обязательно зайдёт в -окрестность точки , оставив слева лишь конечное число членов.

Дежурный пример:

И сокращённая запись: , если

Для случая запишите определение самостоятельно. Правильная версия в конце урока.

После того, как вы «набили» руку на практических примерах и разобрались с определением предела последовательности, можно обратиться к литературе по математическому анализу и/или своей тетрадке с лекциями. Рекомендую закачать 1-й том Бохана (попроще – для заочников) и Фихтенгольца (более подробно и обстоятельно) . Из других авторов советую Пискунова, курс которого ориентирован на технические ВУЗы.

Попытайтесь добросовестно изучить теоремы, которые касаются предела последовательности, их доказательства, следствия. Поначалу теория может казаться «мутной», но это нормально – просто нужно привыкнуть. И многие даже войдут во вкус!

Строгое определение предела функции

Начнём с того же самого – как сформулировать данное понятие? Словесное определение предела функции формулируется значительно проще: «число является пределом функции , если при «икс», стремящемся к (и слева, и справа) , соответствующие значения функции стремятся к » (см. чертёж) . Всё вроде бы нормально, но слова словами, смысл смыслом, значок значком, а строгих математических обозначений маловато. И во втором параграфе мы познакомимся с двумя подходами к решению данного вопроса.

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

Такой выбор подчёркивает суть предела функции : «икс» бесконечно близко приближается к , и соответствующие значения функции – бесконечно близко к . Иными словами, понятие предела подразумевает не «точный заход» в точки, а именно бесконечно близкое приближение , при этом не важно – определена ли функция в точке или нет.

Первое определение предела функции, что неудивительно, формулируется с помощью двух последовательностей. Во-первых, понятия родственные, и, во-вторых, пределы функций обычно изучают после пределов последовательностей.

Рассмотрим последовательность точек (на чертеже отсутствуют) , принадлежащих промежутку и отличных от , которая сходится к . Тогда соответствующие значения функции тоже образуют числовую последовательность, члены которой располагаются на оси ординат.

Предел функции по Гейне для любой последовательности точек (принадлежащих и отличных от ) , которая сходится к точке , соответствующая последовательность значений функции сходится к .

Эдуард Гейне – это немецкий математик. …И не надо тут ничего такого думать, гей в Европе всего лишь один – это Гей-Люссак =)

Второе определение предела соорудил… да-да, вы правы. Но сначала разберёмся в его конструкции. Рассмотрим произвольную -окрестность точки («чёрная» окрестность) . По мотивам предыдущего параграфа, запись означает, что некоторое значение функции находится внутри «эпсилон»-окрестности.

Теперь найдём -окрестность, которая соответствует заданной -окрестности (мысленно проводим чёрные пунктирные линии слева направо и затем сверху вниз) . Обратите внимание, что значение выбирается по длине меньшего отрезка, в данном случае – по длине более короткого левого отрезка. Более того, «малиновую» -окрестность точки можно даже уменьшить, поскольку в нижеследующем определении важен сам факт существования этой окрестности. И, аналогично, запись означает, что некоторое значение находится внутри «дельта»-окрестности.

Предел функции по Коши : число называется пределом функции в точке , если для любой заранее выбранной окрестности (сколь угодно малой) , существует -окрестность точки , ТАКАЯ , что: КАК ТОЛЬКО значения (принадлежащие ) входят в данную окрестность: (красные стрелки) – ТАК СРАЗУ соответствующие значения функции гарантированно зайдут в -окрестность: (синие стрелки) .

Должен предупредить, что в целях бОльшей доходчивости я немного сымпровизировал, поэтому не злоупотребляйте =)

Короткая запись: , если

В чём суть определения? Образно говоря, бесконечно уменьшая -окрестность, мы «сопровождаем» значения функции до своего предела, не оставляя им альтернативы приближаться куда-то ещё. Довольно необычно, но опять же строго! Чтобы как следует проникнуться идеей, перечитайте формулировку ещё раз.

! Внимание : если вам потребуется сформулировать только определение по Гейне или только определение по Коши , пожалуйста, не забывайте о существенном предварительном комментарии: «Рассмотрим функцию , которая определена на некотором промежутке за исключением, возможно, точки » . Я обозначил это единожды в самом начале и каждый раз не повторял.

Согласно соответствующей теореме математического анализа, определения по Гейне и по Коши эквивалентны, однако наиболее известен второй вариант (ещё бы!) , который также называют «предел на языке »:

Пример 4

Используя определение предела, доказать, что

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

Примечание : величина «дельта»-окрестности зависит от «эпсилон», отсюда и обозначение

Рассмотрим произвольную -окрестность. Задача состоит в том, чтобы по этому значению проверить, существует ли -окрестность, ТАКАЯ , что из неравенства следует неравенство .

Предполагая, что , преобразуем последнее неравенство:
(разложили квадратный трёхчлен )