基礎拓撲學講義 1.12 S2單連通


證明 \(n\ge 2\)\(S^n\) 單連通

命題 4.11 (p119)

  • \(X_1, X_2\) 都是 \(X\) 的開集,其中 \(X_2\) 是單連通的,並且 \(X_1 \cup X_2 = X, X_0 = X_1 \cap X_2 \ne \emptyset\)\(X_0\) 道路連通,則:
    \(i_\pi: \pi_1(X_1, x_0)\to \pi_1(X, x_0)\) 是滿同態,這里 \(i: X_1\to X\) 是包含映射,\(x_0\in X_1\)
X2 X1 X0 X

首先稍作分析,\(X_2\) 是單連通的,跟 \(X_1\) 有交集,這是否說明 \(X_1\)\(X\) 有相同的結構?

並不,如上圖。 \(X_1\) 是圓盤開洞,\(X_2\) 是圓盤,\(X = X_1\cup X_2\) 反而是單連通的。
這也說明 \(i_\pi\) 不一定是單同態,因為這里 \(i_\pi\)\(X_1\) 中所有閉路類映為 \(X\) 中同一個閉路類

證明

X2 X1 I1:U1 I3:U1 I2:U2 x0 c X0 X I

\(\pi_1(X, x_0)\) 中閉路類 \(\langle a \rangle\),取代表元閉路 \(a\)

\(U_1 = a^{-1}(X_1), U_2 = a^{-1}(X_2)\)\(U_1, U_2\) 各是一族 \(I\) 上開區間,顯然有 \(U_1\cup U_2\) 構成 \(I\) 開覆蓋

因而由 Lebesgue 引理,\(I\) 能被分割為有限多閉區間小段,使得每一小段都分別落在 \(U_1\)\(U_2\) 當中

舉例來說可以看上圖,\(a:I\to X\) 也隨着 \(I\) 被划分為三段。\(I = I_1 \cup I_2 \cup I_3\),且有 \(I_1, I_3\) 能被包含在 \(U_1\) 元素中, \(I_2\) 能被包含在 \(U_2\) 的元素中

如果 \(a\) 上有對應切割點不在 \(X_0\) 中,比如上圖的點 \(c\),那么連着點 \(c\) 的兩端必然都在 \(X_2\) 當中,這一點在划分 \(I\) 時得到保證。
因而歸納地去掉所有不在 \(X_0\) 中的切割點,剩下的划分仍然滿足每一小段都分別落在 \(U_1\)\(U_2\) 當中

於是我們得到了一個切割點全在 \(X_0\) 中的 \(I\) 的划分,就像上圖(去掉 \(c\)

由於 \(X_2\) 單連通,所以藍色部分和棕色部分定端同倫,他們連接上剩下的道路仍然定端同倫(道路類乘積),因而 \(a\) 總能找到對應的 \(X_0\) 中閉路定端同倫

\(X_2\) 單連通不可缺少

X2 X1 I1:U1 I3:U1 I2:U2 x0 c X0 X I

像這樣,\(X_1\) 單連通,\(X\) 是個 \(S^1\),基本群同態必然不滿射

事實上,\(X_1\) 中找不到一條閉路與 \(a\) 定端同倫

\(X_0\) 道路連通的條件不可缺少

舉例說明

兩個單連通的空間並起來是 \(S^1\)

\(S^2\) 單連通

\(S^2\) 上取不同兩點 \(s_0, s_1\),則:

\(U_1 = S^2-\{s_0\}\cong E^2, U_2 = S^2-\{s_1\}\cong E^2\)

\(U_1, U_2\) 兩個空間都單連通,並為 \(S^2\),交是 \(S^2\) 挖兩個洞,也是 \(E^2\) 挖一個洞,所以非空且道路連通,因而 \(\forall x_0\in U_1 \subset S^2\),都有

\(i_\pi: \pi_1(U_1, x_0)\to \pi_1(S^2, x_0)\) 是滿同態,故而 \(S^2\) 單連通

\(n > 2\) 同理,利用 \(S^n-\{x\} \cong E^n\)


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM