对于拓扑空间的一些理解

本文参考熊金城《拓扑学》第2版，仅梳理思路，具体证明请查阅原书。

1. 拓扑空间

拓扑空间可以看做是一个集合$X$连同它的子集（称为开集）的一个族，使得$\varnothing$和$X$是开集，开集的任意并和有限交为都是开集。
离散拓扑 平凡拓扑 有限补拓扑

${\mathcal{T}}^{{}^{\prime }}\supset \mathcal{T}$，则称${\mathcal{T}}^{{}^{\prime }}$细于$\mathcal{T}$。我们称${\mathcal{T}}^{{}^{\prime }}$与$\mathcal{T}$是可比较的，如果或者${\mathcal{T}}^{{}^{\prime }}\supset \mathcal{T}$，或者$\mathcal{T}\supset \mathcal{T}{}^{\prime }$

2. 拓扑基和拓扑子基

设$\mathcal{B}$是$X$上的一个拓扑基，则$U\in {\mathcal{T}}_{\mathcal{B}}$当且仅当$\forall x\in U,\exists B\in \mathcal{B},s.t.x\in B\subset U$。
当拓扑是由基给出的时候，就可以用基作为判别拓扑粗细的一个标准。

设$\mathcal{B}$和${\mathcal{B}}^{{}^{\prime }}$分别是$X$的拓扑$\mathcal{T}$和${\mathcal{T}}^{{}^{\prime }}$的基。则下列条件等价：
（1）${\mathcal{T}}^{{}^{\prime }}$细于$\mathcal{T}$；
（2）对于每一个$x\in X$及包含$x$的每一个基元素$B\in \mathcal{B}$，存在一个基元素$B^{{}^{\prime }}\in {\mathcal{B}}^{{}^{\prime }}$，使得$x\in B^{{}^{\prime }}\subset \mathcal{B}$
由此可以看出，平面上所有圆形域的族$\mathcal{B}$与所有矩形域的族${\mathcal{B}}^{{}^{\prime }}$，生成的是同一拓扑。
标准拓扑 下限拓扑(${\mathbb{R}}_l$) K拓扑(${\mathbb{R}}_K$)

${\mathbb{R}}_l$和${\mathbb{R}}_K$的拓扑都严格细于标准拓扑，但它们之间不可比较。

由子基$\mathcal{S}$生成的拓扑定义为$\mathcal{S}$中元素的有限交的所有并的族。

3. 序拓扑

$\mathbb{R}$上的序拓扑等于标准拓扑。

4. $X\times Y$上的积拓扑

定理
若$\mathcal{B}$是$X$的一个基，$\mathcal{C}$是$Y$的拓扑的一个基，则族
D = { B × C ∣ B ∈ B & C ∈ C } \mathcal{D}=\{B\times C|B\in \mathcal{B}\And C\in \mathcal{C}\} D={B×C∣B∈B&C∈C}
是$X\times Y$的拓扑的一个基。

定义
设${\pi }_1:X\times Y\to X$定义为
$${\pi }_1(x,y)=x$$
${\pi }_2:X\times Y\to X$定义为
$${\pi }_2(x,y)=y$$
映射${\pi }_1$和${\pi }_2$分别称为$X\times Y$到它的第一因子和第二因子上的投影。

族
S = { π 1 − 1 ( U ) ∣ U 是 X 中 的 开 集 } ∪ { π 2 − 1 ( V ) ∣ V 是 Y 中 的 开 集 } \mathcal{S} = \{\pi_1^{-1}(U)|U是X中的开集\}\cup\{\pi_2^{-1}(V)|V是Y中的开集\} S={π1−1​(U)∣U是X中的开集}∪{π2−1​(V)∣V是Y中的开集}
是$X\times Y$的积拓扑的一个子基。

5. 子空间拓扑

若$A$是$X$的一个子空间，$B$是$Y$的一个子空间，则$A\times B$的积拓扑与它从$X\times Y$继承的子空间拓扑是同一个拓扑。
一般而言，$Y$上的子空间拓扑总是比$Y$上的序拓扑细。
设$X$是具有序拓扑的一个全序集，并且$Y$是$X$的一个凸子集，那么$Y$的序拓扑与它从$X$继承的子空间拓扑是同一个拓扑。

6. 闭集与极限点

设 $X$是一个拓扑空间，则下列结论成立：
（1）$\varnothing$和$X$都是闭的。
（2）闭集的任意交都是闭的。
（3）闭集的有限并都是闭的。

设$Y$是$X$的一个子空间，集合$A$是$Y$的一个闭集当且仅当$A$是$X$中的一个闭集与$Y$的交。
设$Y$是$X$的一个子空间，若$A$是$Y$的一个闭集并且$Y$是$X$的一个闭集，则$A$也是$X$的一个闭集。
设$Y$是$X$的一个子空间，$A$是$Y$的一个子集，$\overline{A}$表示$A$在$X$中的闭包，那么$A$在$Y$中的闭包等于$\overline{A}\cap Y$。
设$A$是拓扑空间$X$的一个子集，$A^{\prime }$是A的所有极限点的集合，则
$$\overline{A}=A\cup A^{\prime }$$

7. Hausdorff空间

