塞弗特-范坎彭定理

塞弗特-范坎彭定理，将一个拓扑空间的基本群，用覆盖这空间的两个开且道路连通的子空间的基本群来表示。设X为拓扑空间，有两个开且道路连通的子空间，覆盖X，即X=，并且是非空且道路连通。取中的一点为各空间的基本群的基点。那么从到及的包含映射导出相应基本群的群同态：（以下省略基本群中的基点。