Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Matan / Лекц1-4A.ppt
Скачиваний:
28
Добавлен:
20.04.2015
Размер:
316.93 Кб
Скачать

Лекция 3.

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

Существование предела у ограниченной монотонной последовательности (свойство Вейерштрасса).

Число е.

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

ТЕОРЕМА 1.

Пусть

lim x

n

a,

x

n

0

n.

Тогда а 0.

 

 

n

 

 

 

 

 

 

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

 

 

 

 

 

 

 

Предположим противное: а < 0.

 

Uε(a)

хn

 

 

 

 

 

 

 

 

 

а 0

Так как а – предел числовой последовательности, то вне любой окрестности этого числа может содержаться лишь конечное число элементов последовательности. Выберем так, чтобы U (a) (– ,0). Но, по условию теоремы, все элементы последовательности лежат на положительной полуоси, т.е. вне U (a) находится бесконечно много ее элементов, что противоречит определению предела. Следовательно наше предположение

неверно и а 0.

СЛЕДСТВИЕ.

 

 

 

 

 

 

Если

lim x

n

a,

x

n

0

n, то а 0.

 

n

 

 

 

 

ТЕОРЕМА 2.

 

Пусть lim xn a,

a 0.

n

 

Тогда найдется такое натуральное число N , что xn > 0 для всех n N.

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

Возьмем = а/2. Тогда, согласно определению предела, найдется такое N( ), что для всех n N( ) будет выполнено неравенство

хn а < а/2 а/2 < хn < 3а/2,

т.е. xn > 0 для всех n N. хn, n N

0

а/2 а

3а/2

ТЕОРЕМА 3. (О «двух милиционерах»)

Пусть числовые последовательности {хn}, {уn},{zn} таковы, что

1) хn уn zn n N0 ;

2)

lim xn lim

zn a.

 

 

 

n

n

 

 

 

Тогда {уn} сходится и

lim y

n

a.

 

 

 

n

 

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

Возьмем > 0.

lim xn а 1( ) : n 1( ) xn U (a).

n

lim zn а 2( ) : n 2( ) zn U (a).

n

Возьмем N( ) = max{ N0, N1( ), N2( )}.

 

Тогда уn U (a) для n N( ).

хn уn zn , n

Т.е. {уn} сходится и

N

lim yn a.

а – ε

а

а + ε

n

 

 

 

ТЕОРЕМА 4.

 

 

 

 

Если

lim x

n

a,

lim y

n

b и хn уn n, то а b.

 

n

 

n

 

 

 

 

 

 

 

 

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

По теореме о пределе разности

хn уn а – b и хn уn 0,

тогда по теореме о сохранении пределом знака членов последовательности a b 0, т.е. a b.

Определение монотонной числовой последовательности и точной грани

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

ОПРЕДЕЛЕНИЕ.

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

ПРИМЕР.

{1/n}– убывающая, {n}– возрастающая, {sinn} – не является монотонной.

ОПРЕДЕЛЕНИЕ.

Число а называется точной верхней (нижней) гранью числовой последовательности {xn}, если

xn а (xn а) n ;

 

 

 

> 0 N( ): xN > a – (xN < a + ).

xN

 

a

 

a

 

 

К известным из школы свойствам вещественных чисел добавим еще одно важное ВСвойство Вейерштрасса .

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

причем, если а lim xn.

n

то

lim xn sup{xn}

( lim xn inf{xn}).

 

n

 

n

 

Бином Ньютона

Сnk

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k!(n

k)!

 

 

 

 

 

 

 

 

1 2 3 ... n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1 2 3 ... k) (1 2 3 ... (n k))

 

 

 

 

 

 

 

 

 

 

 

 

n (n 1)...(n k 1) .

 

 

 

 

 

 

Сn2

n (n 1)

 

 

k!

 

Сn0

1,

С1n n,

,

 

 

 

 

2

 

 

 

..................................................................

Сnn 2

n (n 1)...(n (n 3)) ,

 

 

 

 

 

 

 

 

 

(n 2)!

 

 

 

 

 

 

 

 

 

 

Сnn 1 n (n 1)...(n (n 2))

,

 

 

 

 

 

 

 

(n 1)!

 

 

 

 

 

 

 

 

 

 

 

 

 

Сnn n (n 1)...(n

(n 1))

 

 

 

 

 

 

 

 

 

 

 

n!

 

Число е.

 

1

 

n

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

 

 

xn 1

 

.

 

 

n

 

окажем, что эта последовательность сходится. Для этого достаточно доказать что она:

возрастает;

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

Воспользуемся формулой бинома Ньютона при a 1,

b 1

:

 

1 n

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

1 1

2 1

k

1

 

1

 

 

 

xn 1

 

1

Cn

 

Cn

 

... Cn

 

...

 

 

,

 

 

n

n2

nk

 

nn

 

 

 

n

 

 

 

 

 

 

 

 

 

где

 

 

Cnk n(n 1)(n 2)...(n (k 1)) ,

k 1,2,..., n

 

 

 

 

 

 

 

 

k!

 

 

 

 

 

 

 

xn 1 n 1

n (n 1) 12

 

...

 

n (n

1)...(n (k 1))

1

...

 

 

 

 

 

 

 

 

n

 

 

 

 

2!

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

k!

 

 

nk

 

 

 

 

 

 

 

 

 

n (n 1)...(n (n 1))

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

nn

 

 

 

 

 

 

 

 

 

1

 

 

 

1

 

 

 

 

1

 

 

 

 

 

 

 

1

 

 

2

 

 

 

 

 

k 1

 

 

 

2

 

 

 

 

1

 

 

 

 

...

 

 

 

 

1

 

 

1

 

 

 

... 1

 

 

 

 

...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2!

 

 

n

 

 

 

 

 

k!

 

 

 

 

 

 

 

n

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

1

 

 

 

 

2

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

1

 

 

 

... 1

 

 

 

;

(1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n!

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

1

 

 

 

 

 

1

 

 

 

 

 

 

 

1

 

 

 

 

2

 

 

 

x

n 1

2

 

 

 

1

 

 

 

 

 

 

...

 

 

 

 

1

 

 

 

 

 

1

 

 

 

... 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2!

 

 

n 1

 

 

 

 

k!

 

 

 

 

 

n 1

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

1

 

 

 

 

 

2

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

1

 

 

 

 

 

... 1

 

 

 

 

.

 

(2)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(n

1)!

 

 

 

 

n 1

 

 

 

 

n 1

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k 1 ...

n 1

Все слагаемые в суммах (1) и (2) положительны, причем каждое слагаемое суммы (1) меньше соответствующего слагаемого суммы (2), так как

 

s

 

s

 

 

1

 

 

1

 

 

,

s 1,2,..., n 1.

 

n 1

 

n

 

 

 

Соседние файлы в папке Matan