任意集合中元素之间的“接近度”,是拓扑学中的一个重要概念,而为了衡量元素之间的“接近度”,使用“距离”这一概念是相当方便的方法。
让我们给定一个任意的集合 X X X,它由任意性质的元素组成,那么定义在集合 X X X上的度量则是一个非负的数值函数 ρ ( x , y ) \rho (x,y) ρ(x,y),其中元素 x , y ∈ X x,y\in X x,y∈X,以及满足以下的性质:
于是,集合 X X X与定义在该集合上的一个度量 ρ \rho ρ称为度量空间,度量空间通常用有序对 ( X , ρ ) (X,\rho) (X,ρ)来表示,但有时也会只有一个 X X X来表示。
对于 x ∈ X x\in X x∈X,满足 ρ ( x , y ) < ε \rho (x,y)<\varepsilon ρ(x,y)<ε的所有点 y ∈ X y\in X y∈X的集合 O ε ( x ) O_{\varepsilon}(x) Oε?(x)称为以 x ∈ X x\in X x∈X为中心,半径为 ε \varepsilon ε的球邻域。那么对于集合 Y ? X Y\subset X Y?X,使得 ρ ( x , Y ) = 0 \rho (x,Y)=0 ρ(x,Y)=0的每一个点 x ∈ X x\in X x∈X都称为集合 Y Y Y的接触点。集合 Y Y Y所有的接触点的集合被称为集合 Y Y Y的闭包,记作 Y ˉ \bar Y Yˉ,如果在 Y ? X Y\subset X Y?X中有 Y ˉ = Y \bar Y=Y Yˉ=Y,那么 Y Y Y就称为闭集,进一步的,如果 X ? Y X\setminus Y X?Y(集合 Y Y Y在 X X X中的补集)是闭集,那么 Y Y Y就是开集。
其中,特别需要注意的是,全集 X X X中的点 x x x到子集 Y ? X Y\subset X Y?X的距离 ρ ( x , Y ) \rho (x,Y) ρ(x,Y)指的是,遍历整个子集 Y Y Y中所有的点与点 x x x的距离,取其中最小的作为距离 ρ ( x , Y ) \rho (x,Y) ρ(x,Y)。
如果我想在一个集合 X X X上定义一个拓扑,那么我们需要引入一个集合 X X X的子集族 T T T,并且该它们都是开集,然后满足下面的条件:
这样,集合 X X X与定义在该集合上的符合条件的一个子集族 T T T称为拓扑空间,度量空间通常用有序对 ( X , T ) (X,T) (X,T)来表示,但有时也会只有一个 X X X来表示。
更加数学化的表达:
集合 X X X之所以可以被称为拓扑空间,是当在该集合上可以跟定一个子集族 T T T(都是开集),且符合下面的条件时:
这里的连续映射是定义在拓扑空间之间的映射,即 f : X ? Y f:X\longrightarrow Y f:X?Y,其中 X X X和 Y Y Y都是拓扑空间。
那么如果该映射是在点 x 0 ∈ X x_0\in X x0?∈X上是连续的,则需要满足,对任意 f ( x 0 ) ∈ Y f(x_0)\in Y f(x0?)∈Y的任何邻域 V ( f ( x 0 ) ) V(f(x_0)) V(f(x0?)),都有 x 0 ∈ X x_0\in X x0?∈X的邻域 U ( x 0 ) U(x_0) U(x0?),使得 f ( U ( x 0 ) ) ? V ( f ( x 0 ) ) f(U(x_0))\subset V(f(x_0)) f(U(x0?))?V(f(x0?))。如果这个映射在整个 X X X上所有的点都满足连续,那么该映射就是一个连续映射。
换个角度说,首先有两个拓扑空间 X X X和 Y Y Y,并且定义了一个映射 f : X ? Y f:X\longrightarrow Y f:X?Y,然后我们在集合 X X X上取一个点 x 0 x_0 x0?,以及它的邻域 U ( x 0 ) U(x_0) U(x0?),相应的,我们可以取到映射到集合 Y Y Y上的点 f ( x 0 ) f(x_0) f(x0?)以及它的邻域 V ( f ( x 0 ) ) V(f(x_0)) V(f(x0?))。如果,再将邻域 U ( x 0 ) U(x_0) U(x0?)通过映射 f f f映射到集合 Y Y Y上的点集 f ( U ( x 0 ) ) ? V ( f ( x 0 ) ) f(U(x_0))\subset V(f(x_0)) f(U(x0?))?V(f(x0?)),即没有超出 V ( f ( x 0 ) ) V(f(x_0)) V(f(x0?))的范围,那么在这个点上的映射就是连续的。紧接着,如果映射 f f f在集合 X X X上所有的点都满足这个定义,那么就可以称 f f f是一个连续映射。
紧接着连续映射的概念,如果 X X X和 Y Y Y两个拓扑空间存在连续映射 f : X ? Y f:X\longrightarrow Y f:X?Y,并且该映射即是单射,又是满射(双方单值),然后该映射的逆映射 f ? 1 f^{-1} f?1也是连续映射,那么我们就可以称该映射为同胚,同时 X X X和 Y Y Y两个拓扑空间也是同胚的拓扑空间。
如果
X
X
X是一个拓扑空间,
Y
?
X
Y\subset X
Y?X是
X
X
X的一个子集,那么,我们在
Y
Y
Y上也能作出一个拓扑结构。
那么也就是说这里新的拓扑空间的集合就是
Y
Y
Y,然后我们找到这个集合中一类特殊的子集族,即由集合
X
X
X中的开集与
Y
Y
Y交集形成的新集合。换句话说,
U
?
X
U\subset X
U?X是一个开集,那么
U
∩
Y
U\cap Y
U∩Y就是
Y
Y
Y上的一个开集。
这里举一个实数轴 R \mathbb{R} R和区间 [ 0 , 1 ] [0,1] [0,1]的例子:
一般的,拓扑空间 X X X,如果不能被分为两个非空且不相交的两个开集的并,即说明它是连通的,即无法使用这种形式来表示: X = A ∪ B X=A\cup B X=A∪B,其中 A , B ≠ ? A, B \ne \varnothing A,B=?且 A ∩ B = ? A\cap B=\varnothing A∩B=?。
特别的,如果在一个拓扑空间中,任意两点都可以通过一条连续的曲线相连接,那么称这个拓扑空间是线性连通的。
[定理] 在连续映射下,连通空间的像仍然是连通的,
[定理] 在连续映射下,线性连通空间的像仍然是线性连通的,
也可以表述为: X X X和 Y Y Y都是拓扑空间,且存在一个连续映射 f : X ? Y f:X\longrightarrow Y f:X?Y,如果 X X X是线性连通的,那么 f ( X ) f(X) f(X)也是线性连通的。
如 X X X是一个拓扑空间,如果任意 x , y ∈ X x,y\in X x,y∈X且 x ≠ y x\ne y x=y,存在不相交的邻域 U ( x ) U(x) U(x)和 U ( y ) U(y) U(y),即 U ( x ) ≠ U ( y ) U(x)\ne U(y) U(x)=U(y),那么我们称该空间是Hausdorff空间。
设拓扑空间 X X X有开集族 { U α } \{ U_\alpha \} {Uα?},若 X = ? α U α X=\bigcup_{\alpha}U_\alpha X=?α?Uα?,那么我们称 { U α } \{ U_\alpha \} {Uα?}为开覆盖。
如果从拓扑空间
X
X
X的任意开覆盖中分离出有限部分,仍能覆盖该拓扑空间,则说明该空间是紧致的。
也即在任意开覆盖
X
=
?
α
U
α
X = \bigcup_{\alpha}U_{\alpha}
X=?α?Uα?中都可以分离出有限子覆盖
X
=
?
i
=
1
N
U
α
i
X = \bigcup_{i=1}^{N}U_{\alpha_{i}}
X=?i=1N?Uαi??,即可以说明该拓扑空间是紧致空间。可以看出,这里的任意开覆盖,可以是无限多个开集构成,也可以是有限多个,这里强调的是有限多的子覆盖。