Coverings

A covering space of a topological space X is a space C together with a continuous surjective map p : C → X such that each point in X has an open neighborhood U, where p⁻¹(U) is a union of disjoint open subsets each mapped homeomorphically onto U. This systematically “lifts” local structure into the covering.

One powerful idea is *lifting paths*: given a continuous path in the base space, a covering can lift that path upstairs. This reveals deep connections with the fundamental group and loop behavior.

Covering spaces encode the action of the fundamental group on fiber sets. Deck transformations (automorphisms of the cover) correspond to group actions that permute sheets — a rich algebraic-topological structure.