Множества. Правила и действия над множествами
Скачать 185.66 Kb.
|
Теоремы о предельных переходах в неравенствах.Лемма об отделимости: UE (a) – эпсилон окрестность точки а, вокруг точки а есть окрестность с радиусом E Пусть а, b ∈ R, a! =b, тогда ∃ UE (a) и UE (b), которые при пересечении дают пустое множество. Возьмем Е=(b – a)/2, тогда xn: a – E < xn < a + E ⇒ xn xn: b – E < xn < b + E ⇒ xn ⇒ ∀ E>0 ∃ N1 ∀ n>N1: xn < (a + b)/2 ∀ E>0 ∃ N2 ∀ n>N2: yn < (a + b)/2 тогда, соприкасаясь xn ∈ ∃ UE (a), yn ∈ ∃ UE (b) ⇒ UE (a) < UE (b) ⇒ UE (a) ⋂ UE (b) = ∅ ЧТД Теорема 1 Если xn →a, yn →b, то начиная с некоторого номера n xn⩽yn ⇒ a ⩽ b Доказательство от противного: пусть a> b, тогда по выше доказанной лемме найдутся такие UE (a) и UE (b), что UE (a) > UE (b), тогда начиная с некоторого номера n xn > yn- противоречие условию теоремы, т.к. xn⩽yn ЧТД Теорема 2 Если xn →a, yn →b, a<b, то начиная с некоторого номера n xn<yn (доказательство аналогично 1) Теорема 3 О сжимающихся последовательностях (теорема о двух милиционерах): если xn →a, yn →b и начиная с некоторого номера n xn⩽zn ⩽yn, тогда zn→a Доказательство: xn→a: ∀ E>0 ∃ N1 ∀ n⩾N1: | xn – a|<E; a – E < xn < a + E yn→a: ∀ E>0 ∃ N2 ∀ n⩾N2: | yn – a| ∀ E>0: ∃ N3 = max { N1; N2}; An⩾ N3: a - E < xn⩽zn ⩽yn< a + E a - E < zn < a + E zn→a ЧТД |