Una compactificacin de un espacio X es un espacio de Hausdorff compacto Y

que contiene a X como subespacio y adems X =Y. Dos compactificaciones

Y
1,
Y
2
de X se dicen equivalentes si existe un homeomorfismo
1 2
: h Y Y tal que
h(x)=x para cada x X.
Si X tiene una compactificacin Y, entonces X debe de ser completamente
regular, ya que es un subespacio de un espacio completamente regular Y.
recprocamente, si X es completamente regular, entonces X puede ser
embebido por un espacio de Hausdorff compacto [0,1]
J
para algn J, y cuales
quiera tales embebimientos da lugar a una compactificacin de X, tal y como
el siguiente lema lo prueba
Lema: sea X un espacio y supongamos que h: XY es un embebimiento de X
en el espacio de Hausdorff compacto Z. entonces existe una compactificacin
Y de X; esta tiene la propiedad de que existe un embebimiento H: Y Z que
coincide con h en X. La compactificacin Y esta unvocamente determinada
salvo equivalencias. Llamaremos a Y compactificacin inducida por el
embebimiento h.
Demostracin:
Dado h, denotemos por X
o
el subespacio h(X) de Z, y sea Y
o
su clausura en Z.
Entonces Y
o
es un espacio de Hausdorff compacto con
o
X Y ; de esta forma Y
o

es una compactificacin de X
o
.
Ahora construiremos un espacio Y conteniendo a X tal que el par (X, Y) es
homeomorfo al par (X
0
, Y
0
). Elijamos un conjunto A disjunto de X que este en
correspondencia biyectiva con el conjunto Y
0
- X
0
bajo alguna aplicacin
0 0
: k A Y X .
Definimos Y=X U A y una correspondencia biyectiva
0
: H Y Y por la regla
( ) ( ) H x h x para x en X,
( ) ( ) H a k a para a en A.
A continuacin definimos la siguiente topologa en Y; un conjunto U es abierto
en Y si, y solo si, H(U) es abierto en Y
0
. La aplicacin H es de manera
automtica un homeomorfismo, y el espacio X es un subespacio de Y porque
H coincide con el homeomorfismo h cuando lo restringimos al subespacio X de
Y. expandiendo el rango de H, obtenemos el embebimiento requerido de Y en
Z.
Ahora supongamos q Y
i
es una compactificacin de X y que :
i i
H y Z es un
embebimiento, siendo adems una extensin de h para i=1,2. Entonces H
i

aplica a X sobre H(X)=X
0
como H
i
es continua, debe aplicar Y
i
en
0
X ; como
( )
i i
H Y contiene a X
0
y es cerrado (ya que es compacto), contiene a
0
X . Por
tanto,
0
( )
i i
H Y X , y
1
2
H

o
1
H define un homeomorfismo de Y
1
con Y
2
que
coincide con la identidad en X.
Ejemplo:
1. Considere el crculo unidad S
1
en IR
2
y sea
1
: (0,1) h S la aplicacin
( ) (cos 2 ) ( 2 ) h t t x sen t

La compactificacin inducida por el embebimiento h es equivalente a la
compactificacin por un punto de X.
2. Sea Y el espacio [0, 1]. Entonces Y es una compactificacin de X; se
obtiene aadiendo un punto en cada extremo del intervalo (0, 1).
3.
4. y .
TEOREMA: sea x un espacio completamente regular, existe una
compactificacin Y con la propiedad de que cada funcin acotada y continua
f: XIR se extiende de forma nica a una funcin continua de Y en IR.
Demostracin:
Sea {f

}
E J
la coleccin de todas las funciones reales acotadas y continuas en
X, elijamos un intervalo I

en IR que contenga a f(X), como por ejemplo,

[inf ( ), sup ( )] I f X f X

A continuacin, definamos

:
J
h X I

por la regla
( ) ( ( ))
J
h x f x

Por el teorema de Tychonoff, el producto I

es compacto. Como X es
completamente regular, la coleccin {f

} separa puntos de conjuntos cerrados

en X. De esta forma tenemos que la aplicacin h es un embebimiento.
Sea Y la compactificacin de X inducida por el embebimiento h. Entonces
existe un embebimiento : H Y I

que coincide con h en el subespacio X

de Y. Dada una funcin real continua y acotada f en X, vamos a mostrar cmo
se extiende a Y. La funcin f pertenece a la coleccin {f

}
E J
, por lo tanto
coincide con f

para algn ndice . Sea : I I

la aplicacin
proyeccin. Entonces la aplicacin contina : H Y I

es la extensin
buscada de f, ya que si x X, tenemos
( ( )) ( ( )) (( ( )) ) ( )
J
H x h x f x f x






DEFINICIN: para cada espacio completamente regular X elegimos una
compactificacin que verifique la condicin del teorema anterior.
Representaremos a esta compactificacin de X por ( ) X la llamaremos
compactificacin de Stone Cech de X. Se caracterizara por el hecho de que
cualquier aplicacin contina : f X C de X es un espacio de Hausdorff
compacto C se extiende de forma nica a una aplicacin continua
: ( ) g X C