CW-complejo

En Topología y Geometría, un complejo celular o CW-Complejo es un tipo de espacio topológico que en cierta manera se asemeja a una variedad topológica. Son espacios muy utilizados en Topología (especialmente en Topología Algebraica) y en Geometría Diferencial. Las letras CW significan Closure finite-Weak topology , topología débil de clausura finita.

Definición

Célula

En Topología se denomina célula a un espacio topológico e que es homeomorfo a algún espacio euclídeo real. Es decir, existirá algún entero no negativo n \geq 0 de manera que e \sim \mathbb{R}^n (donde \sim representa la relación “ser homeomorfo a”). En ese caso se dirá que e es una n-célula, y que la dimensión de e es n (denotado por |e|:=dim(e)=n).

Descomposición celular

Sea X un espacio topológico. Se dice que el par (X, \mathcal{E}) es una descomposición celular de X si \mathcal{E} es una partición de X en células, es decir, cada elemento de \mathcal{E} es una célula, X es la unión de todos los elementos de \mathcal{E} y dos elementos distintos de \mathcal{E} son disjuntos (si e_1,e_2 \in \mathcal{E} y e_1 \neq e_2, entonces e_1 \cap e_2 = \varnothing).

Todo espacio topológico admite alguna descomposición celular.

Dados un número entero positivo n una descomposición celular (X, \mathcal{E}) de X, se denomina conjunto de n-células a la unión de todas las células de dimensión n (es decir, a \bigcup_{e \in \mathcal{E}:|e|=n}e). Se denomina así mismo n-esqueleto al conjunto X^n := \bigcup_{e \in \mathcal{E}:|e|\leq n}e, es decir, a la unión de los conjuntos de m-células, cuando m \leq n.

Si existiese algún n \in \mathbb{Z}^+ de forma que X = X^n, diremos que X tiene dimensión finita. En ese caso, al menor n \in  \mathbb{Z}^+ de forma que X = X^n se le denomina dimensión de X (n = dim(X)). En caso contrario (es decir, si X no es de dimensión finita) se dice que la dimensión de X es infinita (dim(X)= \infty). Como antes, en principio esta definición de dimensión no tiene ninguna relación con la definición algebraica de dimensión para espacios vectoriales. Sin embargo, se cumple que si X es un espacio euclídeo real o un espacio normado, ambas definiciones son equivalentes.

Complejos celulares

Sea (X, \mathcal{E}) una descomposición celular. Se dice que (X, \mathcal{E}) es un complejo celular (o un CW-complejo, o un CW-espacio, o un espacio CW, o que (X, \mathcal{E}) es una CW-descomposición de X, o que (X, \mathcal{E}) es una descomposición de tipo CW de X) si se cumple las siguientes condiciones:

This article is issued from Wikipedia - version of the Friday, March 15, 2013. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.