離散拓撲

定義1設X是一個集合，T是X的一個子集族。如果T滿足如下條件：

① ；

②若；

③若，則；

則稱T是X的一個拓撲。

如果T是集合X的一個拓撲，則X叫做拓撲T的空間，偶對(X，T) 是一個拓撲空間。在不引起混淆或無須指出拓撲時，直接稱X是拓撲空間。此外，T的每一個元素都叫做拓撲空間(X，T) 或X中的一個開集。

定義2設X是一個集合。令 ，即由X的所有子集構成的族。由定義1可知T是X的一個拓撲，稱為X的離散拓撲，並且稱(X，T) 為一個離散拓撲空間。在離散拓撲空間(X，T) 中，X的每一個子集都是開集。

離散拓撲(discrete topology)一類特殊的拓撲。設X為任意非空集合，則由X的所有子集組成的拓撲稱為X上的離散拓撲。它是X上的最細拓撲。由此得到的拓撲空間稱為離散拓撲空間或離散空間。

若X為離散空間，則X的任意點都是孤立點。若A是X的任意子集，則A是X的既開又閉的集，並且A的邊界為空集。在X上定義的任意映射都是連續的。離散空間恆可度量化，它滿足一切分離公理，是局部緊空間，是第一可數空間。多於一點的離散空間是局部連通的但不是連通的，也不是道路連通的。離散拓撲分有限離散拓撲、可數離散拓撲和不可數離散拓撲三類。根據X分別是有限集、可數集和不可數集，容易給出它們的定義。它們的拓撲性質也不盡相同，如有限離散拓撲是緊、可數緊、序列緊的，其他二者不是。而不可數離散拓撲不是可分的、第二可數的、緊的、林德勒夫的，其他二者卻是。

性質1集合X的離散拓撲T是X的最大拓撲，即對X的每一個拓撲，均有。

證明 由拓撲T1的定義可得：對 ，有。此外，T是X的離散拓撲意味著 ，因此，，從而由A的任意性可知。

性質2離散拓撲空間(X，T) 中：

①點x的鄰域系是 ，即凡是X的包含x的子集都是x的鄰域。

② X的每一個子集既開又閉。

證明 對任意的，有，故 是開集。另外，對任意的，有，從而由鄰域的定義可知A是X的鄰域。

設A是X中的任一子集，那麼有，即A是開集。另一方面，由可得，故A是閉集。

註：一般拓撲空間的子集也可能是既不開也不閉的。

性質3離散拓撲空間(X，T) 中，若AX，則A的導集 ，即A中不含有任何一個聚點。

證明 對任意的，存在x的一個開鄰域 ，使得，從而x不是A的聚點，因此，由x的任意性可得：集合A中不含有任何一個聚點，即 。