Corollary 3
Tag 01GG, permanent. Cite it as [Bourbaki, Tag 01GG].
Lie Groups and Lie Algebras, chapter IX, § 7. Irreducible representations of connected compact Lie groups
The map which associates to any continuous central function on G the function induces an isomorphism from the space of central representative functions on G to the space of anti-invariant elements of ; it extends by continuity to an isomorphism of Hilbert spaces from ZL to the subspace of anti-invariant elements of .
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
Cites
Nothing.