Local homology and invariance of dimension dependency map

Parent map · Full theorem DAG

This map shows the container's direct articles. Nested containers are collapsed and clickable; dependency edges are rolled up from their leaves. What the colours mean

fully proved14Proved, and every prerequisite is fully proved too.

graph LR n0["Relative homology in a contractible ambient space"]:::fully_proved n1("Homeomorphic nonempty Euclidean open sets have equal dimension"):::fully_proved n2("Local homology is unchanged on an open neighborhood"):::fully_proved n3("Local homology of positive-dimensional Euclidean space"):::fully_proved n4["External chapter: Homology<br/><small>10 items · 10 fully proved</small>"]:::boundary n4 --> n0 n4 -.-> n0 n4 --> n2 n4 -.-> n2 n4 -. 3 .-> n3 n0 -.-> n3 n2 -->|3| n4 n2 -.-> n1 n2 --> n3 n3 -.-> n1 click n0 "../../../../roadmap/homology/computations-and-applications/local-homology-and-dimension/index.html#contractible-ambient-relative-homology" "Relative homology in a contractible ambient space — 1 item · 1 fully proved" click n1 "../../../../roadmap/homology/computations-and-applications/local-homology-and-dimension/index.html#invariance-of-dimension-open-sets" "Homeomorphic nonempty Euclidean open sets have equal dimension — 1 item · 1 fully proved" click n2 "../../../../roadmap/homology/computations-and-applications/local-homology-and-dimension/index.html#local-homology-open-neighborhood" "Local homology is unchanged on an open neighborhood — 1 item · 1 fully proved" click n3 "../../../../roadmap/homology/computations-and-applications/local-homology-and-dimension/index.html#punctured-euclidean-local-homology" "Local homology of positive-dimensional Euclidean space — 1 item · 1 fully proved" click n4 "../../../chapters/homology.html" "Homology — 10 items · 10 fully proved"