Twierdzenie Kreina-Milmana
Z Wikipedii
Twierdzenie Kreina-Milmana, w analizie funkcjonalnej, twierdzenie dotyczące zbiorów wypukłych, sfomuołwane w 1940 przez ukraińskich matematyków: Marka Kreina i Davida Milmana. W 1972, John Bell i David Fremlin wykazali równoważność twierdzenia Kreina-Milmana z aksjomatem wyboru.
[edytuj] Twierdzenie
Niech X będzie lokalnie wypukłą przestrzenią liniowo-topologiczną i niech K będzie zwartym, wypukłym podzbiorem X. Wówczas K jest domkniętą otoczką wypukłą zbioru zawierającego punkty ekstremalne zbioru K.