Теорема Больцано — Вейерштрасса , или лемма Больцано — Вейерштрасса о предельной точке , — предложение анализа , одна из формулировок которого гласит: из всякой ограниченной последовательности точек пространства ${\displaystyle \mathbb {R} ^{n}}$ можно выделить сходящуюся подпоследовательность. Теорема Больцано — Вейерштрасса, в особенности случай числовой последовательности ( ${\displaystyle n=1}$ ), входит в каждый курс анализа. Она используется при доказательстве многих предложений анализа, например, теоремы о достижении непрерывной на отрезке функцией своих точных верхней и нижней граней . Теорема носит имена чешского математика Больцано и немецкого математика Вейерштрасса , которые независимо друг от друга её сформулировали и доказали.

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

Известно несколько формулировок теоремы Больцано — Вейерштрасса.

Первая формулировка

Пусть предложена последовательность точек пространства ${\displaystyle \mathbb {R} ^{n}}$ :

${\displaystyle x_{1},x_{2},\ldots }$

и пусть эта последовательность ограничена , то есть

${\displaystyle \|x_{k}\|\leqslant C,\;k=1,2,\ldots }$

где ${\displaystyle C>0}$ — некоторое число.

Тогда из данной последовательности можно выделить подпоследовательность

${\displaystyle x_{k_{1}},x_{k_{2}},\ldots }$

которая сходится к некоторой точке пространства ${\displaystyle \mathbb {R} ^{n}}$ .

Теорему Больцано — Вейерштрасса в такой формулировке иногда называют принципом компактности ограниченной последовательности .

Расширенный вариант первой формулировки

Нередко теорему Больцано — Вейерштрасса дополняют следующим предложением.

Если последовательность точек пространства ${\displaystyle \mathbb {R} ^{n}}$ неограничена , то из неё можно выделить подпоследовательность, имеющую предел ${\displaystyle \infty }$ .

Для случая ${\displaystyle n=1}$ эту формулировку можно уточнить: из любой неограниченной числовой последовательности можно выделить подпоследовательность, имеющую пределом бесконечность определенного знака ( ${\displaystyle +\infty }$ или ${\displaystyle -\infty }$ ).

Таким образом, всякая числовая последовательность содержит подпоследовательность, имеющую предел в расширенном множестве действительных чисел ${\displaystyle {\overline {\mathbb {R} }}}$ .

Вторая формулировка

Следующее предложение является альтернативной формулировкой теоремы Больцано — Вейерштрасса.

Всякое ограниченное бесконечное подмножество ${\displaystyle E}$ пространства ${\displaystyle \mathbb {R} ^{n}}$ имеет по крайней мере одну предельную точку в ${\displaystyle \mathbb {R} ^{n}}$ .

Более подробно, это означает, что существует точка ${\displaystyle x_{0}\in \mathbb {R} ^{n}}$ , всякая окрестность ${\displaystyle U_{\varepsilon }(x_{0})}$ которой содержит бесконечное число точек множества ${\displaystyle E}$ .

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

Теорема Больцано — Вейерштрасса выводится из свойства полноты множества действительных чисел . В наиболее известном варианте доказательства используется свойство полноты в форме принципа вложенных отрезков .

Одномерный случай

Докажем, что из любой ограниченной числовой последовательности можно выделить сходящуюся подпоследовательность. Нижеизложенный способ доказательства называется методом Больцано , или методом деления пополам .

Пусть дана ограниченная числовая последовательность

${\displaystyle x_{1},x_{2},x_{3},\ldots }$

Из ограниченности последовательности следует, что все её члены лежат на некотором отрезке числовой прямой, который обозначим ${\displaystyle [a_{0},b_{0}]}$ .

Разделим отрезок ${\displaystyle [a_{0},b_{0}]}$ пополам на два равных отрезка. По крайней мере, один из получившихся отрезков содержит бесконечное число членов последовательности. Обозначим его ${\displaystyle [a_{1},b_{1}]}$ .

