Сопряжённые пространства

Сопряжённые пространства

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

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

Пусть \( E \) — нормированное пространство над полем \(\mathbb{R}\) или \(\mathbb{C}\).

• Линейный функционал — это отображение \( f: E \to \mathbb{F} \) (где \( \mathbb{F} \) — поле скаляров), удовлетворяющее условиям линейности:

\[ f(\alpha x + \beta y) = \alpha f(x) + \beta f(y) \quad \forall x, y \in E, \; \forall \alpha, \beta \in \mathbb{F}. \]

• Непрерывный (ограниченный) линейный функционал — линейный функционал, непрерывный относительно топологии, порождённой нормой в \( E \). Для линейного функционала непрерывность эквивалентна ограниченности: существованию такой константы \( C > 0 \), что \( |f(x)| \leq C \|x\|_E \) для всех \( x \in E \). Наименьшая из таких констант называется нормой функционала:

\[ \|f\|_{E^*} = \sup_{\|x\| = 1} |f(x)|. \]

• Сопряжённое пространство \( E^* \) -- множество всех непрерывных линейных функционалов на \( E \). Это множество само образует нормированное пространство относительно поточечного сложения функционалов, умножения на скаляр и нормы, определённой выше.

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

Топологии в сопряжённом пространстве

На сопряжённом пространстве \( E^* \) можно ввести различные топологии.

Конечномерный случай и двойственный базис

В конечномерном пространстве \( E \) размерности \( n \) сопряжённое пространство \( E^* \) имеет ту же размерность \( n \) и изоморфно \( E \) (хотя изоморфизм, вообще говоря, не канонический).

Пусть \( \{e_1, \ldots, e_n\} \) — базис в \( E \). Тогда сопряжённый (двойственный) базис \( \{e^1, \ldots, e^n\} \) в пространстве \( E^* \) определяется условиями: \[ e^i(e_j) = \delta^i_j = \begin{cases} 1, & i = j, \\ 0, & i \neq j. \end{cases} \] Любой функционал \( f \in E^* \) однозначно раскладывается по этому базису: \( f = \sum_{i=1}^n f(e_i) e^i \).

Пример: В пространстве \( \mathbb{R}^2 \) рассмотрим базис \( e_1 = (1/2, 1/2), e_2 = (0, 1) \). Сопряжённый базис \( \{e^1, e^2\} \) в \( (\mathbb{R}^2)^* \) состоит из функционалов, заданных как \( e^1(x, y) = 2x \) и \( e^2(x, y) = -x + y \), поскольку \( e^1(e_1)=1, e^1(e_2)=0, e^2(e_1)=0, e^2(e_2)=1 \).

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

В бесконечномерном случае структура сопряжённого пространства сложнее и является важной характеристикой самого пространства.

• Пространство \( L_p \). Пусть \( (X, \mu) \) — пространство с мерой, \( 1 < p < \infty \). Сопряжённым к пространству \( L_p(X, \mu) \) (функций, интегрируемых в степени \( p \)) является пространство \( L_q(X, \mu) \), где \( \frac{1}{p} + \frac{1}{q} = 1 \) (такие числа называются сопряжёнными показателями). Изоморфизм устанавливается следующим образом: каждому элементу \( g \in L_q \) ставится в соответствие функционал \( \ell_g \in (L_p)^* \), действующий по формуле:

\[ \ell_g(f) = \int_X f(x) g(x) d\mu(x). \] Неравенство Гёльдера гарантирует, что этот функционал корректен и ограничен. Этот результат остаётся верным и для последовательностей: \( (\ell_p)^* \cong \ell_q \).

• Пространство \( C[a, b] \). Сопряжённым к пространству непрерывных функций на отрезке с супремум-нормой является пространство знакопеременных мер Радона ограниченной вариации на \( [a, b] \) (теорема Рисса — Маркова).

• Пространство \( L_1 \). Сопряжённое к \( L_1(X, \mu) \) изоморфно \( L_\infty(X, \mu) \) (пространству существенно ограниченных функций), если мера \( \mu \) является \sigma-конечной.

• Гильбертово пространство \( L_2 \). Частный случай пространств \( L_p \) при \( p=2 \). Поскольку для \( p=2 \) сопряжённый показатель \( q \) также равен 2, получаем \( (L_2)^* \cong L_2 \). Это проявление общего факта: всякое гильбертово пространство самосопряжено (см. ниже).

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

Для гильбертовых пространств \( H \) структура сопряжённого пространства описывается теоремой Рисса об общем виде линейного функционала в гильбертовом пространстве.

Теорема Рисса.
Для всякого непрерывного линейного функционала \( f \in H^* \) в гильбертовом пространстве \( H \) существует единственный элемент \( y_f \in H \) такой, что функционал представляется в виде скалярного произведения: \[ f(x) = (x, y_f) \quad \forall x \in H. \] При этом \( \|f\|_{H^*} = \|y_f\|_H \).

Эта теорема устанавливает не только изоморфизм между \( H^* \) и \( H \), но и изометрический изоморфизм, сохраняющий норму. Однако важно отметить, что этот изоморфизм является антилинейным в случае комплексного поля: если \( f \mapsto y_f \) и \( g \mapsto y_g \), то \( (\alpha f + \beta g) \mapsto \overline{\alpha} y_f + \overline{\beta} y_g \).

Таким образом, гильбертово пространство можно отождествить со своим сопряжённым, что упрощает многие рассуждения. В частности, в гильбертовом пространстве понятие самосопряжённого оператора (\( A = A^* \)) становится естественным обобщением симметричной матрицы из конечномерной линейной алгебры.

Второе сопряжённое пространство и рефлексивность

Поскольку \( E^* \) само является нормированным пространством, можно рассмотреть сопряжённое к нему — второе сопряжённое пространство \( E^{**} = (E^*)^* \).

Для любого элемента \( x \in E \) можно канонически построить функционал \( F_x \in E^{**} \), действующий на элементы \( f \in E^* \) по правилу: \[ F_x(f) = f(x). \] Отображение \( \mathcal{J}: E \to E^{**}, \; \mathcal{J}(x) = F_x \) называется каноническим вложением. Оно является линейным изометрическим вложением, то есть \( \|\mathcal{J}(x)\|_{E^{**}} = \|x\|_E \).

• Рефлексивное пространство — это пространство, для которого каноническое вложение \( \mathcal{J} \) является сюръективным, то есть \( \mathcal{J}(E) = E^{**} \). В этом случае пространство можно отождествить со своим вторым сопряжённым.

Примеры рефлексивных пространств:

• Все конечномерные нормированные пространства рефлексивны.
• Все гильбертовы пространства рефлексивны.
• Пространства \( L_p \) (и \( \ell_p \)) рефлексивны при \( 1 < p < \infty \).

Примеры нерефлексивных пространств:

• Пространства \( L_1, L_\infty, C[a,b] \) не являются рефлексивными.

Рефлексивность — важное свойство, гарантирующее, например, что из любой ограниченной последовательности можно выделить подпоследовательность, слабо сходящуюся к элементу того же пространства (теорема Эберлейна-Шмульяна).

Список источников

1. Колмогоров А. Н., Фомин С. В. / Элементы теории функций и функционального анализа — любое издание.
2. Точилин П. А., Ашабоков А. Н. / Семинарские занятия по курсу «Функциональный анализ», 2024.