Vous êtes sur la page 1sur 31

G -espacios

Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

Topicos en topologa equivariante


Clara M. Neira U.

Enero de 2013

Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

G -espacios

Tipos de acciones

Algunas propiedades de los G -espacios

Algunas consideraciones desde la topologa fibrada

Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

Accion de un grupo sobre un conjunto


G un grupo topologico, X un espacio topol
ogico. Una accion de G
sobre X es una funci
on
: G X X
tal que:
1. (e, x) = x, para cada x X .
2. (g1 g2 , x) = (g1 , (g2 , x)), para cada g1 , g2 G y cada
x X.
(g , x) = gx
1. ex = x, para cada x X .
2. g1 g2 x = g1 (g2 x), para cada g1 , g2 G y cada x X .
Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

Si es una accion continua del grupo topol


ogico G sobre el
espacio topologico X , (X , ), o simplemente X es un G -espacio.
Sean (X , ) un G -espacio y x X .
Ox = {gx : g G }
orbita de x.
X / el espacio de todas las
orbitas de elementos de X con la
topologa cociente, (X , , X /) es un espacio topologico fibrado.

Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

Ejemplos

En cada uno de los siguientes ejemplos Z tiene topologa discreta.


1. X = R, G = Z
: Z R R
(n, x) 7 n + x
(X , ) es un G -espacio y X / es homeomorfo a S 1 .

Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

2. X = R2 , G = Z Z
: (Z Z) R2 R2
((n, m), (x, y )) 7 (n + x, m + y )
(X , ) es un G -espacio y X / es homeomorfo al toro S 1 S 1 .

Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

3. Sean X = S n , G = Z/2Z = {1}


: Z/2Z S n S n
(1, x) 7 x
(X , ) es un G -espacio y X / = Pn (R) es el espacio
proyectivo real de dimensi
on n.

Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada


4. X =

(x, y )

R2


1
1
,G =Z
: y
2
2

: G X X
(n, (x, y )) 7 (n + x, (1)n y )
(X , ) es un G -espacio y X / es homeomorfo a la banda de
Mobius.

Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

Tipos de acciones
Una accion de un grupo topol
ogico G sobre un espacio topologico
X es:
transitiva si para cada x, y X existe g G tal que y = gx.
efectiva o fiel si para cada g1 , g2 G , con g1 6= g2 , existe x X tal
que g1 x 6= g2 x.
Una accion es efectiva si y s
olo si para cada g G , con
g 6= e, existe x X tal que gx 6= x.
libre si para cada x X se tiene que g1 x = g2 x si y solo si g1 = g2 .
Una accion es libre si y s
olo si para todo x X , gx = x
implica que g = e.
regular si es transitiva y libre.
Una accion es regular si y s
olo si para cada x, y X existe un
u
nico g G , tal que y = gx.
Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

discontinua si cada x X tiene una vecindad abierta V tal que si y y z


son puntos distintos de V , entonces gy 6= z, para todo g G .
Sean G un grupo topol
ogico, X un espacio topologico y
: G X X una acci
on de G sobre X .
(X , , X /) es un haz de conjuntos si y solo si es
discontinua.

Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

gV = g 1

Clara M. Neira U.

1

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

Sean G un grupo topol


ogico y : G X X una accion
continua. El espacio topol
ogico fibrado (X , , X /) es propio si la
aplicacion
: G X X X / X
(g , x) 7 (x, gx)
es propia.
es cerrada y 1 (x, y ) es compacto, para cada
(x, y ) X X / X .

Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

Sean G un grupo topol


ogico, X un espacio topologico y
: G X X una acci
on continua y libre de G sobre X .
Si (X , , X /) es propio, la funci
on
d : X X / X G
(x, y ) 7 g
donde gx = y , es continua.

Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

: G X X X / X
(g , x) 7 (x, gx)
homeomorfismo.
1

X X / X
Q
QQ
s

Clara M. Neira U.

- G X


+ 1


T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

Algunas propiedades de los G -espacios

Sean G un grupo topol


