這是一個非常經典的證明問題，也是進入**代數拓撲（Algebraic Topology）**核心邏輯的絕佳切入點。
我們要證明的是：在一個**實心環面（Solid Torus，即橡皮筋，M = S^1 \times D^2）**中，沿著大圈方向的循環 \gamma（Longitude），在同調群中是非平凡的（Non-trivial），意即它不是任何 2-chain 的邊界。
既然你是 CS 碩士，我提供兩種不同風格但同樣嚴謹的證明方法：**同倫映射法**與**微分形式（Stokes' Theorem）法**。
### 1. 準備工作：空間定義
令橡皮筋為拓撲空間 M = S^1 \times D^2。
* S^1 代表繞著中間大洞的圓周。
* D^2 代表橡皮筋橫截面的實心圓盤。
* 令 \gamma: S^1 \to M 為大圈方向的路徑，定義為 \gamma(\theta) = (\theta, 0)，其中 0 是圓盤 D^2 的中心點。
我們的目標是證明：不存在 M 裡面的 2 維表面 S，使得 \partial S = \gamma。
### 證明方法一：利用投影映射與同態 (Functoriality)
這是最純正的代數拓撲證法。
**Step 1: 定義連續映射**
考慮一個從橡皮筋到圓周的投影映射 p: S^1 \times D^2 \to S^1。
這個映射非常簡單，就是把橫截面 D^2 上的所有點都縮掉，只看它在大圈上的位置：
**Step 2: 誘導同態 (Induced Homomorphism)**
這個連續映射 p 會誘導出一個同調群之間的群同態 p_*\,：
**Step 3: 反證法 (Proof by Contradiction)**
假設 \gamma 是某個 2-chain S \in C_2(M) 的邊界，即 \gamma = \partial S。
根據同調群算子與連續映射的交換性質 (\partial 與 f_* 可交換)：
* 在左側：p(\gamma) 就是 S^1 上的恆等映射，它生成了 H_1(S^1) \cong \mathbb{Z} 的生成元（我們稱之為 1）。
* 在右側：p_* S 是 S^1 上的一個 2-chain。但由於 S^1 是 1 維空間，它不存在非零的 2-chain，或者說 H_2(S^1) = 0。因此，任何 S^1 上的 2-chain 的邊界必然是 0。
**結論：**
我們得到 1 = 0，產生矛盾。
因此，\gamma 絕不可能是 M 中任何 2 維形狀的邊界。
拓撲學到底是什麼鬼東西阿…
原本想搞清楚洞跟空間維度之類的東西
但是反而越來越不清楚了