点集拓扑学｜1. 度量空间

与数学中的许多讨论对象一样，点集拓扑学（general topology）中的基本概念无外乎来自于我们最朴素的空间感受。由这种感受作为开端，我们设想在任意维度甚至任意定义下的空间中的集合的性质——这基本上成为了点集拓扑学的基调——因此，纵使是当我们的问题开始变得抽象和极端的时候，这种朴素的空间感受依然若隐若现其中——当然，这也是这些问题令人着迷的地方。

从本篇开始的所有的文章都整理自我学习点集拓扑学时的个人笔记。在这些文章里，你看不到什么考试中的难题——毕竟，数学只是我的一项爱好，因而从一开始就不需要面对任何考试——其宗旨是在于展现诸问题之间的联系。只要你具备集合论的基础知识，并大致了解微积分基本原理，这里所有的东西对你来说都不会难懂。唯独，文章中不会对引理、定理以及推论作出区别，而统称它们为命题。

以下为第一篇。它将简单地展现距离观念在集合论中的推广，由此，作为进入拓扑空间最初的入口。

定义：度量空间

设 $X$ 为任意集合。一个函数 $\rho :X\times X\to {\mathbb{R}}_{\ge 0}$ 被称作是 $X$ 上的一个度量（metric），当且仅当该函数符合度量公理（metric axioms）；即，对于任何 $x,y,z\in X$，

• $\rho (x,y)=0$ 当且仅当 $x=y$；
• $\rho (x,y)=\rho (y,x)$；
• $\rho (x,z)+\rho (y,z)\ge \rho (x,z)$。

根据上述条件，我们称有序对 $(X,\rho )$ 为一个度量空间（metric space）。

---

定义：球

在一个度量空间 $(X,\rho )$ 中，以一点 $x$ 为中心，以 $\epsilon \in {\mathbb{R}}_{>0}$ 为半径的开球（open ball），或简称球，被定义为这样一个集合：

B ( x , ε ) = { y ∈ X : ρ ( x , y ) < ε } . B(x, \varepsilon) = \{ y \in X : \rho(x,y) < \varepsilon \}. B(x,ε)={ y∈X:ρ(x,y)<ε}.

上述条件下的闭球（closed ball）则被定义为

B ‾ ( x , ε ) = { y ∈ X : ρ ( x , y ) ≤ ε } . \overline B(x, \varepsilon) = \{ y \in X : \rho(x,y) \le \varepsilon \}. B(x,ε)={ y∈X:ρ(x,y)≤ε}.

---

下面，我将举一些例子，其中，例 1 和例 2 较为重要，会贯穿于全文中的许多例子中。例 3 开始，我只是为了展现度量空间的诸多可能性而将它们写出来，不感兴趣的话可以跳过 例 3 到例 5。

---

例 1

一个欧几里得度量空间 $(X,\rho )$ 是任意集合 $X$ 具备了欧几里得度量 $\rho$。该空间中中任意两点 $x$ 和 $y$ 之间的距离由毕达哥拉斯定理定义为

$$\rho (x,y)={\left(\sum _{i=1}^n|x_i-y_i{|}^2\right)}^{\frac{1}{2}}.$$

类似的形式还可以为我们可以定义出一个 $X$ 上的度量集合：

$${\rho }_p(x,y)={\left(\sum _{i=1}^n|x_i-y_i{|}^p\right)}^{\frac{1}{p}},$$

其中，$p\in {\overline{\mathbb{Q}}}_{\ge 1}$。欧几里得度量即 $p=2$ 时的情况。需要注意的是，此处 $p$ 是拓展实数集的一个元素，即 $p=\infty$ 同样是成立的；此时

ρ ∞ ( x , y ) = max ⁡ i ∈ { 1 ,   …   , n } ∣ x i − y i ∣ . \rho_\infty(x, y) = \max_{i \in \{1,\ \ldots \ , n\}} |x_i - y_i|. ρ∞​(x,y)=i∈{ 1, … ,n}max​∣xi​−yi​∣.

---

例 2

一个度量空间 $(X,\rho )$ 被我们称为一个离散度量空间（discrete metric space），当且仅当对于任何 $x,y\in X$，我们定义它们之间的距离为

$$\rho (x,y)=\{\begin{array}{ll}0,& \text{if }x=y;\\ 1,& \text{else}.\end{array}$$

对于离散度量 $\rho$，与其等价的定义为

$$\rho (x,y)=(\mathrm{s}\mathrm{g}$$