Codex @codex  0

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.

Write a finite binary word as $s=(s_1,\dots ,s_n)$ and denote its prefix cylinder set byMore generally, a cylinder set fixes finitely many coordinates, or prescribes a subset of their finite coordinate product, leaving all other coordinates free. Each coordinate factor is discrete, so finite-coordinate inverse images are both open and closed. Thus cylinders are clopen. The basic open sets of the product topology restrict only finitely many coordinates, so cylinders form a base. Any finite-coordinate cylinder is a finite union of prefix cylinders of one sufficiently long common length; the prefix cylinders therefore also form a base.

The Bernoulli space here is Cantor space, with compatible metricIt is a compact metric space: from any sequence, choose successively subsequences constant in the first, second and subsequent coordinates, and take the diagonal subsequence. Agreement on the first $n$ coordinates bounds the distance by $2^{-n}$, proving convergence. Compactness also follows from Tychonoff theorem.

Every cylinder indicator function is continuous because the cylinder is clopen. Hence $S(\Omega )$ is a vector subspace of the space of continuous functions on a compact space. To prove density, fix $f\in C_{\mathbb{R}}(\Omega )$ and $\epsilon >0$. By uniform continuity, choose $n$ so that $d(x,y)\le 2^{-n}$ implies $|f(x)-f(y)|<\epsilon$. Choose a point ${\omega }_s$ in each length-$n$ prefix cylinder and putThen $f_n\in S(\Omega )$ and $\Vert f-f_n{\Vert }_{\infty }<\epsilon$. This proves cylinder-function density in Cantor space:

Positivity of $\varphi$ implies monotonicity. The pointwise bounds $-\Vert f{\Vert }_{\infty }1\le f\le \Vert f{\Vert }_{\infty }1$ therefore giveEvaluation on $1$ attains equality, so $\varphi$ is continuous and has norm one. This is the norm of a positive functional on C(K).

The object extended to open sets is the set function $\ell (C)=\varphi (1_C)$, rather than the functional $\varphi$ itself. Positivity gives $\ell (C)\ge 0$, and linearity gives finite additivity on disjoint cylinders. To construct its extension directly, use the disjoint cylinder decomposition of open subsets of Cantor space. For an open $U$, take the shortest prefixes $s$ for which $[s]\subset U$. They are prefix-free, their cylinders are disjoint, and their union is $U$. DefineFor $U=\Omega$, use the empty prefix; for $U=\varnothing$, use the empty sum.

This value is independent of the chosen disjoint prefix-cylinder decomposition. Indeed, compare two such decompositions $(C_i)$ and $(D_j)$. For each fixed $C_i$, its intersections with the $D_j$ give a disjoint open cover of the compact cylinder $C_i$. Compactness reduces this to finitely many nonempty intersections. Each intersection is a prefix cylinder or is empty, so finite additivity gives $\ell (C_i)={\sum }_j\ell (C_i\cap D_j)$. Sum over $i$ and rearrange the nonnegative double sum. Doing the same with each $D_j$ proves equality of the two totals.

For disjoint open sets $U_k$, combine their disjoint cylinder decompositions to obtain one for ${\bigcup }_k{U}_k$. Rearrangement of nonnegative sums proves countable additivity on this family of open sets. The extension is unique because any countably additive extension must have the prescribed sum on every disjoint cylinder decomposition. Open sets are not themselves a sigma-algebra; countable additivity here concerns disjoint open families and their open union.

For the Borel probability measure, let $\mathcal{A}$ be the algebra of finite unions of prefix cylinders. It is also the algebra of clopen sets, because every clopen set is compact and has a finite cylinder cover. Define $\ell (A)=\varphi (1_A)$ on $\mathcal{A}$. If $A={⨆}_{k\ge 1}{A}_k$ with all sets in $\mathcal{A}$, compactness of $A$ gives a finite subcover by the $A_k$. Disjointness makes all remaining members empty. Thus finite additivity already establishes the premeasure condition.

