Complexe simplicial

Pour les articles homonymes, voir Complexe.

Représentation d'un complexe simplicial.

En mathématiques, un complexe simplicial est un objet géométrique déterminé par une donnée combinatoire et permettant de décrire certains espaces topologiques en généralisant la notion de triangulation d'une surface. Un tel objet se présente comme un graphe avec des sommets reliés par des arêtes, sur lesquelles peuvent se rattacher des faces triangulaires, elles-mêmes bordant éventuellement des faces de dimension supérieure…

Cette structure est particulièrement utile en topologie algébrique, car elle facilite le calcul des groupes d'homologie de certains espaces comme les polyèdres et certaines variétés topologiques qui admettent une décomposition en complexe simplicial.

La structure de complexe simplicial est enrichie dans celle d'ensemble simplicial, puis généralisée par celle de CW-complexe en autorisant des rattachements de faces non combinatoires.

Approche géométrique

Définition

La définition de complexe simplicial géométrique^[1] fait appel à celle de simplexe affine. Dans un espace affine réel de dimension n, un simplexe est défini comme l'enveloppe convexe d'un ensemble de n+1 points dont aucun ne peut être obtenu comme barycentre des autres. Ces points sont appelés les sommets du simplexe. L'ensemble des sommets peut être déduit du simplexe comme étant l'ensemble de ses points extrémaux. Par exemple, un triangle ou un tétraèdre sont des simplexes, ayant respectivement 3 et 4 sommets. Un segment est aussi un simplexe dont les deux sommets sont ses extrémités.

Les faces d'un simplexe sont les enveloppes convexes des sous-ensembles des sommets. Le terme « face » comprend donc ici les sommets (singletons), les arêtes, les faces triangulaires et ainsi de suite en dimension supérieure.

Un complexe simplicial géométrique est un ensemble K de simplexes d'un espace affine tel que :

• Toutes les faces de chaque simplexe de K appartiennent aussi à K ;
• L'intersection de deux simplexes non disjoints doit exactement être une de leurs faces communes. Elle est l'enveloppe convexe de leurs sommets communs.

L'exemple le plus simple d'un complexe simplicial est l'ensemble des faces d'un simplexe. Ainsi, un triangle est composé de trois sommets, trois côtés et une surface intérieure. Dans l'espace, un tétraèdre est composé de quatre sommets, de six arêtes, de quatre faces triangulaires et d'un volume intérieur.

Polyèdre et triangulation

Le polyèdre associé à un complexe simplicial géométrique K est simplement la réunion de tous les simplexes qu'il contient. Il est noté | K | . La donnée d'un complexe simplicial et d'un homéomorphisme entre son polyèdre et un espace topologique X constitue une triangulation de X.

Ainsi un cube ne se présente pas naturellement comme un complexe simplicial, notamment parce que ses faces ne sont pas triangulaires, mais il admet plusieurs triangulations possibles parce que chaque face peut être divisée en deux triangles.

Application simpliciale

Une application simpliciale entre deux complexes simpliciaux est une application continue entre leurs polyèdres qui associe aux sommets de chaque simplexe des sommets d'un même simplexe (sans être nécessairement injective) et dont la restriction à chaque simplexe est affine. Une telle application est donc complètement déterminée par les images des sommets.

Ces applications simpliciales permettent d'approcher n'importe quelle application continue entre deux espaces triangulés.

Approche combinatoire

Puisque chaque simplexe est entièrement déterminé par l'ensemble de ses sommets, un complexe simplicial géométrique peut être identifié à l'aide d'un objet combinatoire associé : le complexe simplicial abstrait.

Définition

Un complexe simplicial abstrait est la donnée d'un ensemble V (dont les éléments sont appelés sommets) et d'un ensemble Σ de parties finies non vides (les faces) de V qui soit stable par sous-parties non vides. Autrement dit, toute partie non vide d'une face est aussi une face. Il est en général requis que tout sommet appartienne à un nombre fini non nul de faces.

Les faces de cardinal 2 sont aussi appelées arêtes en référence au vocabulaire de la théorie des graphes. Par analogie, pour tout entier n, une face de dimension n (dite aussi n-face) est une face de cardinal n+1.

Si la dimension des faces est bornée, la dimension d'un complexe simplicial est la dimension maximale des faces. Dans le cas contraire, cette dimension est infinie.

Un complexe de dimension 0 est donc simplement un ensemble sans structure additionnelle. Un complexe de dimension 1 est un graphe.

La relation de sous-complexe est définie par l'inclusion de l'ensemble des sommets et l'inclusion de l'ensemble des faces.

Cas particuliers et opérations

