Remark
Tag 03DX, permanent. Cite it as [Bourbaki, Tag 03DX].
Théories spectrales, chapter V, § 4. Représentations des groupes compacts
When G is finite, Schur’s orthogonality relation (resp. the orthogonality formula for characters) coincides with that of A, VIII, p. 399 (resp. that of A, VIII, p. 400, prop. 4). On the other hand, the “second orthogonality relation” for the characters of finite groups (A, VIII, p. 402, formula (32)) has no exact analogue when G is compact.
For finite G, the particular case of the second orthogonality formula corresponding to the conjugacy class of is the formula
Card G1 dim( ) 10 sisinon which is also interpreted as the calculus of the character of the regular representation of G, and which is equivalent to the formula Tr() for every function from G into .
Let G again be any compact group. For every function (G), the endomorphism of coincides with the endomorphism , and it is of finite trace (lemma 4 of V, p. 407 and corollary 2 of III, p. 33). By loc. cit. and Theorem 2 of IV, p. 177, one also has
Tr() .
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.