Covering space

In mathematics, specifically algebraic topology, a covering map (also covering projection) is a continuous function from a topological space to a topological space such that each point in has an open neighborhood evenly covered by (as shown in the image). In this case, is called a covering space and the base space of the covering projection. The definition implies that every covering map is a local homeomorphism.

Covering space

In mathematics, specifically algebraic topology, a covering map (also covering projection) is a continuous function from a topological space to a topological space such that each point in has an open neighborhood evenly covered by (as shown in the image). In this case, is called a covering space and the base space of the covering projection. The definition implies that every covering map is a local homeomorphism.