En topología geométrica , una descomposición celular G de una variedad M es una descomposición de M como la unión disjunta de celdas (espacios homeomorfos a n -bolas B n ).
El espacio cociente M / G tiene puntos que corresponden a las celdas de la descomposición. Existe una función natural de M a M / G , a la que se le da la topología cociente . Una pregunta fundamental es si M es homeomorfo a M / G . El espacio dogbone de Bing es un ejemplo con M (igual a R 3 ) no homeomorfo a M / G .
La descomposición celular es una cubierta abierta con una función para la cual:
Un complejo celular es un par donde es un espacio topológico y es una descomposición celular de .