- Лемма о вложенных промежутках
-
Лемма о вложенных отрезках или лемма Кантора — это фундаментальное утверждение в математическом анализе, связанное с полнотой поля вещественных чисел.
Формулировка
Пусть дана последовательность вложенных отрезков то есть Тогда
- найдется хотя бы одна точка, принадлежащая всем этим отрезкам, то есть
- если длина отрезков стремится к нулю, то такая точка единственна:
Замечание
Отрезки в формулировке теоремы нельзя заменить на открытые интервалы. Например,
Доказательство
1)
левее Тогда, из определения о вложенных отрезках
2)
, что для любого , следовательно существует, что для любого , и существует
Так как мы доказываем единственность точки, следовательно пределы последовательностей в этой точке и равны. Из этого следует,
Как нам известно , а , то
Что и требовалось доказать.
- найдется хотя бы одна точка, принадлежащая всем этим отрезкам, то есть
Wikimedia Foundation. 2010.