Полнота метрического пространства¶

Полнота метрического пространства — фундаментальное понятие общей топологии и математического анализа, характеризующее метрическое пространство, в котором любая фундаментальная последовательность элементов сходится к некоторому элементу этого же пространства.

¶Определение и основные понятия

В основе понятия полноты лежит различие между фундаментальной и сходящейся последовательностями в метрическом пространстве. Метрическое пространство — это множество, на котором задана функция расстояния (метрика), удовлетворяющая определённым аксиомам.

Фундаментальной (или последовательностью Коши) называется последовательность \(\{x_n\}\in X\), для которой для любого \(\epsilon>0\) найдётся такой номер \(N\), что для всех номеров \(m,n>N\) выполняется неравенство \(\rho(x_m,x_n)<\epsilon\). Иначе говоря, элементы последовательности в пределе сколь угодно близко подходят друг к другу.

Сходящейся к точке \(x\) называется последовательность, для которой предел расстояния до точки \(x\) равен нулю: \(\lim_{n\to\infty}\rho(x_n,x)=0\). Не всякая фундаментальная последовательность в произвольном метрическом пространстве является сходящейся.

Полным называется метрическое пространство \(\langle X,\rho\rangle\), в котором каждая фундаментальная последовательность сходится к некоторой точке из этого же пространства.

¶Примеры полных и неполных пространств

¶Полные пространства

1. Множество действительных чисел \(\mathbb R\) с обычной метрикой \(\rho(x,y)=|x-y|\) является полным (теорема Коши — Кантора о вложенных отрезках). Это базовый пример, на котором строится анализ.
2. \(\mathbb R^n\) с евклидовой метрикой: любая фундаментальная последовательность в координатной записи сходится покоординатно.
3. \(C[a,b]\) — множество непрерывных на отрезке \([a,b]\) функций с метрикой равномерной сходимости \(\rho(f,g)=\max_{x\in[a,b]}|f(x)-g(x)|\). Полнота этого пространства гарантирует сходимость функциональных последовательностей и рядов.
4. \(l_p\) — пространство числовых последовательностей \(\{x_n\}\), для которых \(\sum_{n=1}^\infty |x_n|^p<\infty\), с метрикой \(\rho(x,y)=(\sum_{n=1}^\infty |x_n-y_n|^p)^{1/p}\).
5. \(L_p[a,b]\) — пространство измеримых функций, интегрируемых в степени \(p\) по Лебегу, с метрикой \(\rho(f,g)=(\int_a^b |f-g|^p dx)^{1/p}\).

¶Неполные пространства

1. Рациональные числа \(\mathbb Q\) с метрикой \(\rho(x,y)=|x-y|\) не являются полными: последовательность рациональных чисел, сходящаяся к \(\sqrt{2}\), фундаментальна, но не сходится к рациональному числу.
2. Координатная плоскость без точки \(\mathbb R^2\setminus\{0\}\) с евклидовой метрикой. Последовательность точек \(\{(1/n,0)\}\) фундаментальна, но «сходится» к удалённой точке \((0,0)\).
3. \(C[0,1]\) с метрикой \(\rho(f,g)=\int_0^1 |f(x)-g(x)|dx\) (интегральной метрикой). Примером фундаментальной, но не сходящейся последовательности является «ступенька», стремящаяся к разрывной функции Хевисайда.

¶Свойства и теоремы

¶Критерий замкнутости

Важное свойство: любое полное метрическое пространство является замкнутым в себе. Обратно, всякое замкнутое подмножество полного метрического пространства само является полным. Это позволяет легко выявлять полноту многих подпространств.

¶Принцип вложенных шаров

Один из основных инструментов: если в полном метрическом пространстве задана последовательность замкнутых шаров, вложенных друг в друга и радиусы которых стремятся к нулю, то существует единственная точка, принадлежащая всем этим шарам. Этот принцип служит основой для доказательства многих теорем существования.

¶Теорема Бэра

Полные метрические пространства обладают свойством бэровости: никакое полное метрическое пространство не может быть представлено как счётное объединение нигде не плотных множеств. Это фундаментальное свойство используется в функциональном анализе и топологии.

¶Пополнение

Любое метрическое пространство можно «пополнить», то есть вложить его в некоторое полное метрическое пространство (минимальное по включению и единственное с точностью до изометрии). Процедура пополнения основана на факторизации пространства фундаментальных последовательностей по отношению эквивалентности, где две последовательности считаются эквивалентными, если расстояние между ними стремится к нулю. Например, пополнением пространства \(\mathbb Q\) является \(\mathbb R\).

¶Значение и применение

1. Математический анализ. Понятие полноты лежит в основе теории пределов, интегралов, рядов. Только в полных пространствах можно гарантировать существование пределов фундаментальных последовательностей.
2. Функциональный анализ. Полные нормированные пространства называются банаховыми, а полные гильбертовы — унитарными. На этих пространствах строятся теория операторов, спектральная теория, методы оптимизации.
3. Дифференциальные уравнения. Теорема существования и единственности решения задачи Коши для обыкновенных дифференциальных уравнений (теорема Пикара — Линделёфа) существенно использует полноту пространства непрерывных функций.
4. Численные методы. Алгоритмы, основанные на последовательных приближениях (например, метод простой итерации для решения уравнений), требуют полноты пространства для гарантии сходимости.

¶Интересные факты

• Понятие полноты ввёл в 1884 году французский математик Огюстен Луи Лежандр.
• Доказательство полноты \(\mathbb R\) (непрерывность числовой прямой) стало одним из важнейших достижений XIX века, завершившим обоснование математического анализа.
• Существуют метрические пространства, которые являются полными, но не сепарабельными (не содержат счётного всюду плотного подмножества). Пример — пространство всех ограниченных последовательностей \(l_\infty\).
• Далеко не всякое замкнутое множество в неполном пространстве является полным. Например, отрезок \([0,1] \cap \mathbb Q\) замкнут в \(\mathbb Q\), но не полон.
• В полных метрических пространствах выполняется теорема о неподвижной точке для сжимающих отображений (теорема Банаха), что имеет множество приложений в анализе и дифференциальных уравнениях.

¶Источники

• Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. — 7-е изд. — М.: Физматлит, 2004. — 572 с.
• Треногин В. А. Функциональный анализ. — М.: Наука, 1980. — 496 с.
• Куратовский К. Топология. — М.: Мир, 1966. — Т. 1. — 594 с.
• Богачёв В. И., Смолянов О. Г. Действительный и функциональный анализ. — М.: МЦНМО, 2009. — 724 с.
• Рудин У. Функциональный анализ. — М.: Мир, 1975. — 448 с.