商拓扑与商空间

设 \(X\) 为一个拓扑空间，\(A\) 为一个不一定是 \(X\) 子集的集合。设 \(p:X\to A\) 是一个满射。若且唯若 \(p^{-1}(U)\) 在 \(X\) 中为开集，则称集合 \(U\) 在 \(A\) 中为开集。

这个定义看起来有些抽象，但它实际上描述了一种非常重要的思想：我们可以利用一个已有的拓扑空间 \(X\)，在另一个集合 \(A\) 上构造出新的拓扑结构。

在这种情况下，\(A\) 上得到的拓扑称为商拓扑（quotient topology）。

商拓扑的核心规则十分简单：

一个集合在商空间中是开集，当且仅当它在原空间中的原像是开集。

换句话说，我们判断一个集合是否开放，并不是直接观察它本身，而是回到原空间 \(X\) 中，检查对应的原像是否开放。

由此得到的集合 \(A\) 称为商空间（quotient space），而映射 \(p\) 称为商映射（quotient map）。

通常，人们也会把这种拓扑称为"由映射 \(p\) 诱导的商拓扑"。

需要注意的一个关键点

学习商拓扑时，很多人容易产生一个误解。

• 如果一个集合在商空间 \(A\) 中是开集，那么它的原像一定在 \(X\) 中是开集。
• 但是反过来，原空间 \(X\) 中开集的像并不一定是商空间中的开集。

原因在于映射 \(p\) 可能会把多个点合并在一起，从而改变空间原有的拓扑结构。

什么是商空间？

从本质上说，商空间是通过"识别"或"合并"某些点而得到的新空间。

数学上通常会先给定一个等价关系，然后把属于同一个等价类的点视为同一个点。经过这种处理后，原来的空间会变成一个新的拓扑空间，这就是商空间。

因此，商空间可以理解为一种通过"粘合点"的方式构造出来的新空间。

为什么要这样做？ 因为许多复杂的几何对象都可以通过对简单空间进行识别和粘合得到。借助商拓扑，我们能够利用简单空间的性质来研究更加复杂的空间结构。这也是商拓扑在代数拓扑、微分几何和现代数学中如此重要的原因。

从几何直观理解商拓扑

与其死记定义，不如先从一个形象的例子开始。

假设你手里有一张正方形纸片。

如果把其中两条相对的边粘合在一起，就会得到一个圆柱面。

接着，再把圆柱面两端的圆周边界粘合起来，就会得到一个甜甜圈形状的曲面。

在拓扑学中，这种曲面称为环面（torus）。

从正方形到圆柱面，再从圆柱面到环面，整个过程实际上就是不断把某些边界点识别为同一个点。

这正是商拓扑的基本思想。

通过将空间中的某些部分"粘合"在一起，我们能够从简单的空间构造出全新的拓扑空间。

一个经典例子

下面来看一个最经典的商拓扑例子。

考虑区间

\[ X=[0,1] \]

并赋予它通常拓扑。

在这个空间中：

• 整个空间 \(X\) 和空集 \(\emptyset\) 都是开集。
• 任意开区间 \((a,b)\) 都是开集。

可以把 \(X\) 看成一条线段，两端分别是点 \(0\) 和点 \(1\)。

现在，我们把线段的两个端点 \(0\) 和 \(1\) 视为同一个点。

为此定义映射

$$ p(x)= \begin{cases} p(0) & \text{当 } x=0 \text{ 或 } x=1\\ \\ x & \text{当 } 0

也就是说，端点 \(0\) 和 \(1\) 被映射到同一个位置，而区间内部的点保持不变。

经过这种识别后，我们得到一个新的集合 \(A\)。

从几何上看，这个新空间恰好就是一个圆。

你可以把这个过程想象成把线段弯曲起来，然后把两个端点连接在一起。

原来的线段因此变成了一个闭合圆周。

如何确定新的开集？

得到商空间之后，还需要为它定义拓扑。

根据商拓扑的定义：

如果 \(U\subseteq A\) 的原像 \(p^{-1}(U)\) 是 \([0,1]\) 中的开集，那么 \(U\) 就是商空间中的开集。

例如：

1. \(U\) 不包含识别点 \(P=\{0,1\}\)
   此时，\(U\) 的原像仍然是普通开区间，因此它自然是开集。
2. \(U\) 包含识别点 \(P=\{0,1\}\)
   此时，原像会同时覆盖区间两端附近的部分区域。由于这些部分在原空间中仍然构成开邻域，因此 \(U\) 依然是开集。

这样，我们便成功地把一个简单的线段转变成了一个圆，并在新空间上定义了合理的拓扑结构。

总结

商拓扑的核心思想是利用原空间中的开集来定义新空间中的开集。

通过将某些点识别为同一点，我们可以从简单空间构造出新的拓扑空间，而商拓扑则保证这种构造能够保留一致且合理的拓扑结构。

正因为如此，商拓扑成为拓扑学中最重要的基本工具之一，也是理解环面、射影空间、莫比乌斯带等复杂空间的重要基础。

示例 2：把实数轴"卷成"一个圆

