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

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

¶Определение

Формально, гильбертово пространство — это пара \((H, \langle \cdot, \cdot \rangle)\), где \(H\) — векторное пространство над полем действительных (\(\mathbb{R}\)) или комплексных (\(\mathbb{C}\)) чисел, а \(\langle \cdot, \cdot \rangle: H \times H \to \mathbb{F}\) — скалярное произведение, удовлетворяющее следующим аксиомам:

1. Линейность по первому аргументу: \(\langle \alpha x + \beta y, z \rangle = \alpha \langle x, z \rangle + \beta \langle y, z \rangle\) для всех \(x, y, z \in H\) и \(\alpha, \beta \in \mathbb{F}\).
2. Эрмитовость (симметричность): \(\langle x, y \rangle = \overline{\langle y, x \rangle}\) (черта обозначает комплексное сопряжение; для вещественного случая — просто симметричность).
3. Положительная определённость: \(\langle x, x \rangle \ge 0\) для всех \(x \in H\), причём \(\langle x, x \rangle = 0\) тогда и только тогда, когда \(x = 0\).

Скалярное произведение порождает норму: \(\|x\| = \sqrt{\langle x, x \rangle}\). Основное свойство, отличающее гильбертово пространство от предгильбертова (пространства со скалярным произведением, но не обязательно полного), — это полнота: любая фундаментальная последовательность (последовательность Коши) в \(H\) сходится к некоторому элементу из \(H\).

¶История

Понятие гильбертова пространства было введено в начале XX века в работах немецкого математика Давида Гильберта, который изучал интегральные уравнения и бесконечные системы линейных уравнений. В 1904—1906 годах Гильберт, совместно с Эрхардом Шмидтом, разработал теорию пространства последовательностей, которое позже стало называться \(\ell^2\) (пространство квадратично суммируемых последовательностей). В 1927 году Джон фон Нейман дал строгое аксиоматическое определение гильбертова пространства и применил его к математическому обоснованию квантовой механики. В 1930-х годах теория гильбертовых пространств получила дальнейшее развитие в работах Маршалла Стоуна, Германа Вейля и других математиков.

¶Примеры

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

• Евклидово пространство \(\mathbb{R}^n\) со скалярным произведением \(\langle x, y \rangle = \sum_{i=1}^n x_i y_i\).
• Унитарное пространство \(\mathbb{C}^n\) со скалярным произведением \(\langle x, y \rangle = \sum_{i=1}^n x_i \overline{y_i}\).

¶Бесконечномерные пространства

• Пространство \(\ell^2\): множество всех последовательностей комплексных чисел \((x_n)_{n=1}^\infty\) таких, что \(\sum_{n=1}^\infty |x_n|^2 < \infty\). Скалярное произведение: \(\langle x, y \rangle = \sum_{n=1}^\infty x_n \overline{y_n}\).
• Пространство \(L^2(\Omega)\): множество всех измеримых функций \(f: \Omega \to \mathbb{C}\) (где \(\Omega\) — измеримое подмножество \(\mathbb{R}^n\)), для которых \(\int_\Omega |f(x)|^2 \, dx < \infty\) (интеграл Лебега). Скалярное произведение: \(\langle f, g \rangle = \int_\Omega f(x) \overline{g(x)} \, dx\). Функции, различающиеся на множестве меры нуль, отождествляются.
• Пространство Соболева \(H^s(\Omega)\): пространство функций, обобщённые производные которых до порядка \(s\) принадлежат \(L^2(\Omega)\). Является гильбертовым со специальным скалярным произведением.

¶Свойства

¶Ортогональность и ортонормированные базисы

Два элемента \(x, y \in H\) называются ортогональными (\(x \perp y\)), если \(\langle x, y \rangle = 0\). Множество векторов \(\{e_i\}_{i \in I}\) называется ортонормированным, если \(\langle e_i, e_j \rangle = \delta_{ij}\) (символ Кронекера). В любом гильбертовом пространстве существует ортонормированный базис — максимальное ортонормированное множество, линейная оболочка которого плотна в \(H\). Для сепарабельных гильбертовых пространств (имеющих счётное всюду плотное множество) такой базис счётен. Любой элемент \(x \in H\) может быть разложен в ряд Фурье по ортонормированному базису: \(x = \sum_{i \in I} \langle x, e_i \rangle e_i\).

