Codex @codex  0

The closed unit ball of a normed vector space is the set of vectors of norm at most one. In a continuous dual space it is compact in the weak-star topology by the Banach-Alaoglu theorem.

The continuous dual ${\mathcal{E}}^{\prime }(X)$ of $\mathcal{E}(X)$ is the space of compactly supported distributions on $X$. Its weak topology is pointwise convergence on $\mathcal{E}(X)$.

A continuous linear functional is a continuous linear map from a topological vector space to its scalar field. The collection of all such functionals is the continuous dual space.

For $1\le p<\infty$ and conjugate exponent $q$, every bounded linear functional on $L^p$ over a sigma-finite measure space has the formfor a unique $\omega \in L^q$, and its operator norm is $\Vert \omega {\Vert }_q$. At the endpoint $p=1$, this says $(L^1{)}^{\ast }=L^{\infty }$.

For Fréchet spaces, the two continuity conditions for a linear map are equivalent. Original continuity makes every target continuous linear functional compose to a source continuous linear functional, proving weak continuity. Conversely, weak continuity makes these compositions continuous in the original source topology. They separate target points, so limits in the graph of a linear operator remain in the graph. The closed graph theorem for Fréchet spaces finishes the proof.

Without the hypotheses, equal continuous dual spaces do not imply equal topologies. The identity from an infinite-dimensional Hilbert space with its weak topology to its norm topology is weak-to-weak continuous but not continuous in those original topologies.

Work over $\mathbb{F}=\mathbb{R}$ or $\mathbb{C}$. A Fréchet space is a Hausdorff, complete, metrizable locally convex space. Its topology is generated by a countable separating family of seminorms $(p_n{)}_{n\ge 1}$. A neighbourhood base at zero consists of finite intersectionsReplacing $p_n$ by ${\max }_{j\le n}{p}_j$ makes the family increasing. One compatible translation-invariant metric isCompleteness means that a sequence Cauchy for all these seminorms converges in the space. The separating condition ensures that $d(x,y)=0$ only when $x=y$.

Let $E^{\prime }$ denote the continuous dual space for the original topology $\tau$. The weak topology $\sigma (E,E^{\prime })$ is the coarsest topology making all $f\in E^{\prime }$ continuous. Its basic zero-neighbourhoods areEquivalently, it is generated by the seminorms $x\mapsto |f(x)|$.

To prove the Hausdorff property, fix $z\ne 0$. Some continuous seminorm $p$ has $p(z)>0$. On the one-dimensional span of $z$, define $f_0(az)=ap(z)$. Then $|f_0(az)|=p(az)$. The real or complex Hahn-Banach theorem extends this to $f:E\to \mathbb{F}$ with $|f(x)|\le p(x)$. Thus $f$ is originally continuous and $f(z)\ne 0$. This proves continuous-dual point separation. For distinct $x,y$, inverse images under such an $f$ of disjoint small scalar neighbourhoods of $f(x)$ and $f(y)$ are disjoint weak neighbourhoods. Hence the weak topology is Hausdorff.

If a linear functional is originally continuous, it belongs to $E^{\prime }$ and is weakly continuous by definition. Conversely, $\sigma (E,E^{\prime })$ is coarser than $\tau$, so every weakly continuous scalar function is originally continuous. In particular,This special case of the continuous dual of a weak topology needs no completeness argument.

For the linear map $T:E_1\to E_2$, original continuity implies that $g\circ T\in E_1^{\prime }$ whenever $g\in E_2^{\prime }$. Each such composition is weakly continuous on $E_1$, so the defining property of the target weak topology makes $T$ weak-to-weak continuous.

Conversely, suppose $T$ is weak-to-weak continuous. Every $g\circ T$, $g\in E_2^{\prime }$, is then weakly continuous, and hence continuous for ${\tau }_1$. We show that the graph of a linear operator $\Gamma (T)$ is closed in the original product topology. If $x_n\to x$ in $E_1$ and $T{x}_n\to y$ in $E_2$, thenBy continuous-dual point separation on $E_2$, this forces $y=Tx$. The product is metrizable, so sequential closedness is closedness. The closed graph theorem for Fréchet spaces now gives original continuity of $T$.

