Codex @codex  0

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.

It suffices first to treat unital algebras and a unital homomorphism. A surjective homomorphism between unital algebras automatically preserves the identity. If $B=0$, continuity is immediate. In the nonunital case, extend to the forced unitizations by $T^{+}(a+\lambda 1)=T(a)+\lambda 1$. This is still surjective and the unitization of a semisimple algebra is semisimple: its radical projects to zero in its scalar quotient, and its remaining intersection with the original algebra is its original radical. Continuity of the extension implies continuity of the original map.

An algebra homomorphism decreases the spectral radius, even without any continuity assumption, because it takes an inverse of $\lambda 1-a$ to an inverse of $\lambda 1-T(a)$. Suppose $a_n\to 0$ in $A$ and $T(a_n)\to b$ in $B$. Fix any $c\in B$ and choose $u,v\in A$ with $T(u)=b$, $T(v)=c$. PutConsider the polynomial $q_n(z)=T((1-z)w_n+zw)=(1-z)d_n+zd$. Its value at one is exactly $d$. On the outer circle $|z|=R$,On the inner circle $|z|=1/R$, spectral-radius decrease givesApplying part (i) in $B$ and then letting $n\to \infty$, with $R$ fixed, givesThis holds for every $R>1$, so $r_B(cb)=0$ for every $c\in B$.

This forces $b$ into the Jacobson radical. To see the criterion directly, if $b$ were outside a maximal left ideal $L$, then $L+Bb=B$, so $1=l+cb$ for some $l\in L$, $c\in B$. The equality $r_B(cb)=0$ makes $1-cb$ invertible, but this element equals $l\in L$, impossible in a proper left ideal. Hence $b$ lies in every maximal left ideal. Since $B$ is semisimple, $b=0$.

We have shown that the separating space of $T$ is zero. If $a_n\to a$ and $T(a_n)\to y$, apply the result to $a_n-a$ to obtain $y=T(a)$. Its graph is closed, and the closed graph theorem now provesThe crucial estimate uses part (i) with an exactly fixed central value; it does not assume the false general assertion that the spectral radius is continuous under norm limits.

We first extend the scalar Hadamard three-circle theorem to a holomorphic Banach-space-valued function $F$. Apply its inequality to $\ell (F(z))$ for every bounded linear functional $\ell$ of norm at most one, and use the Hahn-Banach theorem to recover the norm. For the radii $1/R,1,R$ this givesNow take $F(z)=p(z{)}^{2^n}$. Even for noncommuting coefficients this is an algebra-valued holomorphic polynomial. Taking the $2^{-n}$th power givesOn each boundary circle the continuous functions $f_n(z)=\Vert p(z{)}^{2^n}{\Vert }^{1/2^n}$ decrease, by submultiplicativity, to $r_A(p(z))$ by the spectral radius formula. Their maxima decrease to the supremum of this pointwise limit. To justify that passage without assuming continuity of the spectral radius, take maximizing points along a convergent subsequence on the compact circle. For any fixed $k$, all later $f_n$ are bounded by $f_k$; continuity of $f_k$ therefore bounds the limiting maxima by $f_k$ at the limiting point. Taking the infimum over $k$ gives the desired upper bound, while the reverse bound is immediate.

Passing to the limit proves the spectral-radius three-circle inequality at the geometric mean:For a nonunital algebra, use its unitization of an algebra; the spectral radius of an original algebra element is unchanged. Zero boundary suprema cause no difficulty in the decreasing-limit argument.

Work deterministically with nonnegative arrivals. Write $S_x(t)={\sum }_{k=1}^t{x}_{-k}$ for integer $t\ge 1$, and $S_x(0)=0$. The relevant metric isThis is the weighted cumulative-input topology for a slotted queue. It is a genuine norm on the ambient space of sequences with finite value: zero cumulative differences force every individual difference to vanish, since $x_{-k}=S_x(k)-S_x(k-1)$. Every input in the specified set $A$ has finite norm, because its long prefixes are bounded by $\lambda t$ and there are only finitely many earlier prefixes.

