Eine Folge von Mengen, indexiert durch die nichtnegativen ganzen Zahlen, zusammen mit Rand- und Degenerationsabbildungen, die die simplicialen Identitäten erfüllen; ein kombinatorisches Objekt, das Simplexe und ihre Verklebungen modelliert und Homotopietypen darstellt.

Prinzip

Kombinatorische Daten so organisieren, dass n-Simplexe, ihre Ränder und Degenerationen fonktoriell kodiert werden und die algebraischen Relationen der Abbildungen geometrischen Relationen zwischen Simplexen entsprechen.

Demonstration

Der Nerv einer kleinen Kategorie ist eine simpliciale Menge: Seine n-Simplexe sind komponierbare n-Tupel von Morphismen. Die standardrepräsentable simpliciale Menge Δ[n] hat genau ein nicht-degeneriertes Simplex in Grad n und modelliert das kombinatorische n-Simplex.

Fehlanwendung

Eine beliebige Folgen von Mengen mit einigen Abbildungen einfach als simpliciale Menge zu werten, ohne alle simplicialen Identitäten oder die Degenerationsabbildungen zu prüfen, führt zu falschen Homotopieinvarianten.

Konsequenz

Richtig angewandt erlauben simpliciale Mengen eine geometrische Realisierung und modellieren Räume bis auf Homotopie; sie unterstützen Konstruktionen wie Kan-Faserungen, homotopische Kolimiten und simpliciale Homotopietheorie.

Umkehrung

Ein kosimpliciales Objekt kehrt die Varianz um: statt kontravarianter Mengen hat es kovariante Strukturabbildungen und eignet sich eher für kochain‑artige Konstruktionen als für kombinatorische Simplexe.

Abgrenzung

Erfordert keine Einbettung in den euklidischen Raum und unterscheidet sich von einem simplicialen Komplex; Fragen wie Endlichkeit, lokale Endlichkeit oder Mannigfaltigkeitsstruktur sind außerhalb dieses Begriffs, sofern nicht anders angegeben.

Semantische Spannung

Eine Spannung besteht gegenüber dem ‚simplicialen Komplex‘ (geometrisch, ohne Degenerationen) und gegenüber ‚Δ-Set/Delta-Set‘ (das Degenerationen weglassen kann): nahe verwandte Begriffe teilen Simplexe, unterscheiden sich jedoch in der erlaubten Degenerationsstruktur.

Synthese

Eine simpliciale Menge ist die kategorische Kodierung von Simplexen und deren kombinatorischen Relationen durch Rand- und Degenerationsabbildungen, die die simplicialen Identitäten erfüllen und so ein flexibles, rein kombinatorisches Modell der Homotopietheorie bieten.