10.07.2015 Views

Notas de Topolog´ıa Clara M. Neira U. - UN Virtual

Notas de Topolog´ıa Clara M. Neira U. - UN Virtual

Notas de Topolog´ıa Clara M. Neira U. - UN Virtual

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

La siguiente <strong>de</strong>finición caracteriza los espacios topológicos quetienen esta propiedad <strong>de</strong> separación.5.4.2 Definición. Un espacio topológico X es completamenteregular si para cada conjunto K cerrado en X y cada x ∈ X K, existe una función continua f <strong>de</strong>finida <strong>de</strong> X en el intervalo[0, 1] <strong>de</strong> R, tal que f(K) = 0 y f(x) = 1.Es <strong>de</strong> anotar que el intervalo [0, 1] se pue<strong>de</strong> reemplazar porcualquier intervalo cerrado [a, b] <strong>de</strong> R. En este caso se pediránlas condiciones f(K) = a y f(x) = b.De manera inmediata aparece el siguiente resultado.5.4.3 Proposición. Si X es un espacio completamente regular,entonces X es regular.Demostración. Sean K cerrado en X y x ∈ X K. Existeuna función continua f : X −→ ([ [0, 1] tal que f(K) = 0 yf(x) = 1. Los conjuntos f −1 0, 1 )) (( ]) 1y f −122 , 1 son([abiertos en X, son disyuntos y a<strong>de</strong>más K ⊂ f −1 0, 1 ))y2x ∈ f −1 (( 12 , 1 ]).La recíproca <strong>de</strong> esta proposición no es cierta. Existen espaciosregulares que no son completamente regulares. A<strong>de</strong>más, al igualque suce<strong>de</strong> con los espacios regulares, los espacios completamenteregulares no necesariamente son espacios <strong>de</strong> Hausdorff, a100

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!