A continuous surjective map p : E -> B such that every point b in B has an open neighborhood U for which p^{-1}(U) is a disjoint union of open sets in E, each mapped homeomorphically onto U; these homeomorphic slices are called sheets and p is called a covering projection.

Principle

The organizing idea is local triviality with discrete fiber: a covering map is a special local homeomorphism whose fibers are discrete and uniformly presented over evenly covered neighborhoods, enabling lifting of paths and homotopies and giving a relation to the fundamental group via deck transformations.

Demonstration

The exponential map R -> S^1, t -> e^{2πit}, is the prototypical covering: each point on the circle has an arc neighborhood whose preimage is a disjoint union of intervals in R, each mapped homeomorphically; universal covering spaces provide simply connected covers for path-connected, locally path-connected, semilocally simply connected spaces.

Misapplication

Mistaking any local homeomorphism for a covering map or applying covering-space arguments on spaces that lack local path-connectedness or semilocal simple connectedness can fail; likewise, assuming every covering is regular (Galois) is incorrect without symmetry of deck transformations.

Consequence

Correct identification of a covering yields powerful tools: unique path lifting, classification of coverings by subgroups of the fundamental group, transfer of topological properties between base and cover, and construction of universal covers for algebraic-topological computations.

Reversal

The conceptual opposite are quotient maps that identify points nonlocally or fibrations with non-discrete fibers: rather than discrete uniform sheets, these reverse notions glue or collapse structure and obstruct lifting and deck transformations.

Boundary

Covering maps require the topological hypotheses that permit even covering (commonly local path-connectedness and semilocal simple connectedness for classification); they exclude maps with non-discrete fibers or with branching (branched covers require a different formalism).

Semantic Tension

Covering map is close to but distinct from fiber bundle and local homeomorphism: all coverings are local homeomorphisms and are 0-dimensional fiber bundles, but they differ from general bundles by discreteness of fibers and from arbitrary local homeomorphisms by global sheet structure and lifting properties.

Synthesis

A covering map is a discrete-sheeted local trivialization of a space over another: it provides evenly covered neighborhoods enabling path and homotopy lifting, connects to fundamental group structure via deck transformations and subgroup classification, and excludes branching or non-discrete-fiber phenomena.