Банахово пространство

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

Определение

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

1. Положительная определённость: \(\|x\| \geq 0\) для всех \(x \in X\), и \(\|x\| = 0\) тогда и только тогда, когда \(x = 0\).
2. Однородность: \(\|\alpha x\| = |\alpha| \cdot \|x\|\) для любого скаляра \(\alpha\) и любого \(x \in X\).
3. Неравенство треугольника: \(\|x + y\| \leq \|x\| + \|y\|\) для всех \(x, y \in X\).

Пространство \((X, \|\cdot\|)\) называется полным, если любая фундаментальная последовательность (последовательность Коши) в \(X\) сходится к элементу из \(X\). Полнота является ключевым свойством, отличающим банаховы пространства от произвольных нормированных пространств. Без полноты многие теоремы функционального анализа, такие как теорема Банаха — Штейнгауза или теорема об открытом отображении, не выполняются.

История

Термин «банахово пространство» возник в 1920-х годах в работах Стефана Банаха, который совместно с другими математиками львовской математической школы (в частности, Гуго Штейнгаузом и Станиславом Мазуром) заложил основы функционального анализа. В 1932 году Банax опубликовал монографию «Théorie des opérations linéaires» («Теория линейных операций»), где систематически изложил теорию нормированных пространств и линейных операторов. До этого понятие нормированного пространства в неявном виде использовалось в работах Давида Гильберта, Фридриха Рисса и других математиков, однако именно Банax впервые дал строгое определение и доказал фундаментальные теоремы.

Примеры

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

• Евклидово пространство \(\mathbb{R}^n\) с нормой \(\|x\| = \sqrt{x_1^2 + \dots + x_n^2}\) является банаховым пространством. Аналогично, комплексное пространство \(\mathbb{C}^n\).
• Пространство \(\ell_p^n\) для \(1 \leq p \leq \infty\): \(\mathbb{R}^n\) с нормой \(\|x\|_p = (|x_1|^p + \dots + |x_n|^p)^{1/p}\) (при \(p = \infty\) — \(\|x\|_\infty = \max_{i} |x_i|\)). Все эти пространства полны, так как конечномерны.

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

• Пространство \(\ell_p\) (\(1 \leq p \leq \infty\)): множество всех последовательностей \((x_n)\) действительных или комплексных чисел, для которых \(\sum_{n=1}^\infty |x_n|^p < \infty\) (при \(p = \infty\) — ограниченных последовательностей). Норма задаётся как \(\|x\|_p = (\sum_{n=1}^\infty |x_n|^p)^{1/p}\) (или \(\|x\|_\infty = \sup_n |x_n|\)). Это банаховы пространства.
• Пространство \(L_p[a,b]\) (\(1 \leq p \leq \infty\)): множество классов эквивалентности измеримых функций на отрезке \([a,b]\), для которых \(\int_a^b |f(x)|^p dx < \infty\) (при \(p = \infty\) — существенно ограниченных функций). Норма: \(\|f\|_p = (\int_a^b |f(x)|^p dx)^{1/p}\) (или \(\|f\|_\infty = \operatorname{ess sup}_{x \in [a,b]} |f(x)|\)). Полнота этих пространств доказывается с помощью теоремы Рисса — Фишера.
• Пространство \(C[a,b]\): множество непрерывных функций на отрезке \([a,b]\) с нормой \(\|f\| = \max_{x \in [a,b]} |f(x)|\). Это банахово пространство.
• Пространство \(c_0\): множество последовательностей, сходящихся к нулю, с нормой \(\|x\|_\infty = \sup_n |x_n|\). Замкнутое подпространство \(\ell_\infty\).

Свойства

Топологические и метрические свойства

• Любое банахово пространство является метрическим пространством с метрикой \(d(x,y) = \|x - y\|\). Полнота относительно этой метрики — определяющее свойство.
• В банаховом пространстве шар (единичный шар \(\{x : \|x\| \leq 1\}\)) является замкнутым и ограниченным множеством. В бесконечномерном случае он не является компактным (теорема Рисса о компактности).
• Банаховы пространства являются топологическими векторными пространствами: сложение и умножение на скаляр непрерывны в топологии, порождённой нормой.

Линейные операторы

