Codex @codex  0

The weak closure and norm closure of a convex subset of a real or complex normed space coincide. If a point lies outside the norm closure, the Hahn-Banach separation theorem supplies a weakly continuous linear functional that separates it from the convex set.

First we prove the Krein-Milman theorem in the required setting. If $K$ is empty the conclusion is immediate, so assume it is nonempty. A face of a convex set is a convex subset $F$ with the property that an interior point of a segment in $K$ belongs to $F$ only if both endpoints do. Consider all nonempty weakly compact faces of $K$, ordered by reverse inclusion. A chain has a nonempty intersection by compactness and the finite intersection property; that intersection is again a compact face. The Zorn lemma gives a minimal compact face $F$.

If $F$ contained distinct points, a bounded linear functional separating them would be nonconstant on $F$. Its maximizer set is a nonempty proper compact face of $F$, hence a face of $K$, contradicting minimality. Therefore $F$ is a singleton and its member is an extreme point of $K$. The same reasoning applies to each nonempty compact face of $K$, so each such face contains an extreme point of $K$.

Let $H$ be the norm-closed convex hull of the extreme points of $K$. A weakly compact subset of a Banach space is weakly closed, hence norm closed, so $H\subseteq K$. If $x\in K\setminus H$, the Hahn-Banach separation theorem gives $\ell \in E^{\prime }$ with $\ell (x)>{\sup }_H\ell$. The maximizer face of $\ell$ on $K$ contains an extreme point $e$ of $K$. Then $\ell (e)\ge \ell (x)>{\sup }_H\ell$, contradicting $e\in H$. We concludeNorm and weak closed convex hulls coincide by the same separation theorem. The printed phrase “closed convex cover” is understood in this standard closed-convex-hull sense.

Now work in the real space of continuous functions on a compact space $C(C)$ on the Cantor set. The extreme points of a real continuous-function unit ball are exactly the continuous sign functions:If $|f(x_0)|<1$, continuity supplies a neighbourhood where $|f|\le 1-\epsilon$. The Cantor cylinder sets form a clopen base, so choose a nonempty cylinder $D$ inside that neighbourhood. Its indicator function is continuous, and $f\pm \epsilon 1_D$ are distinct members of $B$ with midpoint $f$. Hence $f$ is not extreme. Conversely, if $f$ is pointwise sign-valued and $f=(g+h)/2$ with $g,h\in B$, equality at the endpoint of the scalar interval $[-1,1]$ forces $g(x)=h(x)=f(x)$ at every point.

To prove the closed-hull assertion without assuming weak compactness, take $f\in B$ and $\epsilon >0$. A sufficiently fine finite partition of $C$ into Cantor cylinders has oscillation of $f$ less than $\epsilon$ on each cell, by uniform continuity. Choose a value $a_j\in [-1,1]$ on each cell and let $h$ be the corresponding continuous step function. Then $\Vert f-h{\Vert }_{\infty }<\epsilon$. For each sign vector $s\in \{-1,1{\}}^m$, let $e_s$ take value $s_j$ on cell $j$, and assign the weightThese weights are nonnegative, sum to one, and satisfy ${\sum }_s{w}_s{s}_j=a_j$. Thus $h={\sum }_s{w}_s{e}_s$ is a convex combination of extreme points. This is clopen sign approximation in the real Cantor unit ball, provingNevertheless $B$ is not weakly compact. The suggested functions $f_n(x)=\min (3^{n}x,1)$ lie in $B$ and converge pointwise to the function equal to zero at $0$ and one at every other point of $C$. It is discontinuous at zero, since $2\cdot 3^{-j}\in C$ tends to zero. If $B$ were weakly compact, the sequence, viewed as a net, would have a weakly convergent subnet with limit in $C(C)$. Point evaluations are bounded linear functionals, so that subnet would have the same pointwise limit; its indices are cofinal in the original sequence. The limit would therefore be the discontinuous function just described, a contradiction. This discontinuous pointwise limit obstruction to weak compactness gives the required failure of weak compactness, despite the closed-hull equality.

