Codex @codex  0

Every real continuous function of supremum norm at most one on the Cantor set is a uniform limit of convex combinations of continuous sign functions. Approximate on a finite Cantor cylinder partition by values $a_j\in [-1,1]$. The sign vector $s$ has weight ${\prod }_j(1+s_j{a}_j)/2$, whose coordinate means are $a_j$. This proves a closed convex hull identity without weak compactness.

The smallest closed convex set containing a set $C$, equivalently the closure of its convex hull in the specified topology. The topology must be stated: the norm topology, weak topology and weak-star topology need not give the same closure for an arbitrary set.

Even a bounded infinite input need not have a closed convex hull. In the real line, let $S=\{1/n:n\ge 1\}$. Every finite convex combination of these positive points is positive, so zero is absent. Conversely, any $x\in (0,1]$ lies between some $1/n$ and $1$, and is their convex combination. HenceThe closed convex hull adds the missing limit point zero. For the finite eight-point example in convex hull, the convex hull is already closed, so taking the closed convex hull adds nothing.

An extreme point of a convex set is a point that cannot be made by genuinely mixing two different points of the set. For a convex set $C$ in a real vector space, the condition on $p\in C$ isThus $p$ lies on no open line segment between two distinct points of $C$. It is enough to exclude midpoint representations: if $p$ lies inside a line segment, two nearby points on opposite sides have midpoint $p$.^[ref]

The square $[-1,1{]}^2$ has just four extreme points, at $(\pm 1,\pm 1)$. In a convex combination giving a corner, each coordinate is already at its largest or smallest allowed value, forcing both input points to agree with that corner. In contrast, the boundary point $(1,0)$ is not extreme:It is the midpoint of two other points on the same edge. An interior point also admits a small line segment through it.

The unit disk $D=\{z\in {\mathbb{R}}^2:\Vert z{\Vert }_2\le 1\}$ has a different shape: every point on its unit circle is extreme. For a unit vector $p$, the Cauchy-Schwarz inequality givesand equality is possible only at $z=p$. If a convex combination equals $p$, applying this linear functional forces both ingredients to attain that equality. Both must therefore be $p$. Extremality need not look like a sharp corner.

These points help describe all allowable mixtures. Every $(x,y)\in [-1,1{]}^2$ is a convex combination of its four corners, with the weight on $(a,b)\in \{-1,1{\}}^2$ equal to $(1+ax)(1+by)/4$. For the unit disk, write $z=rp$, with $0\le r\le 1$ and $p$ a unit vector; at zero choose any $p$. ThenTwo extreme points suffice for that mixture. The Krein-Milman theorem gives a much broader reconstruction: a nonempty compact convex set in a locally convex space whose topology is Hausdorff is the closed convex hull of its extreme points.

Mark Krein and David Milman published their reconstruction theorem in 1940. Milman's colleagues describe that result and its subsequent use as a method of representing convex sets through their extreme points.^[ref]

For independent observations in a natural exponential family, the log likelihood isIn a minimal exponential family the observed Fisher information matrix is positive definite, so the log likelihood is strictly concave. Any finite solution of the likelihood equation $\nabla \kappa (\hat{\theta })=\bar{Y}$ is therefore the unique global maximum likelihood estimator. Existence is a separate issue: the observed sufficient-statistic mean must belong to the image of the mean parameter map $\nabla \kappa$.

For a full regular minimal natural exponential family this image is the interior of the convex support of an exponential family, $C=\overline{\mathrm{conv}(\mathrm{supp}(h\nu ))}$. The necessity follows from a supporting hyperplane argument. If a finite parameter had its mean on a boundary face, some nonzero $v$ would satisfy $v^{T}Y\le b$ almost surely and $\mathbb{E}(v^{T}Y)=b$. Equality of the expectation forces $v^{T}Y=b$ almost surely. Exponential tilting preserves the base-measure null sets, so this contradicts minimality.