商拓扑最有趣的地方之一，在于它能够把一个熟悉的空间变成一个全新的空间。

下面来看一个经典例子：如何把无限延伸的实数轴构造成一个圆。

考虑实数集 \( \mathbb{R} \)。它是一条向左右两个方向无限延伸的直线。

现在，我们希望把这条直线不断"卷绕"起来，使其最终形成一个圆。实现这一目标的方法非常简单：把每个实数与它的小数部分对应起来。

为此，定义映射

\[ p(x)=x \bmod 1 \]

这里的 \(x \bmod 1\) 表示 \(x\) 的小数部分。也就是说，无论整数部分是多少，我们只保留落在区间 \([0,1)\) 内的部分。

因此，许多不同的实数会对应到圆上的同一个点。

例如，\(1.3\)、\(2.3\)、\(3.3\) 和 \(4.3\) 都具有相同的小数部分 \(0.3\)，因此它们在圆上对应同一个位置。

事实上，只要两个实数相差一个整数，它们就会被视为同一个点。

例如：

\[ 0 \sim 1 \sim 2 \sim 3 \sim \cdots \]

以及

\[ 0.3 \sim 1.3 \sim 2.3 \sim 3.3 \sim \cdots \]

从几何上看，可以把这个过程想象成不断将实数轴按长度为 1 的区间折叠起来，并把所有对应的位置重合。最终得到的空间正是一个圆。

区间 \((0,1)\) 会发生什么？

先来看实数轴上的开区间 \((0,1)\)。

经过映射后，它对应于圆上的一段开弧。由于端点 \(0\) 与 \(1\) 被识别为同一个点，因此这段圆弧并不包含识别点本身。

根据商拓扑的定义，由于 \((0,1)\) 在实数轴中是开集，因此它在商空间中的对应集合也是开集。

区间 \((1,2)\) 呢？

现在考虑区间 \((1,2)\)。

虽然它位于实数轴的另一个位置，但其中每个点的小数部分都与 \((0,1)\) 中对应点的小数部分相同。

因此，\((1,2)\) 在圆上的像与 \((0,1)\) 完全一致。

从商空间的角度来看，这两个区间实际上描述的是同一段圆弧。

区间 \((0,2)\) 又会怎样？

这个例子更有意思。

区间 \((0,2)\) 的长度为 2，因此它跨越了两个完整的周期。

当它被映射到圆上时，会绕圆整整一圈，然后继续覆盖同样的位置。

结果是，圆上的每一个点都会被覆盖。

因此：

\[ p((0,2))=S^1 \]

也就是说，\((0,2)\) 的像就是整个圆。

在拓扑学中，整个空间既是开集也是闭集，因此圆在这里属于既开又闭集（clopen set）。

值得注意的是： 原空间中的开集经过商映射后，其像未必保持原有的局部结构。

事实上，商拓扑关注的重点并不是集合的像，而是集合的原像。

根据定义：

• 商空间中的开集，其原像一定是原空间中的开集。
• 原空间中的开集，其像则不一定能够反映商空间中的拓扑性质。

原因在于商映射会把多个不同的点识别为同一个点，从而改变空间中的邻域结构。

这个例子传达的核心思想是：

在研究商拓扑时，判断一个集合是否开集，必须回到原空间中考察它的原像，而不能仅仅依靠映射后的几何形状。

示例 3：从数字区间到数字圆

前面的例子建立在连续空间之上。下面来看一个离散空间中的例子。

考虑整数集 \( \mathbb{Z} \) 中的一段连续整数：

\[ \{m,m+1,\ldots,n\} \]

为了方便说明，我们取集合

\[ I_7=\{1,2,3,4,5,6,7\} \]

由于其中的元素按顺序连续排列，因此 \(I_7\) 被称为数字区间（digital interval）。

现在，我们将第一个元素 \(1\) 与最后一个元素 \(7\) 识别为同一个点。

如果从几何角度理解，这相当于把一条线段的两端连接起来，使其形成一个闭合回路。

完成这一识别后，我们得到一个新的空间，称为数字圆 \(C_6\)。

由于点 \(1\) 与点 \(7\) 已经合并，因此最终空间只包含 6 个不同的点。

同时，每个点都恰好与两个邻接点相连，从而形成一个环状结构。

这正是商拓扑思想的体现：通过识别原空间中的某些点，构造出一个全新的空间。

注意： 这一过程与将实区间两端粘合形成圆的过程非常相似。不同的是，这里的空间由有限个离散点组成，而不是连续点集。

另一方面，数字圆也是数字拓扑（digital topology）中的经典对象。

由于每个点都具有明确的邻接关系，因此可以在其上研究连通性、邻域结构以及数字开集等概念。

需要说明的是： 在数字拓扑中，一个集合是否为开集通常依赖于所采用的邻接关系。例如，一维空间中的 2-邻接、二维空间中的 4-邻接与 8-邻接，以及三维空间中的 6-邻接、18-邻接和 26-邻接等。

最后需要特别强调一点：

商拓扑与数字拓扑并不是同一个概念。

数字圆既可以被视为一个商空间，也可以被视为一个数字拓扑空间。

