Bourbaki

Bài tập 9, § 3

Tích phân, VII, p. 93

Cho (e1,e2,e3)(e_1, e_2, e_3) là cơ sở chính tắc của R3\mathbf{R}^3. Mọi ma trận σ∈SO(3,R)\sigma \in SO(3, \mathbf{R}) sao cho σ(e3)≠e3\sigma(e_3) \neq e_3 và σ(e3)≠−e3\sigma(e_3) \neq -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},

trong đó 0<θ<π0 < \theta < \pi, 0≤φ<2π0 \leq \varphi < 2\pi, 0≤ψ<2π0 \leq \psi < 2\pi (các góc Euler). Chứng minh rằng sin⁡θ dθ dφ dψ\sin \theta \, d\theta \, d\varphi \, d\psi là một độ đo Haar trên SO(3,R)SO(3, \mathbf{R}). (Đồng nhất không gian thuần nhất SO(3,R)/SO(2,R)SO(3, \mathbf{R})/SO(2, \mathbf{R}) với S2S_2, sử dụng Bài tập 8 và Định lý 3 của §2.)

Lời giải

Chưa có lời giải nào được viết.

Bản dịch máy từ tiếng Anh, bởi gpt-5-6. Chưa được người kiểm tra.