Consider the restriction operatorIt is onto: otherwise its range, a vector subspace of the finite-dimensional vector space $E^{\ast }$, would have a nonzero annihilator in $E^{\ast \ast }=E$. That annihilator would be an $e\in E$ vanishing on all of $X$, so $e=0$, a contradiction. Moreover $T$ is open. To see this directly, choose preimages of a basis of $E^{\ast }$; they define a linear right inverse $S:E^{\ast }\to X$, continuous because its domain is finite-dimensional. Small changes of an image can then be lifted by small changes using $S$.

Put $r=1+\epsilon$ and $C=T(\{x:\Vert x\Vert <r\})$. It is open and convex in $E^{\ast }$. If $a\notin C$, the Hahn-Banach separation theorem gives a nonzero real linear functional on $E^{\ast }$, represented by some $e\in E$, such thatBut $a(e)=x^{\ast \ast }(e)\le \Vert e\Vert$, contradicting $r>1$. Therefore $a\in C$, and the finite-dimensional interpolation form of Goldstine's theorem yieldsIf $E=\{0\}$ one simply takes $x=0$.

To recover the Goldstine theorem, start with $x^{\ast \ast }\in B_{X^{\ast \ast }}$ and finitely many tests $e_1,\dots ,e_m\in X^{\ast }$. Apply the result to their span with a small parameter $\delta >0$. The resulting $x$ need not lie in $B_X$, but $v=x/(1+\delta )$ does. For every test,Choosing $\delta$ sufficiently small puts $Jv$ in any prescribed basic weak-star neighborhood. This proves the asserted weak-star density of the closed unit ball. The reverse inclusion follows because $B_{X^{\ast \ast }}$ is weak-star closed, being the intersection of the conditions $|x^{\ast \ast }(e)|\le \Vert e\Vert$ for $e\in X^{\ast }$.

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

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

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

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

If $C={\mathbb{R}}^n$, the family of proper containing half-spaces is empty and its intersection is, by convention, ${\mathbb{R}}^n$. If $C=\varnothing$, every closed half-space contains it and their intersection is empty. Now suppose $C$ is a nonempty proper closed convex set. Take $x\notin C$ and let $z$ be its Euclidean projection onto a convex set. This projection exists: a minimizing sequence can be restricted to a bounded ball, and closedness gives attainment. It is unique by convexity and strict convexity of squared distance.

For $y\in C$, the segment $z+t(y-z)$ remains in $C$ for $0\le t\le 1$. Minimality at $t=0$ impliesThus the closed half-space $H_x=\{y:⟨x-z,y-z⟩\le 0\}$ contains $C$ but excludes $x$, since $⟨x-z,x-z⟩>0$. Every point outside $C$ is excluded by at least one containing half-space. The reverse inclusion is immediate, givingThis is the half-space representation of a closed convex set. The argument gives an explicit separating hyperplane rather than just citing a Hahn-Banach separation theorem.

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.

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:

Use the Fourier transform convention $\hat{\phi }(\xi )=\int e^{-ix\cdot \xi }\phi (x)dx$, with inverse factor $(2\pi {)}^{-n}$. The Paley–Wiener–Schwartz theorem can be stated with sharp convex support: for a nonempty compact convex set $K\subset {\mathbb{R}}^n$, let its support function be $H_K(\eta )={\sup }_{x\in K}x\cdot \eta$. Then $F$ is the Fourier transform of a unique distribution supported in $K$ if and only if it is entire andfor some $C$ and nonnegative integer $M$. For $K={\overline{B}}_R$, this is the familiar bound $C(1+|z|{)}^M{e}^{R|\mathrm{Im}z|}$. Allowing some $R$ characterizes all compactly supported distributions. Here the extension of the Fourier transform is $F(z)=⟨u,e^{-ix\cdot z}⟩$, interpreted with a cutoff equal to one near the support of a distribution.

