Topology Guide: Topological Spaces, Continuity, and Fundamental Groups
Introduction
Topology is the study of properties that are preserved under continuous deformations — stretching, bending, twisting, and compressing, but not tearing or gluing. A topologist is often described as a mathematician who cannot tell a coffee cup from a donut because both have a single hole and can be continuously deformed into one another. This famous joke captures the essence of topology: it focuses on qualitative geometric properties rather than precise measurements.
The subject emerged from the work of Poincaré in the late nineteenth century. He recognized that many geometric problems required understanding the global shape of spaces rather than their local metric properties. His Analysis Situs laid the foundation for algebraic topology, a field that uses algebraic tools to study topological questions.
Topological Spaces
A topological space is a set X together with a collection of open subsets satisfying three axioms: the empty set and X itself are open, arbitrary unions of open sets are open, and finite intersections of open sets are open. The collection of open sets is called a topology on X.
Metrics and Topologies
Every metric space — a set with a distance function — gives rise to a topology. The open balls centered at a point form a neighborhood basis, and open sets are unions of open balls. However, not every topology comes from a metric. Spaces whose topology does come from a metric are called metrizable.
The standard topology on R is generated by open intervals. The product topology on Rⁿ is generated by open rectangles. The subspace topology on a subset inherits open sets by intersecting with open sets of the larger space. These examples connect topology to real analysis, where open sets provide the language for continuity.
Continuity in Topological Spaces
A function f: X → Y between topological spaces is continuous if the preimage of every open set in Y is open in X. This definition generalizes the epsilon-delta definition from analysis and captures the intuitive idea that points that are close together in X map to points that are close together in Y.
Homeomorphisms are continuous bijections with continuous inverses. Two spaces are homeomorphic if there exists a homeomorphism between them — they are the same topological space. The classic example is that an open interval and the real line are homeomorphic, even though the interval has finite length and the line does not. Topology sees no difference because one can be stretched to match the other.
Compactness
Compactness is one of the most important concepts in topology. A space is compact if every open cover has a finite subcover. In Rⁿ, the Heine-Borel Theorem characterizes compact sets as those that are closed and bounded. In general metric spaces, compactness is equivalent to being complete and totally bounded.
Sequential Compactness
In metric spaces, compactness is equivalent to sequential compactness: every sequence has a convergent subsequence. This property is essential for analysis. The Bolzano-Weierstrass Theorem that every bounded sequence in Rⁿ has a convergent subsequence is a special case.
Continuous images of compact sets are compact. Continuous functions on compact sets attain maximum and minimum values. These theorems are the topological generalizations of the Extreme Value Theorem from calculus.
Connectedness
A space is connected if it cannot be divided into two nonempty disjoint open subsets. Connectedness captures the intuitive idea that the space is in one piece. The continuous image of a connected space is connected, and the Intermediate Value Theorem from calculus is a special case of this topological fact.
Path Connectedness
A stronger property is path connectedness: any two points can be joined by a continuous path. Every path-connected space is connected, but the converse is false. The topologist’s sine curve is connected but not path connected.
Path connectedness is closely related to the fundamental group. In a path-connected space, the fundamental group is independent of the basepoint, and the structure of the space is reflected in its group of loops.
Algebraic Topology
Algebraic topology uses algebraic invariants to distinguish topological spaces. The fundamental group π₁(X) associates a group to each topological space. Homology groups Hₙ(X) associate abelian groups. These invariants are functorial — continuous maps induce homomorphisms of the groups.
Fundamental Group
The fundamental group of a space at a basepoint consists of homotopy classes of loops based at that point. For the circle S¹, the fundamental group is Z — the integers, corresponding to the number of times a loop winds around the circle. For the sphere S², the fundamental group is trivial — every loop can be contracted to a point.
The fundamental group of a product space is the product of the fundamental groups. The Van Kampen Theorem computes the fundamental group of a union of spaces in terms of their individual fundamental groups and the fundamental group of their intersection.
Homology
Homology groups provide higher-dimensional invariants. The nth homology group detects n-dimensional holes. H₀ counts connected components, H₁ detects loops, H₂ detects voids, and so on. The Euler characteristic, which generalizes Euler’s formula V - E + F for polyhedra, is computed from the ranks of the homology groups.
The connection between topology and group theory is particularly strong. The fundamental group is a group, and covering spaces correspond to subgroups of the fundamental group. This correspondence allows topological problems to be transformed into algebraic ones.
Separation Axioms
Separation axioms describe how well points and closed sets can be separated by open sets. The Hausdorff property (T₂) — any two distinct points have disjoint neighborhoods — is satisfied by most spaces that arise in geometry and analysis. Metric spaces are Hausdorff, and all compact Hausdorff spaces behave particularly well.
Normal spaces (T₄) allow separation of disjoint closed sets by open sets. Urysohn’s Lemma states that in a normal space, any two disjoint closed sets can be separated by a continuous function. The Tietze Extension Theorem extends continuous functions from closed subsets to the whole space.
Dimension Theory
Dimension theory assigns a topological dimension to spaces. The small inductive dimension ind(X) is defined recursively: a point has dimension -1, and a space has dimension ≤ n if every point has arbitrarily small neighborhoods whose boundaries have dimension ≤ n-1.
The covering dimension dim(X) is defined using open covers: a space has covering dimension ≤ n if every open cover has a refinement with order ≤ n+1. For separable metric spaces, the small inductive dimension, the large inductive dimension, and the covering dimension all coincide.
Topological Dimension of the Cantor Set
The Cantor set is a totally disconnected compact subset of R with no interior. Its topological dimension is 0, despite having the cardinality of the continuum. The Menger sponge and Sierpinski carpet are examples of fractals with topological dimension 1 but Hausdorff dimension greater than 1.
Dimension theory connects topology to measure theory, where Hausdorff dimension provides a metric notion of dimension that can be fractional. The study of fractal dimensions has applications in dynamical systems and mathematical physics.
What is the difference between a topological space and a metric space? Every metric space is a topological space, but not vice versa. Topological spaces are defined by open sets alone, without requiring a distance function.
Why is compactness important? Compactness guarantees that continuous functions attain maxima and minima, that sequences have convergent subsequences, and that many constructions in analysis and geometry are well-behaved.
What does the fundamental group measure? The fundamental group measures the loops in a space that cannot be continuously contracted to a point. It captures the one-dimensional hole structure.
Manifolds and Classification
A topological manifold is a Hausdorff, second-countable topological space that is locally homeomorphic to Euclidean space. Manifolds are the central objects of study in topology. The classification of compact surfaces — the two-dimensional manifolds — is one of the classical achievements of topology.
Every compact connected surface is homeomorphic to a sphere, a connected sum of tori, or a connected sum of projective planes. The orientability and the Euler characteristic determine the surface uniquely. In higher dimensions, classification becomes dramatically more difficult, though significant progress has been made through surgery theory and the s-cobordism theorem.
Poincaré Conjecture
The Poincaré conjecture states that every simply connected closed three-manifold is homeomorphic to the three-sphere. Proved by Perelman in 2003, this theorem was one of the seven Millennium Prize Problems. Perelman’s proof used Ricci flow, a technique from differential geometry that deforms metrics to reveal the underlying topological structure.
The generalized Poincaré conjecture in higher dimensions was proved earlier by Smale (dimensions ≥ 5) and Freedman (dimension 4). These proofs used sophisticated algebraic and geometric techniques, including handlebody decompositions and the h-cobordism theorem.
Homotopy Theory
Homotopy theory studies continuous deformations of maps between topological spaces. Two maps are homotopic if one can be continuously deformed into the other. Homotopy equivalence is a weaker equivalence relation than homeomorphism — a space and a deformation retract are homotopy equivalent.
Higher homotopy groups πₙ(X) generalize the fundamental group by considering maps from the n-sphere to X. These groups are abelian for n ≥ 2 and are generally much harder to compute than homology groups. The homotopy groups of spheres have been a central object of study for decades.
How is topology used in other areas? Topology provides the language for continuity throughout mathematics. Differential geometry uses topology to study manifolds. Functional analysis uses topological vector spaces.
Real Analysis Guide — Group Theory Guide — Differential Geometry