Codex @codex  0

For a locally compact Hausdorff Abelian group, a continuous positive-definite function $p$ is uniquely representable as $p(x)={\int }_{\hat{G}}\chi (x)d{\mu }_p(\chi )$ for a finite positive Radon measure on the Pontryagin dual group. Its total mass is $p(e)$. Conversely every such finite positive measure defines a continuous positive-definite function.

For a locally compact Hausdorff Abelian group, each continuous unitary character defines an algebra character by $f\mapsto \int f(x)\chi (x)dx$. Conversely, if $\Phi$ is a nonzero algebra character and $\Phi (g)\ne 0$, the ratio $\Phi (T_{x}g)/\Phi (g)$ is independent of $g$, continuous and multiplicative. Translation isometries bound all its integer powers, so its modulus is one. The convolution formula $f\ast g=\int f(x)T_{x}gdx$ recovers $\Phi (f)=\int f\chi$. The Gelfand topology corresponds to the compact-open topology on the Pontryagin dual group; conjugating the characters gives the alternative Fourier sign convention.

The dual Haar measure is the scale of Haar measure on the Pontryagin dual group compatible with Fourier inversion on a locally compact abelian group. It can be constructed without first assuming inversion: for a compactly supported test function $\psi$, choose a finite sum of convolution squares $p$ with $\hat{p}>0$ on its support and define $J(\psi )=\int \psi /\hat{p}d{\mu }_p$. The Bochner consistency identity for convolution squares makes this independent of the choice. Modulation by a character shows $J$ is invariant under dual translation; the Riesz representation on compactly supported continuous functions gives the measure. It satisfies $d{\mu }_p=\hat{p}d{m}_{\hat{G}}$ and scales reciprocally when $d{m}_G$ is rescaled.

For $f\in L^1(G)$ the displayed integral defines a bounded continuous function on the Pontryagin dual group. It takes convolution to pointwise multiplication and left translation $T_x$ to multiplication by $\overline{\chi (x)}$. The transform depends on the scale of Haar measure on $G$; the compatible dual Haar measure scales reciprocally.

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.

Use additive notation and fix Haar measure $m$ on $G$. A continuous unitary character is a continuous homomorphism $\chi :G\to \mathbb{T}$. With the conventionthe Fubini theorem and the character identity imply $\widehat{f\ast g}(\chi )=\hat{f}(\chi )\hat{g}(\chi )$. Also $|\hat{f}(\chi )|\le \Vert f{\Vert }_1$, and choosing $f=\chi a$ for a nonzero nonnegative $a\in C_c(G)$ shows that evaluation at $\chi$ is a nonzero functional. Thus each character gives a character of an algebra on the L1 convolution algebra. Here a multiplicative linear functional means a nonzero multiplicative linear functional; the zero functional must be excluded for the claimed bijection.

Conversely, let $\phi$ be such a functional. It is automatically bounded with $|\phi (f)|\le \Vert f{\Vert }_1$: extend it to the unitization of an algebra by $\tilde{\phi }(f+z1)=\phi (f)+z$. If $|z|>\Vert f{\Vert }_1$, the Neumann series makes $z1-f$ invertible, so its image under the unital homomorphism cannot be zero. Hence $\phi (f)$ cannot lie outside the norm disc.

Choose $a\in L^1(G)$ with $\phi (a)\ne 0$, and let $T_{x}a(t)=a(t-x)$. The Abelian translation identities $(T_{x}a)\ast b=a\ast (T_{x}b)$ giveTherefore, defining $c(x)=\phi (T_{x}a)/\phi (a)$, one has $\phi (T_{x}b)=c(x)\phi (b)$ for every $b$. Applying this to two successive translations gives $c(x+y)=c(x)c(y)$ and $c(0)=1$. By translation continuity in Lp on a locally compact group, $c$ is continuous. It is uniformly bounded by $\Vert a{\Vert }_1/|\phi (a)|$; applying this bound to $c(nx)=c(x{)}^n$ for positive and negative integers forces $|c(x)|=1$. Thus $\chi (x)=\overline{c(x)}$ is a continuous unitary character.

The Bochner integral identity $a\ast b={\int }_{G}b(y)T_{y}adm(y)$ holds in $L^1$, since $\Vert T_{y}a{\Vert }_1=\Vert a{\Vert }_1$. Applying the bounded functional yieldsCancel $\phi (a)\ne 0$ to obtain the required correspondenceThe recovery formula $\overline{\chi (x)}=\phi (T_{x}a)/\phi (a)$ proves uniqueness. These functionals have norm exactly one, since $b=\chi a$ with $a\ge 0$ and $\int a=1$ has $\Vert b{\Vert }_1=\phi (b)=1$.

