Corollary 7
Tag 039C, permanent. Cite it as [Bourbaki, Tag 039C].
Théories spectrales, chapter V, § 1. Représentations unitaires
Let be an irreducible unitary representation of a topological group G in a Hilbert space E. There exists a continuous homomorphism of the center C of G into such that for all . In particular, if G is commutative, one has dim(E) = 1.
For , the mapping belong to Hom; it is therefore of the form for a certain complex number (prop. 6). Since is a unitary mapping, one has . Moreover, since is a homomorphism, the mapping is a homomorphism. Let us fix in E; the mapping of C into is continuous, and therefore the homomorphism is continuous.
Finally, if G is commutative, one has C = G, hence for all in G; every subspace of dimension 1 of E is then a subrepresentation of , and since is irreducible, the space E must be of dimension 1.
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.