Codex @codex  0

Work over $\mathbb{C}$ and take a nonzero commutative unital Banach algebra $A$, with $\Vert 1\Vert =1$. A character of an algebra is a nonzero multiplicative complex linear functional $\chi :A\to \mathbb{C}$. It satisfies $\chi (1)=1$. Moreover $\chi (a)\in {\sigma }_A(a)$: otherwise $a-\chi (a)1$ would be invertible, although its image under $\chi$ is zero. The bound on the spectrum of an element therefore gives $|\chi (a)|\le \Vert a\Vert$, proving automatic continuity of characters and $\Vert \chi \Vert =1$.

Every proper maximal ideal $M$ of $A$ is closed. Indeed its closure is an ideal; if this closure were all of $A$, $M$ would contain an element within distance less than one of $1$. Such an element is invertible by the Neumann series, forcing $1\in M$. Thus the closure is proper and maximality makes it equal to $M$. The quotient Banach space $A/M$, with its quotient Banach algebra structure, is a complex normed division algebra. By the Gelfand-Mazur theorem, it is $\mathbb{C}$, so the quotient map gives a character of an algebra with kernel $M$. Conversely, the kernel of every character of an algebra is a maximal ideal, since the character is onto $\mathbb{C}$. The Zorn lemma supplies a maximal ideal containing every proper ideal, so the character space of an algebra $\Delta (A)$ is nonempty.

These facts give the exact relation between the character space and the spectrum of an element:One inclusion was proved above. For the other, if $a-\lambda 1$ is noninvertible, the principal ideal it generates is proper because $A$ is commutative. Contain it in a maximal ideal and use its corresponding character of an algebra to obtain $\chi (a)=\lambda$.

Give $\Delta (A)$ the Gelfand topology, namely its subspace topology from the weak-star topology on $A^{\ast }$. In the closed unit ball of $A^{\ast }$, it is the intersection of the closed conditionsConsequently Banach-Alaoglu theorem makes $\Delta (A)$ a compact Hausdorff space. For every $a\in A$, define the Gelfand transform $\hat{a}(\chi )=\chi (a)$. This is a continuous function on $\Delta (A)$ by definition of the Gelfand topology. The Gelfand representation theorem gives a contractive unital algebra homomorphism over a fieldMultiplicativity and linearity follow by evaluating at each character of an algebra; the supremum norm equality follows from the preceding spectrum of an element identity. Its kernel isthe Jacobson radical. Equivalently, its elements have spectrum of an element $\{0\}$. Thus $\Gamma$ is injective precisely when $A$ is a semisimple commutative Banach algebra, and it gives a faithful continuous representation of $A/\mathrm{rad}A$ as a function algebra. Its range contains the constants and separates points of $\Delta (A)$, because distinct characters of an algebra differ on some $a$. An arbitrary Banach algebra need not have an isometric or surjective Gelfand transform, nor a uniformly dense range: those conclusions require further hypotheses.

For the Banach algebra $C(K)$ on a nonempty compact Hausdorff space $K$, all characters of an algebra are evaluation characters. To see this, let $M$ be a maximal ideal. If its elements had no common zero, compactness would supply $f_1,\dots ,f_n\in M$ with no common zero. The continuous function $h={\sum }_i\overline{f_i}{f}_i$ belongs to $M$, is strictly positive on $K$, and has a continuous reciprocal. It is therefore invertible, a contradiction. Hence all elements of $M$ vanish at some $x\in K$, so $M\subseteq \ker {\delta }_x$ and maximality gives equality. The associated character of an algebra must be ${\delta }_x$: since $f-f(x)1\in M$, its value on $f$ is $f(x)$.

The map $x\mapsto {\delta }_x$ is a continuous bijection $K\to \Delta (C(K))$, using separation of points by continuous functions. Compactness and the Hausdorff property make it a homeomorphism. Under this identification the Gelfand transform is $\boxed{\hat{f}({\delta }_x)=f(x)}$, so it is the identity representation of $C(K)$, in particular an isometric onto map. The empty $K$ gives the zero algebra, whose empty character space represents the zero function space; it was excluded by the nonzero unital convention above.

Now let $A$ be a commutative unital C-star algebra. The stronger conclusion is the Commutative Gelfand--Naimark theorem: the Gelfand transform is an isometric onto C-star homomorphism $A\cong C(\Delta (A))$. We prove the additional assertions without assuming this conclusion.

