关于无限圆周楔积基本群的计算及相关结论的理解疑问

我完全懂你的困惑——有限个圆周的楔积用Van-Kampen定理迭代几次就能得到自由群，可一到无限个的情况，常规的有限步操作就行不通了，这种“从有限到无限”的跨越确实容易让人犯嘀咕。下面我一步步帮你捋清楚怎么理解这个结论：

先回顾有限情况的逻辑 #

• 拿两个圆周的楔积$S^1 \vee S^{1$举例：我们可以给每个圆周取一个开邻域，比如每个邻域是“包含楔点的小开球+圆周的大部分”，这两个邻域都是道路连通的，它们的交集是包含楔点的小开球（可缩，基本群平凡）。套Van-Kampen定理直接得到$\pi_1(S}1 \vee S^1) \cong \mathbb{Z} * \mathbb{Z}$。
• 有限个的话，只要重复这个过程n次，每次把新的圆周和之前的楔积做Van-Kampen拼接，就能得到n个$\mathbb{Z}$的自由积，逻辑完全顺畅。

无限情况的核心问题：为什么有限Van-Kampen用不了？ #

常规的Van-Kampen定理要求覆盖空间的开集族是有限的（或者满足局部有限的条件），无限个开集的话，直接套用有限版本会失效——因为无限自由积的定义和有限自由积本质不同：有限自由积是有限个群的“直接拼接”，而无限自由积是所有有限子积的正向极限，这时候需要用到Van-Kampen定理的无限推广版本。

怎么说服自己无限楔积的基本群是无限自由积？ #

可以从几个角度入手：

1. 从基本群的定义出发（最直观） #

基本群是基于楔点的环路的同伦类，而环路是紧致的连续映射$S^1 \to \bigvee_{i \in I} S^1$。因为无限楔积里，每个圆周去掉楔点后都是一个开集，紧致集只能和有限个这样的开集相交——也就是说，任何环路都只“活”在有限个圆周的楔积里，它的同伦类自然属于那个有限自由积里的元素。
反过来，每个有限自由积里的元素，都对应无限楔积里的一个环路同伦类。而且不同有限子积的元素之间不会有额外的关系（不像 torus 那样有$ab=ba$的交换关系），因为没有非平凡的同伦能把不同圆周上的环路捏在一起。

2. 正向极限的视角 #

无限楔积$\bigvee_{i \in I} S^1$可以看成所有有限子楔积$\bigvee_{i \in F} S^1$（$F$是$I$的有限子集）的并，而每个有限子楔积到更大的有限子楔积的包含映射，对应基本群的单同态（把小的有限自由积嵌入到大的里面）。
根据拓扑学里的结论：当空间是一个正向系统的子空间的并，且每个紧集都包含在某个子空间里时，基本群和正向极限是交换的。也就是说：
$$\pi_1\left(\bigvee_{i \in I} S^1\right) \cong \varinjlim_{F \subseteq I, F\text{有限}} \pi_1\left(\bigvee_{i \in F} S^1\right)$$
而右边的正向极限就是无限个$\mathbb{Z}$的自由积$*_{i \in I} \mathbb{Z}$。

3. 直观的“字”类比 #

你可以把这个无限自由群想象成所有由无限多个生成元（每个圆周对应一个生成元）组成的有限长度的字：每个生成元对应绕对应圆周一圈的环路，字的乘法就是环路的拼接，同伦等价就是字的化简（比如绕一个圆周一圈再反向绕一圈，就等价于常环路，对应字里的$a a^{-1}$可以消掉）。这个类比和无限自由积的定义完全匹配，能帮你快速建立直观认知。

备注：内容来源于stack exchange，提问作者permutation_matrix