• Линейный оператор \(T : X \to Y\) между банаховыми пространствами называется ограниченным, если существует константа \(C\) такая, что \(\|Tx\|_Y \leq C \|x\|_X\) для всех \(x \in X\). В функциональном анализе ограниченность эквивалентна непрерывности.
• Пространство всех ограниченных линейных операторов из \(X\) в \(Y\) обозначается \(B(X,Y)\) и само является банаховым пространством с операторной нормой \(\|T\| = \sup_{\|x\| \leq 1} \|Tx\|_Y\).
• Теорема Банаха — Штейнгауза (принцип равномерной ограниченности): если семейство ограниченных линейных операторов поточечно ограничено, то оно равномерно ограничено по норме.
• Теорема об открытом отображении: если \(T : X \to Y\) — сюръективный ограниченный линейный оператор, то \(T\) отображает открытые множества в открытые.
• Теорема о замкнутом графике: если линейный оператор \(T : X \to Y\) имеет замкнутый график, то он ограничен.

Двойственные пространства

• Сопряжённое пространство \(X^*\) — это пространство всех ограниченных линейных функционалов на \(X\) (то есть операторов из \(X\) в поле \(\mathbb{R}\) или \(\mathbb{C}\)). Оно само является банаховым пространством с нормой \(\|f\| = \sup_{\|x\| \leq 1} |f(x)|\).
• Для многих классических банаховых пространств сопряжённые пространства известны. Например:
• \((\ell_p)^* \cong \ell_q\) для \(1 < p < \infty\), где \(1/p + 1/q = 1\).
• \((\ell_1)^* \cong \ell_\infty\).
• \((c_0)^* \cong \ell_1\).
• \((L_p[a,b])^* \cong L_q[a,b]\) для \(1 < p < \infty\).
• \((C[a,b])^*\) — пространство конечных борелевских мер (теорема Рисса — Маркова — Какутани).
• Рефлексивность: банахово пространство \(X\) называется рефлексивным, если каноническое вложение \(X \to X^{**}\) является изометрическим изоморфизмом. Примеры рефлексивных пространств: \(\ell_p\) и \(L_p\) для \(1 < p < \infty\), а также все конечномерные пространства. Пространства \(C[a,b]\), \(\ell_1\), \(\ell_\infty\) не являются рефлексивными.

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

По типу нормы

• Гильбертовы пространства — банаховы пространства, норма которых порождена скалярным произведением (например, \(L_2[a,b]\) или \(\ell_2\)). Они обладают дополнительной геометрической структурой.
• Пространства типа \(L_p\) — обобщение \(L_2\) на случай произвольного \(p \geq 1\).
• Пространства непрерывных функций — \(C(K)\) для компактного хаусдорфова пространства \(K\).

По свойствам базиса

• Пространства с базисом Шаудера: существуют последовательности элементов, по которым любой элемент пространства разлагается в ряд. Например, в \(\ell_p\) базисом служат стандартные единичные векторы. Не все банаховы пространства имеют базис Шаудера (например, пространство \(C[0,1]\) имеет базис, но это нетривиальный факт; существуют и пространства без базиса, такие как \(\ell_\infty\)).
• Пространства с безусловным базисом: базис, для которого сходимость ряда не зависит от порядка слагаемых. Пример: \(\ell_p\) для \(1 < p < \infty\) обладает безусловным базисом, а \(C[0,1]\) — нет.

Применение

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

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

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

В квантовой механике состояния системы описываются векторами в гильбертовом пространстве (частном случае банахова пространства). Наблюдаемые величины представляются самосопряжёнными операторами.

Теория приближений

В \(C[a,b]\) и \(L_p\) пространствах изучаются наилучшие приближения функций полиномами или другими классами функций. Банаховы пространства предоставляют метрику для оценки погрешности.

Экономика и теория игр

В бесконечномерных моделях экономики (например, с континуумом товаров) используются банаховы пространства для описания потребительских наборов и цен.

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

• Стефан Банax ввёл понятие банахова пространства в своей докторской диссертации 1920 года, защищённой во Львовском университете. Однако из-за бюрократических проволочек диссертация была опубликована только в 1922 году.
• Существует так называемая проблема базиса (решена в 1973 году П. Энфло): не каждое сепарабельное банахово пространство имеет базис Шаудера. Энфло построил пример сепарабельного банахова пространства без базиса.
• Банаховы пространства могут быть несепарабельными, например, \(\ell_\infty\) или \(L_\infty[a,b]\).
• Теорема Банаха — Алаоглу утверждает, что единичный шар в сопряжённом пространстве \(X^\) компактен в слабой- топологии. Это свойство широко используется в вариационных задачах.

Источники

• Банax С. Теория линейных операций. — Ижевск: НИЦ «Регулярная и хаотическая динамика», 2001. — 240 с.
• Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. — 7-е изд. — М.: Физматлит, 2004. — 572 с.
• Рудин У. Функциональный анализ. — М.: Мир, 1975. — 443 с.
• Крейн С. Г. Функциональный анализ. — М.: Наука, 1972. — 544 с.