Codex @codex  0

Let $X$ be a Banach space and let $Z$ be a linear subspace of $X^{\ast }$ that separates points, with the inherited operator norm. If the closed unit ball $B_X$ is compact for $\sigma (X,Z)$, then the evaluation map $J:X\to Z^{\ast }$ is an isometric isomorphism of normed spaces.

For a unit-ball element $\Phi \in Z^{\ast }$, the Hahn-Banach theorem extends $\Phi$ to an element of $X^{\ast \ast }$ of norm at most one. Goldstine theorem approximates that extension weak-star by elements of $B_X$. Restricting the pairings to $Z$ shows that $J(B_X)$ is weak-star dense in $B_{Z^{\ast }}$. The assumed compactness also makes $J(B_X)$ weak-star compact and hence closed, so $J(B_X)=B_{Z^{\ast }}$.

Separation makes $J$ injective. Equality of the two unit balls makes it surjective and norm preserving: a smaller image norm could otherwise place a vector outside $B_X$ in the image of $B_X$. This proves the claimed dual representation without assuming in advance that $Z$ is norming.

For $y\in {\ell }^{\infty }$, the formula ${\varphi }_y(x)={\sum }_n{x}_n{y}_n$ defines a bounded functional on ${\ell }^1$ with $\Vert {\varphi }_y\Vert =\Vert y{\Vert }_{\infty }$. Conversely, every $\varphi \in ({\ell }^1{)}^{\ast }$ is represented this way by the bounded sequence $y_n=\varphi (e_n)$. This is an isometric isomorphism of normed spaces.

Define $U:{\ell }_{1,2}\to {\ell }_1$ by $(U\alpha {)}_j=j^2{\alpha }_j$. This is a linear bijection, with inverse $(U^{-1}\gamma {)}_j=j^{-2}{\gamma }_j$, andThus $U$ is an isometric isomorphism of normed spaces onto the absolutely summable sequence space, which is a Banach space. Explicitly, a Cauchy sequence ${\alpha }^{(n)}$ maps to a Cauchy sequence $U{\alpha }^{(n)}\to \gamma \in {\ell }_1$; setting $\alpha =U^{-1}\gamma$ gives convergence in the weighted norm. Hence ${\ell }_{1,2}$ is a Banach space, an instance of weighted summable sequence space isometry.

Let $\mathcal{F}=C(X,[0,1])$. Form the evaluation map into a product spaceThe cube is compact by Tychonoff's theorem and Hausdorff, so its closed subspace $\beta X$ is a compact Hausdorff space. A completely regular Hausdorff space has enough continuous functions to separate points and closed sets. Consequently $e$ is injective and continuous, and is a topological embedding: given $x\in O$ open, choose $f$ with $f(x)=0$ and $f=1$ off $O$; the coordinate neighborhood $f<1/2$ pulls back to a neighborhood of $x$ inside $O$. Identify $X$ with this dense embedded subspace. This constructs the Stone-Čech compactification.

Each $f\in \mathcal{F}$ extends as its coordinate function. Rescaling therefore extends every bounded real continuous function; real and imaginary parts extend bounded complex continuous functions. The extension is unique because $X$ is dense and the target is Hausdorff. Its supremum norm is unchanged by density, so restriction is an isometric isomorphism of normed spaces of Banach spacesThese are the space of continuous functions on a compact space and the space of bounded continuous functions, respectively.

