Eine Technik der algebraischen und geometrischen Topologie, die stetige Abbildungen zwischen triangulierbaren Räumen durch simpliziale (auf Simplex stückweise-lineare) Abbildungen auf geeignet verfeinerten Triangulierungen ersetzt und so die kombinatorische Untersuchung von Homotopie, Grad und anderen topologischen Invarianten ermöglicht.

Prinzip

Unterteile die Triangulation des Definitionsbereichs (und ggf. des Zielbereichs) so lange, bis das Bild jedes kleinen Simplex in der Sternumgebung eines Scheitelpunkts der Zieltriangulation enthalten ist; wähle dann eine Abbildung der Scheitelpunkte, die solche Scheitel respektiert, und erweitere diese simplizial, sodass die simpliziale Abbildung homotop zur ursprünglichen Abbildung ist.

Demonstration

Für eine stetige Abbildung einer triangulierten Sphäre in sich selbst verfeinere die Triangulation des Definitionsbereichs, bis das Bild jedes Simplex in der Sternumgebung eines Zielscheitels liegt; definiere eine Abbildung auf den Scheitelpunkten durch Auswahl dieser Scheitel und erweitere simplizial — die resultierende simpliziale Abbildung hat denselben Grad und dieselbe Homotopieklasse wie die ursprüngliche.

Fehlanwendung

Den Versuch, eine simpliziale Approximation ohne ausreichend feine Unterteilung oder auf nicht-triangulierbaren Räumen durchzuführen; dies kann eine simpliziale Abbildung erzeugen, die nicht homotop zur ursprünglichen ist oder relevante Invarianten nicht erfasst.

Konsequenz

Ermöglicht die Reduktion stetiger topologischer Probleme auf endliche kombinatorische Probleme und erleichtert die Berechnung von Homotopieklassen, induzierten Abbildungen in der Homologie und algebraischen Invarianten mittels diskreter Algorithmen und kombinatorischer Argumente.

Umkehrung

Auf simpliziale Approximation zugunsten rein analytischer oder singulärer Kettenmethoden zu verzichten; dies ist möglich, verzichtet jedoch auf endliche kombinatorische Repräsentationen und kann konstruktive oder algorithmische Herangehensweisen an Homotopieprobleme verschleiern.

Abgrenzung

Erfordert triangulierbare (oder PL-) Räume und stetige Abbildungen zwischen ihnen; für wilde topologische Räume, nicht triangulierbare Mannigfaltigkeiten oder Abbildungen ohne lokale Kontrolle ist die simpliziale Approximation ohne zusätzliche Struktur möglicherweise nicht anwendbar.

Semantische Spannung

Steht nahe, ist aber unterscheidbar von PL-Approximation, CW-Approximation und Techniken der singulären Homologie; die Spannung liegt zwischen kombinatorischer Endlichkeit (simplicial) und analytischer Allgemeinheit (singulär) mit Abwägungen zwischen Berechenbarkeit und allgemeiner Anwendbarkeit.

Synthese

Simplicial Approximation wandelt stetige Abbildungen auf triangulierbaren Räumen in homotope simpliziale Abbildungen auf verfeinerten Komplexen um; durch Diskretisierung der Topologie macht sie Homotopie und algebraische Invarianten kombinatorisch und algorithmisch zugänglich.