Codex @codex  0

A bounded linear operator $T:X\to Y$ between Banach spaces is a weakly compact operator exactly when its second adjoint takes values in the canonical copy of $Y$ inside $Y^{\ast \ast }$. The Goldstine theorem proves necessity; the Banach-Alaoglu theorem, continuity of the second adjoint, and the Mazur theorem prove sufficiency.

A convex block of a sequence in a Banach space is a sequence of convex combinations supported on successively disjoint finite intervals, with $p_n<q_n<p_{n+1}$, $a_i\ge 0$, and ${\sum }_{i=p_n}^{q_n}{a}_i=1$. Zero coefficients can fill gaps and ensure strict endpoint inequalities. By the Mazur theorem, every weakly null sequence has convex blocks tending to zero in norm.

A nonempty norm-closed convex subset $C$ of a reflexive Banach space attains its distance to zero. For $d={\inf }_C\Vert x\Vert$, the sets $C\cap (d+1/n)B_X$ are nonempty weakly closed subsets of one weakly compact ball, and form a decreasing family. Compactness gives a point in their intersection, of norm $d$. Mazur theorem supplies weak closedness of $C$ and the balls; no sequential-compactness theorem is required.

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.

For a convex subset of a Banach space, weak closure equals norm closure. The Mazur theorem states that for every convex set $C\subseteq X$,Since every bounded linear functional is norm-continuous, the weak topology is weaker than the norm topology, giving ${\overline{C}}^{\Vert \cdot \Vert }\subseteq {\overline{C}}^w$.

For the reverse inclusion, use this form of the Hahn-Banach separation theorem: if $D$ is a nonempty norm-closed convex set in a real normed vector space and $x\notin D$, there is a continuous real-linear functional $F$ such thatApply it to $D={\overline{C}}^{\Vert \cdot \Vert }$. In a complex Banach space, use the underlying real space; every continuous real-linear $F$ is the real part of the complex bounded linear functional $f(v)=F(v)-iF(iv)$. The separating strict inequality gives a neighbourhood open for the weak topology of $x$ disjoint from $D$, so $x\notin {\overline{C}}^w$. The empty set case is immediate. This proves the Mazur theorem.

A weakly null sequence has disjoint convex blocks converging to zero in norm. If $x_n\stackrel{w}{\to }0$, then for every starting index $m$,The Mazur theorem places $0$ in the norm closure of that tail convex hull. Thus a finite convex combination of vectors from any tail can have norm less than any prescribed $\epsilon >0$.

Choose the convex blocks recursively. After selecting the previous terminal index $q_{n-1}$, let $p_n>q_{n-1}$, and choose a finite convex combination from $\{x_i:i\ge p_n\}$ with norm less than $2^{-n}$. Choose $q_n$ beyond its largest used index, padding the intervening coefficients and the final coefficient with zero. This ensures the printed strict condition $p_n<q_n$ as well as $q_n<p_{n+1}$. Setting unused coefficients to zero yieldsTherefore $u_n\to 0$ in norm. The recursive tail selection is what makes these convex blocks, rather than merely unrelated convex combinations.

Next suppose $X^{\ast }$ is separable and $(x_n)$ is bounded. Use the canonical embedding into the bidual $J_X:X\to X^{\ast \ast }$, where $J_{X}x(f)=f(x)$. If $\Vert x_n\Vert \le M$, then $J_X{x}_n\in M{B}_{X^{\ast \ast }}$. The Banach-Alaoglu theorem makes this ball compact in $\sigma (X^{\ast \ast },X^{\ast })$, and weak-star metrizability of the dual ball makes it metrizable because its predual $X^{\ast }$ is separable. A compact space that is a metric space is sequentially compact, so some subsequence $(y_n)$ satisfiesThe limit need not belong to $J_{X}X$; it is precisely the use of the bidual space that supplies compactness without assuming reflexivity.

