Топологическая норма¶

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

¶История

Понятие топологической нормы возникло в начале XX века в рамках развития функционального анализа. Основополагающие работы были выполнены Стефаном Банахом, который в 1922 году ввёл понятие нормированного пространства, а позднее, в 1932 году, в своей монографии «Théorie des opérations linéaires» систематизировал теорию банаховых пространств. Термин «топологическая норма» стал использоваться для различения норм, задающих топологию, от других типов норм (например, алгебраических норм в теории колец). Важный вклад в развитие теории внесли Давид Гильберт, Джон фон Нейман, Андрей Колмогоров и другие математики, исследовавшие взаимосвязь между нормой, топологией и линейной структурой.

¶Определение

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

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

Эти аксиомы гарантируют, что функция \( \|\cdot\| \) является нормой в классическом смысле. Топологическая норма дополнительно предполагает, что топология, порождённая метрикой \(d(x, y) = \|x - y\|\), согласована с линейной структурой пространства: операции сложения и умножения на скаляр непрерывны в этой топологии. Однако, как показано в теории, любая норма, удовлетворяющая аксиомам 1–3, автоматически порождает топологию, в которой эти операции непрерывны, поэтому термин «топологическая норма» часто используется как синоним «нормы» в контексте топологических векторных пространств.

¶Свойства

• Непрерывность: Норма является непрерывной функцией относительно порождённой ею топологии.
• Выпуклость: Единичный шар \(\{x \in V : \|x\| \leq 1\}\) является выпуклым множеством.
• Симметричность: Норма инвариантна относительно сдвигов: \(\|x - y\|\) задаёт метрику.
• Эквивалентность норм: Две нормы \(\|\cdot\|_1\) и \(\|\cdot\|_2\) на одном пространстве называются эквивалентными, если существуют положительные константы \(c_1, c_2\) такие, что \(c_1\|x\|_1 \leq \|x\|_2 \leq c_2\|x\|_1\) для всех \(x\). В конечномерных пространствах все нормы эквивалентны; в бесконечномерных — нет.

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

Топологические нормы классифицируются по свойствам порождённых ими пространств:

• Банаховы пространства: полные нормированные пространства (всякая фундаментальная последовательность сходится). Примеры: пространства \(L^p\), \(C([0,1])\), \(\ell^p\).
• Гильбертовы пространства: нормированные пространства, норма которых порождена скалярным произведением. Примеры: \(L^2\), \(\ell^2\).
• Пространства Фреше: не обязательно нормируемые, но метризуемые полные локально выпуклые пространства; их топология может быть задана счётным набором полунорм, но не одной нормой.
• Нормируемые пространства: те, в которых топология может быть задана одной нормой. Не все топологические векторные пространства нормируемы (например, пространство бесконечно дифференцируемых функций с топологией равномерной сходимости на компактах).

¶Примеры

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

В \(\mathbb{R}^n\) стандартная евклидова норма \(\|x\|_2 = \sqrt{x_1^2 + \cdots + x_n^2}\) является топологической. Другие примеры: \(\ell^1\)-норма \(\|x\|_1 = |x_1| + \cdots + |x_n|\), \(\ell^\infty\)-норма \(\|x\|_\infty = \max_i |x_i|\).

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

• Пространство \(\ell^p\): последовательности \((x_n)\) такие, что \(\sum_{n=1}^\infty |x_n|^p < \infty\) для \(1 \leq p < \infty\), с нормой \(\|x\|_p = \left(\sum_{n=1}^\infty |x_n|^p\right)^{1/p}\).
• Пространство \(L^p\): классы эквивалентности измеримых функций, интегрируемых по Лебегу в степени \(p\), с нормой \(\|f\|_p = \left(\int |f|^p \, d\mu\right)^{1/p}\).
• Пространство \(C([0,1])\): непрерывные функции на отрезке с равномерной нормой \(\|f\|_\infty = \sup_{t \in [0,1]} |f(t)|\).

¶Применение

Топологические нормы широко используются в различных областях математики и физики:

• Функциональный анализ: основа теории операторов, спектральной теории, теории аппроксимации.
• Уравнения в частных производных: нормы в пространствах Соболева (\(W^{k,p}\)) используются для оценки решений.
• Квантовая механика: гильбертовы пространства (например, \(L^2(\mathbb{R}^3)\)) описывают состояния квантовых систем.
• Теория вероятностей: нормы в пространствах случайных величин (например, \(L^p\)-нормы для моментов).
• Численные методы: оценка погрешности приближённых решений через нормы.

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

• В 1930-х годах Андрей Колмогоров дал характеризацию нормируемых пространств: топологическое векторное пространство нормируемо тогда и только тогда, когда оно локально выпукло и имеет ограниченную выпуклую окрестность нуля.
• В бесконечномерных банаховых пространствах единичный шар не является компактным (теорема Рисса), что отличает их от конечномерных.
• Норма в гильбертовом пространстве удовлетворяет тождеству параллелограмма: \(\|x+y\|^2 + \|x-y\|^2 = 2(\|x\|^2 + \|y\|^2)\), что является критерием существования скалярного произведения.

¶Критика и ограничения

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

¶Источники

• Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. — М.: Наука, 1976.
• Рудин У. Функциональный анализ. — М.: Мир, 1975.
• Банах С. Теория линейных операций. — Ижевск: НИЦ «Регулярная и хаотическая динамика», 2001.
• Канторович Л. В., Акилов Г. П. Функциональный анализ. — М.: Наука, 1984.