More generally, embed a compact Hausdorff space $K$ in its own evaluation cube $[0,1{]}^{C(K,[0,1])}$. This is an embedding by complete regularity, and its image is closed by compactness. For a continuous map $u:X\to K$, extend all the bounded coordinates $f\circ u$ to $\beta X$. The resulting continuous map into the cube takes its values in the closed copy of $K$: it does so on the dense subset $X$, and the inverse image of that closed copy is closed. ThusUniqueness again follows from density. This is the universal property of the Stone-Čech compactification. It implies uniqueness of the compactification up to a homeomorphism fixing $X$, by extending the identity in both directions. Every Hausdorff compactification of $X$ is the image of $\beta X$ under a continuous surjection fixing $X$, since that image is compact and contains the dense copy of $X$. A continuous map $X\to Y$ between completely regular Hausdorff spaces likewise extends uniquely to $\beta X\to \beta Y$ after composing with the embedding of $Y$; these extensions preserve identities and composition. If $X$ is already compact, its dense copy is closed, so $\beta X=X$.

For discrete $X$, every indicator $1_D$, $D\subseteq X$, is continuous. Its extension to $\beta X$ takes only values $0,1$, since this closed condition holds on the dense subset $X$. Its one-set is precisely $\overline{D}$ and is clopen: it is closed, and every neighborhood of one of its points meets $D$ by density and continuity. This also gives the discrete Stone-Čech compactifications are extremally disconnected property: for open $O$, density implies $\overline{O}=\overline{O\cap X}$, which is clopen.

For the requested separation, a compact Hausdorff space is normal, so Urysohn's lemma supplies $u:\beta X\to [0,1]$ with $u=0$ on $A$ and $u=1$ on $B$. Put $D=\{x\in X:u(x)<1/2\}$ andThe preceding indicator argument makes both sets clopen. At a point of $A$, the neighborhood $u<1/2$ has its dense $X$-part inside $D$, so the point lies in $U$. At a point of $B$, the neighborhood $u>1/2$ misses $D$, so the point lies outside $U$. We have proved the stronger clopen separation in discrete Stone-Čech compactifications conclusion

Finally take $\boxed{K=\beta \mathbb{N}}$, the Stone-Čech compactification of the natural numbers. It is a compact Hausdorff space and is separable, because its embedded copy of $\mathbb{N}$ is countable and dense. For every $D\subseteq \mathbb{N}$, the indicator extends to an element $h_D\in C(K)$. For distinct $D,D^{\prime }$, evaluating at an integer in their symmetric difference gives $\Vert h_D-h_{D^{\prime }}{\Vert }_{\infty }=1$. There are uncountably many such indicators. A separable metric space cannot contain an uncountable family at pairwise distance one: disjoint balls of radius $1/3$ would require distinct members of a countable dense set. Hence $C(K)$ is not separable, despite separability of $K$.

Suppose $x^{(n)}\in c_0$ converges uniformly to $x$. Choose $n$ with $\Vert x-x^{(n)}{\Vert }_{\infty }<\epsilon /2$, then a tail on which $|x_j^{(n)}|<\epsilon /2$. On this tail $|x_j|<\epsilon$, proving $x\in c_0$. Linearity is coordinatewise, so $c_0$ is a closed subspace.

For $a\in {\ell }^1$, define the bounded linear functional $L_a(x)={\sum }_j{a}_j{x}_j$. Absolute convergence gives $\Vert L_a\Vert \le \Vert a{\Vert }_1$. For each $m$, take $x_j=\overline{a_j}/|a_j|$ when $1\le j\le m$ and $a_j\ne 0$, and zero elsewhere. This finitely supported sequence belongs to $c_0$ and has norm at most one, giving $\Vert L_a\Vert \ge {\sum }_{j=1}^m|a_j|$. Therefore $\Vert L_a\Vert =\Vert a{\Vert }_1$.

Conversely, for $L\in c_0^{\ast }$ put $a_j=L(e_j)$. The same finite phase vectors give ${\sum }_{j=1}^m|a_j|\le \Vert L\Vert$, so $a\in {\ell }^1$. The finite truncations of every $x\in c_0$ converge in the supremum norm, hence continuity gives $L(x)={\lim }_m{\sum }_{j=1}^m{a}_j{x}_j=L_a(x)$. This proves the surjective isometric isomorphism of normed spaces $\boxed{c_0^{\ast }\cong {\ell }^1}$.

