Bourbaki

Exercise 2, § 3

Tag 03D1, permanent. Cite it as [Bourbaki, Tag 03D1].

Spectral Theories, V, p. 493

Let G be a locally compact group. For every function of positive type φ\varphi on G, let (πφ,xφ)(\pi_{\varphi}, x_{\varphi}) denote a cyclic Hilbert representation of φ\varphi.

a) Let φ1,φ2\varphi_1,\varphi_2 and φ3\varphi_3 be functions of positive type on G. If φ3=φ1+φ2\varphi_3=\varphi_1+\varphi_2, then there exists an injective G-morphism of πφ1\pi_{\varphi_1} into πφ3\pi_{\varphi_3}.

b) If φ\varphi is a constant non-zero function of positive type, then πφ\pi_{\varphi} is trivial of dimension 1.

c) For every unitary representation π\pi of G in a Hilbert space E, and for every x∈Ex\in E, there exists an injective G-morphism of πφ\pi_{\varphi} into π\pi, where φ(g)=⟨x∣π(g)x⟩\varphi (g) =\langle x|\pi (g)x\rangle.

d) Let H be a closed subgroup of G and φ\varphi a function of positive type on G. Let ψ\psi denote the restriction of φ\varphi to H; it is a function of positive type on H, and there exists an injective H-morphism of πψ\pi_{\psi} into ResHH(π)^H_H(\pi ).

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5.4. Not checked by a person.