403
правки
Изменения
м
ϕ→φ, -→—
Последовательность <tex> a_n </tex> ''ограничена'', если <tex> \exists a \in \mathbb R: |a_n| \le a </tex>
<tex> a_n </tex> {{- --}} ''ограничена сверху'', если <tex> \exists a \in \mathbb R: a_n \le a </tex>
<tex> a_n </tex> {{- --}} ''ограничена снизу'', если <tex> \exists a \in \mathbb R: a_n \ge a </tex>
}}
|author=Вейерштрасс
|statement=
Пусть <tex> a_n \uparrow </tex> и <tex> a_n </tex> ограничена сверху. Тогда она сходится. (Аналогично, если <tex> a_n \downarrow </tex>, <tex> a_n </tex> {{- --}} ограничена снизу).
|proof=
<tex> \exists d \in \mathbb R: d = \sup\limits_{n \in \mathbb N} a_n </tex>, поскольку <tex> a_n </tex> {{- --}} ограничена сверху, и <tex> d </tex> {{--- }} конечен, так как <tex> a_n </tex> {{--- }} ограничена сверху.
По [[Грани числовых множеств#Определения|определению]] <tex> \sup a_n </tex>:
{{Определение
|definition= Если дана последовательность <tex> \{ a_n \} </tex> и <tex> \phivarphi: \mathbb N \rightarrow \mathbb N, \phi varphi \uparrow </tex> (строго возрастает),тогда последовательность <tex> b_n = a_{\phi_varphi_(n)} </tex> называется '''подпоследовательностью''' исходной последовательности.
}}
<tex> b_n = a_{2n} : b_1 = a_2, b_2 = a_4, \dots </tex>
В силу строго возрастания <tex> \phi varphi \uparrow </tex>, очевидно, что если <tex> a_n \rightarrow k </tex>, то <tex> a_{\phivarphi(n)} \rightarrow k </tex>. Любая подпоследовательность сходится к тому же пределу.
{{Теорема
|proof= Применим способ половинного деления, основанный на принципе вложенных отрезков: если строить систему отрезков путем деления предыдущего отрезка пополам, то получится система вложенных отрезков, и так до бесконечности..
Пересечение всех отрезков {{- --}} 1 точка (по свойству системы вложенных отрезков).
Раз <tex> a_n </tex> ограничена, то <tex> \forall n: a_n \in \Delta_0 = [c, d] </tex>
=Теорема Коши=
Пункт третий связан с одним из фундаментальных свойств числовой оси {{- --}} ''полнотой''.
{{Определение
Положим <tex> \varepsilon = 1 \Rightarrow \exists N: \forall n \ge N: |a_n - a_N| < 1 </tex>.
Вне <tex> (a_N - 1, a_N + 1) </tex> может оказаться самое большее <tex> a_1, a_2, ..., a_{N - 1} \Rightarrow </tex> последовательность <tex> \{ a_n \} </tex> {{- --}} ограничена. Раз она ограничена, по теореме Больцано, в ней можно выделить сходящуюся подпоследовательность.
<tex> \exists a_{n_k} \rightarrow a </tex> при <tex> k \rightarrow \infty (a_{\varphi(n)} = a_{n_k}) </tex>.
<tex> \{ a_n \} </tex> сходится <tex> \iff \{ a_n \} </tex> сходится в себе.
Такое свойство принято называть полнотой вещественной оси, также {{- --}} критерий Коши существования предела числовой последовательности.
[[Категория:Математический анализ 1 курс]]
