Нормированные пространства и пространства Банаха

Мотивация: структура, совместимая с линейностью

Метрическое пространство — «голое» расстояние. Нормированное пространство добавляет линейную структуру: можно складывать элементы и умножать на скаляры, и норма согласована с этими операциями. Пространства Банаха — полные нормированные пространства — основной объект функционального анализа и численных методов. Здесь живут линейные операторы, интегральные уравнения и методы оптимизации.

Нормы и нормированные пространства

Норма ‖·‖: V → ℝ на векторном пространстве V (над ℝ или ℂ):

‖x‖ ≥ 0; ‖x‖ = 0 ⟺ x = 0.
‖αx‖ = |α|·‖x‖ (однородность).
‖x+y‖ ≤ ‖x‖ + ‖y‖ (неравенство треугольника).

Метрика из нормы: d(x,y) = ‖x−y‖. Не каждая метрика происходит из нормы.

Примеры норм на ℝⁿ:

‖x‖₁ = Σ|xᵢ| («манхэттенская»).
‖x‖₂ = √(Σxᵢ²) (евклидова).
‖x‖_∞ = max|xᵢ| («чебышёвская»).

Эквивалентность норм: ‖·‖_a ≈ ‖·‖_b если ∃C₁,C₂: C₁‖x‖_a ≤ ‖x‖_b ≤ C₂‖x‖_a. В конечномерных пространствах все нормы эквивалентны. В бесконечномерных — нет.

Пространство Банаха: нормированное пространство, полное по метрике ‖x−y‖.

Примеры: (ℝⁿ, ‖·‖_p), (lᵖ, ‖·‖p), (C[a,b], ‖·‖∞), (Lᵖ[a,b], ‖·‖_p) при p ∈ [1,∞].

Ключевые теоремы о Банаховых пространствах

Теорема Банаха–Штейнгауса (принцип равностепенной ограниченности): Если {Aₙ} — семейство ограниченных линейных операторов X→Y (X — Банахово) и sup_n ‖Aₙx‖ < ∞ для каждого x, то sup_n ‖Aₙ‖ < ∞.

Теорема об открытом отображении: Сюрьективный ограниченный линейный оператор T: X→Y между Банаховыми пространствами — открытое отображение. Следствие: ограниченный биективный оператор имеет ограниченный обратный (теорема об обратном операторе).

Теорема о замкнутом графике: Линейный оператор T: X→Y с замкнутым графиком Gr(T) = {(x,Tx)} — ограничен.

Ряды в Банаховых пространствах

В Банаховом пространстве: Σ‖xₙ‖ < ∞ ⟹ Σxₙ сходится (абсолютная сходимость влечёт условную). Критерий Коши: Σxₙ сходится ⟺ ‖xₙ₊₁ + ... + xₙ₊ₘ‖ → 0.

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

Задача: Найти норму оператора T: C[0,1] → C[0,1], Tf(x) = ∫₀ˣ f(t) dt.

Шаг 1. Оцениим |Tf(x)| = |∫₀ˣ f(t)dt| ≤ ∫₀ˣ |f(t)|dt ≤ x·‖f‖∞ ≤ 1·‖f‖∞. Значит ‖Tf‖∞ ≤ ‖f‖∞ → ‖T‖ ≤ 1.

Шаг 2. Покажем ‖T‖ = 1: возьмём f ≡ 1. Tf(x) = x. ‖Tf‖∞ = 1 = ‖f‖∞. Значит ‖T‖ ≥ 1.

Шаг 3. Итого: ‖T‖ = 1. Оператор ограничен.

Шаг 4. Сравнение норм на C[0,1]: ‖f‖∞ ≥ ‖f‖{L²} ≥ ‖f‖{L¹}. Для fₙ(x) = xⁿ: ‖fₙ‖∞ = 1, ‖fₙ‖{L²} = 1/√(2n+1) → 0, ‖fₙ‖{L¹} = 1/(n+1) → 0. Нормы не эквивалентны на C[0,1] (∞-мерное пространство) ✓.

