Every locally compact group has left-invariants haar measures. In particular, the compact groups $\operatorname{O}(n)$ and $\operatorname{U}(n)$ have them.
I was wondering if there is a realization of such a measure on these groups, or its integral operator. Of course, right invariant ones are as good.