Eine kombinatorische Struktur gegeben durch eine Sammlung K endlicher Mengen (Simplexe) auf einer Menge von Ecken V, so dass jede Einermenge in K liegt und K unter Bildung nichtleerer Teilmengen abgeschlossen ist: wenn σ∈K und τ⊆σ, dann τ∈K. Simplexe werden nach Dimension (|σ|−1) geordnet.

Prinzip

Baue topologische Informationen aus kombinatorischen Bausteinen (Ecken, Kanten, Dreiecke usw.), indem man Abschluss unter Faces fordert, sodass die Schnittmenge von Simplexen wieder ein Simplex (eine Face) ist.

Demonstration

Ein Dreieck mit seinen drei Kanten und drei Ecken ist ein 2-dimensionaler Simplizialkomplex. Der Clique-Komplex eines Graphen nimmt jede vollständige Teilmenge als Simplex; die Grenze eines Tetraeders ergibt einen 2-Komplex, der einer Sphäre entspricht.

Fehlanwendung

Simplizialkomplexe mit willkürlichen Hypergraphen verwechseln (diese sind nicht notwendigerweise unter Teilmengen abgeschlossen), ein eindeutiges geometrisches Einbettung annehmen oder jede Sammlung von Simplexen ohne Prüfung der Abschlussbedingung als Komplex behandeln.

Konsequenz

Simplizialkomplexe liefern diskrete Modelle topologischer Räume und ermöglichen die Berechnung von Homologie, Homotopie-Approximationen durch Unterteilungen, die Euler-Charakteristik und kombinatorische Konstruktionen wie Nerven und baryzentrische Unterteilung.

Umkehrung

Umkehr ist ein CW-Komplex oder Zellenkomplex, bei dem Anhangabbildungen nicht notwendigerweise simplizial sind und kombinatorischer Abschluss durch Anhangsdaten ersetzt wird; oder ein Hypergraph, bei dem Teilmengenabschluss entfällt.

Abgrenzung

Gilt für endliche oder lokal endliche Sammlungen endlicher Simplexe, die unter Faces abgeschlossen sind; schließt beliebige Zellenkomplexe, nicht unter Teilmengen abgeschlossene Sammlungen und Strukturen aus, die kontinuierliche Anhangabbildungen anstelle kombinatorischer Faces erfordern.

Semantische Spannung

Simplizialkomplex versus Triangulation: Der Komplex ist ein kombinatorisches Objekt, eine Triangulation ist ein Homöomorphismus der geometrischen Realisierung eines Komplexes auf einen topologischen Raum. Gegenüber Hypergraph: Hypergraphs fehlen der Teilmengenabschluss.

Synthese

Ein Simplizialkomplex verpackt Rauminformation in Simplexen und ihren Faces: endliche Mengen, unter Teilmengen abgeschlossen, kodieren Topologie kombinatorisch und ermöglichen algebraische Invarianten sowie diskrete Konstruktionen zur Approximation stetiger Räume.