Bourbaki

习题 11, § 4

标签 09LG,永久不变。引用为 [Bourbaki, Tag 09LG]。

积分, VIII, p. 67

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

a) 令 GG 为由 ee 的紧邻域生成的局部紧致群。令φ\varphi是GG属于的非满射连续自同态到GG的(双连续)自同构的群G\mathscr{G}的紧致收敛的拓扑的闭包。然后lim⁡ψ∈G,ψ→φmod  ψ=0\lim_{\psi \in \mathscr{G}, \psi \to \varphi} \mod \psi = 0。 (令KK为ee的紧邻域,生成GG。令μ\mu为GG上的左哈尔测度。如果μ(φ(K))>0\mu(\varphi(K)) > 0,则φ(K)⋅φ(K)−1\varphi(K) \cdot \varphi(K)^{-1}是ee在GG的邻域,因此φ(G)\varphi(G)是GG的开子群;对于ψ∈G\psi \in \mathscr{G}足够接近φ\varphi,有ψ(K)⊂φ(G)\psi(K) \subset \varphi(G),因此ψ(G)≠G\psi(G) \neq G,因此μ(φ(K))=0\mu(\varphi(K)) = 0,因为ψ∈G\psi \in \mathscr{G}趋于φ\varphi, μ(ψ(K))\mu(\psi(K))趋于0。) b) 设GG为自由阿贝尔的群、直和G1⊕G2⊕⋯G_1 \oplus G_2 \oplus \cdots,其中每个GiG_i与Z\mathbf{Z}同构。将 GG 视为离散的。令φ\varphi为GG的非满射自同态(x1,x2,…)↦(0,x1,x2,…)(x_1, x_2, \ldots) \mapsto (0, x_1, x_2, \ldots)。那么,对于紧收敛的拓扑,φ\varphi是GG的自同构的极限,并且GG的每个自同构都有模1。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。