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

Математический анализ

.pdf
Скачиваний:
75
Добавлен:
05.06.2015
Размер:
4.32 Mб
Скачать

Так как {αn} и {βn} являются б.м.п. (см. (1.13)), то, согласно теореме 1.1., последо-

вательность {βn-αn} также является б.м.п. То есть lim

(βn − αn ) = lim(a b) = 0 . Но с дру-

n→∞

n→∞

1. ТЕОРИЯ ЧИСЛОВЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ И ФУНКЦИЙ ОДНОЙ ПЕРЕМЕННОЙ

гой стороны a-b является постоянным числом и lim(a b)=a-b. Таким образом получаем,

n→∞

что а-b=0 и a=b, что и требовалось доказать.

Теорема 1.9. Сходящаяся последовательность является ограниченной.

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

Отметим, что обратное утверждение не имеет места. Ограниченная последовательность необязательно является сходящейся. Хорошим примером этому может служить последовательность xn=1+(1-)n, которая ограничена, но не сходится.

Теорема 1.10. Если числовые последовательности {xn} и {yn} сходятся к а и b, то их сумма (разность), произведение и частное (при условии b0) сходятся соответственно к

a+b, a-b,ab, a .

 

 

 

b

 

 

 

Приведем доказательство для суммы(разности).

 

Дано: lim xn =а и

lim yn =b.

(1.14)

n→∞

 

n→∞

 

Доказать: lim

(xn

± yn ) = a ± b .

 

n→∞

 

 

 

Из (1.14), опираясь на необходимом условии сходимости последовательности, имеем:

lim xn =a (xn = a+αn) (αn – б.м.п.),

n→∞

lim yn =b (yn = b+βn) (βn – б.м.п.).

n→∞

Отсюда

xn±yn = a ± b + (αn ± βn), где {αn ± βn} является б.м.п. Тогда, согласно достаточному усло-

вию сходимости последовательности (теорема 1.6), получим, что lim(xn ± yn ) = a ± b .

n→∞

Аналогично можно доказать и остальные части теоремы.

22

1. ТЕОРИЯ ЧИСЛОВЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ И ФУНКЦИЙ ОДНОЙ ПЕРЕМЕННОЙ

1.8. Монотонные числовые последовательности

Определение 1.11. Числовая последовательность {xn} называется монотонной (неубывающей или невозрастающей), если для любого n N справедливо xn+1xn или xn+1xn..

Определение 1.12. Числовая последовательность {xn} называется строго монотонной (убывающей или возрастающей), если для любого n N справедливо xn+1<xn или

xn+1>xn..

Теорема 1.11. (необходимое и достаточное условие сходимости монотонной числовой последовательности).

Неубывающая (невозрастающая) числовая последовательность {xn} сходится тогда и только тогда, когда последовательность {xn} ограничена сверху (снизу).

Необходимость:

Дано: {xn} – неубывающая (невозрастающая).

lim xn =а. (1.15)

n→∞

Доказать: {xn} – ограничена сверху (снизу).

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

Достаточность (для случая неубывающей последовательности).

 

Дано: {xn} – неубывающая,

(1.16)

{xn} – ограничена сверху.

(1.17)

Доказать: lim xn = a .

 

n→∞

 

Рассматриваемая последовательность является ограниченной сверху.

Значит она

имеет точную верхнюю грань. Пусть sup{xn}=а. Докажем, что число а и есть предел этой последовательности.

По определению точной верхней грани имеем:

(a = sup{x n

def ( ε >

0)

 

:

(a -

ε

 

a).

})

(

x n )

 

 

< x n

 

 

R

{x n }

 

 

 

 

 

 

Пусть n0 – номер этого элемента xn*. Из условия (1.16) следует, что при n>n0 x xn*, а из условия (1.17) следует, что xn a. То есть имеем, что при n>n0 a-ε< xn* xn a или |xn-a|<ε. Другими словами, все члены последовательности с номерами, большими n0 могут быть только “ближе” к точке а, оставаясь “слева” от нее или совпадать с ней.