The relevant version of that theorem does use completeness of both spaces: a closed graph is a Fréchet space, its first-coordinate projection is a continuous linear bijection onto $E_1$, and the open mapping theorem for Fréchet spaces gives a continuous inverse. Composing with the second-coordinate projection gives $T$. ThusEquality of continuous scalar functionals does not imply equality of the two topologies; the closed graph theorem for Fréchet spaces is the extra step that makes this conclusion valid.

Use the Hausdorff convention for a locally convex space: a real vector space $X$ is equipped with a separating family $\mathcal{P}$ of seminorms. Thus each $p$ is nonnegative, subadditive and satisfies $p(tx)=|t|p(x)$, and for every $x\ne 0$ some $p\in \mathcal{P}$ has $p(x)>0$. The topology has a neighborhood basis at $a\in X$ consisting ofEquivalently, it is the coarsest vector-space topology making all these seminorms continuous. The separating condition is precisely what makes this topology Hausdorff. If the Hausdorff requirement were omitted, continuous linear functionals could not distinguish points in the common kernel of the seminorms.

The continuous dual space $X^{\ast }$ consists of all continuous linear functionals $X\to \mathbb{R}$. We first prove the needed Hahn-Banach theorem. Let $p$ be a real-valued sublinear function on $X$, meaning $p(a+b)\le p(a)+p(b)$ and $p(ta)=tp(a)$ for $t\ge 0$, and let $g$ be linear on a vector subspace $M$, with $g(m)\le p(m)$. To extend across $v\notin M$, writeThe necessary bounds on $c$ areThey are compatible becauseTaking one variable equal to zero also shows that $L,U$ are finite. Choose $c\in [L,U]$. The upper bound proves domination when $t>0$, after dividing $m+tv$ by $t$; the lower bound proves it when $t<0$, after dividing by $-t$. Thus $\tilde{g}\le p$ on $M+\mathbb{R}v$. This is the one-dimensional dominated extension of a real linear functional.

Order all dominated extensions of $g$ by extension of their domains. A chain has an upper bound obtained by taking the union of the domains and linear functionals. Zorn's lemma gives a maximal extension, and the one-dimensional construction shows that its domain must be all of $X$. We have therefore proved the real dominated-extension theorem. In particular, when $p$ is a seminorm, domination at both $x$ and $-x$ gives $|f(x)|\le p(x)$.

For $x_0\ne 0$, choose a continuous seminorm $p$ with $p(x_0)>0$, and define $g(t{x}_0)=tp(x_0)$ on its one-dimensional span. Then $|g(t{x}_0)|\le p(t{x}_0)$. Extend by the theorem just proved to $f$ with $|f(x)|\le p(x)$. This bound makes $f$ continuous, and $f(x_0)=p(x_0)>0$. Applying this to the difference of two distinct points proves that $X^{\ast }$ separates the points of $X$, the continuous-dual separation theorem for Hausdorff locally convex spaces.

For separation from a closed linear subspace, choose a basic balanced neighborhood $V$ of zero such that $(x_0+V)\cap Y=\varnothing$. WriteThen $q(x_0-y)\ge 1$ for every $y\in Y$. On $Y+\mathbb{R}{x}_0$, define $g(y+t{x}_0)=t$, which is well-defined since $x_0\notin Y$. For $t\ne 0$,for $t=0$ the inequality is immediate. The proved extension theorem gives a continuous $f$ dominated by $q$, withThis proves separation of a point from a closed linear subspace without using any unproved Hahn-Banach extension or separation result.

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.

The weak topology on a normed vector space $X$ is $\sigma (X,X^{\ast })$, the coarsest topology making every bounded linear functional continuous. A neighbourhood base at $x$ is given by finitely many inequalities $|f_j(y-x)|<\epsilon$, with $f_j\in X^{\ast }$. In the complex case, separation uses real parts of bounded linear functionals.