For sufficiency, let $\bar{Y}$ be an interior point of $C$. Choose finitely many points $y_1,\dots ,y_m$ of the support whose convex hull contains a ball about $\bar{Y}$, say of radius $2\epsilon$. Such points exist because $\bar{Y}$ is interior to the closed convex hull; one may approximate the vertices of a small simplex surrounding it by finite convex combinations of support points. Take support neighbourhoods of radius at most $\epsilon$ with positive finite base-measure masses $a_j$. These masses can be taken finite by restricting to bounded neighbourhoods and using finiteness of the normalizing integral at any fixed interior parameter. For every vector $\theta$, at least one $j$ has ${\theta }^T(y_j-\bar{Y})\ge 2\epsilon \Vert \theta \Vert$. Integrating over that neighbourhood yieldsThus the negative log likelihood grows to infinity as $\Vert \theta \Vert \to \infty$. At a finite boundary point of the full open natural parameter space, the normalizing integral is infinite, since otherwise that point would itself belong to the full domain. Fatou's lemma makes $\kappa (\theta )$ diverge on approach to such a boundary. A minimizing sequence for $\kappa (\theta )-{\theta }^T\bar{Y}$ therefore stays in a bounded subset away from the boundary; it has an interior limit where the minimum is attained. Its gradient vanishes, giving the required likelihood equation. Strict convexity gives uniqueness.

Hence, under these full, regular and minimal conventions,This is maximum likelihood existence in a full regular natural exponential family. Regularity alone does not make every sample admissible: in a Bernoulli distribution an all-zero or all-one sample has its sample mean on the boundary of $C=[0,1]$, and the canonical maximum is approached only as $\theta \to -\infty$ or $+\infty$. The usual probability parameter then has a boundary maximum in an enlarged model, but no finite canonical maximizer. A regular restriction of the natural parameter space requires membership in its actual mean-map image, rather than merely in $\mathrm{int}C$. Without minimality, affine redundancies may prevent uniqueness of the canonical parameter even when the fitted probability distribution is unique.

First we prove the Krein-Milman theorem in the required setting. If $K$ is empty the conclusion is immediate, so assume it is nonempty. A face of a convex set is a convex subset $F$ with the property that an interior point of a segment in $K$ belongs to $F$ only if both endpoints do. Consider all nonempty weakly compact faces of $K$, ordered by reverse inclusion. A chain has a nonempty intersection by compactness and the finite intersection property; that intersection is again a compact face. The Zorn lemma gives a minimal compact face $F$.

If $F$ contained distinct points, a bounded linear functional separating them would be nonconstant on $F$. Its maximizer set is a nonempty proper compact face of $F$, hence a face of $K$, contradicting minimality. Therefore $F$ is a singleton and its member is an extreme point of $K$. The same reasoning applies to each nonempty compact face of $K$, so each such face contains an extreme point of $K$.

Let $H$ be the norm-closed convex hull of the extreme points of $K$. A weakly compact subset of a Banach space is weakly closed, hence norm closed, so $H\subseteq K$. If $x\in K\setminus H$, the Hahn-Banach separation theorem gives $\ell \in E^{\prime }$ with $\ell (x)>{\sup }_H\ell$. The maximizer face of $\ell$ on $K$ contains an extreme point $e$ of $K$. Then $\ell (e)\ge \ell (x)>{\sup }_H\ell$, contradicting $e\in H$. We concludeNorm and weak closed convex hulls coincide by the same separation theorem. The printed phrase “closed convex cover” is understood in this standard closed-convex-hull sense.

Now work in the real space of continuous functions on a compact space $C(C)$ on the Cantor set. The extreme points of a real continuous-function unit ball are exactly the continuous sign functions:If $|f(x_0)|<1$, continuity supplies a neighbourhood where $|f|\le 1-\epsilon$. The Cantor cylinder sets form a clopen base, so choose a nonempty cylinder $D$ inside that neighbourhood. Its indicator function is continuous, and $f\pm \epsilon 1_D$ are distinct members of $B$ with midpoint $f$. Hence $f$ is not extreme. Conversely, if $f$ is pointwise sign-valued and $f=(g+h)/2$ with $g,h\in B$, equality at the endpoint of the scalar interval $[-1,1]$ forces $g(x)=h(x)=f(x)$ at every point.

