The zero face induces an isomorphism in relative homology: local context
Project map · Chapter map · Full theorem DAG · Open textbook statement
This local map shows one dependency hop in either direction. The highlighted item is the current focus. fully proved9Proved, and every prerequisite is fully proved too.
graph LR
n0["The boundary and zero horn of a standard topological simplex"]:::fully_proved
n1["Standard-simplex boundary and horn pairs are good"]:::fully_proved
n2["The zero face identifies the two simplex point quotients"]:::fully_proved
n3["Binary-cover excision induces homology isomorphisms"]:::fully_proved
n4("Good-pair relative homology is reduced quotient homology"):::fully_proved
n5["The good-pair quotient comparison is natural"]:::fully_proved
n6("The zero face induces an isomorphism in relative homology"):::fully_proved
n7("The identity simplex generates relative simplex homology"):::fully_proved
n8("The first simplex computes homology relative to the second"):::fully_proved
n1 -.-> n8
n1 -.-> n6
n0 --> n7
n0 --> n1
n0 --> n2
n0 --> n6
n2 -.-> n8
n2 -.-> n6
n6 -.-> n8
n6 -.-> n7
n4 -.-> n8
n4 -.-> n6
n4 --> n5
n5 -.-> n8
n5 -.-> n6
n3 -.-> n6
click n0 "../../../../../roadmap/homology/computations-and-applications/post-excision-applications/index.html#standard-simplex-boundary-horn" "The boundary and zero horn of a standard topological simplex — 1 item · 1 fully proved"
click n1 "../../../../../roadmap/homology/computations-and-applications/post-excision-applications/index.html#standard-simplex-boundary-good-pairs" "Standard-simplex boundary and horn pairs are good — 1 item · 1 fully proved"
click n2 "../../../../../roadmap/homology/computations-and-applications/post-excision-applications/index.html#standard-simplex-zero-face-point-quotient" "The zero face identifies the two simplex point quotients — 1 item · 1 fully proved"
click n3 "../../../../../roadmap/homology/simplicial-and-singular/relative-homology/small-chains-and-excision/index.html#binary-cover-excision-homology-isomorphism" "Binary-cover excision induces homology isomorphisms — 1 item · 1 fully proved"
click n4 "../../../../../roadmap/homology/simplicial-and-singular/relative-homology/good-pair-quotient/index.html#good-pair-point-quotient-relative-homology" "Good-pair relative homology is reduced quotient homology — 1 item · 1 fully proved"
click n5 "../../../../../roadmap/homology/simplicial-and-singular/relative-homology/good-pair-quotient/index.html#good-pair-quotient-comparison-naturality" "The good-pair quotient comparison is natural — 1 item · 1 fully proved"
class n6 focus
click n6 "../../../../../roadmap/homology/computations-and-applications/post-excision-applications/index.html#standard-simplex-zero-face-relative-homology" "The zero face induces an isomorphism in relative homology — 1 item · 1 fully proved"
click n7 "../../../../../roadmap/homology/computations-and-applications/post-excision-applications/index.html#relative-simplex-fundamental-class" "The identity simplex generates relative simplex homology — 1 item · 1 fully proved"
click n8 "../../../../../roadmap/homology/computations-and-applications/post-excision-applications/index.html#double-simplex-relative-comparison" "The first simplex computes homology relative to the second — 1 item · 1 fully proved"