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

UML_4256

.pdf
Скачиваний:
21
Добавлен:
01.06.2015
Размер:
6.64 Mб
Скачать

§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 .

 

 

 

 

xx0

 

 

 

 

 

 

 

 

 

 

 

Заметим, что предельная точка x0 может не

принадлежать

множеству

E , то есть области

 

определения

функции

f (x). Если

x0 E , то y0

может не совпадать со значением функции

f (x) в точке

x0 , то есть y0

f (x0 ).

 

 

 

 

 

 

 

 

Пример 1. Найти lim

x3 + 2x

. Здесь функция y = f (x)=

x3 + 2x

 

 

 

 

x1 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

x1

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

 

 

x0

 

 

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 },

 

z0

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

 

 

z0

 

z

zn

0

 

zn 0

 

 

 

 

 

 

 

n→∞

1

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

+

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Re z

 

 

 

 

Re z'

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

1in

lim

 

 

 

 

= lim

 

n

 

= lim

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= lim

 

 

 

 

 

= lim

 

 

z

 

z'

 

 

 

 

 

1

 

 

 

i

 

 

 

 

 

 

1+ n2

z0

 

zn' 0

 

zn' 0

n

2

+

 

n→∞1+in

 

zn0

 

 

 

 

 

 

 

 

 

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).

Этим

пользуются

 

при

 

 

раскрытии

xx0

x

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

неопределенности.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 5. Найти

= lim (x 1)(x +5) = lim(x + 5)= lim (x

 

 

lim

x2 + 4x 5

=

0

+ 5)= 6.

 

 

x1

x 1

0

x1

(x 1)

 

x1

 

 

 

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 ,

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0 = 0 E – предельная точка.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ρy (y0 , f (x)) =

 

f (x)y0

 

, ρx (x, x0 )=

 

x x0

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Допустим, что предел существует и равен y0 =1. Тогда

 

f (x)y

 

=

 

cos x 1

 

=1cos 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.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема. Определения предела по Гейне и

 

 

 

 

 

 

 

Коши эквивалентны.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Пусть условия определения Коши выполняются,

то есть из

 

 

 

 

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 ,

 

 

 

 

 

 

 

 

 

xx0

(

 

 

 

 

 

x

x0

 

 

 

 

 

 

 

 

 

 

 

 

1)

xx

f (x)± g (x)

)

= a ±b ;

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2)

x1 (

f (x)g (x)

= ab ;

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

 

 

 

 

3)

lim

f (x)

 

=

a

, если b 0.

 

 

 

 

 

 

 

 

 

g (x)

 

 

 

 

 

 

 

 

 

 

 

xx0

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Согласно определению предела функции по

Гейне,

lim f (x)= lim f

(xn )

, то есть предел функции

f (x) сводится к

 

xx0

 

 

xn x0

 

 

 

 

 

f (xn ). Поэтому

 

 

 

 

 

пределу последовательности

 

доказательство этой

теоремы следует из соответствующей теоремы для комплексных

последовательностей (см. теорему 1 §2 гл. 2). Теорема доказана.

Функция

f (x) называется бесконечно малой в точке

x0 , если

lim f (x)= 0 .

Функция f (x) называется ограниченной в

области

xx0

 

 

определения 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), то существует и предел сложной

 

xx0

 

(

f (x)

)

 

yy0

xx

(

f (x)

)

yy

 

функции

 

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.

 

x0

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

 

 

 

 

 

t0

 

 

 

 

 

 

 

 

 

 

 

 

3 t0

 

t0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

117

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= −

1

 

 

 

 

 

 

 

 

 

 

π

t

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin lim

 

 

 

= −

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

6

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Воспользовались формулой

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cosα cos β = −2sin α β sin α + β ,

 

 

 

 

 

теоремой 3 §3 и равенством

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim f (x)= f (lim x),

 

 

 

 

 

 

 

 

 

 

которое докажем позже.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

tgx

 

 

 

 

 

 

arcsin x

 

 

 

 

 

Упражнение.

 

 

 

 

 

 

Доказать,

 

 

что

 

lim

 

=1,

 

lim

=1,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

arctgx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

x

 

 

 

x0

x

 

lim

 

 

=1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

 

 

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 = −1t

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x→−∞

 

 

 

 

 

 

x→−∞

 

 

 

 

 

 

 

 

 

 

t → +∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

118

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

1t

 

1+t 1+t

 

 

 

 

 

 

1+t t

 

 

1+t

= e.

 

 

 

 

 

 

= lim

 

 

 

= lim

 

 

 

 

 

= lim

 

 

 

lim

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

t

 

 

 

 

 

 

 

t→+∞

1t

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

 

t0

 

 

 

 

 

t

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

= e

 

 

Упражнение.

 

 

 

 

Доказать,

 

 

что

 

 

 

lim 1+

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

x

 

loga (1+ x)

 

 

 

 

 

 

ln (1+ x)

 

 

 

 

 

 

 

 

 

 

 

 

x0

 

 

 

 

 

lim

= loga e,

lim

=1,

lim

ax 1

 

= ln a ,

lim

ex 1

=1

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

x

 

 

 

 

x

 

x0

 

 

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

x0

 

 

 

 

 

x0

 

 

x

 

 

lim

(1+ x)a 1

= a .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

§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).

xx0 0

 

xx0 +0

Рассматривают правый и левый пределы в бесконечно удаленной точке

lim

f (x) и lim f (x). Очевидно, левый

и правый

пределы могут

x→+∞

x→−∞

 

 

совпадать.

 

 

 

Теорема 1. Если предел функции f (x)

в точке x0

существует, то

существуют и равные ему односторонние пределы.

 

 

Доказательство. Пусть xn – произвольная последовательность,

сходящаяся к x0 . Ее элементы могут быть как меньше, так и больше x0 . Пусть xkn – подпоследовательность этой последовательности, все элементы которой меньше 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 .

 

xx0

0

 

(a,x )

xx0 +0

(x ,b)

 

Доказательство.

Пусть

0

 

 

0

 

такая, что

x

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

a < x′ < x0 , а x′′ – произвольная точка такая, что x0

< x''

< b (см. рис.).

120

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]