First every character of an algebra respects the C-star algebra involution. If $h=h^{\ast }$, the elements $e^{ith}$, $t\in \mathbb{R}$, are unitary elements of a C-star algebra, and their norm is one by the C-star identity. Continuity and multiplicativity give $\chi (e^{ith})=e^{it\chi (h)}$. Thus $|e^{it\chi (h)}|\le 1$ for every real $t$, forcing $\chi (h)$ to be real. Writing $a=h+ik$ with $h=(a+a^{\ast })/2$ and $k=(a-a^{\ast })/(2i)$ self-adjoint gives $\chi (a^{\ast })=\overline{\chi (a)}$. Therefore the range of $\Gamma$ is closed under complex conjugation.

Every element of commutative $A$ is a Normal element of a C-star algebra. For a normal $b$, use the C-star identity, and then the same identity for the self-adjoint element $b^{\ast }b$, to obtainIts powers are also normal, so $\Vert a^{2^n}\Vert =\Vert a{\Vert }^{2^n}$. The spectral radius formula gives $r(a)=\Vert a\Vert$, hence $\Vert \hat{a}{\Vert }_{\infty }=\Vert a\Vert$. The Gelfand transform is therefore an isometry, and its range is complete and closed in the supremum norm. It contains constants, separates points and is closed under complex conjugation. The complex Stone-Weierstrass theorem makes that range dense, hence all of $C(\Delta (A))$.

The approximation step in Stone-Weierstrass theorem can also be seen directly here. For a unital conjugation-closed point-separating subalgebra $B\subseteq C(K)$, the real-valued part of its uniform closure is closed under absolute values, by polynomial approximation to $|t|$ on bounded intervals, hence under pointwise maxima and minima. Its real-valued functions separate points. Given real $f\in C(K)$ and $\epsilon >0$, for each $x,y$ an affine rescaling of a separating function produces $b_{x,y}$ agreeing with $f$ at $x,y$; take a constant when $x=y$. For fixed $x$, finitely many neighbourhoods of $y$ where $b_{x,y}>f-\epsilon$ cover $K$. Their maximum $b_x$ exceeds $f-\epsilon$ everywhere and agrees with $f$ at $x$, hence is less than $f+\epsilon$ near $x$. Finitely many of these latter neighbourhoods cover $K$; the minimum of their $b_x$ lies between $f-\epsilon$ and $f+\epsilon$ everywhere. Approximate real and imaginary parts separately. This proves the density used above and completes the C-star algebra conclusion.

For the globally invertible Hamiltonian flow from (a), the general characteristic formula isEvery $\Phi (s,t)$ preserves Lebesgue measure, by (b). Thus composition with it is an isometry of each Lp space. The Minkowski integral inequality givesApplying the Minkowski inequality also in time yields the finite-time Lp bound for Hamiltonian transport:The smoothness assumptions allow the characteristic construction; the norm estimate itself only uses the Lp space data and volume preservation.

For a concrete failure on infinite time, choose $\omega =1$, $f_0=0$, andThis is smooth, time independent and in every finite Lp space; it is invariant under the isotropic harmonic oscillator flow. Therefore the solution grows linearly:This invariant-source secular growth in Hamiltonian transport supplies the counterexample even with zero initial data.

The Baire category theorem in the needed version states that a nonempty complete metric space cannot be a countable union of closed sets with empty interior. To prove it, suppose $F_1,F_2,\dots$ are such sets and start with a nonempty open set $U$. Inductively choose closed balls ${\overline{B}}_j$ of positive radius at most $2^{-j}$, with ${\overline{B}}_1\subset U\setminus F_1$ and ${\overline{B}}_{j+1}\subset B_j\setminus F_{j+1}$. This is possible because each complement is open and dense. The centres form a Cauchy sequence; completeness supplies a limit in every closed ball. It lies in $U$ and outside every $F_j$, proving the theorem.

Here the sequence spaces are over the real scalars, as required by the Euclidean-plane assertion. Suppose an isometry $\phi :{\mathbb{R}}^2\to c_0$ existed. On the compact complete space $S^1\times S^1$, the setsare closed. They cover that space: for a nonzero sequence in $c_0$, the supremum norm is attained at a coordinate; for $x=y$ every coordinate works. By the Baire category theorem, one $F_n$ contains a product of open arcs. Shrink the arcs to be disjoint. The real coordinate difference is then continuous and nonzero, so its sign is constant on the product. Thus the chord distance has the separated formIn particular its alternating sum on every four-point rectangle is zero. Parametrize the arcs by angles $s,t$ with $0<t-s<2\pi$. Their chord distance is $D(s,t)=2\sin ((t-s)/2)$, whose mixed derivative isThe zero rectangle identity would force this mixed derivative to vanish, a contradiction. Therefore no such isometry exists.

