Tích phân, VII, p. 93
Cho ( e 1 , e 2 , e 3 ) (e_1, e_2, e_3) ( e 1 , e 2 , e 3 ) là cơ sở chính tắc của R 3 \mathbf{R}^3 R 3 . Mọi ma trận σ ∈ S O ( 3 , R ) \sigma \in SO(3, \mathbf{R}) σ ∈ S O ( 3 , R ) sao cho σ ( e 3 ) ≠ e 3 \sigma(e_3) \neq e_3 σ ( e 3 ) = e 3 và σ ( e 3 ) ≠ − e 3 \sigma(e_3) \neq -e_3 σ ( e 3 ) = − e 3 đều có thể được viết theo một cách duy nhất dưới dạng
σ ( φ , ψ , θ ) = ( cos φ cos ψ − sin φ sin ψ cos θ − cos φ sin ψ − sin φ cos ψ cos θ sin φ sin θ sin φ cos ψ + cos φ sin ψ cos θ − sin φ sin ψ + cos φ cos ψ cos θ − cos φ sin θ sin ψ sin θ cos ψ sin θ cos θ ) ,
\sigma(\varphi, \psi, \theta) =
\begin{pmatrix}
\cos \varphi \cos \psi - \sin \varphi \sin \psi \cos \theta & -\cos \varphi \sin \psi - \sin \varphi \cos \psi \cos \theta & \sin \varphi \sin \theta \\
\sin \varphi \cos \psi + \cos \varphi \sin \psi \cos \theta & -\sin \varphi \sin \psi + \cos \varphi \cos \psi \cos \theta & -\cos \varphi \sin \theta \\
\sin \psi \sin \theta & \cos \psi \sin \theta & \cos \theta
\end{pmatrix},
σ ( φ , ψ , θ ) = cos φ cos ψ − sin φ sin ψ cos θ sin φ cos ψ + cos φ sin ψ cos θ sin ψ sin θ − cos φ sin ψ − sin φ cos ψ cos θ − sin φ sin ψ + cos φ cos ψ cos θ cos ψ sin θ sin φ sin θ − cos φ sin θ cos θ ,
trong đó 0 < θ < π 0 < \theta < \pi 0 < θ < π , 0 ≤ φ < 2 π 0 \leq \varphi < 2\pi 0 ≤ φ < 2 π , 0 ≤ ψ < 2 π 0 \leq \psi < 2\pi 0 ≤ ψ < 2 π (các góc Euler). Chứng minh rằng sin θ d θ d φ d ψ \sin \theta \, d\theta \, d\varphi \, d\psi sin θ d θ d φ d ψ là một độ đo Haar trên S O ( 3 , R ) SO(3, \mathbf{R}) S O ( 3 , R ) . (Đồng nhất không gian thuần nhất S O ( 3 , R ) / S O ( 2 , R ) SO(3, \mathbf{R})/SO(2, \mathbf{R}) S O ( 3 , R ) / S O ( 2 , R ) với S 2 S_2 S 2 , sử dụng Bài tập 8 và Định lý 3 của §2.)