拓扑学——开集、连续性与核心概念

拓扑学是数学中研究空间的一门分支，它用开集和连续性来描述空间，而不是依赖精确的距离。如果你正在学习拓扑学基础，最快的入门方式是这样：先选定哪些子集是开集，再由这个选择来定义连续性。

这也是为什么拓扑学比较空间时，关注的是局部性质，而不是长度、角度或坐标。

什么是拓扑空间

设 $X$ 是一个集合。$X$ 上的一个拓扑，是指 $X$ 的若干子集组成的集合 $\mathcal{T}$，这些子集称为开集，并满足：

1. $\varnothing$ 和 $X$ 都属于 $\mathcal{T}$。
2. $\mathcal{T}$ 中任意多个集合的并集仍属于 $\mathcal{T}$。
3. $\mathcal{T}$ 中任意有限多个集合的交集仍属于 $\mathcal{T}$。

有序对 $(X,\mathcal{T})$ 称为一个拓扑空间。

这个定义本来就是有意写得抽象。一旦你知道哪些集合是开集，就可以定义连续性、邻域和闭集，而完全不需要写出距离公式。

为什么开集很重要

开集告诉你，一个点“周围有空间”到底是什么意思。在 $\mathbb{R}$ 的通常拓扑中，像 $(1,3)$ 这样的开区间是开集，因为其中每个点的周围都能找到一个更小的区间，并且这个小区间仍然完全落在 $(1,3)$ 内。

这种局部性的思想正是拓扑学的核心。一个集合是开集，意思就是它的每个点都在集合内部，并且周围还有一定的局部“活动空间”。

这也说明了为什么“开”依赖于所选的拓扑。同一个子集，在一种拓扑下可能是开集，在另一种拓扑下却未必是开集。

开集如何定义其他基本概念

邻域

一点的邻域，是指任何包含该点某个开集的集合。这是拓扑学在不使用距离的情况下描述局部接近性的方式。

闭集

如果一个集合的补集是开集，那么这个集合就是闭集。在实数直线这类熟悉的空间中，闭集通常包含它的边界，但这并不是定义本身。

连续性

如果 $X$ 和 $Y$ 是拓扑空间，函数 $f:X \to Y$ 称为连续的，当且仅当对每个开集 $U \subseteq Y$，其逆像 $f^{-1}(U)$ 在 $X$ 中是开集。

$$f \text{ is continuous if } f^{-1}(U) \text{ is open for every open } U \subseteq Y$$

这与 $\mathbb{R}$ 上微积分中的通常连续性概念一致，但它同样适用于那些“距离”并不是主要结构的空间。

同胚

同胚是一个双射函数，并且它本身连续、逆函数也连续。如果两个空间同胚，拓扑学就把它们看作在拓扑意义下具有相同的“形状”。

这里的关键是两个方向都要连续。仅仅是双射还不够。

例题：为什么 $f(x)=x^2$ 在通常拓扑下是连续的

考虑函数 $f:\mathbb{R} \to \mathbb{R}$，定义为

$$f(x)=x^2$$

并在 $\mathbb{R}$ 上取通常拓扑。

取陪域中的开集 $(1,4)$。它的逆像是

$$f^{-1}((1,4))=\{x \in \mathbb{R} : 1 < x^2 < 4\}$$

化简得到

$$(-2,-1)\cup(1,2).$$

这个集合在 $\mathbb{R}$ 的通常拓扑中是开集，因为它是若干开区间的并。这个例子说明了需要检查的正确方向：连续性关注的是开集的逆像是否为开，而不是看 $f$ 是否把开集映成开集。

在 $\mathbb{R}$ 上，这个条件最终与通常基于极限的连续性定义是一致的。

学习拓扑学基础时的常见错误

以为“开”在任何地方含义都一样

并不是这样。开集是相对于所选拓扑来定义的。

混淆像与逆像

连续性讨论的是：开集的逆像仍是开集。开集的像不一定是开集，除非你对函数再加上额外条件。

把拓扑学当成换了术语的度量几何

很多拓扑空间确实来自某种度量，但拓扑学本身更一般。它只保留讨论局部性质和连续性所必需的结构。

认为每个双射都是拓扑等价

要成为同胚，一个映射必须是双射、连续，并且逆映射也连续。

拓扑学有什么用

拓扑学为现代分析中的连续性、紧致性、连通性和收敛性提供了统一语言。它也出现在几何学、动力系统、微分方程，以及研究整体形状的数据分析中。

对于初学者来说，更直接的意义是：拓扑学解释了为什么连续性可以用一种不依赖坐标或距离公式的方式来定义。

试着做一道类似的问题

还是使用同一个函数 $f(x)=x^2$，但这次从开集 $(0,1)$ 出发。计算 $f^{-1}((0,1))$，并检查它在 $\mathbb{R}$ 中是否是开集。

如果你想继续下一步，可以再研究一个连续性的例子，并把拓扑定义与微积分中基于极限的定义进行比较。