На следующем шаге повторим процедуру с отрезком ${\displaystyle [a_{1},b_{1}]}$ : разделим его на два равных отрезка и выберем из них тот, на котором лежит бесконечное число членов последовательности. Обозначим его ${\displaystyle [a_{2},b_{2}]}$ .

Продолжая процесс, получим последовательность вложенных отрезков

${\displaystyle [a_{0},b_{0}]\supset [a_{1},b_{1}]\supset [a_{2},b_{2}]\supset \ldots }$

в которой каждый последующий является половиной предыдущего и содержит бесконечное число членов последовательности ${\displaystyle \{x_{k}\}}$ .

Длины отрезков стремятся к нулю:

${\displaystyle |b_{m}-a_{m}|={\frac {|b_{0}-a_{0}|}{2^{m}}}\to 0}$

В силу принципа вложенных отрезков Коши — Кантора , существует единственная точка ${\displaystyle \xi }$ , принадлежащая всем отрезкам:

${\displaystyle a_{m}\leqslant \xi \leqslant b_{m},\;m=0,1,\ldots }$

По построению на каждом отрезке ${\displaystyle [a_{m},b_{m}]}$ лежит бесконечное число членов последовательности. Выберем последовательность

${\displaystyle x_{k_{m}}\in [a_{m},b_{m}],\;m=0,1,2,\ldots }$ ,

соблюдая при этом условие возрастания номеров:

${\displaystyle k_{0}<k_{1}<\ldots }$

Тогда подпоследовательность ${\displaystyle \{x_{k_{m}}\}}$ сходится к точке ${\displaystyle \xi }$ . Это следует из того, что расстояние от ${\displaystyle x_{k_{m}}}$ до ${\displaystyle \xi }$ не превосходит длины содержащего их отрезка ${\displaystyle [a_{m},b_{m}]}$ , откуда

${\displaystyle |x_{k_{m}}-\xi |\leqslant |b_{m}-a_{m}|\to 0}$

Распространение на случай пространства произвольной конечной размерности

Теорема Больцано — Вейерштрасса легко обобщается на случай пространства произвольной размерности.

Пусть дана последовательность точек пространства ${\displaystyle \mathbb {R} ^{n}}$ :

${\displaystyle {\begin{matrix}x_{1}=(x_{1}^{(1)},x_{1}^{(2)},\ldots ,x_{1}^{(n)})\\x_{2}=(x_{2}^{(1)},x_{2}^{(2)},\ldots ,x_{2}^{(n)})\\\ldots \\\end{matrix}}}$

(нижний индекс — номер члена последовательности, верхний — номер координаты). Если последовательность точек пространства ${\displaystyle \mathbb {R} ^{n}}$ ограничена, то каждая из числовых последовательностей координат:

${\displaystyle x_{1}^{(\nu )},x_{2}^{(\nu )},\ldots }$

также ограничена ( ${\displaystyle \nu =1,\ldots ,n}$ — номер координаты).

В силу одномерного варианта теоремы Больцано — Вейерштрасса из последовательности ${\displaystyle \{x_{k}\}}$ можно выделить подпоследовательность точек ${\displaystyle \{x_{k_{m}}\}}$ , первые координаты которых ${\displaystyle \{x_{k_{m}}^{(1)}\}}$ образуют сходящуюся последовательность. Из полученной подпоследовательности ещё раз выделим подпоследовательность, сходящуюся по второй координате. При этом сходимость по первой координате сохранится в силу того, что всякая подпоследовательность сходящейся последовательности также сходится. И так далее.

После ${\displaystyle n}$ шагов получим некоторую последовательность

${\displaystyle x_{r_{1}},x_{r_{2}},\ldots }$ ,

являющуюся подпоследовательностью ${\displaystyle x_{1},x_{2},\ldots }$ , и сходящуюся по каждой из координат. Отсюда следует, что эта подпоследовательность сходится.

История

