Codex @codex  0

Suppose the compact operator $K$ acts on $H$, and $h_n\rightharpoonup h$. The Uniform boundedness principle makes $(h_n)$ bounded, so its images form a relatively compact set. Bounded linearity gives $K{h}_n\rightharpoonup Kh$: for every $g$, $⟨K{h}_n,g⟩=⟨h_n,K^{\ast }g⟩\to ⟨Kh,g⟩$. Every norm-convergent subsequence of $(K{h}_n)$ must therefore converge to $Kh$. If the whole sequence did not converge to $Kh$ in norm, a subsequence staying a fixed positive distance from $Kh$ would have a norm-convergent further subsequence, a contradiction. This proves that compact operators send weak convergence to norm convergence.

Conversely, assume the stated complete continuity property. Its strong limit necessarily equals $Kh$, because bounded linearity still supplies the weak limit. Every bounded sequence in a Hilbert space has a weakly convergent subsequence by weak sequential compactness in a Hilbert space. Applying the assumption to that subsequence gives a norm-convergent subsequence of the images. Thus the image of the unit ball is relatively sequentially compact and hence relatively compact. Complete continuity and compactness are equivalent on a Hilbert space.

True. Choose a countable dense sequence $(x_j)$ in the separable Banach space $E$. For $\varphi ,\psi$ in its closed dual unit ball, putThis is a metric: positivity follows because continuous functionals agreeing on a dense subset agree everywhere; symmetry is immediate; and the triangle inequality follows from subadditivity of $t/(1+t)$ for $t\ge 0$. The tail of the series is uniformly small, so convergence on these coordinates implies convergence for this metric, and conversely metric convergence controls each individual coordinate.

The uniform bound $\Vert \varphi -\psi \Vert \le 2$ upgrades coordinate convergence to pointwise convergence on all of $E$. For any $x\in E$, choose $x_j$ close to $x$ and useFor neighbourhoods involving finitely many $x$, choose finitely many such approximations. This proves equality of the induced topologies, including for arbitrary nets. Thus the weak-star metrizability of the dual ball gives

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 }$.

The Riesz-Markov-Kakutani representation theorem says that a positive linear functional on $C(K)$ has the form $f\mapsto {\int }_{K}fd\nu$ for a unique finite positive regular Borel measure $\nu$, with norm $\nu (K)$. Its complex form says that every bounded complex linear functional is represented by a unique finite regular complex measure $\mu$, andThe extension from positive to arbitrary linear functionals follows by positive/negative decomposition of real linear functionals and then real/imaginary decomposition. The last quantity is the total variation norm of a measure, so this identifies the dual isometrically.

An extreme point $e$ of a convex set $C$ cannot be written as $e=ta+(1-t)b$ with $0<t<1$ and distinct $a,b\in C$. The Krein-Milman theorem, applied with the underlying real locally convex weak-star topology, states

We next prove Milman's converse to the Krein-Milman theorem. Suppose an extreme point $e$ were outside the weak-star closure of $S$. A basic weak-star neighborhood of $e$ disjoint from $S$ uses finitely many real coordinates: real and imaginary parts of evaluations at elements of $X$. Its complement is the union of finitely many closed half-spacesIntersect these with $C$, discard empty intersections, and call the resulting compact convex sets $C_1,\dots ,C_m$. They cover $S$, and none contains $e$.

The convex hull of their union is compact. Every point in it can be written ${\sum }_{i=1}^m{t}_i{c}_i$ with $(t_i)$ in the finite simplex and $c_i\in C_i$, by combining terms from the same convex set. The map from the simplex times ${\prod }_i{C}_i$ to that sum is weak-star continuous, so its image is compact and closed. It therefore contains ${\overline{\mathrm{conv}S}}^{w^{\ast }}=C$, in particular $e$. But extremality forces every $c_i$ having a positive coefficient in a representation of $e$ to equal $e$, contradicting $e\notin C_i$. Hence

