Метрические пространства: основные понятия и примеры

Мотивация: расстояние как абстракция

Понятие «расстояние» встречается повсюду: расстояние между точками плоскости, между функциями (насколько похожи две кривые?), между строками (сколько замен нужно, чтобы превратить одно слово в другое?). Метрическое пространство — минимальная абстракция, фиксирующая аксиомы расстояния и позволяющая переносить методы анализа в самые разные контексты. Функциональный анализ изучает бесконечномерные метрические пространства, где объектами являются сами функции.

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

Метрическое пространство (X, d): множество X с функцией метрикой d: X×X → ℝ₊, удовлетворяющей:

Положительность: d(x,y) ≥ 0; d(x,y) = 0 ⟺ x = y.
Симметрия: d(x,y) = d(y,x).
Неравенство треугольника: d(x,z) ≤ d(x,y) + d(y,z).

Аксиомы минимальны: из них выводится всё, что нужно для анализа — сходимость, непрерывность, компактность. Понятия «окрестность», «открытое множество», «замкнутое множество» переносятся дословно.

Важные примеры

Евклидово пространство ℝⁿ: d(x,y) = √(Σᵢ(xᵢ−yᵢ)²). Стандартный пример.

Пространства lᵖ (1 ≤ p ≤ ∞): последовательности (xₙ) с ‖x‖_p < ∞:

p < ∞: ‖x‖_p = (Σ|xₙ|ᵖ)^{1/p}.
p = ∞: ‖x‖_∞ = sup|xₙ|.

C[a,b]: непрерывные функции на [a,b]. Метрика sup: d(f,g) = max|f(x)−g(x)|.

Lᵖ[a,b]: измеримые функции с ∫|f|ᵖ < ∞; функции, совпадающие почти всюду, отождествляются.

Метрика редактирования (Левенштейна): на строках — минимальное число вставок/удалений/замен. d(«кот», «код») = 1. Используется в spell-checker и биоинформатике.

Полнота

Последовательность Коши: {xₙ} — посл. Коши, если ∀ε>0 ∃N: n,m>N ⟹ d(xₙ,xₘ) < ε. Любая сходящаяся последовательность — Коши. Обратное неверно в неполных пространствах.

Полное метрическое пространство: каждая последовательность Коши сходится. ℝⁿ, lᵖ, Lᵖ[a,b], C[a,b] с sup-нормой — полны. ℚ с обычной метрикой — неполно (√2 ∉ ℚ, но аппроксимируется рациональными числами).

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

Численный пример

Задача: Показать, что последовательность xₙ = Σₖ₌₁ⁿ (−1)ᵏ/k в ℝ является последовательностью Коши и найти её предел.

Шаг 1. Ряд Σ (−1)ᵏ/k — знакочередующийся. По признаку Лейбница: aₙ = 1/n → 0, монотонно убывает → ряд сходится. Следовательно, {xₙ} сходится, значит является последовательностью Коши в ℝ.

Шаг 2. Оценим |xₙ − xₘ| при n < m. Из признака Лейбница: |xₙ − S| ≤ 1/(n+1), где S — сумма ряда. Тогда |xₙ − xₘ| ≤ |xₙ − S| + |S − xₘ| ≤ 1/(n+1) + 1/(m+1) < 2/(n+1) → 0.

Шаг 3. Предел: Σₖ₌₁^∞ (−1)ᵏ/k = −1 + 1/2 − 1/3 + 1/4 − ... = −ln(2) ≈ −0.693. Из разложения ln(1+x) при x=1: ln(2) = 1 − 1/2 + 1/3 − ..., отсюда Σ(−1)ᵏ/k = −ln(2).

Шаг 4. Та же последовательность в ℚ: {xₙ} ⊂ ℚ, предел ln(2) ∉ ℚ. В (ℚ,d) последовательность Коши не сходится → ℚ неполно ✓.

Шаг 5. Метрика L¹ на C[0,1]: fₙ(x) = xⁿ. d(fₙ,0) = ∫₀¹ xⁿ dx = 1/(n+1) → 0. Но fₙ(1) = 1 ≠ 0(1) — предел по L¹ не является непрерывной функцией, равной нулю. Значит (C[0,1], d_{L¹}) неполно ✓.

Реальное приложение

Машинное обучение: пространство параметров нейронной сети — метрическое пространство. Полнота гарантирует, что алгоритм градиентного спуска не «выпадет» из пространства. Теорема Бэра используется в доказательстве теоремы универсальной аппроксимации нейронными сетями.

Дополнительные аспекты

Метрические и нормированные пространства образуют язык, на котором формулируется большая часть современного анализа. Полнота (всякая фундаментальная последовательность сходится) разделяет пространства на «приличные» (где работают теоремы существования и предельные переходы) и «дикие». Пополнение по Кантору даёт каноническую процедуру доделать пространство до полного — так из ℚ получают ℝ. На банаховых пространствах действуют три фундаментальные теоремы функционального анализа: Хана–Банаха (продолжение функционалов), Банаха–Штейнгауза (равномерная ограниченность семейства операторов) и теорема об открытом отображении/замкнутом графике. Эти теоремы — рабочие инструменты теории дифференциальных уравнений, оптимизации и численного анализа.

Связь с другими разделами математики

Метрические пространства пронизывают теорию дифференциальных уравнений через принцип сжимающих отображений. В полном метрическом пространстве теорема Банаха утверждает единственность неподвижной точки сжимающего оператора; именно в такой форме формулируется теорема Пикара–Линделёфа о существовании и единственности решения задачи Коши для обыкновенных дифференциальных уравнений. Аналогичные идеи используются в теории интегральных уравнений Фредгольма и Вольтерры, где пространство функций снабжается подходящей метрикой, а оператор решения рассматривается как сжатие.

Связь с алгеброй проявляется в понятии нормированной алгебры и пополнений. Построение пополнения метрического пространства является частным случаем универсальных конструкций в категории модулей и колец: из рациональных чисел с p-адической метрикой получаются поля Q_p, лежащие в основе алгебраической теории чисел. Понятие метрической группы, а затем локально компактной группы Хаара связывает метрику с гармоническим анализом и представлениями групп.

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

Историческая справка и развитие идеи

Зарождение понятия абстрактного расстояния связано с работами в геометрии конца XIX века. Ф. Рисс и М. Фреше в начале XX века сознательно отделили понятие метрики от конкретной геометрической модели. Фреше в диссертации 1906 года в Тулузском университете ввел термины «пространство метрическое» и «пространство функциональное», рассматривая множества функций с заданным расстоянием между ними; часть результатов была опубликована в Rendiconti del Circolo Matematico di Palermo. Идея полноты восходит к Коши и Кантору, которые через фундаментальные последовательности построили действительные числа как пополнение рациональных. Хаусдорф в «Grundzüge der Mengenlehre» (1914) сформировал аксиоматический аппарат топологических и метрических пространств, а Бэр в 1899–1909 годах сформулировал категориальную теорему, показав неожиданную глубину полноты.