Bourbaki

Bài tập 11, § 4

Tích phân, VIII, p. 67

(a) Cho GG là một nhóm địa phương compact sinh bởi một lân cận compact của ee. Cho φ\varphi là một tự đồng cấu liên tục không toàn ánh của GG thuộc bao đóng, đối với tôpô hội tụ compact, của nhóm G\mathscr{G} các tự đẳng cấu (song liên tục) của GG. Khi đó lim⁡ψ∈G,ψ→φmod  ψ=0\lim_{\psi \in \mathscr{G}, \psi \to \varphi} \mod \psi = 0. (Cho KK là một lân cận compact của ee sinh ra GG. Cho μ\mu là một độ đo Haar trái trên GG. Nếu μ(φ(K))>0\mu(\varphi(K)) > 0, thì φ(K)⋅φ(K)−1\varphi(K) \cdot \varphi(K)^{-1} là một lân cận của ee trong GG, do đó φ(G)\varphi(G) là một nhóm con mở của GG; với ψ∈G\psi \in \mathscr{G} đủ gần φ\varphi, ta có ψ(K)⊂φ(G)\psi(K) \subset \varphi(G), do đó ψ(G)≠G\psi(G) \neq G, điều này là vô lý. Vì vậy μ(φ(K))=0\mu(\varphi(K)) = 0. Khi ψ∈G\psi \in \mathscr{G} tiến tới φ\varphi, μ(ψ(K))\mu(\psi(K)) tiến tới 0.) b) Cho GG là một nhóm Abel tự do, một tổng trực tiếp G1⊕G2⊕⋯G_1 \oplus G_2 \oplus \cdots, trong đó mỗi GiG_i đẳng cấu với Z\mathbf{Z}. Xét GG như là rời rạc. Cho φ\varphi là tự đồng cấu không toàn ánh (x1,x2,…)↦(0,x1,x2,…)(x_1, x_2, \ldots) \mapsto (0, x_1, x_2, \ldots) của GG. Khi đó φ\varphi là giới hạn, đối với tôpô hội tụ compact, của các tự đẳng cấu của GG, và mọi tự đẳng cấu của GG có môđun bằng 1.

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-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.