Hausdorff空间中的任何有限集都是闭的。
若拓扑空间$X$的任一单点集为闭集，则称$X$为$T_1$空间，该条件称为$T_1$公理。
显然，Hausdorff空间为$T_1$空间
有限点集是闭集的条件比Hausdorff条件要弱，例如实直线$\mathbb{R}$的有限补拓扑并不是一个Hausdorff空间，但在此空间中有限点集是闭集。
设拓扑空间$X$满足$T_1$公理，$A$是$X$的一个子集，则点$x$是$A$的极限点当且仅当$x$的每一个邻域与$A$的交是无限集。
若$X$是一个Hausdorff空间，则$X$中的一个序列最多收敛到一个点。
每一个具有序拓扑的全序集是一个Hausdorff空间。两个Hausdorff空间的积是一个Hausdorff空间，Hausdorff空间的子空间是一个Hausdorff空间。

8. 连续函数

设$X$和$Y$是两个拓扑空间，$f:X\to Y$.下列条件是等价的：
（1）$f$连续；
（2）对于$X$的任一个子集$A$，有$f(\overline{A})\subset \overline{f(A)}$；
（3）对于$Y$的任一个闭集$B$，$f^{-1}(B)$是$X$中的一个闭集；
（4）对于每一个$x\in X$和$f(x)$的每一个邻域$V$，存在$x$的一个邻域$U$使得$f(U)\subset V$.

同胚的等价定义：
一一映射$f:X\to Y$，使得$f(U)$是一个开集的充要条件是$U$是一个开集。

设$X$和$Y$是两个拓扑空间，$f:X\to Y$是一个连续单射。用$Z$表示像集$f(X)$，把它看成$Y$的一个子空间。那么由限制$f$的值域得到的函数$f^{\prime }:X\to Z$就是一一映射。若$f^{\prime }$正好是$X$与$Z$之间的一个同胚，则称映射$f:X\to Y$是一个拓扑嵌入。
注：$f:[0,1)\to {\mathbb{R}}^2$,$f(x)=(cos2\pi x,sin2\pi x)$不是嵌入。

黏结引理
设$X=A\cup B$并且$A$和$B$都是$X$中的闭集。$f:A\to Y$与$g:B\to Y$都是连续函数。若对于任意$x\in A\cap B$有$f(x)=g(x)$，则$f$和$g$可以组成一个连续函数$h:X\to Y$，满足$h(x)=f(x),x\in A;h(x)=g(x),x\in B$。

到积空间的映射(maps into products) & 积空间的映射(maps from products)

• 设$f:A\to X\times Y$定义为
  $$f(a)=(f_1(a),f_2(a)).$$
  则$f$连续的充分必要条件是函数
  $$f_1:A\to X与f_2:A\to Y$$
  都连续。映射$f_1,f_2$称为$f$的坐标函数。

反之，对于定义域是积空间的映射$f：A\times B\to X$，则没有常用的方法判断其连续性。
猜想：如果$f$“分别关于每一个变量”连续，则$f$连续。但它是不对的。

9. 笛卡尔积上的拓扑

S = ⋃ α ∈ J { π α − 1 ( U α ) ∣ U α 是 X α 中 开 集 } \mathcal{S}=\bigcup _{\alpha\in J}\{\pi_{\alpha}^{-1}(U_{\alpha}) |U_{\alpha} 是X_{\alpha} 中开集\} S=⋃α∈J​{πα−1​(Uα​)∣Uα​是Xα​中开集}是${\prod }_{\alpha \in J}{X}_{\alpha }$上的拓扑子基，生成的拓扑称为乘积拓扑。

C = { ∏ α ∈ J U α ∣ U α 是 X α 中 开 集 } \mathcal{C} = \{\prod_{\alpha\in J}{U_{\alpha}}|U_{\alpha} 是X_{\alpha} 中开集\} C={∏α∈J​Uα​∣Uα​是Xα​中开集}是${\prod }_{\alpha \in J}{X}_{\alpha }$上的拓扑基，生成的拓扑称为箱拓扑。

箱拓扑与积拓扑的比较
$\prod X_{\alpha }$的箱拓扑以形如$\prod U_{\alpha }$的集合作为基元素，其中，对于每一个$\alpha$，$U_{\alpha }$在$X_{\alpha }$中是开的。$\prod X_{\alpha }$的积拓扑以形如$\prod U_{\alpha }$的集合作为基元素，其中$U_{\alpha }$在$X_{\alpha }$中是开的，并且除去有限多个$\alpha$外，每一个$\alpha$都有$U_{\alpha }=X_{\alpha }$。

1. 对于有限积$\prod X_{\alpha }$，两种拓扑是一样的。
2. 一般来说，箱拓扑细于积拓扑。

当我们讨论积空间$\prod X_{\alpha }$时，如果不特别申明，总是假定所给的就是积拓扑。

10. 度量拓扑

若$d$是集合$X$的一个度量，则全体$ϵ-$球$B(x,ϵ)$的族，其中$x\in X,ϵ>0$，是$X$的某一个拓扑的基，这个拓扑称为由度量$d$诱导出来的度量拓扑。
一个空间是否是可度量化的，仅仅依赖与空间的拓扑。
引理
设$d$和$d^{\prime }$是集合$X$上的两个度量。$\mathcal{T}$和${\mathcal{T}}^{\prime }$分别是由它们诱导的拓扑，则${\mathcal{T}}^{\prime }$细于$\mathcal{T}$当且仅当对每一个$x\in X$及每一个$ϵ>0$，使得
$$B_{d^{\prime }}(x,\delta )\subset B_d(x,ϵ)$$