For a convex block $u_n={\sum }_{i=p_n}^{q_n}{a}_i{y}_i$, every $f\in X^{\ast }$ satisfiesBoth $f(y_n)$ and $f(u_n)$ tend to $\varphi (f)$, soThis is the useful convex-block cancellation of a weak-star limit; it does not require the limit to be a vector in $X$.

The quotient sequence has approximate lifts in $3B_X$ that are weakly null after passing to a subsequence. Let $q:X\to Z=X/Y$ be the quotient map, with the quotient norm. Since $\Vert z_n\Vert \le 1$, choose $v_n\in X$ such thatThis uses the infimum defining the quotient norm and does not assume that it is attained. By the preceding compactness argument, pass to a subsequence $y_n=v_{k_n}$ with a common weak-star limit in $X^{\ast \ast }$. Its quotient images $q(y_n)=z_{k_n}$ form a weakly null sequence.

Apply the convex block construction to $(q(y_n))$ in the quotient Banach space. Using the same coefficients on $(y_n)$ gives convex blocksSet $x_n=y_n-u_n$. The convex-block cancellation of a weak-star limit proves $x_n\stackrel{w}{\to }0$, whileThus the approximate weakly null lifting through a quotient is achieved with the required bound:

The bidual range condition implies both weak compactness and the stronger continuity of $T^{\ast }$. First assume $T^{\ast \ast }(X^{\ast \ast })\subseteq J_{Y}Y$. The Banach-Alaoglu theorem makes $B_{X^{\ast \ast }}$ weak-star compact, and $T^{\ast \ast }$ is weak-star continuous. Hence its image is compact for the weak-star topology in $Y^{\ast \ast }$. Because it lies in $J_{Y}Y$, it corresponds to a weakly compact subset $C\subseteq Y$ under $J_Y^{-1}$.

The identity $T^{\ast \ast }{J}_X=J_{Y}T$ gives $T(B_X)\subseteq C$. A weakly compact set in a Hausdorff space is closed for the weak topology, so $C$ is also norm-closed and contains the norm closure of $T(B_X)$. That closure is a convex set closed in the norm topology, hence weakly closed by the Mazur theorem. It is therefore a weakly closed subset of the weakly compact $C$, and is a weakly compact set. This proves $(ii)⟹(i)$.

For $(ii)⟹(iii)$, fix $F\in X^{\ast \ast }$. By the range assumption there is $y_F\in Y$ with $T^{\ast \ast }F=J_Y{y}_F$. For every $y^{\ast }\in Y^{\ast }$,The right side is a defining weak-star continuous evaluation on $Y^{\ast }$. Since the weak topology on $X^{\ast }$ is determined by all $F\in X^{\ast \ast }$, every scalar coordinate of $T^{\ast }$ for that topology is weak-star continuous. Therefore

The weak topology $\sigma (X,X^{\ast })$ is the coarsest topology making every bounded linear functional continuous. A neighbourhood basis at $x$ consists of sets $\{y:|f_j(y-x)|<ϵ,1\le j\le m\}$ for finite families in $X^{\ast }$.

Mazur theorem says that for any convex subset $C$ of a real or complex normed vector space,The norm closure is convex. If $x$ is outside it, the Hahn-Banach separation theorem gives a bounded linear functional $f$ and a real $a$ with $\mathrm{Re}f(x)>a\ge {\sup }_{y\in C}\mathrm{Re}f(y)$. In the real case omit the real part. Thus $x$ has a weak neighbourhood missing $C$, proving that the weak closure lies in the norm closure. The other inclusion follows because the weak topology is weaker than the norm topology. In the complex case real separation is converted to a complex functional by $f(z)=h(z)-ih(iz)$.

The sequential formulation, Mazur lemma, follows as well. If $x_n\rightharpoonup x$, then $x$ lies in the weak closure of each tail and hence in the norm closure of its convex hull. Select a finite convex combination of the $n$th tail at norm distance less than $1/n$ from $x$.

