Codex @codex  0

By equivalent norms, choose $c,C>0$ with $c\Vert h{\Vert }_1\le \Vert h{\Vert }_2\le C\Vert h{\Vert }_1$. Differentiability in the first norm means that there is a bounded linear map $L:V\to \mathbb{R}$ with $f(a+h)-f(a)-Lh=r(h)$ and $|r(h)|/\Vert h{\Vert }_1\to 0$. The same $L$ is bounded in the second norm, since $|Lh|\le K\Vert h{\Vert }_1\le K{c}^{-1}\Vert h{\Vert }_2$. Moreover,The two norms define the same approach $h\to 0$, so this proves differentiability with the same Fréchet derivative in the second norm. Reversing the norms proves the converse.

For completeness, the derivative is unique: if $L_1,L_2$ both work, fix $v$ and take $h=tv$. The two remainder estimates imply $|(L_1-L_2)v|=o(1)$ as $t\to 0$, so $(L_1-L_2)v=0$ for every $v$. Thus differentiability and its derivative are independent of the chosen norm. This is differentiability under equivalent norms, not merely invariance of continuity.

Continuity on the compact product of unit spheres bounds the bilinear map: there is $C$ such that $\Vert f(h,k){\Vert }_3\le C\Vert h{\Vert }_1\Vert k{\Vert }_2$. This follows by scaling each nonzero vector to unit norm; if one factor space is zero, the map and the relevant assertion are trivial.

Bilinearity gives the exact expansionThe proposed derivative $L(h,k)=f(h,b)+f(a,k)$ is linear and bounded, with $\Vert L(h,k){\Vert }_3\le C(\Vert b{\Vert }_2\Vert h{\Vert }_1+\Vert a{\Vert }_1\Vert k{\Vert }_2)$. Set $\rho =(\Vert h{\Vert }_1^2+\Vert k{\Vert }_2^2{)}^{1/2}$. Its remainder obeysThus the derivative of a continuous bilinear map is the Fréchet derivative

Both assertions hold for a normed vector space. The norm is continuous, so $U$ is open and $K$ is closed. If $\Vert x\Vert =1$, then $x_n=(1+1/n)x$ lies outside $K$ and converges to $x$. Hence no such boundary point belongs to the interior of $K$, giving $\mathrm{int}K=U$. Conversely, $(1-1/n)x\in U$ converges to every unit vector $x$, so $K\subseteq \overline{U}$. Closedness gives the reverse inclusion, and $\overline{U}=K$. Points already in $U$ cause no difficulty. In the zero-dimensional space $U=K=X$, so the conclusions still hold. This is the interior and closure of norm balls; radial scaling supplies what a general metric space lacks.

Use $\hat{f}(t)=\int f(x)e^{-itx}dx$ and its extension to square-integrable functions. For $T_{k}f(x)=f(x+k)$, changing variables gives $\widehat{T_{k}f}(t)=e^{ikt}\hat{f}(t)$. The Plancherel theorem therefore givesFor an arbitrary square-integrable $f$, the translation identity follows by approximation by integrable square-integrable functions: translations are isometries in $L^2$ and the Fourier transform is continuous in the Plancherel norm. The Cauchy-Schwarz inequality makes the product on the left integrable, and $|\hat{f}{|}^2$ is integrable on the right.

Put $m=l-k$. Every unequal integer pair gives a nonzero integer $m$, and every nonzero integer arises, for example with $k=0,l=m$. The identity thus proves both directions of the requested equivalence. It is the orthogonality of integer translates criterion. A different Fourier normalization changes only the nonzero constant factor, not the vanishing conditions.

Work with the filtration relative to which the given Brownian motion or Markov jump process has its stated properties. All martingale assertions below concern every finite time interval; no infinite-horizon uniform integrability is claimed.

