Гильбертовы пространства и ортогональность

Мотивация: геометрия в бесконечных измерениях

Гильбертово пространство — это «бесконечномерный аналог евклидова пространства». Здесь есть скалярное произведение, угол между элементами, ортогональность и ортогональные проекции. Квантовая механика: состояния системы — элементы H = L²(ℝ³); операторы — наблюдаемые. Анализ сигналов: разложение по ортогональному базису = обобщение ряда Фурье.

Скалярное произведение

Предгильбертово пространство (H, ⟨·,·⟩): векторное пространство с функцией ⟨·,·⟩: H×H → ℝ:

Линейность по первому аргументу: ⟨αx+βy, z⟩ = α⟨x,z⟩ + β⟨y,z⟩.
Симметрия: ⟨x,y⟩ = ⟨y,x⟩.
Положительная определённость: ⟨x,x⟩ ≥ 0; ⟨x,x⟩ = 0 ⟺ x = 0.

Норма из скалярного произведения: ‖x‖ = √⟨x,x⟩.

Неравенство Коши–Шварца: |⟨x,y⟩| ≤ ‖x‖·‖y‖. Равенство ⟺ x и y линейно зависимы.

Доказательство: рассмотреть ‖x − t⟨x,y⟩/‖y‖² · y‖² ≥ 0 и раскрыть.

Правило параллелограмма: ‖x+y‖² + ‖x−y‖² = 2(‖x‖² + ‖y‖²). Характеризует пространства с ⟨·,·⟩.

Гильбертово пространство: предгильбертово, полное по норме ‖·‖ = √⟨·,·⟩.

Примеры: ℝⁿ (⟨x,y⟩=Σxᵢyᵢ), l² (⟨x,y⟩=Σxₙyₙ), L²[a,b] (⟨f,g⟩=∫f(x)g(x)dx).

Ортогональность и проекции

Ортогональность: x ⊥ y ⟺ ⟨x,y⟩ = 0. Теорема Пифагора: при x ⊥ y: ‖x+y‖² = ‖x‖² + ‖y‖².

Ортогональный комплемент: M⊥ = {x : ⟨x,y⟩ = 0 для всех y ∈ M}. M⊥ — замкнутое подпространство.

Теорема о проекции: Для замкнутого подпространства M ⊂ H и x ∈ H: существует единственный ближайший элемент Px ∈ M: ‖x−Px‖ = inf_{y∈M} ‖x−y‖. Разность x − Px ⊥ M. Оператор P — ортогональный проектор: P² = P, P* = P.

Прямое разложение: H = M ⊕ M⊥ — каждый x = Px + (x−Px) однозначно.

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

Задача: В L²[0,1] найти наилучшее линейное приближение f(x) = eˣ из подпространства V = span{1, x}, минимизирующее ‖f − p‖_{L²}.

Шаг 1. Нормируем базис методом Грама–Шмидта. φ₁ = 1 (‖1‖² = ∫₀¹ 1dx = 1 → φ₁ = 1). φ̃₂ = x − ⟨x,1⟩·1 = x − 1/2. ‖x−1/2‖² = ∫₀¹(x−1/2)²dx = 1/12. φ₂ = (x−1/2)/√(1/12) = 2√3(x−1/2).

Шаг 2. Вычислим коэффициенты проекции: ⟨eˣ, 1⟩ = ∫₀¹ eˣ dx = e − 1 ≈ 1.718. ⟨eˣ, x−1/2⟩ = ∫₀¹ eˣ(x−1/2)dx. Интегрируем по частям: = [eˣ(x−1/2)]₀¹ − ∫₀¹ eˣ dx = e·(1/2) − (−1/2) − (e−1) = 3/2 − e/2 ≈ 0.141.

Шаг 3. Проекция: Pf = ⟨eˣ,1⟩·1 + ⟨eˣ,x−1/2⟩·(x−1/2)/‖x−1/2‖² = (e−1) + (3/2−e/2)·12·(x−1/2) = (e−1) + (18−6e)(x−1/2).

