Ein (abstrakter) Simplizialkomplex K auf einer Eckenmenge V ist eine Familie endlicher Teilmengen (Simplexe) von V, die abgeschlossen ist unter Teilmengenbildung: gilt σ ∈ K und τ ⊆ σ, dann τ ∈ K. Geometrische Realisierungen kleben Simplexe an ihren Facetten zusammen und modellieren stückweise-lineare Topologie.

Prinzip

Kodiert die kombinatorischen Inzidenzen von Ecken, Kanten, Dreiecken usw., so dass topologische Invarianten (z. B. Homologie, bis auf bestimmte Äquivalenzen Homotopietyp) kombinatorisch über Randoperatoren und Kettenkomplexe berechenbar sind.

Demonstration

Ein Dreieck mit seinen Kanten und Ecken ist ein 2-dimensionaler Simplizialkomplex; der Nerv einer offenen Überdeckung ist ein abstrakter Simplizialkomplex, dessen Realisierung die Schnittmuster der Überdeckung widerspiegelt.

Fehlanwendung

Jede Verklebung von Simplexen als Simplizialkomplex zu betrachten, ohne zu prüfen, dass Schnitte von Simplexen Facetten sind (oder das Verwechseln mit CW-Komplexen oder simplizialen Mengen), führt zu falschen kombinatorischen Beschreibungen.

Konsequenz

Korrekt eingesetzt liefert er endliche kombinatorische Modelle für topologische Räume, geeignet für algorithmische Homologieberechnung, diskrete Morse-Theorie und persistente Homologie in der angewandten Topologie.

Umkehrung

Die Kategorische/Homotopische Verallgemeinerung verweist auf simpliziale Mengen oder CW-Komplexe; diese verallgemeinern Simplizialkomplexe (lassen degenerierte Simplexe oder angehängte Zellen zu) und lockern die strikte Forderung, dass Schnitte Facetten sein müssen.

Abgrenzung

Formal sowohl abstrakt als auch geometrisch definiert; Einschränkungen sind etwa Endlichkeit oder Reinheit bei Bedarf, und die abstrakte Definition schließt Strukturen mit nicht-simplizialen Identifikationen oder Zellen, die an Nicht-Facetten geklebt sind, aus.

Semantische Spannung

Im Spannungsverhältnis zu simplizialen Mengen und CW-Komplexen: Simplizialkomplexe sind kombinatorisch strikt (keine Identifikationen außerhalb von Facetten), während simpliziale Mengen und CW-Komplexe größere Flexibilität bieten, jedoch weniger kombinatorische Einfachheit.

Synthese

Ein Simplizialkomplex ist das kombinatorische Gerüst aus nach Facetten abgeschlossenen Simplexen, dessen geometrische Realisierung stückweise-lineare Räume aufbaut; er liefert handhabbare Kettenkomplexe für die algebraische Topologie und Anwendungen in der Algorithmik.