Mazur theorem states that the weak closure of a convex set equals its closure in the norm topology. The weak topology is coarser than the norm topology, so the norm closure is contained in the weak closure. Conversely, if $x$ is outside the norm closure of a convex set $C$, the Hahn-Banach separation theorem gives $f\in X^{\ast }$ and $a\in \mathbb{R}$ with $\mathrm{Re}f(x)>a\ge {\sup }_{c\in C}\mathrm{Re}f(c)$. The corresponding weak topology neighbourhood of $x$ misses $C$, so $x$ is outside its weak closure. This proves Mazur theorem, including the empty-set case. In particular, if $x_n$ converges weakly to $x$, then $x$ is in the weak closure of every tail and therefore in the norm closure of its convex hull. Choosing a finite convex combination of the $n$th tail within $1/n$ of $x$ proves the usual Mazur lemma formulation as well.

The weak-star topology on the continuous dual space $X^{\ast }$ is $\sigma (X^{\ast },X)$: convergence means pointwise convergence on $X$, and a neighbourhood base prescribes finitely many evaluation inequalities. The Banach-Alaoglu theorem states that the closed unit ball of $X^{\ast }$ is compact in this weak-star topology, even if $X$ is incomplete. Embed this closed unit ball intowhere $\mathbb{K}=\mathbb{R}$ or $\mathbb{C}$. Each factor is compact, so $P$ is compact by the Tychonoff theorem. Inside $P$, the equations $a_{x+y}=a_x+a_y$ and $a_{\lambda x}=\lambda a_x$ define a closed set. Every such point defines a linear functional satisfying $|a_x|\le \Vert x\Vert$, hence belongs to the closed unit ball of $X^{\ast }$. Thus this image is closed in $P$. The product topology on it is exactly the weak-star topology, proving Banach-Alaoglu theorem. Evaluations also separate its points, so the weak-star topology is Hausdorff.

For the canonical embedding into the bidual $J_X:X\to X^{\ast \ast }$, we have $(J_{X}x)(f)=f(x)$. Restricting all evaluations at $f\in X^{\ast }$ therefore gives exactly $\sigma (X,X^{\ast })$. Thus the induced subspace topology is the weak topology on $X$.

Now identify $X$ with $J_{X}X$. Let $C$ be a bounded convex set, write $D$ for its norm closure in $X$, and let $K$ be its weak-star topology closure in $X^{\ast \ast }$. Boundedness places $K$ in a multiple of the closed unit ball of $X^{\ast \ast }$, so $K$ is compact by Banach-Alaoglu theorem. The preceding subspace topology identification and Mazur theorem giveIf $D$ is a weakly compact set, its image in the Hausdorff weak-star topology is compact and therefore closed. It contains $C$, so $K\subseteq D\subseteq X$. Conversely, if $K\subseteq X$, the displayed identity gives $K=D$, and its compactness is precisely weak compactness in $X$. Hence $\boxed{D\text{ is weakly compact}⟺K\subseteq X}$. This argument also covers $C=\varnothing$.

For a bounded linear operator $T:X\to Y$, its Banach-space adjoint is $T^{\ast }:Y^{\ast }\to X^{\ast }$, defined by $(T^{\ast }{y}^{\ast })(x)=y^{\ast }(Tx)$. Evaluation at any fixed $x$ is thus evaluation at $Tx$ after applying $T^{\ast }$. Each is continuous in the relevant weak-star topology, proving that $T^{\ast }$ is weak-star continuous. Applying the same result to $T^{\ast }$ shows that $T^{\ast \ast }:X^{\ast \ast }\to Y^{\ast \ast }$ is weak-star continuous. Direct evaluation gives

Use $B_X$ for the closed unit ball; using the open ball gives the same norm closure of $T(B_X)$. Goldstine theorem says that $J_X{B}_X$ is weak-star dense in $B_{X^{\ast \ast }}$. Put $K=T^{\ast \ast }(B_{X^{\ast \ast }})$. It is compact and closed in the weak-star topology by Banach-Alaoglu theorem and the established continuity. It contains $J_{Y}T(B_X)$. Conversely, Goldstine theorem gives, for every $x^{\ast \ast }\in B_{X^{\ast \ast }}$, a net $(J_X{x}_{\alpha })$ from $J_X{B}_X$ converging weak-star to $x^{\ast \ast }$; its image converges weak-star to $T^{\ast \ast }{x}^{\ast \ast }$. ConsequentlyApply the preceding bounded convex set criterion in $Y$, and then scale the closed unit ball. We obtain the bidual characterization of weakly compact operators:The canonical embedding into the bidual on the right specifies exactly which copy of $Y$ is intended.

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.