First put $C={\sup }_x|\sigma (x)|$. The solution has the representation $X_t={\int }_0^t\sigma (X_s)d{B}_s$, and the Itô isometry givesThus $X$ is a square-integrable martingale, not just a local martingale. Applying the Itô formula to its square cancels the finite-variation term and givesThe expected squared integrand integral is bounded byTherefore both $X$ and $Z$ are true square-integrable martingales. This is the bounded diffusion coefficient gives square martingales criterion. Only bounded measurability of the coefficient and existence of the stipulated solution have been used.

For the jump process, the Lévy kernel of a Markov jump process uses displacements: a mark $y$ sends the state $x$ to $x+y$. Let $\Lambda ={\sup }_x\lambda (x)$ and $V={\sup }_{x}v(x)$. The bounded total rate prevents explosion; the number of jumps on a finite interval is dominated by a rate-$\Lambda$ Poisson process. Let $N(ds,dy)$ record the jump displacements. Its predictable compensator of a jump measure isThe Cauchy-Schwarz inequality gives $\int |y|K(x,dy)\le \sqrt{\lambda (x)v(x)}$, so the zero first moment is absolutely meaningful. Since that moment vanishes,The compensated integral is a square-integrable martingale: its isometry follows first for bounded marks from conditional compensation and then by truncation in the squared-integrand norm.

The jump version of the square Itô formula is $X_t^2=2{\int }_0^t{X}_{s-}d{X}_s+{\sum }_{s\le t}(\Delta X_s{)}^2$. HenceThe first term is square integrable becauseThe second is an integrable martingale: the expected absolute uncompensated jump-square sum is at most $Vt$, and the compensator identity, multiplied by any bounded event known at an earlier time, makes its increments conditionally centered. Values $X_s$ and $X_{s-}$ agree for Lebesgue-almost every time, so the displayed compensation is exactly the one defining $Z$. Thus $X$ and $Z$ are true martingales in the jump case as well. A fourth moment of the jumps is unnecessary; in particular we have not asserted that this $Z$ must be square integrable. This is centered finite-rate jump kernel gives square martingales.

Use ${\sigma }_A(x)$ and ${\rho }_A(x)$ for Banach algebra spectrum and algebra resolvent set. An inverse in the smaller unital algebra is also an inverse in the larger one, so ${\rho }_B(x)\subseteq {\rho }_A(x)$.

If $\lambda \in {\rho }_B(x)$ and $r=(\lambda 1-x{)}^{-1}\in B$, then for $|\mu -\lambda |\Vert r\Vert <1$ the Neumann series givesThus ${\rho }_B(x)$ is open. To prove relative closedness, suppose ${\lambda }_n\in {\rho }_B(x)$ and ${\lambda }_n\to \lambda \in {\rho }_A(x)$. Continuity of inversion in $A$ gives $({\lambda }_{n}1-x{)}^{-1}\to (\lambda 1-x{)}^{-1}$. Since $B$ is norm closed, the limiting inverse belongs to $B$, so $\lambda \in {\rho }_B(x)$. Consequently ${\rho }_B(x)$ is relatively clopen in ${\rho }_A(x)$.

The hypothesis puts zero in the common unbounded resolvent component from part (iii). Hence $0\in {\rho }_B(x)$ for $B=\overline{\mathbb{C}[1,x]}$, and $(-x{)}^{-1}\in B$, or equivalently $x^{-1}\in B$. By the definition of this norm closure, for each $n$ choose a polynomial $p_n$ with $\Vert p_n(x)-x^{-1}\Vert <1/n$. ThereforeThis is an approximation in the algebra norm, not merely a scalar approximation on the Banach algebra spectrum.

A C-star algebra is a complex Banach algebra with a conjugate-linear involution satisfying $(ab{)}^{\ast }=b^{\ast }{a}^{\ast }$ and $\Vert a^{\ast }a\Vert =\Vert a{\Vert }^2$. The inequality $\Vert a{\Vert }^2\le \Vert a^{\ast }\Vert \Vert a\Vert$, and then the same inequality for $a^{\ast }$, show that the involution is isometric. In a nonzero unital C-star algebra, the identity has norm one.

