Un complexe polyédral est une collection de polyèdres convexes (de dimensions variées) dans un espace vectoriel réel, assemblés le long de faces communes de sorte que l'intersection de deux polyèdres soit une face de chacun, produisant une structure stratifiée de type cellule.

Principe

La règle organisatrice est la compatibilité face-à-face : les cellules sont des polyèdres convexes, leurs faces sont incluses comme cellules de dimension inférieure, et la condition d'intersection impose une cohérence combinatoire et géométrique au complexe.

Démonstration

Exemple : un complexe simplicial est un cas particulier où tous les polyèdres sont des simplexes ; plus généralement, les décompositions de Voronoi, les cônes polyédraux (fans) et les décompositions cellulaires de variétés polyédrales sont des instances de complexes polyédraux.

Mauvaise application

Considérer comme complexe polyédral une décomposition cellulaire arbitraire dont les cellules ne sont pas des polyèdres convexes ou dont les intersections ne sont pas des faces (par exemple des cellules qui se recouvrent avec une intersection non-face) constitue une mauvaise application.

Conséquence

Une reconnaissance correcte permet d'utiliser des invariants combinatoires (f-vecteur, poset des faces), des méthodes piecewise-linear et le calcul d'invariants topologiques via des arguments de type CW, et facilite l'emploi de techniques en géométrie polyédrale et tropicale.

Inversion

La réversion est un CW-complexe général ou un espace stratifié sans contrainte de convexité : les cellules peuvent être des disques topologiques arbitraires et les intersections ne sont pas forcément des faces de polyèdres convexes, perdant ainsi la structure linéaire.

Limite

Portée : collections finies ou localement finies de polyèdres convexes dans des espaces vectoriels réels avec recollement face-à-face ; exclut les cellules non convexes, les complexes définis hors d'un cadre affine réel et les décompositions ne satisfaisant pas la propriété d'intersection par faces.

Tension sémantique

Tension entre 'complexe polyédral' et 'complexe simplicial' ou 'CW-complexe' : les complexes simpliciaux imposent une structure de simplexe et une rigidité, tandis que les CW-complexes sont plus souples mais abandonnent la convexité polyédrale et la linéarité.

Synthèse

Un complexe polyédral est un assemblage face-à-face de polyèdres convexes formant une structure stratifiée de type cellule : la convexité et la règle d'intersection par faces lui confèrent contrôle combinatoire et linéaire, autorisant des méthodes en topologie piecewise-linear et en géométrie polyédrale.