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

Пополнение метрического пространства — это процедура, результатом которой является наименьшее полное метрическое пространство, содержащее исходное пространство в качестве плотного подмножества. Иными словами, для любого метрического пространства (X, d) существует полное метрическое пространство (X̃, d̃) и изометрическое вложение i: X → X̃ такое, что образ i(X) плотен в X̃. Пространство X̃ называется пополнением пространства X. Пополнение единственно с точностью до изометрии, оставляющей неподвижными точки исходного пространства. Эта конструкция является фундаментальной в функциональном анализе, теории меры и дифференциальных уравнениях, так как позволяет работать с пределами последовательностей, которые не сходятся в исходном пространстве.

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

Метрическое пространство (X, d) называется полным, если любая фундаментальная последовательность (последовательность Коши) в нём сходится к некоторой точке из X. Если пространство не является полным, в нём существуют фундаментальные последовательности, не имеющие предела. Пополнение позволяет «добавить» недостающие предельные точки, превратив пространство в полное.

Пополнение метрического пространства (X, d) — это пара (X̃, i), где:

• X̃ — полное метрическое пространство;
• i: X → X̃ — изометрическое вложение (то есть d̃(i(x₁), i(x₂)) = d(x₁, x₂) для всех x₁, x₂ ∈ X);
• образ i(X) плотен в X̃ (то есть замыкание i(X) совпадает с X̃).

Из определения следует, что пополнение является минимальным полным пространством, содержащим X: любое другое полное пространство, содержащее X, содержит и его пополнение.

История

Понятие полноты метрического пространства было введено в начале XX века. В 1906 году французский математик Морис Фреше в своей диссертации «Sur quelques points du calcul fonctionnel» впервые дал определение метрического пространства и сформулировал понятие полноты. Конструкция пополнения через классы эквивалентности фундаментальных последовательностей была разработана в 1914 году Феликсом Хаусдорфом в его книге «Grundzüge der Mengenlehre» («Основы теории множеств»). Хаусдорф показал, что любое метрическое пространство можно вложить в полное, используя идею, аналогичную построению вещественных чисел из рациональных по методу Кантора.

Конструкция пополнения

Существует несколько эквивалентных способов построения пополнения. Наиболее распространённый — метод, основанный на классах эквивалентности фундаментальных последовательностей.

Построение через классы эквивалентности

Пусть (X, d) — метрическое пространство. Рассмотрим множество S всех фундаментальных последовательностей точек из X. Две последовательности (xₙ) и (yₙ) называются эквивалентными, если d(xₙ, yₙ) → 0 при n → ∞. Это отношение является отношением эквивалентности. Обозначим через X̃ множество классов эквивалентности таких последовательностей.

Для двух классов ξ и η, представленных последовательностями (xₙ) и (yₙ) соответственно, определим расстояние: d̃(ξ, η) = lim_{n → ∞} d(xₙ, yₙ).

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

Пространство (X̃, d̃) является полным метрическим пространством. Вложение i: X → X̃ определяется сопоставлением каждой точке x ∈ X класса эквивалентности стационарной последовательности (x, x, x, …). Образ i(X) плотен в X̃, так как любой класс ξ, представленный последовательностью (xₙ), можно аппроксимировать точками i(xₙ).

Альтернативная конструкция

Другой способ — рассмотреть пополнение как замыкание образа X при изометрическом вложении в некоторое полное пространство. Например, можно вложить X в пространство ограниченных непрерывных функций C(X, ℝ) (или в пространство Липшицевых функций) и взять замыкание образа. Однако этот метод менее конструктивен и реже используется в учебной литературе.

Примеры

Рациональные числа

Классический пример — пополнение множества рациональных чисел ℚ с обычной метрикой d(x, y) = |x — y|. Пополнением ℚ является множество вещественных чисел ℝ. Фундаментальные последовательности рациональных чисел, не сходящиеся в ℚ, соответствуют иррациональным числам. Конструкция пополнения в этом случае совпадает с построением вещественных чисел по Кантору.

Интервал (0, 1)

