A covering space of X is a space X̃ with a local homeomorphism p: X̃ → X such that every point has an evenly covered neighborhood. Covering spaces provide a way to 'unwind' a space and relate its fundamental group to the structure of covering space. The universal cover is the simply connected covering space containing all others.
A covering space provides a systematic way to "unfold" a space that has complicated loops. You already know the fundamental group π₁(X, x₀) captures the essentially different loops in X. Covering spaces are the geometric objects that correspond to subgroups of this group — each covering space reveals a different partial unfolding of X, making hidden loop structure visible.
The formal definition: a covering space is a space X̃ together with a map p: X̃ → X (the covering map) such that every point x ∈ X has an evenly covered open neighborhood U — meaning p⁻¹(U) is a disjoint union of open sets in X̃, each mapped homeomorphically onto U by p. Think of p as a projection from multiple "sheets" of X̃ down to X. The canonical example is p: ℝ → S¹ defined by p(t) = e^{2πit} — the real line wraps around the circle infinitely many times. Over each small arc of S¹ there are infinitely many disjoint intervals in ℝ, each mapping homeomorphically onto that arc.
The deep structure is the correspondence between covering spaces and subgroups of π₁(X). Given a connected covering space X̃ of X, the induced map p*: π₁(X̃, x̃₀) → π₁(X, x₀) is injective, and its image is a subgroup of π₁(X, x₀). Different covering spaces correspond to different subgroups — the more of the fundamental group that "lifts" to a loop in X̃ (rather than becoming contractible), the larger the subgroup. The universal cover X̃ corresponds to the trivial subgroup: it is simply connected (π₁ = 0) and is covered by all other covering spaces. For S¹, the universal cover is ℝ, consistent with π₁(S¹) ≅ ℤ.
The deck transformations — homeomorphisms X̃ → X̃ that commute with p — form a group that acts freely on each fiber p⁻¹(x). For a universal cover, this group is isomorphic to π₁(X) itself. The topology of X is recovered as the quotient X̃ / π₁(X). This correspondence between the geometry of covering spaces, the algebra of subgroups, and the action of deck transformations is one of the clearest examples of the interplay between algebraic and topological thinking, and it is the prototype for the broader theory of fiber bundles and principal G-bundles.