Use the conventional net-input slot boundary finite-buffer workload map, whose recursion is the clipped Lindley recursionArriving work in a slot is available to that slot's service, and the observed queue state is after service and upper clipping. This fixes the slot convention explicitly. The queue size $Q_B(x)$ is obtained by starting in the distant past and taking the present workload. We first prove that, under the stated strict drift condition, this is uniquely defined independently of the initial state.

Fix $x\in A$ and write $d_0=C-\lambda >0$. Choose a finite integer $T$ so large thatThen $S_x(T)-CT<-B$. Start at time $-T$ with a full buffer $q_{-T}=B$. The trajectory must hit zero by time zero. Otherwise lower clipping is never used, so for nonnegative lost-work amounts ${\ell }_t$ the total recursion would givecontradicting nonnegativity. If zero is attained even at the last update the desired conclusion still holds.

The update $F_B$ is monotone in the initial workload. Couple all starting values in $[0,B]$ using the same arrivals. When the trajectory starting at $B$ reaches zero, all smaller trajectories must also be zero, and they remain identical thereafter. Thus the present queue depends only on the last $T$ slots, not on any earlier state or arrivals. This is finite-memory continuity of a finite-buffer queue. In particular it proves the existence and uniqueness of $Q_B(x)$ without assuming a random stationary law.

The same memory horizon works in a neighborhood of $x$. If $\delta =\Vert x-y\Vert <d_0/2$, thenThe full-buffer trajectory for $y$ therefore also reaches zero within this horizon. Both $Q_B(x)$ and $Q_B(y)$ can consequently be calculated from initial workload zero at time $-T$, even though their respective reset times need not coincide.

Clipping to $[0,B]$ is Lipschitz continuous with constant one, soIterating from the common initial value zero givesThe cumulative-input norm bounds each summand:Summing proves the explicit local estimateGiven $\epsilon >0$, choose $\Vert x-y\Vert <\min \{(C-\lambda )/2,\epsilon /T^2\}$. Then the workload difference is less than $\epsilon$. Since $x\in A$ was arbitrary, the queue size function is continuous on $(A,\Vert \cdot \Vert )$.

The argument also handles the alternative slot ordering that clips arrivals to the buffer before serving them: its update is a composition of monotone one-Lipschitz clipping and service maps, and negative total net input forces a reset. Measuring immediately after arrivals instead adds one finite-coordinate update, which is likewise continuous in this norm. The essential point is strict subcritical drift and loss of dependence on the remote past, rather than incorrectly replacing a finite-buffer history by the minimum of $B$ and an infinite-buffer workload.

First $N(A)$ is finite: by Cauchy-Schwarz, $\Vert Ax{\Vert }_2\le ({\sum }_{ij}{a}_{ij}^2{)}^{1/2}\Vert x{\Vert }_2$. It is nonnegative and absolutely homogeneous. If $N(A)=0$, every $A{e}_j=0$, so every column is zero and $A=0$; the converse is immediate. The triangle inequality for the Euclidean norm gives $N(A+B)\le N(A)+N(B)$ after taking suprema. Thus $N$ is a norm.

For any vector $x$, rescaling gives $\Vert Ax{\Vert }_2\le N(A)\Vert x{\Vert }_2$. Applying this twice givesFurthermore $|a_{ij}|\le \Vert A{e}_j{\Vert }_2\le N(A)$, proving the requested strict entry bound when $N(A)<\epsilon$.

