直觀地,連通性的概念是一種描述集合是“整體一塊”還是由“分離的部分”組成的方法。為了定義的動機,
中的任何區間都應該是連通的,但是由兩個不相交的閉區間
和
組成的集合
不應該連通。
- 定義 如果
中
中的一個集合不是兩個開集的不交併集的子集,並且這兩個開集都與它相交,則稱該集合是連通的。
- 另一種定義 如果存在一個連續的滿射函式
,則稱集合
為不連通的,這樣的函式稱為斷開。如果不存在這樣的函式,則稱
是連通的。
- 示例 集合
不能被兩個開的不相交區間覆蓋;例如,開集
和
沒有覆蓋
,因為點
不在它們的並集中。因此
是連通的。
- 然而,集合
可以被
和
的並集覆蓋,因此
不是連通的。
一個類似的概念是路徑連通性。
- 定義 如果任何兩點都可以用一條路徑連線而無需離開集合,則該集合稱為路徑連通的。
一個有用的例子是
。任何兩點 a 和 b 都可以透過簡單地畫一條繞過原點而不是直接穿過原點的路徑來連線;因此,這個集合是路徑連通的。然而,
不是路徑連通的,因為對於
和
,沒有路徑可以連線 a 和 b 而不穿過
。
正如在這一點上應該很明顯的那樣,在實數線上,普通的連通性和路徑連通性是等價的;然而,這對於
其中
並不成立。當這種情況不成立時,路徑連通性意味著連通性;也就是說,每個路徑連通集都是連通的。
另一個與連通性相關的重要的主題是單連通集。這是一種比路徑連通性更強的條件。
- 定義 如果完全包含在
中的任何環都可以收縮到一個點而不離開
,則集合
稱為單連通的。
簡單連通集的一個例子是
中的任何開球。但是,之前的路徑連通集
不是簡單連通的,因為對於圍繞原點的任何環路 p,如果我們將 p 收縮到一個點,我們必須在
處離開該集合。