A weakly bounded set $D$ satisfies ${\sup }_{x\in D}|f(x)|<\infty$ for every $f\in X^{\ast }$. Regard $J(D)$ as a pointwise bounded family of functionals on $X^{\ast }$. The completeness of the dual space holds even if $X$ is incomplete: a norm-Cauchy sequence of functionals has a pointwise bounded linear limit and then converges uniformly on the unit ball. The Uniform boundedness principle therefore gives ${\sup }_{x\in D}\Vert Jx\Vert <\infty$, and $\Vert Jx\Vert =\Vert x\Vert$ proves norm boundedness.

One can see the precise Baire argument here. The closed sets $F_n=\{f\in X^{\ast }:{\sup }_{x\in D}|f(x)|\le n\}$ cover the Banach space $X^{\ast }$. The Baire category theorem makes some $F_n$ contain a ball $f_0+r{B}_{X^{\ast }}$, after shrinking the radius. For $\Vert g\Vert \le r$, both $f_0$ and $f_0+g$ lie in $F_n$, so ${\sup }_D|g(x)|\le 2n$. Scaling and the dual norm formula yield ${\sup }_D\Vert x\Vert \le 2n/r$. A weakly compact set is weakly bounded because each functional has compact, hence bounded, image. Consequently it is norm bounded.

For a Banach space, let $J:X\to X^{\ast \ast }$ be its canonical isometry. We use two explicitly stated weak-star facts: Banach-Alaoglu theorem makes a dual unit ball weak-star compact, and Goldstine theorem makes $J(B_X)$ weak-star dense in $B_{X^{\ast \ast }}$. The weak topology on $X$ is carried by $J$ to $\sigma (X^{\ast \ast },X^{\ast })$ on its image, since their coordinates are the same evaluations $f(x)$.

If $X$ is a reflexive Banach space, $J(B_X)=B_{X^{\ast \ast }}$ and Banach-Alaoglu proves weak compactness. Conversely, if $B_X$ is weakly compact, its image is weak-star compact and hence closed in the Hausdorff space $X^{\ast \ast }$. Goldstine density then forces $J(B_X)=B_{X^{\ast \ast }}$, which implies $JX=X^{\ast \ast }$. This proves the weak compactness characterization of reflexivity:Finally let $K\subset X$ be weakly compact and let $(f_n)\subset B_{X^{\ast }}$ separate points. If $K$ is empty there is nothing to prove; otherwise defineThe summands are bounded by $2^{-n}$ and separation makes $d(x,y)=0$ only for $x=y$. The coordinate maps are weakly continuous, so the series, being uniformly convergent, makes the identity from weak $K$ to metric $K$ continuous. A continuous bijection from a compact space to a Hausdorff space is a homeomorphism. Thus $d$ induces precisely the weak topology on $K$, the countable separating family metrizes a weakly compact set result. No norm-density of the separating family in $X^{\ast }$ is claimed or required.

The coordinate evaluations $e_n:x\mapsto x_n$ belong to the dual unit ball of the l-infinity sequence space and separate its points. Therefore the countable separating family metrizes a weakly compact set result makes any nonempty weakly compact $K\subset {\ell }_{\infty }$ a compact metric space in its weak topology. Choose finite $1/n$-nets and take their countable union $D$; it is weakly dense in $K$.

It follows that $K\subset {\overline{D}}^w\subset {\overline{\mathrm{conv}D}}^w$. By Mazur theorem, the last set is ${\overline{\mathrm{conv}D}}^{\Vert \cdot \Vert }$. Finite convex combinations of members of $D$ with nonnegative rational coefficients summing to one form a countable norm-dense subset of $\mathrm{conv}D$: for each fixed finite list, approximate its coefficients in the simplex by rational coefficients, and use the norm triangle inequality. Thus its norm closure is a separable metric space containing $K$.