Assume $K\ne \varnothing$. We claim that the extreme points of the dual unit ball of C(K) areA measure of norm less than one is not extreme, since it admits a small nonzero perturbation $\pm \eta {\delta }_t$ within the ball. For a measure $\mu$ of norm one, suppose $|\mu |$ is not a point mass. There is a Borel set $E$ with $0<a=|\mu |(E)<1$: if the measure support has two points, choose disjoint neighborhoods of positive mass; a regular probability measure supported at just one point is the corresponding point mass. Thenis a convex combination of distinct norm-one measures. Thus an extreme measure must have variation concentrated at one point, and must be $\alpha {\delta }_t$ with $|\alpha |=1$.

Conversely, if $\alpha {\delta }_t=(\nu +\eta )/2$ with $\Vert \nu \Vert ,\Vert \eta \Vert \le 1$, thenEquality throughout forces both measures to have all their variation at $t$, and forces their phases to be $\alpha$. Hence $\nu =\eta =\alpha {\delta }_t$, proving extremality. If $K=\varnothing$, the dual ball is $\{0\}$ and its sole extreme point is $0$.

Every finite Borel measure on $[0,1]$ is regular, so the given $\mu$ belongs to the dual unit ball of $C[0,1]$. Apply Banach-Alaoglu theorem and Krein-Milman theorem to that ball. It is the weak-star closed convex hull of these phased point masses. The unit ball of the finite-dimensional vector subspace $F$ is norm compact. Choose a finite $\epsilon /4$-net $f_1,\dots ,f_m$ in it. There is a convex combinationwhose integrals differ from those of $\mu$ by less than $\epsilon /2$ on every $f_j$. Put $t_i=a_i{\alpha }_i$. Then ${\sum }_i|t_i|=1$ and $\Vert \nu \Vert \le 1$. For any $f$ in the unit ball of $F$, choose $f_j$ with $\Vert f-f_j\Vert <\epsilon /4$. The linear functional $L_{\mu }-L_{\nu }$ has norm at most two, soScaling yields the requested estimate for every $f\in F$. This is atomic approximation on finite-dimensional spaces of continuous functions. Repeated nodes are allowed: keeping their individual terms preserves the exact sum of coefficient magnitudes even if their phases cancel. If $F=\{0\}$, one point with coefficient one suffices.

A character of an algebra is a nonzero complex linear multiplicative map $\varphi :A\to \mathbb{C}$. It necessarily satisfies $\varphi (1)=1$. If $\lambda =\varphi (x)$, then $x-\lambda 1$ cannot be invertible, since applying $\varphi$ to an inverse identity would give $0=1$. Therefore $\varphi (x)\in \sigma (x)$. The Neumann series bound $\sigma (x)\subseteq \{z:|z|\le \Vert x\Vert \}$ givesproving automatic continuity of characters. In particular every algebra character belongs to the closed unit ball of $A^{\ast }$; no prior continuity was needed.

The character space of an algebra is ${\Phi }_A$, the set of all algebra characters. Its Gelfand topology is the weakest topology making every evaluation $\varphi \mapsto \varphi (x)$ continuous, equivalently the weak-star topology inherited from $A^{\ast }$. Within the weak-star compact ball $B_{A^{\ast }}$, it is the closed set specified byThese equations are closed conditions on finitely many evaluations at a time. By the Banach-Alaoglu theorem, ${\Phi }_A$ is compact, and it is Hausdorff because distinct characters differ on an evaluation.

To obtain every spectral value from a algebra character, take $\lambda \in \sigma (x)$. Commutativity makes the ideal $(x-\lambda 1)A$ proper, so it is contained in an algebraic maximal ideal $\mathfrak{m}$. Every such maximal ideal is norm closed: its closure is an ideal, and cannot be all of $A$, because an element of $\mathfrak{m}$ sufficiently close to $1$ would be invertible by the Neumann series. Maximality then makes its closure equal to itself.

The quotient $A/\mathfrak{m}$ is a complex Banach division algebra, hence is $\mathbb{C}$ by the Gelfand-Mazur theorem. Composing the quotient map with this scalar identification gives a algebra character with $\varphi (x)=\lambda$. Together with the first inclusion,The same maximal-ideal argument shows that the algebra character space of a nonzero algebra is nonempty.

