定义：拓扑空间
使 X X X 为任意集合，使 T \mathcal T T 为某些 X X X 的子集的集合族。我们称 T \mathcal T T 为 X X X 上的一个拓扑（topology），当且仅当这个集合族满足开集公理（open set axioms），即满足如下性质：
- X ∈ T X \in \mathcal T X∈T；
- 对于任何 U ⊆ T \mathcal U \subseteq \mathcal T U⊆T， ⋃ U ∈ T \bigcup \mathcal U \in \mathcal T ⋃U∈T；换言之， T \mathcal T T 在任意并集下封闭；
- 对于任何有限的 V ⊆ T \mathcal V \subseteq \mathcal T V⊆T， ⋂ V ∈ T \bigcap \mathcal V \in \mathcal T ⋂V∈T；换言之， T \mathcal T T 对于有限并集封闭。
根据上述条件，有序对 ( X , T ) (X, \mathcal T) (X,T) 被我们称作一个拓扑空间。当上下文足够清晰而不至于出现歧义时，我们也会将 ( X , T ) (X, \mathcal T) (X,T) 简单地表示为 X X X。
对于任何 U ∈ T U \in \mathcal T U∈T，我们说 U U U 是在 X X X 中开放的（open），或称其为 X X X 中的一个开子集（open subset），又称 X X X 中的一个开集（open set）。
在有些书上，你会看到开集中包扩了 ∅ ∈ T \emptyset \in \mathcal T ∅∈T 这一条。但就严格意义而言， ∅ ∈ T \emptyset \in \mathcal T ∅∈T 并不是一条公理，而是上述公理的一个推论。
命题 1
∅ ∈ T \emptyset \in \mathcal T ∅∈T。
证明：显然，空集 ∅ \emptyset ∅ 是任何集合的子集，那自然， ∅ ⊆ T \emptyset \subseteq \mathcal T ∅⊆T。于是，我们得到
T ∋ ⋃ ∅ = ∅ . \mathcal T \ni \bigcup \emptyset = \emptyset. T∋⋃∅=∅.
Q.E.D.
根据拓扑的定义，对于任何集合 X X X，如果我们给出 X X X 中的某些开集的集合族 U \mathcal U U，那么，我们便可以找到在 X X X 上包含 U \mathcal U U 的最小的拓扑：
T = { ⋃ I , ⋂ I , X : I ⊆ U } . \mathcal T = \left\{ \bigcup \mathcal I, \bigcap \mathcal I, X : \mathcal I \subseteq \mathcal U \right\}. T={ ⋃I,⋂I,X:I⊆U}.
我说它是“最小的”，意思是，对于任何其他 X X X 上的拓扑 T ′ ⊇ U \mathcal T' \supseteq \mathcal U T′⊇U，
T ′ ⊇ T ⊇ U . \mathcal T' \supseteq \mathcal T \supseteq \mathcal U. T′⊇T⊇U.
例如，对于
X = { 1 , 2 , 3 , 4 , 5 } X = \{1,2,3,4,5\} X={ 1,2,3,4,5}
这样一个集合，如果
{ 1 , 2 } , { 2 , 3 } , { 4 } \{1,2\}, \{2,3\}, \{4\} { 1,2},{ 2,3},{ 4}
是已知的几个开集，那么，任何一个在 X X X 上的拓扑 T \mathcal T T 就至少包含了这些集合：
{ 1 , 2 , 3 , 4 } , { } , { 1 , 2 } , { 2 , 3 } , { 4 } , { 1 , 2 , 3 } , { 1 , 2 , 4 } , { 2 , 3 , 4 } , { 2 } . \{1,2,3, 4\}, \{\}, \\ \{1,2\}, \{2,3\}, \{4\}, \\ \{1,2,3\}, \{1,2,4\}, \{2,3,4\}, \\ \{2\}. { 1,2,3,4},{ },
最低0.47元/天 解锁文章
1426
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
