关于X=U∪V时基本群π₁(X,x₀)生成元结论的证明理解问询

嘿，我来帮你拆解这个关于基本群的结论证明，咱们一步步捋清楚整个逻辑：

先明确已知前提 #

首先把所有给定的条件整理清楚，避免混淆：

• 设 ( X ) 是拓扑空间，( U )、( V ) 是 ( X ) 的开子集，满足两个核心条件：
  1. ( X = U \cup V )（( U ) 和 ( V ) 构成 ( X ) 的开覆盖）
  2. ( U \cap V ) 是道路连通的
• 包含映射 ( i: U \to X ) 和 ( j: V \to X ) 分别诱导出基本群的同态：
  • ( i_*: \pi_1(U,x_0) \to \pi_1(X,x_0) )
  • ( j_*: \pi_1(V,x_0) \to \pi_1(X,x_0) )

我们要证明的结论是：( \pi_1(X,x_0) = \langle \text{im } i_, \text{im } j_ \rangle )，也就是 ( X ) 以 ( x_0 ) 为基点的基本群，完全由 ( i_* ) 和 ( j_* ) 的像集合共同生成。

从环路 ( \alpha: I \to X ) 开始的证明过程 #

接下来咱们从证明的起点——任取一条以 ( x_0 ) 为基点的环路 ( \alpha: I \to X ) 展开：

1. 用紧集性质拆分区间
   因为 ( \alpha(I) ) 是闭区间 ( I ) 在连续映射下的像，属于紧集。而 ( {U,V} ) 是 ( X ) 的开覆盖，根据勒贝格数引理，存在正数 ( \delta > 0 )，只要 ( I ) 的子区间长度小于 ( \delta )，这个子区间在 ( \alpha ) 下的像就会完全落在 ( U ) 或 ( V ) 中。
   我们把 ( I = [0,1] ) 等分成 ( n ) 个子区间 ( I_k = [t_{k-1}, t_k] )（( k=1,2,...,n )），其中 ( t_0=0 )、( t_n=1 )，且每个子区间长度 ( 1/n < \delta )。这样每个 ( \alpha(I_k) ) 要么完全在 ( U ) 里，要么完全在 ( V ) 里。

2. 利用道路连通性构造连接道路
   对于每个中间分点 ( t_k )（( k=1,2,...,n-1 )），( \alpha(t_k) ) 必然属于 ( U \cap V )（因为 ( \alpha(I_k) ) 和 ( \alpha(I_{k+1}) ) 分别在 ( U/V ) 中，交集包含 ( \alpha(t_k) )）。由于 ( U \cap V ) 道路连通，我们可以取一条道路 ( \gamma_k: I \to U \cap V )，满足 ( \gamma_k(0) = x_0 )，( \gamma_k(1) = \alpha(t_k) )。特别地，( \gamma_0 ) 和 ( \gamma_n ) 是常值道路（因为 ( \alpha(0)=\alpha(1)=x_0 )）。

3. 将原环路拆分为局部环路的乘积
   把原环路 ( \alpha ) 拆成 ( n ) 段路径的乘积：( \alpha = \alpha_1 * \alpha_2 * ... * \alpha_n )，其中 ( \alpha_k(s) = \alpha(t_{k-1} + s(t_k - t_{k-1})) )，也就是把 ( \alpha ) 在 ( I_k ) 上的限制重新参数化到 ( I ) 上。
   接着，把每一段 ( \alpha_k ) 转换成以 ( x_0 ) 为基点的环路：

   • 定义环路 ( \beta_k = \gamma_{k-1} * \alpha_k * \overline{\gamma_k} )，这里 ( \overline{\gamma_k} ) 是 ( \gamma_k ) 的逆道路。
   • 注意 ( \alpha_k ) 的像在 ( U ) 或 ( V ) 中，而 ( \gamma_{k-1} )、( \gamma_k ) 的像在 ( U \cap V )，所以 ( \beta_k ) 完全落在 ( U ) 或 ( V ) 中——如果 ( \alpha_k \subseteq U )，则 ( \beta_k \subseteq U )；如果 ( \alpha_k \subseteq V )，则 ( \beta_k \subseteq V )。

4. 推导生成关系
   可以验证：( \alpha ) 和 ( \beta_1 * \beta_2 * ... * \beta_n ) 是道路同伦的。而每个 ( \beta_k ) 对应的基本群元素 ( [\beta_k] )，如果 ( \beta_k \subseteq U )，则 ( i_([\beta_k]) = [\beta_k] \in \text{im } i_ )；如果 ( \beta_k \subseteq V )，则 ( j_([\beta_k]) = [\beta_k] \in \text{im } j_ )。
   这就意味着，( \pi_1(X,x_0) ) 中的任意元素 ( [\alpha] )，都能表示为 ( \text{im } i_* ) 和 ( \text{im } j_* ) 中元素的乘积，也就是 ( \pi_1(X,x_0) ) 由这两个像集共同生成，即 ( \pi_1(X,x_0) = \langle \text{im } i_, \text{im } j_ \rangle )。

内容的提问来源于stack exchange，提问作者solomeo paredes