Ein Polyederkomplex ist eine Sammlung konvexer Polyeder (verschiedener Dimensionen) in einem reellen Vektorraum, die entlang gemeinsamer Seiten so zusammengefügt sind, dass die Schnittmenge zweier Polyeder eine Seite von jedem ist und so eine zellartige stratifizierte Struktur entsteht.

Prinzip

Das ordnende Prinzip ist face-to-face-Kompatibilität: Zellen sind konvexe Polyeder, ihre Seiten sind als Zellen niedrigerer Dimension enthalten, und die Schnittbedingung erzwingt kombinatorische und geometrische Kohärenz im Komplex.

Demonstration

Beispiel: ein simplizialer Komplex ist ein Spezialfall, in dem alle Polyeder Simplexe sind; allgemeiner sind Voronoi-Zerlegungen, Polyederfächer und Zellzerlegungen von polyedrischen Mannigfaltigkeiten Beispiele für Polyederkomplexe.

Fehlanwendung

Es ist eine Fehlanwendung, eine beliebige Zellzerlegung, deren Zellen keine konvexen Polyeder sind oder deren Schnitte keine Seiten sind (z. B. überlappende Zellen mit nicht-face-Schnitt), als Polyederkomplex zu bezeichnen.

Konsequenz

Die korrekte Identifikation erlaubt kombinatorische Invarianten (f-Vektor, Face-Poset), stückweise-lineare Methoden und die Berechnung topologischer Invarianten mittels CW-ähnlicher Argumente sowie Anwendungen in polyedrischer und tropischer Geometrie.

Umkehrung

Die Umkehrung ist ein allgemeiner CW-Komplex oder ein stratifizierter Raum ohne Konvexitätszwang: Zellen können beliebige topologische Scheiben sein und Schnitte müssen nicht Seiten konvexer Polyeder sein, wodurch lineare Struktur verloren geht.

Abgrenzung

Geltungsbereich: endliche oder lokal endliche Sammlungen konvexer Polyeder in reellen Vektorräumen mit face-to-face-Verklebung; schließt nichtkonvexe Zellen, in nichtrealen oder nichtvektoriellen Kontexten definierte Komplexe ohne affinen Aufbau und Zerlegungen ohne Face-Intersections aus.

Semantische Spannung

Spannung besteht zwischen 'Polyederkomplex' und 'simplicial complex' oder 'CW-Komplex': simpliziale Komplexe verlangen Simplexstruktur und Steifigkeit, während CW-Komplexe flexibler sind, aber die polyedrische Konvexität und Linearität aufgeben.

Synthese

Ein Polyederkomplex ist eine face-to-face-Zusammenfügung konvexer Polyeder, die eine stratifizierte, zellartige Struktur bildet: Konvexität und Face-Intersections geben kombinatorische und lineare Kontrolle und ermöglichen piecewise-linear Topologie sowie polyedrisch-algebraische Methoden.