Теорема Хана — Банаха

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

История

Теорема названа в честь австрийского математика Ханса Хана (1879–1934) и польского математика Стефана Банаха (1892–1945). Хан в 1927 году опубликовал общую форму теоремы для вещественных нормированных пространств, используя лемму Цорна. Банах, независимо от Хана, в 1929 году дал эквивалентную формулировку для случая сепарабельных пространств, используя индукцию. Окончательный вариант, охватывающий произвольные нормированные пространства, был сформулирован Банахом в его монографии «Теория линейных операций» (1932). Впоследствии теорема была обобщена на локально выпуклые пространства (теорема Хана — Банаха в геометрической форме).

Формулировка

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

Аналитическая форма

Пусть \(X\) — вещественное нормированное пространство, \(Y \subset X\) — линейное подпространство, и \(f: Y \to \mathbb{R}\) — линейный ограниченный функционал, то есть существует \(M > 0\) такое, что \(|f(y)| \le M \|y\|\) для всех \(y \in Y\). Тогда существует линейный ограниченный функционал \(F: X \to \mathbb{R}\) такой, что:

1. \(F(y) = f(y)\) для всех \(y \in Y\) (продолжение);
2. \(\|F\| = \|f\|\), где \(\|F\| = \sup_{\|x\| \le 1} |F(x)|\) (сохранение нормы).

Для комплексных нормированных пространств формулировка аналогична, но функционал должен быть комплексно-линейным, а норма определяется как модуль комплексного числа.

Геометрическая форма (теорема об отделимости)

Пусть \(A\) и \(B\) — два непересекающихся выпуклых множества в локально выпуклом пространстве \(X\), причём хотя бы одно из них открыто. Тогда существует ненулевой линейный непрерывный функционал \(f\) на \(X\) и число \(\alpha \in \mathbb{R}\) такие, что: \[ f(a) \le \alpha \le f(b) \quad \text{для всех } a \in A, b \in B. \] В более слабой форме (без требования открытости) существует ненулевой функционал, разделяющий множества нестрого.

Доказательство

Доказательство аналитической формы опирается на лемму Цорна (или аксиому выбора) и использует индуктивное расширение функционала на одномерные подпространства. Основная идея: для любого \(x_0 \notin Y\) можно построить расширение \(f\) на подпространство \(Y \oplus \mathbb{R}x_0\) так, чтобы норма не увеличилась. Затем, применяя лемму Цорна к множеству всех частичных расширений, получают максимальное расширение, которое оказывается определённым на всём \(X\).

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

Следствия

Теорема Хана — Банаха имеет ряд важных следствий:

• Существование нетривиальных непрерывных функционалов: в любом нормированном пространстве \(X\) для любого ненулевого вектора \(x_0\) существует непрерывный линейный функционал \(f\) такой, что \(f(x_0) = \|x_0\|\) и \(\|f\| = 1\).
• Двойственность: сопряжённое пространство \(X^*\) (пространство всех непрерывных линейных функционалов) достаточно богато, чтобы разделять точки \(X\).
• Теорема об отделимости: любое замкнутое выпуклое множество в локально выпуклом пространстве может быть отделено от точки, не принадлежащей ему, с помощью непрерывного линейного функционала.
• Принцип равномерной ограниченности (теорема Банаха — Штейнгауза) и теорема об открытом отображении часто доказываются с использованием следствий теоремы Хана — Банаха.

Применение

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

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

Оптимизация и теория игр

В выпуклой оптимизации теорема Хана — Банаха лежит в основе условий оптимальности (например, теорема Куна — Таккера) и теории двойственности. В экономике и теории игр она применяется для доказательства существования равновесия (например, равновесия Нэша) через отделимость выпуклых множеств.

Приближения

Теорема позволяет доказывать существование наилучшего приближения в нормированных пространствах. Например, если \(Y\) — замкнутое подпространство, то для любого \(x \in X\) существует \(y_0 \in Y\) такой, что \(\|x - y_0\| = \inf_{y \in Y} \|x - y\|\).

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

В математической физике теорема Хана — Банаха используется для построения состояний в алгебраическом подходе к квантовой теории поля, а также для доказательства существования положительных линейных функционалов на \(C^*\)-алгебрах.

Примеры

Пример 1: Продолжение функционала на \(L^\infty\)

Пусть \(X = L^\infty[0,1]\) — пространство существенно ограниченных функций, \(Y = C[0,1]\) — подпространство непрерывных функций. Функционал \(f(y) = y(0)\) определён на \(Y\) и имеет норму 1. По теореме Хана — Банаха существует продолжение \(F\) на всё \(L^\infty[0,1]\) с той же нормой. Такое продолжение не единственно и не может быть задано явно (оно зависит от выбора ультрафильтра).

Пример 2: Отделимость точки от выпуклого множества

В \(\mathbb{R}^2\) рассмотрим открытый единичный круг \(B = \{x: \|x\| < 1\}\) и точку \(x_0 = (1,0)\). По геометрической форме теоремы существует прямая (линейный функционал), разделяющая \(x_0\) и \(B\). Например, функционал \(f(x) = x_1\) даёт \(f(x_0) = 1\), а для всех \(x \in B\) имеем \(f(x) < 1\).

Критика и обобщения

Теорема Хана — Банаха существенно опирается на аксиому выбора (через лемму Цорна), что делает её неконструктивной. В некоторых разделах анализа (например, в теории меры) это может приводить к существованию «патологических» функционалов, не имеющих явного описания. В контексте конструктивной математики или теории вычислимости теорема не выполняется в полном объёме.

Обобщения теоремы включают:

• Теорему Хана — Банаха для локально выпуклых пространств (геометрическая форма).
• Теорему Хана — Банаха для модулей (над \(C^*\)-алгебрами).
• Теорему Хана — Банаха для векторных решёток (теорема Канторовича — Фихтенгольца).

Источники

1. Хан Х. «Теория линейных функционалов», 1927.
2. Банах С. «Теория линейных операций», 1932 (перевод на русский: 1948).
3. Колмогоров А. Н., Фомин С. В. «Элементы теории функций и функционального анализа», 7-е изд., 2004.
4. Рудин У. «Функциональный анализ», 2-е изд., 1991 (перевод: 2006).
5. Люстерник Л. А., Соболев В. И. «Элементы функционального анализа», 3-е изд., 1965.