For a polynomial in matrix entries, expand each monomial at $A+H$. The terms involving exactly one entry of $H$ give a linear map $Df(A)[H]$, with coefficients polynomial in the entries of $A$. Every remaining term has at least two entries of $H$ and is $O(N(H{)}^2)$ for $N(H)\le 1$, because $|h_{ij}|\le N(H)$. This proves differentiability. Its derivative is continuous as an operator-valued function: each coefficient is continuous, and for $N(H)\le 1$ every $h_{ij}$ is bounded by one, so the operator-norm difference is bounded by the sum of the coefficient differences. Coordinate continuity follows from the same entry bound. Hence every such polynomial function is continuously differentiable.

In the Leibniz expansion of $\det (I+H)$, the identity permutation supplies $1+{\sum }_i{h}_{ii}$ plus terms of degree at least two. Any nonidentity permutation moves at least two indices, so each of its terms has at least two $H$ entries. ConsequentlyIf $A$ is invertible, multiplicativity of the determinant and the preceding expansion giveThe adjugate identity gives $\mathrm{adj}A=\det (A)A^{-1}$. Thus $d^{\prime }(A)[H]=\mathrm{tr}((\mathrm{adj}A)H)$ for invertible $A$.

For singular $A$, take invertible $A_r\to A$, using the permitted density result. Both $d^{\prime }$ and the adjugate entries are continuous polynomial expressions, so taking limits for every fixed $H$ proves the derivative of the determinant formula on all matrices:Here the standard adjugate is the transpose of the cofactor array, as required by $(\mathrm{adj}A)A=(\det A)I$. In components this derivative is ${\sum }_{ij}{\mathrm{cof}}_{ij}(A)h_{ij}$, also valid at singular matrices.

The integral is finite because a continuous function on a compact closed interval is bounded. Nonnegativity is immediate, and absolute homogeneity of a norm follows from $|cf(x)|=|c||f(x)|$. The pointwise triangle inequality givesFor positive definiteness, if $f(x_0)\ne 0$, continuity gives a relative interval of positive length on which $|f(x)|\ge |f(x_0)|/2$. Its integral is positive, including when $x_0$ is an endpoint. Thus $\Vert f\Vert =0$ implies $f=0$, and this is a norm on the given vector space.

For the given sequence,The last bound tends to zero as both indices tend to infinity, proving the Cauchy sequence property. Moreover, the sequence converges to the zero function in this norm:There is no conflict with the nonzero endpoint values: convergence in this norm does not imply pointwise convergence.

Let $T$ be the isometry. Since $T(0)=0$, it preserves norms, and the polarization identity applied to distances gives $⟨T(x),T(y)⟩=⟨x,y⟩$. For an orthonormal basis $e_1,e_2,e_3$, the vectors $T(e_i)$ are again an orthonormal basis, andExpanding in that basis proves $T(x)={\sum }_i⟨x,e_i⟩T(e_i)$. Hence $T$ is a linear map represented by an orthogonal matrix $Q$.

A reflection in a hyperplane with nonzero normal $v$ is $H_v(x)=x-2⟨x,v⟩v/⟨v,v⟩$. If $Q{e}_1\ne e_1$, choose $v=Q{e}_1-e_1$. Because $\Vert Q{e}_1\Vert =\Vert e_1\Vert$, substitution shows $H_{v}Q{e}_1=e_1$. If they agree, no reflection is needed. The resulting orthogonal transformation fixes $e_1$ and preserves its orthogonal complement. Apply the same construction there to fix $e_2$; the second normal is perpendicular to $e_1$, so the first vector remains fixed. Finally the restriction to the remaining line is either the identity or negation; in the latter case a third reflection, normal to $e_3$, fixes it. Reversing these steps writes $Q$ as a product of at most three reflections, each in a plane through the origin. This proves the three-dimensional case of the Cartan–Dieudonné theorem.

Three reflections are sometimes necessary. The map $-I$ is the product of the three coordinate-plane reflections. Its determinant is $-1$, excluding zero or two reflections. A single plane reflection fixes a two-dimensional vector subspace, whereas $-I$ fixes only zero, excluding one. Thus the bound is sharp.

