跳轉至內容

拓撲/連通性

來自華夏公益教科書,開放的書籍,開放的世界
拓撲
 ← 分離公理 連通性 路徑連通性 → 


為了最好地描述什麼是連通空間,我們先來描述什麼是斷開空間。斷開空間是指可以被分成兩個不相交組的空間,或者更正式地說

一個空間 被稱為斷開 當且僅當 存在一對不相交的非空子集 ,使得 .

一個不是斷開空間的空間 被稱為連通空間.

  1. 閉區間 是連通的。為了證明這一點,假設它是斷開的。那麼存在兩個非空的、不相交的開集 ,它們的並集是 。令 為等於 的集合,並且不包含 。令 。由於 X 不包含 b,s 必須在區間 [a,b] 內,因此必須在 X 或 內。如果 內,那麼在 記憶體在一個開集 。如果 不在 內,那麼 內,它也是一個開集,並且存在一個開集 內。兩種情況都意味著 不是上確界。
  2. 拓撲空間 是不連通的:
    圖示
    The logo for this Wiki

    如你所見,連通空間的定義非常直觀;當該空間無法被分割成(至少)兩個不同的子空間時。

定義

[edit | edit source]

定義 1.1

拓撲空間 的子集 被稱為 **閉開集**,如果它既是閉集又是開集。

定義 1.2

如果拓撲空間 X 的每個具有超過一個點的子集在子空間拓撲下都是不連通的,那麼該拓撲空間 X 被稱為 **完全不連通**。

關於連通性的定理

[edit | edit source]

如果 是同胚空間,並且如果 是連通的,那麼 也是連通的。

證明:
為連通的,並且令 為一個同胚。假設 是不連通的。那麼存在兩個非空的互不相交的開集 ,它們的並集為 。由於 是連續的, 是開的。由於 是滿射的,它們是非空的,並且它們是不相交的,因為 是不相交的。此外,,這與 是連通的這一事實相矛盾。因此, 是連通的。
注意:這表明連通性是一個拓撲性質。

如果兩個連通集有一個非空的交集,那麼它們的並集是連通的。

證明:
為兩個非不相交的連通集。令 為非空的開集,使得 。令 .
不失一般性,假設 .

由於 是連通的, ...(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 是連通的。

  1. 證明一個拓撲空間 是不連通的,當且僅當它除了 之外,還有閉開集(提示:為什麼 是閉開的?)。
  2. 證明,如果 是連續的、滿射的(不一定同胚),並且如果 是連通的,那麼 是連通的。
  3. 證明中間值定理:如果 是連續的,那麼對於任何位於 之間的,存在一個 使得.
  4. 證明 不同構於(提示:從 中移除一個點會使其不連通)。
  5. 證明一個具有可數補集拓撲的不可數集是連通的(數學家稱此空間為“超連通”)。
  6. a) 證明集合 X 上的離散拓撲是完全不連通的。

    b) a) 的逆命題是否成立(提示:即使 X 的子集上的子空間拓撲是離散拓撲,也不一定意味著該集合具有離散拓撲)


拓撲
 ← 分離公理 連通性 路徑連通性 → 


華夏公益教科書