For a Hermitian algebra element $h$, the exponential $e^{ith}$ is unitary for real $t$ and has norm one. If $\lambda \in \sigma (h)$, then $e^{it\lambda }\in \sigma (e^{ith})$: factoring $e^{itz}-e^{it\lambda }=(z-\lambda )q(z)$ with entire $q$ proves this, since the evaluated factors commute. Hence $|e^{it\lambda }|\le 1$ for all positive and negative $t$, forcing $\mathrm{Im}\lambda =0$. Thus Hermitian algebra elements have real Banach algebra spectrum.

For a normal C-star element $a$, commutation of $a,a^{\ast }$ givesThe middle equality of norms uses the C-star identity on the Hermitian algebra element $a^{\ast }a$. Iterating along powers $2^n$ and applying the spectral radius formula proves $r(a)=\Vert a\Vert$.

Now suppose $A$ is commutative and unital. Every maximal ideal is closed: if it were dense, it would contain an element within distance less than one of the identity, hence an invertible element by the Neumann series, which is impossible for a proper ideal. Its quotient is a complex Banach division algebra and is therefore $\mathbb{C}$ by the Gelfand-Mazur theorem. Maximal ideals thus give characters. Conversely, every character $\phi$ satisfies $\phi (a)\in {\sigma }_A(a)$, because applying it to an inverse of $a-\phi (a)1$ would give a contradiction. Characters are consequently contractive. The converse spectral inclusion follows by placing the proper ideal generated by $a-\lambda 1$ in a maximal ideal. We have provedThe character space ${\Phi }_A$ is a weak-star closed subset of the dual unit ball, characterized by $\phi (1)=1$ and $\phi (ab)=\phi (a)\phi (b)$. The Banach-Alaoglu theorem makes it compact Hausdorff. Define the Gelfand transform by $\hat{a}(\phi )=\phi (a)$. For Hermitian $h$, its values are real; writing $a=h+ik$ with both terms Hermitian shows $\widehat{a^{\ast }}=\overline{\hat{a}}$. In the commutative algebra every element is normal, soThe transform is therefore an isometric unital star-homomorphism and has closed range in $C({\Phi }_A)$. Its range separates characters by their definition and is closed under complex conjugation. The complex Stone-Weierstrass theorem makes that range dense, hence equal to $C({\Phi }_A)$. This proves the Commutative Gelfand--Naimark theorem:For a nonunital C-star algebra, its C-star unitization can be constructed without assuming an operator representation on a Hilbert space. Represent $A$ by left multiplication on itself, which is isometric because testing $L_a$ on $a^{\ast }/\Vert a\Vert$ gives $\Vert L_a\Vert =\Vert a\Vert$. Adjoin the identity operator and set $\Vert z\Vert =\Vert L_z\Vert$. For $z=a+\lambda 1$ and $b\in A$, the C-star identity in $A$ gives $\Vert zb{\Vert }^2=\Vert b^{\ast }{z}^{\ast }zb\Vert \le \Vert b\Vert \Vert L_{z^{\ast }z}b\Vert$. Consequently $\Vert L_z{\Vert }^2\le \Vert L_{z^{\ast }z}\Vert \le \Vert L_{z^{\ast }}\Vert \Vert L_z\Vert$. Applying this also to $z^{\ast }$ proves that the new involution is isometric and that its C-star identity holds. The extension by the identity is complete, since the isometric image of $A$ is closed and one adjoins just one dimension. Apply the unital result to a commutative $A^{+}$; the character $\infty$ given by $a+\lambda 1\mapsto \lambda$ has kernel $A$. Under the isomorphism, this kernel consists of the continuous functions vanishing at $\infty$. Thus $A\cong C_0({\Phi }_A)$ in the nonunital case, with locally compact character space ${\Phi }_A={\Phi }_{A^{+}}\setminus \{\infty \}$.

