連通空間

在拓撲學及相關的數學領域中，連通空間是指不能表示為兩個或多個不相交的非空開集的併集的拓撲空間。

如果拓撲空間${\displaystyle X}$中存在兩個分離的非空開集${\displaystyle A,B}$使得它們的併集等於${\displaystyle X}$，則${\displaystyle X}$被稱作不連通的，否則稱它是連通的。

對拓撲空間${\displaystyle X}$，以下條件為等價的：

• ${\displaystyle X}$連通，即${\displaystyle X}$不能表示為兩個分離的非空開集的併集。
• ${\displaystyle X}$只有${\displaystyle \emptyset }$和${\displaystyle X}$這兩個平凡的閉開集。
• 所有從${\displaystyle X}$到${\displaystyle \{0,1\}}$的連續函數都是常數函數，其中空間${\displaystyle \{0,1\}}$由兩點集的離散拓撲構成。

連通性是拓撲空間的一個拓撲不變性質，即如果兩個同胚拓撲空間之一連通，則另一個空間也連通。

一些數學家承認空集(按照它獨有的拓撲)是連通空間，不過也有數學家不承認這一點。

如果拓撲空間${\displaystyle X}$的子集${\displaystyle A}$誘導的子拓撲空間是連通的，則${\displaystyle A}$被稱為${\displaystyle X}$的連通子集。

對拓撲空間${\displaystyle X}$上的點${\displaystyle x}$，所有包含${\displaystyle x}$的連通子集的併集

${\displaystyle U_{x}=\bigcup _{S{\text{連 通 }},x\in S}S}$

也是連通的。作為包含${\displaystyle x}$的極大連通子集，${\displaystyle U_{x}}$稱作關於${\displaystyle x}$的連通單元。

如果${\displaystyle X}$的所有連通單元都是單元素集合，則稱${\displaystyle X}$為完全不連通空間。

每個空間都能表成它的連通單元的不相交併集。

連通單元必為閉集，在一些理想的拓撲空間（如流形、代數簇）上同時是開集，但這不代表連通單元總是閉開集（例如完全不連通空間${\displaystyle \mathbb {Q} }$，單元素集合在該空間中並非開集）。

稱拓撲空間X是道路連通空間，當且僅當∀x,y∈X，存在連續函數${\displaystyle \gamma :[0,1]\to X}$ 使得 ${\displaystyle \gamma (0)=x,\gamma (1)=y}$。若${\displaystyle \gamma }$ 可取為使得 ${\displaystyle [0,1]\to \gamma ([0,1])}$ 為同胚，則稱X為弧連通空間。

路徑連通空間必定是連通空間，反之不一定。

路徑連通的郝斯多夫空間必為弧連通空間。

拓撲空間X稱為局部連通的，當且僅當以下敘述之一成立：

• 空間中的任一點都存在連通的鄰域（即該鄰域是X的連通子集）。
• 空間的拓撲基完全由連通的集合組成。

• 拓撲學家的正弦曲線：在平面歐幾里得空間${\displaystyle \mathbb {R} ^{2}}$中定義集合
  ${\displaystyle S=\{(x,\sin {\frac {1}{x}})|x\in (0,1]\}}$
  和
  ${\displaystyle T=\{(0,y)|y\in [0,1]\}}$
  。考慮${\displaystyle S\cup T}$在${\displaystyle \mathbb {R} ^{2}}$中誘導的子拓撲空間，它是連通的，但不是局部連通的。
• 有理數：有理數集上的連通單元都是單元素集合，所以有理數集是一個完全不連通空間。

• 拓撲空間${\displaystyle X}$中帶有公共點${\displaystyle x\in X}$的連通子集的併集連通。
• 令${\displaystyle A}$為拓撲空間${\displaystyle X}$中的一個連通子集，則所有滿足${\displaystyle A\subset B\subset {\overline {A}}}$的子集${\displaystyle B}$皆為連通子集，其中${\displaystyle {\overline {A}}}$為${\displaystyle A}$的閉包。
• 序拓撲中的連通子集都是凸集。
• 實數${\displaystyle \mathbb {R} }$是連通空間，它的所有（可以是無限）區間皆為連通子集。
• 對拓撲空間之間的連續函數${\displaystyle f:X\rightarrow Y}$，${\displaystyle X}$的連通子集在${\displaystyle f}$下的像是${\displaystyle Y}$的連通子集。這是${\displaystyle \mathbb {R} }$上中間值定理的推廣。
• 連通空間的有限積空間連通。^[1]