Recordatorio: Sea f : X Y una aplicacion entre dos conjuntos.

Si (Y, T 0 ) es un espacio

topologico, entonces la topologa inicial de X inducida por f (a veces denotada por f T 0 ) es la

topologa menos fina entre todas las topologas de X por las cuales f es una aplicacion continua.
Para que f sea continua, es necesario y suficiente que la imagen inversa de cualquier elemento
de T 0 sea una abierto. Basta pues escoger
n
o


0
1
0
T
:=
f
O
|
O

T
.
f
De manera dual, si (X, T ) es un espacio topologico, la topologa final de Y inducida por f ,
es la mas fina entre todas las topologas por las cuales f es una aplicacion continua. Esta viene
definida como:
n
o


T f := U Y | f 1 U T .
Se dice que una aplicacion entre dos espacios topologicos, es abierta si es continua y la imagen de cualquier abierto es un abierto. Un homeomorfismo es una aplicacion continua, biyectiva
y su inversa es tambien una aplicacion continua.

EJERCICIO I Sea f : X Y una aplicacion biyectiva entre dos conjuntos subyacentes a dos espacios topologicos (X, T ) e
(Y, T 0). Demuestra que son equivalentes las afirmaciones:
(i) T es la topologa inicial de X inducida por f ;
(ii) f : (X, T ) (Y, T 0) es un homeomorfismo;
(iii) T 0 es la topologa final de Y inducida por f ;
(iv) f : (X, T ) (Y, T 0) es una aplicacion abierta.

UNED. Ejercicios de Topologa 2015/2016. L. El Kaoutit.