Теорема Коши-Кантора о вложенных отрезках



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

Пусть дана система вложенных сегментов \left \{ I_{n} \right \}_{n=1}^{\infty}:(I_{1}\supset I_{2}\supset... ), \ I_{n}=\left [ a_{n},b_{n} \right ], n=1, 2... , тогда \exists \ c \in \mathbb{R} : \forall \ n \in \mathbb{N}, c\in I_{n} , то есть c\in \bigcap_{n=1}^{\infty}I_{n} . Причём, если $latex \forall \ \varepsilon > 0 \ \exists \ n_{0}\in \mathbb{N} \ \forall n > n_{0} :(b_{n}-a_{n}) < \varepsilon $, то такая точка одна.


Стягивающаяся последовательность

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

Существование:

Рассмотрим множества верхних и нижних граней отрезков (сегментов) \left \{ I_{n} \right \}_{n=1}^{\infty}: A=\left \{ a_{n} \right \}_{n=1}^{\infty},B=\left \{ b_{n} \right \}_{n=1}^{\infty} . Возьмём два числа n,m\in \mathbb{N} :

  1. n=m\Rightarrow a_{n}<b_{m} (по определению сегмента);
  2. $latex n
  3. n>m \Rightarrow a_{n}\leq b_{n}\leq ...\leq b_{m+1}\leq b_{m}

Таким образом \forall a_{n}\in A,b_{m}\in B:a_{n}\leq b_{m} . Тогда по аксиоме непрерывности: \exists \ c, \forall \ n,m\in \mathbb{N}:a_{n}\leq c\leq b_{m}\Rightarrow \forall n\in \mathbb{N} \ c\in I_{n} .

Единственность:

Предположим противное,пусть существуют две различные точки {c},{c}' , принадлежащие всем отрезкам последовательности \left \{ I_{n} \right \}_{n=1}^{\infty} то есть:

\forall n\in \mathbb{N} \ \exists \ c,c'\in I_{n} . Так, как c\neq {c}', то либо c<{c}' либо c>{c}' .

Не ограничивая общности, предположим, что c<{c}' .

Тогда мы имеем: \forall \ n\in \mathbb{N} \ a_{n}\leq c<c'\leq b_{n} . То есть 0<c-{c}'<b_n-a_n. Так, как\underset{n\to\infty}{\lim}(b_n-a_n)=0\Rightarrow 0 \leq {c}'-c\leq 0\Rightarrow {c}'-c=0\Rightarrow c={c}' .

Противоречие! Следовательно, наше предположение, что существуют две различные точки {c},{c}' , принадлежащие всем отрезкам последовательности \left \{ I_{n} \right \}_{n=1}^{\infty} неверно, значит \exists ! \ c \in I_{n} \forall n\in \mathbb{N}.

Замечание:

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

В самом деле,легко видеть,что последовательность вложенных друг в друга интервалов (0,\frac{1}{n}) не имеет общих точек,поскольку \bigcap\limits_{n=1}^{\infty} \left( 0, \frac{1}{n} \right) = \varnothing

Пример:

  1. Доказать, что если система вложенных сегментов \left \{ I_{n} \right \}_{n=1}^{\infty}:(I_{1}\supset I_{2}\supset... ), \ I_{n}=\left [ a_{n},b_{n} \right ], n=1, 2...\ , причём $latex \forall \ \varepsilon > 0 \ \exists \ n_{0}\in \mathbb{N} \ \forall n > n_{0} :(b_{n}-a_{n}) < \varepsilon $, то последовательности $latex \left \{ {a_{n}} \right \}_{n=1}^{\infty}$ и $latex \left \{ {b_{n}} \right \}_{n=1}^{\infty}$ (последовательности верхних и нижних граней сегментов) сходящиеся, причём $latex \underset{n\to\infty}{\lim}(a_n)=\underset{n\to\infty}{\lim}(b_n)=c $.

    Спойлер

    Исходя из доказательства теоремы Коши-кантора, а именно из того, что \exists ! \ c \forall \ n,m\in \mathbb{N}:a_{n}\leq c\leq b_{m} , следовательно c=\sup \{a_n\}=\inf \{b_n\} по определению точных верхней и нижней грани. Вычтем a_n из неравенства, и по теореме о трех последовательностях получим: \underset{\underset{0}{\downarrow}}{{\underbrace{0}}}\leq c-a _{n} \leq \underset{\underset{0}{\downarrow}}{{\underbrace{b_n-a_n}}}, следовательно, по теореме о сходящейся последовательности, имеем \underset{n\to\infty}{\lim}(a_n)=c. Доказательство для последовательности \left \{ b_{n} \right \} _{n=1}^{\infty} проводится аналогично.

    Доказано, что обе последовательности сходящиеся и выполняется следующие равенство: \underset{n\to\infty}{\lim}(a_n)=\underset{n\to\infty}{\lim}(b_n)=c .

    [свернуть]
  2. Доказать, что теорема Коши-Кантора о вложенных отрезках не выполняется на множестве \mathbb{Q}.

    Спойлер

    Возьмём множество рациональных чисел \mathbb{Q}, как известно, \sqrt{3}\not{\in}\mathbb{Q}. Рассмотрим последовательность отрезков: \left \{ I_{n} \right \}_{n=1}^{\infty} = \left \{  \right. \left [ 1;2 \right ],\left [ 1.7;1.8 \right ],\left [ 1.73;1.74 \right ],... \left.  \right \}, построим её так, чтобы концы этих отрезков были десятичные приближения иррационального числа \sqrt{3} с недостатком в нижней границе и избытком в верхней границе, с разностью 1/10^n,\ n \in \mathbb{N} . По предыдущей теореме мы знаем, что \underset{n\to\infty}{\lim}(a_n)=\underset{n\to\infty}{\lim}(b_n)=c (пределы нижних и верхних границ совпадают с единственной точкой, принадлежащей всем отрезкам). Также ясно, что пределы наших верхних и нижних границ стремятся к \sqrt{3}, однако \sqrt{3}\not{\in}\mathbb{Q}. Доказано, что на множестве, которое не является полным, теорема Коши-Кантора не выполняется.

    [свернуть]

Литература:

  1. Вартанян Г. М. Математический анализ (стр. 10-15, 9)
  2. В.И.Коляда, А.А.Кореновский, Курс лекций по математическому анализу К93: в 2-х ч. Ч.1.-Одесса: Астропринт, 2009 (стр 20-21, 28-29)
  3. Тер-Крикоров A.M., Шабунин М.И. Курс математического анализа: Учеб. пособие для вузов. 3-е изд., исправл. — М.: ФИЗМАТ-ЛИТ, 2001. (стр.54 )

Тест

Теорема Коши-Кантора о вложенных отрезках.


Таблица лучших: Теорема Коши-Кантора о вложенных отрезках

максимум из 30 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Теорема Коши-Кантора о вложенных отрезках: 1 комментарий

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *