Теорема Крейна — Мильмана
Теорема Крейна — Мильмана — важный факт из выпуклого анализа в линейных топологических пространствах. Доказана Марком Крейном и Давидом Мильманом в 1940 году[1].
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/8e/Extreme_points.svg/214px-Extreme_points.svg.png)
Формулировка
правитьВыпуклый компакт в локально выпуклом пространстве совпадает с замыканием выпуклой оболочки множества своих крайних точек .
Замечания
править- Для бесконечномерных пространств данная теорема, как и многие другие результаты, не может быть доказана без применения аксиомы выбора или эквивалентных ей утверждений теории множеств.
- Существуют топологические векторные пространства, содержащие выпуклые компакты без крайник точек[2].
- Утверждение аналогичное теореме Крейна — Мильмана не выполняется в пространствах Адамара со слабой топологией.[3]
Приложения
править- Теорема применяется для доказательств неизоморфности различных банаховых пространств.
- Применена де Бранжем в изящном варианте доказательства теоремы Стоуна — Вейерштрасса.
Примечания
править- ↑ M. Krein, D. Milman, On extreme points of regular convex sets, Studia Mathematica 9 (1940), 133—138.
- ↑ Roberts, James W. «A compact convex set with no extreme points.» Studia Mathematica 60.3 (1977): 255—266.
- ↑ Monod, Nicolas. "Extreme points in non-positive curvature". arXiv:1602.06752.
{{cite arXiv}}
: Шаблон цитирования имеет пустые неизвестные параметры:|version=
and|accessdate=
(справка)
Литература
править- Кириллов А. А., Гвишиани А. Д. Теоремы и задачи функционального анализа. — 1988.