Topology: Fundamental Concepts, Manifolds & Applications

1. Topological Spaces

A topological space (X, τ) consists of a set X and a collection τ of open sets satisfying: (1) ∅, X ∈ τ; (2) arbitrary unions of elements of τ are in τ; (3) finite intersections of elements of τ are in τ. Metric topology: open balls B(x,ε) generate the topology on metric spaces. Hausdorff (T₂) spaces: distinct points have disjoint neighborhoods. Continuous maps: f: X→Y is continuous iff f⁻¹(U) is open for every open U ⊂ Y. Homeomorphism: continuous bijection with continuous inverse — topological equivalence. Famous example: coffee mug ≈ donut (genus-1 torus). Compactness: every open cover has a finite subcover. Heine-Borel: compact subsets of ℝⁿ are closed and bounded. Connectedness: no partition into two nonempty open sets.

2. Fundamental Group

The fundamental group π₁(X, x₀) captures "holes" via loops. A loop: continuous map γ: [0,1] → X with γ(0) = γ(1) = x₀. Homotopy: continuous deformation of one loop into another. π₁ is a group under path concatenation (modulo homotopy). Simply connected: π₁ = {e} (no holes) — examples: ℝⁿ, Sⁿ for n ≥ 2. π₁(S¹) = ℤ: loops counted by winding number. π₁(T²) = ℤ × ℤ: two independent loops. Van Kampen's theorem: computes π₁ from decompositions. Covering spaces: p: X̃ → X with local homeomorphisms. Universal cover: simply connected covering space, unique up to isomorphism. Applications: Gauss-Bonnet theorem connects topology to curvature.

3. Homology & Cohomology

Singular homology: H_n(X) detects n-dimensional "holes." Chain complex: C_n → C_{n-1} → ... → C₀, boundary operator ∂: ∂² = 0. H_n = ker(∂_n)/im(∂_{n+1}) = cycles/boundaries. H₀: connected components. H₁: loops (abelianization of π₁). H₂: cavities (trapped volumes). Betti numbers: β_n = rank(H_n). Euler characteristic: χ = Σ(-1)ⁿβ_n = V - E + F (for polyhedra). Mayer-Vietoris sequence: computes homology from decompositions. Cohomology: dual construction, H^n(X) with cup product gives ring structure. De Rham cohomology: differential forms on manifolds, H^n_dR ≅ H^n (de Rham theorem). Poincaré duality: H_k(M) ≅ H^{n-k}(M) for closed oriented n-manifolds.

4. Manifolds & Differential Topology

Smooth manifold: locally diffeomorphic to ℝⁿ, with smooth transition maps. Examples: Sⁿ, Tⁿ, projective spaces RP^n, CP^n, Lie groups. Tangent bundle: TM = ⨆ T_pM, vector bundle over M. Differential forms: Ω^k(M), exterior derivative d: Ω^k → Ω^{k+1}. Stokes' theorem: ∫_M dω = ∫_{∂M} ω — unifies fundamental theorems of calculus, Green's, Stokes', divergence. Classification of surfaces: orientable genus-g surfaces characterized by Euler characteristic χ = 2-2g. Poincaré conjecture (Perelman, 2003): every simply connected closed 3-manifold is homeomorphic to S³. Exotic structures: ℝ⁴ has uncountably many smooth structures (unique in all other dimensions!).

5. Applications

Topological Data Analysis (TDA): persistent homology tracks topological features across scales. Persistence diagrams and barcodes visualize multi-scale structure. Applications: protein structure analysis, materials science (porous media), sensor networks. Computational topology: algorithms for homology (Smith normal form), persistent homology (Ripser, GUDHI). Physics: topological insulators (materials with protected surface states), topological quantum computing (anyons). Knot theory: Jones polynomial, HOMFLY polynomial, applications to DNA topology and polymer physics. Network topology: graph theory fundamentals, Euler characteristic of simplicial complexes. Machine learning: topological loss functions, topological regularization, topology-preserving dimensionality reduction.

Try it live

Everything above runs in your browser — open Spirograph and change the parameters while it is running. Nothing is installed, nothing is uploaded, the whole model lives in one tab.