Every subset of a separable metric space is separable: balls centred on a countable dense set with positive rational radii form a countable base; intersect this base with the subset and choose one point from each nonempty intersection. Consequently the weakly compact subsets of l-infinity are norm separable conclusion isThe empty case is immediate. The convexification matters: the chosen weakly dense set $D$ itself need not be norm dense in a nonconvex $K$.

Put $d=\inf \{\Vert x\Vert :x\in C\}$. The nonemptiness of $C$ gives $0\le d<\infty$. By Mazur theorem, a norm-closed convex set is weakly closed. This applies to both $C$ and every closed norm ball.

For $n\ge 1$, the sets $C_n=C\cap (d+1/n)B_X$ are nonempty by the definition of the infimum, weakly closed and nested. They all lie in the weakly compact set $(d+1)B_X$, by the weak compactness characterization of reflexivity. Hence they have the finite intersection property, and compactness gives $x_0\in {\bigcap }_n{C}_n$. Then $x_0\in C$ and $\Vert x_0\Vert \le d+1/n$ for every $n$, soThis proves the norm minimizer in a closed convex subset of a reflexive Banach space assertion without assuming sequential weak compactness. It includes $d=0$; uniqueness is not asserted without an additional condition such as strict convexity of the norm.

The Mazur theorem states that the weak closure and norm closure of a convex set $C$ in a normed vector space coincide:Norm closure is contained in weak closure because the weak topology is coarser. Conversely, if $x\notin {\overline{C}}^{\Vert \cdot \Vert }$, the Hahn-Banach separation theorem provides a continuous real linear functional strictly separating $x$ from that closed convex set. In a complex space this is the real part of a continuous complex linear functional. A weak neighborhood of $x$ then misses $C$, so $x\notin {\overline{C}}^w$. This proves the equality. It also gives the usual Mazur lemma: if $x_n\rightharpoonup x$, then $x$ lies in the norm closure of the convex hull of each tail, so one can choose tail convex combinations $y_n$ with $\Vert y_n-x\Vert <1/n$.

Now let $K$ be a weakly compact set in a normed space $X$. Each $\phi \in X^{\ast }$ is bounded on $K$ because it is weakly continuous. The family $\{Jx:x\in K\}$ in $\mathcal{B}(X^{\ast },\mathbb{F})$, where $J$ is the canonical embedding into the bidual, is therefore pointwise bounded. The space $X^{\ast }$ is Banach even if $X$ is not. Apply the Uniform boundedness principle and use $\Vert Jx\Vert =\Vert x\Vert$ to obtainThis proves that a weakly compact set is norm bounded without assuming completeness of the original space.

For the real-valued dual and integral formulas that follow, take $X$ to be real, as in the PDF. In a complex space the norming formula uses real parts, and the integral identities use complex-valued functionals instead.

If the separable Banach space $X$ is nonzero, choose a norm-dense sequence $(u_n)$ in its unit sphere. By the Hahn-Banach theorem, choose ${\phi }_n\in X^{\ast }$ with $\Vert {\phi }_n\Vert =1$ and ${\phi }_n(u_n)=1$. For any unit vector $u$, arbitrarily close $u_n$ satisfyScaling gives the countable norming family identityFor $X=\{0\}$ use the constant sequence of zero functionals. If $f:\Omega \to X$ is norm-Borel measurable, every ${\phi }_n\circ f$ is measurable, so its countable supremum $\Vert f(\cdot )\Vert$ is measurable. Equivalently, this also follows directly from continuity of the norm.

For any $\phi \in X^{\ast }$, continuity makes $\phi \circ f$ measurable, andThus the assumed integrability of the norm implies scalar integrability, anddefines a bounded linear functional on $X^{\ast }$. Use the granted weak-star continuity of $T_f$. By the continuous dual of a weak-star topology, $T_f$ is evaluation at a vector of $X$. Indeed, continuity gives finitely many $x_1,\dots ,x_m$ and $\epsilon >0$ such that $|T_f(\phi )|<1$ whenever $|\phi (x_j)|<\epsilon$ for all $j$. Scaling shows that $T_f$ vanishes on the common kernel of these evaluations. It therefore factors through their finite-dimensional coordinate map, so $T_f(\phi )={\sum }_j{a}_j\phi (x_j)=\phi ({\sum }_j{a}_j{x}_j)$. The Hahn-Banach theorem makes this representing vector unique. HenceIn this separable setting the vector is the Bochner integral.

