Bourbaki

Bài tập 18, § 3

Nhãn 03DH, cố định. Trích dẫn là [Bourbaki, Tag 03DH].

Các lý thuyết phổ, V, p. 500

Cho G=SL(2,R)G =\mathbf{S}\mathbf{L}(2,\mathbf{R}). Ta ký hiệu N và P là các nhóm con

{(1t)}{(at)} \{(1t)\}\{(at)\}

N = ∣t∈R|t\in \mathbf{R}, P = −1∣a∈R∗,t∈R-_1|a\in \mathbf{R}_*, t\in \mathbf{R}

0 1 0a0a

của G. Cho π\pi là một biểu diễn unita của G trong một không gian Hilbert phức E. Giả sử tồn tại x∈Ex\in E sao cho π(n)x=x\pi (n)x=x với mọi n∈Nn\in N. (a) Không gian thuần nhất SL(2,R)/N\mathbf{S}\mathbf{L}(2,\mathbf{R})/N được đồng nhất với R2−{0}\mathbf{R}^2-\{0\} bởi ánh xạ g↦g\mapsto ge1ge_1 trong đó e1e_1 là vectơ nguyên tố của cơ sở chính tắc của R2\mathbf{R}^2, và không gian thuần nhất SL(2,R)/P\mathbf{S}\mathbf{L}(2,\mathbf{R})/P được đồng nhất với không gian con (R−{0})×{0}(\mathbf{R}-\{0\})\times \{0\} của SL(2,R)/N\mathbf{S}\mathbf{L}(2,\mathbf{R})/N. (b) Mọi hàm liên tục ff trên G sao cho f(ngn′)=f(g)f(ngn') =f(g) với mọi (n,n′)∈N2(n, n')\in N^2 đều thỏa mãn f(pgp′)=f(g)f(pgp') =f(g) với mọi (p,p′)∈P2(p, p')\in P^2. (Xem ff như một hàm liên tục φ\varphi trên R2−{0}\mathbf{R}^2-\{0\} bất biến dưới tác động tự nhiên của N và kiểm tra rằng nó là hằng trên SL(2,R)/P.\mathbf{S}\mathbf{L}(2,R)/P.)

(c) Ta có π(g)x=x\pi (g)x=x với mọi x∈Gx\in G.

Lời giải

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

Được trích dẫn bởi

Không có.

Trích dẫn đến

Không có.

Bản dịch máy từ tiếng Anh, bởi gpt-5-6-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.