# Teorema di Krein-Milman

Il teorema di Krein-Milman è una proposizione riguardante gli insiemi convessi in uno spazio vettoriale topologico. Un caso particolare di questo teorema afferma che, dato un poligono convesso, è sufficiente sapere quali sono i suoi angoli per ricostruirne l'immagine intera. L'enunciato è falso però se il poligono non è convesso: in questo caso, ci sono più modi per disegnare un poligono dati gli angoli.
Formalmente, si consideri uno spazio vettoriale topologico localmente convesso $X$, che si assume di Hausdorff. Preso un suo sottinsieme $K$ compatto e convesso, il teorema afferma che esso è l'inviluppo convesso chiuso dei suoi punti estremali.
Hermann Minkowski aveva già dimostrato che in uno spazio di dimensione finita ogni sottinsieme convesso era l'inviluppo convesso dei propri punti estremali. Il teorema di Krein-Milman è una generalizzazione ad arbitrari spazi localmente convessi, con l'aggiunta però della chiusura.
Il teorema prende il nome dai matematici Mark Krejn e David Mil'man.

## Enunciato

Sia $X$ uno spazio localmente convesso e $K\subseteq X$ non vuoto, compatto e convesso. Allora:
    $Ext(K)\neq \varnothing \qquad ;\qquad K={\overline {co}}(Ext(K))$
dove $Ext(K)$ denota l'insieme dei punti estremali di $K$ e ${\overline {co}}(Ext(K))$ l'inviluppo convesso chiuso di $Ext(K)$.
Un risultato che si deve a Milman mostra che se $T$ è un sottoinsieme di $K$ e l'inviluppo convesso chiuso di $T$ è l'intero $K$, allora ogni punto estremale di $K$ appartiene alla chiusura di $T$.
Il teorema di Choquet-Bishop-de Leeuw stabilisce inoltre che ogni punto in $K$ è il baricentro di una misura di probabilità con supporto sull'insieme degli estremali di $K$.
Nel 2006 Theo Buehler ha mostrato che il teorema di Krein-Milman è valido anche in spazi CAT(0).

## Assioma della scelta

Nella teoria degli insiemi di Zermelo-Fraenkel, l'assioma della scelta può essere dimostrato tramite il teorema di Krein-Milman insieme con il teorema degli ideali primi booleani.

## Dimostrazione

Sia $K$ convesso sappiamo che $\xi \in Ext(K)$ se e solo se ${\ce {K\smallsetminus \xi }}$ è convesso, quindi $K\smallsetminus \xi$ è aperto nella topologia relativa a $K$.
Sia $C:=\{A\subset K|A$ insieme aperto nella topologia relativa di $K$ e convesso$\$;
$C\neq \emptyset$ dato che $X$ è uno spazio localmente convesso e quindi $\forall x\in K\exists V\subset K$ aperto rispetto a $K$ e convesso.
Applicando il lemma di Zorn a C:
sia $C_{0}\subset C$ una catena, tale che $U=\cup _{U_{0}\in C_{0}}U_{0}$, $U$ è aperto in $K$.
$U$ è connesso ed è proprio perché se $\cup _{U_{0}\in C_{0}}U_{0}=K$, allora per compattezza $K\in C_{0}$ e sarebbe assurdo.
Per il lemma di Zorn esiste l'elemento massimale di $C_{0}$ e lo chiamamo $U'$.
Osserviamo che dato $V$ aperto e convesso di $K$, abbiamo due possibilità: $U'\cup V=U'$ oppure $U'\cup V=V$.
Osserviamo che $K\smallsetminus U'=\{\xi \}$, infatti se per assurdo esistessero due punti $\xi$ e $\mu$, $U_{\xi }$ e $U_{\mu }$ intorni aperti, interni a $K$ e disgunti allora
$U'\cup U_{\xi }=U$ ma è assurdo perché $\xi \not \in U$ oppure $U'\cup U_{\xi }=K$, ma è assurdo perché $\xi \not \in K,\mu \not \in K$.
Quindi $K\smallsetminus \xi =U'$, allora $\xi \in Ext\{K\}$ quindi $Ext\{K\}\not =\emptyset$.
Osserviamo che dato $V$ aperto e convesso di $X$; se $Ext\{K\}\subseteq V$, allora $K\subseteq V$, infatti se per assurdo non fosse così
$K\cap V\subset K$, quindi $K\cap V$ sarebbe convesso e aperto di $K$, allora $K\cap V\in C$, quindi $K\cap V\subseteq U'$, ma $K\smallsetminus U'=\{\xi \}$, quindi ${\ce {\xi \not \in V}}$ ed è assurdo.
Sia $E:={\overline {c_{o}(Ext(K))}}$ e sia $f\in X^{*}$