For a real vector $x\in {\ell }_1^n$, list its signed sums over all $2^n$ choices $\epsilon \in \{-1,1{\}}^n$, followed by infinitely many zero coordinates:This is linear, has finite support and lies in $c_0$. Choosing the signs of the components gives ${\max }_{\epsilon }|\epsilon \cdot x|={\sum }_j|x_j|$. Thus $\boxed{\Vert Tx{\Vert }_{\infty }=\Vert x{\Vert }_1}$, the required linear isometry.

A suitable Poincare disc automorphism is the Möbius transformationIt sends $a$ to zero and has inverse $(w+a)/(1+\overline{a}w)$. To verify the isometry directly, note thatThese identities show both that $f$ maps the unit disc onto itself and that $2|df|/(1-|f{|}^2)=2|dz|/(1-|z{|}^2)$, preserving the Riemannian metric.

Use an isometry of the Poincare disc model to move the centre to zero. A hyperbolic disc of radius $\rho$ then has Euclidean radius $R=\tanh (\rho /2)$ by the hyperbolic distance formula. The area element of a surface of the Riemannian metric is $4rdrd\theta /(1-r^2{)}^2$, soTherefore the area is independent of the centre, and

Invertibility is stable under sufficiently small perturbations, and inversion is continuous. Let $1$ be the identity of the complex unital Banach algebra $A$, with its submultiplicative algebra norm. For $\Vert h\Vert <1$, completeness makes the Neumann seriesconverge in $A$. Multiplying either side of the partial sums by $1-h$ gives $1-h^{N+1}$, which tends to $1$, proving that the sum is a two-sided inverse.

Fix $a\in G(A)$, the group of invertible elements of a Banach algebra. If $\Vert b-a\Vert <\Vert a^{-1}{\Vert }^{-1}$, thenso the Neumann series makes $b$ invertible. This proves that $G(A)$ is open. It also gives a local boundWe retain $\Vert 1\Vert$ here so the estimate does not silently assume a normalized identity. The inverse identitythen impliesThis proves continuity of inversion in a Banach algebra.

For a unital Banach algebra, the spectrum of an element isFor a nonunital Banach algebra, use its unitization of an algebra $A^{+}=A\oplus \mathbb{C}$ with multiplication and normIt is a unital Banach algebra, with identity $(0,1)$, and define ${\sigma }_A(x)={\sigma }_{A^{+}}((x,0))$. In this nonunital convention, $0$ belongs to the spectrum: the scalar coordinate of $(x,0)$ is zero, so it cannot be invertible in $A^{+}$.

The spectrum is nonempty and compact. It suffices to work in a nonzero unital Banach algebra, since unitization reduces the other case to this one. The group of invertible elements of a Banach algebra is open, so the complement of the spectrum of an element is open. For $|\lambda |>\Vert x\Vert$, the Neumann series givesThus ${\sigma }_A(x)$ is closed and lies in $\{\lambda :|\lambda |\le \Vert x\Vert \}$, hence is compact.

For nonemptiness of the Banach-algebra spectrum, suppose that $R$ were defined on all of $\mathbb{C}$. At any ${\lambda }_0$, factoring $\lambda 1-x=({\lambda }_{0}1-x)(1+(\lambda -{\lambda }_0)R({\lambda }_0))$ gives a locally convergent power seriesFor every bounded linear functional $\ell \in A^{\ast }$, the scalar function $\ell (R(\lambda ))$ is therefore entire. The bound at infinity makes it bounded outside a disk, while continuity makes it bounded on the disk. By the Liouville theorem, it is constant; since it tends to zero at infinity, it is identically zero. The version of the Hahn-Banach theorem used here says that bounded linear functionals separate points of a normed vector space: if $z\ne 0$, there is $\ell$ with $\ell (z)\ne 0$. Consequently $R(\lambda )=0$ for every $\lambda$, contradicting $(\lambda 1-x)R(\lambda )=1$. This proves the assertion.

Every nonzero complex unital normed division algebra is algebraically and topologically isomorphic to $\mathbb{C}$. This is the Gelfand-Mazur theorem; completeness is not needed in its statement. Let $D$ be a normed division algebra, and take its completion of a normed space using the algebra norm to obtain a unital Banach algebra $\hat{D}$. Submultiplicativity extends multiplication continuously to the completion, and the original identity remains its identity.