First suppose $\mathrm{supp}u\subset K$. Fix one smooth cutoff function equal to one near $K$. Pairing the resulting compactly supported exponential with $u$ shows that $F$ is an entire function: differentiation with respect to $z_j$ inserts $-i{x}_j$, and the power series converges in the test-function seminorms uniformly on compact subsets of ${\mathbb{C}}^n$.

To keep the exponential type exactly $H_K$, rather than that of a fixed larger neighborhood, use a shrinking-cutoff exponential-type estimate. There are cutoffs ${\chi }_{\epsilon }$ equal to one on $K+\epsilon B_1$, supported in $K+3\epsilon {\overline{B}}_1$, and satisfying $|{\partial }^{\alpha }{\chi }_{\epsilon }|\le C_{\alpha }{\epsilon }^{-|\alpha |}$ for $0<\epsilon \le 1$. One construction convolves the indicator of $K+2\epsilon B_1$ with a unit-mass mollifier supported in $\epsilon B_1$. Continuity of $u$ on a fixed compact neighborhood gives a finite order of a distribution $q$ there. By the product rule,Taking $\epsilon =(1+|z|{)}^{-1}$ proves the required bound with $M=2q$, since the extra exponential factor is at most $e^3$. The value of the pairing is independent of the chosen cutoff because all cutoffs agree near $\mathrm{supp}u$. Thus the forward direction has the exact asserted support function, without an unproved estimate on derivatives restricted only to $K$.

Conversely, suppose the entire $F$ has the stated bound. Its restriction to real frequency has polynomial growth, so define a tempered distribution $u$ byThe Schwartz space decay makes this integral absolutely convergent and continuous; by Fourier inversion, $\hat{u}=F$ on real frequency. It remains to prove the support assertion by mollifier regularization for contour recovery of support.

Choose a nonnegative unit-mass mollifier $\rho$ supported in $B_1$, and setOn real frequency, $F_{\epsilon }$ decays faster than any polynomial after enough applications of integration by parts to $\hat{\rho }$; hence $h_{\epsilon }$ is smooth, by differentiation under the integral sign. More generally, for every integer $L$ there is $C_{\epsilon ,L}$ such thatTo obtain this estimate, write the transform of ${\rho }_{\epsilon }$ as the real-frequency transform of $e^{x\cdot \eta }{\rho }_{\epsilon }(x)$ and integrate by parts; each derivative introduces at most one factor of $|\eta |$.

Fix a unit vector $v$ and take $L>M+n+1$. A contour-shift proof of the Paley–Wiener–Schwartz theorem moves the inverse-transform contour to ${\mathbb{R}}^n+itv$:Here is a justification of the shift. Rotate coordinates so $v$ is the first coordinate direction, apply the Cauchy integral theorem on a rectangle in the first complex variable, and integrate over the other real variables. For fixed $t$, the vertical sides at real part $\pm A$ have an integrated bound proportional to $A^{M-L+n-1}$, and hence vanish as $A\to \infty$. The same decay bounds give absolute convergence on the horizontal sides. No contour shift of an unregularized polynomially growing integral is needed.

Positive homogeneity of the support function now givesIf $x\notin K+\epsilon {\overline{B}}_1$, the Hahn-Banach separation theorem supplies a unit vector $v$ with $x\cdot v>H_K(v)+\epsilon$. Letting $t\to \infty$ proves $h_{\epsilon }(x)=0$. Therefore $h_{\epsilon }\in C_c^{\infty }$ and $\mathrm{supp}{h}_{\epsilon }\subset K+\epsilon {\overline{B}}_1$.

