30. Верхний и нижний пределы сходящейся последовательности.

x_N - ограниченная последовательность =>n а_Nх_Nb_N

х_NKх, так как х_NK-подпоследовательность => n ах_Nb =>ахb

х - частичный предел последовательности х_N

Пусть М - множество всех частичных пределов.

Множество М ограничено (аМb) => SupM &  InfM

Верхним пределом посл-ти x_N называют SupMSup{x_N}: пишут Lim x_N

Нижним предел ом посл-ти xn называют InfMnf{x_N}: пишут lim x_N

Cуществование нижнего и верхнего пределов вытекает из определения.

Достижимость:

Теорема: Если х_N ограничена сверху (снизу), то  подпосл-ть х_NK: предел которой равен верхнему (нижнему) пределу х_N.

Доказательство: Пусть х=SupM=верхний предел х_N

 х’М: х-1/к<х’ (следует из того что х - SupМ), т.к. х’М =>  подпоследовательность х_NSх’ => Е>0 (в частности Е=1/к)  s₀: s>s₀ =>

х’-1/к<х_NS<х’+1/к

х -1/к-1/к<х’-1/к<х_NS<х’+1/к<х+1/к (т.к.х-1/к<х’ и х’<х=SupМ)

х-2/к<х_NS<х+1/к

Берем к=1: х-2<х_NS<х+1, т.е  s₀: s>s₀ это неравенство выполняется берем член посл-ти х_NS с номером больше s₀ и нумеруем его х_N1

k=1: х-2/1<х_N1<х+1/1

k=2: х-2/2<х_N2<х+1/2 n₁<n₂

...

k=k: х-2/к<х_NK<х+1/к n_K-1<n_K

При к х_NKх

32. Свойства фундаментальных последовательностей.

Последовательность {а_N} - называется фундаментальной, если Е>0  n₀: n>n₀ и любого рN выполнено неравенство |а_N+р-а_N|<Е. Геометрически это означает что Е>0  n₀, такой что расстояние между любыми двумя членами посл-ти, с большими чем n₀ номерами, меньше Е.

Критерий Коши сходимости посл-ти: Для того, чтобы данная посл-ть сходилась необходимо и достаточно, чтобы она являлась фундаментальной.

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

Необходимость: Пусть Lim x_N=x, тогда Е>0  n₀: n>n₀ |х_N-х|<Е/2. n>n₀, n’>n₀ |х_N-х_N’|=|х_N-х+х-х_N’|<|х_N-х|+|х-х_N’|<Е/2+Е/2<Е

Достаточность: Пусть х_N - фундаментальная

1) Докажем что х_N ограничена: Е₁=1998  n₀: |х_N-х_N’|<Е, n>n₀, n’>n₀

n>n₀ |х_N-х_N0|<Е₁ х _N0-1998<х_N<х _N0+1998 => х_N - ограничена

2) По теореме Больцано-Вейерштрасса

 подпосл-ть х_NKх. Можно выбрать к настолько большим, чтобы |х_NK-х|<Е/2 и одновременно n_к>n₀. Следовательно (из фунд-ти) |х_N-х_NK|<Е/2 =>

|х_NK-х|<Е/2 => х-Е/2<х_NK<х+Е/2 => |х_N-х_NK|<Е/2 => х_NK-Е/2<х_N<х_NK+Е/2 => х-Е<х_N<х+Е => |х_N-х|<Е

33. Критерии Коши сходимости последовательности.

Для сходимости последовательности x_n необходимо и достаточно ее фундаментальность

1 x_n сходятся x_n->a

Vε>0 ЗN n>N |x_n-a|<ε/2 |x_n+p-a|<ε/2

| x_n+p- x_n|=|(x_n+p-a)+(a-x_n)|<=|x_n+p-a|+|x_n-a|<ε

2 x_n фундаментальна => ограничена=> , x (x_N-ε, x_N+ε) конечное число членов последовательности

( , x)⊂ (x_N-ε, x_N+ε) 0<= - x<=2ε = x