Now suppose $A$ is a commutative C-star algebra. All its elements are normal. The C-star identity givessince the self-adjoint element $h=x^{\ast }x$ satisfies $\Vert h^2\Vert =\Vert h{\Vert }^2$. Iterating yields $\Vert x^{2^n}\Vert =\Vert x{\Vert }^{2^n}$. The spectral radius formula along this subsequence provesThis is spectral radius norm equality for normal elements, applied to the commutative case.

For a self-adjoint $h$, the element $v_t=\exp (ith)$ is unitary for every real $t$, so $\Vert v_t\Vert =1$. Algebra character continuity and multiplicativity giveIts modulus is $\exp (-t\mathrm{Im}\varphi (h))$, forcing $\varphi (h)\in \mathbb{R}$. Write $x=h+ik$ with $h,k$ self-adjoint. ThenThis proves that characters of a C-star algebra respect the involution. The conjugation bar is present in the original PDF and must be retained; the TeX aid omits it.

The Commutative Gelfand--Naimark theorem states that a complex commutative unital C-star algebra is isometrically star-isomorphic to $C(K)$ for a compact Hausdorff space, canonically $K={\Phi }_A$. Its Gelfand transform isIt is a unital algebra homomorphism; the conjugation identity just proved makes it preserve the involution. The algebra character description of the spectrum and the spectral-radius equality giveThus it is injective and isometric, and its range is closed because $A$ is complete. The range contains constants, is closed under complex conjugation, and separates points of ${\Phi }_A$: two distinct algebra characters differ on some element of $A$.

The complex Stone-Weierstrass theorem says that a self-adjoint unital subalgebra of $C(K)$ separating points is uniformly dense. For completeness, its familiar lattice argument explains the last step. The real part of its uniform closure is closed under absolute value, by polynomial approximation of $|t|$ on bounded real intervals, and hence under finite maxima and minima. Constants and point separation permit a real function matching any given real continuous $g$ at any chosen pair of points. Fixing the first point, take a maximum of finitely many such functions to obtain a function above $g-\epsilon$ everywhere and equal to $g$ at that first point. It is below $g+\epsilon$ in a neighborhood of that point. A finite cover by these neighborhoods and the minimum of their associated functions then lies between $g-\epsilon$ and $g+\epsilon$ everywhere. Real and imaginary parts give density for complex functions.

Apply this to $\mathcal{G}(A)$. Its range is both dense and closed, so it is all of $C({\Phi }_A)$. ThereforeThis proves the commutative theorem in the setting of the question. For the zero algebra the corresponding compact space is empty and the representation is $C(\varnothing )=\{0\}$.

The relevant fixed coordinate subspace is $\{(u,0):u\in {\mathbb{R}}^k\}$. Let $G$ be the first $k$ columns of $X$ and letThe Gaussian empirical Gram matrix $G^{T}G/n$ is the empirical second moment with the known mean zero; no subtraction of an estimated mean is involved. For $\theta =(u,0)$, the ratio under consideration is $|u^{T}Du|/\Vert u{\Vert }_2^2$. Since $D$ is a real symmetric matrix, the finite-dimensional spectral theorem givesIndeed, diagonalizing $D$ bounds every unit-vector quadratic form by the largest absolute eigenvalue, and a corresponding unit eigenvector attains the bound.

We first construct a unit sphere net from ball covering. Enlarge the numerical covering constant, if necessary, to $A_0\ge 1$. Cover the unit ball in ${\mathbb{R}}^k$ with at most $(2A_0/\delta {)}^k$ balls of radius at most $\delta /2$. For each such ball meeting the unit sphere, choose a point of the sphere in it and discard the others. These selected points form a metric net $\mathcal{N}$ of the unit sphere with radius $\delta$: any two points in one covering ball have distance at most $\delta$. This argument ensures that the net points have unit length even if the original covering centers did not.

Take $\delta =1/4$ and put $B=8A_0$, so $|\mathcal{N}|\le B^k$. For unit vectors $u,v$ with $\Vert u-v{\Vert }_2\le \delta$,Taking a net point for every unit $u$ and then a supremum proves the quadratic form net boundIt follows that

