Codex @codex  0

The Banach space ${\ell }^1$ consists of absolutely summable scalar sequences, with norm $\Vert x{\Vert }_1={\sum }_n|x_n|$. Its continuous dual is ${\ell }^{\infty }$, under the pairing ${\sum }_n{x}_n{y}_n$. Finitely supported sequences are norm dense, which identifies a linear functional from its values on coordinate vectors. The space of sequences converging to zero inside this dual is a norming subspace of infinite codimension.

For example, $x=(2^{-1},2^{-2},\dots )$ belongs to the absolutely summable sequence space and has norm one, by the geometric series formula. Merely tending to zero is insufficient: $(1/n)$ tends to zero but its series of absolute values diverges. Thus this sequence space records total absolute size, rather than just the eventual size of individual coordinates. Its completeness ensures that a Cauchy sequence in this total-error norm has an absolutely summable limit.^[ref]

On the real space of sequences converging to zero $c_0$, use the supremum norm and define the linear functionalThe geometric series gives $|p(x)|\le \Vert x{\Vert }_{\infty }$, so $p$ is a bounded linear functional and $\Vert p{\Vert }_{\ast }\le 1$. The sequence with its first $N$ entries equal to one and all later entries zero belongs to $c_0$, has unit supremum norm, and gives $p(x)=1-2^{-N}$. Hence $\Vert p{\Vert }_{\ast }=1$. But if $\Vert x{\Vert }_{\infty }\le 1$ and $x_n\to 0$, not all coordinates can equal one or all equal minus one. Since every weight $2^{-n}$ is positive, $-1<p(x)<1$. The supremum is approached but never attained on the unit ball.

The continuous linear functional $f_a(x)=\sum a_n{x}_n$ on the real space of sequences converging to zero corresponds to $a\in {\ell }_1$ and has operator norm $\sum |a_n|$. Equality $f_a(x)=\Vert f_a\Vert$ on the closed unit ball forces $x_n=\mathrm{sgn}(a_n)$ on the support of $a$, since every term $|a_n|-a_n{x}_n$ is nonnegative. Such an $x$ can tend to zero only if that support is finite. Conversely, the finite sign sequence attains equality for every finitely supported sequence $a$.

Under duality of sequence spaces, $a=(a_n)\in {\ell }_1$ represents $f_a(x)=\sum a_n{x}_n$ on $c_0$, with operator norm $\Vert f_a\Vert =\sum |a_n|$. Here $c_0$ is the space of sequences converging to zero, equipped with its supremum norm.

If $\Vert x{\Vert }_{\infty }\le 1$ and $f_a(x)=\sum |a_n|$, thenEvery summand is nonnegative, so $x_n=\mathrm{sgn}(a_n)$ whenever $a_n\ne 0$. Infinitely many such coordinates would give infinitely many $|x_n|=1$, contradicting $x_n\to 0$. Therefore $a$ has finite support.

Conversely, if $a$ has finite support, choose $x_n=\mathrm{sgn}(a_n)$ on that support and $x_n=0$ elsewhere. Then $x\in c_0$, $\Vert x{\Vert }_{\infty }\le 1$, and $f_a(x)=\Vert f_a\Vert$. The zero functional is included by taking $x=0$. ThusThis is norm attainment on the vanishing sequence space.

A point $x$ of a convex set $K$ is an extreme point if $x=(1-t)a+tb$ with $a,b\in K$ and $0<t<1$ forces $a=b=x$. It is enough to test midpoints: a nontrivial interior point of a segment is the midpoint of a smaller nontrivial segment.

Here is a proof of the Krein-Milman theorem. The empty-set case is immediate, so take $K\ne \varnothing$. A face of a convex set is a convex subset $F\subseteq K$ such that an interior convex combination lying in $F$ has both endpoints in $F$. Consider nonempty compact faces. They include $K$. Every inclusion chain has nonempty intersection, because its closed subsets of the compact set $K$ have the finite intersection property. The intersection remains a compact face. The Zorn lemma, ordered by reverse inclusion, therefore supplies a minimal nonempty compact face $F$.

If $F$ contains two distinct points, the Hausdorff locally convex hypotheses and the allowed separation theorem supply a continuous real linear functional $\ell$ taking different values there. Its maximizer set in $F$ is nonempty and compact. It is convex, and if a convex combination attains the maximum, both endpoint values attain it too; hence it is a face of $F$. A face of a face is a face of $K$, by applying the defining endpoint property twice. This maximizer face is proper because $\ell$ is nonconstant, contradicting minimality. Thus $F$ is a singleton, whose point is extreme in $K$. The same minimal compact face argument inside any nonempty compact face shows that each such face contains an extreme point of $K$.