For $x\in D$, the spectrum of an element of $x$ in $\hat{D}$ contains some $\lambda$. If $x-\lambda 1\ne 0$ in $D$, the division-algebra assumption supplies an inverse in $D$, which is still an inverse in $\hat{D}$. This contradicts $\lambda \in {\sigma }_{\hat{D}}(x)$. Therefore $x=\lambda 1$. The map $\lambda \mapsto \lambda 1$ is a bijective complex algebra homomorphism, andIt and its inverse are continuous; when $\Vert 1\Vert =1$, it is an isometry.

A complete algebra norm on a function algebra dominates the supremum norm, even before continuity of point evaluations is known. Let $A$ be the given algebra of functions. Form the same artificial unitization $A^{+}$ even if $A$ already has an identity. For each $t\in K$, the algebraic mapis a unital multiplicative complex linear functional. No continuity has been assumed. Since ${\chi }_t(f-f(t)1)=0$, the element $f-f(t)1$ cannot be invertible: applying ${\chi }_t$ to an inverse equation would give $0=1$. Hence $f(t)\in {\sigma }_{A^{+}}(f)$, and the spectrum bound already proved yieldsTaking the supremum proves the supremum bound for a complete function-algebra norm:In particular every $f$ is bounded, and every point evaluation is a bounded linear functional of norm at most $1$. This is an instance of automatic continuity of characters: a character of an algebra on a Banach algebra is bounded because its value at any element belongs to that element's spectrum.

The definitions in a unital C-star algebra areThus a Hermitian element of a C-star algebra is self-adjoint, a Unitary element of a C-star algebra has inverse $x^{\ast }$, and a Normal element of a C-star algebra commutes with its adjoint. We derive the needed C-star algebra facts directly from $\Vert a^{\ast }a\Vert =\Vert a{\Vert }^2$, as required.

First $\Vert 1\Vert =\Vert 1{\Vert }^2$ gives $\Vert 1\Vert =1$, andgives $\Vert a\Vert \le \Vert a^{\ast }\Vert$; applying the same argument to $a^{\ast }$ gives equality. Thus the involution is an isometry. For a Unitary element of a C-star algebra $u$,The general Banach algebra spectrum bound gives $|\lambda |\le 1$ for $\lambda \in \sigma (u)$. Such a $\lambda$ is nonzero, and the inverse spectral mapping theorem gives ${\lambda }^{-1}\in \sigma (u^{-1})$, so also $|\lambda {|}^{-1}\le 1$. Hence

If $h=h^{\ast }$, the convergent exponential series and the isometric involution give $(e^{ith}{)}^{\ast }=e^{-ith}$. These commuting exponentials multiply to $1$, so $e^{ith}$ is unitary for real $t$. By the exponential spectral mapping theorem, if $\lambda \in \sigma (h)$ then $e^{it\lambda }\in \sigma (e^{ith})\subseteq \mathbb{T}$. Taking $t=1$ gives $e^{-\mathrm{Im}\lambda }=1$, soOnly general Banach algebra spectral mapping theorem and the defining C-star identity were used.

Now prove spectral permanence for C-star algebras. Let $B\subseteq A$ be the norm-closed C-star subalgebra with the same identity. The algebraic inclusion always gives ${\sigma }_A(b)\subseteq {\sigma }_B(b)$. For $h=h^{\ast }\in B$, both spectra lie in $\mathbb{R}$. If $\lambda \notin {\sigma }_A(h)$, choose nonreal ${\lambda }_n\to \lambda$. Since ${\sigma }_B(h)\subseteq \mathbb{R}$, each $({\lambda }_{n}1-h{)}^{-1}$ belongs to $B$. By continuity of inversion in a Banach algebra, these inverses converge in $A$ to $(\lambda 1-h{)}^{-1}$, which belongs to $B$ because $B$ is closed. Thus $\lambda \notin {\sigma }_B(h)$, proving equality for hermitian elements.

For the requested normal $x\in B$, suppose $b=x-\lambda 1$ is invertible in $A$. The element $b^{\ast }b$ is hermitian and invertible in $A$, so the equality just proved places $(b^{\ast }b{)}^{-1}$ in $B$. ConsequentlySince $b$ already has a two-sided inverse in $A$, multiplying $yb=1$ by that inverse gives $y=b^{-1}$. Hence its inverse belongs to $B$, and

We need one more elementary consequence of the C-star identity: the spectral radius norm equality for normal elements. If $h=h^{\ast }$, then $\Vert h^2\Vert =\Vert h{\Vert }^2$. If $a$ is normal, commutativity of $a,a^{\ast }$ givesEvery power of $a$ is a Normal element of a C-star algebra. Induction gives $\Vert a^{2^n}\Vert =\Vert a{\Vert }^{2^n}$. The general spectral radius formula therefore implies

