Corollary
Tag 03AW, permanent. Cite it as [Bourbaki, Tag 03AW].
Théories spectrales, chapter V, § 2. Représentations des groupes localement compacts
Let be an irreducible unitary representation of G and let be the restriction to Z of its central character. The representation is square-integrable modulo the center if and only if it is isomorphic to a subrepresentation of the representation of G in (resp. of the representation of G in ).
Let us prove the assertion concerning , the second being proved in a similar way.
Suppose first that there exists a subrepresentation E of the representation isomorphic to . Since the space E is nonzero, there exists a function whose class is not orthogonal to E. We have . Let denote the orthogonal projection of on E; it is a nonzero element of E. Let moreover be nonzero. The mapping is a matrix coefficient of . For every , we have since is orthogonal to E. By Lemma 8 of V, p. 418, the function belongs to (G), hence Proposition 6 implies that is square-integrable modulo the center.
Conversely, suppose that is square-integrable modulo the center. Let be a nonzero vector. By Prop. 7 and formula (10), the mapping is an injective G-morphism of into .
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.