示例1：圆环面 T² = S¹ × S¹

将圆环面视为正方形对边粘合的结果。取 U 为去掉一点的环面（同胚于开圆盘挖去中心，基本群为 ℤ），V 为一个小邻域（同胚于开圆盘，基本群平凡）。则：

于是：

但这是错误的！问题在于 U ∩ V 不连通（实际为环带，基本群为 ℤ）。正确做法是取两个重叠的“环形带”：U 和 V 均为圆环（基本群 ℤ），交集为两个重叠扇区（同胚于两个不相交开圆盘，但需调整使其连通）——最终可得 π₁(T²) = ℤ × ℤ。

示例2：玫瑰花丛（Wedge Sum）∨_{i=1}^n S¹

取 n 个圆周在一点 x₀ 粘合。令 U 为除第 n 个圆外所有圆的邻域（同胚于 ∨_{i=1}^{n-1} S¹），V 为第 n 个圆的开邻域（同胚于开圆盘），则 U ∩ V 为穿孔圆盘（同胚于圆环，基本群 ℤ）。

归纳可得：

这是自由群最自然的拓扑实现——也为群论中“自由群存在性”提供了构造性证明。

示例3：实射影平面 ℝP²

将 ℝP² 视为球面 S² 对径点粘合。取 U 为去掉北极的像（同胚于开圆盘），V 为去掉南极的像（同胚于开圆盘），则 U ∩ V 同胚于圆环 S¹ × (0,1)，基本群为 ℤ。

包含映射诱导：

于是：

这与经典结果一致——实射影平面的基本群为二阶循环群。

从群到群oids：为什么基础版本是“特例”？

传统塞弗特-范坎彭定理仅处理单基点基本群，但拓扑空间中不同基点的基本群可能不同构（如圆环）。当 U ∩ V 不连通时，固定单一基点会丢失关键信息。

Brown 于1967年引入基本群oids Π₁(X)（对象为点，态射为路径同伦类），其满足：

即群oids 的 pushout 在拓扑范畴中存在。此时无需基点限制，定理天然适用于多连通交集。

更进一步，若考虑带基点的相对同伦群oids，可构造高维版本——这正是现代“同伦类型论”（Homotopy Type Theory）的拓扑基础。

与范畴论的深刻联系：为什么它是“泛性质”的体现？”

设 i: U ∩ V → U、j: U ∩ V → V 为包含映射，则：

意味着对任意群 G 和同态 f: π₁(U) → G、g: π₁(V) → G，若 f ∘ i_ = g ∘ j_，则存在唯一同态 h: π₁(X) → G 使得图交换。

这正是 pushout 的泛性质——说明基本群函子 π₁ 将开覆盖的 pushout 图映射为群范畴中的 pushout 图。这也解释了为何它对同伦等价保持不变。

教学启示：如何向学生讲透这一定理？

建议采用“三步教学法”：

1. 可视化：用橡皮筋绕环面/圆环演示路径粘合，强调“交集上的匹配”；
2. 构造性：给定具体空间（如双环面），手动分解、计算生成元与关系；
3. 反例批判：构造交集不连通的反例，引出群oids必要性。

避免一上来就摆出群同态图——先建立几何直觉，再形式化抽象。