Topological and Metric Spaces

foundations+3 moreresultsequationsdepends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)definition 6.1: Topological space6.1 Topological spacedefinition 6.2: Open set6.2 Open setdefinition 6.3: Closed set6.3 Closed setdefinition 6.4: Neighbourhood6.4 Neighbourhooddefinition 6.5: Open cover6.5 Open coverdefinition 6.6: Continuous map6.6 Continuous mapdefinition 6.7: Homeomorphism6.7 Homeomorphismdefinition 6.9: Compact set6.9 Compact setdefinition 6.13: Connected space6.13 Connected spacedefinition 6.15: Path-connected space6.15 Path-connected s…definition 6.17: Simply connected space6.17 Simply connected…definition 6.20: Winding number6.20 Winding numberdefinition 6.24: Metric6.24 Metricproposition 6.10: Continuous images of compact sets6.10 Continuous image…theorem 6.11: Heine–Borel on ℝ6.11 Heine–Borel on ℝtheorem 6.12: Heine–Borel in ℝ^N6.12 Heine–Borel in ℝ…theorem 6.14: Intervals are connected6.14 Intervals are co…proposition 6.16: prop:top-path-implies-connected6.16 propositionlemma 6.19: Continuous argument along a path6.19 Continuous argum…lemma 6.22: Nearby loops wind alike6.22 Nearby loops win…proposition 6.23: The punctured plane is not simply connected6.23 The punctured pl…proposition 6.28: \varepsilon–\delta characterization6.28 \varepsilon–\del…lemma 6.30: Lebesgue number6.30 Lebesgue numbertheorem 6.31: Compactness and sequential compactness6.31 Compactness and…equation 6.12: eq:top-euclidean-metriceq. (6.12)
The chain of Topological and Metric Spaces: 25 of 28 objects, read left to right from what the chapter assumes to what tests it. Solid lines are declared logical edges, dashed ones were inferred from the structure of the source. Click any node to open its own chain.

Open the whole graph · Read this chapter · What is checked, and what is still owed