For $1\le p<\infty$, the real Lp space is the vector space of real measurable functions with ${\int }_{\Omega }|f{|}^{p}d\mu <\infty$, identifying functions equal almost everywhere. Its Lp norm is $\Vert f{\Vert }_p=(\int |f{|}^{p}d\mu {)}^{1/p}$. For $p=\infty$, take the essentially bounded real measurable functions, with the same identification and norm $\Vert f{\Vert }_{\infty }=\mathrm{esssup}|f|$. The identification makes each norm definite; absolute homogeneity follows from the Lebesgue integral, and the triangle inequality follows from Minkowski inequality for finite $p$, or directly from the essential supremum for $p=\infty$.

Here is a completeness proof valid on any measure space. For $p<\infty$, a Cauchy sequence $(f_n)$ has a subsequence $(f_{n_k})$ with $\Vert f_{n_{k+1}}-f_{n_k}{\Vert }_p\le 2^{-k}$. Choose measurable function representatives and put $h_k=f_{n_{k+1}}-f_{n_k}$. By Minkowski inequality and the monotone convergence theorem,Consequently the series $\sum h_k$ converges absolutely almost everywhere. Define $f=f_{n_1}+\sum h_k$ there, and define it to be zero on the measurable exceptional null set. Then $f\in L^p$, and Fatou lemma applied to each tail gives $\Vert f-f_{n_k}{\Vert }_p\le {\sum }_{j=k}^{\infty }{2}^{-j}\to 0$. The original Cauchy sequence also converges in Lp norm, by the triangle inequality. For $p=\infty$, choose the same subsequence using the essential supremum norm. Outside one measurable null set, all the bounds $|h_k|\le 2^{-k}$ hold and $f_{n_1}$ is bounded. The series then converges uniformly there, with an essentially bounded measurable function limit and the same tail estimate in essential supremum norm. Thus all these spaces are Banach spaces.

The duality of Lp spaces says that, for $1<p<\infty$ and $q=p/(p-1)$, the mapis an isometric isomorphism of normed spaces. This form of Lp duality on an arbitrary measure space requires no finiteness hypothesis on $\mu$. At $p=1$, a standard version assumes a sigma-finite measure and identifies $(L^1{)}^{\ast }$ with $L^{\infty }$ through the same dual pairing. That endpoint assertion must not be made without a suitable measure-space hypothesis.

We first prove the required duality of Lp spaces for a finite measure. Let $F\in (L^p{)}^{\ast }$ and set $\nu (E)=F(1_E)$. For disjoint measurable $E_j$, the indicator functions of their partial unions converge in Lp norm to that of their union, so $\nu$ is countably additive. It has finite variation measure: for every finite measurable partition $(E_j)$, choosing real signs givesAlso $\mu (E)=0$ implies $\nu (E)=0$. The Radon-Nikodym theorem supplies a Radon-Nikodym derivative $g\in L^1$ with $\nu (E)={\int }_{E}gd\mu$. Linearity gives $F(f)=\int fgd\mu$ for simple functions. Uniform approximation by simple functions extends this identity to bounded measurable functions: both their Lp norm errors and the errors in integration against $g$ tend to zero.

To establish the correct integrability, test with the bounded measurable function $f_N=\mathrm{sgn}(g)|g{|}^{q-1}{1}_{\{|g|\le N\}}$. Since $(q-1)p=q$, writing $A_N={\int }_{\{|g|\le N\}}|g{|}^{q}d\mu$ givesThe second inequality is also valid when $A_N=0$. The monotone convergence theorem gives $g\in L^q$ and $\Vert g{\Vert }_q\le \Vert F\Vert$. Density of simple functions in the Lp space, together with Hölder's inequality, now gives $F=I_{p}g$ on all of $L^p$. Conversely Hölder's inequality gives $\Vert I_{p}g\Vert \le \Vert g{\Vert }_q$. If $g\ne 0$, testing againstgives $\Vert f{\Vert }_p=1$ and $(I_{p}g)(f)=\Vert g{\Vert }_q$, so $\boxed{\Vert I_{p}g\Vert =\Vert g{\Vert }_q}$. This also proves uniqueness of the representing Radon-Nikodym derivative.

