Bourbaki

Exercise 13, § 3

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

Spectral Theories, V, p. 498

Let ϱ\varrho be an irreducible unitary representation of G in a Hilbert space E, and π\pi a unitary representation of G in F. Let x∈Ex\in E be of norm 1. Suppose that ϱ⩽π(\varrho \leqslant \pi (cf. exercise 11).

Let A⊂C(G)A\subset \mathscr{C}(G) denote the set of normalized diagonal matrix coefficients of π\pi, and A~\widetilde{A} the closed convex hull of A in L∞(G)L^{\infty}(G) for the weak topology.

Let x∈Ex\in E be of norm 1 and f:g↦⟨x∣ϱ(g)x⟩f:g\mapsto \langle x|\varrho (g)x\rangle the associated diagonal matrix coefficient.

a) The set A~\widetilde{A} is a compact convex set in L∞(G)L^{\infty}(G) and ff is an extreme point of A~\widetilde{A}.

b) The function ff belongs to the closure of A in A~\widetilde{A} for the weak topology.

c) The function ff belongs to the closure of A in C(G)\mathscr{C}(G) endowed with the topology of compact convergence.

d) The trivial representation of G in C\mathbf{C} is weakly contained in π\pi if and only if, for every compact subset C of G and every real ε>0\varepsilon >0, there exists x∈Fx\in F of norm 1 such that

supg∈C∥π(g)x−x∥<ε_{g\in C}\|\pi (g)x-x\|< \varepsilon.

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.