Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Do you have an answer to the initial question? Is there a connection between the Haar measure of the big group and the Haar measure of a compact subgroup?
I was going to ask just that. The answer given uses compactness of the weak star topology, and the first question is still not answered: what is the connection between the Haar measure on the group and the Haar measure on one of its compact subgroups, if there is any?
Yes, it is in the chapter on Haar Measure in Katznelson, Harmonic Analysis, but the theory presented there I couldn't find anything that would help me solve this.