Compact-group and Lie foundations
- Compact Haar measure, scalar and Banach integration, coefficient approximation and strict Hilbert-module averages. Structured source.
- Lie exponential and closed subgroups. Structured source.
Lesson 18 Appendix A proves compact-group representation separation and uniform matrix-coefficient approximation.