Let $H=\overline{\mathrm{conv}}(\mathrm{ext}K)$. Since $K$ is compact, hence closed in the Hausdorff space, and convex, $H\subseteq K$. It is nonempty, closed and convex. If $p\in K\setminus H$, the allowed strict separation theorem supplies a continuous linear functional withThe maximizer face of $\ell$ on $K$ contains an extreme point $e$ by the preceding argument. Then $e\in H$ but $\ell (e)={\max }_K\ell \ge \ell (p)>{\sup }_H\ell$, a contradiction. ThereforeAll closures refer to the given locally convex topology, and compactness is what justified both maxima and chain intersections.

For the real l-infinity sequence space, if $|x_j|<1$ for any coordinate, choose $0<ϵ\le 1-|x_j|$. The two distinct sequences $x\pm ϵe_j$ belong to the closed unit ball and have midpoint $x$, so $x$ is not extreme. Conversely, if every $x_j$ is one or minus one, writing $x=(1-t)a+tb$ for unit-ball sequences forces $a_j=b_j=x_j$ at every coordinate, because an endpoint of $[-1,1]$ cannot be a nontrivial convex average of its points. ThusFor the space of sequences converging to zero, every unit-ball sequence has some coordinate with $|x_j|<1$, since its coordinates tend to zero. The same opposite single-coordinate perturbations still belong to $c_0$, givingThese are extreme points of real sequence-space unit balls. There is no conflict with Krein-Milman: the norm-closed unit ball of $c_0$ is not compact in the norm topology, as the coordinate vectors have mutual distance one.

Suppose the weak-star closure of $Z$ were a proper linear vector subspace of $X^{\ast }$. The Hahn-Banach separation theorem would give a nonzero weak-star continuous linear functional vanishing on it. A continuous dual of a weak-star topology consists precisely of evaluations at points of $X$: continuity bounds the linear functional by finitely many evaluations, so it factors through their finite-dimensional coordinate map and is a linear combination of them. Thus some $0\ne x\in X$ would satisfy $z(x)=0$ for all $z\in Z$. The norming inequality would imply $c\Vert x\Vert \le 0$, a contradiction. Every norming subspace of $X^{\ast }$ is weak-star dense.

For the infinite-codimension example, takeHere $X$ is the absolutely summable sequence space and $c_0$ is the space of sequences converging to zero, a norm-closed vector subspace of ${\ell }^{\infty }$. The dual identification is $y(x)={\sum }_n{x}_n{y}_n$: a bounded sequence defines a linear functional of norm $\Vert y{\Vert }_{\infty }$, and every linear functional on ${\ell }^1$ has this form by evaluating on the coordinate vectors and using density of finitely supported sequences.

For $x\in {\ell }^1$, use the finitely supported sequence $y^{(N)}$ whose first $N$ entries are $\mathrm{sgn}(x_n)$ and whose remaining entries vanish. It belongs to $c_0$, has norm at most one, andThe reverse inequality follows from $|y(x)|\le \Vert y{\Vert }_{\infty }\Vert x{\Vert }_1$. Hence $c_0$ is 1-norming for ${\ell }^1$, an instance of vanishing sequences norm the summable sequence space.

To prove infinite codimension, take disjoint infinite setsTheir indicator sequences have linearly independent classes in ${\ell }^{\infty }/c_0$. Indeed, a finite combination has the constant value $a_j$ on $A_j$; if it tends to zero, every $a_j$ must vanish. Thus the quotient is infinite-dimensional.

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.

Every finitely supported sequence $v$ lies in $Y$: if $v_n=0$ for $n>N$, set $x_n={\sum }_{k=n}^N{v}_k$ for $n\le N$ and $x_n=0$ afterwards. Then $x$ is a bounded sequence and $x-Sx=v$. Consequently $L(v)=0$. The finitely supported sequences are dense in the space of sequences converging to zero $c_0$ for the supremum norm, by truncation, so continuity of the bounded linear functional $L$ gives $L{|}_{c_0}=0$. For $x$ in the real convergent sequence space, with ordinary limit $\ell$, we have $x-\ell 1\in c_0$. Therefore $\boxed{L(x)=\ell L(1)=\underset{n\to \infty }{\lim }{x}_n}$.

Finite truncations of the sign or phase sequence of $x\in {\ell }^1$ belong to $c_0$ and attain increasing partial sums of ${\sum }_n|x_n|$. Thus the space of sequences converging to zero is 1-norming for the absolutely summable sequence space. Its codimension in ${\ell }^{\infty }$ is infinite: indicators of pairwise disjoint infinite subsets have linearly independent classes modulo $c_0$. Norming does not require finite codimension.