為了最好地描述什麼是連通空間,我們先來描述什麼是斷開空間。斷開空間是指可以被分成兩個不相交組的空間,或者更正式地說
一個空間
被稱為斷開 當且僅當 存在一對不相交的非空開子集
,使得
.
一個不是斷開空間的空間
被稱為連通空間.
- 閉區間
是連通的。為了證明這一點,假設它是斷開的。那麼存在兩個非空的、不相交的開集
和
,它們的並集是
。令
為等於
或
的集合,並且不包含
。令
。由於 X 不包含 b,s 必須在區間 [a,b] 內,因此必須在 X 或
內。如果
在
內,那麼在
記憶體在一個開集
。如果
不在
內,那麼
在
內,它也是一個開集,並且存在一個開集
在
內。兩種情況都意味著
不是上確界。
- 拓撲空間
是不連通的:
圖示

如你所見,連通空間的定義非常直觀;當該空間無法被分割成(至少)兩個不同的子空間時。
定義 1.1
拓撲空間
的子集
被稱為 **閉開集**,如果它既是閉集又是開集。
定義 1.2
如果拓撲空間 X 的每個具有超過一個點的子集在子空間拓撲下都是不連通的,那麼該拓撲空間 X 被稱為 **完全不連通**。
如果
和
是同胚空間,並且如果
是連通的,那麼
也是連通的。
證明:
令
為連通的,並且令
為一個同胚。假設
是不連通的。那麼存在兩個非空的互不相交的開集
和
,它們的並集為
。由於
是連續的,
和
是開的。由於
是滿射的,它們是非空的,並且它們是不相交的,因為
和
是不相交的。此外,
,這與
是連通的這一事實相矛盾。因此,
是連通的。
注意:這表明連通性是一個拓撲性質。
如果兩個連通集有一個非空的交集,那麼它們的並集是連通的。
證明:
令
和
為兩個非不相交的連通集。令
和
為非空的開集,使得
。令
.
不失一般性,假設
.
由於
是連通的,
...(1).
由於
非空,存在
使得
.
因此,類似地,
...(2)
現在,考慮
。根據 (1) 和 (2),
,因此
。由於
是任意的,
是連通的。
如果兩個拓撲空間是連通的,那麼它們的積空間也是連通的。
證明
設 X1 和 X2 是兩個連通空間。假設存在兩個非空的、不相交的開集 A 和 B,它們的並集是 X1×X2。如果對於每個 x∈X,{x}×X2 或者完全包含在 A 中,或者完全包含在 B 中,那麼 π1(A) 和 π1(B) 也是開的,因此它們是不相交的、非空的,它們的並集是 X1,這與 X1 是連通的這一事實相矛盾。因此,存在 x∈X 使得 {x}×X2 包含 A 和 B 的元素。然後,π2(A∩{(x,y)}) 和 π2(B∩{(x,y)}),其中 y 是 X2 中的任意元素,是非空的、不相交的集合,它們的並集是 X2,它們是 {(x,y)} 中的開集的並集(根據乘積拓撲的定義),因此是開的。這意味著 X2 是不連通的,這與事實相矛盾。因此,X1×X2 是連通的。
- 證明一個拓撲空間
是不連通的,當且僅當它除了
和
之外,還有閉開集(提示:為什麼
是閉開的?)。
- 證明,如果
是連續的、滿射的(不一定同胚),並且如果
是連通的,那麼
是連通的。
- 證明中間值定理:如果
是連續的,那麼對於任何位於
和
之間的
,存在一個
使得
.
- 證明
不同構於
(提示:從
中移除一個點會使其不連通)。
- 證明一個具有可數補集拓撲的不可數集是連通的(數學家稱此空間為“超連通”)。
- a) 證明集合 X 上的離散拓撲是完全不連通的。
b) a) 的逆命題是否成立(提示:即使 X 的子集上的子空間拓撲是離散拓撲,也不一定意味著該集合具有離散拓撲)