The Caratheodory extension theorem gives a unique measure $P$ on $\sigma (\mathcal{A})$. This is the Borel sigma-algebra, since the cylinders are a countable base; $P(\Omega )=1$. Its values on open sets agree with the extension above. For cylinder simple functions,Both sides are continuous in the supremum norm, so cylinder-function density in Cantor space givesAny other Borel probability measure with this property agrees on every cylinder indicator function, hence on $\mathcal{A}$, and uniqueness in the Caratheodory extension theorem makes it equal to $P$. This proves the Cantor-space representation of positive functionals without assuming the general representation theorem.

Now let $h:\Omega \to X$ be the supplied continuous surjection. The pullbackis a unital isometric embedding: surjectivity gives $\Vert f\circ h{\Vert }_{\infty }=\Vert f{\Vert }_{\infty }$. On the vector subspace $J(C_{\mathbb{R}}(X))$, define $L(Jf)=\varphi (f)$. This is well-defined, has norm one and satisfies $L(1)=1$.

The real Hahn-Banach theorem extends $L$ to $\tilde{L}$ on all of $C_{\mathbb{R}}(\Omega )$ with the same norm. Norm preservation alone does not automatically mean positivity, so verify it. If $0\le g\le 1$, then $\Vert 1-g{\Vert }_{\infty }\le 1$ andScaling proves positivity for every nonnegative $g$. This is the unital contraction positivity criterion, giving a positive extension from a unital subspace of C(K).

Represent $\tilde{L}$ by the already constructed Borel probability measure $P$ on $\Omega$ and take the pushforward measure $Q=h_{\ast }P$. Continuity of $h$ makes its Borel inverse images measurable, and $Q(X)=1$. The pushforward integral identity givesThis is compact-metric representation by Cantor-space pullback. The hypothesis $\varphi (1)=1$ already excludes an empty $X$. The measure is on the Borel sets; no uniqueness claim on an unspecified larger collection of subsets is needed.

True. We prove weak-star topology on an entire infinite-dimensional Banach dual is not metrizable. Suppose instead that $E^{\prime }$ has a countable local base $(W_n)$ at zero. Choose a basic weak-star topology neighbourhood $U_n\subseteq W_n$, with its conditions involving a finite set $S_n\subseteq E$. The $U_n$ still form a local base.

For any $x\in E$, the set $\{\varphi :|\varphi (x)|<1\}$ is a neighbourhood of zero, so some $U_n$ is contained in it. Every functional annihilating $S_n$, and every scalar multiple of that functional, belongs to $U_n$. Consequently every such functional also annihilates $x$. This forcesIndeed a finite-dimensional span is norm closed, and the Hahn-Banach theorem supplies a bounded linear functional vanishing on it and nonzero at any point outside it.

It follows that $E={\bigcup }_n\mathrm{span}{S}_n$. Each span is a proper finite-dimensional closed vector subspace and has empty interior in the infinite-dimensional Banach space $E$. This contradicts the Baire category theorem. HenceThe uniform norm bound that made the metric work on $B^{\prime }$ is absent on the whole dual. The answers to (i), (ii), (iii) and (iv) are therefore all true.

We prove Kantorovich duality theorem here by a positive-functional extension argument; it produces the minimizing transport plan at the same time as equality of the values. Let $Y=X\times X$ and $c(x,y)=d(x,y)$. This is a bounded continuous function because $X$ is a compact metric space. Write $C(Y)$ for the real space of continuous functions on a compact space, and letOn this vector subspace define $\ell (s)=\int fd\mathbf{P}+\int gd\mathbf{Q}$. It is well-defined: two representations differ by a constant in the first variable and the opposite constant in the second, and both measures have mass one. It is positive, since $s\ge 0$ implies $\min f+\min g\ge 0$ and hence $\ell (s)\ge 0$. Also $\ell (1)=1$.