Теорема Больцано — Вейерштрасса (для случая ${\displaystyle n=1}$ ) впервые была доказана чешским математиком Больцано в 1817 году. В работе Больцано она выступала как лемма в доказательстве теоремы о промежуточных значениях непрерывной функции , известной теперь как теорема Больцано — Коши. Однако эти и другие результаты, доказанные Больцано задолго до Коши и Вейерштрасса , остались незамеченными.

Лишь через полвека Вейерштрасс, независимо от Больцано, заново открыл и доказал эту теорему. Первоначально она называлась теоремой Вейерштрасса, до того как стали известны и получили признание работы Больцано.

Сегодня эта теорема носит имена Больцано и Вейерштрасса. Нередко эту теорему называют леммой Больцано — Вейерштрасса , а иногда леммой о предельной точке .

Теорема Больцано — Вейерштрасса и понятие компактности

Теорема Больцано — Вейерштрасса устанавливает следующее интересное свойство ограниченного множества ${\displaystyle M\subset \mathbb {R} ^{n}}$ : всякая последовательность точек ${\displaystyle M}$ содержит сходящуюся подпоследовательность.

При доказательстве различных предложений в анализе часто прибегают к следующему приему: определяют последовательность точек, обладающую каким-либо нужным свойством, а затем из неё выделяют подпоследовательность, также им обладающую, но уже сходящуюся. Например, именно так доказывается теорема Вейерштрасса о том, что непрерывная на отрезке функция ограничена и принимает свои наибольшее и наименьшее значения.

Эффективность подобного приема вообще, а также желание распространить теорему Вейерштрасса на произвольные метрические пространства , побудили в 1906 году французского математика Мориса Фреше ввести понятие компактности . Свойство ограниченных множеств в ${\displaystyle \mathbb {R} ^{n}}$ , устанавливаемое теоремой Больцано—Вейерштрасса, заключается, образно говоря, в том, что точки множества располагаются достаточно «тесно», или же «компактно»: сделав бесконечное число шагов по этому множеству, мы непременно сколь угодно близко подойдем к какой-то точке пространства.

Фреше вводит следующее определение: множество ${\displaystyle M}$ называется компактным , или же компактом , если всякая последовательность его точек содержит подпоследовательность, сходящуюся к некоторой точке этого множества. При этом предполагается, что на множестве ${\displaystyle M}$ определена метрика, то есть оно является метрическим пространством , либо подмножеством метрического пространства.

Если исходить из этого определения, то не всякое ограниченное множество ${\displaystyle M\subset \mathbb {R} ^{n}}$ является компактным: подпоследовательность точек из ${\displaystyle M}$ может сходиться к точке, уже не принадлежащей этому множеству. Однако замыкание ограниченного множества уже будет компактом. Тем самым теорема Больцано — Вейерштрасса устанавливает достаточное условие компактности в пространстве ${\displaystyle \mathbb {R} ^{n}}$ : для того чтобы множество ${\displaystyle M\subset \mathbb {R} ^{n}}$ было компактным достаточно , чтобы оно было замкнутым и ограниченным. Нетрудно убедиться в необходимости этих условий (это намного проще, чем доказать достаточность).

Таким образом, с точки зрения общего определения компактности роль теоремы Больцано — Вейерштрасса заключается в том, что она устанавливает критерий компактности в пространстве ${\displaystyle \mathbb {R} ^{n}}$ : компакты в ${\displaystyle \mathbb {R} ^{n}}$ — в точности замкнутые ограниченные множества.

См. также

• Лемма Гейне — Бореля
• Компактное пространство

Примечания

Литература

• Кудрявцев Л. Д. Курс математического анализа. — 5-е изд. — М. : «Дрофа», 2003. — Т. 1. — 704 с. — ISBN 5-7107-4119-1 .
• Рыбников К. А. История математики. — М. : Издательство Московского университета, 1963. — Т. 2.
• Рудин У. Основы математического анализа = Principles of Mathematical Analysis / пер. с англ. Хавина. — второе, стереотипное. — М. : «Мир», 1976.