Let $C$ be a cotype 2 constant of $Y$. All bounded linear operators from ${\ell }_{\infty }^N$ have finite p-summing norms: writing $Tx={\sum }_{k=1}^N{x}_k{y}_k$ and using the triangle inequality in the finite-family ${\ell }^p$ norm gives ${\pi }_p(T)\le {\sum }_k\Vert y_k\Vert$. Thus applying the Pietsch factorization theorem below is legitimate.

First let $a_4={\pi }_4(T)$, and use the Pietsch factorization theorem to choose a probability measure $\mu$ on the dual unit ball $B_{{\ell }_1^N}$. For a finite family $x_j\in {\ell }_{\infty }^N$, the cotype 2 inequality and Pietsch factorization theorem domination giveThe Jensen inequality bounds the final bracket by $[\int \mathbb{E}|{\sum }_j{\epsilon }_j\varphi (x_j){|}^{4}d\mu {]}^{1/4}$. For real or complex scalars,For complex scalars, paired-index expansion gives $\mathbb{E}|{\sum }_j{\epsilon }_j{b}_j{|}^4=2({\sum }_j|b_j{|}^2{)}^2+|{\sum }_j{b}_j^2{|}^2-2{\sum }_j|b_j{|}^4$, which is at most the displayed bound by the triangle inequality. For real scalars this reduces to $3(\sum b_j^2{)}^2-2\sum b_j^4$. Since $\mu$ is a probability measure on the dual unit ball, we obtainTaking the least constant proves ${\pi }_2(T)\le K{\pi }_4(T)$ with $K=3^{1/4}C$, uniformly in $N$.

We next prove a summing-norm interpolation estimate using coordinate truncation. Put $a={\pi }_2(T)$ and $M=\Vert T\Vert$, assuming $T\ne 0$. The Pietsch factorization theorem for $p=2$ gives a measure $\mu$ on $B_{{\ell }_1^N}$. The Cauchy-Schwarz inequality givesSet ${\nu }_i=\int |{\varphi }_i|d\mu$. Their sum is at most one; adding the missing mass to one coordinate, if necessary, makes $({\nu }_i)$ a probability vector and preserves domination. HenceWrite $r=({\sum }_i{\nu }_i|x_i{|}^4{)}^{1/4}$. For $t>0$, clip each coordinate of $x$ at magnitude $t$, obtaining $z_i=x_i\min (1,t/|x_i|)$, with $z_i=0$ if $x_i=0$. Set $w=x-z$. Then $\Vert z{\Vert }_{\infty }\le t$ andThe triangle inequality and the two different bounds on $T$ now give $\Vert Tx\Vert \le Mt+a{r}^2/t$. For $r>0$, take $t=r\sqrt{a/M}$; if $r=0$, domination already gives $Tx=0$. ConsequentlySumming fourth powers over any family $(x_j)$ givessince each coordinate evaluation belongs to the dual unit ball. Therefore ${\pi }_4(T)\le 2\sqrt{M{\pi }_2(T)}$. Combine this with the first estimate:The zero operator also satisfies this inequality. Both constants depend only on $Y$, through its cotype 2 constant, and not on $N$.

Finally let $E\subset Y$ have dimension $N$, with its inherited norm. The permitted finite-dimensional identity result is ${\pi }_2(I_E)=\sqrt{N}$. The inclusion $J:E\to Y$ is an isometric embedding, so ${\pi }_2(J)={\pi }_2(I_E)$. For every Banach space isomorphism $S:{\ell }_{\infty }^N\to E$, apply the preceding estimate to $T=JS$ and the ideal property of absolutely p-summing operators:The Banach-Mazur distance is the infimum of this last product over $S$, and therefore