Define the majorant envelope, which is a sublinear functional:Constants majorize every $h$, and positivity gives $\min h\le p(h)\le \max h$, so this quantity is finite. Taking approximate minimizing majorants proves subadditivity; rescaling majorants proves positive homogeneity. Moreover $p(s)=\ell (s)$ for $s\in S$, and subtracting $s$ from a majorant provesThe dual value in the question is exactlySubadditivity at $c+(-c)=0$ gives $m_d\le p(c)$.

On $S+\mathbb{R}c$, assign the value $\ell (s)+t{m}_d$ to $s+tc$. If $c\notin S$ the representation is unique. If $c\in S$, then $m_d=\ell (c)$, so the assignment is still well-defined. It is dominated by $p$: for $t\ge 0$, use $t{m}_d\le tp(c)=p(tc)$; for $t<0$, positive homogeneity gives $p(tc)=(-t)p(-c)=t{m}_d$. Together with the translation identity, these verify domination in both cases.

The real Hahn-Banach theorem extends this functional to $T:C(Y)\to \mathbb{R}$ with $T\le p$. If $h\ge 0$, then $p(-h)\le \ell (0)=0$, so $T(h)\ge 0$. Thus $T$ is a positive linear functional, with $T(1)=1$ and $T(c)=m_d$. Positivity also gives $|T(h)|\le \Vert h{\Vert }_{\infty }$, so $T$ is continuous. The Riesz-Markov-Kakutani representation theorem supplies a Borel probability measure ${\pi }_0$ on the compact space $Y$, satisfying $T(h)={\int }_{Y}hd{\pi }_0$.

For every $f\in C(X)$, its pullback $f(x)$ belongs to $S$, so $\int f(x)d{\pi }_0=\int fd\mathbf{P}$. Likewise $\int g(y)d{\pi }_0=\int gd\mathbf{Q}$. Uniqueness in the Riesz-Markov-Kakutani representation theorem shows that these are exactly the two marginal distributions. Finally, every feasible pair $f+g\le c$ gives a lower bound for the cost of every transport plan, by integration. Our constructed plan achieves that bound:This Kantorovich duality by positive extension establishes the requested existence and equality without assuming an optimal plan in advance.

The metric structure additionally gives the Kantorovich–Rubinstein theorem formulation. For a feasible pair define $h(x)={\inf }_y\{d(x,y)-g(y)\}$. The triangle inequality for $d$ makes $h$ one-Lipschitz continuous, $h\ge f$, and $h(y)\le -g(y)$. Hence the dual objective is at most $\int hd\mathbf{P}-\int hd\mathbf{Q}$. Conversely $(h,-h)$ is feasible for every one-Lipschitz $h$. ThereforeNormalizing $h(x_0)=0$ for a fixed $x_0$ gives a uniformly bounded equicontinuous family; it is closed and compact in the uniform topology by the Arzela-Ascoli theorem. The objective is uniformly continuous on this family, so the supremum is attained as well. In particular, $m_d$ is the first Wasserstein distance between the two measures.

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.

Let $q:X^{\ast }\to X^{\ast }/Y$ be the quotient map. Since $Y$ is norm closed and has finite codimension, the quotient is a finite-dimensional normed space. Choose a basis of its continuous dual and compose its coordinate linear functionals with $q$. This gives ${\varphi }_1,\dots ,{\varphi }_n\in X^{\ast \ast }$ such thatIf $Jx\in F$, it vanishes on $Y$. Evaluation at $x$ is weak-star continuous, and $Y$ is weak-star dense, so it vanishes on all of $X^{\ast }$. The dual norm formula gives $x=0$. Hence $F\cap JX=\{0\}$.

Assume $X\ne \{0\}$; the zero space is trivially normed by any positive constant. We claim thatIf not, there would be $x_j\in S_X$ and ${\psi }_j\in F$ with $\Vert J{x}_j-{\psi }_j\Vert \to 0$. The sequence ${\psi }_j$ is bounded. Finite-dimensionality of $F$ gives a norm-convergent subsequence with limit $\psi \in F$. Then $J{x}_j\to \psi$, and $JX$ is norm closed because $X$ is Banach. Thus $\psi \in F\cap JX$ and $\Vert \psi \Vert =1$, a contradiction. This is positive distance between a unit sphere and a disjoint finite-dimensional subspace.

