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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

En los espacios métricos tenemos el siguiente resultado:5.6.1 Proposición. Sea (X, d) un espacio métrico y sean Ay B dos subconjuntos <strong>de</strong> X no vacíos, cerrados y disyuntos.Existe una función continua f : X −→ [0, 1] tal que f(A) = 0,f(B) = 1.Demostración. La función f : X −→ [0, 1] <strong>de</strong>finida por f(x) =d(x, A)es continua y a<strong>de</strong>más para cada x ∈ A se tiened(x, A) + d(x, B)d(x, A)que f(x) =d(x, A) + d(x, B) = 0y para cada x ∈ B,0 + d(x, B)d(x, A) d(x, A)se tiene que f(x) ==d(x, A) + d(x, B) d(x, A) + 0 = 1.Nuestros estudios previos, junto con el resultado anterior muestranque en los espacios métricos los conjuntos no vacíos, cerradosy disyuntos se pue<strong>de</strong>n separar utilizando tanto conjuntosabiertos disyuntos, como funciones continuas. El siguiente lemacaracteriza los espacios que gozan <strong>de</strong> la misma propiedad.5.6.2 Lema. Lema <strong>de</strong> Urysohn. Un espacio topológico (X, τ)es normal si y sólo si para cada A y B <strong>de</strong> subconjuntos <strong>de</strong> Xno vacíos, cerrados y disyuntos, existe una función continua f :X −→ [0, 1] tal que f(A) = 0 y f(B) = 1.Demostración. Supongamos inicialmente que X es normal y queA y B son subconjuntos <strong>de</strong> X no vacíos, cerrados y disyuntos.Para cada número racional en [0, 1] <strong>de</strong> la forma p 2 n, don<strong>de</strong> p yn son números naturales y 0 < p < 2 n , construimos el conjuntoU p2 n <strong>de</strong> la siguiente manera: 106

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

Saved successfully!

Ooh no, something went wrong!