Let $G$ be locally compact, Abelian and Hausdorff, and fix a Haar measure. Write $T_{x}f(y)=f(x^{-1}y)$ and use convolutionThe L1 group algebra is a commutative Banach algebra. Here a group character means a continuous homomorphism $\chi :G\to \mathbb{T}$, not the trace of an arbitrary group representation. A Gelfand character is a nonzero multiplicative complex-linear functional on the convolution algebra. We use the conventionWith the alternative standard Fourier convention involving $\overline{\chi }$, one simply conjugates every group character in this identification.

For such $\chi$, the functional is bounded by $\Vert f{\Vert }_1$, and Fubini's theorem, the substitution $y=xz$, and the homomorphism law giveIt is nonzero: if $u\ge 0$ is nonzero in $C_c(G)$, then $f=\overline{\chi }u$ has ${\Phi }_{\chi }(f)=\int u>0$.

Conversely let $\Phi$ be an algebra character. It is automatically bounded, with $|\Phi (f)|\le \Vert f{\Vert }_1$. Indeed, extend it to the unitization by $\tilde{\Phi }(f+\lambda 1)=\Phi (f)+\lambda$. If $|\Phi (f)|>\Vert f{\Vert }_1$, the Neumann series makes $f-\Phi (f)1$ invertible, whereas its character value is zero, contradicting multiplicativity of an invertible element and its inverse.

Choose $g$ with $\Phi (g)\ne 0$ and put $\chi (x)=\Phi (T_{x}g)/\Phi (g)$. Commutativity of the group gives $(T_{x}f)\ast g=f\ast (T_{x}g)$; applying $\Phi$ yieldsThus the ratio is independent of the chosen $g$. Applying the relation successively to $T_x{T}_{y}g=T_{xy}g$ gives $\chi (xy)=\chi (x)\chi (y)$, and $\chi (e)=1$. In particular it never vanishes.

The translation map $x\mapsto T_{x}g$ is continuous in $L^1$. For $g\in C_c(G)$, translated supports near a fixed $x$ lie in one compact set; continuity on that set and a finite cover give uniform convergence of the translated values, hence $L^1$ convergence because the compact set has finite Haar measure. For general $g$, approximate by $C_c(G)$ and use $\Vert T_{x}g{\Vert }_1=\Vert g{\Vert }_1$. Therefore $\chi$ is continuous. For all integers $n$,Positive powers exclude modulus greater than one; negative powers exclude modulus less than one. Hence $|\chi (x)|=1$.

Finally, the $L^1$-valued convolution formula $f\ast g=\int f(x)T_{x}gdx$ and boundedness of $\Phi$ giveCancel $\Phi (g)$ to obtain the displayed formula for every $f$. Different characters give different functionals: if their continuous difference is nonzero at a point, integration against a suitably phased compactly supported test function in a small neighbourhood detects that difference. Thus the correspondence is bijective.

It also identifies the character space of an Abelian L1 group algebra topologically with the Pontryagin dual group. For a net converging uniformly on compact subsets in $\hat{G}$, convergence of the functionals follows first for compactly supported $f$, then for all $L^1$ functions using the common norm bound one. Conversely suppose the functionals converge in the Gelfand topology. Choose $g$ whose limiting character value is nonzero; its values are eventually bounded away from zero. For compact $K\subset G$, the set $\{T_{x}g:x\in K\}$ is compact in $L^1$. Convergence of uniformly bounded linear functionals is uniform on this compact set: a finite norm-net reduces it to convergence at finitely many functions, with the common bound controlling the approximation error. The ratio formula then gives uniform convergence of the group characters on $K$. This proves equality with the compact-open topology, without assuming first countability of $G$.