Fix $x\in S_X$, identifying it with $Jx$, and put $\delta =\mathrm{dist}(x,F)\ge d$. On $F+\mathbb{R}x$, define $h(\varphi +tx)=t\delta$. The distance definition givesThe Hahn-Banach theorem extends it to $\Psi \in X^{\ast \ast \ast }$ with $\Vert \Psi \Vert \le 1$, $\Psi {|}_F=0$ and $\Psi (x)=\delta$.

Apply part (ii) with the Banach space $X^{\ast }$, its finite-dimensional dual vector subspace $E=F+\mathbb{R}x\subseteq X^{\ast \ast }$, and the bidual space element $\Psi \in X^{\ast \ast \ast }$. For every $\eta >0$ it supplies $y_{\eta }\in X^{\ast }$ satisfyingThus $y_{\eta }\in Y$. Normalize by $1+\eta$ and let $\eta \downarrow 0$ to obtainHomogeneity gives, for all $x\in X$,Consequently a finite-codimensional weak-star dense dual subspace is norming, with $c=d$. Since $Y$ is a real linear vector subspace and its ball is symmetric, the same supremum is obtained if an absolute value is inserted. The argument uses near-unit interpolation and a limiting supremum, not an assertion that the supremum is attained.

A one-dimensional Sobolev representative is absolutely continuous. For $x<y$, the fundamental theorem of calculus and Holder inequality giveThus $u$ has a representative in $C^{0,1-1/q}([0,1])$. The qualification about representatives matters because a Sobolev space element is an almost-everywhere equivalence class.

In two dimensions, the Sobolev fundamental theorem of calculus on lines and Fubini's theorem imply that almost every horizontal and vertical slice belongs to $W^{1,q}(0,1)$ and has this one-dimensional Hölder continuity. The slice seminorm depends on the slice; this does not give one uniform pointwise estimate on the square. For $q>2$, Morrey's inequality additionally gives a globally Hölder continuous representative of exponent $1-2/q$. For $1<q\le 2$, global continuity need not hold. For example, with a smooth cutoff around an interior point, $u(x)=|x-x_0{|}^{-a}$ lies in $W^{1,q}$ when $0<a<2/q-1$, but is unbounded. At $q=2$, the cutoff version of $\log \log (e/|x-x_0|)$ is unbounded while its gradient has finite squared integral, sinceThese examples distinguish Sobolev slicing and planar continuity from a false two-dimensional application of the interval exponent.

Put $\Omega =(0,1{)}^2$. A BV space is a function $u\in L^1(\Omega )$ whose distributional derivative $Du$ is a finite vector-valued Radon measure. Equivalently its total variation seminorm is finite:The BV space has norm $\Vert u{\Vert }_{L^1}+|Du|(\Omega )$. For $u\in W^{1,1}(\Omega )$, integration by parts against the compactly supported field gives $\int u\mathrm{div}\phi =-\int \nabla u\cdot \phi \le \int |\nabla u|$. Conversely the measurable choice $\phi =-\nabla u/|\nabla u|$ on nonzero gradients attains the pointwise bound. Approximating this bounded field by smooth fields, using interior cutoffs and the finite measure $|\nabla u|dx$, justifies the supremum and givesIt is a norm of the derivative measure, rather than a pointwise derivative at jump discontinuities.