• Sur tout ensemble X sans structure additionnelle, il existe un unique complexe simplicial (combinatoire) de dimension 0. Il s'agit de l'ensemble des singletons de X. Sa réalisation topologique est X muni de la topologie discrète.
• Sur tout ensemble fini non vide V de cardinal n+1, il existe un unique complexe simplicial de dimension n, défini par l'ensemble des sous-parties finies de V. Sa réalisation topologique est un simplexe de dimension n.
• Plus généralement, pour tout ensemble V et pour tout entier naturel n, l'ensemble $\mathcal{P}_n(V)$ des parties de V de cardinal au plus n+1 forment un complexe simplicial de dimension n.
• Pour tout entier naturel n, le n-squelette d'un complexe simplicial (V; Σ) est défini par l'ensemble des faces de dimension inférieure ou égale à n + 1. Autrement dit, $\Sigma_n=\Sigma\cap \mathcal{P}_n(V)$.
• La restriction d'un complexe simplicial à un sous-ensemble de sommets est défini par l'ensemble des faces incluses dans ce sous-ensemble. Autrement dit, $\Sigma|_W=\mathcal{P}(W)\cap \Sigma$.
• La réunion de deux complexes simpliciaux ayant des ensembles de sommets disjoints est définie par les réunions de faces (α∪β) où α et β sont des faces respectives des complexes initiaux.
• La subdivision barycentrique d'un complexe simplicial K = (V; Σ) a pour sommets les faces de K et pour faces les ensembles finis non vides de faces de K totalement ordonnés par l'inclusion. La subdivision barycentrique d'un triangle plein est ainsi composée de sept sommets, de douze arêtes et de six faces triangulaires.

Réalisation géométrique

Étant donné un complexe simplicial K = (V; Σ), sa réalisation géométrique (notée |K|) est un espace topologique construit par recollement de simplexes, qui étendent en toute dimension la suite : segment, triangle, tétraèdre…

Constructions

Une première méthode de construction la produit comme partie d'un espace vectoriel réel dont une base (e_v) décrit l'ensemble des sommets de K, par exemple l'ensemble des applications presque nulles de l'ensemble des sommets dans l'ensemble des réels :

$E = \mathbb R^{(V)}.$

Si l'ensemble des sommets est fini, cet espace vectoriel est muni d'une unique topologie séparée. Cependant, si l'ensemble des sommets est infini, la topologie à considérer sur cet espace vectoriel n'est pas la topologie produit mais la topologie cohérente ou topologie faible. L'adjectif « faible » (en anglais : weak) se retrouve dans le « W » de CW-complexe.

La réalisation géométrique est alors définie comme la réunion des enveloppes convexes des faces combinatoires, c'est-à-dire :

$|K| = \bigcup_{\alpha \in \Sigma} \left\{ \sum_{v \in \alpha} \lambda(v).e_v \bigg| \lambda \in (\mathbb{R}^+)^\alpha, \sum_{v\in\alpha}\lambda(v) = 1\right\}.$

Une autre méthode consiste à définir une union disjointe de tous les simplexes à l'aide de coordonnées barycentriques puis à la quotienter de façon à réaliser le recollement, autrement dit :

$\forall \alpha \in \Sigma,\ \Delta_\alpha = \left\{\lambda \in (\mathbb{R}^+)^\alpha, \sum_{v\in\alpha}\lambda(v) = 1\right\},$

$\forall \beta \subset \alpha,\ \forall \lambda \in \Delta_{\alpha},\ (\lambda_{|\alpha - \beta}=0 \Rightarrow \lambda \sim \lambda_{|\beta})$

$|K| = \bigsqcup_{\alpha \in \Sigma} \Delta_{\alpha} / \sim.$

L'intérêt de cette seconde méthode est qu'elle s'étend à la réalisation des ensembles simpliciaux.

Propriétés

Cette topologie confère à | K | une structure de CW-complexe. En particulier, un complexe simplicial est un espace topologique séparé et même normal. Une partie de cet espace est fermée si et seulement si son intersection avec chaque cellule (ici les cellules sont les n-faces) est fermée.

• Un complexe simplicial de dimension 0 est un espace topologique discret.
• Un complexe simplicial de dimension 1 est un graphe.
• Un complexe simplicial de dimension 2 est un espace triangulé.
• Plus généralement, en toute dimension, on appelle triangulation d'un espace topologique un homéomorphisme entre cet espace et un complexe simplicial. Bien sur, tout espace topologique n'est pas triangulable.

Cette construction historique est assez restrictive :

