8.Лемма о зажатой последовательности (Лемма о двух милиционерах)

Если $n₀: "n>n₀ x_NЈy_NЈz_N и $ Lim x_N=x, $ Lim z_N=z, причем x=z, то $ Lim y_N=y => x=y=z.

Доказательство: "n>n₀ x_NЈy_NЈz_N

Возьмем произвольно Е>0, тогда $ n’: "n>n’ x_NО(х-Е,х+Е) & $ n”: "n>n” z_NО(х-Е,х+Е) => "n>max{n₀,n’,n”} y_NО(x-E,x+E)

4. Верхние и нижние грани числовых множеств.

Определение: АМR mОR, m - верхняя (нижняя) грань А, если " аОА аЈm (аіm).

Определение: Множество A ограничено сверху (снизу), если существует такое m, что " аОА, выполняется аЈm (аіm).

Определение: SupA=m, если 1) m - верхняя грань A

2) " m’: m’<m => m’ не верхняя грань A

InfA = n, если 1) n - нижняя грань A

2) " n’: n’>n => n’ не нижняя грань A

Определение: SupA=m называется число, такое что: 1) " aОA aЈm

2) "e>0 $ a_EОA, такое, что a_E>a-e

InfA = n называется число, такое что: 1) 1) " aОA aіn

2) "e>0 $ a_EОA, такое, что a_E<a+e

Теорема: Любое, непустое ограниченное сверху множество АМR, имееет точную верхнюю грань, причем единственную.

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

Построим на числовой прямой число m и докажем что это точная верхняя грань А.

[m]=max{[a]:aОA} [[m],[m]+1]ЗA№Ж=>[m]+1 - верхняя грань A

Отрезок [[m],[m]+1] - разбиваем на 10 частей

m₁=max[10*{a-[m]:aОA}]

m₂=max[100*{a-[m],m₁:aОA}]

...

m_к=max[10^K*{a-[m],m₁...m_K-1:aОA}]

[[m],m₁...m_K, [m],m₁...m_{K + 1}/10^K]ЗA№Ж=>[m],m₁...m_K + 1/10^K - верхняя грань A

Докажем, что m=[m],m₁...m_K - точная верхняя грань и что она единственная:

"к: [m’_K,m”_K)ЗA№0; "к "аОА: а<m”_K

Единственность(от противного):

аОА, пусть а>m”_K => $ к: а’_K>m”_K => аіа’_K>m”_K - это противоречит ограниченности => aЈm

Точная верхняя грань:

Пусть l<m, тогда $ к: m’_K>l”_K, но так как "к [m’_K,m”_K) ЗA№0 => $ аО[m’_K,m”_K) => а>l =>l - не верхняя грань.

Теорема: Любое, непустое ограниченное снизу множество АМR, имееет точную нижнюю грань, причем единственную.

Рассмотрим множество B{-а: аОА}, оно ограничено сверху и не пусто => $ -SupB=InfA

6.Бесконечно малые и бесконечно большие последовательности. Их свойства.

Определение: Последовательность а_N называется бесконечно малой (бм) если ее предел равен нулю ("Е>0 $ n₀: n>n₀ |а_N|<Е)

Теорема: Сумма (разность) бм последовательностей является бм последовательностью.

Доказательство: Пусть Lim a_N=Lim b_N=0, c_N=a_N+b_N, d_N=a_N-b_N. Так как вне любой эпсилон-окрестности точки 0 (в частности окрестности Е/2) лежит конечное число членов последовательности a_N, т.е. $ n’: "n>n’: |a_N|<Е/2. Аналогично $ n”: "n>n”: |b_N|<Е/2. При n>max{n’,n”} выполнены оба неравен ства |a_N|<Е/2 & |b_N|<Е/2 => при любом n> max{n’,n”} имеем: |c_N|=|a_N+b_N|Ј|a_N|+|b_N|<E/2 + E/2 = E => |d_N|=|a_N-b_N| Ј |a_N|+|b_N|<E/2 + E/2 = E

Теорема: Произведение бм и ограниченной последовательности - бм последовательность.

Доказательство: Пусть a_N - бм посл-ть, b_N - ограниченная посл-ть z_N=a_N*b_N.

Т.к. b_N - ограниченная посл-ть, значит $ такое с: |b_N|Јс№0

Т.к. a_N - бм посл-ть, значит вне любой Е-окрестности точки 0 (в частности Е/с)лежит конечное число членов посл-ти a_N, т.е. $ n₀: "n>n₀ |a_N|<Е/с.Таким образом "n>n₀: |z_N|=|a_N*b_N|=|a_N|*|b_N|<Е/с * с=Е

Следствие: произведение бм посл-тей - тоже бм посл-ть

Теорема: Пусть a_N - бм. Если $ n’: "n>n’ последовательностьть |b_N|Јa_N => b_N - бм

Доказательство: a_N - бм => $ n”: "n>n”: |a_N|<Е. Для n>=max{n’,n”} |b_N|Ј|a_N|<Е

Определение: Последовательность а_N называется бесконечно большой (бб) если "Е>0 $ n₀: n>n₀ |а_N|>Е)

Теорема: Если a_N - бм, то 1/a_N - бб последовательностьть, обратное тоже верно.

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

"=>" a_N-бм=>вне любой эпсилон-окрестности точки 0 (в частности 1/Е) находится конечное число членов посл-ти, т.е. $n₀: "n>n₀ |a_N|<1/E =>1/|a_N|>Е.

"<=" 1/|a_N| - бб последовательность => "Е>0 $ n₀: "n>n₀ 1/|a_N|>1/Е => |a_N|<Е

Теорема: Пусть a_N - бб. Если $ n’: "n>n’ последовательность b_Nі|a_N| => b_N - бб.

Доказательство: a_N - бб => $ n”: "n>n” |a_N|>Е. Для n>max{n’,n”} b_Nі|a_N|>Е