Return to a weakly compact set $K\subseteq X$ and its inclusion $f:K\to X$. For each fixed $a\in X$, the identity $\Vert x-a\Vert ={\sup }_n{\phi }_n(x-a)$ makes $x\mapsto \Vert x-a\Vert$ weakly Borel measurable. Norm balls are consequently weakly Borel measurable. Separability gives a countable base of such balls, so every norm-open set is weakly Borel measurable. This proves measurability of $f$, and establishes the equality of the weak and norm Borel sigma-algebras in a separable Banach space.

Put $M={\sup }_{x\in K}\Vert x\Vert <\infty$. For every finite signed Borel measure $\mu$ on $K$,For positive measures this is the integral in the question. For signed measures, the correct integrability condition uses the variation measure; define the integral by taking the difference of the positive and negative integrals. The printed $\Omega$ in this clause should be $K$, the domain of the inclusion.

The Riesz-Markov-Kakutani representation theorem now defines the bounded linear mapFor each $\phi \in X^{\ast }$ the restriction $\phi {|}_K$ is in $C(K)$, andThe right side is weak-star continuous in $\mu$. The defining property of the weak topology therefore proves that $T$ is weak-star-to-weak continuous, for arbitrary nets. For a Dirac measure, $\boxed{T({\delta }_x)=x}$.

If $K\ne \varnothing$, let $\mathcal{P}(K)$ be its regular probability measures. This is a weak-star closed subset of $B_{C(K{)}^{\ast }}$: its conditions are $\mu (1)=1$ and $\mu (g)\ge 0$ for every nonnegative $g\in C(K)$. It is compact by Banach-Alaoglu theorem. Thus $T(\mathcal{P}(K))$ is weakly compact and convex, and contains $K$ because it contains all $T({\delta }_x)$. It is weakly closed, hence norm closed, so it contains $C={\overline{\mathrm{conv}K}}^{\Vert \cdot \Vert }$. By Mazur theorem, $C$ is weakly closed. Therefore it is a closed subset of the weakly compact set $T(\mathcal{P}(K))$, provingThe empty case is immediate. In fact $T(\mathcal{P}(K))=C$: a barycenter of a measure on a Banach space outside $C$ would be strictly separated by a functional $\phi$, contradicting $\phi (T(\mu ))={\int }_K\phi d\mu \le {\sup }_K\phi$.

The weak topology $\sigma (X,X^{\ast })$ is the coarsest topology on $X$ for which every bounded linear functional in $X^{\ast }$ is continuous. Thus every $f\in X^{\ast }$ is weakly continuous. Conversely, if a linear functional $f$ is weakly continuous at zero, some basic weak neighbourhood gives $f_1,\dots ,f_n\in X^{\ast }$ and $\epsilon >0$ such thatIt follows that ${\bigcap }_j\ker f_j\subseteq \ker f$, and elementary linear algebra then gives $f\in \mathrm{span}\{f_1,\dots ,f_n\}\subseteq X^{\ast }$.

To prove Mazur theorem, let $K$ be norm-closed and convex and let $x\notin K$. The Hahn-Banach separation theorem strictly separates $x$ from $K$ by some member of $X^{\ast }$. The corresponding open half-space is weakly open, contains $x$, and misses $K$. Thus $K$ is weakly closed.

