Book contents
- Frontmatter
- Contents
- Foreword
- Conventional notations and terminology
- PART I REPRESENTATIONS OF COMPACT GROUPS
- 1 Compact groups and Haar measures
- 2 Representations, general constructions
- 3 A geometrical application
- 4 Finite-dimensional representations of compact groups (Peter-Weyl theorem)
- 5 Decomposition of the regular representation
- 6 Convolution, Plancherel formula & Fourier inversion
- 7 Characters and group algebras
- 8 Induced representations and Frobenius-Weil reciprocity
- 9 Tannaka duality
- 10 Representations of the rotation group
- PART II REPRESENTATIONS OF LOCALLY COMPACT GROUPS
- Epilogue
- References
- Index
4 - Finite-dimensional representations of compact groups (Peter-Weyl theorem)
Published online by Cambridge University Press: 20 March 2010
- Frontmatter
- Contents
- Foreword
- Conventional notations and terminology
- PART I REPRESENTATIONS OF COMPACT GROUPS
- 1 Compact groups and Haar measures
- 2 Representations, general constructions
- 3 A geometrical application
- 4 Finite-dimensional representations of compact groups (Peter-Weyl theorem)
- 5 Decomposition of the regular representation
- 6 Convolution, Plancherel formula & Fourier inversion
- 7 Characters and group algebras
- 8 Induced representations and Frobenius-Weil reciprocity
- 9 Tannaka duality
- 10 Representations of the rotation group
- PART II REPRESENTATIONS OF LOCALLY COMPACT GROUPS
- Epilogue
- References
- Index
Summary
In sec. 2, we have shown that all compact groups have faithful representations. For that purpose, the regular representations were constructed and examined. However, these last representations are infinite dimensional in general (i.e. when G is infinite). In particular, this does not prove the existence of irreducible representations (different from the identity in dimension 1) for compact groups.
This section is devoted mainly to the proof of the following basic result (and its consequences).
Theorem (Peter-Weyl). Let G be a compact group. For any s ≠ e in G, there exists a finite dimensional, irreducible representation π of G such that π(S) ≠ id.
Since certain compact groups have no faithful finite dimensional representations (groups with arbitrarily small subgroups are in this class when infinite), this result is the best possible. This theorem is sometimes stated in the following terms: all compact groups haveenoughfinite dimensional representations, or: all compact groups have acomplete systemof (irreducible) finite dimensional representations. As we have already seen that all finite dimensional representations of compact groups are completely reducible, the theorem will already be proved if we show that for s ≠ e in G, there exists a finite dimensional representation π with π(s) ≠ id.
The proof of the preceding theorem is based on the spectral properties of compact hermitian operators in Hilbert spaces. Let us review the main points needed.
- Type
- Chapter
- Information
- Publisher: Cambridge University PressPrint publication year: 1983