§ 4. Признаки существования пределов.
Теорема 1 (см. упр. 5,§2). Функцияfимеет предел в точкех0тогда и только тогда, когда в этой точке существуют равные односторонние пределы. (,аR.)
Доказательствопроведем по Коши и конечногох0. Случайх0=() рассматривается аналогично.
1) Пусть , т.е> 0=() > 0:x Df, 0 < |x –x0| <|f(x) –a| <.
Это означает, что последнее неравенство имеет место xDf,удовлетворяющих неравенствамx0-<х <x0иx0<х<x0+, откуда следует, чтоf(x0) =а.
2) Пусть f(x0) =а. Из существованияf(x0 -) следует, что> 01=1() > 0:x Df ,x0-1<х <x0,|f(x) –a| <.
Аналогично, из существования f(x0 +) следует, что для того же> 02=2() > 0:xDf,x0<х<x0+2,|f(x) –a| <.
Пусть =min{1,2}. Тогда получим, чтоxDf, 0 < |x–x0| <|f(x) –a| <, т.е..
Вставка 1.
Теорема2 (предел сложной функции). Пустьи, причем для некоторого> 0. Тогда.
Доказательствопроведем по Гейне.
Из условия следует, что вопределена сложная функция. Пусть {xn}, причем. Положимyn=f(xn). Так как, тоиynа. Поэтому из условия существованияполучим, что существует.
Вставка 2.
Лемма.Для того, чтобы, необходимо и достаточно, чтобыf(x) =a+(x), где-б/ мфункция прихх0.
Доказательство.Действительно, если, то полагаяf(x) -a=(x), по свойствам пределов получим, что, т.е. - б/ м функция прихх0.
Обратно, если f(x) =a+(x) и, то по свойствам пределов будем иметь.
Вставка 3.
Теорема 3 (о пределе зажатой функции). Пустьвыполнено(х)f(x)g(x), причем. Тогда.
Доказательствосразу следует из теоремы о зажатой последовательности и определения предела функции в точке по Гейне.
Вставка 4.
Определение1. .
Если функция f ограничена сверху на множествеЕ, то согласно теореме 1 (§3, глI)
. Аналогично, для ограниченной снизу на множествеЕфункцииf.
Вставка 5.
Определение2. ПустьEDfих1,х2Е,x1<x2, - произвольные. Функцияfназывается:
возрастающейнаЕ, еслиf(х1) <f(x2);
невозрастающейнаЕ, еслиf(х1)f(x2);
убывающейнаЕ, еслиf(х1) >f(x2);
неубывающейнаЕ, еслиf(х1)f(x2).
Все эти функции называются монотоннымина множествеE, возрастающая и убывающая – ещестрого монотонными на Е.
Теорема4 (предел монотонной функции). Если функцияfне убывает на интервале (a,b) (конечном или бесконечном), то существуют (конечные или бесконечные) пределыf(а+) иf(b-), причемf(а+) =,f(b-) =.
Если функция fне возрастает на интервале (a,b), тоf(а+) =,f(b-) =.
Доказательство.Рассмотрим, например, пределf(b-) для неубывающей функции.
Положим М=. ЕслиМR, то по определению точной верхней грани> 0x(a,b):M-<f(x)M<M + ,а это и означает, чтоf(b-) =М.
Пусть М= +. Тогда > 0 x (a, b): f(x) > . Но тогдаf(x) >х[x;b), т.е.f(b-) = +.
Аналогично рассматриваются остальные случаи.
Следствие.Монотонная на интервале (a,b) функция имеет конечные односторонние пределы в каждой точке этого интервала.
Доказательство. Пусть, например, функцияfне убывает на (a,b) и(a,b). Пустьх1(a,х0),х2(х0, b). Тогда
,
что и означает конечность пределов f(х0).
Вставка 6.
Определение 3. Говорят, что функцияf удовлетворяет условию Коши при х х0, если> 0=() > 0:x1,x2 |f(x1) –f(x2)| <.
Теорема 5 (критерий Коши). Для того, чтобы функцияfимела конечный предел в точкех0, необходимо и достаточно, чтобы она удовлетворяла условию Коши прихх0.
Доказательство. 1)Необходимость.Пусть, т.е.> 0=() > 0:x |f(x) –a| </2.
Пусть теперь x1,x2 . Тогда получим
|f(x1) –f(x2)||f(x1) –а| +| f(x2) –a| </2.+/2= ,
т.е. имеет место условие Коши.
2) Достаточность.Пусть функцияfудовлетворяет условию Коши прих х0 и пусть для выбранного> 0 указано> 0. Рассмотрим последовательность {xn}Df\{x0}, сходящуюся кx0. Тогдаn0:k, m >n0xk,xm, а потому |f(xk) –f(xm)| <, т.е. последовательность {f(xn)}- фундаментальная, она сходится.
Покажем, что не зависит от выбора последовательности {xn}. Возьмем еще одну последовательностьDf\{x0}, сходящуюся кx0, и образуем последовательностьпо правилу
(l N).
Ясно, что и по доказанному последовательностьсходится, а потому ее подпоследовательностиисходятся к тому же пределу, т.е.
.
А так как не зависит от выбора последовательности {xn}, то.
Заметим, что критерий Коши не дает численного значения предела функции в точке и потому имеет, в основном, теоретическое применение.
Вопросы и упражнения.
Существуют ли пределы функции в точке, если в этой точке существуют односторонние пределы?
Может ли существовать предел сложной функции (х) =F(f(x)), если:
а) и;
б) и?
3)Докажите теорему 1 (§3) с помощью леммы§4 и свойствб/м(теорема 5,§3).
4)Ввести понятияи. Показать, что для существования (конечного или бесконечного) предела, необходимо и достаточно, чтобы=.
5)Построить графики функций:.
6)Доказать, что.
7)Доказать, что,а> 0.