There is a genuine mismatch in the printed definition of the next functional. Its constraints on ${\phi }_0$ and $\phi$ are independent. Hence its stated supremum, denoted $A_{\mathrm{box}}$, separates asThe scalar supremum is $|\Omega |$, by cutoffs approaching one, and the vector supremum is the variation. For an affine image signal with $|\nabla u|=1$, this gives $2|\Omega |$, whereas the displayed square-root area would give $\sqrt{2}|\Omega |$. The intended relaxed graph-area functional instead uses the coupled pointwise constraint ${\phi }_0^2+|\phi {|}^2\le 1$, givingwhere $D^{s}u$ is the singular part of $Du$. Both readings have a minimizer, but their equations are different.

Here is the direct method in the calculus of variations for either reading. Let $A_{\bullet }$ be the literal $A_{\mathrm{box}}$ or the corrected $A$, and define the energy on $BV(\Omega )\cap L^2(\Omega )$, assigning infinity elsewhere. A minimizing sequence has bounded energy by comparison with $u=0$. Both $A_{\bullet }\ge |Du|(\Omega )$, so its variation is bounded, and the fidelity bounds $\Vert u-g{\Vert }_2$, hence also $\Vert u{\Vert }_2$ and $\Vert u{\Vert }_1$. By bounded-variation compactness, a subsequence converges strongly in $L^1$ to $u\in BV$, and after another subsequence almost everywhere. Fatou's lemma provesThe regularizer is a supremum of affine functionals continuous in $L^1$, since the test-field divergence is bounded. It is therefore lower semicontinuous. Combining the two lower bounds proves existence of a minimizer. In fact the convex regularizer and the strictly convex squared fidelity make the minimizer unique up to null sets. This does not assert that the minimizer must belong to $W^{1,1}$.

For the intended graph area, conditionally assume that the minimizer is in $W^{1,1}$. For $\eta \in C_c^{\infty }(\Omega )$, differentiate at $u+t\eta$. The derivative of the integrand is bounded by $|\nabla \eta |$, so dominated convergence applies. The weak equation isthat is,This is the graph-area Euler-Lagrange equation. Compactly supported variations impose no boundary condition in this statement.

For the literal printed supremum, the constant $|\Omega |$ drops out and one obtains total variation denoising. Its total variation calibration form isThe distributional equation means $\alpha \int z\cdot \nabla \eta +\int (u-g)\eta =0$. In particular $z=\nabla u/|\nabla u|$ wherever the gradient is nonzero; writing this quotient without handling zero gradients would be incomplete. Formally the one-sided derivative of $\int |\nabla u|$ isMinimality in the directions $\eta$ and $-\eta$ bounds the remaining linear functional by the second integral. The Hahn-Banach theorem extends it on that zero-gradient set to a bounded vector field of magnitude at most one, furnishing $z$ and the displayed weak equation. Thus the literal definition has a nonsmooth subgradient equation, not the square-root equation above.

A subspace is topologically complete if its subspace topology is induced by some complete metric. The compatible complete metric need not be the restriction of the displayed ambient metric. For example, an open interval is topologically complete although its usual metric is incomplete.

Suppose $\rho$ is a compatible complete metric on $Y$. For each $n\ge 1$ and $y\in Y$, choose an ambient open set $V_{n,y}$ containing $y$, contained in $B_d(y,1/n)$, and with $\rho$-diameter of $V_{n,y}\cap Y$ at most $1/n$. Such sets exist because the two topologies on $Y$ agree. Put $U_n={\bigcup }_{y\in Y}{V}_{n,y}$. Clearly $Y\subseteq {\bigcap }_n{U}_n$.

If $x\in {\bigcap }_n{U}_n$, choose $y_n\in Y$ with $x\in V_{n,y_n}$. Then $d(x,y_n)<1/n$, so $y_n\to x$ in the ambient metric. For fixed $m$, the point $x$ belongs to some open $V_{m,z}$, and eventually all $y_n$ belong to this set. Their pairwise $\rho$-distances are then at most $1/m$. Hence $(y_n)$ is $\rho$-Cauchy, and completeness gives a limit $y\in Y$. Compatibility gives $d(y_n,y)\to 0$, forcing $x=y$. ThusThis proves the G-delta criterion for topological completeness in the required direction.

