- •Свойство точной верхней (нижней) грани. Леммы о существовании рационального и иррационального числа между двумя вещественными числами.
- •Система вложенных отрезков. Лемма о системе вложенных отрезков. Лемма о стягивающейся системе вложенных отрезков.
- •Теорема о единственности предела сходящейся последовательности. Теорема об ограниченности сходящейся последовательности.
- •Арифметические операции над последовательностями. Свойства пределов, связанные с арифметическими операциями над последовательностями.
- •Бесконечно малые последовательности и их свойства
- •Монотонные последовательности. Теорема Вейерштрасса( о существовании предела у монотонной последовательности)
- •Определение числа «е»
- •Подпоследовательность. Теорема о пределе подпоследовательности сходящейся последовательности, бесконечно большой последовательности.
- •Теорема Больцано-Вейерштрасса (принцип компактности ограниченной последовательности).
- •Фундаментальная последовательность. Критерий Коши сходимости последовательности.
- •Числовая функция. Суперпозиция функций. Проколотая окрестность точки. Предельная точка множества (точка сгущения множества). Изолированная точка множества (примеры).
- •Определение предела функции по Гейне. «Локальность» понятия предел функции. Предел функции по множеству. Односторонние пределы.
- •Определение предела функции по Коши. Эквивалентность определений предела функции по Гейне и по Коши.
Система вложенных отрезков. Лемма о системе вложенных отрезков. Лемма о стягивающейся системе вложенных отрезков.
Т = {[a,b]} – система вложенных отрезков ⇔ ∀ [а1,b1], [a2,b2]∈ Т : либо [а1,b1] ⊂ [a2,b2], либо [a2,b2] ⊂ [а1,b1]
ЛЕММА 1:
А = {а} – множество левых концов. В = {b} – множество правых концов Т = {[a,b]} – система вложенных отрезков ⇒ ∀ а ∈ А, ∀ b’ ∈ В: а ≤ b’.
ДОКАЗАТЕЛЬСТВО:
Предположим противное, ∃ а ∈ А ∃ b ∈ В: а > b’. Тогда, так как Т = {[a,b]} – система вложенных отрезков, а’<b’<a<b ⇒ пришли к противоречию, так как [a’,b’] не вложен в [a,b].
ЛЕММА 2:
Т – система вложенных отрезков ⇒ ∃ х0 ∈ [a,b] ∀ [a,b] ∈ Т
ДОКАЗАТЕЛЬСТВО:
А = {а} – множество левых концов – ограничено сверху В = {b} – множество правых концов – ограничено снизу х0 =sup A ⇒ ∀ а ∈ А, а ≤ х0 (1) ∀ b ∈ В : х0 ≤ b ? (2) Предположим противное, ∃ b’∈ В: х0 > b’ Пусть ε = х0 – b’. x0 = sup A ⇒ ∀ ε > 0 ∃ а ∈ А : а > х0 – ε ⇔ а > х0 – х0 – b’ ⇔ а > b’ – пришли к противоречию (лемма 1) (1) и (2) ⇒ ∃ х0 ∈ [a,b] ∀ [a,b] ∈ Т – доказано.
Стягивающаяся система вложенных отрезков
Система вложенных отрезков называется стягивающейся, если ∀ ε > 0 ∃ [а,b]∈ Т: b-а < ε .
ТЕОРЕМА:
Т - стягивающаяся система вложенных отрезков ⇒ ∃! х0 ∈ [а,b] ∀ [а,b] ∈ Т.
ДОКАЗАТЕЛЬСТВО:
Предположим противное , ∃ х1,х2 ∈ [а,b] ∀ [а,b]∈ Т, х1 < х2 Тогда, ∀ [а,b]∈ Т b-a ≥ х2 – х1 Пусть ε = х2 – х1 / 2. Тогда нет ни одного отрезка имеющего длину меньше чем ε ⇒ Т – не стягивающаяся ⇒ пришли к противоречию ⇒ х0 - единственная точка.
Мощность множества. Эквивалентные множества. Счетные множества. Счетность множества рациональных чисел. Счетность конечного или счетного множества счетных множеств. Теорема Кантора (несчетность множества (0,1)). Множества мощности континуум. Примеры множеств мощности континуум.
Мощностью множества называется то общее,, что характеризует все множества эквивалентные данному множеству. Для конечных множеств мощность множества – это количество элементов.
Множества называются эквивалентными или равномощными, если существует биективное отображение одного множества на другое.
Множество, эквивалентное множеству натуральных чисел, называются счетными.
ЛЕММА: Множество рациональных чисел счетно (Q ~ N)
ДОКАЗАТЕЛЬСТВО:
r = m/n, m ∈ Z, n ∈ N. h = |m| + n h=1, n = 1, m=0, r = 0 ⇔ 1 ∈ N h=2, n = 1, m = ±1 r=1 ⇔ 2 ∈ N r=-1 ⇔ 3 ∈ N
и так далее…
ЛЕММА: Множество конечной или счетной совокупности счетных множеств счетно.
ДОКАЗАТЕЛЬСТВО:
А1, А2, А3 … - счетные множества. Пусть А = ∪n=1∞ Аn. Произведем нумерацию элементов А = {a} следующим образом.
а1 = а11, а2 = а12, а3 = а21, а4 = а13, а5 = а22, а6 = а31 и так далее.
Таким образом, все элементы множества А можно занумеровать, а если встречаются одинаковые элементы – то учитывать их будем один раз.
ТЕОРЕМА КАНТОРА: [0,1] не является счетным.
ДОКАЗАТЕЛЬСТВО:
Предположим противное, [0,1] ~ N ⇒ ∀ х ∈ [0,1] ⇔ n ∈ N.
Разделим отрезок [0,1] на три части, выберем на нем точку х1. Возьмем отрезок [а1,b1] такой, что: х1 ∉ [а1,b1] ⊂ [0,1]. Длина его равна 1/3. На отрезке [а1,b1] возьмем точку х2, разделим [а1,b1] на три части, и возьмем ту часть, которой х2 не принадлежит. И так до бесконечности.
Рассмотрим отрезок [аk,bk]. Его длина равна bk – ak = 1/3k.
Т = {[аk,bk]} – система вложенных отрезков. ∀ ε > 0 bk – ak = 1/3k < ε 3k > 1/ε k > log3(1/ε) k = [log3(1/ε)] +1 ⇒ Т – стягивающаяся ⇒ ∃! х0 ∈ [аk,bk], ∀ [аk,bk] ∈ Т
х0 ∈ [аk,bk] ⊂ [0,1] х0 ∈ [0,1] ⇒ х0 ⇔ n0 ⇒ х0 = хn0 ∉ [аn0,bn0 ] – пришли к противоречию, так как система Т – стягивающаяся, а х0 не принадлежит одному из её отрезков ⇒ нельзя пронумеровать. Теорема доказана.
Множества, эквивалентные множеству [0,1], называются множествами мощности континуум.
Примеры множеств мощности континуум:
(0,1) ~ [0,1], так как отнимаются всего 2 элемента.
Множество [а,b] ~ [0,1], так как есть биективное отображение.
Числовая последовательность. Предел числовой последовательности. Сходящаяся последовательность. Расходящаяся последовательность. Окрестность точки. Определение предела последовательности в терминах окрестности. Последовательность, сходящаяся слева (справа). Бесконечно большая последовательность. Определить lim n ⟶ ∞ х n = ± ∞.
Последовательность – ∀ n ∈ N ⟶ х ∈ R. х = х n – перенумерованное множество. х = х n – элемент последовательности.
Def1: а ∈ R – предел последовательности ⇔ а = limn ⟶∞ хn ⇔ ∀ ε > 0 ∃ N(ε) (номер): ∀ n ≥ N |хn-а|< ε.
Число а является пределом последовательности х n, если при любом ε > 0 в (а-ε, а+ε) находится бесконечное количество членов, а вне её – конечное.
Последовательность называется сходящейся ⇔ ∃ а = lim n ⟶ ∞ хn.
Последовательность, не являющаяся сходящейся, называется расходящейся.
ε-окрестностью точки а (U(а,ε)) называют интервал (а-ε,а+ε)
Def2: а = limn ⟶∞хn ⇔ ∀ ε > 0 ∃ N(ε): ∀ n ≥ N х n ∈ U(а,ε).
Последовательность, сходящаяся справа ⇔ lim n ⟶ ∞ хn = a+0 ⇔ ∀ ε > 0 ∃ N(ε): ∀ n ≥ N х n ∈ (а,а+ε)
Последовательность, сходящаяся слева ⇔ lim n ⟶ ∞ хn = a-0 ⇔ ∀ ε >0 ∃ N(ε): ∀ n ≥ N х n ∈ (а-ε,а)
Бесконечно большая последовательность ⇔ lim n ⟶ ∞ хn = ∞ ⇔ ∀ ε >0 ∃ N(ε): ∀ n ≥ N |х n| > 1/ε lim n ⟶ ∞ хn = +∞ ⇔ ∀ ε >0 ∃ N(ε): ∀ n ≥ N х n > 1/ε lim n ⟶ ∞ хn = +∞ ⇔ ∀ ε >0 ∃ N(ε): ∀ n ≥ N х n < -1/ε