Eine Standardoperation für simpliziale Komplexe, die jedes Simplex durch eine Sammlung kleinerer Simplexe ersetzt, die entstehen, indem man den Schwerpunkt (Baryzentrum) eines Simplex mit den Schwerpunkten seiner Faces verbindet; so entsteht ein feinerer simplizialer Komplex mit demselben zugrundeliegenden Polyeder.

Prinzip

Für jedes Simplex σ in einem simplizialen Komplex K berechne die Schwerpunkte aller Faces von σ und bilde Simplexe, deren Eckpunkte die Schwerpunkte in der Inklusionsordnung der Faces sind; die Iteration ergibt beliebig feine Triangulierungen und erhält PL-Typ und Homotopie-Typ.

Demonstration

Beispiel: Für ein 2-Simplex (Dreieck) mit Ecken v0,v1,v2 nimm das Baryzentrum b des Dreiecks und die Baryzentrums der Kanten; verbinde b mit den Kantenbaryzentren und Eckpunkten, um sechs kleinere Dreiecke zu erzeugen, die das ursprüngliche Dreieck triangulieren. Auf einem simplizialen Komplex einer Fläche ergibt dies eine feinere Triangulation zur stückweise-linearen Approximation.

Fehlanwendung

Eine baryzentrische Unterteilung auf eine Menge von Polygone anzuwenden, die kein simplicialer Komplex sind (z. B. überlappende Polygone ohne Face-Inzidenzdaten), ohne zuvor eine simpliciale Struktur zu definieren; die kombinatorischen Regeln setzen wohldefinierte Faces und Inklusionen voraus.

Konsequenz

Die baryzentrische Unterteilung liefert einen Komplex mit kleineren Simplex-Durchmessern; sie verfeinert die kombinatorische Struktur, macht Abbildungen nach genügend Iterationen oft simplicial und erhält Homologie und Homotopie-Typ unter geometrischer Realisierung.

Umkehrung

Es gibt keine eindeutige globale Umkehroperation: Eine Vergröberung einer baryzentrischen Unterteilung erfordert Wahlentscheidungen (stellare oder bistellare Operationen) und kann den kombinatorischen Typ ändern; die Unterteilung ist im Allgemeinen nicht invertierbar ohne zusätzliche Struktur.

Abgrenzung

Definiert für simpliziale Komplexe und endliche simpliziale Mengen; nicht unmittelbar definiert für beliebige CW-Komplexe oder allgemeine topologische Räume ohne vorherige Triangulation; die Erhaltung der PL-Struktur bei hohen Dimensionen erfordert Vorsicht.

Semantische Spannung

Wird oft anderen Triangulierungsverfeinerungen (stellare, kantenweise) gegenübergestellt: Die baryzentrische Unterteilung ist kanonisch und kombinatorisch einfach, erhöht aber schnell die Anzahl der Scheitel, was einen Zielkonflikt zwischen Kanonizität und kombinatorischer Explosion erzeugt.

Synthese

Die Baryzentrische Unterteilung ist die kanonische Regel, die jedes Simplex durch aus den Baryzentren der Faces gebildete Simplexe ersetzt und so feinere Triangulierungen erzeugt, die die geometrische Realisierung bewahren und zur Verfeinerung von Abbildungen und Invarianten dienen.