15). Число е

Число (Ейлер)

ТЕОРЕМА

Существует

= 2,781281828459045…

ЛЕММА

Последовательность - убывающая

ДОК-ВО:

= = = =

(По неравенству Бернулли если ) > === 1

Т.е. , т.е. она убывает. Ч.Т.Д.

СЛЕДСТВИЕ

ДОК-ВО

- убывает. , значит она ограничена снизу, она убывает она ограничена.

- сходится. Ч.Т .Д.

ДОК-ВО теоремы

= = (первый множитель сходится по лемме, второй = =

=

По теореме произведения - сходится и её предел равен =

Теорема доказана.

16). Фундаментальные последовательности. Критерий Коши.

ОПРЕДЕЛЕНИЕ

Последовательность называется фундаментальной если

ТЕОРЕМА (Критерий Коши)

Числовая последовательность - сходится тогда и только тогда, когда она фундаментальна.

ДОК-ВО:

() Пусть - сходится, т. е. , т.е. , что

∀ m > N ⇒ |x m - A | <

ε 2

∀ n > N ⇒ |x n - A | <

ε 2

⇒ |x n - x m | = |(x n - A) - (x m - A)| ≤ |(x n - A) + (x m - A)|<

ε 2 + ε 2 = ε

_∀ ε > 0 N ∀ n > N ∀ m > N |x _n - x _m | = C  Т.е. {x _n } - фундаментальна (⇐) Пусть последовательность x _n - фундаментальна, т.е. ∀ ε > 0 ∃ N ₀ = N ₀ ( ε ) ∀ m, n > N ₀ |x _m - x _n | < ε  1) Ограниченность ε :=1; N ₁ =N ₀ (1); ⇒ ∀ m, n > N ₁ |x _m - x _n | < 1 m:=N ₁ + 1 = k ∀ n > N ₁ |x _n - x _k |<1 Т.е. x _{k - 1} < x _n < x _{k + 1}  C:= max {|x _k + 1|, |x _k - 1|, |x ₁ |, |x ₂ |,...|x _N 1 |} Тогда ∀ n ∈ N |x _n | ≤ C т.е.{x _n } - ограничена 2).  a _n = inf { x _n : k ≥ n } b _n = sup { x _n : k ≥ n } x _n - ограничена (ПВГ) ⇒ ∃ b _n ; налогично по принципу нижней грани ∃ a _n  Тогда: а) a _n ≤ a _n + 1  б) b _n ≥ b _n + 1 Т.е.  {a _n } возрастает; {b _n } убывает в) b _n ≥ a _n  г) a _n b _n ∀ n, m I _n = [a _n , b _n ] из(в) ⇒ это отрезок из(а, в) ⇒ I _n ⊃ I _{n + 1}  a_n a_n+1 b_n+1 b_n

Это принцип вложенных отрезков (ПВО) ⇒ ∃ точка А, общая для всех отрезков Т.е. A ∈ I _n ∀ n; т.е. a _n ≤ A ≤ b _n ∀ n

Возьмём N = N 0 (

ε 3

)

Покажем, что ∀ n > N, |x _n - A| < ε 

Имеем: ∀ m, n > N |x m - x n | <		ε 3
x n < x n +	ε 3

Пусть m = N + 1 Если n > N, и k ≥ n ⇒ k > N ⇒

x n -	ε 3	k < x n +	ε 3
⇒ sup {x k : k ≥ n} ≤ x n +				ε 3

b n < x n +

ε 3

ε/3 ε/3

x_m- ε/3 a_n x_n b_n x_n+ ε/3

Аналогично:

A n ≥ x n -

ε 3

Т.е.

I n ⊂ x n -	ε 3	,x n +		ε 3
|x n - A| ≤			ε 3

A ∈ I n ⇒ x n -

ε 3

≤ A < x n +

ε 3

Тогда : |x _n - A| = |x _n - x _m + x _m - A | ≤ |x _m - x _n | + |x _m - A| ≤ 

ε 3

+

ε 3

< ε

Т. е. {x _n } - сходится Ч.Т.Д.