The existence of the Haar measure is a beautiful result that has a lot of applications. For example, one can prove using the Haar measure that the category of representations of a compact Lie group is semi-simple. Do you know any other nice applications of the Haar measure?
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
Here's how it works:
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
One important "application" is Peter-Weyl theorem. A good article can be found at here.