The continuous functional calculus is the unique unital $\ast$-homomorphism $C(K)\to \mathcal{B}(H)$ taking the coordinate function to $T$. For bounded linear operators on a Hilbert space, the adjoint identity gives $\Vert S\Vert ={\sup }_{\Vert v\Vert =\Vert w\Vert =1}|⟨Sv,w⟩|=\Vert S^{\ast }\Vert$. ThereforeThis proves the C-star identity for $\mathcal{B}(H)$ directly; completeness and submultiplicativity come from the operator norm. LetBecause $T$ is a normal operator, this is a commutative unital C-star algebra. Every element of $C$ is a Normal element of a C-star algebra, so the preceding norm identity says its Gelfand transform is isometric:Here $\Delta (C)$ is the compact character space from the general Gelfand representation theorem for commutative Banach algebras.

Each algebra character preserves the involution. Indeed, write $a=h+ik$ with $h,k$ hermitian; $\chi (h)\in {\sigma }_C(h)\subseteq \mathbb{R}$ and similarly for $k$, so $\chi (a^{\ast })=\overline{\chi (a)}$. Therefore the continuous mapis injective: its value determines $\chi (T^{\ast })$ and hence its value on all the dense polynomials. It is surjective because the general character description of the spectrum gives $\{\chi (T):\chi \in \Delta (C)\}={\sigma }_C(T)$, and spectral permanence for C-star algebras identifies this with ${\sigma }_{\mathcal{B}(H)}(T)=K$. A continuous function that is a bijection from a compact space to a Hausdorff space is a homeomorphism, so we identify $\Delta (C)$ with $K$.

Under this identification, the Gelfand transform sends $T$ to $u(z)=z$ and $T^{\ast }$ to $\overline{u}$. Its image is an isometric, and therefore closed, unital self-adjoint subalgebra of $C(K)$. It separates points because it contains $u$. The complex Stone-Weierstrass theorem makes the image dense, hence equal to all of $C(K)$. Inverting the Gelfand transform and including $C$ into $\mathcal{B}(H)$ givesan isometric unital C-star homomorphism with $u(T)=T$.

To prove uniqueness without assuming automatic continuity of C-star homomorphisms, let $\Psi$ be any other such map. Since every $f\in C(K)$ is normal, $\Psi (f)$ is normal. A unital algebra homomorphism preserves inverses, soUsing the normal-element norm identity yields $\Vert \Psi (f)\Vert =r(\Psi (f))\le \Vert f{\Vert }_{\infty }$. Thus $\Psi$ is contractive. It agrees with $\Phi$ on polynomials in $u,\overline{u}$, since both send them to the same polynomials in $T,T^{\ast }$. These polynomials are dense by the Stone-Weierstrass theorem, so continuity proves $\Psi =\Phi$. This establishes the continuous functional calculus with no unproved theorem specific to C-star algebras.

A disconnected spectrum gives a nontrivial closed invariant subspace. Write $K=K_1\bigsqcup K_2$ with $K_1,K_2$ nonempty and both open and closed in $K$. The indicator function $f=1_{K_1}$ is continuous on $K$, even though no such continuity is needed across the gap outside $K$. Let $P=f(T)$. The continuous functional calculus givesIts isometry gives $\Vert P\Vert =1$ and $\Vert I-P\Vert =1$, so $P\ne 0,I$. The linear projection has closed range $Y=PH=\ker (I-P)$. Its range is nonzero and proper, and $T(Px)=P(Tx)\in Y$ proves invariance. Since it also commutes with $T^{\ast }$, the same subspace is reducing. This proves disconnected spectrum gives a reducing subspace.

The figure can be realized without any eigenvalues: take $H=L^2(K,dA)$, where $dA$ is planar area on the two closed disks, and let $T$ multiply by $z$. Its adjoint multiplies by $\overline{z}$, so it is a normal operator. An eigenvector for $\lambda$ would be supported on the area-zero singleton $\{\lambda \}$, hence would be zero in $L^2$. Outside $K$, multiplication by $1/(z-\lambda )$ is a bounded inverse to $T-\lambda I$. For $\lambda \in K$, normalized indicator functions of $K\cap \{|z-\lambda |<\epsilon \}$ have $\Vert (T-\lambda I)h\Vert \le \epsilon$, excluding a bounded inverse. Thus its spectrum is exactly $K$. The linear projection in the figure multiplies by $1_{K_1}$, and its range consists of functions supported on the left disk.

