Universidad Nacional De Colombia. Diego Fernando Ro jas Prez. Codigo:153489. Topologa General. Fecha: 16 De Mayo De 2012.

Sea (X)un espacio topologico. Sea (G) un grupo toplogco.Una accin de (G) sobre (X) es una aplicacin continua ( : G X X)tal que: i) ((1, x) = x)para todo(x X) ii)((g, (h, x))) = (gh, x)para todo(x X)y para todo(g, h G) Pruebe que si (G) es compacto, entonces (X/G)es: a) (A2 )si (X)es (A2 ). b) Hausdor si (X) es hausdor. c) Regular si (X) es regular. d) Normal si (X)es normal.

Demostracin// Es suciente demostrar que la funcin(p : X G/X)es un conjunto perfecto(Ver ejercicios 31.6 y 31.7, Ver nal del documento).Antes debemos demostrar que : (1) la saturacin(GA)de un subesacio cerrado (A X)es cerrado (el mapeo () es cerrado). (2) la orbita (Gx )de un punto (x X)es compacto. Dado (y X) un punto fuera de (GA = gG gA)para un (g G), g 1 y es est afuera del conjunto cerrado (A X). Por continuidad de la accin(G X X)
U g 1 Vg X A
PRIMERA PARTE.

para conjuntos abiertos (G Ug g)y (X Vg Y ). el espacio compacto puede tener un cubrimiento nito de conjuntos abiertos (Ug ), es decir (G = U1 ..Un ).Puesto que (V = V1 ... Vn )esta en la interseccin de las correspondientes vecindades de (y). Entonces:
G1 V = Ui1 V i Ui1 vi X A

As (y V G(X A) = X GA). La orbita (Gx ) de un punto (x X)es compacto por (Teorema 26.5, Ver nal del documento) esta es la imagen de un espacio compacto (G) bajo la funcin continua (G X : g gx.).// 31.6 Sea (p : X Y ) una aplicacin continua sobreyectiva. Si (X) esnormal tambien lo es (Y ). 31.7 Sea(P : X Y )una aplicacin sobreyectiva, cerrada y continua tal que p1 ({y}) es compacto para cada (y Y )(Una aplaicacin as se llama perfecta ) Teorema: La imagen de un espacio bajo una aplicacin continua de un espacio compacto es compacta. 1
Enunciados: SEGUNDA PARTE