• Dans cette construction, les sommets d'une face sont distincts ; de plus, deux faces ne peuvent pas avoir exactement les mêmes sommets. Il faut par exemple au minimum 14 triangles, 21 arêtes et 7 sommets pour trianguler un tore (ce qui donne le polyèdre de Császár (en)). D'où l'idée de lever ces restrictions. Cela mène à la structure de Δ-complexe. Avec cette nouvelle structure, deux triangles suffisent pour représenter un tore, une sphère ou un plan projectif. le calcul des groupes d'homologie s'en trouve grandement simplifié.

Δ-complexe

Les Δ-complexes généralisent les complexes simpliciaux avec une construction similaire à celle des CW-complexes.

On appelle simplexe standard Δ_n de dimension n l'enveloppe convexe dans $\mathbb R^n$ des points e₀, e₁, ..., e_n, où e₀ = (0,...,0) et où e_i = (0...,0,1,0,...,0), le 1 étant placé à la i-ème position. L'ordre des sommets du simplexe standard a ici une importance capitale : non seulement, il oriente le simplexe lui-même mais en plus, il fournit automatiquement une orientation automatique de toutes les faces ; Le signe de l'orientation intervient dans la définition du bord ci-dessous.

Pour définir un Δ-complexe, on commence par prendre la réunion disjointe d'une famille de simplexes standards disjoints (de dimension variable) . On quotiente alors l'espace topologique obtenu par une relation d'équivalence que l'on définit de la façon suivante : On choisit arbitrairement une collection de familles de faces de même dimension (une dimension par famille de faces), chaque face faisant partie de l'un des simplexes dont on vient de faire la réunion disjointe (rien n'empeche de prendre plusieurs face du même simplexe). On identifie alors toutes les faces de chaque famille en utilisant les applications linéaires préservant l'ordre des sommets. Notez qu'un effet collatéral est l'identification de certains sommets.

Les Δ-complexes peuvent sembler plus généraux que les complexes simpliciaux mais en fait tout Δ-complexe est homéomorphe à un complexe simplicial. Il suffit en effet d'effectuer deux subdivisions barycentrique successives pour transformer un Δ-complexe en complexe simplicial.

Exemples

• Le tore - Il est possible de trianguler le tore avec un sommet s, trois arêtes a,b,c et deux faces R et V. On part de la représentation classique du tore par un carré dont on recolle les côtés opposés et on coupe ce carré en deux pour obtenir des triangles. On obtient ainsi une structure de Δ-complexe. La Bouteille de Klein peut aussi être triangulée de la même façon, mais en inversant le sens d'une des connexions entre les deux triangles.
• Le ruban de Moebius - Le ruban de Moebius diffère du tore de deux manière. D'une part, on ne recolle qu'un bord du carré, le deuxième bord reste libre. D'autre part, on fait pivoter avant de recoller. D'où le diagramme ci-contre. Cette fois, on a deux sommets s et t, quatre arêtes a, b, c et d et toujours deux faces R et V.
• Le plan projectif - Le plan projectif plus difficile à visualiser vu qu'il ne se plonge pas dans l'espace usuel. On l'obtient en recollant les bord du ruban de Moebius suivant le diagramme. Il existe une autre façon de recoller qui elle donne une bouteille de Klein. (Dans ce cas il n'y aura qu'un seul sommet comme pour le tore.) Ici, on a deux sommets s et t, trois arêtes a, b, c et deux faces R et V.

• 

  Le tore

• 

  Le ruban de Moebius

• 

  Le plan projectf

Homologie simpliciale

Considérons un Δ-complexe $X=(A_0,\dots,A_n)$ où A₀ est l'ensemble des sommets et A_n l'ensemble des n-faces.

Pour chaque entier naturel n, on note Δ_n(X) le groupe abélien libre $\Z^{(A_n)}$ de base A_n. Les éléments de Δ_n(X) seront appelés les n-chaines. En d'autre termes, une n-chaine est une combinaisons linéaires à coefficients entiers de n-faces du complexe X.

On définit le bord d'un simplexe de la façon suivante :

$\partial [s_0,\dots,s_n] =\sum_{i=0}^n (-1)^i [s_0,\dots,s_{i-1},s_{i+1}\dots, s_n]$

Par exemple :

• Le bord d'un segment est égal à son extrémité privé de son origine $\partial[a,b] = [b]-[a]$
• le bord d'un triangle est égal à la somme des trois côtés avec un signe moins tenant compte de l'orientation

$\partial [a,b,c] = [a,b]-[a,c]+[b,c]$

• le bord d'un tétraèdre est donné par la formule

$\partial [a,b,c,d] = [b,c,d]-[a,c,d]+[a,b,d]-[a,b,c]$

Par linéarité, le bord se prolonge en un morphisme de groupe δ_n de Δ_n(X) vers Δ_{n − 1}(X). On a $\partial_i\circ\partial_{i+1}=0$ et obtient ainsi un complexe de chaine . Les groupes d'homologie de l'espace X sont les $H_i(X)=\ker \partial_i / Im\ \partial_{i+1}$.

