Grupos topol´ ogicos y grupos de Lie

Gema R. Quintana Portilla 16 de enero de 2007

. . . . Grupos topol´ ogicos 3. . . Ejemplos 4. . . . . . . .7. . . . . . Tu ) . . . . . . . . . . . . . . Un grupo topol´ ogico que no es grupo de Lie Referencias . . . . R) .2. . . . . . . . . 4. .9. La circunferencia S1 . . . . . . . . +. . . . . . . . . . La esfera S3 . El grupo lineal general: GL(n. . . . . . El grupo aditivo de los n´ umeros reales: (R. 4. . . . 5. . . . .3. . . . . . . . .´ Indice ´ Indice 1. . . . . .4. . . . 4. . .. . . . . . Grupo ortogonal: O(n. . . El producto de dos grupos de Lie . . .1. . El grupo multiplicativo de los n´ umeros reales: (R∗ . . . . 4. . . . . . . Introducci´ on 2. . . . . . 4. . .6. Tu ) 4.8. . . . . . . . . 1 2 2 4 5 5 5 5 6 7 8 8 9 10 11 12 1 .5. . . Grupos de Lie 4. . . . . R). 4. . . . . . Los cuaterniones H . . . . Grupo especial lineal: SL(n. . . . . . . . . . . . . . . . . . R). . . . . . . 4.

Consideremos las siguientes aclaraciones a la definici´ La tercera condici´ on quiere decir que si a. y adem´ as para todo entorno V a−1 existe un entorno U a tal que − 1 U ⊂V. si lo es como grupo. Se dice que (G. b) = ab y s(a) = a−1 son continuas. 2. definir las nociones de grupo topol´ ogico y grupo de Lie e ilustrarlas con ejemplos. (G. Eso fue lo que motiv´ o que se incluyese la u ´ ltima secci´ on del trabajo. compacto. ∗) donde G es un conjunto y ∗ una operaci´ on cumpliendo: (1) a ∗ (b ∗ c) = (a ∗ b) ∗ c ∀a. ogico separable2 . T ) es un grupo topol´ ogico. Grupos topol´ ogicos Definici´ on 2. equivale a exigir la continuidad de la aplicaci´ on g (a. simplemente conexo. etc. simple. b) = ab−1 Un grupo topol´ ogico se denomina conexo. normal. en un principio. si lo es como espacio topol´ ogico. b ∈ G entonces para todo entorno W del elemento c = ab ∃ entornos U ayV b tales que U V ⊂ W . 2. b...1. ∗. on: Nota 2. si: 1. ∗) es un grupo1 . Se denomina grupo al par (G.2. (3) ∀a ∈ G ∃a−1 ∈ G g ∈ G tal que a ∗ a−1 = a( − 1) ∗ a = e. Las aplicaciones f (a. c ∈ G. semisimple. (2) ∃e ∈ G tal que a ∗ e = e ∗ a = a ∀a ∈ G. Introducci´ on El objetivo de este trabajo fue. 1 2 . En la b´ usqueda de ejemplos nos dimos cuenta de que los ejemplos de grupos topol´ ogicos normalmente citados eran todos grupos de Lie y que en casi ning´ un sitio se recog´ ıan ejemplos de grupos que fuesen solamente topol´ ogicos. 2 Recordemos que un espacio topol´ ogico se dice separable si posee un subcojunto denso y numerable. (G. T ) es un espacio topol´ 3.1. Del mismo modo se denomina abeliano. etc. Adem´ as.

en este sentido. .3.5. La definici´ on la hemos tomado de [5]. Sea X un espacio topol´ ogico IIAN y sea B una base numerable. en [6] no se lo exigen. entonces es separable. Definimos A = {ai /i ∈ N}. por ejemplo. Cabe se˜ nalar aqu´ ı que los ejemplos del curso que no eran IIAN . adelant´ andonos un poco.. A es numerable y denso. 4 3 3 . Todo subgrupo de un grupo topol´ ogico es tambi´ en un grupo topol´ ogico con la topolog´ ıa inducida. 3. H es subgrupo de G como grupo algebraico5 .4. Nosotros. H es un subconjunto cerrado del espacio topol´ ogico G. no vac´ ıo. veremos que ser grupo de Lie implica ser grupo topol´ ogico. i ∈ {1. Nota 2. Para cada abierto b´ asico Bi ∈ B . Demostraci´ on.}. 5 Se dice que un conjunto H ⊂ G es subgrupo del grupo G si ∀a. Imponerla es lo an´ alogo a pedir a las variedades diferenciables que sean Hausdorff. y la segunda. 2. Se dice que un subconjunto H ⊂ G es un subgrupo del grupo topol´ ogico G si: 1. El porqu´ e se ha de tomar una opci´ on u otra nos lo aclara el siguiente lema: Lema 2. el lector ya se haya dado cuenta de que no es necesario exigir la segunda condici´ on3 en la definici´ on. 2.Cada grupo puede ser convertido trivialmente en un grupo topol´ ogico consider´ andolo con la topolog´ ıa discreta. Todo grupo es un grupo topol´ ogico si lo dotamos de la topolog´ ıa trivial.la teor´ ıa de los grupos topol´ ogicos subsume a la de los grupos ordinarios. Seguramente. nos hemos decantado por la segunda de estas opciones ya que en el curso de Topolog´ ıa Diferencial actualmente s´ olo consideramos variedades diferenciables IIAN 4 . luego X es separable. sea ai ∈ Bi . b ∈ H se cumple ab−1 ∈ H . Y aqu´ ı hay dos opciones: la primera es no exigir en la definici´ on de grupo topol´ ogico la separabilidad ni en la de variedad diferenciable el ser Hausdorff. ¿Y esto por qu´ e? Pues porque. pero.. que se satisfagan ambas cosas. Si un espacio topol´ ogico es IIAN . A continuaci´ on vamos a introducir la definici´ on de subgrupo topol´ ogico ya que la emplearemos a la hora de estudiar algunos de los ejemplos: Definici´ on 2. (la recta con origen doble y la recta con infinitos or´ ıgenes) s´ ı son espacios topol´ ogicos separables (ambos poseen un subconjunto denso y numerable: Q.

IAN . 7 Por esto. 3. Se dice que (H. localmente compacto9 . se˜ nalando algunas de sus propiedades topol´ ogicas m´ as importantes. Nota 3. Por eso. ϕ)10 es un subgrupo de Lie de un grupo de Lie G si: 1. H es un grupo de Lie. las que tiene como grupo algebraico.3. es decir. b) = ab−1 ´ nicamente que la funci´ sea C ∞ . 9 Entendiendo la compacidad local como existencia de una base de entornos compactos. h2 ∈ H . 8 Luego en una variedad las componentes conexas y las conexas por caminos coinciden y son abiertas. Grupos de Lie Definici´ on 3. 10 Con (H.3.1. etc. Algunos comentarios a la definici´ on anterior son: Al igual que ocurr´ ıa en el caso de los grupos topol´ ogicos en la definici´ on anterior podr´ ıamos haber exigido u on f (a. la aplicaci´ on ϕ : H → G es un homomorfismo de grupos12 . ϕ(h1 h2 ) = ϕ(h1 )ϕ(h2 ) ∀h1 . 12 Esto es. Todo grupo de Lie es localmente eucl´ ıdeo (ya que es variedad diferenciable). Una vez que hemos introducido todas las definiciones. todos los ejemplos de la secci´ on siguiente son grupos de Lie. H es subvariedad regular11 de G. al caracterizar las propiedades topol´ ogicas de los ejemplos no comentaremos las propiedades locales que poseen trivialmente. Definici´ on 3. hereda las propiedades topol´ ogicas locales7 de Rn : localmente conexo. Un grupo de Lie G es una variendad diferenciable dotada de una esctuctura de grupo tal que las funciones f (a. b) = ab y f (a) = a−1 son C ∞ . 2. ϕ) queremos indicar que ϕ es la inyecci´ on natural de H en G. localmente conexo por caminos8 . es muy dif´ ıcil encontrar ejemplos grupos topol´ ogicos que no sean grupos de Lie a nuestro nivel. Sin El rec´ ıproco no es cierto. Todo grupo de Lie es grupo topol´ ogico respecto a la topolog´ ıa inducida por su estructura de variedad diferenciable. Una muestra de esto constituye la u embargo. vamos a ilustrarlas con unos cuantos ejemplos. ϕ : H → G es una inmersi´ on y la topolog´ ıa de H coincide con la restricci´ on de la de G. Y las propiedades de algebraicas. Cada ejemplo ser´ a estudiado por separado. 6 4 . Las propiedades topol´ ogicas de un grupo de Lie son las que tiene como variedad diferenciable.2.6 . ´ ltima parte de este trabajo. 11 Es decir.

n ∈ R}). b) = ab y s(a) = a−1 son continuas. Un subgrupo conexo de este grupo es (R+ . . ´ 4. +. Sabemos que G × H es una variedad diferenciable por ser producto de dos variedades diferenciables. El producto G × H de dos grupos de Lie es un grupo de Lie. el conjunto de los n´ umeros reales distin´ ste es un grupo abeliano respecto del producto. Sean G y H dos grupos de Lie. an´ alogamente se definir´ ıan el grupo aditivo de los n´ umeros complejos.1. Tambi´ en es un grupo de Lie: es variedad diferenciable (posee un atlas C∞ formado por una sola carta. el grupo de las matrices regulares complejas de orden n. El grupo aditivo de los numeros reales: (R. la identidad). En este trabajo s´ olo vamos a considerar el caso real. es decir. las aplicaciones anteriores son C∞ . las aplicaciones f (a. Demostraci´ on. de donde R∗ .3. etc. ∞)). 14 De ahora en adelante diferenciable significar´ a para nosotros diferenciable C∞ . Por supuesto. En la tos de cero.. Tu ) Si consideramos ahora R∗ . b) = a − b y f (a) = −a son continuas considerando R dotado de la topolog´ ıa usual. Tu ) El conjunto de los n´ umeros reales es un grupo abeliano respecto de la suma. Ejemplos Todos los ejemplos que vamos a considerar a continuaci´ on son grupos de Lie.2. lo que implica que son grupos topol´ ogicos. . El producto de dos grupos de Lie Teorema 4. tenemos que e topolog´ ıa usual inducida por la de R. El grupo multiplicativo de los numeros reales: (R∗ . es un grupo topol´ ogico. 0)∪ (0.1. Es simplemente conexo y no es compacto (un recubrimiento de R que no admite subrecubrimiento finito es {(−n. dotado de la topolog´ ıa usual. podemos generalizar de manera natural a dimensiones superiores (definiendo la operaci´ on coordenada a coordenada) y se tiene que Rn con la topolog´ ıa natural es un grupo de Lie que denominaremos grupo vectorial n-dimensional real13 . 4. En este caso el grupo no es conexo (basta considerar la separaci´ on: R = (−∞. ´ 4. Tu ) donde con R+ denotamos al conjunto de los n´ umeros reales positivos. 13 5 . No s´ olo es grupo topol´ ogico sino que es grupo de Lie (por ser las aplicaciones anteriores diferenciables14 ). Es evidente que es grupo topol´ ogico ya que las aplicaciones f (a. n).4..

As´ ı. d) = (ac − bd. Sabemos que es una variedad diferenciable: basta dotarla de un atlas formado por las dos proyecciones estereogr´ aficas. Elemento inverso: para cada (g.3. ∗) y (H. h2 ) ∈ G × H La operaci´ on est´ a bien definida porque G y H son grupos. Entonces su producto G × H es un grupo con la operaci´ on definida componente a componente: (g1 .2. Lema 4. Demostraci´ on. recordemos que S1 ≈ C. eH ). respectivamente. (g2 .4. Adem´ as. El producto de dos grupos es un grupo. Cada elemento de este par es el inverso de g en G y de h en H . Elemento neutro: (eG . h1 ). (c. se define (a. h2 ) = (g1 ∗ g2 . h3 ) = (g1 ∗g2 . El producto finito de grupos de Lie es un grupo de Lie.4. h−1 ). s´ olo nos resta ver que la operaci´ on del grupo G × H es diferenciable. d) ∈ S1 .Lema 4. h1 ♦h2 ♦h3 ) = (g1 ∗ (g2 ∗ g3 ). h3 )). y esto se tiene trivialmente ya que lo es en cada componente porque G y H son grupos de Lie. b) ∈ R2 : a2 + b2 = 1}. h1 ♦h2 )(g3 . 6 . ♦) dos grupos. ad + bc). 1) y otra desde el (0. b).para dotarla de estructura de grupo emplearemos el producto usual de C: sean (a. h1 ♦h2 ) ∀(g1 . b)(c. h1 )(g2 . Veamos que dota a G × H de estructura de grupo: Es asociativa: ((g1 . h) ∈ G × H el elemento inverso viene dado por (g −1 . respectivamente. h2 )(g3 . Es claro que lo anterior se puede generalizar al producto finito de grupos de Lie: Corolario 4. Sean (G. La circunferencia S1 Definimos S1 = {(a. −1). Por el lema anterior. h1 )(g2 . podemos definir S1 = {z ∈ C : |z | = 1}. con eG y eH los elemento neutros de G y H . h2 ))(g3 . h1 ♦(h2 ♦h3 )) = (g1 . es decir. h3 ) = (g1 ∗g2 ∗g3 . por ejemplo. S1 con el producto as´ ı definido es un grupo de Lie. h1 )((g2 . 4. una desde el (0.

es el primer ejemplo (hist´ oricamente) de un cuerpo no conmutativo y consiste en un espacio vectorial real de dimensi´ on 4 con una base {1. z1 = eiϕ1 .15 teniendo en cuenta para el producto que i2 = j 2 = k 2 = −1. Excluimos el 0. Podemos identificar H con las matrices complejas de dimensi´ on dos17 : a + bi −c − di c − di a − bi 15 16 : a. H. Los cuaterniones H El cuerpo de los cuaterniones. 17 Al igual que se identifica C con las matrices reales de dimensi´ on dos: . como polinomios. Demostraci´ on. claro. b. Basta probar que la aplicaci´ on f (z1 . d ∈ R Es decir. para que sea grupo multiplicativo. z2 ) = z1 z2 es diferenciable. c. Lema 4. (H∗ . Los cuaterniones son una variedad diferenciable. Demostraci´ on. jk = −kj = i. s´ olo nos resta probar que el producto y la inversi´ on son diferenciables: (x1 + x2 i + x3 j + x4 k )(y1 + y2 i + y3 j + y4 k ) = x1 y1 − x2 y2 − x3 y3 − x4 y4 + +i(x1 y2 +x2 y1 +x3 y4 −x4 y3 )+j (x1 y3 −x2 y4 +x3 y1 +x4 y2 )+k (x1 y4 +x2 y3 −x3 y2 +x4 y1 ) x1 − x2 i − x3 j − x4 k (x1 + x2 i + x3 j + x4 k )−1 = 2 2 2 x2 1 + x2 + x3 + x4 La primera expresi´ on es polin´ omica y la segunda racional con denominador distinto de cero.) es un grupo de Lie16 . Basta considerar como carta la identidad de H en R4 para dotarlo de estructura de variedad diferenciable. Teorema 4. Por el lema anterior.−1 Demostraci´ on. j. ki = −ik = j . z2 = eiϕ2 con lo que la aplicaci´ queda f (eiϕ1 . trivialmente. ij = −ji = k . . i. Se trata de un grupo de Lie conexo y compacto.5. es decir. 4. b. es diferenciable. Y la manera m´ as f´ acil de hacerlo es considerar la notaci´ on exponencial para los on anterior n´ umeros complejos.5. d ∈ R que se suman y se multiplican de manera natural.6. k } cuyos elementos son de la forma a + bi + cj + dk con a. c. eiϕ2 ) = eiϕ1 e−iϕ2 = ei(ϕ1 −ϕ2 ) que.

a −b b a : a. b ∈ R 7 .

.9. es la matriz inversa. A. que no nos interesa tanto como la del producto debido al ejemplo siguiente: 4. el conjunto de todas las matrices reales regulares de orden n. Corolario 4.   a n1   a1n    . Demostraci´ on. z. En nuestro caso. GL(n. .7.. El elemento neutro es la matriz identidad. La esfera S3 es un subgrupo de Lie de H. tenemos que S3 es una hipersuperficie de R4 (recordemos que existe un isomorfismo entre los cuaterniones y R4 ) dada por los ceros de la funci´ on F : R4 → R F (x. La esfera S3 es un subgrupo de (H∗ .. . Para n ≥ 2 resulta que dicho grupo es no abeliano. A−1 . Adem´ hh as si h1 . . .). h2 ∈ S 3 . . La esfera S3 Es un grupo de Lie. El grupo lineal general: GL(n..7. h1 h2 ∈ S 3 porque h1 h2 h1 h2 = h1 h2 h Lema 4.Si consider´ asemos la suma en vez del producto tendr´ ıamos otra estructura de grupo de Lie para los cuaterniones. Es decir.6. 8 .  : det(A) = 0  ann Se define . . Es un grupo con el producto de matrices. . La esfera S3 es subvariedad regular de H. R) = A =  . 4. y. I . cuyo jacobiano es (2x 2y 2z 2t) que no se anula ∀p ∈ S3 . ¯2 h ¯1 = 1. Basta usar que toda hipersuperficie de Rn dada por los ceros de una funci´ on F : Rn → R cuya matriz jacobiana no se anula en la hipersuperficie es subvariedad regular de Rn . Podemos identificar S3 con los cuaterniones de m´ odulo uno: 2 2 2 S3 = {x1 + x2 i + x3 j + x4 k : x2 1 + x2 + x3 + x4 = 1} Para ver que es un subgrupo basta tener en cuenta que si h ∈ H entonces h 2 = √ ¯ .. y el elemento inverso de una matriz.8. R)   a11    . ve´ amoslo: Lema 4. y si h ∈ S3 lo anterior implica que h−1 = h ¯ ∈ S3 . Demostraci´ on. t) = x2 + y 2 + z 2 + t2 − 1.

R) : det(A > 0)}. SL(n.. R) = {A ∈ GL(n. . . R) : det(A) ∈ (−n. R) es un subgrupo cerrado del grupo lineal general18 . Demostraci´ on. Si ahora consideramos A. Proposici´ on 4. se trata de un grupo de Lie de dimensi´ on n2 . ann ) del espacio Rn .13. Proposici´ on 4. que son abiertos por ser la imagen inversa de dos abiertos de R por la aplicaci´ on determinante que es continua. .  . Demostraci´ on. Sea {A ∈ GL(n. R) : det(A) = 1}. a11 . R) : det(A < 0)} y {A ∈ GL(n. Demostraci´ on.8. SL(n. . . Demostraci´ on.11. B ∈ SL(n. . R) no es compacto. Basta considerar la separaci´ on definida por los abiertos de GL(n. . R). an1 . Es cerrado por ser la imagen inversa del {1} por la aplicaci´ on determinante que es continua. re2 sulta que GL(n. Este  4. Ser´ ıa trivial ver que es un grupo de Lie si emple´ asemos el teorema de Cartan. . . a1n . R). . R). R) {A ∈ GL(n. . claro). . As´ ı. det(AB ) = det(A)det(B ) = 1 ⇒ AB ∈ SL(n. abiertos de GL(n. n)} un recubrimiento por ´ no admite subrecubrimiento finito. R). Proposici´ on 4. Pero lo haremos directamente. B ) = AB y f (A) = A−1 son diferenciables por ser polinomios (y porque det(A) = 0. ann 2 mo un punto de coordenadas (a11 . . es decir.. Sea A ∈ SL(n. Grupo especial lineal: SL(n. 18 2 9 . como det(AA−1 ) = det(A)det(A−1 ) = 1 se tiene det(A−1 ) = 1 ⇒ A−1 ∈ SL(n. R) no es conexo. R). R) es el subconjunto de Rn definido por la condici´ on det(A) = 0. . Por esto. . F (A) = det(A) − 1. R).. GL(n. que establece que todo subgrupo cerrado de un grupo de Lie es un subgrupo de Lie. la topolog´ ıa natural de este grupo es la inducida por la topolog´ ıa natural de 2 n ´ R .10. Proposici´ on 4. R) es una subvariedad regular de GL(n.. GL(n. usando la definici´ on. . a1n  . R). Esta es separable y en ella las aplicaciones f (A. . Dado que cualquier matriz A =  . Basta considerar que es una hipersuperfice de Rn dada por los 2 ceros de la funci´ on F : Rn → R. Se define SL(n. donde consideramos el desarrollo del determinante por los adjuntos de la primera columna de A.12..  puede considerarse coan1 .

puesto que Demostraci´ on. Por otra parte. O(n. a las matrices triangulares superiores con todos sus t´ erminos diagonales iguales a uno que definen un subconjunto no acotado en 2 Rn . La conexi´ on se sigue de que es la imagen inversa de un conexo por la aplicaci´ on determinante.. R) es un subgrupo de Lie de GL(n. R) : AT A = I }.. lo que nos da la contradicci´ on19 . A12 . lo que nos da la dimensi´ on. implica. La matriz jacobiana de F es de la forma J (F ) = (A11 .9. .. R) = {L : Rn → Rn } donde L es una aplicaci´ on lineal que preserva el producto escalar. . Se define como O(n. 20 19 10 . Grupo ortogonal: O(n. del cerrado {−1. R) = {A ∈ GL(n. = B1n = 0. De aqu´ ı se sigue que es cerrado: es la imagen inversa por una aplicaci´ on continua. Teorema 4. R) cuya dimensi´ on es 2 n − 1. recordemos que de imponer la condici´ on de ortogonalidad20 . se sigue que las columnas de las matrices de O(n. SL(n. Corolario 4. R). R) es un subgrupo de Lie de GL(n. Teorema 4.det(A) = n i=1 (−1)i+1 a1i A1i . por ejemplo. que afirma que todo subgrupo cerrado de un grupo de Lie es subgrupo de Lie. SL(n. 4.14. Y no es compacto porque no es acotado: contiene. As´ ı que ya tenemos probado que es un subgupo cerrado de GL(n. R).. O(n) vendr´ a dado por 2 = 2 ecuaciones. on de ortogonalidad. Demostraci´ on. 1}.15. B ∈ O(n. R): supongamos por reducci´ on al absurdo que J (F )B ≡ 0 para alg´ un B ∈ SL(n. AT A = I . R). Veamos ahora que es subgrupo: sean A. O(n. y concluir que es subgrupo de Lie. el determinante. det(A) = 1 o det(A = −1).. que es continua. Teorema 4. es decir de norma uno y ortogonales dos a dos lo que nos da un total de n 2 condiciones n(n−1) n a imponer. R) de dimensi´ on n 2 ... R) es un grupo de Lie conexo y no compacto.16. R) ⇒ (AB −1 )T AB −1 = (AB T )T AB T = BAT AB T = BIB T = B T B = I . R) han de ser ortonormales.17. esto implicar´ ıa que B11 = B12 = . R) y estamos en las condiciones de aplicarle el teorema de Cartan. R) es no conexo y compacto. Esto es. Partimos de la hip´ otesis que det(B ) = 1 Podemos definir O(n.) y no se anula en SL(n. A1n . La condici´ det(A) = det(AT ) que si A ∈ O(n.

Esta operaci´ on es continua. c) y b ∈ (c. ∃c ∈ R \ Q y podemos tomar la separaci´ on (−∞. En 1990 Hirschfeld public´ o una prueba no est´ andar mucho m´ as simple y cuanto menos esbozable. Q. Esto es posible por la densidad de los irracionales en Q. El problema fue resuelto afirmantivamente en 1952 por Montgomery. es asociativa. Un grupo topol´ ogico que no es grupo de Lie Todos los ejemplos que hemos visto en la secci´ on anterior eran grupos topol´ ogicos que a la vez eran grupos de Lie. {A ∈ GL(n.1. es un grupo topol´ ogico que no es grupo de Lie. La compacidad se sigue de que es cerrado y acotado. Sin embargo. 5. y el elemento inverso de q ∈ Q es −q . es decir.o no. R). Otra demostaci´ on fue publicada en 1962 por Kaplansky. Esto sugiere la pregunta de si existir´ a . c) ∪ (c. que son abiertos por ser la intersecci´ on de los dos abiertos de GL(n. R) : det(A) < −1} con O(n. Por el teorema anterior. pero el correspondiente a este problema dijo que las demostraciones conocidas eran tan t´ ecnicas y complejar que no pod´ ıa siquiera esbozarlas. La no conexi´ on se sigue de que tiene una separaci´ on formada por los abiertos {A ∈ O(n. con la topolog´ ıa heredada de R. en determinar si todo grupo topol´ ogico localmente eucl´ ıdeo era un grupo de lie. Zippin y Gleason. puesto que las columnas de las matrices de O(n. R) tienen norma 1. ∞). claro). Ya que si a. R) : det(A) > 1} y {A ∈ GL(n. ogico localmente eucl´ ıdeo es un grupo de Lie. R) : det(A) = 1} y {A ∈ O(n. De donde se sigue que Q con la topolog´ ıa heredada de R no es localmente eucl´ ıdeo. Eso se tiene trivialmente ya que no es localmente conexo. a < b. el elemeto neutro es el 0. Demostraci´ on. Es totalmente disconexo. ∞) tal que a ∈ (−∞. Todo grupo topol´ Demostraci´ on.2. es decir. y Q es separable porque es numerable. dados dos elementos cuales quiera encuentro una separaci´ on de Q formada por dos abiertos de tal manera que cada uno de ellos est´ a contenido en uno de los abiertos que constituyen la separaci´ on. La condici´ on suficiente es trivial y la condici´ on necesaria es el quinto problema de Hilbert que ya ha sido resuelto21 . 21 11 . b ∈ Q. en 1976 se celebr´ o un congreso sobe los problemas de Hilbert en el que un especialista de cada rama deb´ ıa explicarla soluci´ on de los que ya hab´ ıan sido resueltos. R) : det(A) = −1}. Teorema 5.Demostraci´ on. Es grupo topol´ ogico con la suma de n´ umeros racionales: la suma de racionales es operaci´ on binaria interna. un grupo topol´ ogico que no sea grupo de Lie (y que est´ e a nuestro nivel de conocimiento. Teorema 5. basta probar que Q no es localmente eucl´ ıdeo. El problema consist´ ıa en eso. R).

Springer-Verlag. tendr´ ıamos otro grupo topol´ ogico que tampoco es grupo de Lie. New York [etc.es/∼ricarfr/GruposLie/LibroGLie. New York [etc.] (1983).com/topic/topological-group.pdf. Mosc´ u (2001). Referencias ıa Diferencial.pdf [5] B. S HAPUKOV. I AS -V IRG OS [4] E. Lie algebras and some of their applications.usc.] (1974). [6] F RANK W. Grupos y a ´ lgebras de Lie en ejercicios y problemas. John Wiley & Sons. Apuntes de grupos de Lie. Lie groups. Universidad de [1] F ERNANDO E TAYO. [3] ROBERT G ILMORE. Apuntes de grupos de Lie. [7] http://www.answers. WARNER. Foundations of differentiable manifolds and Lie groups.N.es/∼xtquique/Curso Grupos Lie/Tema 1A v0. Apuntes de Topolog´ Cantabria(2006-2007). 22 12 . http://kolmogorov. M AC´ http://web. [2] R ICARDO FARO.Hemos encontrado as´ ı un grupo topol´ ogico que no es grupo de Lie22 y que queda completamente dentro de nuestro alcance (salvo por la demostraci´ on del quinto problema de Hilbert que es claro que no). URSS.unex. ´ . En realidad son dos: si consideramos Q∗ = Q − {0} con el producto de n´ umeros racionales.