Открытый интервал (0, 1) с метрикой d(x, y) = |x — y| не является полным: последовательность 1/n фундаментальна, но не имеет предела в (0, 1). Его пополнение — замкнутый отрезок [0, 1]. Точки 0 и 1 добавляются как пределы последовательностей 1/n и 1 — 1/n соответственно.

Пространство непрерывных функций

Пространство C[a, b] непрерывных функций на отрезке [a, b] с метрикой, заданной интегралом (L¹-норма), не является полным. Его пополнением является пространство Лебега L¹[a, b] интегрируемых по Лебегу функций. В этом случае пополнение приводит к расширению класса функций: в него входят разрывные функции, интегрируемые по Лебегу.

Конечномерные пространства

Любое конечномерное нормированное пространство (например, ℝⁿ с евклидовой метрикой) является полным, поэтому его пополнение совпадает с ним самим.

Свойства пополнения

1. Единственность: Пополнение метрического пространства единственно с точностью до изометрии, оставляющей неподвижными точки исходного пространства. Если (X̃₁, i₁) и (X̃₂, i₂) — два пополнения X, то существует единственная изометрия φ: X̃₁ → X̃₂ такая, что φ ∘ i₁ = i₂.
2. Плотность: Исходное пространство X плотно в своём пополнении X̃. Это означает, что любая точка пополнения является пределом некоторой последовательности точек из X.
3. Функториальность: Пополнение является функтором из категории метрических пространств с равномерно непрерывными отображениями в категорию полных метрических пространств. В частности, любое равномерно непрерывное отображение f: X → Y, где Y — полное пространство, однозначно продолжается до непрерывного отображения f̃: X̃ → Y.
4. Сохранение полноты подпространств: Если подпространство A ⊂ X полно, то его замыкание в X совпадает с A. В пополнении X̃ замкнутые подмножества являются полными относительно индуцированной метрики.

Применение

Функциональный анализ

Пополнение лежит в основе построения банаховых и гильбертовых пространств. Например, пространство L²[a, b] (пространство квадратично интегрируемых функций) является пополнением пространства непрерывных функций с метрикой, порождённой скалярным произведением. Это позволяет применять методы линейной алгебры и геометрии к задачам анализа.

Теория меры и интеграл Лебега

Пополнение пространства интегрируемых по Риману функций приводит к пространству интегрируемых по Лебегу функций. Это расширяет класс функций, для которых определён интеграл, и даёт более мощные теоремы о предельном переходе под знаком интеграла.

Дифференциальные уравнения

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

Теория вероятностей

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

Связь с другими понятиями

• Пополнение и замыкание: В топологическом пространстве замыкание множества добавляет все его предельные точки. Пополнение метрического пространства аналогично, но добавляет пределы всех фундаментальных последовательностей, а не только тех, что сходятся в исходном пространстве.
• Пополнение и компактификация: Компактификация (например, компактификация по Александрову) добавляет точки, чтобы пространство стало компактным. Пополнение же делает пространство полным, но не обязательно компактным. Например, ℝ полно, но не компактно.
• Пополнение и равномерная структура: Понятие пополнения может быть обобщено на равномерные пространства. В этом случае пополнение строится через классы эквивалентности равномерных последовательностей Коши.

Критика и ограничения

Хотя пополнение является мощным инструментом, оно не всегда сохраняет структуру исходного пространства. Например, если исходное пространство было сепарабельным, то его пополнение также сепарабельно. Однако если исходное пространство было банаховым, то пополнение сохраняет норму, но не обязательно сохраняет другие свойства, такие как рефлексивность или наличие базиса. Кроме того, конструкция пополнения существенно зависит от метрики: разные метрики на одном и том же множестве могут приводить к разным пополнениям.

Источники

1. Фреше М. «Sur quelques points du calcul fonctionnel» (1906).
2. Хаусдорф Ф. «Grundzüge der Mengenlehre» (1914).
3. Колмогоров А. Н., Фомин С. В. «Элементы теории функций и функционального анализа» (1976).
4. Келли Дж. Л. «Общая топология» (1955).
5. Данфорд Н., Шварц Дж. Т. «Линейные операторы. Общая теория» (1958).