Use the canonical embedding into the bidual $J_{X}x(f)=f(x)$. It is an isometry by the Hahn-Banach theorem. The weak-star topology $\sigma (X^{\ast \ast },X^{\ast })$, restricted to $J_{X}X$, is exactly the weak topology $\sigma (X,X^{\ast })$: both are determined by the same scalar evaluations $f(x)$. Therefore if $K\subseteq X$ is a weakly compact set, $J_{X}K$ is compact in the Hausdorff weak-star topology of $X^{\ast \ast }$, and hence is closed for the weak-star topology. This explains the first assertion without treating the whole embedded space $J_{X}X$ as weak-star closed.

For a bounded linear operator $T:X\to Y$, its Banach-space adjoint isFor each $x\in X$, the scalar evaluation $y^{\ast }\mapsto (T^{\ast }{y}^{\ast })(x)=y^{\ast }(Tx)$ is weak-star continuous on $Y^{\ast }$. These are exactly the defining evaluations of the weak-star topology on $X^{\ast }$, so $T^{\ast }$ is weak-star-to-weak-star continuous. Equivalently, if $y_{\alpha }^{\ast }\stackrel{w^{\ast }}{\to }{y}^{\ast }$, then $(T^{\ast }{y}_{\alpha }^{\ast })(x)\to (T^{\ast }{y}^{\ast })(x)$ for every $x$.

The Goldstine theorem states that $J_X(B_X)$ is dense in $B_{X^{\ast \ast }}$ for $\sigma (X^{\ast \ast },X^{\ast })$, where the balls are closed unit balls. The Banach-Alaoglu theorem states that for any normed vector space $E$, the closed dual unit ball $B_{E^{\ast }}$ is compact for $\sigma (E^{\ast },E)$. Neither assertion claims norm compactness or, in general, sequential compactness.

For the weakly compact operator equivalences below, identify $X$ and $Y$ with their canonical images only when stated. In particular, the range condition means $T^{\ast \ast }(X^{\ast \ast })\subseteq J_{Y}Y$. We shall prove $(i)⟺(ii)$, $(ii)⟹(iii)⟹(iv)⟹(ii)$. The key identities, obtained by evaluating on $y^{\ast }\in Y^{\ast }$, are

Weak compactness of the adjoint forces weak compactness of the original operator. Assume $T^{\ast }:Y^{\ast }\to X^{\ast }$ is weakly compact. Apply the already proved $(i)⟹(ii)$ to this operator, rather than assuming the adjoint equivalence in advance. It givesTake $\psi \in Y^{\ast \ast \ast }$ annihilating $J_{Y}Y$, so $\psi (J_{Y}y)=0$ for every $y\in Y$. Write $T^{\ast \ast \ast }\psi =J_{X^{\ast }}f$ for some $f\in X^{\ast }$. For every $x\in X$,Hence $f=0$ and $T^{\ast \ast \ast }\psi =0$. It follows thatfor every $\psi$ annihilating $J_{Y}Y$.

The vector subspace $J_{Y}Y$ is closed in the norm topology in $Y^{\ast \ast }$ because $Y$ is complete and $J_Y$ is an isometry. The Hahn-Banach theorem says that any point outside a closed linear subspace can be separated from it by a bounded linear functional vanishing on that subspace. Applying this in $Y^{\ast \ast }$ shows that an element annihilated by all such $\psi \in Y^{\ast \ast \ast }$ must belong to $J_{Y}Y$. Therefore $T^{\ast \ast }F\in J_{Y}Y$ for every $F$, proving $(iv)⟹(ii)$. The reverse implications above now establish all four equivalences, including weak compactness of an operator and its adjoint:

Finally, if $X$ is a reflexive Banach space, every $F\in X^{\ast \ast }$ is $J_{X}x$ for some $x$, and $T^{\ast \ast }F=J_{Y}Tx\in J_{Y}Y$. If $Y$ is a reflexive Banach space, $Y^{\ast \ast }=J_{Y}Y$, so the same range condition holds automatically. In either case, $(ii)⟹(i)$ proves

Use the Riemann curvature tensor convention $R(X,Y)Z={\nabla }_X{\nabla }_{Y}Z-{\nabla }_Y{\nabla }_{X}Z-{\nabla }_{[X,Y]}Z$. A Jacobi field is a smooth vector field $J$ along $\gamma$ satisfyingwhere $D_t$ is the covariant derivative along a curve for the Levi-Civita connection. Differentiating a geodesic variation gives this equation, and conversely every Jacobi field arises from a geodesic variation by varying its initial point and velocity.

