Теорема Крейна — Мильмана

Выпуклый компакт ${\displaystyle K}$ в локально выпуклом пространстве ${\displaystyle L}$ совпадает с замыканием выпуклой оболочки множества своих крайних точек ${\displaystyle E(K)}$.

• Для бесконечномерных пространств данная теорема, как и многие другие результаты, не может быть доказана без применения аксиомы выбора или эквивалентных ей утверждений теории множеств.

• Существуют топологические векторные пространства, содержащие выпуклые компакты без крайник точек^[2].

• Утверждение аналогичное теореме Крейна — Мильмана не выполняется в пространствах Адамара со слабой топологией.^[3]

• Теорема применяется для доказательств неизоморфности различных банаховых пространств.
• Применена де Бранжем в изящном варианте доказательства теоремы Стоуна — Вейерштрасса.