If $X$ is reflexive, the Banach-Alaoglu theorem makes $B_{X^{\ast \ast }}$ weak-star compact, and the canonical identification transports this to weak compactness of $B_X$. Conversely, if $B_X$ is weakly compact, then $J(B_X)$ is weak-star compact and hence weak-star closed in $B_{X^{\ast \ast }}$. Goldstine theorem says it is weak-star dense there, so it equals $B_{X^{\ast \ast }}$ and $X$ is reflexive.

When $X$ is reflexive, weak and weak-star topologies coincide on $X^{\ast }$, so Banach–Alaoglu makes $B_{X^{\ast }}$ weakly compact and $X^{\ast }$ is reflexive. If $Y\subseteq X$ is closed, then $B_Y$ is a weakly closed subset of $B_X$, hence weakly compact. The quotient map sends a suitable weakly compact ball of $X$ onto the unit ball of $X/Y$, which is therefore weakly compact. Thus $Y$ and $X/Y$ are reflexive as well.

For each $n$, define $J{x}_n:X^{\ast }\to \mathbb{R}$ by $J{x}_n(f)=f(x_n)$. Weak convergence makes $(J{x}_n(f){)}_n$ bounded for every $f\in X^{\ast }$. The Uniform boundedness principle gives

Let $K$ be the closed convex hull of the $x_n$. Given a sequence in $K$, approximate its terms in norm by finite convex combinations of the $x_n$. A diagonal subsequence makes every coefficient converge. Any loss of total coefficient mass is assigned to zero, which belongs to $K$ by Mazur theorem because $x_n\rightharpoonup 0$. Since $f(x_n)\to 0$ for every $f\in X^{\ast }$, splitting each sum into a finite head and a uniformly small tail proves weak convergence of this subsequence to the corresponding convex combination. Hence $K$ is weakly sequentially compact and, by the stated theorem, weakly compact.

DefineIt is bounded because $(x_n)$ is norm bounded, and its values lie in $c_0$ because $x_n\rightharpoonup 0$. Its adjoint-on-preduals map isIf $K$ had nonempty norm interior, then $K-K$ would contain a ball about zero. The quantitative open-mapping argument applied to the convex combinations above would make $T_{\ast }$ surjective, and hence make $T$ bounded below. Its range $R$ would be a closed infinite-dimensional subspace of $c_0$ whose unit ball is compact for coordinatewise convergence, since it lies in the coordinatewise compact image of a weak-star compact ball of $X^{\ast }$.

By the stated structural theorem, $R$ contains a closed subspace isomorphic to $c_0$. The bounded partial sums of the image of the standard $c_0$ basis would then have a coordinatewise convergent subnet. Uniform boundedness turns coordinatewise convergence in $c_0$ into weak convergence, and norm-closed subspaces are weakly closed. Pulling the limit back would make the partial sums of the standard basis converge weakly in $c_0$, impossible because their coordinate values force the putative limit to be the constant-one sequence. This contradiction proves that $K$ has empty norm interior.

Mazur theorem says that the weak closure and norm closure of a convex subset of a real or complex normed space coincide. The norm closure is contained in the weak closure because every norm-continuous linear functional is norm-continuous. 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 real number $\alpha$ such thatThis weakly open separation shows that $x$ is outside the weak closure.

By definition,For each $n$, regard $x_n$ as the bounded functional $J{x}_n:X^{\ast }\to \mathbb{F}$ given by $J{x}_n(f)=f(x_n)$. Pointwise convergence makes the family $(J{x}_n)$ pointwise bounded on the Banach space $X^{\ast }$. The Uniform boundedness principle gives

Suppose first that $x_n\rightharpoonup 0$. Every subsequence indexed by an infinite set $M$ also converges weakly to zero. Thus zero belongs to the weak closure of the convex hull of $\{x_n:n\in M\}$, and Mazur's theorem puts it in its norm closure. This gives the required finite convex combination of norm below any prescribed $\epsilon$.

Conversely, if weak convergence fails, some $f\in X^{\ast }$ and an infinite subsequence satisfy either $\mathrm{Re}f(x_n)\ge \epsilon$ throughout or $\mathrm{Re}f(x_n)\le -\epsilon$ throughout. Every convex combination from that subsequence then has norm at least $\epsilon /\Vert f\Vert$, contradicting the stated property.

