alors, X et Y ont le même type d’homotopie.
Si on remplace la troisième propriété de H par la propriété plus forte : ∀y∈Y,∀t∈
[0,1],H(t,y) = y, alors H definit une rétraction par déformation de X sur Y.
Exercice 2.5 Donner un exemple de deux espaces qui ont le même type d’homotopie
mais qui ne sont pas homéomorphes.
Le groupe fondamental Voir première partie du cours de M. Pocchiola.
2.3 Complexes simpliciaux
Soit S={v0,v1,···,vd}un ensemble de d+1 points de Rk. Les points de Ssont
dits affinement indépendants si
d
∑
i=0tivi=0 et d
∑
i=0ti=0=⇒t0=t1=···=td=0
Dans ce cas, l’enveloppe convexe de Sest un simplexe de dimension d (ou d-
simplexe). En d’autres termes, un d-simplexe est l’enveloppe convexe d’un en-
semble de (d+1)points affinement indépendants. Par convention, l’ensemble
vide est un simplexe de dimension −1. Ainsi, les 0-simplexes sont les points, les
1-simplexes les segments, les 2-simplexes les triangles, les 3-simplexes les tétraè-
dres, etc...
Les faces d’un simplexe sont les simplexes engendrés par les sous-ensembles de
ses sommets. La dimension d’une face est sa dimension en tant que simplexe, i.e.
le nombre de sommets qui l’engendre moins un. Si
τ
est une face d’un simplexe
σ
, on note
τ
≤
σ
.
Par exemple, si v0v1v2est un triangle, l’ensemble de ses faces (listé par dimen-
sions croissantes) est {/0,v0,v1,v2,v0v1,v1v2,v2v0,v0v1v2}.
Définition 2.6 Un complexe (simplicial) K est une union finie de simplexes telle
que :
1) toute face d’un simplexe de K est aussi un simplexe de K,
2) l’intersection de deux simplexes de K est soit vide, soit un simplexe de dimension
inférieure ou égale qui est leur face commune de dimension maximale.
Des exemples de complexes sont donnés figures 3 et 2. Les triangulations de
polygones du plan ou plus généralement de surfaces sont des exemples de com-
plexes.
Les simplexes formant un complexe sont appelés ses faces. Le j-squelette d’un
complexe Kest l’ensemble des j-faces de K. On dit que K est de dimension n (ou
est un n-complexe) si la plus grande des dimensions de ses faces est n. On dit
qu’un n-complexe Kest homogène ou de dimension pure si chacune de ses faces
est incidente à au moins une face de dimension n. L’exemple de la figure 3 est de
dimension 3 mais n’est pas homogène.
4