← Back to Math Roadmap

Topology

The mathematics of shape, space, and continuous deformation — coffee cups are donuts.

What Is Topology?

▼
Topology studies properties of spaces that are preserved under continuous deformations — stretching, twisting, crumpling, and bending — but not tearing or gluing. A topologist sees a coffee cup and a donut as the same object because each has exactly one hole. This is the famous joke: a topologist cannot tell the difference between a coffee cup and a donut. Formally, two spaces are homeomorphic if there is a continuous bijection with a continuous inverse between them. Properties that survive such deformations are topological invariants: connectedness, compactness, the number of holes, and dimension.

Fundamental Group and Homotopy

▼
The fundamental group pi one of a space captures information about loops in the space. Two loops are considered equivalent if one can be continuously deformed into the other while staying within the space. The group operation is concatenation — tracing one loop then the other. For a circle, the fundamental group is the integers: a loop that winds n times around the circle is distinct from one that winds m times (unless n equals m). For a sphere, the fundamental group is trivial because any loop can be shrunk to a point. This distinction between the circle and the sphere reveals a fundamental topological difference that is invisible to other mathematical tools.

Homology and Betti Numbers

▼
Homology provides a systematic way to count holes of different dimensions in a space. The Betti numbers are the fundamental invariants: beta zero counts connected components, beta one counts one-dimensional holes (like the hole in a donut), beta two counts two-dimensional voids (like the inside of a sphere), and so on. For a torus (donut surface): beta zero equals one (connected), beta one equals two (two independent loops: around the tube and through the hole), beta two equals one (the enclosed void). Euler characteristic, the alternating sum of Betti numbers, equals V minus E plus F for polyhedra. For a sphere, the Euler characteristic is two. For a torus, it is zero.

Manifolds and Geometry

▼
A manifold is a topological space that locally looks like Euclidean space. The surface of the Earth is a 2-manifold: locally flat, globally curved. A Riemannian manifold adds a metric tensor that defines distances, angles, and curvature. General relativity models spacetime as a 4-dimensional Lorentzian manifold (with one time dimension and three spatial dimensions) whose curvature encodes gravity. The study of manifolds connects topology to differential geometry, analysis, and physics. The Poincare conjecture (proved by Perelman in 2003) states that the 3-sphere is the only simply connected closed 3-manifold — one of the hardest problems ever solved.

Key Concepts

▼
Key Concepts
Homeomorphism: a continuous bijection with continuous inverse — two spaces that are topologically identical. Homotopy: continuous deformation of one map into another. Compactness: every open cover has a finite subcover — essentially means "closed and bounded" in Euclidean space. Connectedness: the space cannot be partitioned into two disjoint non-empty open sets. Genus: the number of holes in a surface. A sphere has genus 0, a torus has genus 1, a double torus has genus 2.

Topology Explorer

▼
Visualize how shapes deform continuously. See how a coffee cup morphs into a donut, preserving the single hole throughout.