8

3. Homeomorfismos, funciones abiertas y funciones cerradas

Los ejemplos 4 y 5 muestran que una función puede ser abierta y no cerrada y
que una función puede ser cerrada y no abierta. El siguiente teorema muestra la
relación para una función biyectiva existente entre ser abierta y ser cerrada.
Teorema 22. Sean (X, τX ) y (Y, τY ) espacio topológicos y sea f : X → Y una
función continua. Si f es una función biyectiva, entonces las siguientes condiciones
son equivalentes.
(1) f es un homeomorfismo.
(2) f es una función abierta.
(3) f (A) ∈ τY si y sólo si A ∈ τX .
(4) f −1 (U ) ∈ τX si y sólo si U ∈ τY .
(5) f es una función cerrada.
(6) f (B) ∈ FY si y sólo si B ∈ FX .
(7) f −1 (G) ∈ FX si y sólo si G ∈ FY .
Proof. (1) ⇒ (2). Para demostrar que f es una función abierta, sea W ∈ τX .
Dado que f es un homeomorfismo, la función f −1 : Y → X es continua. Entonces
(f −1 )−1 (W ) ∈ τY . Como f (W ) = (f −1 )−1 (W ), se tiene que f (W ) ∈ τY .
(2) ⇒ (3). Dado que f es continua y biyectiva, si f (A) ∈ τY , entonces A =
f −1 (f (A)) ∈ τX . Aplicando el hecho de que f es abierta se sigue que si A ∈ τX ,
entonces f (A) ∈ τY .
(3) ⇒ (4). Usando el hecho que K = f (f −1 (K)) para cada K ⊆ Y y (3), se tiene
que f −1 (U ) ∈ τX si y sólo si U = f (f −1 (U )) ∈ τY .
(4) ⇒ (5). Sea F ∈ FX . Dado que f es biyectiva, se tiene que
X \ F = f −1 (Y − f (F )). Ası́, f −1 (Y − f (F )) ∈ τX . De (4), se obtiene que
Y − f (F ) ∈ τY . Por lo tanto, f (F ) ∈ FY .
La demostración de las implicaciones (5) ⇒ (6) ⇒ (7) pueden hacerse de manera
paralela a las pruebas de (2) ⇒ (3) ⇒ (4).
(7) ⇒ (1). Dado que f es una función continua y biyectiva, para demostrar que
f es un homeomorfismo, es suficiente demostrar que f −1 : Y → X es una función
continua. Sea L ∈ FX . Notemos que L = f −1 (f (L)). De la condición (7), se
sigue que f (L) ∈ FY . De esto y la igualdad f (L) = (f −1 )−1 (L), se obtiene que
(f −1 )−1 (L) ∈ FY . Por lo tanto, f −1 es continua. 
El siguiente ejemplo muestra que no toda función continua y biyectiva es un
homeomorfismo.
Ejemplo 7. Sea τu la topologı́a usual para R y sea τS la topologı́a de Sorgenfrey
para R. Definimos f : (R, τS ) → (R, τu ) por f (x) = x. Tenemos que f es continua y
biyectiva. Veremos que f no es abierta. Observemos que [0, 1) ∈ τS pero f ([0, 1)) =
[0, 1) ∈
/ τu .