Теорема Мазура

Теорема Мазура — фундаментальное утверждение функционального анализа, устанавливающее, что всякое замкнутое выпуклое множество в банаховом пространстве является слабо замкнутым. Теорема, доказанная польским математиком Станиславом Мазуром в 1933 году, связывает сильную и слабую топологии в банаховых пространствах и является одним из ключевых результатов в теории выпуклых множеств и вариационных методах.

Формулировка

Пусть \(X\) — банахово пространство, а \(C \subset X\) — выпуклое множество. Теорема Мазура утверждает: если \(C\) замкнуто в сильной (нормированной) топологии, то оно замкнуто и в слабой топологии \(\sigma(X, X^)\), где \(X^\) — сопряжённое пространство. Эквивалентная формулировка: выпуклое множество сильно замкнуто тогда и только тогда, когда оно слабо замкнуто.

История

Теорема была опубликована Станиславом Мазуром в 1933 году в журнале «Studia Mathematica» в статье «Über die kleinste konvexe Menge, die eine gegebene kompakte Menge enthält» (О наименьшем выпуклом множестве, содержащем данное компактное множество). Мазур, представитель львовской математической школы, активно работал над проблемами геометрии банаховых пространств и теории меры. Его результат стал ответом на вопрос, поставленный Стефаном Банахом и Гуго Штейнгаузом, о связи между различными топологиями в бесконечномерных пространствах.

Доказательство Мазура опиралось на теорему Хана — Банаха и свойства сопряжённых пространств. Впоследствии появились альтернативные доказательства, в том числе с использованием теоремы об отделимости выпуклых множеств.

Доказательство (основная идея)

Доказательство теоремы Мазура использует свойство отделимости выпуклых множеств с помощью линейных функционалов. Пусть \(C\) — выпуклое замкнутое (в сильной топологии) множество. Предположим, что некоторая точка \(x_0 \notin C\). Тогда существует линейный функционал \(f \in X^*\) и число \(\alpha \in \mathbb{R}\) такие, что \[ f(x_0) < \alpha \le f(c) \quad \forall c \in C \] (сильная отделимость). Слабая окрестность точки \(x_0\), заданная неравенством \(f(x) < \alpha\), не пересекается с \(C\). Следовательно, \(x_0\) не является слабой предельной точкой \(C\), и \(C\) слабо замкнуто.

Следствия и приложения

Слабая замкнутость единичного шара

В бесконечномерных банаховых пространствах единичный шар не является компактным в сильной топологии (теорема Рисса), но он слабо компактен в рефлексивных пространствах (теорема Алаоглу — Бурбаки). Теорема Мазура гарантирует, что любой выпуклый сильно замкнутый шар (например, замкнутый единичный шар) является слабо замкнутым.

Слабая сходимость и выпуклые комбинации

Теорема Мазура позволяет утверждать, что если последовательность \(\{x_n\}\) слабо сходится к \(x\), то \(x\) принадлежит сильному замыканию выпуклой оболочки \(\{x_n\}\). Точнее: для любой слабо сходящейся последовательности существует последовательность выпуклых комбинаций её элементов, сильно сходящаяся к тому же пределу. Это свойство активно используется в вариационных задачах и теории оптимизации.

Применение в вариационном исчислении

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

Связь с теоремой Крейна — Мильмана

Теорема Мазура является предшественником более общих результатов о крайних точках выпуклых множеств. В частности, она используется при доказательстве теоремы Крейна — Мильмана, которая утверждает, что всякое компактное выпуклое множество в локально выпуклом пространстве является замкнутой выпуклой оболочкой своих крайних точек.

Обобщения

Теорема Мазура допускает обобщения на локально выпуклые пространства (не обязательно нормируемые). В этом случае утверждение принимает вид: выпуклое множество, замкнутое в исходной топологии, замкнуто и в слабой топологии, порождённой сопряжённым пространством. Для полных метризуемых локально выпуклых пространств (пространств Фреше) теорема также справедлива.

Существует вариант теоремы для так называемых «слабо* замкнутых» множеств в сопряжённых пространствах (теорема Банаха — Алаоглу). Однако теорема Мазура не распространяется на невыпуклые множества: существуют сильно замкнутые невыпуклые множества, не являющиеся слабо замкнутыми.

Примеры

• Конечномерные пространства: в \(\mathbb{R}^n\) сильная и слабая топологии совпадают, поэтому теорема Мазура тривиальна: любое замкнутое выпуклое множество замкнуто в обеих топологиях.
• Пространство \(\ell^2\): единичный шар \(\{x \in \ell^2 : \|x\| \le 1\}\) сильно замкнут и выпукл, следовательно, слабо замкнут. Однако сфера \(\{x : \|x\| = 1\}\) не является выпуклой, и она не слабо замкнута: последовательность ортов \(e_n\) слабо сходится к нулю, но нуль не принадлежит сфере.
• Пространство \(C[0,1]\): множество непрерывных функций, удовлетворяющих условию Липшица с константой 1, выпукло и сильно замкнуто, поэтому слабо замкнуто.

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

Теорема Мазура не даёт конструктивного способа построения слабой окрестности, отделяющей точку от множества. Её доказательство неконструктивно и опирается на аксиому выбора (через теорему Хана — Банаха). В невыпуклых случаях теорема не работает, что ограничивает её применение в задачах, где выпуклость не гарантирована.

Источники

• Mazur, S. (1933). «Über die kleinste konvexe Menge, die eine gegebene kompakte Menge enthält». Studia Mathematica, 4, 1–6.
• Dunford, N., Schwartz, J. T. (1958). Linear Operators, Part I: General Theory. Interscience Publishers.
• Rudin, W. (1973). Functional Analysis. McGraw-Hill.
• Крейн, С. Г. (ред.) (1972). Функциональный анализ. Справочная математическая библиотека. Наука.