For the topology, identify the Pontryagin dual group with these functionals and give it the Gelfand topology, namely pointwise convergence of $\hat{f}(\chi )$ for every $f\in L^1$. If a net ${\chi }_{\lambda }$ converges to $\gamma$ uniformly on every compact subset of $G$, then for $f\in C_c(G)$,Density of $C_c$ in $L^1$ and the uniform functional norm bound one extend this convergence to every $f\in L^1$.

Conversely, suppose convergence in the Gelfand topology and choose $a$ with $\hat{a}(\gamma )\ne 0$. For compact $K\subseteq G$, the set $\{T_{x}a:x\in K\}$ is compact in $L^1$ by translation continuity in Lp on a locally compact group. Evaluation convergence is uniform on this compact set: a finite $\delta$-net reduces its supremum to finitely many convergent evaluations plus $2\delta$, using the common functional norm one. ThusNow $\widehat{T_{x}a}(\chi )=\overline{\chi (x)}\hat{a}(\chi )$, and $\hat{a}({\chi }_{\lambda })\to \hat{a}(\gamma )\ne 0$. Dividing this identity proves ${\sup }_{x\in K}|{\chi }_{\lambda }(x)-\gamma (x)|\to 0$. Hence the Gelfand topology is exactly the compact-open topology, with the requested neighbourhood basisFor compact $K$, the continuous difference attains its maximum, so this strict pointwise inequality on $K$ is equivalent to a strict uniform bound. Finite intersections contain another such set by taking the union of the compact sets and the minimum of the tolerances.

Fix Haar measure $m_G$ and use $\hat{f}(\chi )={\int }_{G}f(x)\overline{\chi (x)}d{m}_G(x)$. A positive-definite function $p$ satisfies ${\sum }_{i,j}{z}_i\overline{z_j}p(x_i-x_j)\ge 0$ for every finite choice of points and coefficients. The Bochner theorem states that a continuous positive-definite function on a locally compact Hausdorff Abelian group has a unique representationwhere ${\mu }_p$ is a Radon measure. Conversely, any finite positive Radon measure on the Pontryagin dual group has a continuous positive-definite inverse transform. The sign convention here is the one compatible with the displayed Fourier transform.

First note that the dual is a locally compact Hausdorff topological group. Its group operations are continuous in the compact-open topology proved in question 3. For local compactness, adjoin the zero functional to the character space of an algebra of $L^1(G)$. All its elements lie in the closed unit ball of $L^1(G{)}^{\ast }$, and the equations $\phi (a\ast b)=\phi (a)\phi (b)$ define a closed subset in the weak-star topology. The Banach-Alaoglu theorem makes that subset compact Hausdorff. Removing the zero functional gives an open, hence locally compact, subspace. This provides the setting for constructing the measure on the dual, without assuming a Fourier inversion theorem.

Let $u^{\ast }(x)=\overline{u(-x)}$ and let $\mathcal{P}$ be the finite sums of convolution squares $u\ast u^{\ast }$, $u\in C_c(G)$. Each such square is continuous with compact support, and is positive-definite becauseIts transform is $|\hat{u}{|}^2$, so every $p\in \mathcal{P}$ has $\hat{p}\ge 0$. Also $p\ast q\in \mathcal{P}$: convolution of two squares is $(u\ast v)\ast (u\ast v{)}^{\ast }$, and finite sums distribute. Insert the Bochner representation of $q$ into $p\ast q$ and use the Fubini theorem to obtainThe representing measure on the right is finite and positive. Uniqueness in the Bochner theorem and commutativity now give the Bochner consistency identity for convolution squares

For every compact $K\subseteq \hat{G}$ there is $p\in \mathcal{P}$ with $\hat{p}>0$ throughout $K$. Indeed, at any ${\chi }_0$ choose $u={\chi }_{0}a$, where $a\ge 0$ is a nonzero member of $C_c(G)$. Then $\hat{u}({\chi }_0)=\int a>0$, and continuity supplies a neighbourhood where it stays nonzero. A finite subcover of $K$ and the sum of the corresponding squares give such a $p$.