For a Hermitian $h$ in a possibly noncommutative algebra, apply this result to the commutative unital C-star subalgebra $C^{\ast }(1,h)$ in the unitization. Its Banach algebra spectrum at $h$ equals the ambient Banach algebra spectrum: both Banach algebra spectra are real, the complement of the ambient compact real Banach algebra spectrum is connected, and the resolvent-component result of Question 1 retains that whole complement in the smaller algebra. Characters of this subalgebra are determined by their values at $h$, so its character space is homeomorphic to $\sigma (h)$. We obtain the continuous functional calculus $C(\sigma (h))\to C^{\ast }(1,h)$.

Interpret ${\mathbb{R}}^{+}$ here as $[0,\infty )$. If $\sigma (h)\subseteq [0,\infty )$, apply this calculus to $t\mapsto \sqrt{t}$, obtaining a Hermitian $k$ with $k^2=h$. In a nonunital algebra this element remains in $A$ because the defining scalar function vanishes at zero. Conversely, if $h=k^2$ with $k=k^{\ast }$, spectral mapping theorem and the real Banach algebra spectrum of $k$ give $\sigma (h)=\{t^2:t\in \sigma (k)\}\subseteq [0,\infty )$. Hence nonnegative Banach algebra spectrum is equivalent to being the square of a Hermitian algebra element. A strict-positive interpretation would exclude $h=0$, and would not be equivalent to the assertion about an arbitrary Hermitian square.

Finally, use the two continuous real functions $t\mapsto \sqrt{\max (t,0)}$ and $t\mapsto \sqrt{\max (-t,0)}$ on $\sigma (x)$. Their calculus values $u,v$ are Hermitian, belong to $A$ also in the nonunital case, and satisfy

Put $K=\sigma (T)$ and use the continuous functional calculus $\pi :C(K)\to \mathcal{B}(H)$. It is a unital star-homomorphism taking the coordinate function to $T$. This follows from the commutative C-star theorem applied to $C^{\ast }(I,T,T^{\ast })$, together with spectral permanence for C-star subalgebras, which is among the permitted C-star results.

Take the Hilbert space inner product linear in its first variable. For a vector $\xi$, let $H_{\xi }=\overline{\{\pi (f)\xi :f\in C(K)\}}$. This cyclic subspace is invariant under every $\pi (f)$ and its adjoint, so it is reducing. The functional $f\mapsto ⟨\pi (f)\xi ,\xi ⟩$ is positive because $f\ge 0$ implies $\pi (f)=\pi (\sqrt{f}{)}^{\ast }\pi (\sqrt{f})$. It has, by the Riesz-Markov-Kakutani representation theorem, a finite regular positive Borel measure ${\mu }_{\xi }$ on $K$. The identitymakes $f\mapsto \pi (f)\xi$ an isometry on its quotient by the functions of zero $L^2$ norm. Density of continuous functions in $L^2({\mu }_{\xi })$ extends it to a unitary $U_{\xi }:L^2({\mu }_{\xi })\to H_{\xi }$. Multiplication by a continuous function intertwines with $\pi$ on this subspace.

Choose a maximal family of mutually orthogonal nonzero cyclic reducing subspaces. Their orthogonal sum is all of $H$: otherwise its reducing orthogonal complement contains a nonzero vector generating another such subspace. This argument does not require separability. For a bounded Borel measurable function $g$ on $K$, multiplication $M_g$ on every $L^2({\mu }_{\xi })$ is bounded with norm at most $\Vert g{\Vert }_{\infty }$. Define on that orthogonal sumMultiplication operators satisfy $M_{fg}=M_f{M}_g$, $M_{\overline{g}}=M_g^{\ast }$ and $M_1=I$. The same identities hold for their direct sums, and the norm bound is uniform in $\xi$. Thus ${\beta }_T$ is a norm-decreasing unital star-homomorphism on the algebra of actual bounded Borel measurable functions, and ${\beta }_T(Z)=T$ because it extends $\pi$. No quotient by a single unspecified measure is being substituted for that Borel algebra.