Итак получаем, что

( ε > 0)

 

 

( n):

 

 

 

 

 

def

 

 

( n

0

)

 

(n n

0

 

xn a

 

< ε)lim xn

= a

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R N N

 

 

 

 

 

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x*

0 −ε

 

 

 

 

 

 

 

 

 

 

n

 

 

Аналогично доказывается теорема для случая невозрастающей последовательно-

сти.

23

1. ТЕОРИЯ ЧИСЛОВЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ И ФУНКЦИЙ ОДНОЙ ПЕРЕМЕННОЙ

1.9. Число е

Рассмотрим применение теоремы 1.11 для обоснования результата, который имеет

 

 

1

n

в математике фундаментальное значение. Докажем, что последовательность xn= 1

+

 

 

 

 

 

n

имеет предел при n→∞ (этот предел называется числом е2,7). Доказательство этого утверждения сводится к доказательству двух фактов:

а) последовательность

 

 

 

 

 

 

1

n

является возрастающей.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 +

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б) последовательность

 

 

 

 

 

 

1

 

n

ограниченна сверху.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 +

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для доказательства утверждения а)

 

разложим

 

 

 

 

+

1

n

 

по известной формуле би-

 

 

1

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

нома Ньютона. Имеем:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

n

n 1

1

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(

 

 

 

 

 

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xn = 1

+

 

 

 

 

 

=1

+ n

 

 

 

 

 

 

 

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

n

 

 

 

 

2!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1.18)

 

n

(

)(

 

 

 

 

) 1

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(

n

 

)(

n

 

 

)

 

 

1

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

 

n 1 n 2

 

 

 

 

 

 

 

+...+

 

n

1

 

2

...1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n !

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

или

 

 

 

n(n 1)

 

 

1

 

 

 

 

n(n 1)(n 2)

 

 

 

1

 

 

 

 

 

 

 

n(n 1)...[n (n 1)]

 

 

1

 

 

 

 

x n

 

= 2 +

 

 

 

 

 

+

 

 

+

... +

 

 

=

 

 

 

 

 

 

 

 

 

 

2!

 

 

 

 

 

 

 

 

 

 

3!

 

 

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

n n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n n n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n n n ... n

 

 

 

 

 

 

 

 

 

 

 

 

 

1

1

 

 

 

 

 

 

 

 

 

 

1

 

 

 

2

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

2

 

 

 

 

n 1

 

1

 

 

= 2 +1 1

 

 

 

 

 

 

 

 

+

1 1

 

 

 

 

 

1

 

 

 

 

 

 

 

+... +1 1

 

1

 

 

... 1

 

 

 

 

 

 

 

 

 

.

 

n

 

2!

 

 

 

 

 

n

3!

n

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

n!

 

Заметим, что последняя сумма содержит n положительных слагаемых. Запишем

следующий n+1 член рассматриваемой последовательности:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

2

 

 

1

 

+...

x n+1

= 2 +1 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

1 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

... +1 1

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

n +1

2!

 

n +1

3!

 

n +1

n +

 

3!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

(1.19)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

... +1 1

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

... 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n +1

 

n

 

+1

 

n

 

 

 

 

 

(n +1)!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Сумма (1.19) содержит n+1 положительный член. Каждый член в сумме (1.19), на-

чиная со второго, больше соответствующего члена в сумме (1.18), так как 1- nk <1- n k+1

для любого k [1;n]. Отсюда следует, что xn+1>xn. Итак утверждение а) о том, что последо-

 

 

1

n

вательность xn= 1

+

 

 

возрастающая, доказано.

 

 

 

n

 

24

1. ТЕОРИЯ ЧИСЛОВЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ И ФУНКЦИЙ ОДНОЙ ПЕРЕМЕННОЙ

Для доказательства утверждения б) воспользуемся очевидным неравенством:

 

 

 

 

 

 

 

 

 

 

 

1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

2

 

1

 

 

 

 

 

 

 

 

 

 

1

 

2

 

3

 

 

x n

= 2 +1

