基本群局部性质的检验映射刻画

道路连通拓扑空间的基本群的局部性质可能对覆盖空间理论的适用性构成阻碍。广义覆盖映射是经典覆盖映射概念的推广，依据唯一提升性质来定义。广义覆盖映射的存在性完全取决于对标准覆盖构造的唯一道路提升性质的验证。给定任意道路连通度量空间 $X$ 以及子群 $H\leq\pi_1(X,x_0)$，我们借助由固定“检验”域到 $X$ 的映射所诱导的 $\pi_1$-子群格上的一个新闭包算子，刻画了相对于 $H$ 的唯一道路提升性质。利用这一检验映射框架，我们发展了一种统一方法来比较广义覆盖的存在性与若干相关性质。