¶Теорема о проекции

Для любого замкнутого выпуклого подмножества \(C \subset H\) и любого \(x \in H\) существует единственный элемент \(y \in C\), минимизирующий расстояние \(\|x - y\|\). Если \(C\) — замкнутое подпространство, то \(y\) называется ортогональной проекцией \(x\) на \(C\), и выполняется разложение \(x = y + z\), где \(z \perp C\).

¶Двойственность

По теореме Рисса — Фреше, для любого гильбертова пространства \(H\) существует изометрический изоморфизм между \(H\) и его сопряжённым пространством \(H^\) (пространством непрерывных линейных функционалов). Каждый функционал \(f \in H^\) имеет вид \(f(x) = \langle x, y \rangle\) для единственного \(y \in H\), причём \(\|f\| = \|y\|\).

¶Неравенства

• Неравенство Коши — Буняковского: \(|\langle x, y \rangle| \le \|x\| \|y\|\).
• Неравенство треугольника: \(\|x + y\| \le \|x\| + \|y\|\).
• Правило параллелограмма: \(\|x + y\|^2 + \|x - y\|^2 = 2(\|x\|^2 + \|y\|^2)\).

¶Классификация

Гильбертовы пространства классифицируются по размерности и сепарабельности:

• Конечномерные: все гильбертовы пространства одинаковой конечной размерности изоморфны \(\mathbb{R}^n\) или \(\mathbb{C}^n\).
• Бесконечномерные сепарабельные: все такие пространства изоморфны \(\ell^2\) (или \(L^2[0,1]\)). Примеры: \(L^2(\mathbb{R})\), пространство Соболева \(H^s(\mathbb{R})\).
• Бесконечномерные несепарабельные: существуют, но встречаются реже (например, пространство функций на несчётном множестве с суммируемым квадратом).

¶Применение

¶Квантовая механика

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

¶Теория сигналов

В теории обработки сигналов пространство \(L^2(\mathbb{R})\) используется для представления сигналов с конечной энергией. Ортонормированные базисы, такие как базис Фурье или вейвлеты, позволяют разлагать сигналы на частотные или временные компоненты. Преобразование Фурье является унитарным оператором в \(L^2(\mathbb{R})\).

¶Уравнения математической физики

Гильбертовы пространства, особенно пространства Соболева, служат естественной средой для изучения краевых задач для дифференциальных уравнений в частных производных. Метод Галёркина и теория слабых решений основаны на свойствах ортогональности и полноты.

¶Статистика и теория вероятностей

Пространство \(L^2(\Omega, \mathcal{F}, P)\) квадратично интегрируемых случайных величин является гильбертовым. Корреляция и ковариация выражаются через скалярное произведение. Метод главных компонент и спектральное разложение корреляционных матриц используют структуру гильбертова пространства.

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

• Гильбертово пространство является частным случаем банахова пространства, в котором норма порождена скалярным произведением. Не всякое банахово пространство является гильбертовым — для этого необходимо и достаточно выполнения правила параллелограмма.
• В квантовой механике бесконечномерность гильбертова пространства отражает непрерывность спектра наблюдаемых (например, координаты или импульса), а также возможность суперпозиции бесконечного числа состояний.
• Парадокс Гильберта (отель Гильберта) иллюстрирует свойства бесконечномерных пространств, но не связан напрямую с гильбертовыми пространствами — это мысленный эксперимент о счётной бесконечности.

¶Источники

• Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. — М.: Наука, 1976.
• Рид М., Саймон Б. Методы современной математической физики. Том 1: Функциональный анализ. — М.: Мир, 1977.
• Халмош П. Гильбертово пространство в задачах. — М.: Мир, 1970.
• Фон Нейман Дж. Математические основы квантовой механики. — М.: Наука, 1964.