Лемма о вложенных отрезках

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

Формулировка[править | править вики-текст]

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

[a_1, b_1] \supset [a_2, b_2] \supset \ldots \supset [a_n, b_n] \supset \ldots

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

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

\lim_{n \to \infty}(b_n-a_n)=0

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

Замечание[править | править вики-текст]

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

\bigcap\limits_{n=1}^{\infty} \left( 0, \frac{1}{n} \right) = \varnothing.

Доказательство[править | править вики-текст]

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

\forall n, m \; a_n \leqslant b_m

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

\forall n, m \; a_n \leqslant c \leqslant b_m

в частности

\forall n \; a_n \leqslant c \leqslant b_n

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

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

\forall n \;\; c, c' \in [a_n, b_n], \quad c \neq c'

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

 | c - c'| \leqslant b_n-a_n

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

 b_n-a_n < \varepsilon

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

 | c - c'| < \frac{1}{2} | c - c'|

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

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

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

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

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

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

Примечания[править | править вики-текст]

  1. Зорич В. А. Математический анализ. Часть I. — Изд. 4-е, испр. — М.: «МЦНМО», 2002. — С. 81.
  2. 1 2 Кудрявцев Л. Д. Курс математического анализа. — 5-е изд. — М.: «Дрофа», 2003. — Т. 1. — С. 84.

Литература[править | править вики-текст]

  • Камынин Л.И. Математический анализ. Т. 1, 2. - 2001.
  • Кудрявцев Л. Д. Курс математического анализа. — 5-е изд. — М.: «Дрофа», 2003. — Т. 1. — 704 с. — ISBN 5-7107-4119-1.