18. Szimplíciális homológia, kohomológia

18.1. Definíció. Legyen X egy szimplíciális komplexus, vagy még általánosabban, egy delta-komplexus. Mivel a szimplexek egyben cellák is, X tekinthető CW-komplexusnak is. Az X szimplíciális lánc-komplexusa:

ΔS⋅zimpl(X ) = ΔC⋅W (X ),
az X szimplíciális homológiái illetve kohomológiái:
  Szimpl            CW                 n                n
H n    (X; G ) = H n  (X; G )  ,    H Szimpl(X; G ) = H CW (X; G )
Ugyanez a definíció átvihető tér-párokra is.

18.2. Megjegyzés. Még általánosabb fogalom: a szimplíciális halmazok. Íme, egy másik bevezető.

18.3. Megjegyzés. A 16.4. Megjegyzés alapján könnyen látható, hogy Δsimpl tisztán kombinatórikai objektum, míg Δ és ΔCW a topológiában élnek.

18.4. Megjegyzés. Ebben a jegyzetben nem foglalkozunk szimplíciális homológiával, de érdemes megjegyezni, hogy a 17.6. Feladat állítása átfogalmazható: az X szimplíciális lánc-komplexusa, Δsimpl(X), lánc-homotóp az X szinguláris lánc-komplexusával, tehát a megfeleő homológia- és kohomológia-csoportok izomorfak.