这是一个非常经典的证明问题，也是进入**代数拓扑（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 维形状的边界。
拓扑学到底是什么鬼东西阿…
原本想搞清楚洞跟空间维度之类的东西
但是反而越来越不清楚了