Русская Википедия:Лемма о вложенных отрезках

Содержание

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Лемма о вложенных отрезках, или принцип вложенных отрезков Коши — Кантора, или принцип непрерывности Кантора — фундаментальное утверждение в математическом анализе, связанное с полнотой поля вещественных чисел.

Формулировка

Для всякой системы вложенных отрезков

<math>[a_1, b_1] \supset [a_2, b_2] \supset \ldots \supset [a_n, b_n] \supset \ldots</math>

существует хотя бы одна точка <math>c</math>, принадлежащая всем отрезкам данной системы.

Если, кроме того, длина отрезков системы стремится к нулю:

<math>\lim_{n \to \infty}(b_n-a_n)=0</math>

то <math>c</math> — единственная общая точка всех отрезков данной системы.

Замечание

Отрезки в формулировке теоремы нельзя заменить на открытые интервалы. Например,

<math>\bigcap\limits_{n=1}^{\infty} \left( 0, \frac{1}{n} \right) = \varnothing</math>

Доказательство

1) Существование общей точки. Множество левых концов отрезков <math>\{ a_n\}</math> лежит на числовой прямой левее множества правых концов отрезков <math>\{ b_m\}</math>, поскольку

<math>\forall n, m \; a_n \leqslant b_m</math>

В силу аксиомы непрерывности, существует точка <math>c</math>, разделяющая эти два множества, то есть

<math>\forall n, m \; a_n \leqslant c \leqslant b_m</math>

в частности

<math>\forall n \; a_n \leqslant c \leqslant b_n</math>

Последнее неравенство означает, что <math>c</math> — общая точка всех отрезков данной системы.

2) Единственность общей точки. Пусть длина отрезков системы стремится к нулю. Покажем, что существует только одна точка, принадлежащая всем отрезкам системы. Предположим противное: пусть имеется две различные точки <math>c</math> и <math>c'</math>, принадлежащие всем отрезкам системы:

<math>\forall n \;\; c, c' \in [a_n, b_n], \quad c \neq c'</math>

Тогда для всех номеров <math>n</math> выполняются неравенства:

<math> | c - c'| \leqslant b_n-a_n</math>

В силу условия стремления к нулю длин отрезков для любого <math>\varepsilon > 0</math> для всех номеров <math>n</math>, начиная с некоторого будет выполняться неравенство

<math> b_n-a_n < \varepsilon</math>

Взяв в этом неравенстве <math>\varepsilon = \frac{1}{2} | c - c'| > 0</math>, получим

<math> | c - c'| < \frac{1}{2} | c - c'| </math>

Противоречие. Лемма доказана полностью.

Лемма о вложенных отрезках и полнота (непрерывность) поля вещественных чисел

Шаблон:Main Лемма о вложенных отрезках тесно связана с непрерывностью (полнотой) поля вещественных чисел. Так, вышеприведенное доказательство леммы существенно опиралось на аксиому непрерывности. Можно показать, что если упорядоченное поле не является непрерывным, то принцип вложенных отрезков может не иметь места. Например, если взять поле рациональных чисел, которое не является непрерывным, и рассмотреть последовательность вложенных отрезков

<math>[1; 2], [1{,}4; 1{,}5], [1{,}41; 1{,}42], [1{,}414; 1{,}415], \ldots</math>

концы которых — суть десятичные приближения иррационального числа <math>\sqrt{2}</math> с недостатком и избытком соответственно с точностью <math>1/10^n, \; n=0, 1, 2, \ldots</math>, то окажется, что у этой системы вложенных отрезков нет общей точки.

Более того, можно показать, что принцип вложенных отрезков является одной из эквивалентных формулировок непрерывности поля (и поэтому его называют принципом непрерывности по Кантору). Точнее, имеет место следующее предложение. Для всякого архимедова упорядоченного поля из принципа вложенных отрезков вытекает непрерывность этого поля.

Литература

• Камынин Л. И. Математический анализ. Т. 1, 2. — 2001.
• Шаблон:Книга