Décomposition cellulaire

En topologie géométrique, une décomposition cellulaire G d'une variété M est une décomposition de M comme l'union disjointe de cellules (espaces homéomorphes à n-boules B n ).

L'espace quotient M / G possède des points qui correspondent aux cellules de la décomposition. Il existe une application de M vers M / G, qui est munie de la topologie quotient. Une question fondamentale est de savoir si M est homéomorphe à M / G.

Définition[modifier | modifier le code]

Une décomposition cellulaire de est un recouvrement ouvert de ,avec une fonction pour qui:

  • Les cellules sont disjointes : pour tout , .
  • Aucun ensemble n'a pour image un nombre négatif : .
  • Les cellules ressemblent à des boules : pour tout et pour tout il existe une fonction continue c'est un isomorphisme et aussi .

Un complexe cellulaire est une paire est un espace topologique et est une décomposition cellulaire de .

Voir également[modifier | modifier le code]

Références[modifier | modifier le code]