Recordatorios.

Sea X un conjunto y R una relacion de equivalencia sobre X junto con la

proyeccion canonica : X X/R al conjunto cociente. Dado un subconjunto Y X, se define
el saturado de Y, como el subconjunto de X cuyos elementos esten relacionados con al menos
S
un elemento de Y, es decir Sat(Y) :=
(y). Se dice que un subconjunto Y de X es saturado
yY

por R, cuando Y = Sat(Y). Observar que:

Sat(Y) = 1 (Y) ,

(Y) = Sat(Y) ,

y que

Y = Sat(Y) = 1 (Y) ,

cuando Y es saturado.

EJERCICIO III Sea (X, T ) un espacio topologico y R una relacion de equivalencia sobre el conjunto subyacente X con la aplicacion : X X/R la proyeccion canonica. Consideramos X/R
con la topologa cociente. Demuestra que las siguientes afirmaciones son equivalentes:
(i) la aplicacion es una aplicacion abierta (respectivamente,
cerrada), es decir que la relacion de equivalencia R es abierta (respectivamente, cerrada);
(ii) el saturado por R de cualquier subconjunto abierto (respectivamente, cerrado) de X, es tambien un abierto (respectivamente, cerrado) en dicho espacio.

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