积分, VIII, p. 67
a) 令 G 为由 e 的紧邻域生成的局部紧致群。令φ是G属于的非满射连续自同态到G的(双连续)自同构的群G的紧致收敛的拓扑的闭包。然后limψ∈G,ψ→φmodψ=0。 (令K为e的紧邻域,生成G。令μ为G上的左哈尔测度。如果μ(φ(K))>0,则φ(K)⋅φ(K)−1是e在G的邻域,因此φ(G)是G的开子群;对于ψ∈G足够接近φ,有ψ(K)⊂φ(G),因此ψ(G)=G,因此μ(φ(K))=0,因为ψ∈G趋于φ, μ(ψ(K))趋于0。) b) 设G为自由阿贝尔的群、直和G1⊕G2⊕⋯,其中每个Gi与Z同构。将 G 视为离散的。令φ为G的非满射自同态(x1,x2,…)↦(0,x1,x2,…)。那么,对于紧收敛的拓扑,φ是G的自同构的极限,并且G的每个自同构都有模1。