Шаг 5. Равенство ‖T‖ = 1 соответствует тому, что интегрирование «не увеличивает» равномерную норму. Оператор дифференцирования d/dx: C¹[0,1] → C[0,1] — неограничен: fₙ(x) = sin(nx)/n → 0 равномерно, но fₙ'(x) = cos(nx) не → 0. Это объясняет, почему численное дифференцирование неустойчиво.

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

Численный анализ: оценки погрешностей численных методов — оценки норм остатков. Теорема об обратном операторе гарантирует, что если линейная система хорошо обусловлена (обратный оператор ограничен), то малые изменения правой части дают малые изменения решения.

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

Норма ‖x‖ обобщает понятие длины: однородность ‖αx‖ = |α|·‖x‖, неравенство треугольника ‖x+y‖ ≤ ‖x‖ + ‖y‖, положительная определённость. Различные нормы на одном пространстве могут давать разные топологии (в бесконечномерных пространствах). Конкретные банаховы пространства повсюду: C[a,b] с sup-нормой (непрерывные функции, теоремы Вейерштрасса об аппроксимации), L^p (интегрируемые в p-й степени, основа теории вероятностей и квантовой механики при p=2), ℓ^p (последовательности), пространства Соболева W^{k,p} (база теории УЧП). Теорема Хана–Банаха гарантирует, что на любом банаховом пространстве существует «достаточно много» линейных функционалов — двойственное пространство X* нетривиально.

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

Банаховы пространства естественно возникают в теории дифференциальных уравнений. Уравнения в частных производных часто переписывают как операторные уравнения в Lp или в пространствах Соболева Wk,p. Классический пример — формулировка задачи Дирихле через слабое решение в H1,0(Ω) и применение теоремы Рисса о представлении непрерывных линейных функционалов в гильбертовых пространствах. Теорема Лакса–Мильграма (1954) использует полноту и непрерывность билинейной формы для существования и единственности решения эллиптических задач.

В алгебре банаховы алгебры объединяют линейную и мультипликативную структуру. Спектральная теория в таких алгебрах обобщает разложение матриц на инфинитномерный случай. Теорема Гельфанда (1941) связывает коммутативные банаховы алгебры с компактными топологическими пространствами через максимальные идеалы и непрерывные функции на спектре.

Топология присутствует через локально выпуклые пространства: многие результаты (Хана–Банаха, принцип открытого отображения) имеют версии для более широких классов топологических векторных пространств. Компактность операторов, исследованная Фредгольмом и Риссом, опирается на метрическую структуру нормированного пространства и понятие относительно компактных множеств.

В теории вероятностей пространства Lp(Ω, F, P) используются для описания случайных величин и процессов. Принцип равностепенной ограниченности Банаха–Штейнгауса перекликается с теоремой о мажорируемой сходимости Лебега и играет роль в изучении сходимости последовательностей случайных величин в нормах. В численных методах априорные оценки в норме, устойчивость схем и условие Липшица для операторов фиксированной точки (теорема Банаха о сжимающем отображении) лежат в основе метода простой итерации и метода Ньютона.

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

Первые ясные формулировки нормированных пространств появились у Фредхольма и Ф. Рисса в начале XX века при исследовании интегральных уравнений. Стефан Банах в книге «Théorie des opérations linéaires» (Monografie Matematyczne, 1932) систематизировал понятие полного нормированного пространства и заложил фундамент функционального анализа. Теорема Хана–Банаха была независимо получена Хансом Ханом (1927) и Банахом (1929), мотивирована задачами продолжения линейных функционалов на пространства функций. Теорема об открытом отображении и принцип замкнутого графика сформулированы Банахом и его учениками (Мазур, Орлич, Кистенблют) в 1930-е годы в Львовской математической школе. Развитие в середине XX века связано с работами Л. Шварца о распределениях, где нормированные пространства дополняются более общими топологическими конструкциями, и с теорией банаховых алгебр Гельфанда. Джон фон Нейман и Маршалл Стоун применили гильбертовы и банаховы пространства к квантовой механике и спектральной теории операторов.