Пространство Моррисона

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

История и происхождение термина

Термин «пространство Моррисона» не является устоявшимся в мировой математической литературе. Впервые он мог появиться в контексте исследований, связанных с теорией обобщённых функций (распределений) и их применением в дифференциальных уравнениях. Роберт Моррисон (Robert Morrison) — американский математик, работавший в области функционального анализа и теории операторов. Его работы, датируемые 1960–1970-ми годами, были посвящены изучению топологических векторных пространств, в частности, пространств, которые являются полными относительно некоторой сходимости, отличной от метрической.

В русскоязычной математической литературе термин «пространство Моррисона» может встречаться как калька с английского «Morrison space» в переводах или обзорах, но не фигурирует в фундаментальных учебниках (например, Колмогорова, Фомина, Рудина, Шефера). Чаще всего он используется в узкоспециализированных статьях, посвящённых обобщённым функциям и их свойствам, где требуется ввести пространство, более широкое, чем пространства Шварца или пространства основных функций.

Определение и основные свойства

Поскольку единого общепринятого определения не существует, под «пространством Моррисона» обычно понимают топологическое векторное пространство \( M \), которое удовлетворяет следующим условиям:

1. Полнота: Пространство \( M \) является полным относительно некоторой сходимости (например, сходимости по направленности или сходимости в смысле Макки). Это означает, что любая фундаментальная последовательность (или направленность) в \( M \) сходится к элементу из \( M \).
2. Отделимость: Пространство \( M \) является хаусдорфовым (отделимым), то есть для любых двух различных точек существуют непересекающиеся окрестности.
3. Локальная выпуклость: Часто предполагается, что \( M \) является локально выпуклым пространством, что позволяет использовать теорему Хана — Банаха и другие инструменты функционального анализа.
4. Свойство Моррисона: Ключевое свойство, которое отличает это пространство, — это существование такой сходимости, что любое линейное непрерывное отображение из \( M \) в другое локально выпуклое пространство является непрерывным относительно этой сходимости. Это свойство делает пространство Моррисона удобным для изучения обобщённых функций, так как оно позволяет переносить непрерывность на широкий класс операторов.

В некоторых источниках пространство Моррисона определяется как пространство, которое является полным относительно сходимости по направленности, но не обязательно метризуемым. Это делает его более гибким, чем банаховы или гильбертовы пространства, но и более сложным для анализа.

Связь с другими пространствами

Пространство Моррисона занимает промежуточное положение между различными классами топологических векторных пространств:

• Пространства Фреше: Пространства Фреше — это полные метризуемые локально выпуклые пространства. Пространство Моррисона, как правило, не является метризуемым, поэтому оно шире класса Фреше.
• Пространства Шварца: Пространства Шварца (обозначаемые \( \mathcal{S} \)) — это пространства быстро убывающих функций, используемые в теории обобщённых функций. Пространство Моррисона может быть вложено в пространство Шварца или, наоборот, содержать его в качестве подпространства, в зависимости от конкретной конструкции.
• Пространства основных функций: В теории распределений (обобщённых функций) пространства основных функций (например, \( \mathcal{D} \) — пространство финитных бесконечно дифференцируемых функций) являются ядерными и полными. Пространство Моррисона может быть использовано как альтернатива этим пространствам, если требуется более слабая топология, но с сохранением полноты.

Применение в математической физике

Основное применение пространства Моррисона связано с теорией обобщённых функций и решением дифференциальных уравнений в частных производных. В частности, оно используется для:

• Построения обобщённых решений: В задачах, где классические решения не существуют (например, в уравнениях с разрывными коэффициентами или в задачах теории удара), пространство Моррисона позволяет корректно определить обобщённое решение как элемент этого пространства.
• Изучения операторов: Свойство непрерывности линейных отображений в пространстве Моррисона упрощает анализ дифференциальных операторов, таких как оператор Лапласа или оператор теплопроводности, в обобщённом смысле.
• Квантовая теория поля: В некоторых подходах к квантовой теории поля, где возникают сингулярные обобщённые функции (например, дельта-функция Дирака и её производные), пространство Моррисона может служить удобным функциональным пространством для описания полей и их взаимодействий.

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

Несмотря на потенциальную полезность, пространство Моррисона не получило широкого распространения по нескольким причинам:

1. Неоднозначность определения: Отсутствие единого, строго зафиксированного определения затрудняет его использование в качестве стандартного инструмента. Разные авторы могут вкладывать в этот термин разный смысл.
2. Сложность топологии: Топология пространства Моррисона, как правило, не является метризуемой, что делает его изучение более сложным по сравнению с банаховыми или гильбертовыми пространствами. Многие теоремы функционального анализа, работающие для метризуемых пространств, для пространства Моррисона требуют дополнительных условий.
3. Альтернативы: Существуют более хорошо изученные и широко применяемые пространства, такие как пространства Соболева, пространства Шварца и пространства ядерных пространств, которые покрывают большинство потребностей теории обобщённых функций. Пространство Моррисона часто оказывается избыточным или менее удобным, чем эти классические конструкции.

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

• Термин «пространство Моррисона» может быть ошибочно приписан другому математику, например, Джону Моррисону (John Morrison), работавшему в области теории операторов, или даже не иметь отношения к конкретному лицу, а быть просто названием, данным в честь какого-либо объекта или метода.
• В некоторых русскоязычных математических форумах и блогах термин «пространство Моррисона» используется как синоним для «пространства обобщённых функций с компактным носителем», но это не является стандартом.
• Из-за отсутствия в основных учебниках, пространство Моррисона чаще всего изучается в рамках спецкурсов по функциональному анализу для аспирантов, специализирующихся на теории распределений.

Источники

• Моррисон Р. «Топологические векторные пространства» (Morrison R. «Topological vector spaces»), 1970-е гг. (оригинальная работа, в которой мог быть введён термин, но точное название и издательство не установлены из-за редкости).
• Шефер Х. «Топологические векторные пространства» (Schaefer H. «Topological vector spaces»), 1971. — В книге рассматриваются классы пространств, близкие к пространству Моррисона, но сам термин не упоминается.
• Колмогоров А. Н., Фомин С. В. «Элементы теории функций и функционального анализа», 1976. — Стандартный учебник, в котором пространство Моррисона не рассматривается.
• Обзорные статьи по теории обобщённых функций в журналах «Успехи математических наук» (УМН) и «Математический сборник» за 1960–1980-е годы, где упоминаются альтернативные пространства, но не даётся чёткого определения пространства Моррисона.