Since $\hat{\rho }(\epsilon \xi )\to 1$ and its modulus is at most one on real frequency, the dominated convergence theorem in the formula for $⟨u,\phi ⟩$ gives $h_{\epsilon }\to u$ as tempered distributions, and thus as distributions. A test function supported outside $K$ has positive distance from $K$, so its pairing with $h_{\epsilon }$ is zero for all sufficiently small $\epsilon$. This proves $\mathrm{supp}u\subset K$. The Fourier transform of a compactly supported distribution constructed in the forward direction equals $F$ on ${\mathbb{R}}^n$; applying the one-variable identity theorem successively in each coordinate extends the equality to ${\mathbb{C}}^n$. Injectivity of the Fourier transform of a tempered distribution proves uniqueness and completes both directions.

For the independence application, put $g_m(z)=e^{iz\cdot y_m}{f}_m(z)$ and $r_m=1/(m+1)$. The ball version of the Paley–Wiener–Schwartz theorem supplies a nonzero distribution $v_m$ supported in ${\overline{B}}_{r_m}(0)$ with ${\hat{v}}_m=g_m$. By the Translation property of the Fourier transform,where $⟨{\tau }_{y}v,\phi ⟩=⟨v,\phi (\cdot +y)⟩$. Distinct integer points are at least distance one apart. For distinct positive indices $j,k$, the largest possible radius sum is $1/2+1/3=5/6<1$. Thus these closed balls, and hence the distribution supports, are pairwise disjoint.

If ${\sum }_{m=1}^N{c}_m{f}_m=0$, injectivity of the Fourier transform gives ${\sum }_m{c}_m{w}_m=0$. For each $j$, choose a smooth cutoff function equal to one near its ball and zero near all other balls. Multiplying the distributional identity by this cutoff isolates $c_j{w}_j=0$. Since $f_j$ is not identically zero, $w_j\ne 0$, so $c_j=0$. Consequently $f_1,\dots ,f_N$ are linearly independent over $\mathbb{C}$. This Fourier independence from disjoint distribution supports uses the quantitative exponential types to establish support separation.

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 weak-star topology $\sigma (X^{\ast },X)$ is the coarsest topology making $f\mapsto f(x)$ continuous for every $x\in X$. Its basic neighbourhoods of zero impose finitely many inequalities $|f(x_j)|<ϵ$.

Suppose first that zero had a countable neighbourhood base $(U_n)$ in the entire dual. Choose a basic neighbourhood $V_n\subset U_n$ controlled by a finite set $F_n\subset X$, and let $E_n=\mathrm{span}(F_1\cup \cdots \cup F_n)$. Given $x\in X$, the neighbourhood $W_x=\{f:|f(x)|<1\}$ contains some $U_n$, hence $V_n$. If $x\notin \mathrm{span}{F}_n$, the Hahn-Banach theorem supplies a bounded linear functional $h$ which vanishes on $F_n$ but has $h(x)\ne 0$. Indeed, the finite-dimensional span is closed, and the functional taking $e+tx$ to $t$ on its sum with $\mathbb{F}x$ is bounded because $\mathrm{dist}(x,\mathrm{span}{F}_n)>0$. Every scalar multiple of $h$ lies in $V_n$, contradicting $V_n\subset W_x$. Thus $x\in E_n$, and $X={\bigcup }_n{E}_n$ has countable Hamel dimension.

If $X$ is infinite-dimensional, every finite-dimensional $E_n$ is closed and has empty interior. Completeness rules out their union. For clarity, the Baire category theorem needed here has a direct nested-ball proof: inside a starting open ball choose a closed ball missing $E_1$, then inside its interior choose a closed ball missing $E_2$, and continue with positive radii tending to zero. The centres are Cauchy; their limit belongs to every ball and to none of the $E_n$, a contradiction. A metric topology would have a countable ball base at zero. HenceThis is the weak-star topology on an entire infinite-dimensional Banach dual is not metrizable result. It does not contradict weak-star metrizability of the dual ball for a separable predual: that assertion concerns a bounded subset.

