The Peter-Weyl Theorem is a foundational result of harmonic analysis for compact topological groups, not necessarily abelian, first proved by Hermann Weyl together with his student Fritz Peter in 1927. It has three parts: the matrix coefficients of the group's irreducible representations are dense in the space of continuous functions on the group and in the space of square-integrable functions on it; every unitary representation of the group decomposes completely into irreducible pieces; and the group's regular representation on its own square-integrable functions decomposes as the direct sum of all its irreducible unitary representations, with the matrix coefficients of those representations forming an orthonormal basis. When the group is the circle group of unit complex numbers, this last statement reduces to the ordinary theory of Fourier series.
Facts
StatementFor a compact group G, the matrix coefficients of irreducible representations of G are dense in the space C(G) of continuous complex-valued functions on G, and thus also in the space L2(G) of square-integrable functions (first of the theorem's three parts). 1 Classification
Statement FormCharacterization Theorem 1 Connections
Sources
1. Peter-Weyl theorem (Wikipedia)
Intro, paragraph 2, sentence 3
The first part states that the matrix coefficients of irreducible representations of G are dense in the space C(G) of continuous complex-valued functions on G, and thus also in the space L2(G) of square-integrable functions.
Intro, paragraph 1, sentence 2
(Peter & Weyl 1927)
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.