English

拓扑结构与代数结构有多种有用的结合方式。连接这两类结构的主要要求是,表示复合代数律的函数关于施加在底层集合上的拓扑是连续的。在本节中,我们将群论与拓扑结合起来。

一个 拓扑群(topological group) 是集合 ,它既是一个群,又是一个豪斯多夫拓扑空间,使得由 定义的映射 连续。若底层的拓扑是离散的,则拓扑群 称为 离散群(discrete group)。

由 和 定义的映射 与 都是连续的。因为根据定理 10.3,由 定义的单射 是连续的。因此,映射 是连续的,因为它是连续映射的复合,。由于 ),立即推出 也是连续映射。

证明 是 的同胚。

若 与 是连续映射,则证明 是连续的。

加法群 ,其中“乘积”为向量加法

而逆映射为

关于 上的欧几里得拓扑构成一个阿贝尔拓扑群。 环面 也是一个阿贝尔拓扑群,其中群复合为模 1 加法。

中的 实矩阵集合具有一个拓扑,它与 上的欧几里得拓扑同胚。行列式映射 : 显然是连续的,因为 是 的分量的多项式函数。因此,一般线性群 是 的开子集,因为它是开集 在行列式映射下的逆像。如果给 赋予 中的诱导相对拓扑,那么映射 在分量中读作,

这些函数是连续函数,因为 是分量 的有理多项式函数,且分母 不为零。

群 的子群 连同其相对拓扑称为 的 拓扑子群(topological subgroup)。为证明任意子群 关于相对拓扑成为拓扑子群,设 ,其中 是 的任意开子集。由映射 的连续性,对任意一对满足 的点 ,存在 的开集 和 ,使得 。由此推出 ,其中 ,,并且 的连续性是直接的。类似地,逆映射 限制在 上时连续。若 是 中的闭集,则称其为 的 闭子群(closed subgroup)。

对每个 ,令左平移 为映射

如例 2.25 中所定义。映射 是连续的,因为它是两个连续映射的复合,,其中 是单射映射

(见定理 10.3)。它显然是单射,因为 ,且其逆元为连续映射 。因此 是同胚。类似地,由 定义的每个右平移 都是 的同胚,由 定义的内自同构 也是如此。

单位元连通分支

若 是拓扑群,则我们用 表示包含恒等元 的连通分支,简称为 单位元分支(component of the identity)。

定理 10.20 · 单位元连通分支是闭正规子群 (The identity component is a closed normal subgroup)

设 为一个拓扑群, 为单位元分支。则 是 的闭正规子群。

证明

由定理 10.17,集合 是连通的,因为它是连通集合在右平移 下的连续像。若 ,则 。因此 是包含单位元 的闭连通子集,故必为 的子集。于是我们有 ,这表明 是 的子群。由于它是 的连通分支,它是闭集。因此, 是 的闭子群。

对任意 ,集合 是连通的,因为它是 在内自同构 下的像。由于该集合包含单位元 ,我们有 ,并且 是正规子群。

拓扑空间 称为 局部连通(locally connected),如果 的每一点的每个邻域都包含一个连通开邻域。拓扑群 是局部连通的,如果它在单位元 处局部连通,因为若 是 的连通开邻域,则 是任意选定点 的连通开邻域。若 是群 的任意子集,则称 的包含 的最小子群为由 生成的子群。它是 的所有包含 的子群的交集。

定理 10.21 · 单位元连通邻域生成单位分支 (Connected identity neighbourhoods generate the identity component)

在任何局部连通群 中,单位元分支 由单位元 的任意连通邻域生成。

证明

设 为 的任意连通邻域,而 为由 生成的子群。对任意 ,由于 是同胚,左陪集 是 的邻域。因此 是 的开子集。另一方面,若 是 的开子群,则它也是闭的,因为它是 中所有不同于 本身的 的陪集之并集的补集。于是 既开又闭。因此它是单位元的连通分支

设 是拓扑群 的闭子群,我们可以赋予商空间 由典范投影映射 诱导的自然拓扑。这是使 为连续映射的 上最细的拓扑。在此拓扑中,一族陪集 为开集当且仅当它们的并集是 的开子集。显然, 关于此拓扑是一个 开映射(open map),这意味着对于所有开集 , 都是开集。

定理 10.22 · 子群与商空间的连通性判别 (Connectedness from a subgroup and its quotient)

若 是拓扑群,且 是闭连通子群,使得商空间 连通,则 连通。

证明

假设 不连通。于是存在开集 和 ,使得 ,且 。由于 是开映射,集合 和 在 中是开集,并且 。但 连通,,因此存在一个陪集 。作为 的子集,该陪集显然同时与 和 相交,并且 ,这与 连通的事实矛盾(因为它是连通集 在连续映射 下的像)。因此 连通。

一般线性群 不是连通的,因为行列式映射 : 的像为 ,而这是一个不连通集合。单位元 的分量 是行列式为 的 矩阵的集合,并且分支群是离散的

然而需注意,复一般线性群 是连通的,这可以从任意非奇异复矩阵的若尔当标准形能够连续形变为单位矩阵 这一事实推测出来。

特殊正交群 都是连通的。这可以通过对维数 的归纳来证明。显然 是连通的。假设 是连通的。第 19 章例 19.10 将证明 同胚于 维球面 。由于这是一个连通集合(见例 10.19),由定理 10.22 可知 是连通的。通过归纳可知,对所有 , 都是连通群。然而正交群 不是连通的,其单位元分支为 ,而其余正交矩阵的行列式为 。

类似地, 和 ,由此可知所有特殊酉群 都是连通的。根据定理 10.22,酉群 也全都是连通的,因为 是连通的。

问题

若 是局部连通拓扑群 的单位元分支,则商群 称为 的 分支群(group of components)。证明分支群关于由自然投影映射 诱导的拓扑构成一个离散拓扑群