1

UNIVERSIDAD NACIONAL DE COLOMBIA

FACULTAD DE CIENCIAS
Departamento de Matematicas
Semestre 01-2017

Nombre del trabajo: Ejercicios 6.1

Curso de: TOPOLOGIA.
Profesor: Gustavo Nevardo Rubiano

Estudiante: David Miguel Suarez Ramirez 1016077226

Correo: dmsuarezr@unal.edu.co

Topologa Cociente
Abril 19
6.1.1 Muestre que la topologa cociente es en efecto una topologa y que es la mas fina para la cual la funcion
proyeccion es continua.

6.1.2 Muestre que un subconjunto es cerrado para la topologa cociente si es la imagen de un conjunto satu-
rado y cerrado.

6.1.3 Sean , relaciones de equivalencia sobre los espacios X, Y respectivamente. Dada una funcion con-
tinua f : X Y tal que a b implica f (a) f (b) entonces fb : X/ Y / definida por fbh[x]i = [f (X)]
es una funcion bien definida y continua.

6.1.4 Sea f : X Y una funcion cociente. Decimos que A X es f-saturado o f-inverso si f 1 (f (A)) = A

a) Muestre que A es f-saturado si existe B tal queA = f 1 (B)

b) Como caracterizar los abiertos en una funcion cociente? Los abiertos deY son precisamente las
imagenes por f de los subconjuntos abiertos f-saturados en X.
c) Puede caracterizar los cerrados en una funcion cociente?

5) Es la composicion de funciones cociente una funcion cociente?

6) Sea f : X Y sobreyectiva. Muestre que f es una funcion cociente si para todo V Y se tiene que

f 1 (V ) es cerrado en X sii V es cerrado en Y

7) Muestre que una funcion continua es una funcion cociente sii es un homeomorfismo.

f
8) Muestre que la topologa y es la mejor que hace a f continua.

Desarrollo

1) p es uan topologa puesto que:

1) p , ya que p1 () =
2) A p , ya que p1 (A) = X
 2

3) Sea J un conjunto de 1
[indices y sea p (U ) un conjunto de abiertos en A (Es
[decir U son abiertos
[ en
1 1 1
X, para J) Sea p (U ) union arbitraria de abiertos de A. Luego p (U ) = p ( (U )).
[ J [ J J
Como (U ) es un abierto en tenemos que p1 (U ) es abierto.
J J
n
4) Sea {p1 (U un conjunto finito de abiertos
i )}i=1 n en A. Luego Ui con i = 1, ..., n son abiertos
n en X. Por
n
\ \ n
\ \
lo tanto, tenemos que: p1 (Ui ) = p1 (Ui ) con (Ui ) abierto en X. Luego p1 (Ui ) es un
i=1 i=1 i=1 i=1
abierto en A.
Por lo tanto tenemos que es topologa.
Ahora veamos que es la mas fina para la cual la funcion cociente es continua, para esto supong-
amos que no es la mas fina, ed, existe H tal que /r H, sea U < /r y U H como q es continua
q1 (U ) , por definicion de topologa cociente U /r (). Por lo tanto /r es la mas fina.

2) Sea U X cerrado y saturado, es decir que U c y q1 (q(U )) = U , (q1 (q(U )))c = U c es igual a
q1 (q(U c )) = U c , por lo cual q1 (q(U c )) y por la definicion de la topologa cociente qc (U ) /r,
ed, q(U ) es cerrado.

3) Para demostrar que esta bien definida, tenemos que ver que si a b entonces fb([a]) = fb([b]). Sea
a b. Luego f (a) f (b). Es decir [f (a)] = [f (b)], pues comparten un elemento en comun. Luego
como fb([a]) = [f (a)] y fb([b]) = [f (b)] tenemos que fb([a]) = fb([b]) es decir, no importa el representante
de clase, la funcion sera la misma.
Sea q la funcion cociente de (Y , ) en (Y / , / ) Luego si U / , q 1 (U ) es un abierto de por
la definicion de topologa cociente. Puesto que f es una funcion continua, tenemos que f q, donde
q es la funcion cociente de (X, ) a (X/ , / ), por el teorema 6.1 es una funcion continua. Luego
(f q)1 (q1 (U )) es un abierto en (X/ , / ) . Por lo tanto si U / implica que (f q)1 (q1 (U ))
es un abierto en (X/ , / ). Por lo tanto fb([x]) = [f (x)] es una funcion continua.
4) a) Sea B tal que A = f 1 (B). Aplicando f a ambos lados:

f (f 1 (B)) = f (A)

Luego como f es sobre, por ser funcion cociente:

B = f (f 1 (B)) = f (A)

Ahora aplicando f 1 tenemos que:

f 1 (B) = f 1 (f (A))

pero por hipotesis f 1 (B) = A. Luego

A = f 1 (f (A))

por lo tanto A es f-saturado.

b) Los abiertos en Y en una funcion cociente son los subconjuntos cuya imagen inversa es un
abierto y f-saturado
c) Los cerrados en Y es decir los cerrados en una funcion cociente son aquellos subconjuntos de X
cuyo complemento es abierto y f-saturado.
5) Sean (X, ),(Y , 1 ),(Z, 2 ), espacios topologicos y f : (X, ) (Y , 1 ) y g : (Y , 1 ) (Z, 1 ) funciones
cocientes. Sea U abierto en (Z, 2 ), puesto que g es una funcion cociente g 1 (U ) 1 . Luego como f
es funcion cociente se tiene que f 1 (g 1 (U )) = (g f )1(U ) es un abierto de f . Luego por definicion
de funcion cociente (g f ) es tambien una funcion cociente.
6) Sea f : X Y sobre. Tenemos que:

f 1 (Y V ) = X f 1 (V )

Sea x f 1 (Y V ) Por lo tanto x X y existe y Y V tal que y = f (x) Y V . Luego f (x) < V . Por
lo tanto x X y x < f 1 (V ) es decir x X f 1 (V ).
 3

Para demostrar que f es cociente hay que ver que si U es un abierto en Y , entonces f 1 (U ) es abierto
en X.

Sea V cerrado en Y . Tenemos que Y V es abierto en Y . Hay que ver que f 1 (Y V ) es abierto en X.
Como f 1 (Y V ) = X f 1 (V ) y X f 1 (V ) y X f 1 (V ) es abierto en X por hipotesis, pues f 1 (V )
es cerrado en X y ademas f es sobre se tiene que f es una funcion cociente.

7) Supongamos que f : (X, ) (Y , 1 ) es uan biyeccion continua y cociente. Entonces:

f es inyectiva por ser biyeccion.
f es sobre por ser biyeccion.
Para cada U 1 , f 1 (U ) , pues f es continua.
Para cada V se tiene que f (V )) 1 , pues:

f 1 (f (V )) = V

siendo f inyectiva. Como V es abierto y f es cociente tenemos que f (V ) 1 .

Luego f es un homeomorfismo.
Supongamos que f es un homeomorfismo. Luego:
f es biyeccion, por definicion de homeomorsimo
f es continua, por definicion de homeomorfismo.
f es cociente, pues para cada V se tiene que f (V ) 1 , por ser f 1 continua. Luego es
abierta. Como es continua y sobre f es cociente.