Теорема Вейерштрасса об ограниченной возрастающей последовательности: различия между версиями
[непроверенная версия] | [непроверенная версия] |
Нет описания правки Метки: с мобильного устройства из мобильной версии ссылка на неоднозначность |
Нет описания правки Метки: с мобильного устройства из мобильной версии |
||
Строка 1: | Строка 1: | ||
'''Теорема [[Больцано]]–[[Коши]]–[[Карл Вейерштрасс|Вейерштрасса]] об ограниченной сверху возрастающей [[последовательность|последовательности]]''' (или ограниченной снизу убывающей последовательности) утверждает, что любая [[точная верхняя и нижняя границы множеств|ограниченная сверху]] [[Монотонная последовательность|монотонно возрастающая]] (или ограниченная снизу монотонно убывающая) последовательность имеет предел, причём этот предел равен её точной верхней (или нижней) грани. Несмотря на прозрачность и очевидность доказательства, эта теорема оказывается очень удобной для нахождения пределов многих последовательностей или хотя бы доказательства их существования. |
'''Теорема [[Бернард Больцано| Больцано]]–[[Луи Коши|Коши]]–[[Карл Вейерштрасс|Вейерштрасса]] об ограниченной сверху возрастающей [[последовательность|последовательности]]''' (или ограниченной снизу убывающей последовательности) утверждает, что любая [[точная верхняя и нижняя границы множеств|ограниченная сверху]] [[Монотонная последовательность|монотонно возрастающая]] (или ограниченная снизу монотонно убывающая) последовательность имеет предел, причём этот предел равен её точной верхней (или нижней) грани. Несмотря на прозрачность и очевидность доказательства, эта теорема оказывается очень удобной для нахождения пределов многих последовательностей или хотя бы доказательства их существования. |
||
== Формулировка == |
== Формулировка == |
Версия от 19:38, 9 февраля 2023
Теорема Больцано–Коши–Вейерштрасса об ограниченной сверху возрастающей последовательности (или ограниченной снизу убывающей последовательности) утверждает, что любая ограниченная сверху монотонно возрастающая (или ограниченная снизу монотонно убывающая) последовательность имеет предел, причём этот предел равен её точной верхней (или нижней) грани. Несмотря на прозрачность и очевидность доказательства, эта теорема оказывается очень удобной для нахождения пределов многих последовательностей или хотя бы доказательства их существования.
Формулировка
Если неубывающая (невозрастающая) последовательность ограничена сверху (снизу), то она сходится.[1]
Доказательство
Пусть — ограниченная возрастающая последовательность. Тогда множество ограничено, следовательно, по теореме о супремуме, имеет супремум. Обозначим его через . Тогда . Действительно, так как — супремум множества , то для любого существует номер такой, что . Тогда при . Следовательно, . Теорема доказана.[2]
Примечания
Литература
Зорич В. А. Математический анализ. Часть I. М.: Наука, 1981. 544 с.
Для улучшения этой статьи по математике желательно:
|