Documentos de Académico
Documentos de Profesional
Documentos de Cultura
}
E J
la coleccin de todas las funciones reales acotadas y continuas en
X, elijamos un intervalo I
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
}
E J
, por lo tanto
coincide con f
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