Fix $v\in \mathcal{N}$. The rows of $G$ are independent vectors of independent random variables with the standard normal distribution, and $\Vert v{\Vert }_2=1$. Their scalar products with $v$ are therefore independent $N(0,1)$ variables $g_1,\dots ,g_n$, soUse the supplied chi-squared concentration inequality with $z=n/1024$. Its threshold isConsequently $P(|v^{T}Dv|>1/4)\le 2e^{-n/1024}$. The union bound gives the stronger fixed-subspace estimateThis is Gaussian Gram matrix concentration on a fixed subspace.

Since $1\le k<p$, we have $p\ge 2$. Under $n\ge Ck\log p$,Choose the numerical constant $C\ge 1024(1+\log B/\log 2)$. Then the parenthesis is at least one, so $C^{\prime }=1$ is a valid choice, andThe covering factor is only $B^k$ because the coordinate subspace is fixed. The ambient dimension enters through the assumed sample-size bound.

Suppose $K$ is a compact operator and $f_n\rightharpoonup f$. The Uniform boundedness principle makes $(f_n)$ bounded. If $K{f}_n$ did not converge in norm to $Kf$, some subsequence would stay a fixed positive distance away. Compactness provides a further norm-convergent subsequence, say to $g$. On the other hand, for every $h$, $⟨K{f}_n,h⟩=⟨f_n,K^{\ast }h⟩\to ⟨Kf,h⟩$, so its norm limit must be $Kf$, a contradiction.

Conversely, if $K$ sends every weakly convergent sequence to a norm-convergent sequence, take any sequence in the closed unit ball. Weak compactness of that ball supplies a weakly convergent subsequence, whose images converge in norm by hypothesis. Thus every sequence in the image has a convergent subsequence in $H$. Its closure is also sequentially compact: approximate its $n$th member by an image point within $1/n$. Since $H$ is a metric space, that closure is compact. We concludeThis is the principle that compact operators send weak convergence to norm convergence.

Throughout this question the Banach spaces and Hilbert spaces are complex. Separability is an additional standing hypothesis, not part of the general definition of a Hilbert space. Here and below unit ball means the closed unit ball. An open unit ball in positive finite dimension is not compact. In finite dimension, equivalence of norms identifies the closed unit ball with a closed bounded subset of Euclidean space, so the Heine-Borel theorem gives compactness in the norm topology.

In an infinite-dimensional Hilbert space, the Gram-Schmidt process constructs an infinite orthonormal sequence $(e_n)$. Put $f_n=e_n/\sqrt{2}$. Then $\Vert f_n\Vert =1/\sqrt{2}\le 1$ and, for $m\ne n$, $\Vert f_n-f_m{\Vert }^2=(1+1)/2=1$. No subsequence is a Cauchy sequence, contradicting sequential compactness. Thus the closed unit ball is norm compact exactly in finite dimension.

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$.

The antipodal map is the restriction to the boundary of the unit ball of $-I$ on ${\mathbb{R}}^{n+1}$. The induced orientation on the sphere is reversed or preserved according to the determinant of that ambient linear map, namely $(-1{)}^{n+1}$. Its degree is therefore $(-1{)}^{n+1}$. With integral coefficients, for $n\ge 1$ the induced top-homology map isAt $n=0$, ordinary $H_0(S^0)={\mathbb{Z}}^2$ instead has its two generators exchanged; multiplication by $-1$ is the statement on reduced $H_0(S^0)\cong \mathbb{Z}$. This distinguishes the small-dimension exception from the usual top-degree formula.

The weak-star topology $\sigma (X^{\ast },X)$ is generated by the seminorms $p_x(g)=|g(x)|$, $x\in X$. Thus every evaluation is continuous, so $f_n\stackrel{w^{\ast }}{\to }f$ implies $f_n(x)\to f(x)$ for each $x$. Conversely, a basic neighborhood of $f$ imposes finitely many conditions $|(g-f)(x_j)|<\epsilon$. Pointwise convergence eventually satisfies all of them simultaneously. HenceThe Uniform boundedness principle, applied on the Banach space $X$, gives $M={\sup }_n\Vert f_n\Vert <\infty$. If $x_n\to x$ in the norm topology, thenTherefore $\boxed{f_n(x_n)\to f(x)}$. Completeness of $X$ is used in this uniform boundedness step.