For later use, these transforms form a self-adjoint subalgebra dense in $C_0(\hat{G})$. The set of algebra characters together with the zero functional is weak-star compact by Banach-Alaoglu theorem and the closed multiplicativity equations. Removing zero gives a locally compact Hausdorff character space; each evaluation $\Phi \mapsto \Phi (f)$ vanishes at infinity, since its modulus-at-least-$ϵ$ set is compact and avoids zero. Transforms separate characters, and none vanishes identically at a given character. They are closed under conjugation because $f^{\ast }(x)=\overline{f(x^{-1})}$ satisfies ${\Phi }_{\chi }(f^{\ast })=\overline{{\Phi }_{\chi }(f)}$. The locally compact Stone-Weierstrass theorem therefore gives the claimed density.

For a locally compact Hausdorff Abelian group $G$, Bochner's theorem states that a continuous positive-definite function $p$ has a unique representationwhere $\nu$ is a finite Radon measure on the Pontryagin dual group. Conversely every such measure gives a continuous positive-definite function. Here positive definiteness means ${\sum }_{i,j}{c}_i\overline{c_j}p(x_i{x}_j^{-1})\ge 0$ for all finite choices. The Abelian and continuity hypotheses are part of the theorem; the representation is not claimed for arbitrary non-Abelian groups or discontinuous functions.

First prove existence without presupposing the representation. The elementary consequences of positive definiteness give $p(x^{-1})=\overline{p(x)}$, $p(e)\ge 0$ and $|p(x)|\le p(e)$. If $p(e)=0$, then $p=0$ and take $\nu =0$. Otherwise form finite formal linear combinations of symbols $[x]$, with sesquilinear formlinear in its first variable. Positive definiteness makes this form positive semidefinite. The Cauchy-Schwarz inequality for such a form shows that null vectors are orthogonal to everything, so quotienting by them gives an inner product space. Complete it to a Hilbert space $H$. Since $G$ is Abelian, translation $U_a[x]=[ax]$ preserves the form and extends to a unitary operator. Its inverse is $U_{a^{-1}}$, so $(U_a)$ is a unitary representation. With $v=[e]$,The translated copies of $v$ span a dense subspace. MoreoverFinite sums and density, together with $\Vert U_a\Vert =1$, give strong continuity on all of $H$. This constructs the cyclic unitary representation of a positive-definite function directly.

For $f\in L^1(G)$ define the integrated unitary representation $\pi (f)=\int f(x)U_{x}dx$, with the integral applied to each vector. Its norm is at most $\Vert f{\Vert }_1$. Fubini gives $\pi (f\ast g)=\pi (f)\pi (g)$, and inversion in the Abelian group gives $\pi (f^{\ast })=\pi (f{)}^{\ast }$. Thusis a commutative C-star algebra. It is nondegenerate: choose nonnegative compactly supported functions $u_V$ of Haar integral one with supports shrinking to the identity element. Strong continuity impliesfor every $w\in H$. These form an approximate identity in the representation. Neighbourhoods may form a net, since no metrizability is being assumed here.

The Commutative Gelfand--Naimark theorem identifies $\mathcal{A}$ with $C_0(X)$, where $X$ is its character space. The positive vector functional $\omega (B)=⟨Bv,v⟩$ becomes a bounded positive functional on $C_0(X)$, so the Riesz-Markov-Kakutani representation theorem supplies a finite positive Radon measure $\rho$ withThese general representation theorems are applied to the explicitly constructed algebra; they are not an assumption of Bochner's conclusion.

For each $\theta \in X$, the functional $f\mapsto \theta (\pi (f))$ is a nonzero algebra character of $L^1(G)$, since $\pi (L^1(G))$ is dense in $\mathcal{A}$. By Question 3 it has the form $\int f(x){\chi }_{\theta }(x)dx$. The resulting map $\iota :X\to \hat{G}$ is continuous: pointwise convergence of $\theta$ on $\mathcal{A}$ gives convergence on all $\pi (f)$, and the topological character identification in Question 3 gives compact-open convergence of ${\chi }_{\theta }$. Push $\rho$ forward under $\iota$ to obtain $\nu$. This finite measure is Radon: compact subsets approximating the measure of any inverse-image Borel set have compact images, giving inner regularity; finiteness and complements then give outer regularity.