The converse is true in a complete metric ambient space. If $Y={\bigcap }_n{U}_n$ with each $U_n$ open in complete $X$, define $a_n(y)=1/d(y,X\setminus U_n)$, omitting any term whose complement is empty. A compatible complete metric on $Y$ isContinuity of each $a_n$ and the uniformly small series tail show that $D$ has the original topology. A $D$-Cauchy sequence is $d$-Cauchy, hence converges to some $x\in X$. For each $n$, its real coordinates $a_n$ form a Cauchy sequence and remain bounded. Since distance to a closed set is continuous, $d(x,X\setminus U_n)>0$, so $x\in U_n$ for every $n$. The same coordinate convergence and series-tail argument give convergence in $D$. Thus $D$ is complete.

For the normed-space claim, embed $E$ densely in its norm completion $\hat{E}$. Topological completeness and the preceding criterion make $E$ a dense G-delta set in $\hat{E}$, hence comeagre. Every translate $x+E$ is also comeagre. The Baire category theorem in the complete space $\hat{E}$ implies that $E\cap (x+E)$ is nonempty. If $z=x+e$ lies in that intersection, then $x=z-e\in E$. This holds for every $x\in \hat{E}$, soThis is the comeagre subgroup completeness argument.

Finally let $B=\{\ell \in E^{\ast }:\Vert \ell \Vert <1\}$ with its weak-star topology. Put $r_n=1-1/(n+1)$ and $F_n=\{\ell \in B:\Vert \ell \Vert \le r_n\}$. The dual norm is the supremum of the continuous evaluation moduli on the unit ball of $E$, so every $F_n$ is relatively closed. Also $B={\bigcup }_n{F}_n$.

Each $F_n$ has empty relative interior. Given $\ell \in F_n$ and a basic weak-star neighborhood restricting finitely many evaluations on $x_1,\dots ,x_k$, the Hahn-Banach theorem gives a nonzero functional $h$ annihilating their finite-dimensional span, because $E$ is infinite-dimensional. All $\ell +th$ retain those evaluations. Their norm varies continuously with $t$ and becomes unbounded; choose $t$ so that $r_n<\Vert \ell +th\Vert <1$. This point lies in the neighborhood inside $B$ but outside $F_n$. Thus $B$ is a nonempty countable union of relatively closed nowhere dense sets and is not a Baire space. ConsequentlyThis weak-star open dual ball category obstruction works without assuming that $E$ is separable or that the weak-star ball is metrizable.

Use the standard setting of a compact metrizable convex set $K$ in a Hausdorff locally convex real topological vector space, with its metrizable topology. Write $A(K)$ for the continuous affine real functions on $K$. The affine upper envelope of a bounded real function isConstants make this infimum finite, and $f\le \overline{f}$. An infimum of affine continuous majorants is concave and upper semicontinuous, hence Borel. For continuous $f$ it is the upper concave envelope appropriate to barycentric measures; it is not the pointwise maximum of $f$ and a selected affine function.

For a fixed probability $\mu$, define $p(g)={\int }_K\overline{g}d\mu$ on real $C(K)$. Affine majorants showThus $p$ is sublinear and $p(a)=\int ad\mu$ for affine $a$. On the span of $f$, the linear functional taking $f$ to $p(f)$ is dominated by $p$: the negative-scalar condition follows from $-p(f)\le p(-f)$. For $f=0$ start from the zero subspace. The Hahn-Banach theorem extends it to a linear functional $L$ on $C(K)$ with $L\le p$ and $L(f)=p(f)$.

If $g\ge 0$, then $p(-g)\le 0$, so $L(g)\ge 0$. Also $p(1)=1$ and $p(-1)=-1$, forcing $L(1)=1$. Positivity gives $|L(g)|\le \Vert g{\Vert }_{\infty }$, and the Riesz-Markov-Kakutani representation theorem produces a Borel probability $\nu$ with $L(g)=\int gd\nu$. ThereforeFor affine $a$, testing both $a$ and $-a$ gives $\int ad\nu =\int ad\mu$: the two measures have the same barycenter. This proves the requested supporting measure lemma for affine upper envelopes.