ogico compacto y : G X X una
accion continua.
1. Cada fibra de (X , , X /) es compacta.
1 (x) = Ox = (G {x}) .
2. : X X / es cerrada.

Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

g G (Wg V(g ), Vg V(x)) : hy O, (h, y ) Wg Vg .


gV = g 1

Clara M. Neira U.

1

V.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

Sean G un grupo topol


ogico compacto y : G X X una
accion continua. Si X es de Hausdorff, o regular, o normal, o
localmente compacto, entonces X / tiene la misma propiedad (cf.
[4]).

Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

Hausdorff

Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

Regular, localmente compacto

Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

Normal

Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

Algunas consideraciones desde la topologa fibrada


Un espacio topologico fibrado (E , p, T ) es de Hausdorff fibra a
fibra si para cada t T , y cada par de puntos x, y Et existen
vecindades disyuntas Vx y Vy de x y y en E .

Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

1. El espacio topol
ogico fibrado (E , p, T ) es de Hausdorff fibra a
fibra si y solo si la inmersi
on diagonal : E E T E
definida por (x) = (x, x), es cerrada.
2. Sean (E , p, T ) y (E 0 , p 0 , T ) espacios topologicos fibrados y
: E E 0 una funci
on fibrada continua. Si (E 0 , p 0 , T ) es de
Hausdorff fibra a fibra, entonces el grafo : E E T E 0 ,
definido por (x) = (x, (x)), es una inmersion cerrada.

Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

Sean G un grupo topol


ogico compacto y : G X X una
accion continua. Si (X , , X /G ) es de Hausdorff fibra a fibra,
tambien es propio.

Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

: G X X X / X
(g , x) 7 (x, gx)
1 (x, gx) = 1
G {x} (gx)
: G X G X X / X
(g , x) 7 (g , x, gx)

G X
H

HH
H
j
H

- G X X / X



2



X X / X
Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

Si G es un grupo topol
ogico de Hausdorff y (X , , X /G ) es un
espacio topologico fibrado propio, entonces (X , , X /G ) es de
Hausdorff fibra a fibra.
(x) = (e, x)

- G X



Q
Q

Q
s
Q



+

X X / X

Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

Si G es un grupo topol
ogico compacto y de Hausdorff y si X es un
G -espacio, entonces (X , , X /) es propio si y solo si
(X , , X /) es de Hausdorff fibra a fibra.

Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

Un espacio topologico fibrado (E , p, T ) es regular fibra a fibra si


para cada t T , cada x Et y cada vecindad V de x en E ,
existen una vecindad W de t en T y una vecindad U de x en EW ,
de tal manera que la adherencia U EW de U en EW
esta contenida en V .

Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

G = Z, topologa discreta, X = Z, topologa complementos finitos.


: G X X
(n, m) 7 n + m

X / = {O0}
(X , , X /) no es regular fibra a fibra.

Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

Si G es un grupo topol
ogico y (X , , X /G ) es un espacio
topologico fibrado propio, entonces (X , , X /G ) es regular fibra a
fibra.

Clara M. Neira U.

T
opicos en topologa equivariante

G -espacios
Tipos de acciones
Algunas propiedades de los G -espacios
Algunas consideraciones desde la topologa fibrada

Referencias
D. Buhagiar, The category MAP, Mem. Fac. Sci. Eng.
Shimane Univ. Series B: Mathematical Science, Vol. 34
(2001), pp. 119.
B. Guo, Y. Han, A Brief Introduction to Fibrewise Topological
Spaces Theory, Journal of Mathematical Research with
Applications, Vol. 32, No. 5, (2012), pp. 626-630.
I. M. James, Fibrewise Topology, Cambridge University press,
1989.
J. R. Munkres, Topology a first course, Prentice-Hall, Inc.,
Englewood Cliffs, New Jersey, 1975.
J. Wu, Lecture Notes on Algebraic Topology, URL:
www.math.nus.edu.sg/ matwujie
Clara M. Neira U.

T
opicos en topologa equivariante