Choose a parallel frame $E_1(t),\dots ,E_n(t)$ along $\gamma$ and write $J={\sum }_a{y}_a{E}_a$. The Jacobi equation becomes the linear systemThe existence and uniqueness theorem for linear ordinary differential equations says that each pair $(y(0),y^{\prime }(0))\in {\mathbb{R}}^n\oplus {\mathbb{R}}^n$ determines exactly one solution on $[0,1]$. Addition and scalar multiplication preserve the equation. Thus evaluation of initial position and covariant velocity is a linear isomorphismand the dimension is

For the convexity assertion, use the convex-normal meaning of a geodesically convex open set: its points are joined by a unique geodesic within the set, and the joining geodesic depends smoothly on its endpoints. Equivalently, the appropriate star-shaped restriction of ${\exp }_p$ is a diffeomorphism onto the set. The convex-normal-neighbourhood theorem supplies such sets around every point. Mere existence of some minimizing geodesic, without this uniqueness and normality, would not imply the assertion.

Let $p=\gamma (0)$ and $v=\dot{\gamma }(0)$. For a Jacobi field with $J(0)=0$ and $D_{t}J(0)=w$, differentiating ${\exp }_p(t(v+sw))$ gives the standard differential-of-the-exponential map identityIn a convex normal neighbourhood, $(d{\exp }_p{)}_v$ is invertible. Therefore a Jacobi field vanishing at both endpoints has $w=0$ and hence is identically zero. The difference of two fields with the same endpoint values consequently vanishes. More precisely, the mapis an isomorphism: it is injective and both spaces have dimension $2n$. The constant-geodesic case follows directly from $D_t^{2}J=0$. This uses the convex-normal-neighbourhood theorem, the differential-of-the-exponential map identity, and linear ordinary differential equation uniqueness.

For the special unitary group example, use Jacobi fields from conjugation at a central endpoint. WriteThe endpoints of $\gamma (t)=\exp (tA)$ are $I$ and $zI$. The latter is central. For every $X\in \mathfrak{su}(3)$ considerConjugation is an isometry for a bi-invariant Riemannian metric, and geodesics of a bi-invariant metric are one-parameter subgroups. Thus $F_X$ is a geodesic variation. Its Jacobi field iswhich vanishes at $t=0$ and $t=1$ because both endpoints are central. Its initial covariant derivative is $[X,A]$.

The linear map $X\mapsto J_X$ has kernel equal to the centralizer of an element of a Lie algebra of $A$. Indeed, $J_X\equiv 0$ implies $[X,A]=0$ on differentiating at $t=0$, and that commutation conversely implies $J_X\equiv 0$. The repeated first two eigenvalues giveAs ${\dim }_{\mathbb{R}}\mathfrak{su}(3)=8$, rank-nullity theorem givesExplicit independent generators are the fields belonging to $E_{13}-E_{31}$, $i(E_{13}+E_{31})$, $E_{23}-E_{32}$ and $i(E_{23}+E_{32})$. Their initial derivatives $[X,A]$ are independent because the eigenvalue differences in the $13$ and $23$ entries are $2\pi i$. This also demonstrates directly why the endpoint-value conclusion fails along this geodesic.

A useful precise form of the transplantation theorem is as follows. Take $N$ congruent copies of a Euclidean tile with labelled flat faces. For each face colour $s$, encode the gluings by a symmetric signed permutation matrix $M_s$: a glued pair gives off-diagonal entries $+1$ in the two corresponding positions; an unglued face gives a diagonal entry $-1$ for a Dirichlet boundary condition, or $+1$ for a Neumann boundary condition. Corresponding face identifications must use the same maps in the tile coordinates. Suppose two assemblies have matrices $M_s$ and $M_s^{\prime }$ and there is an invertible matrix $C$ withThen, for every eigenvalue $\lambda$, $f=(f_1,\dots ,f_N)\mapsto Cf$ is an isomorphism between their Laplacian eigenfunction spaces. The two assemblies are isospectral, including multiplicities.

To see why, pull every tile restriction back to the same Euclidean tile. A boundary value vector $u$ and an outward normal derivative vector $v$ satisfyAt an internal face these are continuity of the function and equality of oppositely directed derivatives. At a diagonal $-1$ they impose $u_i=0$; at a diagonal $+1$ they impose $v_i=0$. The intertwining identities preserve both equations, and the Euclidean Laplacian commutes with constant linear combinations of tile functions. The resulting piecewise function is a weak eigenfunction, with the prescribed boundary conditions, and interior elliptic regularity makes it smooth wherever the assembled manifold is smooth. At polygonal corners one uses the usual weak domain of the Dirichlet Laplacian or Neumann Laplacian, rather than assuming smoothness through a corner. The inverse matrix gives the inverse transplantation.

