跳至內容

連通空間

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書
R² 的連通和不連通子空間。上面的空間 A 是連通的,下面的空間 B 是不連通的。

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


定義

[編輯]

如果拓撲空間中存在兩個分離非空開集使得它們的併集等於,則被稱作不連通的,否則稱它是連通的。

對拓撲空間,以下條件為等價的:

  • 連通,即不能表示為兩個分離的非空開集的併集。
  • 只有這兩個平凡的閉開集
  • 所有從連續函數都是常數函數,其中空間由兩點集的離散拓撲構成。

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

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


連通單元

[編輯]

如果拓撲空間的子集誘導的子拓撲空間是連通的,則被稱為連通子集

對拓撲空間上的點,所有包含的連通子集的併集

也是連通的。作為包含的極大連通子集,稱作關於連通單元

如果的所有連通單元都是單元素集合,則稱完全不連通空間

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

連通單元必為閉集,在一些理想的拓撲空間(如流形代數簇)上同時是開集,但這不代表連通單元總是閉開集(例如完全不連通空間,單元素集合在該空間中並非開集)。


其它連通性定義

[編輯]

路徑連通,弧連通

[編輯]
R² 的這個子空間是路徑連通的,因為在這個空間的任何兩點之間可繪製一個道路。
稱拓撲空間X是道路連通空間,當且僅當∀x,y∈X,存在連續函數 使得 。若 可取為使得 同胚,則稱X為弧連通空間

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

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


局部連通

[編輯]

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

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


例子

[編輯]
  • 拓撲學家的正弦曲線:在平面歐幾里得空間中定義集合
    。考慮中誘導的子拓撲空間,它是連通的,但不是局部連通的。
  • 有理數:有理數集上的連通單元都是單元素集合,所以有理數集是一個完全不連通空間。


性質

[編輯]
  • 拓撲空間中帶有公共點的連通子集的併集連通。
  • 為拓撲空間中的一個連通子集,則所有滿足的子集皆為連通子集,其中閉包
  • 序拓撲中的連通子集都是凸集
  • 實數是連通空間,它的所有(可以是無限)區間皆為連通子集。
  • 對拓撲空間之間的連續函數的連通子集在下的的連通子集。這是中間值定理的推廣。
  • 連通空間的有限積空間連通。[1]


註釋

[編輯]
  1. ^ Munkres, pp. 150-154.


參考文獻

[編輯]