Шаг 4. Проверим при x=0: (e−1) + (18−6e)(−1/2) = e−1−9+3e = 4e−10 ≈ 0.873. Точное: e⁰ = 1. При x=0.5: (e−1) + 0 = e−1 ≈ 1.718. Точное e^{0.5} ≈ 1.649. Линейная аппроксимация неплохо «по L²».

Шаг 5. Ошибка: ‖eˣ − Pf‖_{L²}² = ‖eˣ‖² − ‖Pf‖² = ∫₀¹ e^{2x}dx − [(e−1)² + (3/2−e/2)²·12] = (e²−1)/2 − [...] ≈ 3.195 − 3.190 ≈ 0.005. Относительная ошибка ≈ 0.4%.

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

Квантовая механика: вероятность измерить состояние ψ в собственном состоянии φₙ = |⟨ψ,φₙ⟩|² (Born rule). Ортогональность собственных функций гарантирует, что разные уровни энергии «не смешиваются» при измерении.

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

Гильбертово пространство — банахово пространство с нормой, порождённой скалярным произведением: ‖x‖² = ⟨x,x⟩. Это даёт всю геометрию (углы, ортогональность, проекции) и делает H рабочей моделью квантовой механики. Теорема Рисса–Фреше: каждый непрерывный линейный функционал представим как φ(x) = ⟨x,a⟩ для единственного a ∈ H. Это означает H ≅ H* (само-двойственность). Ортогональные разложения H = M ⊕ M^⊥ для замкнутых подпространств M существуют всегда; проекция на M — основа метода наименьших квадратов и численных методов аппроксимации. Гильбертовы пространства — естественная среда для спектральной теории самосопряжённых операторов, лежащей в основе квантовой механики и сигнальной обработки.

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

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

Теория гильбертовых пространств тесно переплетена с изучением линейных операторов в дифференциальных уравнениях. Классические результаты Жака Адамара и Мориса Фреше о хорошо поставленных задачах формулируются через замкнутые самосопряженные операторы в L²‑пространствах. Спектральная теорема фон Неймана и Риса делает возможным разложение решений уравнений типа Штурма–Лиувилля по ортонормированным системам собственных функций.

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

С топологией гильбертовы пространства связаны через теорему Рисса о характеризации рефлексивных банаховых пространств и через результаты А. Н. Колмогорова о энтропии и компактности множеств в L². Гильбертов куб и гильбертово пространство играют роль универсальных объектов в бесконечномерной топологии: работы Келдыша и Андерсона описывают их как универсальные сепарабельные пространства.

В теории вероятностей L² пространства случайных величин лежат в основе мартингальной теории и стохастического интеграла Ито. Теорема об ортогональной проекции интерпретируется как условное математическое ожидание: проекция на подпространство, порожденное σ‑алгеброй, дает E(X | 𝔊). В численных методах методы Галёркина и конечных элементов используют ортогональные проекции в гильбертовых пространствах функций, обосновывая сходимость и устойчивость аппроксимаций решений уравнений в частных производных.

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

Корни идеи восходят к Дэвиду Гильберту, изучавшему интегральные уравнения в начале XX века. В работах 1904–1912 годов он исследовал пространства квадратично суммируемых коэффициентов и собственные функции интегральных операторов, тем самым заложив интуицию «линейной алгебры в бесконечномерном случае». Карл Манк и Эрхард Шмидт развили понятие полноты и ортонормированных систем; Шмидт в 1907 году ввел разложение, ныне известное как разложение Гильберта–Шмидта. Формальное определение гильбертового пространства как полного предгильбертова пространства было закреплено в 1920‑е годы в работах фон Неймана и Риса. Классический трактат Риса и Наги «Лекции по функциональному анализу» (1929, венгерский оригинал; позже немецкое и английское издания) систематизировал теорию. Мотивация шла одновременно от интегральных уравнений, вариационного исчисления и задач математической физики. После работ Шрёдингера и Гейзенберга фон Нейман в книге «Математические основы квантовой механики» (1932) показал, что пространство состояний квантовой системы естественно моделируется гильбертовым пространством, а наблюдаемые — самосопряженными операторами.