Линейные функционалы и двойственные пространства

Мотивация: линейные «измерения» пространства

Линейный функционал f: X → ℝ — это «измерение» элементов: он приписывает каждому элементу число линейным образом. Двойственное пространство X* содержит все ограниченные (непрерывные) линейные функционалы. Теорема Хана–Банаха — «инструмент продолжения»: любое частичное измерение можно расширить на всё пространство без потери нормы. Это фундамент выпуклой оптимизации и теории двойственности.

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

Аналитическая форма: Пусть M — подпространство нормированного X, f — ограниченный линейный функционал на M. Тогда существует F ∈ X* с F|M = f и ‖F‖{X*} = ‖f‖_M.

Геометрическая форма: Два непересекающихся выпуклых множества (одно открытое) разделяются гиперплоскостью {x : F(x) = c} для некоторого F ∈ X*, c ∈ ℝ.

Следствия:

Для x₀ ≠ 0: ∃F ∈ X*: F(x₀) = ‖x₀‖, ‖F‖ = 1.
‖x‖ = sup_{F∈X*, ‖F‖=1} |F(x)| — двойственное представление нормы.
X разделяет функционалы: x ≠ y ⟹ ∃F: F(x) ≠ F(y).

Теорема Рисса о представлении

В гильбертовом пространстве (Riesz, 1907): Для любого F ∈ H* существует единственный y ∈ H: F(x) = ⟨x,y⟩ для всех x ∈ H, и ‖F‖ = ‖y‖. Следствие: H* изометрически изоморфно H. Гильбертовы пространства «самодвойственны».

В Lᵖ-пространствах: (Lᵖ)* ≅ Lᵖ' при 1/p + 1/p' = 1 (1 < p < ∞). (L¹)* ≅ L∞. (L∞)* строго содержит L¹.

Слабые топологии

Слабая сходимость: xₙ ⇀ x, если F(xₙ) → F(x) для всех F ∈ X*. Из нормной сходимости следует слабая, но не наоборот.

Теорема Алаоглу–Банаха: Единичный шар X* слабо* компактен. Ключевой инструмент вариационного исчисления.

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

Задача: В l² найти элемент y, соответствующий функционалу F(x) = Σₙ₌₁^∞ xₙ/(n·2ⁿ) по теореме Рисса, и вычислить ‖F‖.

Шаг 1. F(x) = ⟨x, y⟩ = Σₙ xₙ yₙ. Значит yₙ = 1/(n·2ⁿ).

Шаг 2. Проверим y ∈ l²: ‖y‖²_{l²} = Σₙ 1/(n²·4ⁿ). Оценим: Σ 1/(n²·4ⁿ) ≤ Σ 1/4ⁿ = 1/(1−1/4)−1 = 1/3. Значит y ∈ l² ✓.

Шаг 3. Норма ‖F‖ = ‖y‖_{l²} = (Σₙ₌₁^∞ 1/(n²·4ⁿ))^{1/2}. Численно: n=1: 1/4, n=2: 1/(4·16)=1/64, n=3: 1/(9·64)≈0.00174. Сумма ≈ 0.266 → ‖F‖ ≈ 0.515.

Шаг 4. Слабая сходимость eₙ ⇀ 0: для F(eₙ) = yₙ = 1/(n·2ⁿ) → 0. Для любого y ∈ l² функционал F_y(eₙ) = yₙ → 0 (так как y ∈ l² ⟹ yₙ → 0). Значит eₙ ⇀ 0 ✓. Но ‖eₙ‖ = 1 ≠ 0 → нормная сходимость отсутствует ✓.

Шаг 5. Применение теоремы Хана–Банаха: на подпространстве M = {x : x₁ = 0} определим нулевой функционал f ≡ 0. Расширение на всё l² — любой функционал вида F_y с y₁ произвольным, y₂=y₃=...=0. Ненулевой функционал, занулённый на M: F(x) = x₁ ✓.

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

Метод опорных векторов (SVM): задача классификации сводится к поиску разделяющей гиперплоскости максимального зазора — геометрическая форма теоремы Хана–Банаха. Двойственная задача SVM решается эффективнее прямой: O(n²) вместо O(d) при n малом числе опорных векторов.

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

Двойственное пространство X* = {непрерывные линейные функционалы X → ℝ или ℂ} часто изучается отдельно, потому что оно удобнее или богаче исходного. Для гильбертовых: H* ≅ H (теорема Рисса). Для L^p при 1 ≤ p < ∞: (L^p)* ≅ L^q, 1/p + 1/q = 1; но (L^∞)* — гораздо более сложное «биg» пространство. Слабая топология (порождённая всеми функционалами) и слабая* топология на X* — мощные инструменты компактификации: теорема Банаха–Алаоглу утверждает, что замкнутый единичный шар X* слабо* компактен, что обеспечивает существование решений во множестве задач оптимизации, теории игр и УЧП.

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

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

В алгебре двойственные пространства лежат в основе понятия двойственного модуля и контравариантных функторов Hom(·, F). В теории представлений линейные функционалы порождают сопряжённые представления; у Понтрягина и Топоногова это тесно связано с гармоническим анализом на группах и разложением по собственным функциям.

В топологии слабые и слабые* топологии приводят к важным компактностным результатам. Конструкция Гельфанда–Неймарк–Сегала задаёт соответствие между положительными линейными функционалами на C*-алгебре и представлениями этой алгебры в гильбертовом пространстве, что фактически связывает функционалы с мерой и топологией спектра алгебры.

В теории вероятностей линейные функционалы реализуют оператор математического ожидания: распределение случайной величины однозначно определяется значениями функционала ожидания на классе ограниченных измеримых функций. Теорема Рисса–Маркова–Кака показывает, как положительные линейные функционалы на пространстве непрерывных функций на компактном множестве порождают Борелевы меры, что дает мост между функциональным анализом и классической мерой Колмогорова.

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

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

Первые систематические рассуждения о линейных функционалах относятся к работам Фредгольма и Гильберта начала XX века, где функционалы появлялись как интегральные выражения в теории уравнений Фредгольма. Формальное понятие двойственного пространства закрепилось в трудах Рисса и Фишера (1907–1910) в контексте ортогональных разложений и гильбертова пространства квадратсуммируемых функций. Теорема Рисса о представлении непрерывных функционалов в гильбертовом пространстве была сформулирована и доказана Ф. Риссом в 1907 году в связи с задачами спектральной теории. В 1920–1930‑е годы Ш. Банах в книге «Теория линейных операций» (Warszawa–Lwów, 1932) окончательно оформил понятия нормированного пространства, его двойственного и слабой топологии. В том же периоде С. Банах и Г. Хан доказали теорему о продолжении функционалов, которая быстро стала краеугольным камнем функционального анализа. Геометрическая трактовка через разделяющие гиперплоскости активно развивалась в школе Мазура–Орлича, что подготовило язык для дальнейшего развития выпуклого анализа у Фенхеля и Рокафеллара в середине XX века. Работы Алаоглу (1940) о слабой* компактности единичного шара двойственного пространства стали фундаментом вариационного исчисления и теории оптимального управления.