Topology Summary

Real Analysis · Axiom Academy

SUMMARY Topology and Metric Spaces How metric spaces generalize distance, and how open sets, compactness, and connectedness unify the foundational theorems of real analysis. A metric d abstracts distance to any set via four axioms, and open sets built from it satisfy the topology axioms: and X are open, arbitrary unions of opens are open, and finite intersections of opens are open (complements give the closed sets). Compactness (every open cover has a finite subcover) is the central concept: in it means exactly closed and bounded (Heine–Borel), and the continuous image of a compact set is compact — which is why the Extreme Value Theorem holds. Connectedness formalizes "one piece," and the continuous image of a connected set is connected — the structural reason behind the Intermediate Value Theorem. Density ( is dense in ) and fixed-point theorems (Banach: unique fixed point for a contraction; Brouwer: existence on a disk) round out the toolkit that powers modern analysis. A metric space (X, d) equips an arbitrary set with a notion of distance, letting the machinery of limits and convergence run far beyond — on function spaces, sequence spaces, and discrete sets alike. Examples: Euclidean distance, the taxicab metric, the discrete metric, and the supremum norm on function spaces. Watch out for: different metrics can be equivalent (same open sets, hence same convergent sequences) yet measure distance differently. Core Concept Open & Closed Sets

This is the written version of the interactive lesson above. See the full Real Analysis course.