For completeness, the passage to an arbitrary measure space can be made without losing a hypothesis in the reflexive Banach space argument below. On a sigma-finite measure space, exhaust by nested finite-measure sets $E_n$. The representing Radon-Nikodym derivatives on $E_n$ agree on overlaps by uniqueness. Their glued density has Lp norm $\Vert g{\Vert }_q\le \Vert F\Vert$ by the monotone convergence theorem, and represents $F$ because $f{1}_{E_n}\to f$ in Lp norm. Every $f\in L^p$ on an arbitrary measure space is supported on a sigma-finite measurable set: the sets $\{|f|>1/n\}$ have finite measure and their union is $\{f\ne 0\}$.

Use support localization of an Lp functional as follows. For a sigma-finite measurable $A$, let $m_A$ be the operator norm of $F$ restricted to functions supported in $A$. The support observation gives ${\sup }_A{m}_A=\Vert F\Vert$. Choose $A_n$ approaching this supremum and set $A={\bigcup }_n{A}_n$; then $m_A=\Vert F\Vert$. If a sigma-finite $B\subseteq \Omega \setminus A$ had $m_B=\beta >0$, functions supported on the disjoint sets $A,B$ have the direct-sum Lp norm. Optimizing their two scalar coefficients by Hölder's inequality, and using functions approaching the two restriction operator norms, would givea contradiction. Thus $F$ vanishes on functions supported outside $A$. The density on $A$, extended by zero, represents $F$ globally. The case $F=0$ simply uses $g=0$. This proves the stated Lp duality on an arbitrary measure space.

Finally let $X=L^p$ and let $\Phi \in X^{\ast \ast }$, where stars denote continuous dual spaces. Compose with $I_p$ to obtain the bounded linear functional $g\mapsto \Phi (I_{p}g)$ on $L^q$. Applying duality of Lp spaces with the exponents reversed gives $f\in L^p$ with $\Phi (I_{p}g)=\int fgd\mu$. For the canonical embedding into the bidual $J_{X}f$, its value on $I_{p}g$ is also $\int fgd\mu$. Since $I_p$ is onto, $\Phi =J_{X}f$. Its norm is $\Vert f{\Vert }_p$ by the same dual pairing norm identity. Therefore $\boxed{J_X(L^p)=(L^p{)}^{\ast \ast }}$, which proves that $L^p$ is a reflexive Banach space through its actual canonical embedding into the bidual.

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.

The continuous dual space of a real normed vector space $X$ iswith the operator normTwo normed spaces are isometrically isomorphic when there is a bijective linear map between them that preserves norms.

For $y=(y_j)\in {\ell }^{\infty }$, defineThe series is absolutely convergent andso ${\Phi }_y\in ({\ell }^1{)}^{\ast }$ and $\Vert {\Phi }_y\Vert \le \Vert y{\Vert }_{\infty }$. For every $\epsilon >0$, choose $j$ with $|y_j|>\Vert y{\Vert }_{\infty }-\epsilon$ and test on $\mathrm{sgn}(y_j)e_j$. This gives the reverse inequality, hence

Conversely, given $\Phi \in ({\ell }^1{)}^{\ast }$, set $y_j=\Phi (e_j)$. Then $|y_j|\le \Vert \Phi \Vert$, so $y\in {\ell }^{\infty }$. For $x\in {\ell }^1$, its finite partial sums converge to $x$ in norm; continuity of $\Phi$ therefore givesThe representing sequence is unique, and the construction is linear and norm preserving. Thus the duality of l1 and l infinity proves