English
拓扑 结构与代数结构 有多种有用的结合方式。连接这两类结构的主要要求是,表示复合 代数 律的函数关于施加在底层集合 上的拓扑 是连续的。在本节中,我们将群论与拓扑 结合起来。
一个 拓扑群(topological group) 是集合 G ,它既是一个群 ,又是一个豪斯多夫拓扑空间 ,使得由 ψ ( g , h ) = g h − 1 定义的映射 ψ : G × G → G 连续。若底层的拓扑 是离散的,则拓扑群 G 称为 离散群(discrete group) 。
由 ϕ ( g , h ) = g h 和 τ ( g ) = g − 1 定义的映射 ϕ : G → G 与 τ : G → G 都是连续的。因为根据定理 10.3 ,由 i ( h ) = ι e ( h ) = ( e , h ) 定义的单射 i : G → G × G 是连续的。因此,映射 τ 是连续的,因为它是连续映射 的复合 ,τ = ψ ∘ i 。由于 ϕ ( g , h ) = ψ ( g , τ ( h )) ),立即推出 ϕ 也是连续映射 。
若 ϕ 与 τ 是连续映射 ,则证明 ψ 是连续的。
加法群 R n ,其中“乘积 ”为向量加法
ϕ ( x , y ) = ( x 1 , … , x n ) + ( y 1 , … , y n ) = ( x 1 + y 1 , … , x n + y n )
而逆映射 为
τ ( x ) = − x = ( − x 1 , … , − x n ) ,
关于 R n 上的欧几里得拓扑 构成一个阿贝尔拓扑群 。n 环面 T n = R n / Z n 也是一个阿贝尔拓扑群 ,其中群 复合 为模 1 加法。
M n ( R ) 中的 n × n 实矩阵 集合 具有一个拓扑 ,它与 R n 2 上的欧几里得拓扑 同胚 。行列式映射 det : M n ( R ) → R 显然是连续的,因为 det A 是 A 的分量 的多项式函数。因此,一般线性群 G L ( n , R ) 是 M n ( R ) 的开子集 ,因为它是开集 R ˙ = R − { 0 } 在行列式映射 下的逆 像。如果给 G L ( n , R ) 赋予 M n ( R ) 中的诱导相对拓扑 ,那么映射 ψ 在分量 中读作,
( ψ ( A , B ) ) ij = k = 1 ∑ n A ik ( B − 1 ) k j .
这些函数是连续函数,因为 ( B − 1 ) ij 是分量 B ij 的有理多项式函数,且分母 det B 不为零。
群 H 的子群 G 连同其相对拓扑 称为 G 的 拓扑子群(topological subgroup) 。为证明任意子群 H 关于相对拓扑 成为拓扑子群 ,设 U ′ = H ∩ U ,其中 U 是 G . 的任意开子集 。由映射 ϕ 的连续性,对任意一对满足 g h ∈ U ′ ⊂ U 的点 g , h ∈ H ,存在 G 的开集 A 和 B ,使得 A × B ⊂ ϕ − 1 ( U ) 。由此推出 ϕ ( A ′ × B ′ ) ⊂ H ∩ U ,其中 A ′ = A ∩ H ,B ′ = B ∩ H ,并且 ϕ ∣ H 的连续性是直接的。类似地,逆映射 τ 限制 在 H 上时连续。若 H 是 G 中的闭集 ,则称其为 G 的 闭子群(closed subgroup) 。
对每个 g ∈ G ,令左平移 L g : G → G 为映射
L g ( h ) ≡ L g h = g h ,
如例 2.25 中所定义。映射 L g 是连续的,因为它是两个连续映射 的复合 ,L g = ϕ ∘ ι g ,其中 ι g : G → G × G 是单射 映射 ι g ( h ) = ( g , h )
(见定理 10.3 )。它显然是单射 ,因为 g h = g h ′ ⟹ h = g − 1 g h ′ = h ′ ,且其逆元 为连续映射 L g − 1 。因此 L g 是同胚 。类似地,由 R g h = h g 定义的每个右平移 R g : G → G 都是 G 的同胚 ,由 C g h = g h g − 1 = L h ∘ R h − 1 ( g ) 定义的内自同构 C g : G → G 也是如此。
单位元连通分支
若 G 是拓扑群 ,则我们用 G 0 表示包含恒等元 e , 的连通分支 ,简称为 单位元分支(component of the identity) 。
定理 10.20 · 单位元连通分支是闭正规子群 (The identity component is a closed normal subgroup)
设 G 为一个拓扑群 ,G 0 为单位元分支 。则 G 0 是 G 的闭正规子群 。
证明
由定理 10.17 ,集合 G 0 g − 1 是连通的,因为它是连通集合 在右平移 g − 1 下的连续像。若 g ∈ G 0 ,则 e = g g − 1 ∈ G 0 g − 1 。因此 G 0 g − 1 是包含单位元 e , 的闭连通子集 ,故必为 G 0 的子集 。于是我们有 G 0 G 0 − 1 ⊆ G 0 ,这表明 G 0 是 G 的子群 。由于它是 G 的连通分支 ,它是闭集 。因此,G 0 是 G 的闭子群 。
对任意 g ∈ G ,集合 g G 0 g − 1 是连通的,因为它是 G 0 在内自同构 h ↦ C g ( h ) 下的像。由于该集合 包含单位元 e , ,我们有 g G 0 g − 1 ⊆ G 0 . ,并且 G 0 是正规子群 。
拓扑空间 X 称为 局部连通(locally connected) ,如果 X 的每一点的每个邻域 都包含一个连通开邻域 。拓扑群 G 是局部连通 的,如果它在单位元 e , 处局部连通 ,因为若 V 是 e 的连通开邻域 ,则 g V = L g V 是任意选定点 g ∈ G 的连通开邻域 。若 K 是群 G 的任意子集 ,则称 G 的包含 K 的最小子群 为由 K 生成的子群 。它是 G 的所有包含 K 的子群 的交集 。
定理 10.21 · 单位元连通邻域生成单位分支 (Connected identity neighbourhoods generate the identity component)
在任何局部连通 群 G 中,单位元分支 G 0 由单位元 e 的任意连通邻域 生成。
证明
设 V 为 e , 的任意连通邻域 ,而 H 为由 V 生成的子群 。对任意 g ∈ H ,由于 L g 是同胚 ,左陪集 g V = L g V ⊂ H 是 g 的邻域 。因此 H 是 G 的开子集 。另一方面,若 H 是 G 的开子群 ,则它也是闭的,因为它是 G 中所有不同于 H 本身的 H 的陪集 之并集 的补集。于是 H 既开又闭。因此它是单位元 的连通分支 G 0
设 H 是拓扑群 G 的闭子群 ,我们可以赋予商空间 G / H 由典范投影映射 π : g ↦ g H 诱导的自然拓扑 。这是使 π 为连续映射 的 G / H 上最细的拓扑 。在此拓扑 中,一族陪集 U ⊆ G / H 为开集 当且仅当它们的并集 是 G 的开子集 。显然,π 关于此拓扑 是一个 开映射(open map) ,这意味着对于所有开集 V ⊆ G ,π ( V ) 都是开集 。
定理 10.22 · 子群与商空间的连通性判别 (Connectedness from a subgroup and its quotient)
若 G 是拓扑群 ,且 H 是闭连通子群 ,使得商空间 G / H 连通,则 G 连通。
证明
假设 G 不连通。于是存在开集 U 和 V ,使得 G = U ∪ V , ,且 U ∩ V = ∅ 。由于 π 是开映射 ,集合 π ( U ) 和 π ( V ) 在 G / H 中是开集 ,并且 G / H = π ( U ) ∪ π ( V ) 。但 G / H 连通,π ( U ) ∩ π ( V ) = ∅. ,因此存在一个陪集 g H ∈ π ( U ) ∩ π ( V ) 。作为 G 的子集 ,该陪集 显然同时与 U 和 V 相交,并且 g H = ( g H ∩ U ) ∪ ( g H ∩ V ) ,这与 g H 连通的事实矛盾(因为它是连通集 H 在连续映射 L g 下的像)。因此 G 连通。
一般线性群 G L ( n , R ) 不是连通的,因为行列式映射 det : G L ( n , R ) → R 的像为 R ˙ = R − { 0 } ,而这是一个不连通集合 。单位元 I 的分量 G 0 是行列式为 > 0 的 n × n 矩阵 的集合 ,并且分支群是离散的
G L ( n , R ) / G 0 ≅ { 1 , − 1 } = Z 2 .
然而需注意,复一般线性群 G L ( n , C ) 是连通的,这可以从任意非奇异复矩阵 的若尔当标准形 能够连续形变为单位矩阵 I 这一事实推测出来。
特殊正交群 S O ( n ) 都是连通的。这可以通过对维数 n 的归纳来证明。显然 S O ( 1 ) = { 1 } 是连通的。假设 S O ( n ) 是连通的。第 19 章例 19.10 将证明 S O ( n + 1 ) / S O ( n ) 同胚 于 n 维球面 S n 。由于这是一个连通集合 (见例 10.19 ),由定理 10.22 可知 S O ( n + 1 ) 是连通的。通过归纳可知,对所有 S O ( n ) ,n = 1 , 2 , … 都是连通群 。然而正交群 O ( n ) 不是连通的,其单位元分支 为 S O ( n ) ,而其余正交矩阵 的行列式为 − 1 。
类似地,S U ( 1 ) = { 1 } 和 S U ( n + 1 ) / S U ( n ) ≅ S 2 n − 1 ,由此可知所有特殊酉群 S U ( n ) 都是连通的。根据定理 10.22 ,酉群 U ( n ) 也全都是连通的,因为 U ( n ) / S U ( n ) = S 1 是连通的。
问题
若 G 0 是局部连通 拓扑群 G 的单位元分支 ,则商群 G / G 0 称为 G 的 分支群(group of components) 。证明分支群 关于由自然投影映射 π : g ↦ g G 0 诱导的拓扑 构成一个离散拓扑 群