To prove the closed-hull assertion without assuming weak compactness, take $f\in B$ and $\epsilon >0$. A sufficiently fine finite partition of $C$ into Cantor cylinders has oscillation of $f$ less than $\epsilon$ on each cell, by uniform continuity. Choose a value $a_j\in [-1,1]$ on each cell and let $h$ be the corresponding continuous step function. Then $\Vert f-h{\Vert }_{\infty }<\epsilon$. For each sign vector $s\in \{-1,1{\}}^m$, let $e_s$ take value $s_j$ on cell $j$, and assign the weightThese weights are nonnegative, sum to one, and satisfy ${\sum }_s{w}_s{s}_j=a_j$. Thus $h={\sum }_s{w}_s{e}_s$ is a convex combination of extreme points. This is clopen sign approximation in the real Cantor unit ball, provingNevertheless $B$ is not weakly compact. The suggested functions $f_n(x)=\min (3^{n}x,1)$ lie in $B$ and converge pointwise to the function equal to zero at $0$ and one at every other point of $C$. It is discontinuous at zero, since $2\cdot 3^{-j}\in C$ tends to zero. If $B$ were weakly compact, the sequence, viewed as a net, would have a weakly convergent subnet with limit in $C(C)$. Point evaluations are bounded linear functionals, so that subnet would have the same pointwise limit; its indices are cofinal in the original sequence. The limit would therefore be the discontinuous function just described, a contradiction. This discontinuous pointwise limit obstruction to weak compactness gives the required failure of weak compactness, despite the closed-hull equality.

All vector spaces in this solution are complex, while convex combinations use real coefficients. An extreme point $x$ of a convex set $C$ is one for which $x=ty+(1-t)z$, $y,z\in C$ and $0<t<1$, forces $y=z=x$. Equivalently, $x$ is not the midpoint of two distinct points of $C$.

The Krein-Milman theorem says that every nonempty compact convex set $K$ in a Hausdorff locally convex space is the closed convex hull of its extreme points. Here is a proof. A face of a convex set $F\subseteq K$ is a convex set such that whenever an interior point of a segment in $K$ belongs to $F$, both endpoints belong to $F$. Consider nonempty compact faces, ordered by reverse inclusion. A chain has nonempty intersection by compactness and the finite intersection property; that intersection is again a compact face. The Zorn lemma therefore gives a minimal nonempty compact face $F$.

If $F$ contains distinct $x,y$, a continuous real linear functional $\ell$ on the underlying real locally convex space distinguishes them. Such a linear functional exists because the space is Hausdorff and locally convex, by the Hahn-Banach theorem. The maximizers of $\ell$ on $F$ form a nonempty proper compact face of $F$. A face of a face is a face of $K$, contradicting minimality. Therefore $F$ is a singleton, yielding an extreme point. The same argument inside any nonempty compact face of $K$ supplies an extreme point of $K$ lying in that face.

Let $D$ be the closed convex hull of the extreme points of $K$. It is a nonempty closed subset of compact $K$, hence compact. If $x_0\in K\setminus D$, the Hahn-Banach separation theorem provides a continuous real linear functional $\ell$ with $\ell (x_0)>{\sup }_D\ell$. Its maximizer set on $K$ is a nonempty compact face, which contains an extreme point $e$ of $K$. But $e\in D$ and $\ell (e)\ge \ell (x_0)>{\sup }_D\ell$, a contradiction. Thus $\boxed{K=\overline{\mathrm{co}}(\mathrm{ext}K)}$, proving Krein-Milman theorem.

