4.3 Compact Convex Sets
Definition 4.3.1 (Extreme Point).label Let $E$ be a vector space over $\R$, $K\suf E$ and $x\in K$, then $x$ is extremal if there exists no $y,z\in K$ such that $x\in (y,z)\suf K$.
Definition 4.3.2 (Extreme Subset).label Let $E$ be a vector space over $\R$, $K\suf E$ be convex, and $A\suf K$, then $A$ is an extreme set if for any $x\in A$ and $y,z\in K$ such that $x\in (y,z)$ we have $y,z\in A$.
Lemma 4.3.3.label Let $E$ be a locally convex space over $\R$, $K\suf E$ be nonempty and compact, and $\phi\in E^{*}$. Let $\al=\SUP{x\in K}\inner{x}{\phi}_{E}$, then $A=\curl{\phi=\al}\cap K$ is a non-empty extreme subset of $K$.
Proof. Since $K$ is compact, $\al<\infty$ and $A$ is non-empty by Proposition 3.10.3. Let $x\in A$ and $y,z\in K$ such that $x\in (y,z)$. Since $K$ is compact $\inner{y}{\phi}_{E}=\inner{z}{\phi}_{E}=\al$ thus $y,z\in A$ as well.$\square$
Theorem 4.3.4 (Krein-Milman).label Let $E$ be a separated locally convex space over $\R$ and $K\suf E$ be a compact convex set, then $K$ is the closed convex hull of its extreme points.
Proof. Assume WLOG that $K\neq\emp$. Let $K_{0}\suf K$ be a clsoed, extreme subset of $K$ and $\cali{E}(K_{0})\suf \cali{P}(K)$ be the collection of all non-empty closed extreme subsets of $K$ contained in $K_{0}$. Then $K_{0}\in\cali{E}(K_{0})\neq\emp$. Since $K$ is comapct, for any chain $\cali{C}\suf \cali{E}(K_{0})$, $\caps{}{A\in\cali{C}}A$ is also nonempty, closed and extreme.
By Zorn’s Lemma, there exists a minimal element $A$ of $\cali{E}(K_{0})$. Let $x,y\in A,\phi\in E^{*}$ and $\al=\SUP{z\in A}\inner{z}{\phi}_{E}$, then $\curl{\phi=\al}\cap K$ is a non-empty, closed and extreme subset of $K$ by Lemma 4.3.3, so $A\cap \curl{\phi=\al}$ is also extreme. By minimality of $A,A\suf \curl{\phi=\al}$. Thus by Hahn-Banach, $A$ consists of exactly one point. In which case, for any $y,z\in E$ with $A\suf (y,z)\suf K$, we have $y=z\in A$ thus there exists an extreme point of $K$ in $K_{0}$.
By Proposition 3.10.4, $K$ is closed. By the reasoning above applied to $K$ in place of $K_{0}$, $K$ admits at least one extreme point.
Let $C$ be the collection of all extreme points in $K$. Assume for contradiction that $\cl{\text{Conv}}(C)\sub K$, then by Hahn-Banach, there exists $x\in K$ and $\phi\in E^{*}$ such that $\SUP{y\in \cl{\text{Conv}}(C)}\inner{y}{\phi}_{E}<\inner{x}{\phi}_{E}$. Let $\al=\SUP{z\in K}{z,\phi}_{E}$, then by Lemma 4.3.3, $K\cap \curl{\phi=\al}$ is a non-empty, closed, and extreme subset of $K$. By the preceding discussion, there exists an extreme point of $K$ in $K\cap \curl{\phi=\al}$, which contradicts the fact that $\SUP{y\in \cl{\text{Conv}}(C)}\inner{y}{\phi}_{E}<\al$.$\square$
Post a Comment