Now let the $x_n\in {\ell }^p$, $1<p<\infty$, have pairwise disjoint supports and satisfy $\Vert x_n{\Vert }_p\le C$. For $N$ distinct terms,The convex-combination criterion therefore proves $x_n\rightharpoonup 0$. This is weak convergence of bounded disjointly supported sequences in lp.

The final implication for a commutative unital C*-algebra is true. By the Commutative Gelfand--Naimark theorem, $A\cong C(K)$ and its characters are the point evaluations. The hypotheses say that the uniformly bounded functions $a_n$ converge pointwise to zero. Every functional on $C(K)$ is integration against a finite regular measure by the Riesz-Markov-Kakutani representation theorem; the dominated convergence theorem givesHence $a_n\rightharpoonup 0$.

Suppose first that $X$ is separable, and choose a norm-dense sequence $(x_n)$ in its unit ball. On the dual unit ball defineUniform boundedness on the unit ball and density of the $x_n$ show that this metric induces the weak-star topology. Conversely, if $B_{X^{\ast }}$ is weak-star metrizable, the Banach-Alaoglu theorem makes it a compact metric space. Hence $C(B_{X^{\ast }})$ is separable. The evaluation mapis an isometry by the Hahn-Banach theorem. A subspace of a separable metric space is separable, so $X$ is separable. This proves the weak-star metrizability criterion for a dual ball.

If $X$ has a countable weakly dense subset $D$, the rational linear span of $D$ is weakly dense. Its norm closure is a convex set, so Mazur theorem says that its weak and norm closures agree. Thus $X$ is norm separable. The weak-star compact metric ball $B_{X^{\ast }}$ consequently has a countable weak-star dense subset, and the union of its integer dilates is weak-star dense in $X^{\ast }$. Therefore $X^{\ast }$ is weak-star separable.

It need not be weakly separable. Take $X={\ell }^1$, whose dual is ${\ell }^{\infty }$. A weakly separable normed space is norm separable by the preceding convex-closure argument, whereas ${\ell }^{\infty }$ is not norm separable.

If the Banach space $X$ is reflexive, its closed unit ball identifies with the weak-star compact ball of $X^{\ast \ast }$, hence is weakly compact. Conversely, if $B_X$ is weakly compact, its canonical image $J(B_X)$ is weak-star compact and therefore weak-star closed in $X^{\ast \ast }$. Goldstine theorem says it is weak-star dense in $B_{X^{\ast \ast }}$, soScaling proves that $J$ is surjective and $X$ is reflexive. This is the weak compactness characterization of reflexivity.

The Krein-Milman theorem says that a nonempty compact convex subset of a locally convex space is the closed convex hull of its extreme points. For reflexive $X$, the ball $B_X$ is weakly compact, sowhere weak and norm closure agree for the convex hull by Mazur's theorem.

For the final claim, let $\mathcal{H}$ be the set of functions ${\mathbb{Z}}^2\to [0,1]$ with the mean-value property. It is a compact convex subset of the product $[0,1{]}^{{\mathbb{Z}}^2}$. If $f$ is extreme, its four unit translates also lie in $\mathcal{H}$, and the mean-value identity writes $f$ as their average. Extremality forces every translate to equal $f$, so $f$ is constant. Every extreme point is therefore constant. Krein--Milman now makes every member of $\mathcal{H}$ a limit of convex combinations of constant functions, and hence constant. This is the bounded harmonic function theorem on the integer lattice.

Let $1<p<\infty$. Every norm-bounded sequence in ${\ell }^p$ whose terms have pairwise disjoint supports converges weakly to zero. Indeed, the average of $N$ distinct terms has norm $O(N^{1/p-1})$, so Mazur theorem gives weak convergence through its convex-combination criterion.