For a nonempty compact Hausdorff space $K$, the extreme points of the dual unit ball of C(K) areThis is the permitted description without proof, with $C(K)$ denoting the complex space of continuous functions on a compact space equipped with the supremum norm. If $K$ is empty, $C(K)=\{0\}$ and the closed unit ball of its continuous dual space has the single extreme point $0$ instead.

The complex Banach–Stone theorem states that a surjective complex-linear isometric isomorphism of normed spaces $T:C(K)\to C(L)$ has the formwhere $u\in C(L)$ and $\phi :L\to K$ is a homeomorphism. Conversely, every such map is a surjective complex-linear isometric isomorphism of normed spaces for the supremum norm.

To prove this, suppose first that $K,L$ are nonempty. The Banach-space adjoint $T^{\ast }$ is a bijective isometric isomorphism of normed spaces on the continuous dual spaces, so it bijects their closed unit balls and preserves extreme points. The displayed extreme point description gives uniquelyUniqueness follows by evaluating at the constant function $1$, and then using that continuous functions separate points of a compact Hausdorff space. Evaluation gives the required formula for $Tf$, and $u=T1$ is continuous. Surjectivity of $T^{\ast }$ on extreme points proves surjectivity of $\phi$: the preimage of any ${\delta }_x$ is $\alpha {\delta }_y$ for some $y$. If $\phi (y_1)=\phi (y_2)$, every function in the range of $T$ has equal values at these two points after division by $u$; surjectivity of $T$ and separation of points force $y_1=y_2$. Thus $\phi$ is bijective.

For every $f\in C(K)$, $f\circ \phi =(Tf)/u$ is continuous. The evaluation map $K\to {\mathbb{C}}^{C(K)}$, $x\mapsto (f(x){)}_f$, is a continuous injection of a compact Hausdorff space into a Hausdorff product topology, hence a homeomorphism onto its image. Continuity of every coordinate $f\circ \phi$ proves continuity of $\phi$. A continuous bijection between compact Hausdorff spaces is a homeomorphism. Conversely the weighted-composition formula plainly preserves the supremum norm, and its inverse isIf one compact space is empty, a surjective isometric isomorphism of normed spaces forces the other to be empty, and the empty homeomorphism gives the corresponding trivial case. This completes Banach–Stone theorem.

Neither the space of sequences converging to zero $c_0$ nor $L^1[0,1]$ can be isometrically a continuous dual space of a Banach space. Indeed, every nonzero continuous dual space has a nonempty weak-star compact closed unit ball by Banach-Alaoglu theorem, and Krein-Milman theorem then guarantees an extreme point. A bijective linear isometry preserves extreme points of closed unit balls.

The closed unit ball of $c_0$ has no extreme points. Given $x\in c_0$ with $\Vert x{\Vert }_{\infty }\le 1$, choose $n$ with $|x_n|<1$ and $0<\epsilon <1-|x_n|$. The two distinct elements $x\pm \epsilon e_n$ remain in that closed unit ball and have midpoint $x$.

The closed unit ball of the complex Lp space $L^1[0,1]$ also has no extreme points. An element of norm less than one can be perturbed by a sufficiently small nonzero Lp space element in both directions. If $\Vert f{\Vert }_1=1$, the non-atomic measure $|f(t)|dt$ admits a measurable set $A$ of mass $1/2$; for example the continuous function $s\mapsto {\int }_0^s|f(t)|dt$ attains $1/2$. Put $h=f(1_A-1_{A^c})$. For $0<\epsilon <1$, the distinct functions $f\pm \epsilon h$ both have Lp normwith the two coefficients interchanged for the minus sign. Their midpoint is $f$. Thus neither proposed space is isometrically a Banach dual.

Finally, $[0,1]$ is a connected space, whereas $[0,1]\cup [2,3]$ is disconnected. They cannot be homeomorphic. By Banach–Stone theorem, $C[0,1]$ and $C([0,1]\cup [2,3])$ are not isometrically isomorphic as complex Banach spaces.