1

 

 

 

 

 

 

+

1 1

 

 

 

1

 

 

 

 

 

 

+... +1 1

 

 

1

 

 

1

 

...

 

 

n

2!

 

n

n

3!

 

n

 

n

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1.20)

 

 

 

n 1

1

 

 

 

 

 

 

 

 

1

 

 

 

1

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

1

 

1

 

 

 

1

 

 

 

 

 

1

 

 

 

 

 

 

 

 

<

 

 

+

 

 

 

+

 

+...

 

+

 

< 2

+

 

+

 

+

 

+... +

 

 

 

 

 

 

 

... 1

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

n

 

 

 

 

 

2!

3!

 

n!

 

2

22

 

2

3

 

2n1

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В (1.20) сумму членов, начиная со второго, вычислим по формуле убывающей гео-

метрической прогрессии. Имеем:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 +

1

 

 

 

 

 

 

 

 

1

 

 

 

 

1

 

1

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

2n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+... +

 

 

 

=

 

 

2

 

 

 

 

 

 

=1

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

22

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Итак, имеем:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x < 2 +1

 

1

 

 

 

=

3

 

 

 

 

1

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2n 1

 

 

 

2n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следовательно

последовательность

 

xn= 1

+

 

 

 

 

 

ограничена

сверху (одна из ее

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

верхних граний есть число 3).

Таким образом, утверждения а) и б) доказаны и на основании теоремы 1.11 число-

 

 

 

 

 

 

1 n

вая последовательность xn= 1

+

 

 

имеет предел, т.е.

 

 

 

 

 

 

 

n

 

 

+

1

n

 

 

 

 

lim 1

 

 

= e.

 

 

 

 

n

 

 

 

 

n→∞

 

 

 

 

 

 

 

1.10. Предельный переход в неравенствах

Теорема 1.12. Если, начиная с некоторого номера n*, все члены последовательности {xn} удовлетворяют неравенству xn 0 (xn 0), и последовательность {xn} сходится к а, то а 0 (а0).

Теорема 1.13. Если начиная с некоторого номера n*, члены последовательностей

{xn} и {yn} связаны неравенством xn yn, и lim xn =a,

lim yn =b, то ab.

n→∞

n→∞

Теорема 1.14. Если, начиная с некоторого номера, члены последовательностей

{xn}, {yn}, {zn} удовлетворяют неравенствам xnynzn, и lim xn = lim zn =a, то тогда

n→∞ n→∞

lim yn =а.

n→∞

Приведем доказательство этой теоремы.

 

Дано: n n* xn yn zn,

(1.21)

lim xn

= lim zn =a.

(1.22)

n→∞

n→∞

 

25

1. ТЕОРИЯ ЧИСЛОВЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ И ФУНКЦИЙ ОДНОЙ ПЕРЕМЕННОЙ

Доказать: lim yn =а.

n→∞

Из условия (1.22) следует, что

( ε > 0)( n' (ε)): ( n)(n n' (ε) xn a < ε)

R N N

и

( ε > 0)( n'' (ε)): ( n)(n n'' (ε) zn a < ε).

R N N

Но в силу условия (1.21) начиная с номера N0=max{n′, n′′, n*}, т.е. при n N будет

иметь место и неравенство |yn – a|<ε. А это и означает, что lim yn =а.

n→∞

Доказательства теорем 1.13 и 1.14 оставляем читателю.

1.11. Подпоследовательности числовых последовательностей

Пусть имеем числовую последовательность {xn}=x1, х2, х3,...,хn,... Рассмотрим последовательность возрастающих натуральных чисел n1, n2,...,nk,... и соответствующие им

члены последовательности {xn} xn1 , xn2 , ..., xn k ,... = x1, x2,...,xk,...={xk}. (1.23)

Определение 1.13. Полученная описанным выше образом числовая последовательность (1.23) называется подпоследовательностью последовательности {xn}.

Ниже сформулируем основные свойства подпоследовательностей числовой после-

довательности.

 

 

 

 

n k }

 

1.

Если

lim x

