I try to understand the proof of Lemma 4.2. in the paper 'The Euler equations as a differential inclusion' by De Lellis and Székelyhidi. In the proof they use the Haar measure on the unit sphere $\mathbb{S}^{n-1}$ in $\mathbb{R}^n$. How is the Haar measure defined here?
↧