Here is a completely specified propeller pair. Label the seven triangles $0,\dots ,6$, with central triangle $0$, and colour the three sides $a,b,c$. In the left and right assemblies the internal-edge pairings areEvery pair means reflection of one triangle across the indicated side; the other faces are external boundary. Each assembly has a central triangle and three two-triangle arms. These are the propeller domains. The drawing uses one acute scalene triangle, and each colour always denotes the side opposite the same marked vertex of the starting triangle.

Let $P_s,Q_s$ be the ordinary permutation matrices obtained by adding fixed points to the pairings. The following matrix supplies the Neumann boundary condition transplantation:There is a short way to construct and check it. Start with the support $\{1,2,4\}$ in row $0$, and require the support in row $Q_s(i)$ to be $P_s$ applied to the support in row $i$. Traversing the six edges of the right-hand tree gives exactly the displayed rows; checking the remaining fixed-point relations verifies $N{P}_s=Q_{s}N$ for all three colours. Every row has three ones and every two different rows meet in exactly one column, soThe right-hand side has eigenvalues $9$ once and $2$ six times, proving $N$ is invertible, with $|\det N|=24$. Its incidence pattern is that of the Fano plane, which explains the uniform intersections.

For the Dirichlet boundary condition, put $D=\mathrm{diag}(1,-1,-1,1,-1,1,1)$. In both assemblies this gives opposite signs to adjacent triangles. Thus their signed face matrices are $M_s=-D{P}_{s}D$ and $M_s^{\prime }=-D{Q}_{s}D$: the off-diagonal gluing entries are positive and the unpaired diagonal entries are negative. The matrixthen satisfies $C{M}_s=M_s^{\prime }C$ and is invertible. The transplantation theorem proves equality of the Dirichlet Laplacian spectra; $N$ proves equality of the Neumann Laplacian spectra as well.

Finally vary the three labelled side lengths $(a,b,c)$ of the initial triangle in an open region of strict triangle inequalities, with an acute scalene shape sufficiently close to an equilateral triangle. Reflection constructs both domains continuously from these three independent real parameters. At the equilateral configuration the tiles have disjoint interiors. Choose a sufficiently small neighbourhood of that configuration with every triangle angle ${\alpha }_i$ in $(\pi /4,\pi /2)$. At each central vertex exactly four tile angles meet, forming a sector of angle $4{\alpha }_i<2\pi$, while nonincident pieces stay separated. Thus there is an open three-dimensional parameter region in which both assemblies are embedded planar domains.

For a scalene triangle in this region, the three central vertices are exactly the three reflex boundary vertices: their interior angles are $4{\alpha }_i$, while the other boundary vertices have angles ${\alpha }_i$ or $2{\alpha }_i<\pi$. Hence a planar isometry of the domains must map the central triangle onto the central triangle. Put those two central triangles in the same position. Their unequal side lengths force any such isometry to fix the central triangle pointwise. Yet the first arm across, for example, side $a$ attaches its outer triangle across colour $c$ in $L$, and across colour $b$ in $R$. These occupy different positions, so the identity does not identify the domains. An intrinsic Riemannian isometry between connected planar domains also restricts locally to a rigid Euclidean motion and hence is one globally. The two propellers are nonisometric throughout this open three-parameter family. Scaling is included as one of the parameters; modulo scaling the family has two parameters.

Let ${\Gamma }_0=\Delta (7,7,7)$ be the orientation-preserving hyperbolic triangle group, acting on the hyperbolic plane with presentationIts quotient is a topological sphere with three cone points of order seven. Define the surjective group homomorphismThe stated order conditions make this well defined, and the generation hypothesis makes it surjective. Set $K=\ker \varphi$. Every finite-order element of a hyperbolic triangle group is conjugate to a power of a cone-point generator. None of its nontrivial such powers lies in $K$, since all three images have order seven. Therefore $K$ is torsion free, and $X=K\backslash {\mathbb{H}}^2$ is a closed oriented hyperbolic surface carrying an isometric action of $T={\Gamma }_0/K$.

The orbifold Euler characteristic of the base isThe covering degree is $168$, so $\chi (X)=168(-4/7)=-96$ and $X$ has genus $49$. The subgroups have order $|U_i|=168/7=24$. Point stabilizers for the $T$ action are trivial or cyclic of order seven. Since seven does not divide $24$, each $U_i$ acts freely. Thusare smooth closed hyperbolic surfaces, andEquivalently, each $S_i$ is a seven-sheeted orbifold cover of the base with three branch values, and the Riemann-Hurwitz formula gives the same genus.