n

=а и

x

является подпоследовательностью последовательности

 

 

n→∞

 

{

 

{xn}, то

lim xn k

=а.

 

 

 

 

 

n k →∞

 

 

 

 

 

 

2.

Если последовательность {xn} ББП, то любая ее подпоследовательность {xn k }

также ББП.

3.Если последовательность {xn} сходится к а, то из нее можно выделить подпоследовательность {xn k } монотонно сходящуюся к а.

4.Из любой ограниченной последовательности можно выделить сходящуюся подпоследовательность.

Свойство 4 известно как теорема Больцано-Вейерштрасса.

1.12. Функция одной переменной

Определение 1.14. Пусть даны два подмножества {x} и {y} множества вещественных чисел R. Если каждому x {x} по определенному правилу, или закону ставится в соответствие один элемент y {y}, то у называется функцией аргумента х. Множество {x} называется областью определения D(y), а множество {y} – областью значений Е(у) функции у.

Известна символическая запись этого факта: у=f(x) или y=y(x).

Аргумент х называют независимой, а у – зависимой переменной, а соответствие между ними функциональной зависимостью.

Частым значением функции y=f(x) при х=а, называется значение у, соответствующее данному значению х. Оно обозначается как у(а), или f(a), или y|x=a.

26

1. ТЕОРИЯ ЧИСЛОВЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ И ФУНКЦИЙ ОДНОЙ ПЕРЕМЕННОЙ

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

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

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

y=ex, x R; y=lnx, x>0. (1.24)

Пример 2. Функция Дирехле задается следующим образом:

1приx Q,

D(x) = (рациональное число) (1.25)

0 приx Q.

Пример 3. Знаковая функция (signum) от х имеет вид:

1

при x >0,

 

 

при х= 0,

(1.26)

sgnx = 0

 

 

 

-1 при x <0.

 

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

Наглядным представлением функциональной зависимости являются график функции в той или иной системе координат.

Определение 1.15. Графиком функции у=f(x) в выбранной системе координат называется множество точек с координатами (x,f(x)). Читатель хорошо знаком с графиком различных, изучаемых в школе, функций. Ниже приведем еще график упомянутой выше функции 1.26 (y=sgn x).

Рис. 1.8.

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

Пусть y=y(x) с областью определения {x}, а переменная х, в свою очередь, есть функция аргумента t, т.е. х=х(t) с областью определения {t}. В этом случае говорят о сложной функции y=y(x(t)). Областью определения этой функции являются те элементы множества {t} при которых x(t) {x}.

27

1. ТЕОРИЯ ЧИСЛОВЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ И ФУНКЦИЙ ОДНОЙ ПЕРЕМЕННОЙ

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

Пусть у=у(х) с областью определения {x} и областью значений {y}. Если каждому значению y {y} соответствует только одно значение x {x}, то можно говорить об обратной функции х=х(у) с областью определения {y} и областью значений {x}.

1.13. Предел функции

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

Наиболее часто упоминаются два подхода к определению этого понятия, которое связывают с именами двух математиков Гейне и Коши.

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

Число b называется пределом функции y=f(x) (область определения {x}) в точке a {x} (при х, стремящемся к а), если для любой последовательности {xn} (xn {x}), сходящейся к а, соответствующая последовательность {f(xn)} сходится к b. В символической

форме это определение можно записать в виде:

 

n

{ n }

)

 

(xa

)

def

(

n )( n

n ) n