Choose the bounded Borel measurable square root $s(0)=0$ and $s(z)=|z{|}^{1/2}{e}^{i\mathrm{Arg}(z)/2}$ for $z\ne 0$, taking $\mathrm{Arg}\in [0,2\pi )$. Let $S={\beta }_T(s)$. ThenThus every bounded normal operator has a normal square root. The Borel branch is essential in general: on a circle winding about zero a continuous square-root branch need not exist.

A representation of a Banach algebra is a complex-linear multiplicative map $\pi :A\to {\mathrm{End}}_{\mathbb{C}}(X)$. A nonzero irreducible action of a unital algebra automatically has $\pi (1)=I$: the image of the idempotent $\pi (1)$ is a nonzero invariant subspace and hence is all of $X$. An algebraically irreducible representation of a Banach algebra is a nonzero action if it has no nonzero proper invariant submodule, whether closed or not. A normed representation of a Banach algebra has $\pi (a)$ bounded for each $a$ on a preassigned normed vector space $X$; continuity of $\pi$ as an operator-norm-valued map is a further conclusion. This must not be confused with topological irreducibility, which excludes only closed invariant subspaces. Unitizing the algebra extends a nonunital action by $\pi (a+\lambda 1)=\pi (a)+\lambda I$, so it is enough to discuss the unital case.

For $\xi \ne 0$, irreducibility gives $A\xi =X$. The annihilator $L_{\xi }=\{a:\pi (a)\xi =0\}$ is a maximal left ideal: an intermediate left ideal gives an intermediate submodule of $X$. It is closed by the Neumann-series argument for maximal left ideals. Consequently $A/L_{\xi }$ transports a complete quotient norm to $X$, and left multiplication is contractive in this norm. Every algebraically irreducible representation of a Banach algebra can therefore be realized continuously on a Banach space. This alone does not prove continuity for its preassigned norm.

The kernel of $\pi$ is the intersection of the closed left ideals $L_{\xi }$ and is a closed primitive ideal. The Jacobson radical is the intersection of all primitive ideals, equivalently the intersection of maximal left ideals. Thus these quotient representations detect semisimplicity. Equivalent algebra representations are related by a bijective module homomorphism.

The algebra of module endomorphisms is exactly $\mathbb{C}I$. Indeed, if a module endomorphism $D$ sends a fixed cyclic vector $\xi$ to $a\xi$, then $D(b\xi )=ba\xi$. It is induced by bounded right multiplication by $a$ on $A/L_{\xi }$, so is bounded for the quotient norm on an irreducible Banach module. Every nonzero module endomorphism is injective and surjective by irreducibility, and its inverse is bounded by the same argument. This commutant of an operator algebra is a closed division subalgebra of the bounded operators on this Banach module; the Gelfand-Mazur theorem makes it $\mathbb{C}I$.

The Jacobson density theorem now says that for finitely many linearly independent ${\xi }_1,\dots ,{\xi }_n$ and arbitrary ${\eta }_1,\dots ,{\eta }_n$, one element of $A$ sends all ${\xi }_j$ to ${\eta }_j$. Here is the induction behind it. The one-vector assertion is $A{\xi }_1=X$. Assuming the first $n-1$ coordinates can be prescribed, set $L=\{a:a{\xi }_j=0(j<n)\}$. Its image $L{\xi }_n$ is an invariant subspace. If it is $X$, it adjusts the last image without changing the first ones. If it is zero, the rule $(a{\xi }_1,\dots ,a{\xi }_{n-1})\mapsto a{\xi }_n$ is a well-defined module map $X^{n-1}\to X$. Each coordinate map is scalar by the module endomorphism result, forcing ${\xi }_n$ to be a linear combination of the earlier vectors, a contradiction. This proves the assertion.