Même si ce n'est pas évident a priori, si deux Δ-complexes sont homéomorphes et plus généralement, s'ils ont le même type d'homotopie, alors leurs groupes d'homologie sont identiques.

Calculs effectifs

On peut vérifier sur quelques exemples que le calcul des groupes d'homologie d'un espace triangulé par un Δ-complexe est un jeu d'enfants.

Homologie du tore

Dans le cas du tore T , $\Delta_0(T) = \Z.s$, $\Delta_1(T) = \Z.a\oplus \Z.b\oplus \Z.c$ et $\Delta_2(T) = \Z.R\oplus\Z.V$. L'application $\delta_1 : \Delta_1(T)\to \Delta_0(T)$ est nulle (voir le schéma). D'autre part δ₂(R) = c − b − a et δ₂(V) = b + a − c.

Vu que δ₁ = 0, on a $H_0(T)=\Delta_0(T)\sim \Z$. D'autre part $Im\; \delta_2=\Z.(a+b-c)$ et $Ker\; \delta_2=\Z.(R-V)$, ce qui donne $H_1(T)=\Delta_1(T)/Im\; \delta_2\sim \Z^2$ et $H_2(T)=Ker\;\delta_2\sim \Z$.

On peut interpréter les choses ainsi : $H_0(T)=\Z$ signifie que T est connexe. $H_1(T)=\Z^2$ signifie que T se referme sur lui-même dans deux directions différentes. $H_2(T)=\Z$ signifie que T enferme un volume.

Homologie du ruban de Moebius

Dans le cas du ruban de Moebius, M , $\Delta_0(M) = \Z.s\oplus\Z.t$, $\Delta_1(M) = \Z.a\oplus \Z.b\oplus \Z.c\oplus \Z.d$ et $\Delta_2(M) = \Z.R\oplus\Z.V$.

$\delta_1=\delta_1(b)= t-s,\ \delta_1(c)= 0,\ \delta_1(d)=s-t$ et donc $H_0(M)=\Delta_0(M)/Im\ \delta_1 \sim \Z$.

On a $Ker\ \delta_1 = \Z.c+\Z (b-a) + \Z (a+b)$ et $Im\ \delta_2 = \Z.(b-a-c) +\Z. (c-b-a)$. Finalement $H_1(M)\sim \Z$.

δ₂ est injective donc H₂(M) = 0.

Homologie du plan projectif

Dans le cas du plan projectif, M , $\Delta_0(P) = \Z.s\oplus\Z.t$, $\Delta_1(P) = \Z.a\oplus \Z.b\oplus \Z.c$ et $\Delta_2(P) = \Z.R\oplus\Z.V$.

$\delta_1(a)=\delta_1(b)= t-s,\ \delta_1(c)= 0$ et donc $H_0(M)=\Delta_0(M)/Im\ \delta_1 \sim \Z$.

On a $Ker\ \delta_1 = \Z.c+\Z (b-a)$ et $Im\ \delta_2 = \Z.(-a+b+c) +\Z. (a-b+c)$. Finalement $H_1(P)\sim \Z/2\Z$. il y a une petite finesse ici, c n'est pas dans $Im\ \delta_2$ mais 2c y est .

δ₂ est injective donc H₂(P) = 0.

Résultats généraux.

• H₀(X) est un groupe abélien libre engendré par les composantes connexes de X.
• Si X a plusieurs composantes connexes $(X_i)_{i\in I}, H_n(X) = \oplus_{i\in I} H_n(Xi)$.
• Si X est connexe, H₁(X) est l'abélianisé du groupe fondamental π₁(X).
• En notant Sⁿ la sphère de dimension n, on a $H_0(S_n)=\Z$, $H_n(S_n) = \Z$ et H_p(S_n) = 0 dans tous les autres cas.

Voir aussi

• Ensemble simplicial
• Groupe fondamental
• Homologie et cohomologie
• Homotopie
• Topologie cohérente

Notes

1. ↑ Voir par exemple celle donnée par Glenn E. Bredon dans (en) Topology and Geometry, Definition IV.21.1, Graduate Text in Mathematics 139, Springer-Verlag 1993.

Références

• (en) Edwin Spanier (de), Algebraic Topology, Springer Verlag, 1994 (ISBN 978-0-38794426-5)
  Les complexes simpliciaux y sont étudiés en détail.
• (en) Allen Hatcher (en), Algebraic Topology, CUP, 2002
  On y trouvera tout sur les Δ-complexes et l'homologie simpliciale.
• Complexes simpliciaux et triangulation par Victor Mouquin, EPFL