(

 

 

lim f(x) = b

 

{x

} x

{x } (x

a):

{x

 

}a f(x )

b .

(1.27)

Приведенное определение в некоторых случаях позволяет доказать отсутствие предела функции.

Пример 1. Докажем, что функция y = sin 1x при х0 не имеет предела.

Рассмотрим две последовательности x(n1) =

 

1

и x(n2) =

1

 

, элементы кото-

π

+2πn

2πn

 

 

 

 

 

2

 

 

 

1

 

рых принадлежат области определения рассматриваемой функции

sin

. Хотя обе эти

x

 

 

 

 

 

 

 

последовательности стремятся к нулю при n→∞, т.е. б.м.п., соответствующие последова-

 

 

 

 

 

π

 

 

 

 

 

 

1

 

 

тельности

sin

 

 

= sin

2

+2πn

 

и

sin

 

 

 

(1)

 

 

 

 

 

 

 

 

xn

 

 

 

 

 

 

лам. А именно:

 

 

 

 

π

 

=1 и

lim sin 2πn = 0 .

lim sin

+2πn

n→∞

2

 

 

n→∞

Таким образом, получим, что

1( ) = {sin 2πn} стремятся к разным преде- x 2

n

 

 

{xn(1)}0,

 

sin

 

 

 

 

 

 

{xn(2)}0,

 

sin

 

 

 

 

1

x(n1)

1

x(n2)

1,

0 .

28

lim cosx
xx0

1. ТЕОРИЯ ЧИСЛОВЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ И ФУНКЦИЙ ОДНОЙ ПЕРЕМЕННОЙ

Отсюда на основании определения 1.16 следует, что рассматриваемая функция sin 1x не имеет предела при x0.

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

Число b называется пределом функции y=f(x) при ха, если для любого положительного вещественного числа ε (сколь угодно малого) существует такое положительное вещественное число δ, зависящего от ε, что из неравенства 0<|x-a|<δ следует неравенство |f(x)- b|<ε.

В символической форме определение 1.17 записывается в виде:

(lim f (x)= b)def( ε >

0)( δ(ε ) > 0)( x): (0 <

 

x a

 

< δ(ε )

 

f (x)b

 

< ε)

.

(1.28)

 

 

 

 

xa

R

R {x}

 

 

 

Условие 0<|x-a|<δ(ε) означает, что точка х принадлежит δ(ε) окрестности точки а и ха, а условие |f(x)-b|<ε означает, что значение функции принадлежит ε окрестности точки b (или значение “отличается от b” менее, чем на b). Поэтому определение 1.17 можно сформулировать и так:

Число b называется пределом f(x) при ха, если, каково бы ни было вещественное число ε>0, существует вещественное число δ>0, зависящее от ε, такое, что для всех х из δ(ε) окрестности точки а, соответствующие значения функции принадлежат ε окрестности точки b.

Воспользуемся определением 1.17 для доказательства следующего утверждения

lim cos x = cos x0

xx0

Очевидно, что

|cos x – cos x0|<ε 2sin x +2x0 sin x0 2x < ε.

Для решения последнего неравенства воспользуемся очевидным неравенствами |sin α|1 и |sin α|<|α| и свойством транзитивности неравенств. Имеем

|cos x – cos x0|<2 1 x0 2x < ε .

То есть, если удовлетворяется неравенство |x0 – x|<ε, то удовлетворяется и неравенство |cos x – cos x0|<ε. Итак, мы убедились в существовании такого числа δ(ε) (в данном случае δ(ε)=ε), что из |x0-x|<δ(ε)=ε |cos x- cos x0|<ε. А это, на основании определения 1.17 означает, что = cosx0 .

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

29

1. ТЕОРИЯ ЧИСЛОВЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ И ФУНКЦИЙ ОДНОЙ ПЕРЕМЕННОЙ

Теорема 1.15. Определения предела функции 1.16 (по Гейне) и 1.17 (по Коши) эквивалентны.

Заметим далее, что существуют понятия пределов функции y=f(x) при х стремятся к а справа (правосторонний предел) и при х стремящемся к а слева (левосторонний предел). Эти односторонние пределы обозначаются так:

lim f(x) или f(a+0) – правосторонний предел,

xa +0

lim f(x) или f(a-0) – левосторонний предел.

xa 0

Теорема 1.16. Предел функции y=f(x) при ха равен b тогда и только тогда, если

существует пределы этой функции справа и слева при ха и равны b.

 

В символической форме теорема 1.16 записывается так:

 

(limxa f(x) = b) (xlima +0 f(x) = b) (xlima 0 f(x) = b).

(1.29)

Ниже приведем определение предела функции y=f(x) при х→∞ в символической

форме.

 

 

 

 

 

 

 

 

 

 

 

Определение 1.19.

 

 

 

 

 

 

 

 

 

 

(lim f (x)= b)def( ε > 0)( B(ε)> 0): (

 

x

 

> B(ε)

 

f (x)b

 

< ε).

(1.30)

 

 

 

 

x→∞

R

R

 

 

В частных случаях, когда х+и х-, имеем:

Определение 1.20.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(lim f (x)= b)def( ε > 0)( B(ε)> 0): (

 

 

 

x

 

 

 

> B(ε)

 

f (x)b

 

< ε).

(1.31)

 

 

 

 

 

 

x→+∞

R

R

 

 

Определение 1.21.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(lim f (x)= b)def( ε > 0)( B(ε)> 0): (

 

x

 

< −B(ε)

 

f (x)b

 

< ε).

(1.32)

 

 

 

 

x→−∞

R

R

 

 

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

Определение 1.22. Функция y=f(x) называется бесконечно большой функцией (ББФ) при ха, если для любого вещественного числа В>0 (сколь бы большим оно ни было) существует вещественное число δ>0, зависящее от В такое, что если 0<|x-a|<δ, то выполняется |f(x)|>B.

Это определение (по Коши) в символической форме имеет вид:

(lim f (x)= ∞)def

( B > 0)( δ(B)> 0): (0 <

 

x - a

 

< δ

 

f (x)

 

> B).

(1.33)

 

 

 

 

xa

R

R

 

 

Определение этого же понятия на языке последовательностей (по Гейне) имеет

вид:

(lim f (x)= ∞)def

( {x n }a): ({f (x n )}з.з.п.).

(1.34)

xa

x {x}

 

 

30

1. ТЕОРИЯ ЧИСЛОВЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ И ФУНКЦИЙ ОДНОЙ ПЕРЕМЕННОЙ

Теорема 1.17. Если функции f(x) и ϕ(x) являются ББФ при ха и имеют один знак в некоторой окрестности точки а, то их сумма f(x)+ϕ(x) также является ББФ.

Определение 1.23. Функция α(х) называется бесконечно малой функцией (б.м.ф.)

при ха (при х→∞), если lim α(x) = 0 ( limα(x) = 0 ).

 

xa

x→∞

 

Эти определения в символической форме имеют вид:

 

(α(x)- бм.ф. прих а)def( ε > 0)( δ(ε)> 0): (0 <

 

x a

 

< δ(ε)

 

α(x)

 

< ε),

 

 

 

 

 

 

 

 

 

 

 

R

R

 

(α(x)- бм.ф. прих → ∞)def( ε > 0)( β(ε)> 0): (

 

x

 

> β(ε)

 

α(x)

 

< ε).

(1.35)

 

 

 

 

 

 

 

 

R

R

 

Бесконечно большие и бесконечно малые функции обладают свойствами, аналогичными свойствам бесконечно больших и бесконечно малых числовых последовательностей. Относительно этих свойств справедливы следующие теоремы.

Теорема 1.19. Если α(х) является б.м.ф. при ха (х→∞) и α(х)0 в окрестности точки а, то функция α1(x) является Б.Б.Ф. при ха (х→∞).

Теорема 1.20. Если f(x) является Б.Б.Ф. при ха (х→∞), то функция α1(x) является б.м.ф. при ха (х→∞).

Теорема 1.21. Если α(х) и β(х) являются б.м.ф. при ха (х→∞), то функции α(х) ± β(х) также являются б.м.ф.

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

Теорема 1.22. Функция f(x) имеет предел b при ха (х→∞) тогда и только тогда, когда f(x)=b+α(x), где α(х) является б.м.ф. при ха (х→∞).

Теорема 1.22. В символической форме записывается так:

 

 

 

 

 

 

 

α(x)- δ.м.ф.

limxa

f (x)= b

(f (x)= b + α(x))

 

 

 

xa

x→∞

 

x→∞

.

31