覆盖空间

假设 是 弧连通 且 局部弧连通 的 拓扑空间。那么 被称为 的覆盖空间，如果 是一个 满射 连续映射，且对于每个 ，都存在一个 开邻域 ，使得 的每个 连通分支 都通过 同胚地 映射到 上。