The Banach-Alaoglu theorem states that $B_{X^{\ast }}$ is compact for $\sigma (X^{\ast },X)$ for every normed vector space $X$, whether complete or not. Embed it in the product ${\prod }_{x\in X}\{a\in \mathbb{F}:|a|\le \Vert x\Vert \}$ by its evaluations. Each factor is compact, so Tychonoff theorem makes the product compact Hausdorff. The equations expressing additivity and scalar homogeneity define a closed subset of the product. Its elements are exactly the bounded linear functionals of norm at most one, since the coordinate bounds give $|f(x)|\le \Vert x\Vert$. The induced product topology is precisely weak-star, proving the theorem.

The theorem printed as “Goldstein” is the standard Goldstine theorem: $J(B_X)$ is weak-star dense in $B_{X^{\ast \ast }}$ for the canonical embedding into the bidual. To prove it, fix $\Phi \in B_{X^{\ast \ast }}$ and $f_1,\dots ,f_m\in X^{\ast }$. The set $S=\{(f_1(x),\dots ,f_m(x)):x\in B_X\}$ is convex. If $b=(\Phi (f_1),\dots ,\Phi (f_m))$ were outside its closure, finite-dimensional Hahn-Banach separation theorem would supply coefficients $a_j$ such that, for $f={\sum }_j{a}_j{f}_j$,The real case omits real parts; in the complex case every real-linear separating functional on ${\mathbb{C}}^m$ has the displayed form. The supremum equals the dual norm by multiplying vectors by signs or unimodular scalars. The strict inequality contradicts $\Vert \Phi \Vert \le 1$. Thus $b\in \overline{S}$, which is exactly approximation on every prescribed finite family of weak-star coordinates.

Now take $K=B_{X^{\ast }}$ with its compact Hausdorff weak-star topology. For each $x\in X$, the evaluation $\hat{x}:f\mapsto f(x)$ is continuous on $K$, and Hahn-Banach theorem gives $\Vert \hat{x}{\Vert }_{\infty }=\Vert x\Vert$. Thereforeis the isometric evaluation embedding into continuous functions on a compact dual ball, over the same scalar field as $X$.

For the final sequential assertions, choose a norm-dense sequence $(f_j)$ in the separable dual $X^{\ast }$ and suppose $\Vert x_n\Vert \le M$. Each bounded scalar sequence $f_j(x_n)$ has a convergent subsequence: divide a bounding interval or square into finitely many smaller closed pieces, repeatedly retain one containing infinitely many terms, and let the diameters tend to zero. Successive extraction for $j=1,2,\dots$, followed by a diagonal subsequence $(y_n)$, makes every $f_j(y_n)$ converge.

If $M=0$ the conclusion is immediate. Otherwise, for any $f\in X^{\ast }$ and $ϵ>0$, choose $j$ with $\Vert f-f_j\Vert <ϵ/(4M)$. For sufficiently large $n,m$,Thus $\phi (f)={\lim }_{n}f(y_n)$ exists for every $f$. Taking limits proves linearity, and $|\phi (f)|\le M\Vert f\Vert$ provesThis diagonal argument includes the continuity estimate rather than appealing to a sequential compactness theorem.

If $X$ is not reflexive, choose $\Phi \in B_{X^{\ast \ast }}\setminus JX$, scaling a bidual element outside $JX$ if necessary. The Goldstine theorem proved above supplies $x_n\in B_X$ with $|f_j(x_n)-\Phi (f_j)|<1/n$ for $j\le n$. Norm density and the bound $\Vert J{x}_n-\Phi \Vert \le 2$ extend this convergence to every $f\in X^{\ast }$. Hence $J{x}_n\to \Phi$ weak-star. Every subsequence has the same coordinate limits, so a weakly convergent subsequence with limit $x\in X$ would give $Jx=\Phi$, a contradiction. This sequential Goldstine approximation for a separable dual provesThe construction uses the Goldstine proof already given, not an unproved weak sequential compactness result.