To recover $p(x)$, note that $U_x\pi (u_V)=\pi (T_x{u}_V)\in \mathcal{A}$. HenceThe left side tends to $p(x)$. On the right, $|{\Phi }_{\chi }(u_V)|\le 1$ and ${\Phi }_{\chi }(u_V)\to 1$ uniformly on compact subsets of $\hat{G}$. For completeness, the evaluation $(\chi ,x)\mapsto \chi (x)$ is jointly continuous: near $x_0$ restrict $x$ to a compact neighbourhood, control the character uniformly there, and use continuity of the fixed character. A finite cover of a compact set of characters then makes those characters equicontinuous at $e$, proving the stated uniform convergence. Continuity of $\iota$ gives uniform convergence on compact subsets of $X$, and the finite Radon measure $\rho$ makes the remaining tails arbitrarily small. Thus passage to the limit is valid even for a net, andTaking $x=e$ also gives the required total mass $p(e)$.

Conversely, a finite positive Radon measure givesIts transform is continuous. Indeed, choose a compact set of characters with arbitrarily small measure outside it; joint continuity of evaluation gives uniform continuity in $x$ near the specified point on that compact set, while the outside contribution is bounded by twice its measure. This proves continuity without using an unjustified dominated-convergence assertion for arbitrary nets.

Finally suppose two finite Radon measures have the same transform. Multiply by $f\in L^1(G)$ and integrate over $G$. Fubini shows that the measures agree on every function $\chi \mapsto {\Phi }_{\chi }(f)$. Question 3 showed that these functions are uniformly dense in $C_0(\hat{G})$. Boundedness of both measure functionals extends equality to all of $C_0(\hat{G})$; uniqueness in the Riesz representation theorem gives equality of the measures. This proves existence, uniqueness and the converse, completing Bochner's theorem. In particular $p(e)=1$ corresponds exactly to a probability measure on the dual group.

For a local field $F$ containing the Nth roots of unity, fix the Local Artin map with arithmetic Frobenius convention. The Hilbert norm residue symbol can be defined byIt is independent of the chosen root, continuous and bimultiplicative, factors through $F^{\times }/(F^{\times }{)}^N$ in each variable, and gives a nondegenerate pairing on that finite group. It satisfies $(a,b{)}_{F,N}=(b,a{)}_{F,N}^{-1}$ and $(a,1-a{)}_{F,N}=1$ for $a\ne 1$. Its norm interpretation isFor $N=2$ the quadratic Hilbert symbol is symmetric and sign-valued. It is also characterized by the existence of a nonzero solution of $z^2=a{x}^2+b{y}^2$. Moreover $(a,-a{)}_F=1$, and therefore $(a,a{)}_F=(a,-1{)}_F$. We now compute both the square-class groups and the pairing explicitly.

For odd $p$, write $a=p^{\alpha }u$ with $u\in {\mathbb{Z}}_p^{\times }$. An element is a square exactly when $\alpha$ is even and the residue of $u$ is a square in ${\mathbb{F}}_p^{\times }$. Necessity follows by reduction; sufficiency follows from the simple-root form of Hensel lemma applied to $X^2-u$, since $2x$ is then a unit. If $\eta$ is any unit with nonsquare residue, this givesThe nonsquare unit defines an unramified quadratic extension. Its field norms include every unit and have even valuation, as follows from the local norm calculation below. Thus $(\eta ,u{)}_p=1$ for every unit, but $(\eta ,p{)}_p=-1$. Finally $(p,p{)}_p=(p,-1{)}_p=(-1/p)$, by symmetry and the preceding unit calculation. Bimultiplicativity now proves explicit quadratic Hilbert symbols over the p-adic numbers:Here the factors are Legendre symbols of the nonzero residues. The formula works for arbitrary integer valuations $\alpha ,\beta$, since only their parity matters.