If $C\subseteq X^{\ast }$ is norm compact, the identity map from $(C,\Vert \cdot \Vert )$ to $(C,w^{\ast })$ is a continuous bijection. The target is Hausdorff, since distinct functionals differ at some $x\in X$. The compact-to-Hausdorff continuous bijection theorem gives

The Banach-Alaoglu theorem states that the closed dual unit ball $B_{X^{\ast }}$ is compact in the weak-star topology; in fact $X$ need only be a normed vector space. To prove it, work over $\mathbb{F}=\mathbb{R}$ or $\mathbb{C}$ and formEach $D_x$ is compact, so $Q$ is compact by the Tychonoff theorem. Embed $B_{X^{\ast }}$ by $g\mapsto (g(x){)}_{x\in X}$. Its image consists exactly of those families $(z_x)$ satisfyingThese are closed conditions in the product topology. Conversely, any family satisfying them defines a linear functional bounded by $|z_x|\le \Vert x\Vert$, hence an element of $B_{X^{\ast }}$. The image is therefore closed and compact. The induced product topology is precisely the weak-star topology, proving the theorem. This is a compactness proof for arbitrary nets, with no separability assumption.

For the dual map of bounded linear operator $T^{\ast }:Y^{\ast }\to X^{\ast }$, each $x\in X$ satisfiesEvaluation at the fixed vector $Tx$ is weak-star continuous, so $\boxed{T^{\ast }\text{ is weak-star-to-weak-star continuous}}$.

Suppose $T$ is a compact operator. By the allowed Schauder theorem for compact operators, $T^{\ast }$ is compact. If $S\subseteq Y^{\ast }$ is bounded, the norm closure $C=\overline{T^{\ast }(S)}$ is norm compact. We already proved that its norm and weak-star topologies coincide. The weak-star continuous map $T^{\ast }{|}_S$ into $C$ is consequently norm continuous. Conversely, if $T^{\ast }$ is weak-star-to-norm continuous on bounded subsets, its restriction to $B_{Y^{\ast }}$ maps a weak-star compact set, by Banach-Alaoglu theorem, to a norm compact set. Thus $T^{\ast }$ is a compact operator, and the Schauder theorem for compact operators gives

On the Euclidean unit ball $D^n$,The outward unit normal along $S^{n-1}$ is the radial vector field $N={\sum }_i{x}^i{\partial }_i$, so part b givesLet $R={\sum }_i{x}^i{\partial }_i$ on the ball and put $\beta ={\iota }_R{\omega }_X$. Direct use of the exterior derivative gives $d\beta =n{\omega }_X$. Therefore the Generalized Stokes theorem yieldsThis proves the volume of a Euclidean unit sphere formula.

For a decision $x$ in the unit ball, conditional expectation under the posterior givesThe symmetric positive semidefinite matrix $C+m{m}^T$ has a Rayleigh quotient maximized over $\Vert x\Vert \le 1$ by any unit eigenvector corresponding to its largest eigenvalue. Bayes decision rule therefore chooses any such eigenvector for the stated utility.

If a continuous map $g:{\mathbb{R}}^n\to {\mathbb{R}}^n$ has $\Vert g(x)-x\Vert \le K$, then it is onto. For a target $y$, choose $R\ge K+\Vert y\Vert$, $R>0$, and map the unit ball to itself by $f(x)=x-(g(Rx)-y)/R$. A fixed point gives $g(Rx)=y$.

A cover of the unit ball by balls of radius $\delta /2$ gives a radius-$\delta$ metric net on the unit sphere: discard balls missing the sphere and choose a sphere point in each remaining ball. Every sphere point lies within $\delta$ of the selected point in its ball. The argument keeps the number of balls and ensures that the selected points have unit length, regardless of the initial covering centers.

If $T=S^{\ast }$ for a bounded operator on a separable Banach space, and $C$ is a nonempty weak-star closed convex subset of the dual unit ball with $T(C)\subseteq C$, then $T$ has a fixed point in $C$. The Cesàro averages of the orbit remain in $C$, and $T$ minus the identity sends those averages to vectors of norm at most $2/n$. Weak-star compactness supplies a cluster point, and the adjoint action is weak-star continuous. The corresponding assertion with only weak closedness is false for the right shift on the probability simplex in ${\ell }^1$, the dual of $c_0$.