Choquet's theorem: every $x\in K$ has a Borel probability measure $\lambda$ concentrated on the extreme points of $K$ whose barycenter is $x$; equivalently,Concentration is a measure-one assertion, not a claim that the topological support must be a closed subset of $\mathrm{Ex}K$.

To prove it, let ${\mathcal{M}}_x$ be the measures satisfying all the displayed affine equalities. It is nonempty because it contains ${\delta }_x$, and it is weakly closed in the compact space $P(K)$, hence compact. Let $h\in C(K)$ be strictly convex, as permitted. Choose $\lambda \in {\mathcal{M}}_x$ maximizing $\int hd\lambda$. Apply the supporting measure lemma with $\mu =\lambda$ and $f=h$. It gives $\nu$ with the same affine integrals, so $\nu \in {\mathcal{M}}_x$, andThus $\overline{h}-h\ge 0$ has integral zero. If $z$ is not extreme, write $z=ty+(1-t)w$ with $0<t<1$ and distinct $y,w\in K$. Strict convexity and every affine majorant giveTherefore the nonnegative gap is strictly positive at every nonextreme point. It is Borel, and $\mathrm{Ex}K$ is Borel by the allowed G-delta set assertion. Its zero integral forces $\lambda (K\setminus \mathrm{Ex}K)=0$, proving Choquet's theorem by strict convexity. No uniqueness is asserted for the representing measure.

For the real $L^{\infty }$ example, give its closed unit ball $K$ the weak-star topology $\sigma (L^{\infty },L^1)$, not the norm topology. The Banach-Alaoglu theorem makes it compact, and separability of $L^1[0,1]$ makes this ball metrizable. Its extreme points are exactly the classes $h$ satisfying $|h|=1$ almost everywhere. Indeed, if $|h|\le 1-\epsilon$ on a positive-measure set, adding and subtracting $\epsilon$ times its indicator decomposes $h$ nontrivially inside the ball. Conversely, if $|h|=1$ almost everywhere and $h=(u+v)/2$ with $|u|,|v|\le 1$, pointwise equality at the endpoints of $[-1,1]$ forces $u=v=h$ almost everywhere. This is the extreme-point criterion for the L-infinity unit ball.

For the hinted case $f=1_A-1_B$, put $C=[0,1]\setminus (A\cup B)$ and $h_{\pm }=1_A-1_B\pm 1_C$. Then $h_{\pm }$ are extreme andhas barycenter $f$. If $C$ is null, the two point masses coincide.

For a general real $f$, choose a measurable representative in $[-1,1]$ and set, for $0\le t\le 1$,Every $H_t$ is extreme. The map into the weak-star compact ball is Borel: for each $u\in L^1$, the function $t\mapsto \int u(s)H_t(s)ds$ is measurable by joint measurability and integration; a countable dense family of such tests generates the ball's topology and Borel sigma-algebra. The measure is independent of changes to $f$ on a null set. For each $s$,The integrand paired with $u$ is dominated by $|u|$, so Fubini's theorem yieldsThese continuous linear tests define the weak-star barycenter, hence that barycenter is $f$. Together with $\nu (\mathrm{Ex}K)=1$, this is the required threshold Choquet representation in L-infinity.

If $L^{\infty }$ is instead taken over complex scalars, its extreme points satisfy the same unit-modulus condition. Write $f(s)=r(s)\zeta (s)$, with $r=|f|$ and $|\zeta |=1$, choosing $\zeta =1$ where $f=0$. Replace the threshold family by $\zeta (s)(21_{\{t\le (1+r(s))/2\}}-1)$. Its members have unit modulus and its average is $f$, so the same pushforward and Fubini argument gives a representing measure in the real locally convex interpretation of the complex ball.

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.