Ядерные пространства¶

Ядерные пространства — это класс топологических векторных пространств, введённый Александром Гротендиком в 1950-х годах, обладающий свойством, что тензорное произведение таких пространств совпадает с проективным тензорным произведением, что делает их «идеальными» для функционального анализа и теории распределений. Ядерные пространства характеризуются тем, что любой непрерывный линейный оператор из них в любое банахово пространство является ядерным (то есть представимым в виде суммы сходящегося ряда одномерных операторов). Это свойство обеспечивает, что многие конструкции, такие как топология индуктивного предела, ведут себя особенно хорошо, и что пространства бесконечно дифференцируемых функций, пространства Шварца и пространства аналитических функций являются ядерными.

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

Пусть \(E\) — локально выпуклое топологическое векторное пространство (ТВП). Оно называется ядерным, если для любой непрерывной полунормы \(p\) на \(E\) существует такая непрерывная полунорма \(q \ge p\), что каноническое отображение из пополнения \(E_q\) (факторпространства \(E / \ker q\) с нормой, индуцированной \(q\)) в пополнение \(E_p\) является ядерным оператором. Эквивалентно: для любого банахова пространства \(F\) любой непрерывный линейный оператор \(T: E \to F\) является ядерным.

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

¶История

Понятие ядерного пространства было введено Александром Гротендиком в его диссертации 1953 года «Produits tensoriels topologiques et espaces nucléaires» (Топологические тензорные произведения и ядерные пространства). Гротендик систематизировал теорию тензорных произведений локально выпуклых пространств и выделил класс пространств, для которых проективное и инъективное тензорные произведения совпадают. Работа была опубликована в 1955 году в журнале «Memoirs of the American Mathematical Society». Изначально теория развивалась в контексте функционального анализа, но позже нашла применение в теории распределений, квантовой теории поля и гармоническом анализе.

¶Основные свойства

¶Ключевые характеристики

• Совпадение тензорных произведений: Для ядерных пространств \(E\) и \(F\) проективное тензорное произведение \(E \otimes_\pi F\) совпадает с инъективным \(E \otimes_\varepsilon F\) (с точностью до изоморфизма). Это свойство является определяющим для многих приложений.
• Ядерность операторов: Любой непрерывный линейный оператор из ядерного пространства в любое банахово пространство является ядерным, то есть представим в виде \(T(x) = \sum_{n=1}^\infty \lambda_n \langle x, e_n' \rangle f_n\), где \(\sum |\lambda_n| < \infty\), \(e_n'\) — непрерывные линейные функционалы, а \(f_n\) — элементы банахова пространства.
• Рефлексивность: Все ядерные пространства рефлексивны, то есть каноническое вложение в двойное сопряжённое пространство является изоморфизмом.
• Сепарабельность: Ядерные пространства сепарабельны (содержат счётное плотное подмножество), если они являются пространствами Фреше (полные метризуемые локально выпуклые пространства).
• Монтелевость: Ядерные пространства Фреше являются пространствами Монтеля: каждое ограниченное замкнутое множество в них компактно.

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

• Ядерные пространства являются полными (в смысле топологии) только в случае, если они являются пространствами Фреше. В общем случае они могут быть неполными, но их пополнение также ядерно.
• Подпространства ядерных пространств, факторпространства по замкнутым подпространствам, а также декартовы произведения и счётные прямые суммы ядерных пространств снова являются ядерными.
• Индуктивные пределы ядерных пространств (например, пространство функций с компактным носителем) также ядерны.

¶Примеры

¶Пространства бесконечно дифференцируемых функций

