Cap tulo 3 Funciones continuas

3.2. Homeomorsmos e inmersiones

Consideremos la funcin f : ( , ) R denida por f (x) = tan1 x. o 2 2 Es bien sabido que la funcin f es continua, uno a uno y sobreyectiva, adems, o a que su inversa, la co-restriccin de la funcin tangente al intervalo ( , ), o o 2 2 tambin es una funcin continua. Esta funcin f con estas caracter e o o sticas nos permite pasar del espacio topolgico ( , ) al espacio topolgico R o o 2 2 sin perder informacin alguna. En otras palabras, gracias a la funcin f , o o conocemos la topolog de uno de los espacios una vez conocemos la topolog a a del otro. En el fondo, aunque los dos espacios son en apariencia distintos, son el mismo espacio. Los conjuntos abiertos, cerrados, las adherencias, los interiores o los puntos de acumulacin en uno de los espacios tienen su contraparte o en el otro y la funcin f es el puente para pasar de uno de los espacios al o otro. Diremos que el intervalo ( , ) y el espacio R son homeomorfos y 2 2 que la funcin f es un homeomorsmo. o En general tenemos la siguiente denicin. o

3.2.1 Denicin. Sean X y Y espacios topolgicos. Una funcin f : X o o o Y es un homeomorsmo si f es continua, uno a uno y sobreyectiva y f 1 tambin es continua. e Si existe un homeomorsmo f : X Y decimos que los espacios X y Y son homeomorfos. Es inmediato que una funcin continua f : X Y es un homeomorso mo si y slo si existe una funcin continua g : Y X tal que g f =idX y o o f g =idY , donde idX y idY son las funciones identidad de X y Y , respectivamente. Ntese que la condicin de que f 1 sea continua es equivalente a armar o o que f es una funcin abierta, esto es, que aplica conjuntos abiertos en cono juntos abiertos, o a armar que f es una funcin cerrada, es decir, que aplica o conjuntos cerrados en conjuntos cerrados. En resumen, una funcin f : X Y es un homeomorsmo si es uno a o uno, sobre, continua y abierta (o cerrada). Con esta observacin en mente resulta ser un fcil ejercicio demostrar el o a siguiente resultado. 3.2.2 Proposicin. Si X y Y son espacios topolgicos y f : X Y es o o una funcin uno a uno y sobreyectiva, entonces las siguientes armaciones o son equivalentes: 1. f es un homeomorsmo. 2. Si A X, entonces f (A) es abierto en Y si y slo si A es abierto en o X. 3. Si K X, entonces f (K) es cerrado en Y si y slo si K es cerrado o en X. 4. Si M X, entonces f (M ) = f (M ).

3.2.3 Observacin. La relacin denida en los espacios topolgicos por o o o X Y si y slo si X y Y son homeomorfos es una relacin de equivalencia. o o Esto justica el hecho de que veamos dos espacios topolgicos homeomorfos o como el mismo espacio. La relacin ser homeomorfos nos permite conocer o un espacio topolgico por sus caracter o sticas relevantes (aquellas que lo hacen unico) y no por los nombres de sus elementos. Cuando en la observacin anterior hablamos de caracter o sticas relevantes de un espacio nos estamos reriendo a las propiedades topolgicas del espacio. o Una propiedad topolgica es aquella que si la posee un espacio X, la posee o tambin cualquier espacio homeomorfo a X. e Que los conjuntos unitarios de un espacio topolgico sean conjuntos cero rados es un ejemplo de una propiedad topolgica. o Si f : X Y es una funcin continua y uno a uno y si f 1 : f (X) X o tambin es continua entonces X y f (X) son homeomorfos. En este caso e decimos que la funcin f es una inmersin de X en Y o que X est inmerso o o a en Y . En trminos prcticos, podemos pensar en X como un subespacio de e a Y. La inclusin de un subespacio en un espacio topolgico es el ejemplo ms o o a inmediato que se puede presentar de una inmersin. o

Ejercicios
1. Sean X y Y espacios topolgicos y f : X Y una funcin uno o o a uno y sobreyectiva. Demuestre que las siguientes armaciones son equivalentes: a) f es un homeomorsmo. b) Si A X, entonces f (A) es abierto en Y si y slo si A es abierto o en X. c) Si K X, entonces f (K) es cerrado en Y si y slo si K es cerrado o en X. d ) Si M X, entonces f (M ) = f (M ). 2. Pruebe que la relacin denida en los espacios topolgicos por X Y o o si y slo si X y Y son homeomorfos es una relacin de equivalencia. o o 3. Muestre que cada intervalo abierto (a, b) en R, con a > b es homeomorfo al intervalo (0, 1). 4. Muestre que cada intervalo cerrado [a, b] en R, con a > b es homeomorfo al intervalo [0, 1]. 5. Dena un homeomorsmo de N con la topolog discreta en Z tambin a e con la topolog discreta. a 6. Sean 1 y 2 dos topolog denidas sobre el mismo conjunto X. Pruebe as que la funcin idntica IdX : (X, 1 ) (X, 2 ) es un homeomorsmo o e si y slo si 1 = 2 . o 7. Pruebe que la propiedad de que cada funcin continua de valor real soo bre un conjunto X tome un valor mximo es una propiedad topolgica. a o 8. Utilice el ejercicio anterior para probar que [0, 1] y R no son homeomorfos. 9. Muestre que la funcin f : R+ R denida por f (x) = x es una o inmersin. o