Covering Space

Suppose that X^~,X are arcwise-connected and locally arcwise-connected topological spaces. Then (X^~,p) is said to be a covering space of X if p:X^~->X is a surjective continuous map with every x in X having an open neighborhood U such that every connected component of p^(-1)(U) is mapped homeomorphically onto U by p.

See also

Covering Map, Deck Transformation, Fundamental Group, Universal Cover

Explore with Wolfram|Alpha

Cite this as:

Weisstein, Eric W. "Covering Space." From MathWorld--A Wolfram Web Resource.

Subject classifications