Bourbaki

Bài tập 6, § 2

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

Cho GG là một nhóm địa phương compact, G1,G2,G3G_1, G_2, G_3 là các nhóm con đóng sao cho G3⊂G1∩G2G_3 \subset G_1 \cap G_2. Giả sử rằng G,G1,G2,G3G, G_1, G_2, G_3 là đơn môđula, và rằng G1/G3G_1/G_3 có độ đo toàn phần hữu hạn (đối với mọi độ đo bất biến dưới G1G_1). Gọi λ,μ,ν\lambda, \mu, \nu là các độ đo bất biến trên G/G1,G/G2,G2/G3G/G_1, G/G_2, G_2/G_3, và φ\varphi là ánh xạ chính tắc của GG lên G/G1G/G_1. Cho f∈K(G/G1)f \in \mathscr{K}(G/G_1). Chứng minh rằng

a∫G/G1f(u)dλ(u)=∫G/G2dμ(x˙)∫G2/G3f(φ(xξ))dν(ξ˙) a \int_{G/G_1} f(u) d\lambda(u) = \int_{G/G_2} d\mu(\dot{x}) \int_{G_2/G_3} f(\varphi(x\xi)) d\nu(\dot{\xi})

(x˙=xG2, ξ˙=ξG3)(\dot{x} = xG_2,\ \dot{\xi} = \xi G_3 ), trong đó aa là một hằng số độc lập với ff.

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-mini. Chưa được người kiểm tra. Mô hình này là bản rút gọn của mô hình đã viết phần còn lại của ngôn ngữ này.