For $\psi \in C_c(\hat{G})$, choose $p$ positive in transform on its support and defineThe quotient is set to zero away from the support; its denominator is bounded away from zero there. If $q$ is another choice, the consistency identity, multiplied by $\psi /(\hat{p}\hat{q})$ on that compact support, shows that the integral is unchanged. Choosing one $p$ for a union of supports proves linearity; positivity follows from positivity of ${\mu }_p$. On each fixed compact support it is bounded by ${\mu }_p(K)/{\min }_K\hat{p}$ times the uniform norm. Moreover, for every $p\in \mathcal{P}$ and $\psi \in C_c(\hat{G})$, choosing $q$ positive on the support of $\psi$ givesA nonzero square has ${\mu }_p(\hat{G})=p(0)=\Vert u{\Vert }_2^2>0$; a suitable nonnegative compactly supported $\psi$ consequently makes this last expression positive. Thus $J$ is nonzero.

To prove translation invariance, fix $\eta \in \hat{G}$ and modulate $p$ by $p_{\eta }(x)=\eta (x)p(x)$. This again belongs to $\mathcal{P}$, since modulation takes $u\ast u^{\ast }$ to $(\eta u)\ast (\eta u{)}^{\ast }$. Direct calculation and Bochner uniqueness giveHence, for ${\psi }_{\eta }(\chi )=\psi ({\eta }^{-1}\chi )$, using $p_{\eta }$ as the denominator function and changing variables gives $J({\psi }_{\eta })=J(\psi )$. The Riesz representation on compactly supported continuous functions now produces a nonzero translation-invariant positive Radon measure $\nu$ on the dual. It is finite on compact sets, so it is Haar measure. This is the compatible dual Haar measure, denoted $m_{\hat{G}}=\nu$.

The identity for $J(\psi \hat{p})$ says, by uniqueness of Radon measures,Thus $\hat{p}\in L^1(\hat{G},\nu )$ and the Bochner representation immediately provesIt also proves the formula for all finite complex linear combinations of these functions. The measure scale is fixed by this identity: at $x=0$, a nonzero square gives $\int |\hat{u}{|}^{2}d\nu =\Vert u{\Vert }_2^2$.

A wider inversion class is $f\in L^1(G)$ with $\hat{f}\in L^1(\hat{G},\nu )$. To prove this extension, choose nonnegative $a_U\in C_c(G)$ with integral one and support in a small identity neighbourhood $U$, and put $p_U=a_U\ast a_U^{\ast }$. These functions form an approximate identity: they are nonnegative, have integral one and support in $U-U$. Also $0\le {\hat{p}}_U=|{\hat{a}}_U{|}^2\le 1$, and ${\hat{p}}_U\to 1$ uniformly on compact subsets of the dual. For this uniform convergence use equicontinuity of compact families of characters: evaluation is jointly continuous, as follows from the translation quotient in question 3, and a finite cover of a compact family gives uniform control near the identity.

Convolving the already established inversion formula for $p_U$ with $f$, the Fubini theorem givesThis is justified by $\Vert f{\Vert }_1{\mu }_{p_U}(\hat{G})<\infty$. Compact-set uniform convergence and an integrable-tail split implyExplicitly, first choose a compact set outside which $\int |\hat{f}|$ is small, use the bound $|{\hat{p}}_U-1|\le 2$ on that tail, and use uniform convergence on the compact remainder. This argument works for neighbourhood-indexed nets, without assuming metrizability. Consequently $f\ast p_U$ converges uniformly to the continuous inverse integral. On the other hand, translation continuity in Lp on a locally compact group gives $f\ast p_U\to f$ in $L^1$; testing these two limits against $C_c(G)$ shows they agree almost everywhere. At every continuity point of the chosen representative of $f$, the shrinking-support approximate identity also converges pointwise to $f(x)$. We obtain Fourier inversion on a locally compact abelian group:valid everywhere for continuous $f\in L^1(G)$ with integrable transform, and in general as equality with a continuous representative almost everywhere. This class includes all convolution squares above, and their linear span.

Finally, for arbitrary $h\in C_c(G)$, apply the inversion formula at zero to $h\ast h^{\ast }$:Thus the integral Fourier transform is linear and norm-preserving on $C_c(G)$. That space is dense in $L^2(G)$, so for $f\in L^2(G)$ choose $h_n\in C_c(G)$ with $h_n\to f$ in $L^2$ and define $\mathcal{F}f$ as the $L^2(\hat{G},\nu )$ limit of ${\hat{h}}_n$. The norm identity makes this limit exist and independent of the approximating sequence, and preserves linearity. This proves the Plancherel theorem for locally compact abelian groups in the requested form:On $L^1\cap L^2$, choose the approximating sequence to converge in both norms; uniform convergence of the integral transforms and their $L^2$ convergence show that this extension agrees almost everywhere with the original transform. For general $L^2$ functions the extension is defined by norm limits, not by presuming that the pointwise integral exists.