UML_4256
.pdf§2. Предел функции по Гейне и Коши в точке метрического пространства
Пусть |
X |
и Y – метрические пространства, |
E X , функция f |
||||||||
отображает множество E в множество Y , а x0 X |
– предельная точка |
||||||||||
множества E . |
|
|
|
|
y0 Y |
|
|
|
|
|
|
Определение 1 (Гейне). |
Точка |
называется пределом |
|||||||||
функции |
f |
в точке x0 , |
если |
для любой нестационарной |
|||||||
последовательности {xn } E , сходящейся к точке x0 , соответствующая |
|||||||||||
последовательность {f (xn )} Y сходится к y0 . |
|
|
|
|
|
||||||
То есть, если из ρx (x0 , xn )→ 0 при n → ∞ следует |
|
|
|
||||||||
|
|
ρy (y0 , f (xn ))→ 0 при n → ∞ . |
|
|
(1) |
||||||
Пишут lim f (x) = y0 или f (x)→ y0 при x → x0 . |
|
|
|
|
|||||||
x→x0 |
|
|
|
|
|
|
|
|
|
|
|
Заметим, что предельная точка x0 может не |
принадлежать |
||||||||||
множеству |
E , то есть области |
|
определения |
функции |
f (x). Если |
||||||
x0 E , то y0 |
может не совпадать со значением функции |
f (x) в точке |
|||||||||
x0 , то есть y0 |
≠ f (x0 ). |
|
|
|
|
|
|
|
|
||
Пример 1. Найти lim |
x3 + 2x |
. Здесь функция y = f (x)= |
x3 + 2x |
– |
|||||||
|
|
||||||||||
|
|
x→1 x2 +1 |
|
|
|
|
|
|
x2 +1 |
действительная функция одной действительной переменной x . Область ее определения E = X = R1 – вся действительная ось. Предельная точка x0 =1 E .
Решение. Пусть xn – произвольная последовательность (не
стационарная), сходящаяся к |
x0 =1. |
Тогда, |
согласно определению 1, |
||||||||||
имеем |
|
|
|
|
x3 + 2x |
|
|
|
|
|
|
|
|
lim f (x)= lim f (x |
)= lim |
|
1+ 2 1 |
|
3 |
|
|||||||
n |
n |
= |
|
|
|
= |
|
. |
|||||
x2 |
+1 |
1+1 |
|
2 |
|||||||||
x→1 |
xn →1 |
n |
|
xn →1 |
|
|
|
|
|||||
|
n→∞ |
|
|
n→∞ |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Воспользовались свойствами пределов для последовательности. Как видно, в данном случае
y0 = 32 = f (x0 )= f (1).
111
Пример 2. |
Найти |
lim |
|
sin x |
. |
Здесь |
f (x)= |
|
sin x |
|
– |
|
|
|
|
x |
|||||||||
|
|
x→∞ |
x |
|
|
|
1 , |
|||||
действительная |
функция |
действительной |
переменной x . |
X = |
|
|||||||
R |
||||||||||||
предельная точка x0 = ∞. Найдем |
Е – область определения функции |
|
||||||||||
(см. рис.). |
|
|
|
|
|
|
|
|
|
|
|
|
sin x ≥ 0. 2πk + 0 ≤ x ≤ π + 2πk, k Z.
E =Uk [2πk,2πk +π ], x ≠ 0 .
|
Поскольку предельная точка x0 = ∞, то любая сходящаяся к ней |
|||||||||
последовательность xn является бесконечно большой. |
|
|||||||||
|
Решение. Пусть xn произвольная бесконечно большая |
|||||||||
последовательность |
{xn } E . |
Согласно |
определению |
1, |
||||||
lim |
sin x |
= |
lim |
sin xn |
= lim sin x |
|
1 |
= 0 – |
как произведение |
|
|
x |
|
||||||||
x→∞ |
x |
xn →∞ |
xn →∞ |
n x |
|
|
||||
|
|
|
|
n |
|
|
n |
|
|
ограниченной последовательности на бесконечно малую.
В данном случае y0 = 0 ≠ f (x0 ), так как функция не определена в этой точке.
Пример 3. limsin |
1 |
. Здесь |
X = R1, E = R1 \ {0}. Предельная точка |
|||
x |
||||||
|
|
x→0 |
|
|
||
0 = x0 |
|
E . |
|
|
|
|
|
|
|
|
Решение. Возьмем две последовательности, сходящиеся к
предельной точке |
x = 0 |
, x = |
1 |
|
и x' |
= |
1 |
|
|
. Воспользуемся |
|
|
2πk |
|
2πk +π |
2 |
|||||||
|
0 |
k |
|
|
k |
|
|
||||
|
|
|
|
|
|
|
|
|
|||
определением 1, |
f (xk ) |
= 0 , |
f (xk' |
)=1, |
то |
есть |
последовательность |
значений функции имеет два предела, что невозможно в силу единственности предела.
Вывод: данная функция в точке x0 = 0 предела не имеет.
Пример 4. Найти lim |
Re z |
. |
Здесь z = x +iy , X = C, E = C \ {z0 }, |
||
|
|||||
z→0 |
z |
|
|
|
|
z0 = 0. z0 = 0 – предельная точка, |
z0 |
|
E . |
||
|
|
|
112 |
Решение. Выберем две бесконечно малые последовательности
zn = |
1 |
+ |
i |
|
и zn' |
= |
1 |
+ |
i |
|
|
|
(согласно теореме |
2 |
§2 |
||||||||||||||||||||||||||
|
n2 |
|
n |
|
|
||||||||||||||||||||||||||||||||||||
|
|
n |
|
|
|
|
|
n2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
последовательности сходятся к нулю). |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
lim |
Re z |
|
= lim |
Re zn |
= lim |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
= lim |
|
|
1 |
|
|
=1, |
|
||||||||||||||
|
zn |
|
|
|
1 |
|
|
|
i |
|
|
|
|
|
|
i |
|
|
|||||||||||||||||||||||
z→0 |
|
z |
zn |
→0 |
|
zn →0 |
|
|
|
|
|
|
|
n→∞ |
1 |
+ |
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
n |
+ |
|
|
|
|
|
|
n |
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
2 |
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
Re z |
|
|
|
|
Re z' |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
1−in |
||||||
lim |
|
|
|
|
= lim |
|
n |
|
= lim |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= lim |
|
|
|
|
|
= lim |
|
|||||||
|
z |
|
z' |
|
|
|
|
|
1 |
|
|
|
i |
|
|
|
|
|
|
1+ n2 |
|||||||||||||||||||||
z→0 |
|
zn' →0 |
|
zn' →0 |
n |
2 |
+ |
|
n→∞1+in |
|
zn→0 |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Вывод: функция предела не имеет.
гл. 2 эти
= 0.
Пусть E1 – область определения функции |
|
f (x), E2 – область |
|||||||||||||||||||
определения функции g (x) и пусть f (x)= g (x) |
x E1 ∩ E2 . Если x0 |
||||||||||||||||||||
предельная точка множеств E1 и E2 , |
но x0 |
|
E1 x0 E2 , |
то, очевидно, |
|||||||||||||||||
|
|||||||||||||||||||||
lim f (x)= lim g (x). |
Этим |
пользуются |
|
при |
|
|
раскрытии |
||||||||||||||
x→x0 |
x |
→x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
неопределенности. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Пример 5. Найти |
= lim (x −1)(x +5) = lim(x + 5)= lim (x |
|
|
||||||||||||||||||
lim |
x2 + 4x −5 |
= |
0 |
+ 5)= 6. |
|||||||||||||||||
|
|
||||||||||||||||||||
x→1 |
x −1 |
0 |
x→1 |
(x −1) |
|
x→1 |
|
|
|
xn →1 |
n |
|
|
||||||||
|
|
|
|
|
|
|
|||||||||||||||
Здесь |
|
g (x)= |
x2 + 4x −5 |
, |
f (x)= x + 5, |
x =1 |
|
E |
|
, |
x E |
и |
|||||||||
|
|
2 |
|||||||||||||||||||
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
x −1 |
|
|
|
|
0 |
|
|
|
|
0 |
1 |
|
||
g (x)= f (x) |
x ≠1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Упражнение. Доказать, что функция Дирихле не имеет предела ни |
|||||||||||||||||||||
в одной точке области определения. |
|
|
|
|
и x0 |
|
|
|
|
||||||||||||
Определение 2 (Коши). Пусть X , Y , E , |
f |
те же, что в |
|||||||||||||||||||
определении 1. Если существует точка |
y0 Y , |
|
обладающая |
||||||||||||||||||
следующими свойствами: для любого ε > 0 существует δε |
> 0 такое, |
||||||||||||||||||||
что |
|
|
|
ρy (y0 , f (x))< ε |
x E , |
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
(2) |
||||||||
для которых |
|
|
|
0 < ρx (x, x0 )< δε |
, |
|
|
|
|
|
|
|
|
|
|
(3) |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
то y0 называется пределом функции f (x) в точке x0 . 113
|
Пример 6. Найти limcos x. |
|
|
Здесь |
|
f (x) = cos x , |
|
X = R1 = E , |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
x→0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x0 = 0 E – предельная точка. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
ρy (y0 , f (x)) = |
|
f (x)− y0 |
|
, ρx (x, x0 )= |
|
x − x0 |
|
. |
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
Решение. Допустим, что предел существует и равен y0 =1. Тогда |
||||||||||||||||||||||||||||||||||||||||||
|
f (x)− y |
|
= |
|
cos x −1 |
|
=1−cos x = 2sin2 |
x |
≤ |
2 |
x |
2 |
< ε. |
|
x |
|
< 2ε |
= δ |
ε |
||||||||||||||||||||||||
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||||
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
(воспользовались неравенством |
|
sin x |
|
≤ x , см. рис.). |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
Итак, |
для |
|
|
|
ε > 0существует |
δε |
= |
|
2ε , |
|
|
|
причем, |
если |
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
x − 0 |
|
< δε |
|
x E , то |
|
|
cos x −1 |
|
< ε . |
|
Согласно |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
определению 2, |
y0 =1 – предел функции y = cos x в |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
точке x0 = 0 , то есть limcos x =1. |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x→0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
Теорема. Определения предела по Гейне и |
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
Коши эквивалентны. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
Доказательство. Пусть условия определения Коши выполняются, |
||||||||||||||||||||||||||||||||||||||||||
то есть из |
|
|
|
|
0 < ρx (x, x0 )<δε ρy (y0 , f (x))< ε . |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(4) |
||||||||||||||||||||||||||
|
Пусть xn – произвольная последовательность, сходящаяся к x0 . |
||||||||||||||||||||||||||||||||||||||||||
Тогда из |
(4) |
следует |
ρy (y0 , |
f (xn ))< ε , |
то |
|
есть последовательность |
||||||||||||||||||||||||||||||||||||
|
f (xn ) |
сходится |
|
|
|
к |
|
|
y0 . |
|
|
|
|
Таким |
образом, |
|
из |
|
сходимости |
||||||||||||||||||||||||
последовательности xn |
следует сходимость последовательность |
f (xn ), |
следовательно, выполняются условия определения Гейне.
Пусть теперь наоборот условия Гейне (1) выполняются. Докажем выполнение условий Коши. От противного. Пусть условия Коши не
выполняются. Пусть, например, 0 < ρx (x, x0 )< δ , но ρy (y0 , f (x))≥ ε .
Тогда, полагая последовательно δ = |
1 |
|
(n =1,2,3,...), найдем значения |
|||||
n |
||||||||
|
|
1 |
|
ρy (y0 , f (xn ))≥ ε . |
|
|||
xn |
такие, что ρx (x, x0 )< δ = |
, |
но |
То есть |
||||
|
||||||||
|
|
n |
|
|
|
f (xn ) |
||
последовательность xn сходится, |
|
а |
последовательность |
расходится.
114
Это означает нарушение условий определения Гейне. Получили противоречие, которое и доказывает теорему. Теорема доказана.
Замечание. |
Определение |
предела |
по |
Коши |
можно |
||||||||||||||||||
перефразировать на языке ε −δ -окрестностей точек y0 |
и x0 . Пусть X и |
||||||||||||||||||||||
Y – метрические пространства, |
E X , функция |
y = f (x) |
отображает |
||||||||||||||||||||
E в Y и x0 X – предельная точка области определения E . |
|
|
|||||||||||||||||||||
Точка y0 Y называется пределом функции |
y = f (x) |
в точке x0 , |
|||||||||||||||||||||
если |
для |
|
ε > 0 |
|
найдется |
δε |
> 0, |
такое, |
что |
как |
только |
||||||||||||
x O(x ,δ |
ε |
)∩ E , то |
y O(y |
0 |
,ε ) (2' ,3' ) . |
|
|
|
|
|
|
|
|||||||||||
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
§3. Свойства пределов |
|
|
|
|
|
||||||||||
Теорема |
1. Пусть |
|
X |
|
|
– |
метрическое |
пространство, |
E X и |
||||||||||||||
x0 X |
– |
предельная точка |
|
множества |
E , |
f |
и g |
– |
комплексные |
||||||||||||||
функции на E . |
|
|
|
|
|
|
lim g (x)= b, то |
|
|
|
|
|
|
|
|||||||||
Если lim f (x) |
= a , |
|
|
|
|
|
|
|
|||||||||||||||
|
|
x→x0 |
( |
|
|
|
|
|
x |
→x0 |
|
|
|
|
|
|
|
|
|
|
|
||
|
1) |
x→x |
f (x)± g (x) |
) |
= a ±b ; |
|
|
|
|
|
|
|
|
||||||||||
|
lim |
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
0 |
|
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2) |
x→1 ( |
f (x)g (x) |
= ab ; |
|
|
|
|
|
|
|
|
|
||||||||||
|
lim |
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
3) |
lim |
f (x) |
|
= |
a |
, если b ≠ 0. |
|
|
|
|
|
|
|
|
||||||||
|
g (x) |
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
x→x0 |
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Доказательство. Согласно определению предела функции по |
|||||||||||||||||||||||
Гейне, |
lim f (x)= lim f |
(xn ) |
, то есть предел функции |
f (x) сводится к |
|||||||||||||||||||
|
x→x0 |
|
|
xn →x0 |
|
|
|
|
|
f (xn ). Поэтому |
|
|
|
|
|
||||||||
пределу последовательности |
|
доказательство этой |
теоремы следует из соответствующей теоремы для комплексных |
||
последовательностей (см. теорему 1 §2 гл. 2). Теорема доказана. |
||
Функция |
f (x) называется бесконечно малой в точке |
x0 , если |
lim f (x)= 0 . |
Функция f (x) называется ограниченной в |
области |
x→x0 |
|
|
определения E , если множество ее значений {f (x)| x E} ограничено. |
||
Функция f (x) |
называется ограниченной в точке x0 , если существует |
|
окрестность O |
(x0 ,δ ) такая, что на множестве O(x0 ,δ )∩ E |
функция |
f (x) ограничена.
115
Теорема 2. Произведение ограниченной в некоторой точке x0 комплексной функции ϕ(x) на бесконечно малую в этой точке функцию есть бесконечно малая функция в точке x0 .
Доказательство этой теоремы следует из соответствующей теоремы для последовательности (см. теорема 2 §2 гл. 2).
Теорема 3 (правило замены переменной). Если существуют |
|||||||||||||
пределы |
lim f (x) = y0 и |
lim g (y), то существует и предел сложной |
|||||||||||
|
x→x0 |
|
( |
f (x) |
) |
|
y→y0 |
x→x |
( |
f (x) |
) |
y→y |
|
функции |
|
g |
, |
причем |
(без |
||||||||
|
|
|
lim g |
|
|
= lim g (y) |
|||||||
доказательства). |
|
|
|
|
0 |
|
|
|
0 |
|
|||
|
|
|
|
|
|
|
|
|
|
||||
Если f (x) |
– действительная функция действительного аргумента |
x , то все теоремы, доказанные ранее для последовательности действительных чисел, можно перефразировать для функции f (x). В
частности справедлива теорема о переходе к пределу в неравенстве, теорема о двух милиционерах, теорема о существовании окрестности O (x0 ,δ ), в которой функция ограничена, если имеет предел в точке x0
и другие. Теорему о монотонной функции мы рассмотрим позже.
§4. Замечательные пределы
В этом и в последующих параграфах под функцией f (x) будем понимать действительную функцию действительного аргумента x .
Теорема 1 (первый замечательный предел). lim |
sin x |
=1. |
|
|
|||
x→0 |
x |
|
|
Доказательство. Из рис. видно, что при 0 < x < |
π |
справедливы |
|
неравенства |
2 |
|
|
|
|
|
|
S1 < S2 < S3 . |
|
(1) |
Здесь S1 и S3 – площади треугольников OAC и OBD, S2 –
площадь сектора OAD. Радиус окружности будем считать единичным. Тогда
S |
= |
1 |
cos xsin x , |
S |
2 |
= |
1 |
x, |
S |
3 |
= |
1 |
tgx , |
|
|
|
|||||||||||
1 |
2 |
|
|
2 |
|
|
2 |
|
|||||
|
|
|
|
|
|
|
|
x – острый угол (см. рис.).
116
|
A |
B |
|
|
|
0 |
x |
D |
C |
Подставим найденные площади в (1). Получим
1 |
cos xsin x < |
1 |
x < |
1 |
tgx. cos x < |
x |
< |
1 |
. |
|||||
2 |
2 |
2 |
sin x |
cos x |
||||||||||
|
sin x |
|
|
|
|
(2) |
||||||||
|
|
|
1 |
|
|
|
|
|
|
|||||
cos x < |
< |
|
. |
|
|
|
|
|
||||||
x |
|
cos x |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
В неравенствах (2) все функции четные, поэтому они справедливы и для
отрицательных x , то есть при − |
π |
|
< x |
< |
π . |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
1 |
|
|||
Поскольку |
|
limcos x =1 (см. пример 6 |
§2) и |
lim |
|
=1, то по |
|||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
x |
→0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
→0 cos x |
|
|||||
теореме о двух милиционерах имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim |
sin x |
=1. |
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Теорема доказана. |
|
|
|
|
|
|
|
|
|
|
|
x |
→0 |
x |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
π |
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
3 − 2cos x |
|
|
|
|
|
|
|
|
|
2 cos |
6 |
− cos x |
|
|
|||||||||||||||
Пример 1. lim |
= lim |
|
|
|
|
|
|
|
|
= |
|
|
|||||||||||||||||||||||||||||
|
π − 6x |
|
|
|
|
|
|
π − 6x |
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
x→π |
6 |
|
|
|
|
|
|
|
x→π |
6 |
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
π |
− |
x |
|
|
π |
+ |
x |
|
|
|
|
π |
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
sin |
|
|
|
|
sin |
|
|
|
|
|
|
|
= t |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
= lim |
|
|
12 |
|
2 |
|
|
|
12 |
|
2 |
|
|
= |
|
− |
|
|
= |
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
12 |
2 |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
π |
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
x→π 6 |
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
t → 0 |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
12 |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
π |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
sin t sin |
|
6 |
|
−t |
|
|
1 |
|
|
|
|
|
sin t |
|
|
|
|
|
|
π |
|
|
|
|
|
|
|
|
||||||||||||
= −lim |
|
|
|
|
|
|
|
|
|
= − |
|
|
lim |
|
|
|
|
|
limsin |
|
−t |
|
= |
|
|
|
|
|
|||||||||||||
t |
|
|
|
|
|
3 |
|
|
|
|
|
|
t |
6 |
|
|
|
|
|
||||||||||||||||||||||
t→0 |
|
|
|
|
|
|
|
|
|
|
|
|
3 t→0 |
|
t→0 |
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
117 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= − |
1 |
|
|
|
|
|
|
|
|
|
|
π |
−t |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
sin lim |
|
|
|
= − |
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
3 |
|
6 |
6 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
t→0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
Воспользовались формулой |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
cosα − cos β = −2sin α − β sin α + β , |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
теоремой 3 §3 и равенством |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim f (x)= f (lim x), |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
которое докажем позже. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
tgx |
|
|
|
|
|
|
arcsin x |
|
|||||||||||||||||||||||||||||
|
|
|
|
Упражнение. |
|
|
|
|
|
|
Доказать, |
|
|
что |
|
lim |
|
=1, |
|
lim |
=1, |
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
arctgx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x→0 |
x |
|
|
|
x→0 |
x |
|
||||||||||||||||
lim |
|
|
=1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
x→0 |
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
||
|
|
|
|
Теорема 2 (второй замечательный предел). lim 1+ |
|
|
= e . |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
x |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
Доказательство. |
|
|
|
|
|
|
|
|
|
|
|
|
|
x ≥1. |
|
|
|
|
|
|
|
|
|
|
|
|
x→∞ |
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
Пусть |
|
|
|
Тогда, |
по |
аксиоме |
Архимеда, |
||||||||||||||||||||||||||||||||||||||||||||||||||||||
n ≤ x < n +1. |
1 |
|
|
|
|
< |
|
1 |
|
≤ |
1 |
. |
|
1+ |
|
|
|
|
1 |
|
|
|
< |
1+ |
1 |
≤1 |
+ |
1 |
. |
|
|
|
|
|
|||||||||||||||||||||||||||||||||
n + |
1 |
x |
|
|
n +1 |
x |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
1 |
|
|
n |
|
|
|
|
|
|
1 |
x |
|
|
|
|
|
|
|
|
1 n+1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
1 |
+ |
|
|
|
|
|
|
|
|
|
|
|
< 1+ |
|
|
|
|
|
≤ |
1 |
+ |
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
n +1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
1 |
|
n+1 |
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
n |
|
|
|
|
lim |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n→∞ |
|
|
|
|
|
n +1 |
|
|
= e, |
|
|
|
|
|
|
|
|
||||||||||||||||||||||
Поскольку |
|
lim |
1+ |
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n→∞ |
|
|
|
n +1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim 1+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n→∞ |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
1 |
|
n+1 |
|
|
|
|
|
|
|
|
1 n |
|
|
|
|
|
|
|
|
|
1 |
= e (см. §4 гл. 2), то по теореме о |
|||||||||||||||||||||||||||||||||||||||
lim 1+ |
|
|
|
|
|
|
= lim |
1 |
+ |
|
|
|
|
|
|
lim |
1+ |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
n |
|
n |
|
|
n |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
n→∞ |
|
|
|
|
|
|
n→∞ |
|
|
|
|
|
|
|
n→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
двух милиционерах имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
= e . |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim |
1+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
Пусть теперь x < −1, тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
1 |
|
x |
|
|
|
|
1+ x x |
|
|
1+ x = −t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
lim 1 |
+ |
|
|
|
|
|
|
= lim |
|
|
|
|
|
|
|
|
|
|
|
|
= |
x = −1−t |
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
x |
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
x→−∞ |
|
|
|
|
|
|
x→−∞ |
|
|
|
|
|
|
|
|
|
|
t → +∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
118 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−t |
|
−1−t |
|
1+t 1+t |
|
|
|
|
|
|
1+t t |
|
|
1+t |
= e. |
|
|
|
|
|
|
||||||||||||||||||
= lim |
|
|
|
= lim |
|
|
|
|
|
= lim |
|
|
|
lim |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
t |
|
|
t |
|
|
|
|
|
|
|
||||||||||||||||||||||||||
t→+∞ |
−1−t |
t |
→+∞ |
t |
|
|
t |
→+∞ |
|
|
t→+∞ |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
Итак, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
lim 1+ |
|
|
|
|
= e . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
Теорема доказана. |
|
|
|
|
|
x→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
3 x |
|
|
|
= t |
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
1 |
3 |
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
Пример 2. lim |
1+ |
|
|
|
|
= |
|
x |
|
|
|
|
|
= lim(1+ t )t = lim(1+ t )t |
|
|
= e3 . |
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
x→∞ |
|
|
x |
|
|
|
t → 0 |
|
t→0 |
|
|
|
|
|
t |
→0 |
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
= e |
|
|||
|
Упражнение. |
|
|
|
|
Доказать, |
|
|
что |
|
|
|
lim 1+ |
|
|
|
, |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
x |
||||||||||||||||||||||||||||||
|
loga (1+ x) |
|
|
|
|
|
|
ln (1+ x) |
|
|
|
|
|
|
|
|
|
|
|
|
x→0 |
|
|
|
|
|
|||||||||||||||
lim |
= loga e, |
lim |
=1, |
lim |
ax −1 |
|
= ln a , |
lim |
ex −1 |
=1 |
, |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
x |
|
|
|
|
|
|
x |
|
|
|
|
x |
|
|||||||||||||||||||||||||||
x→0 |
|
|
|
|
|
|
x→0 |
|
|
|
|
|
|
|
|
|
|
x→0 |
|
|
|
|
|
x→0 |
|
|
x |
|
|
||||||||||||
lim |
(1+ x)a −1 |
= a . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
x→0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
§5. Предел монотонной функции |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
Для |
действительной |
|
|
|
функции |
|
y = f (x) |
|
действительного |
аргумента вводят понятия левого и правого пределов функции в точке x0 .
y |
|
|
b1 |
|
|
x0 |
b2 |
x |
Если произвольная последовательность сходится к x0 , |
оставаясь |
меньше x0 , то есть xn → x0 , xn < x0 n N , то предел |
функции |
lim f (x)= b1 называют левым. |
|
xn →x0 |
|
xn <x0 |
f (x)= b2 |
Аналогично определяется правый предел функции lim |
|
xn →x0 |
|
xn >x0 |
|
119 |
|
(см. рис.). Левый и правый пределы называют односторонними и обозначают
lim |
f (x)= f (x0 |
−0), lim f (x)= f (x0 + 0). |
x→x0 −0 |
|
x→x0 +0 |
Рассматривают правый и левый пределы в бесконечно удаленной точке |
|||
lim |
f (x) и lim f (x). Очевидно, левый |
и правый |
пределы могут |
x→+∞ |
x→−∞ |
|
|
совпадать. |
|
|
|
|
Теорема 1. Если предел функции f (x) |
в точке x0 |
существует, то |
существуют и равные ему односторонние пределы. |
|
||
|
Доказательство. Пусть xn – произвольная последовательность, |
сходящаяся к x0 . Ее элементы могут быть как меньше, так и больше x0 . Пусть xk−n – подпоследовательность этой последовательности, все элементы которой меньше x0 , а xk+n – подпоследовательность, все элементы которой больше x0 . Любая подпоследовательность сходящейся последовательности xn сходится к тому же пределу, что и xn (см. §6 гл. 2). А так как, согласно определению предела функции по
Гейне, он не зависит от выбора сходящейся последовательности, то теорема доказана.
Справедливо и обратное утверждение. Если односторонние пределы существуют и равны между собой, то существует и равный им предел (без доказательства).
Функция f (x) называется монотонно возрастающей в области
определения |
E , если |
x1, x2 E |
и таких, |
что x1 < x2 , |
выполняется |
|
неравенство f (x1 )≤ f |
(x2 ). |
|
|
|
|
|
Если |
f (x1 ) ≥ f |
(x2 ), |
то |
функция |
монотонно |
убывающая. |
Монотонно убывающие и монотонно возрастающие функции называются монотонными. Если неравенства строгие, то строго монотонными.
Теорема 2. Если |
функция |
f |
(x) |
определена |
и |
монотонно |
|||
возрастает на интервале (a,b) = E , |
то в каждой точке x0 этого |
||||||||
интервала она имеет односторонние пределы, причем |
|
|
|||||||
lim |
f (x) |
= sup f , |
lim |
f (x) |
= inf f . |
|
|||
x→x0 |
−0 |
|
(a,x ) |
x→x0 +0 |
(x ,b) |
|
|||
Доказательство. |
Пусть |
′ |
0 |
|
|
0 |
|
такая, что |
|
x |
– |
произвольная точка |
|||||||
a < x′ < x0 , а x′′ – произвольная точка такая, что x0 |
< x'' |
< b (см. рис.). |
120