前者关注的是通过等价关系产生的新拓扑结构，后者关注的是离散点之间的邻接关系与连通性质。

虽然两种视角描述的是同一个对象，但它们属于不同的理论框架，研究的问题和使用的方法也不相同，因此不应混淆。

示例 4：把实数轴压缩成三个点

前面的例子展示了如何通过识别点把实数轴变成一个圆。现在来看另一个更简单的例子，它能够帮助我们直接理解商拓扑是如何确定开集的。

考虑带有通常拓扑的实数空间 \( \mathbb{R} \)，定义映射

\[ p:\mathbb{R}\to\{a,b,c\} \]

其中

\[ p(x)= \begin{cases} a & \text{当 } x<0\\ \\ b & \text{当 } x=0\\ \\ c & \text{当 } x>0 \end{cases} \]

这个映射做的事情其实非常简单：

• 所有负数都被合并成点 \(a\)；
• 数字 \(0\) 对应点 \(b\)；
• 所有正数都被合并成点 \(c\)。

这样一来，原本无限长的实数轴就被压缩成了一个只包含三个点的空间：

\[ \{a,b,c\} \]

接下来要解决的问题是：这个新空间中的哪些集合应该被视为开集？

答案来自商拓扑的定义。

我们首先计算三个点对应的原像：

• \(p^{-1}(a)=(-\infty,0)\)；
• \(p^{-1}(b)=\{0\}\)；
• \(p^{-1}(c)=(0,+\infty)\)。

其中：

• \((-\infty,0)\) 是实数轴中的开集；
• \((0,+\infty)\) 是实数轴中的开集；
• \(\{0\}\) 不是实数轴中的开集。

根据商拓扑的定义：

如果一个集合的原像是开集，那么这个集合就是商空间中的开集。

因此可以立刻得到：

• \(\{a\}\) 是开集；
• \(\{c\}\) 是开集；
• \(\{a,c\}\) 是开集。

因为

\[ p^{-1}(\{a,c\}) = (-\infty,0)\cup(0,+\infty) = \mathbb{R}\setminus\{0\} \]

而这个集合在实数轴中仍然是开集。

此外，任何拓扑空间都必须满足两个基本条件：

• 空集一定是开集；
• 整个空间一定是开集。

因此：

\[ \emptyset \]

和

\[ \{a,b,c\} \]

也都是开集。

但是集合

\[ \{b\} \]

并不是开集。

因为它的原像是

\[ p^{-1}(\{b\})=\{0\} \]

而单点集 \(\{0\}\) 在实数轴的通常拓扑中并不是开集。

因此，这个商空间中的全部开集为：

\[ \emptyset,\quad \{a\},\quad \{c\},\quad \{a,c\},\quad \{a,b,c\} \]

而 \(\{b\}\) 不属于开集。

这个例子说明，商空间中的点并不一定具有相同的拓扑地位。

在这里，点 \(a\) 和点 \(c\) 可以单独构成开集，而点 \(b\) 则不能。因此，点 \(b\) 在这个空间中表现出与另外两个点不同的局部性质。

商拓扑的几个基本性质

在实际应用中，商拓扑满足与一般拓扑相同的基本公理。下面是最重要的几个性质。

空集和整个空间始终是开集

对于任意商映射

\[ p:X\to A \]

都有：

\[ p^{-1}(\emptyset)=\emptyset \]

以及

\[ p^{-1}(A)=X \]

由于空集和整个空间在原空间中始终是开集，因此它们在商空间中也一定是开集。

结论：空集和整个商空间总是属于商拓扑。

商拓扑中的开集并

设 \(\{U_i\}_{i\in I}\) 是商空间中的一族开集。

由于每个 \(U_i\) 的原像都是原空间中的开集，因此：

\[ p^{-1}\!\left(\bigcup_{i\in I}U_i\right) = \bigcup_{i\in I}p^{-1}(U_i) \]

而原空间中任意多个开集的并仍然是开集。

因此：

\[ \bigcup_{i\in I}U_i \]

仍然是商空间中的开集。

结论：商拓扑对任意并运算封闭。

商拓扑中的开集有限交

设 \(U_1,U_2,\ldots,U_n\) 是商空间中的有限个开集。

由于它们的原像都是原空间中的开集，因此：

\[ p^{-1}\!\left(\bigcap_{k=1}^{n}U_k\right) = \bigcap_{k=1}^{n}p^{-1}(U_k) \]

而原空间中有限个开集的交仍然是开集。

因此：

\[ \bigcap_{k=1}^{n}U_k \]

也是商空间中的开集。

结论：商拓扑对有限交封闭，但对无限交一般不封闭。

总结

学习商拓扑时，最重要的是牢记下面这一原则：

判断一个集合在商空间中是否为开集，不是看它自身，而是看它在原空间中的原像是否为开集。

正是凭借这一思想，我们可以通过识别点、压缩子集或粘合边界等操作，从熟悉的空间构造出全新的拓扑空间。

商拓扑不仅是一种定义拓扑的方法，更是拓扑学中研究新空间的重要工具。