Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Скачиваний:
17
Добавлен:
22.03.2015
Размер:
1.16 Mб
Скачать

§ 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 -) следует, что> 01=1() > 0:x Df ,x0-1<х <x0,|f(x) –a| <.

Аналогично, из существования f(x0 +) следует, что для того же> 02=2() > 0:xDf,x0<х<x0+2,|f(x) –a| <.

Пусть =min{1,2}. Тогда получим, чтоxDf, 0 < |xx0| <|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);

убывающейнаЕ, еслиf1) >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, то по определению точной верхней грани> 0x(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}, то.

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

Вопросы и упражнения.

  1. Существуют ли пределы функции в точке, если в этой точке существуют односторонние пределы?

  2. Может ли существовать предел сложной функции (х) =F(f(x)), если:

а) и;

б) и?

3)Докажите теорему 1 (§3) с помощью леммы§4 и свойствб/м(теорема 5,§3).

4)Ввести понятияи. Показать, что для существования (конечного или бесконечного) предела, необходимо и достаточно, чтобы=.

5)Построить графики функций:.

6)Доказать, что.

7)Доказать, что,а> 0.