a covering space
A covering space is an 'unrolled' version of a space that wraps down onto it evenly, like an infinitely long spiral ramp projecting down onto a single circular floor. Imagine a helix — a spiral staircase rising forever — sitting above a circle: drop each point of the helix straight down and it lands on the circle, and every point of the circle has a whole stack of points above it, one per turn of the spiral. The helix covers the circle. Walking around the circle once lifts to climbing one full turn of the staircase, never quite returning to where you started. The covering space spreads the original out so its loops become open paths.
Precisely, a covering map is a continuous surjection p from a space C (the cover) onto a space X with this evenness property: every point of X has a neighbourhood U whose preimage in C is a disjoint stack of copies of U, each mapped down onto U homeomorphically — like a deck of identical cards lying over each patch. The real line covers the circle this way, via p(t) = (cos 2 pi t, sin 2 pi t), which wraps the line around the circle infinitely, stacking the integers all above one point. Covering the circle 'unwraps' it, and a loop that wound around n times downstairs lifts to a path that climbs by n steps upstairs without closing up — which is exactly why the circle's fundamental group is the integers.
Covering spaces are the geometric mirror of the fundamental group: there is a precise dictionary in which the coverings of a nice space correspond to the subgroups of its fundamental group, so you can study loops and holes by studying unwrappings, and vice versa. The most-unwrapped cover, the universal cover, is simply connected — every loop downstairs is killed once you lift it. This is among the most powerful tools in topology and geometry, turning hard questions about loops into cleaner questions about lifting. The honest caveat: covering theory behaves this cleanly only for reasonably tame spaces (connected, locally well-behaved); for pathological spaces the neat correspondence can break down.
The real line R covers the circle via p(t) = (cos 2 pi t, sin 2 pi t): each integer t = 0, 1, 2, ... lands on the same point (1, 0), so the whole set of integers sits stacked above that one point, and a short arc of the circle lifts to infinitely many disjoint short intervals of the line. A loop that runs around the circle once lifts to the path from t = 0 to t = 1 — an open segment that climbs one level rather than closing — which is precisely why pi_1 of the circle counts integer windings.
The line covers the circle: integers stack over one point, and a loop lifts to a non-closing path.
The clean correspondence between coverings and subgroups of the fundamental group holds only for suitably tame spaces (path-connected and locally nice); for pathological spaces it can fail.