Introduccin a la Teor de los Grupos Topolgicos

o
a
o
U. M. S. N. H.
Javier Trigos
Departamento de Matemticas
a
Universidad Estatal de California en Bakerseld
jtrigos@csub.edu
11-15 de Noviembre del 2009
Primero que nada, agradezco a los Doctores Fernando Garibay y Rigoberto Vera la
oportunidad de poder dar este minicurso. Es un honor estar con ustedes. Los siguientes
son bsicamente enunciados de los resultados que segn yo, son los esenciales para un
a
u
curso introductorio en la Teor de los Grupos Topolgicos pero que claramente han sido
a
o
escogidos a modo personal. Hay poqu
simas demostraciones. Si los lectores se interesaran
por un tema en especial, he puesto al menos una referencia bibliogrca donde se pueden
a
encontrar mas detalles y referencias adicionales. Es por esto que la bibliograf es tan
a
corta y por supuesto nada exaustiva.
1. Denicin de grupo topolgico (GT) (G, , ) [HR] (4).
o
o
2. Vecindades en la identidad e. Vecindades en otros puntos [HR] (4).
3. Si G es abeliano, escribimos := + y e := 0. Si no, as los dejamos o s

mplemente
escribimos xy por x y.
4. Ejemplos abelianos. Grupos discretos: Z, Zn , R, Rn , T := ([0, 2), + mod 2), I :=
([0, 1), + mod 1), 1 , 1 , + mod 1 . Espacios de Banach y Hilbert.
2 2
5. Ejemplos no abelianos. M(n, F ) := {Matrices con entradas en un campo F no
2
singulares de orden n con la topolog heredada de F n }. [Con F = Z3 ,
a
1 2
0 2

0 1
1 1

2 0
2 2

0 2
1 1

0 1
1 1

1 2
0 2

Vase tambin el ejemplo del apartado (20a) mas abajo.

e
e
6. Patolog GTs totalmente indiscretos (los unicos abiertos son el vac y todo el
a.

o
grupo).
7. Axiomas de separacin. GT+T0 = T3 1 [E] (1.5), [HR] (8).
o
2
En lo que sigue, asumimos que todos nuestros grupos son T0 y por lo
tanto completamente regulares (:= T3 1 ).
2

8. Hay GTs T0 (as T3 1 ) que no son T4 (Markov-Graev, Stone, Trigos) [HR] (8), [T].
2

9. Subgrupos de GTs [HR] (5). Si (G, , ) es un GT y H un subgrupo de G, def

nase
H := {V H : V }. Se sigue que (H, H , ) es un GT. Ejemplos: Z Q R,
m ltiplos racionales de 2 en T, racionales en I. Matrices Unitarias
u
U(n, C) := {M M(n, C) : M 1 = transpuesta de la conjugada de M}.
Matrices especiales unitarias SL(n, F ) := {M U(n, F ) : det M = 1} [HR] (2.7).
10. Grupos Cociente. Sean (G, , ) un GT y H un subgrupo normal de G. Considrese
e
el homomorsmo cannico : G G/H. Si V , declrese a [V ] := {vH : v
o
a
o
V } abierto en la topolog G/H . Entonces con la operacin entre clases laterales ,
a

la tripleta (G/H, G/H , ) es un GT que es T0 si y slo si H es cerrado en (G, , )

o
[HR] (5).
11. Sean (G1 , 1 , 1 ) y (G2 , 2 , 2 ) GTs, y f : (G1 , 1 ) (G2 , 2 ) un homomorsmo.
Es continuo si lo es como funcin entre los espacios topolgicos (G1 , 1 ) y (G2 , 2 ).
o
o
o
Si f : (G1 , 1 ) (G2 , 2 ) es un isomorsmo, se le llama entonces topolgico si es
abierto (como funcin entre espacios topolgicos). En este caso, se dice que los GTs
o
o
(G1 , 1 , 1 ) y (G2 , 2 , 2 ) son topolgicamente isomorfos. Por ejemplo R/Z, I, U(1, C)
o
y T son topolgicamente isomorfos [HR] (5). En lo que sigue, llamaremos a
o
estos grupos simplemente T al cual identicaremos con 1 , 1 , + mod 1 .
2 2
12. Sea f : (G1 , 1 , 1 ) (G2 , 2 , 2 ) un epimorsmo continuo y abierto entre grupos
T0 . Entonces se cumple el primer teorema del isomorsmo topolgico: Existe un subo
o
grupo normal 1 -cerrado H de G y un isomorsmo topolgico f : (G/H, G/H , )
a
(G2 , 2 , 2 ) tal que f = f . Est claro que H = kernel f . Pregunta: Se necesita
realmente que f sea abierta? [Sugerencia: Considrese la funcin identidad de R
e
o
discreto a R usual.] [HR] (5)
13. Ejemplos: R/2Z = T. R/Z = I. Z/nZ = Zn .
o
e
14. Productos: Si {(Gi , i , i ) : i J} es una coleccin de GTs, considrese el producto
iJ Gi , la topolog producto (Tychonov) de las topolog i y el producto
a
as
denido coordenada a coordenada. Se sigue que (iJ Gi , , ) es un GT. Si cada
(Gi , i , i ) es un grupo compacto (:= el espacio (Gi , i ) es compacto, por ejemplo T,
I, Zn , U(n, F )), entonces el producto tambin lo es [HR] (6).
e
e
15. Ejemplos: R , Z ( 0 ) son metrizables (vase el apartado (16) enseguida) y por
lo tanto normales. Z1 no es normal (A. H. Stone) [HR] (8).
16. (G, , ) es metrizable si y slo si es primero numerable (:= cada punto tiene una
o
base numerable de vecindades; cuidado: no es suciente que la identidad sea la
interseccin numerable de abiertos; considrese Z# := Z con su mxima topolog
o
e
a
a
totalmente acotada, vase el apartado (18b), abajo.) Si esto sucede, entonces la
e
mtrica puede ser escogida invariante por la izquierda o por la derecha, pero hay
e
casos en que no puede ser ambas:
(a) Si existe una mtrica invariante tanto por la izquierda como por la derecha, y
e
an , bn son sucesiones en (G, , ), entonces an bn e = bn an e [Dado
> 0 existe N N tal que n N = (an bn , e) < = (an bn an , an ) <
= (bn an , a1 an ) < = (bn an , e) < , tal como se requiere.]
n
(b) En M(2, R) def
nase:

an :=

1
n

1
n

0 n

, bn :=

1
n

1
n

Entonces an bn I2 mientras que bn an no converge a I2 .

Por supuesto que si G es abeliano, cualquier mtrica es invariante tanto por la
e
izquierda como por la derecha. Si es compacta, la mtrica se puede escoger ine
variante tanto por la izquierda como por la derecha [HR] (8).
17. Construcciones especiales.
(a) (Markov, Graev) Todo espacio topolgico X T3 1 puede ser visto como un
o
2

subespacio cerrado de un grupo topolgico T3 1 F (X) (abeliano A(X)). As si

o
,
2
X es T3 1 pero no normal, entonces F (X) y A(X) no son normales [HR] (8).
2

o
nase su suma (dbil):
e
(b) Si {(Gi , i , i ) : i J} es una coleccin de GTs def
(Gi , i , i) := {(gi)iJ : gi = ei para slo un n mero nito de i J}
o
u
iJ

Entonces, |J| < 0

iJ (Gi , i , i ) = iJ (Gi , i , i ), y |J| 0 =
iJ (Gi , i , i ) es un subgrupo propio y denso de iJ (Gi , i , i ).
o
nase su sigma
(c) (Corson). Si {(Gi , i , i ) : i J} es una coleccin de GTs, def
producto:
o
iJ (Gi , i , i ) := {(gi )iJ : gi = ei para slo una cantidad numerable de i J}
Entonces, |J| 0 iJ (Gi , i , i ) = iJ (Gi , i , i), |J| 1 =
a
iJ (Gi , i , i ) es un subgrupo propio y denso de iJ (Gi , i , i ). Si adems
los grupos (Gi , i , i ) son compactos y |J| 1 entonces iJ (Gi , i , i ) es un
subgrupo denso seudocompacto1 de iJ (Gi , i , i ) [E] (3.10), [C] (6.8).
18. Dado un grupo no topolgico, se puede hacer topolgico simple y llnamente imo
o
a
ponindole la topolog discreta o la totalmente indiscreta. Se puede hacer del
e
a
grupo dado un grupo topolgico T0 no discreto?
o
(a) Si nito, no.
(b) Si abeliano s (a) Kertesz y Szele demostraron que todo grupo abeliano innito
:
puede hacerse mtrico (no discreto). (b) Usando el axioma de seleccin puede
e
o
demostrarse que si g = 0 en el abeliano G, entonces existe un homomorsmo
f : G T tal que f (g) = 0. Expresamos este hecho diciendo que Hom(G, T),
el conjunto de homomorsmos de G en T, separa los puntos de G. As si
,
# denota la topolog mas dbil que hace a los elementos de Hom(G, T) cona
e
tinuos, entonces (G, #, +) es un grupo topolgico T0 no discreto [HR] (4.23),
o
usualmente denotado como G# y con # llamada su mxima topologa totala

mente acotada (vase el apartado(22) mas abajo). Si (G, +) es abeliano y no

e
numerable, entonces G# no es normal (Trigos, 1993) [T].
(c) Cuando (G, ) no es abeliano, puede que la tarea sea imposible, como lo han
demostrado Olshanski y Shelah, este ultimo utilizando la hiptesis del continuo

o
[C] (9.5-6).
19. Sea (G, , ) un grupo topolgico T0 . Si existe V con cerradura compacta,
o
entonces decimos que (G, , ) es localmente compacto.
(a) Los grupos compactos son localmente compactos [HR] (5). Ejemplos: T, Z ,
n
U(n, C) [HR] (4.25 (a)).
(b) Si (G, , ) es (localmente) compacto y H es uno de sus subgrupos normales
cerrados, entonces (G/H, G/H , ) es (localmente) compacto. El inverso no es
necesariamente cierto: R/Z = T [HR] (5).
(c) Teorema de Kakutani-Kodaira. Si (G, , ) es (localmente) compacto y o
compacto (:=unin numerable de compactos) y {Un }n< es una sucesin de
o
1

Todas sus funciones continuas son acotadas.

 -vecindades de e, entonces existe un subgrupo normal compacto N n< Un

tal que (G/N, G/N , ) es metrizable [C] (3.7), [HR] (8.7).
(d) Teorema de Kuzminov. Si (G, , ) es compacto con peso topolgico (:=el caro
dinalidad m
nimo de una base topolgica) , entonces existe una funcin sobre
o
o
continua f : {0, 1} (G, , ) [C] (1.36). Este teorema puede extenderse a
vecindades compactas.
(e) Teorema de Haar. Si (G, , ) es localmente compacto, existe una medida
de los subconjuntos de Borel en [0, ) tal que: (i) (K) < si K es un
subespacio de G -compacto, (ii) (U) > 0 si U , (iii) (g X) = (X) (es
invariante por la izquierda), (iv) si m es otra medida de los subconjuntos de
Borel en [0, ) que cumple (i-iii), entonces existe c > 0 tal que m(X) = c(X)
( es esencialmente unica). La medida es llamada medida izquierda de

Haar y no tiene porque ser invariante por la derecha. Existe asimismo una
medida derecha de Haar que no tiene que ser invariante por la izquierda.
Existe una relacin entre ambas. Cuando la medida de Haar por la derecha es
o
invariante por la izquierda (o viceversa), se dice que (G, , ) es unimodular,
por ejemplo, mas no exclusivamente, si (G, , ) es abeliano o compacto [HR]
(15).
20. Teorema de Gelfand-Ra
kov.
(a) Sea H un espacio de Hilbert complejo con producto , . Dentese mediante
o
U(H) al grupo de transformaciones lineales T de H en H tales que T x, T y =
x, y con la composicin de funciones como operacin de grupo [HR] (B.43 y
o
o
B.56) y equipado con la topolog mas dbil que hace a las funciones T T x
a
e
continuas para cada x H [HR] (22.2). A U(H) lo llamaremos grupo de
transformaciones unitarias de H o simplemente grupo unitario de H. Por
ejemplo, si H = Cn , entonces los grupos U(H) y U(n, C) son topolgicamente
o
isomorfos.
(b) Si (G, , ) es un GT, una representacin unitaria de (G, , ) es un homomoro
smo continuo f de (G, , ) en U(H) para algn espacio de Hilbert H. Si f
u
tiene la propiedad adicional de que {0} y H son los unicos subespacios cer
rados M de H tales que f (g)[M] M para cada g G, entonces f es una
representacin unitaria irreducible de (G, , ) [HR] (21.26).
o
(c) Si (G, , ) es localmente compacto y g es un elemento de G que no es la identidad, entonces existe un espacio de Hilbert H y una representacin unitaria
o
irreducible de (G, , ) en U(H) tal que f (g) = IH (la identidad de U(H)).
Este es el teorema de Gelfand-Ra
kov y da lugar a una nueva rama de las
matemticas llamada anlisis armnico. Cuando (G, , ) es compacto, H
a
a
o
es nito-dimensional y U(H) = U(n, C) para algn n N. Si (G, , +) es
u
abeliano, se puede tomar n = 1 lo que implica que los caracteres de (G, , +)
(homomorsmos -continuos f : G T = U(1, C)) separan a los puntos de
G [HR] (22).
21. Teorema de Pontryagin-van Kampen. Sea (G, , +) un grupo abeliano topolgico
o
n
n

localmente compacto (GALC). Por ejemplo, R , Z , T, Zn .

(a) Dentese por G al grupo abeliano que contiene a los caracteres de (G, , +)
o

con la operacin denida punto a punto:

o
(1 2 )(g) := 1 (g) + 2 (g).
a
a
Sea ca la topolog cuya base de vecindades en la identidad de G est dada
por los siguientes conjuntos:
(K, ) := { G : |(g)| g K},
donde K G es -compacto y > 0. A ca se le conoce como la topolog
a
compacto-abierta. Se sigue que la tripleta (G, ca , ) es un GALC, llamado el
dual de (G, , +) [HR] (23).
(b) Teorema de la dualidad de Pontryagin-van Kampen: Sea g (G, , +). Def
nase
(g) : (G, ca , ) T mediante la frmula
o
(g)() := (g).
Se sigue que (g) es un caracter de (G, ca , ), que todos los caracteres de
u
(G, ca , ) vienen dados en la forma (g) para algn g (G, , +) y que es
un isomorsmo topolgico entre (G, , +) y el dual de (G, ca , ) [HR] (24).
o
(c) Ejemplos [HR] (23.27). Seguimos identicando a T con 1 , 1 , + mod 1 :
2 2
i. Z = T. Si Z considrese la funcin (1) T. Los compactos
e
o
1
1
en Z son nitos, as {0, 1, ..., n}, 1 = 4n , 4n T.

4
ii. T = Z. Sea T . Si = 0, pongamos f () = 0. Si no, kernel es
1
un subgrupo cerrado de T, y por lo tanto c
clico de torsin, digamos n .
o
1
1
Si 3n > 0, ponemos f () = n y f () = n si 3n < 0. Se sigue
que f : T Z es un isomorsmo y se vuelve topolgico notando que
o
T, 1 = {0}.
4
iii. R = R. Sea R . Si = 0, pongamos f () = 0. Si no, kernel es
un subgrupo cerrado de T, y por lo tanto c
clico, digamos a con a > 0.
a
Si 3 > 0, ponemos f () = a y f () = a si a < 0. Se sigue
3
que f : R R es un isomorsmo y se vuelve topolgico notando que
o
1
1
[n, n], 1 = 4n , 4n R.
4
iv. El dual de un compacto es discreto, y el de un discreto es compacto. La
primera armacin se da notando que si K es un grupo compacto, entonces
o
1
K, 4 = {0}. La segunda se da notando (1) que el grupo de homomorsmos Hom(G, T) de cualquier grupo G en T es cerrado en el grupo de las
funciones TG de G en T (por supuesto con la operacin coordenada a cooro
denada) y (2) despus notando que dado que los compactos de un espacio
e
discreto son nitos, la topolog compacto-abierta de TG es precisamente
a
la topolog producto, y dado que T es compacto, se sigue el resultado,
a
por el teorema de Tychonov [HR] (23.17).
22. Teorema de la completacin de Weil. Si (G, G ) es un subgrupo de un grupo como
(K, )
es un grupo compacto con la propiedad de que si
pacto (K, ), su cerradura G
f : G H es un homomorsmo G -continuo en un grupo compacto H, f puede
(K, )
extenderse a un homomorsmo continuo f : G
H (ya que los homomorsmos continuos son unifrmemente continuos [HR] (4)). Ntese que si U es cualquier
o
o

vecindad de (G, G ), existe un subconjunto nito F de G tal que UF = G = F U,

es decir, los subgrupos de grupos compactos son totalmente acotados. Es un teorema de A. Weil que lo opuesto tambin sucede: Si (G, ) es un grupo totalmente
e
acotado, entonces existe un grupo compacto (G, ) que contiene a G dnsamente
e
con la propiedad de que si f : G H es un homomorsmo -continuo en un
grupo compacto (H, t), f puede entonces extenderse a un homomorsmo -continuo
f : G (H, t). Al grupo compacto (G, ) se le conoce como la completacin (de
o
Weil) del grupo (G, ) [C] (1.13).
23. Teorema de las topologas acotadas de Comfort y Ross. Sea (G, ) un grupo total
mente acotado abeliano (TAA), con completacin (G, ). El grupo (G, ) es un
o
2
subgrupo de Hom(G, T) que separa los puntos de G. Dentese mediante (G, )
o
a la topolog mas dbil que hace a los elementos en (G, ) continuos. Est
a
e
a
claro que (G, ) . Es un teorema de Comfort y Ross de que en realidad se
da (G, ) = . Asimismo, los mismos autores demostraron que si A y B son subas
grupos de Hom(G, T) que separan puntos, entonces se sigue que A = B (topolog
denidas de manera similar a (G, ) ) si y slo si A = B [CR64].
o
24. Existencia de la compactacin de Bohr. Sea (G, ) un GT abeliano, tal que (G, )
o
separa los puntos de G. Sea + la topolog mas dbil sobre G que hace los elementos
a
e
+
de (G, ) continuos (es decir, = (G, ) denida en el apartado anterior). Entonces (G, + ) es un grupo totalmente acotado y claramente + siendo iguales
(vase el apartado (23)) si y solo si es totalmente acotada. La completacin (G, + )
e
o
o
de (G, + ) la llamamos la compactacin de Bohr de (G, ) (aunque en realidad sea
una compactacin de (G, + )), y tiene la propiedad de que si id : (G, ) (G, + )
o
denota a la identidad y f : G K es un homomorsmo -continuo en un grupo
compacto K, entonces existe un homomorsmo + -continuo f : G K tal que
f = f id [HR] (26.11-13).
25. Teorema de Glicksberg sobre los Bohr-compactos. Sea (G, ) un GT localmente compacto abeliano. Si K G, entonces K es -compacto si y solo si K es + -compacto.
Este resultado fue demostrado primeramente para grupos discretos por Leptin y
despus por Glicksberg para grupos localmente compactos abelianos arbitrarios y
e
subsecuntemente ha sido demostrado y generalizado de diferentes maneras [G], [L].
e
26. Teoremas sobre grupos seudocompactos de Comfort y Ross [CR66].

o
(a) Si X es un espacio topolgico T3 1 , su compactacin de Stone-Cech es un espacio
o
2
compacto, denotado como X, que contiene a X dnsamente y con la propiedad
e
adicional de que si f : X K es una funcin continua en un espacio compacto
o
K, sta se puede extender a una funcin continua f : X K [E] (3.6).
e
o
El espacio X siempre existe y es bsicamente unico. Si X fuera un GT, X
a

rara vez lo ser Si (G, ) es un GT, entonces (G, ) es un GT si y slo si

a:
o
(G, ) es un grupo seudocompacto. En este caso se tendr necesariamente que
a
(G, ) es precisamente la completacin (de Weil) de (G, ). Por ejemplo [C]
o
(6.10), si {(Gi , i ) : i J} es una coleccin de GTs compactos, entonces
o
(iJ (Gi , i )) = iJ (Gi , i ).
(b) Es bien sabido que el producto de dos espacios seudocompactos, no tiene
2

Este ultimo equipado con la operacin denida en el apartado (21a).

porque ser seudocompacto [E] (3.10.19). Sin embargo, si {(Gi , i ) : i J}

es una coleccin de GTs seudocompactos, entonces su producto iJ (Gi , i ) es
o
asimismo seudocompacto, y (por el apartado anterior)
(iJ (Gi , i )) = iJ (Gi , i ).
27. (Baire, 1909) El espacio N de los n meros irracionales como subespacio de R es
u
N
homeomorfo a N . [Sugerencia tomada de [E] (4.3.G). Primero, notemos que siendo
e
un G en R, N es completamente metrizable, es decir, existe una mtrica en la
que toda sucesin de Cauchy necesariamente debe converger [E] (4.3.23). Con tal ,
o
demustrese que dado > 0 y cualquier abierto U de N , existe una coleccin
e
o
numerable Fn n< de cerrados-abiertos en N cada uno con -dimetro < y
a
o
tales que U = n< Fn . Si (n1 , n2 , ..., nk ) es una sucesin nita de naturales, y el
nanse los cerrados-abiertos
cerrado-abierto F(n1 ,n2 ,...,nk ) ha sido denido, entonces def
F(n1 ,n2 ,...,nk ,n) n< con -dimetro < 1/k tales que
a
N = n< F(n) , F(n1 ,n2 ,...,nk ) = n< F(n1 ,n2 ,...,nk ,n) , y
n = m = F(n1 ,n2 ,...,nk ,n) F(n1 ,n2 ,...,nk ,m) = .]
Bibliograf
a:
[C ] Comfort, W. W., Topological Groups, in: Handbook of Set Theoretic Topology,
Eds. K. Kunen and J. E. Vaughan, Elsevier Science, 1984, 1143-1263.
[CR64 ] Comfort, W. W. and Ross, K. A., Topologies induced by groups of characters.
Fund. Math. 55, 1964, 283-291.
[CR66 ] Comfort, W. W. and Ross, K. A., Pseudocompactness and uniform continuity
in topological groups. Pacic J. Math. 16, 1966, 483-496.
[E ] Engelking, R., General Topology, Heldermann Verlag, Berlin, 1989.
[HR ] Hewitt, E. and Ross, K. A. Abstract Harmonic Analysis I, Die Grundlehren
der mathematischen Wissenschaften in Einzeldarstellungen, vol. 115, SpringerVerlag, Berlin Gttingen Heidelberg, 1963.
o
[G ] Glicksberg, I., Uniform boundedness for groups, Canadian J. Math. 14 (1962),
269-276.
[L ] Leptin, H., Abelsche Gruppen mit kompakten Charaktergruppen und Dualitatstheorie gewisser linear topologischer abelscher Gruppen, Abh. Math. Sem. Univ.
Hamburg 19 (1955), 244-263.
[T ] F. J. Trigos-Arrieta, Every uncountable Abelian Group Admits a Nonnormal
Group Topology, Proc. Amer. Math. Soc., 122 (1994) (3), pp. 907-909.