Théorème d'Hurewicz
Un article de Wikipédia, l'encyclopédie libre.
Le théorème d'Hurewicz est une description du premier groupe d'homologie singulière d'un espace topologique X à l'aide du groupe fondamental de X.
[modifier] Notations
Soit X un espace topologique connexe par arcs. On note π1(X,x) le groupe fondamental de X de base :
- Ses éléments sont les classes d'homotopie de X de base x.
- La loi de groupe est la concaténation de lacets en x.
Si G est un groupe, on note [G,G] le sous-groupe normal de G engendré par les commutateurs de G. Le groupe abG: = G / [G,G] s'appelle l'abélianisé de G. Il est caractérisé par la propriété universelle suivante :
-
- Tout morphisme de groupe de G dans un groupe abélien se factorise à travers abG.
La construction de l'homologie singulière est supposée connue du lecteur. On note H * (X,Z) les groupes d'homologie à coefficients entiers.
[modifier] Énoncé
Théorème : Soit X un espace topologique connexe par arcs. Un lacet est, en tant que 1-chaine, un cycle. L'application de groupe induit un isomorphisme appelé isomorphisme d'Hurewicz :
Autrement dit, H1(X,Z) est naturellement l'abélianisé de π1(X,x)
[modifier] Exemples
Le théorème d'Hurewicz permet de calculer le premier groupe d'homologie connaissant le groupe fondamental :
Espace topologique | Description | Groupe fondamental | H1(.,Z) |
---|---|---|---|
Rn | Espace euclidien réel de dimension n | 0 (car espace contractible) | 0 |
S1 | Le cercle unité de C | Z (cf. ...) | Z |
PnR | L'espace projectif réel de dimension n | Z2 = Z / 2Z | Z2 |
Tn | Le tore de dimension n | Zn | Zn |
La somme de deux cercles, la figure du huit | L2 | Z2 | |
Σg | La surface orientée de genre g | < a1,...,b1,...,bg | [a1,b1]...[ag,bg] = 1 > | Z2g |