We can now give Johnson's continuity argument with its crucial construction. If $X$ is finite dimensional, the closed kernel has finite codimension and $A/\ker \pi$ is finite dimensional, so $\pi$ is continuous. Suppose instead that $X$ is infinite dimensional. LetThis is an invariant submodule, because the orbit map of $\pi (b)\xi$ is the orbit map of $\xi$ composed with the bounded map $a\mapsto ab$. Thus either $Y=X$ or $Y=0$.

To rule out $Y=0$, choose linearly independent unit vectors ${\xi }_0,{\xi }_1,\dots$. There are elements $a_n\in A$ such that, with $c_n=a_n\cdots a_1$,For completeness, construct them in the canonical quotient-norm Banach module. At stage $n$ the current tail vectors are independent. In the closed left annihilator of its first vector, density permits arbitrary images of any finite list of the remaining vectors. The condition that finitely many such images are independent is open in this Banach subspace and dense: perturb any element by $t$ times an element prescribing independent images; a suitable determinant is a nonzero polynomial in $t$, with only finitely many exceptional values. The Baire category theorem intersects these open dense conditions for all initial finite tail lists. The resulting $a_n$ kills the first current vector and retains independence of the entire remaining tail. This is the countable annihilation sequence in an irreducible Banach module.

The gliding-hump continuity principle supplies the other ingredient: if $E,F$ are Banach spaces, $S:E\to F$ is linear, $T_j:E\to E$ and $U_n:F\to F_n$ are bounded, and $U_{n}S{T}_1\cdots T_m$ is continuous whenever $m>n$, then $U_{n}S{T}_1\cdots T_n$ is continuous eventually. The product form of this principle is recorded in Proposition 1.3 of Thomas's paper. Here is the contradiction mechanism. Rescale so $\Vert T_j\Vert ,\Vert U_n\Vert \le 1$ and put $P_m=T_1\cdots T_m$. If infinitely many diagonal maps are discontinuous, choose increasing $n_j$ and successively tiny $x_j$ soAlso choose $\Vert x_j\Vert \le 2^{-j}/(1+{\max }_{i<j}\Vert U_{n_i}S{P}_{n_i+1}\Vert )$. The convergent sum $x={\sum }_j{P}_{n_j}{x}_j$ has, after its $j$th term, a tail factoring through $P_{n_j+1}$. Applying that continuous composite bounds the tail contribution by one. The display forces $\Vert U_{n_j}Sx\Vert >j$, contradicting $\Vert U_{n_j}Sx\Vert \le \Vert Sx\Vert$. Only finite decompositions and the continuous tail composites are used; no unjustified interchange of a discontinuous map with an infinite sum occurs.

Apply this principle with $E=A$, $F=\mathcal{B}(\overline{X})$, where $\overline{X}$ is the completion in the original norm, and $S(a)$ the bounded extension of $\pi (a)$. Set $T_j(a)=a{a}_j$ and $U_n(R)=R{\xi }_n$. ThenFor $m>n$ this is zero, hence continuous. For $m=n$ it is the orbit map of a nonzero vector, hence discontinuous if $Y=0$. This contradicts the principle. Therefore $Y=X$.

Finally, apply the Uniform boundedness principle on the Banach space $A$ to the continuous maps $a\mapsto \pi (a)\xi$ indexed by $\Vert \xi \Vert \le 1$. They are pointwise bounded because each individual $\pi (a)$ is bounded in the original norm. It givesThis proves Johnson's continuity theorem for irreducible normed representations, including when the original normed vector space is incomplete. The quotient norm, countable density construction, and gliding hump explain the substantive steps rather than assuming the desired continuity in advance.