• Пространство Шварца \(\mathcal{S}(\mathbb{R}^n)\) — пространство быстро убывающих бесконечно дифференцируемых функций (с топологией, задаваемой семейством полунорм \(\sup_{x} |x^\alpha \partial^\beta f(x)|\)) является ядерным пространством Фреше.
• Пространство гладких функций \(C^\infty(\Omega)\) на открытом множестве \(\Omega \subset \mathbb{R}^n\) с топологией равномерной сходимости на компактах вместе со всеми производными является ядерным пространством Фреше.
• Пространство функций с компактным носителем \(\mathcal{D}(\Omega) = C_c^\infty(\Omega)\) с топологией индуктивного предела является ядерным (но не метризуемым, если \(\Omega\) непусто).

¶Пространства аналитических функций

• Пространство голоморфных функций \(H(\Omega)\) на открытом множестве \(\Omega \subset \mathbb{C}^n\) с топологией равномерной сходимости на компактах является ядерным пространством Фреше.
• Пространство целых функций (аналитических на всей комплексной плоскости) с топологией равномерной сходимости на компактах также ядерно.

¶Последовательные пространства

• Пространство быстро убывающих последовательностей \(s\) — пространство всех последовательностей \((x_n)\), для которых \(\sum_{n} |x_n|^2 n^k < \infty\) при всех \(k\), с топологией, задаваемой этими полунормами, является ядерным пространством Фреше. Оно изоморфно пространству Шварца \(\mathcal{S}(\mathbb{R})\).

¶Пространства распределений

• Пространство обобщённых функций \(\mathcal{D}'(\Omega)\) (сопряжённое к \(\mathcal{D}(\Omega)\)) с сильной топологией не является ядерным, но его слабая топология обладает некоторыми свойствами ядерности. Однако пространство темперированных распределений \(\mathcal{S}'(\mathbb{R}^n)\) (сопряжённое к \(\mathcal{S}(\mathbb{R}^n)\)) с сильной топологией также не является ядерным, хотя \(\mathcal{S}(\mathbb{R}^n)\) ядерно.

¶Применение

¶Теория распределений

Ядерные пространства играют центральную роль в теории распределений Лорана Шварца. Пространства \(\mathcal{D}(\Omega)\) и \(\mathcal{S}(\mathbb{R}^n)\) являются ядерными, что позволяет корректно определять тензорные произведения распределений и свёртку. Свойство ядерности гарантирует, что пространство распределений \(\mathcal{D}'(\Omega)\) является рефлексивным и что теорема о ядре Шварца (любой непрерывный билинейный функционал на \(\mathcal{D}(\Omega_1) \times \mathcal{D}(\Omega_2)\) представим в виде распределения на \(\Omega_1 \times \Omega_2\)) выполняется.

¶Квантовая теория поля

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

¶Гармонический анализ

Ядерные пространства, такие как пространство Шварца, являются естественной областью определения преобразования Фурье. Свойство ядерности гарантирует, что преобразование Фурье является изоморфизмом между \(\mathcal{S}(\mathbb{R}^n)\) и собой, а также между \(\mathcal{S}'(\mathbb{R}^n)\) и собой.

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

Ядерные пространства используются при изучении тензорных произведений банаховых и локально выпуклых пространств. Они являются «идеальными» объектами, для которых многие конструкции (например, инъективное и проективное тензорные произведения) совпадают, что упрощает теорию.

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

Несмотря на свою элегантность, класс ядерных пространств не включает многие важные пространства, такие как банаховы пространства (кроме конечномерных). Например, пространства \(L^p\) при \(p \neq 2\) не являются ядерными, а гильбертово пространство \(\ell^2\) ядерно только если оно конечномерно. Это ограничивает прямое применение теории в классическом функциональном анализе. Кроме того, определение ядерности через операторы между нормированными пространствами может быть сложным для проверки в конкретных случаях, хотя для многих естественных пространств ядерность доказана.

¶Литература

• Гротендик А. Топологические тензорные произведения и ядерные пространства. — М.: Мир, 1965.
• Шефер Х. Топологические векторные пространства. — М.: Мир, 1971.
• Трев Ф. Введение в теорию распределений. — М.: Мир, 1985.
• Пич А. Ядерные локально выпуклые пространства. — М.: Мир, 1967.