Монотонные последовательности
Последовательность называется неубывающей, если \(a_{n+1}\ge a_{n}\) для каждого \(n\), и невозрастающей, если \(a_{n+1}\le a_{n}\). Обе разновидности называют монотонными.
Теорема Вейерштрасса
Всякая монотонная ограниченная числовая последовательность сходится. Точнее, если \(\{a_{n}\}\) не убывает и ограничена сверху, то
\[\lim a_{n}=\sup \{a_{n}\}\].
Если \(\{a_{n}\}\) не возрастает и ограничена снизу, то
\[\lim a_{n}=\inf \{a_{n}\}\].1
Доказательство для неубывающей последовательности
Пусть \(A=\sup \{a_{n}\}\). Для любого \(\varepsilon \gt 0\) число \(A-\varepsilon \) уже не является верхней гранью множества значений последовательности. Поэтому существует номер \(N\), для которого \(a_{N}\gt A-\varepsilon \).
Из монотонности при \(n\ge N\) получаем \(a_{n}\ge a_{N}\gt A-\varepsilon \). С другой стороны, \(a_{n}\le A\), поскольку \(A\) является верхней гранью. Значит,
\[A-\varepsilon \lt a_{n}\le A\].
Отсюда \(|a_{n}-A|=A-a_{n}\lt \varepsilon \). Следовательно, \(a_{n}\to A\). Для невозрастающей последовательности доказательство проводится аналогично с infimum.1
Если неубывающая последовательность не ограничена сверху, она стремится к \(+\infty \). Аналогично невозрастающая последовательность, не ограниченная снизу, стремится к \(-\infty \).