# Topology Topology is the study of the properties a space keeps under continuous deformation — stretching, bending, twisting, anything short of tearing or gluing. It is [[Geometry|geometry]] with the metric deleted: distance, angle, and curvature are forgotten, and what remains is connectivity, holes, and the global shape of things. That austerity is the point. Because topological properties survive every continuous change of coordinates, they are the invariants a [[Dynamical_system|dynamical system]] cannot shake off, the features of a [[Network_theory|network]] no redrawing alters, and the reason a [[Torus|torus]] and a coffee mug are the same object while a sphere is forever different. Built on [[Set_theory|set theory]] and feeding directly into [[Mathematical_analysis|analysis]], [[Differential_geometry|differential geometry]], and the vault's whole dynamics corridor, topology is the mathematics of *what kind of thing a space is*, prior to any measurement of it. ## From bridges and polyhedra to a discipline The subject has a precise birthday problem: Euler's 1736 resolution of the Königsberg bridges — crossable each-once or not, purely a question of connection pattern — which simultaneously founded [[Graph_theory|graph theory]], and his [[Polyhedron|polyhedron]] formula V − E + F = 2 (1750), the first topological invariant. Listing coined *Topologie* in 1847; Möbius produced his one-sided band in 1858. The modern subject begins with [[Henri_Poincaré|Henri Poincaré]]'s *Analysis Situs* (1895), which invented algebraic topology wholesale, and with Hausdorff's axiomatization of topological spaces via open sets (1914), which made "continuous" a definition rather than an intuition — the branch now called [[General_topology|general topology]]. The axioms are spare: a topology on a set is any family of "open" subsets closed under unions and finite intersections; a function is continuous when preimages of open sets are open; two spaces are *homeomorphic* — topologically identical — when a continuous bijection with continuous inverse connects them. ## Invariants: how to prove two spaces differ Showing two spaces are the same takes one clever map; showing they differ takes an invariant — a quantity every homeomorphism preserves. The [[Euler_characteristic|Euler characteristic]] χ is the prototype: for a closed orientable [[Surface_(topology)|surface]] of [[Genus_(mathematics)|genus]] g (g holes), χ = 2 − 2g, so the sphere (χ = 2) can never be deformed to the torus (χ = 0). Connectedness and compactness are cruder invariants doing daily work in [[Mathematical_analysis|analysis]], where compactness is the property that makes optima exist at all — a fact [[Mathematical_optimization|optimization]] leans on constantly. Poincaré's deeper invention was to attach algebra to space: the fundamental group counts the essentially different loops, homology counts holes in each dimension, and both convert geometric questions into [[Group_theory|group-theoretic]] ones. This traffic between shape and [[Abstract_algebra|algebra]] proved so systematic that formalizing it forced a new language into existence — [[Category_theory|category theory]] (Eilenberg and Mac Lane, 1945) began life as bookkeeping for topology's functors. The program's summit: Perelman's proof (2002–03) of the Poincaré conjecture, confirming that a simply connected closed 3-[[Manifold|manifold]] is the 3-sphere. ## Manifolds: where topology meets calculus A [[Manifold|manifold]] is a space locally indistinguishable from ℝⁿ — a sphere looks flat to a small enough inhabitant — and manifolds are where topology, [[Calculus|calculus]], and [[Physics|physics]] transact. Smooth structure lets one do analysis; topology dictates what the analysis can achieve. The hairy ball theorem (Brouwer, 1912) forbids a nonvanishing continuous tangent field on the 2-sphere: somewhere the wind is calm, because χ ≠ 0 — a purely topological meteorological fact. [[Lie_group|Lie groups]] are manifolds whose group operations are smooth, fusing symmetry with shape; [[Symplectic_manifold|symplectic manifolds]] provide the [[Phase_space|phase-space]] geometry of [[Hamiltonian_mechanics|Hamiltonian mechanics]], where [[Liouville's_theorem_(Hamiltonian)|Liouville-type conservation laws]] are topological-geometric constraints on flow; and [[General_relativity|general relativity]] makes spacetime itself a 4-manifold whose global topology — open, closed, connected how — is a physical question the local field equations do not settle. [[Geodesic|Geodesics]], [[Tensor|tensors]], and curvature belong to the metric layer above, but the manifold's topology decides which global structures that layer can carry. ## Topology as a systems instrument The vault's dynamics corridor runs on topological theorems. Fixed-point results — Brouwer's (1910): every continuous self-map of a closed ball fixes a point — underwrite existence proofs from [[Nonlinear_system|nonlinear]] equilibria to Nash's theorem in [[Game_theory|game theory]] (1950). The Poincaré–Bendixson theorem confines planar flows to equilibria or limit-cycle [[Oscillation|oscillations]], which is precisely why [[Chaos_theory|chaos]] needs three dimensions and why the [[Lorenz_system|Lorenz system]]'s strange [[Attractor|attractor]] — a [[Fractal|fractal]] object with non-integer dimension — lives in ℝ³. Index arguments classify equilibria; [[Bifurcation_theory|bifurcation theory]] tracks how attractor topology reorganizes as parameters slide; [[Catastrophe_theory|catastrophe theory]] (Thom, 1960s–70s) classified the generic reorganizations outright. Discrete structures join through the same door: a [[Graph_theory|graph]] is a 1-dimensional complex, [[Percolation|percolation]] asks when a giant connected component appears — a topological [[Phase_transition|phase transition]] — and modern topological data analysis reads the homology of point clouds to find holes in data. Even knot-theoretic questions — which loops in ℝ³ can be untied — became laboratory chemistry when circular DNA turned out to knot. ## How to read topology from the systems shelf Three takeaways travel well. Topology is the science of properties that need no [[Cartesian_coordinate_system|coordinates]] — so topological claims about a [[Complex_system|complex system]] survive remodeling, rescaling, and change of variables. Its invariants are obstructions: χ, genus, and homology tell you what *cannot* happen, complementing the vault's [[Simulation|simulation]] habit, which shows what can. And its history is a template for abstraction paying rent: forgetting distance looked like a loss until it exposed the structure distance had been hiding. **On the spine:** [[Geometry]] · [[Manifold]] · [[Euler_characteristic]] · [[Dynamical_system]] · [[Category_theory]]. ## Wikipedia : Wikitube **Strict pair:** [Wikipedia](https://en.wikipedia.org/wiki/Topology) : [Wikitube](https://en.wikitube.io/wiki/Topology) ## Previous hub tags Hubs: `Systems`. Portals: [[PORTAL_Systems]], [[PORTAL_Dynamical_system]], [[PORTAL_Graph_theory]], [[PORTAL_Information_theory]], [[PORTAL_Complex_system]]. --- *Repopulated 2026-08-12 · redlink fill · 0 deletions.*