Grupos de Lie e Algebras de Lie

Cap tulo 18 Grupos de Lie e Algebras de Lie.
Uma Breve Introduo ca

Contedo u
18.1 Variedades e Grupos de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18.2 Breves Consideraes sobre Grupos Topolgicos . . . . . . . . . . . . . . . . co o 18.3 Grupos de Lie Matriciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18.3.1 Uma Topologia Mtrica em GL(C, n) . . . . . . . . . . . . . . . . . . . . . . . e 18.3.2 O Grupo de Lie GL(C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18.3.3 Subgrupos Uniparamtricos e seus Geradores . . . . . . . . . . . . . . . . . . . e 18.3.4 Subgrupos Uniparamtricos e Algebras de Lie . . . . . . . . . . . . . . . . . . . e 18.3.5 Subgrupos Fechados de GL(C, n) . . . . . . . . . . . . . . . . . . . . . . . . . 18.4 A Relao entre Grupos de Lie Matriciais e suas Algebras de Lie . . . . . ca 18.4.1 Algebras de Lie Nilpotentes, Solveis, Simples e Semi-Simples . . . . . . . . . . u 18.4.2 Questes sobre a Exponenciao de Algebras de Lie . . . . . . . . . . . . . . . o ca 18.4.3 Alguns Exemplos Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 878 . 880 . 882 . . 882 . . 883 . . 885 . . 888 . . 892 . 895 . . 896 . . 899 . . 901
ste cap tulo tenciona ser uma modesta introduao ao estudo de grupos de Lie. Com particular destaque discuc tiremos grupos de Lie matriciais. Algumas observaoes prvias so necessrias. Para a discusso do conceito c e a a a geral de grupo de Lie so indispensveis algumas nooes bsicas sobre espaos topolgicos mas, de importncia a a c a c o a especial a noao de variedade diferencivel. Esse importante conceito, proveniente da geometria, desempenha e c a um papel importante em vrias reas de F a a sica, tais como a Teoria da Relatividade Geral e as Teorias de Calibre. O conceito de variedade diferencivel nasceu inspirado na noao mais familiar de superf em espaos Rn e no se desvincula a c cie c a totalmente daquela. No pressuporemos da parte do leitor conhecimento prvio do conceito de variedade diferencivel e, a e a por isso, vamos introduz adiante. No iremos, no entanto, desenvolver esse assunto em detalhe e, para tal, remetemos -lo a o estudante aos (in meros) bons livros sobre Geometria Diferencial, por exemplo [128]. u Iremos nos concentrar em exemplicar o conceito de grupo de Lie tratando primordialmente de grupos de Lie matriciais. Isso simplica um pouco o tratamento e reduz um tanto o escopo destas notas introdutrias. No entanto, a o grande maioria dos grupos de Lie de interesse (especialmente em F sica) formada por grupos de Lie matriciais. Para e o tratamento de grupos de Lie matriciais discutiremos com certo detalhe aspectos algbricos e topolgicos de grupos de e o matrizes. Mais de 100 anos de pesquisa intensa nos separam dos primrdios do estudo dos grupos e lgebras de Lie e nossas o a pretenses aqui so a de uma modesta introduao a esse vast o a c ssimo assunto. Para tratamentos gerais e abrangentes de grupos de Lie recomendamos as referncias [133], [127], [28], [97], [175], [77] ou [155], . Para lgebras de Lie, recomendamos e a [89] e [148]. Vrios grupos de Lie so importantes na F a a sica e seu tratamento particularmente importante na Mecnica Quntica e a a e nas Teorias Qunticas de Campos. Exemplos de grupos de Lie importantes para a F a sica so discutidos com certo a detalhe no Cap tulo 17, tais como os grupos SO(3), SU(2) e o grupo de Lorentz.
18.1
Variedades e Grupos de Lie
Variedades diferenciveis a Uma variedade diferencivel real de dimenso n um espao topolgico Hausdor segundo-contvel V dotado de uma a a e c o a fam de abertos F = {U , } com as seguintes propriedades: lia 878
JCABarata. Curso de F sica-Matemtica a
Verso de 8 de julho de 2008. a
Cap tulo 18
879/1507
1. V =
U .
2. Para cada U F existe um conjunto aberto C de Rn e uma bijeao cont c nua com inversa cont nua : U C . 3. Para todo par U , U F com U U = a funao c 1 : (U U ) (U U ) innitamente diferencivel como funao de (um subconjunto de) Rn em Rn . e a c Vide Cap tulo 29, pgina 1272. a Uma variedade analtica complexa de dimenso n denida analogamente, substituindo-se Rn por Cn e substituindo a e se a condiao de diferenciabilidade innita do item 3, acima, por analiticidade. c Observaao 1. Acima, apenas um conjunto de c e ndices usados para rotular os elementos de F e no tem nenhum a papel especial. pode ser nito ou no, contvel ou no. a a a Observaao 2. As funoes 1 de acima so denominadas funoes de transiao. Em uma variedade kc c a c c diferencivel exige-se apenas que as funoes de transiao sejam k-vezes diferenciveis. Esses objetos tm, porm, a c c a e e interesse relativamente limitado. Observaao 3. Os pares ( , U ) so freq entemente denominados cartas locais da variedade ou simplesmente c a u cartas. A coleao das cartas freq entemente denominada atlas. c e u Vamos ` interpretaao das condioes acima. A condio 1 diz apenas que a fam {U , } um recobrimento a c c ca lia e de V , ou seja, todo elemento de V pertence a pelo menos um aberto U , podendo naturalmente ocorrer que alguns pontos de V pertenam a vrios elementos da fam F, ou seja, os elementos de F podem ter intersecoes no-vazias. c a lia c a A condiao 2 importante e diz que os elementos de cada U podem ser rotulados (univocamente) por uma n-upla de c e n meros reais (ou complexos). Ou seja, podemos dotar cada U de um sistema de coordenadas. Note que esses sistemas u podem ser diferentes para U s diferentes. Como dissemos, pontos de V podem pertencer a vrios U s e, portanto, a podem ter a si atribu das coordenadas diferentes, uma para cada U ao qual pertence. Assim, os pontos de U U tm a si atribu e dos pelo menos dois sistemas de coordenadas: as coordenadas C de U e as coordenadas C de U . A condiao 3 diz-nos como esses sistemas de coordenadas devem relacionar-se, a saber, o que se deseja que a passagem c e das coordenadas C para as coordenadas C , a qual denida pela funao 1 , seja innitamente diferencivel (ou e c a anal tica). Como mencionamos, a conceito de variedade foi inspirado na noao de superf em conjuntos como Rn e Cn . Sem c cie entrarmos em detalhes tcnicos, toda superf em Rn convenientemente denida (tais como a superf da esfera e o e cie cie toro, em R3 ) uma variedade, ou seja, tem um sistema de coordenadas local. Isso pode ser garantido, por exemplo, e pelo conhecido teorema da funao impl c cita da anlise real. Note-se porm que variedades no so apenas conjuntos a e a a de pontos, como as superf cies de Rn o so, podendo ser tambm conjuntos de outros tipos de objetos, como funoes, a e c curvas, vetores, matrizes etc. A idia intuitiva bsica em torno da noao de variedade que a mesma representa uma e a c e coleao cont c nua de objetos que podem ser rotulados por sistemas de coordenadas e de tal forma que possamos, ao menos localmente, manipular essas coordenadas de modo (innitamente) diferencivel, como se faz em Rn . a E. 18.1 Exerccio. Mostre que o conjunto de matrizes R = rencivel de dimenso 1. a a Grupos topolgicos o Vamos agora apresentar a deniao de grupo topolgico, da qual precisaremos para discutir grupos de Lie. c o Seja G um grupo. Para cada g G podemos denir uma funao g : G G por g (h) = gh. Fora isso tem-se c tambm em G a funao inv : G G denida por inv(h) = h1 . e c Denio. Um grupo G dito ser um grupo topolgico em relaao a uma topologia denida em G se nessa topologia ca e o c a funao inv e todas as funoes g forem cont c c nuas.
a b b a
, a, b R com det(R) = 1 uma variedade difee
Cap tulo 18
880/1507
e c Comentrio. Podemos denir tambm para cada g G a funao g : G G por g (h) = hg, que representa a a fcil de se ver, porm, que g = inv g1 inv. Assim, em um grupo topolgico as multiplicaao ` direita por g. E a c a e o funoes g so tambm cont c a e nuas. Comentrio. Um grupo pode ser topolgico em relaao a uma topologia mas no em relaao a outra. Veremos exemplos. a o c a c Informalmente, um grupo G topolgico se as operaoes de produto por elementos do grupo e inverso forem e o c a cont nuas. Em termos mais precisos um grupo topolgico formado por um grupo G e uma coleao G de subconjuntos de G, o e c G (G), satisfazendo as condioes denidoras de um Espao Topolgico (vide Cap c c o tulo 22): 1. G e G G, 2. Se A G e B G ento A B G, a 3. Se I um conjunto arbitrrio de e a ndices e A G para todo I ento a
I
A tambm um elemento de G, e e
e tais que para todo O G as imagens inversas inv 1 (O) e 1 (O), para todo g G, so igualmente elementos de G. a g Os elementos de G so ditos ser os conjuntos abertos de G. Como em geral se faz em espaos topolgicos, um conjunto a c o F G dito ser fechado se seu complementar G \ F for aberto. e Grupos de Lie Um grupo topolgico que, enquanto espao topolgico, seja uma variedade real diferencivel (complexa anal o c o a tica) dito ser um Grupo de Lie1 real (complexo) se as operaoes de multiplicaao ` direita e inverso forem innitamente e c c a a diferenciveis (anal a ticas). E. 18.2 Exerccio. Verique que (R, +) (o grupo aditivo dos reais) e (R+ \ {0}, ) (o grupo multiplicativo dos reais no-negativos) so grupos de Lie reais. a a E. 18.3 Exerccio. Verique que R =
a b b a
, a, b R com det(R) = 1 um grupo de Lie real. e
Na Seao 18.3.2, pgina 883, mostraremos com detalhe que GL(C, n) um grupo de Lie. Para mais exemplos, vide c a e a discusso sobre os grupos SO(3), SU(2) etc. do Cap a tulo 17.
18.2
Breves Consideraes sobre Grupos Topolgicos co o
Nesta seao nos limitaremos a apresentar alguns poucos resultados sobre grupos topolgicos, dos quais faremos uso c o adiante ao tratarmos de grupos de Lie. O estudo de grupos topolgicos gerais bastante vasto e para um texto clssico o e a recomendamos fortemente [133]. Introduzimos aqui a seguinte notaao. Seja G um grupo topolgico. Se U algum subconjunto de G e g G denimos c o e gU = {x G| x = gu para algum u U }. Analogamente, U g = {x G| x = ug para algum u U }. E. 18.4 Exerccio. Se U um conjunto aberto de G mostre que para todo g G os conjuntos gU e U g so tambm e a e conjuntos abertos de G.
1 Marius Sophus Lie (1842-1899). Lie introduziu esse conceito em cerca de 1870 em seus estudos de propriedades de invarincia de equaoes a c diferenciais parciais.
Cap tulo 18
881/1507
Grupos topolgicos conexos e desconexos o Um grupo topolgico H dito ser desconexo se for a unio disjunta de dois conjuntos A e B, ambos no-vazios e o e a a ambos simultaneamente abertos e fechados. Ou seja, H = A B, A B = com A = , B = , onde A e B so abertos a e fechados. Um grupo topolgico H dito ser conexo se no for desconexo. o e a Alguns fatos sobre grupos topolgicos o Vamos aqui provar alguns fatos bsicos sobre grupos topolgicos gerais. Faremos uso da Proposiao 18.3 abaixo a o c quando falarmos da relaao entre lgebras de Lie matriciais e lgebras de Lie. c a a Seja H um grupo topolgico e G H um subgrupo de H. Dizemos que G um subgrupo aberto de H se G for um o e subconjunto aberto de H. Analogamente, dizemos que G um subgrupo fechado de H se G for um subconjunto fechado e de H. A seguinte proposiao relevante nesse contexto. c e Proposio 18.1 Seja H um grupo topolgico e G um subgrupo aberto de H. Ento G igualmente um subgrupo ca o a e fechado de H. e a e e Prova. Seja g G, onde G o fecho de G. Ento, se Ug qualquer aberto de H que contm g , tem-se Ug G = (Proposiao 22.8, pgina 1017). Vamos escolher cuidadosamente um tal aberto Ug . Seja Ue um aberto de H que c a contm a identidade. Como G aberto, V = Ue G igualmente aberto. Escolhemos Ug = g V := {x H, x = e e e g v para algum v V }. Ento, como Ug G = existe algum elemento g G que tambm elemento de Ug , ou seja, a e e g = g v para algum elemento v V . Mas isso implica que g = gv 1 . Agora, v V = Ue G G e, portanto, g G por ser o produto de dois elementos de G, que um grupo. e Proposio 18.2 Seja H um grupo topolgico conexo e G um subgrupo aberto de H. Ento G = H. ca o a Prova. Vamos supor que G = H, ou seja, H \ G = . Como G um conjunto aberto e fechado (pela proposiao anterior) e c H \ G = H Gc um conjunto aberto e fechado. Assim, H a unio disjunta de dois conjuntos abertos e fechados, a e e a saber G e H \ G. Isso uma contradiao com o fato de H ser conexo. Logo, G = H. e c Proposio 18.3 Seja H um grupo topolgico conexo e U um aberto de H que contm a identidade e que seja tal que ca o e para todo u U tem-se u1 U . Ento, a
H =
n=1
U n,
onde U := U e U n := {x H| x = un u1 para ui U, i = 1, . . . , n}, n > 1.
Prova. Todos os conjuntos U n so conjuntos abertos. Isso fcil de se ver. De fato, a e a U2 =

u2 U
u2 U
e, assim, U 2 aberto, pois uma unio de abertos (vide exerc ` pgina 880). Analogamente, e e a cio a a Un =
un U
un U n1 ,
n > 2.
(18.1)
Por induao, segue facilmente que todo U n aberto. c e e a e Assim U := n=1 U n igualmente um conjunto aberto (por ser uma unio de abertos). Se provarmos que U um grupo, a proposiao anterior garante a prova desejada. c
Cap tulo 18
882/1507
a E evidente que U contm a identidade e (que est contida em U ). Fora isso, se g1 U n1 e g2 U n2 , ento g1 = e a un1 u1 e g2 = u 2 u para certos ui e u U. Logo, g1 g2 = un1 u1 u 2 u , mostrando que g1 g2 U n1 +n2 U. 1 n 1 n i Finalmente, se g U n e g = un u1 , ento g 1 = u1 u1 U n U. Isso completa a prova que U um grupo. a e n 1 Informalmente, essa proposiao diz que se H um grupo topolgico conexo, ento qualquer aberto U que contm a c e o a e identidade gera o grupo H, ou seja, todo elemento de H pode ser escrito como o produto nito de elementos de U. Observaao. Como a identidade e um elemento de U , segue facilmente de (18.1) que U n1 U n para todo n 1. c e Seja H um grupo topolgico. Dizemos que uma coleao de conjuntos abertos A H, , um recobrimento de o c e H se H = A .
Um grupo topolgico dito ser compacto2 se possuir a seguinte propriedade: para todo recobrimento A H, , o e de H existir um subconjunto nito A1 , . . . , An de conjuntos abertos que tambm um recobrimento de H: e e H = A1 An . A seguinte proposiao imediata: c e e Proposio 18.4 Seja H um grupo topolgico conexo e compacto e seja U um aberto de H que contm a identidade e ca o que seja tal que para todo u U tem-se u1 U . Ento, existe um n tal que a H = U n.
e Prova. Como H conexo, pela Proposiao 18.3 tem-se H = n=1 U n . O lado direito , portanto, um recobrimento de H e c por abertos. Assim, como H compacto, H tem um recobrimento nito pelos abertos U n : existem n1 < n2 < < nk e amos provar. tais que H = U n1 U nk . Como U n1 U nk , tem-se H = U nk , como quer Comentrio. Na proposiao acima, a igualdade H = U n arma que todo elemento de H obtido por um produto de no a c e mximo n elementos de U . O n mero n dependente de U e intuitivo dizer que quanto menor for o aberto U que a u e e contm a identidade, maior ser n. e a
18.3
Grupos de Lie Matriciais
Nosso objetivo nesta seao e nas que se seguem introduzir os grupos de Lie matriciais e discut c e -los. Trataremos de alguns exemplos ilustrativos com algum detalhe, comeando com o grupo GL(C, n). Comentemos que essencialmente c todas as nossas armaoes adiante sobre GL(C, n) so tambm vlidas para o grupo real GL(R, n). c a e a
18.3.1
Uma Topologia Mtrica em GL(C, n) e
Como preparaao, faamos alguns comentrios topolgicos sobre GL(C, n). A topologia mtrica de Mat (C, n) discutida c c a o e na Seao 5.1, pgina 261, pode ser introduzida naturalmente em GL(C, n), que anal um subconjunto de Mat (C, n), c a e ao denirmos para A, B GL(C, n) a mtrica d(A, B) = A B , sendo a norma operatorial de Mat (C, n). e Mostremos que GL(C, n) um conjunto aberto e denso de Mat (C, n). e
2 Para
a deniao da noao de compacidade e suas propriedades, vide Seao 28.3, pgina 1225. c c c a
Cap tulo 18
883/1507
GL(C, n) um conjunto aberto de Mat(C, n) e E relevante notarmos que GL(C, n) no um subconjunto fechado de Mat (C, n). Isso se v tomando o exemplo da a e e
0 1/m , m N, seqncia essa formada por elementos de ue seqncia de matrizes diagonais 2 2 da forma Am = ue 0 1/m GL(C, 2) mas que converge para a matriz nula, que obviamente no elemento de GL(C, 2). a e Em verdade, GL(C, n) um conjunto aberto de Mat (C, n). Para mostrar isso temos que provar3 que se A GL(C, n) e e B uma matriz tal que B A C sucientemente pequena, ento B invers e, portanto, tambm pertence a e e a e vel e e vel a GL(C, n). Observemos que B = A + A1 (B A) . Se provarmos que + A1 (B A) invers ento teremos que B 1 existe, sendo dada por + A1 (B A)
1
A1 .
Escolhendo B prximo o suciente de A de modo que B A C < 1/ A1 C ento A1 (B A) ter norma menor o a a e que 1 e, portanto, + A1 (B A) tem uma inversa dada pela srie de Neumann4 convergente5
+ A1 (B A)
= +
(1)m A1 (B A)
m=1
Isso prova que B tem inversa e completa a prova que GL(C, n) um conjunto aberto. e E. 18.5 Exerccio. H uma maneira alternativa rpida de provar que GL(C, n) um conjunto aberto. Mostre que det(A) a a e cont e nua como funo dos elementos de matriz de A. Mostre que isso implica que det(A) cont ca e nua na topologia induzida em Mat (C, n) pela norma operatorial (em, verdade, por qualquer norma, pois so todas equivalentes). Conclua que GL(C, a n) um conjunto aberto, observando para tal que trata-se do conjunto de todas as matrizes complexas com determinante e no-nulo e notando que C \ {0} um conjunto aberto em C. a e GL(C, n) denso em Mat(C, n) e Provemos que todo elemento de Mat (C, n) pode ser aproximado em norma por uma matriz invers vel. Isso equivale a dizer que GL(C, n) denso em Mat (C, n). Seja A Mat (C, n) e seja (A) = {1 , . . . , r } o conjunto de seus e autovalores distintos (r n). E claro que se (A) ento det( A) = 0 e A tem inversa (recorde que os a autovalores de A so os zeros do polinmio caracter a o stico de A). Seja agora, n , n N, uma seqncia de n meros ue u complexos tais que n (A) para todo n, e tais que n 0 para n . Teremos que as matrizes An := A n so a todas invers veis e d(A, An ) = A An = |n | = |n | 0 para n . Isso prova nossa armaao. c
18.3.2
O Grupo de Lie GL(C, n)
Nesta seao mostraremos que GL(C, n) um grupo de Lie. Para isso mostraremos primeiro que GL(C, n) um grupo c e e topolgico e depois que uma variedade anal o e tica, para ento mostrar que o produto e a inverso so anal a a a ticos. Esses resultados, alm de importantes em si, servem ao propsito pedaggico de ilustrar os conceitos de grupo topolgico e de e o o o variedade. GL(C, n) um grupo topolgico e o Para provarmos que GL(C, n) um grupo topolgico precisamos mostrar que o produto em GL(C, n) e a inverso e o a de matrizes em GL(C, n) so operaoes cont a c nuas. Sejam G, G , H GL(C, n). Temos que G H GH mostrando que G H GH
3 Vide 4 Karl
=
C
(G G)H
G G
C,
0 se G G
0. Assim, o produto ` esquerda cont a e nuo.
a deniao de conjunto aberto em espaos mtricos dada a pgina 938. c c e ` a Neumann (1832-1925). 5 A justicativa dessa expresso foi apresentada na Seao 5.2. Note que a expanso de Taylor da funao anal a c a c tica P torno de z = 0 precisamente 1 + (1)m z m . e m=1
1 1+z
para |z| < 1 em
Cap tulo 18
884/1507
Sejam agora G, H GL(C, n). Fixemos H e tomemos G H C < com > 0 escolhido pequeno o su ciente de modo que H 1 C < 1. E claro que G = H + (G H) = H( + H 1 (G H)), de maneira que 1 1 1 1 G = + H (G H) H . Logo, G1 H 1 = Assim, como pela escolha de temos H 1 (G H) G1 H 1 =
+ H 1 (G H)
C
H 1 .
H 1
< 1, podemos escrever

m
(1)m H 1 (G H)
m=1
H 1 .
A justicativa dessa expresso6 foi apresentada na Seao 5.2. Tem-se, ento, a c a
G1 H 1
m=1
H 1
m C
GH
m C
H 1
H 1 2 C 1 H 1
.
C
Portanto G1 H 1 C 0 quando G H C 0, provando a continuidade da operaao de inverso de matrizes. Isso c a completa a prova que GL(C, n) um grupo topolgico. e o a a ca a e nua: use a regra de E. 18.6 Exerccio. H uma maneira alternativa rpida de provar que a operao de inverso cont Laplace, expresso (4.17), pgina 177, para calcular a inversa de uma matriz e evoque o fato que o determinante cont a a e nuo.
GL(C, n) uma variedade anal e tica Vamos agora mostrar que GL(C, n) uma variedade anal e tica. Seja, para cada > 0, o subconjunto C de Cn denido por C := (x11 , . . . , x1n , x21 , . . . , x2n , . . . , xn1 , . . . , xnn ) Cn com |xij | < para todos i, j = 1, . . . , n .
2 2
Para x = (x11 , . . . , x1n , x21 , . . . , x2n , . . . , xn1 , . . . , xnn ) C , denotemos por X a matriz cujo elemento ij e Xij = xij e denotemos + X por A(x). Obviamente A(x)ij = ij + xij , i, j = 1, . . . , n.
2 E bem claro que cada C um subconjunto aberto de Cn . Seja tambm U := {A(x) Mat (C, n)| x C }. e e
E. 18.7 Exerccio. Mostre que cada U um subconjunto aberto de Mat (C, n). e E bem claro que para toda matriz A(x) como acima tem-se det(A(x)) = 1 + p(x), onde p(x) um polinmio nas e o variveis xij que se anula quanto todas as xij so nulas. Assim, se x C v-se que det(A(x)) = 0 caso seja pequeno a a e o suciente, pois isso garante que |p(x)| < 1. Portanto, se escolhermos pequeno o suciente, teremos que U um e subconjunto aberto de GL(C, n), o que suporemos daqui por diante. Seja agora g uma matriz arbitrria de GL(C, n) e seja a Ug = {gA(x), com A(x) U }. Pela notaao que apresentamos quando discutimos grupos topolgicos, Ug = gU , e Ug um aberto de GL(C, n). Fora c o e mos que isso, g Ug , pois = A(0) U . Conclu GL(C, n) =
gGL(C,
Ug , n)
ou seja, GL(C, n) possui um recobrimento por abertos.

6 Note
que a expanso de Taylor da funao anal a c tica
1 1+z
1 para |z| < 1 em torno de z = 0 precisamente e
m m m=1 (1) z .
Cap tulo 18
885/1507
Vamos agora mostrar que cada Ug bijetivamente mapeado em um aberto de Cn . Isso bem simples pois, se para e e cada g GL(C, n) denirmos funoes g : Ug C por c ij g (gA(x)) = g (g + gX)) := (gX)ij , ij ij ou seja, g (gA(x)) := ij
k=1 n
i, j = 1, . . . , n,
gik xkj ,
i, j = 1, . . . , n,
2
vemos facilmente que todo h Ug da forma hij = gij + g (gA(x)). Assim, o conjunto Cg Cn formado pelas e ij n variveis xij = k=1 gik xkj com xij C um sistema de coordenadas para Ug . a e Por m, para todo h Ug Ug , teremos h = gA(x) = g A(x ), ou seja, A(x ) = (g )1 gA(x) e
n n
x = ij + ij
k=1
(g )1 g
(kj + xkj ) = ik
(g )1 g
ij
+
k=1
(g )1 g
ik
xkj ,
o que mostra que as coordenadas x so expressas em termos de polinmios nas variveis x. Portanto, a mudana nas a o a c e c ticas (em verdade, polinmios). Isso provou que o coordenadas de Ug para as de Ug expressa em termos de funoes anal GL(C, n) uma variedade anal e tica. GL(C, n) grupo de Lie e Para nalmente provarmos que GL(C, n) um grupo de Lie, resta-nos provar que a multiplicaao a direita e a e c ` inverso so anal a a ticas. A primeira parte elementar. Tomemos g, h GL(C, n). Os elementos de Uh so da forma e a hA(x) e os de gUh so da forma ghA(x) Ugh . Agora, as funoes de C em C dadas por a c
n
C x gh (ghA(x)) = ij
(gh)ik xkj
k=1
i, j = 1, . . . , n,
so polinmios nas variveis xij e, portanto, anal a o a ticas. Assim, o produto anal e tico. Para provar que a inverso anal a e tica tomemos g GL(C, n). Um elemento genrico de Ug da forma gA(x) = e e g( + X). Agora,
(gA(x))1 = ( + X)1 g 1 = g 1 ( + gY (x)g 1 ),
com Y (x) :=
(1)m X m .
m=1
Cada elemento de matriz de Y (x) uma funao anal e c tica dos xij , pois a srie de Neumann7 acima converge absolutamente e (claramente, temos que escolher pequeno o suciente). Agora, as funoes c C x g ij
1
(gA(x))1
= g ij
g 1 ( + gY (x)g 1 )
gY (x)g 1
ij
so funoes anal a c ticas dos xij , provando que a aplicaao de inverso anal c a e tica. Isso estabelece nalmente que GL(C, n) um grupo de Lie de dimenso n2 . e a E. 18.8 Exerccio. H uma maneira alternativa rpida de provar que a operao de inverso anal a a ca a e tica: use a regra de Laplace, expresso (4.17), pgina 177, para calcular a inversa de uma matriz e evoque o fato que o determinante anal a a e tico.
18.3.3
7 Karl
Subgrupos Uniparamtricos e seus Geradores e
Subgrupos uniparamtricos so muito importantes na teoria dos grupos de Lie. Vamos apresent-los no caso de matrizes. e a a
Neumann (1832-1925).
Cap tulo 18
886/1507
e e nuo Denio. Um subgrupo uniparamtrico de GL(C, n) um homomorsmo cont 8 do grupo (R, +) em GL(C, n). ca Em outras palavras, uma funao que a cada t real associa continuamente uma matriz invers (t) de modo que e c vel (t)(t ) = (t + t ) para todos t, t R. Note que de (18.2) segue automaticamente que (0) = (por que?). A importncia dos subgrupos uniparamtricos reside na seguinte proposiao, a qual tambm comea a revelar a a e c e c relevncia das exponenciais de matrizes na teoria dos grupos de Lie. a Proposio 18.5 Seja : R GL(C, n) um subgrupo uniparamtrico. Ento existe uma matriz M Mat (C, n), ca e a univocamente denida, tal que (t) = exp(tM ) para todo t R. Esse fato, em particular, mostra que real-analtica e (e, portanto, diferencivel) e que M = (0). A matriz M dita ser o gerador do subgrupo uniparamtrico . a e e Prova.9 Se supusssemos que uma matriz diferencivel prximo a t = 0, ter e e a o amos que para qualquer t (t) = lim 1 1 ((t + s) (t)) = (t) lim ((s) (0)) s0 s s = (t) (0). (18.2)
s0
Denindo M := (0), concluir amos que satisfaz a equaao diferencial (t) = (t)M , cuja soluao unica (vide c c e Cap tulo 8) e dada por (t) = exp(tM ), como quer amos provar. A demonstraao estaria completa, no fosse o fato de que no enunciado supomos apenas que cont c a e nua, o que em geral no implica que seja tambm diferencivel em t = 0. E, no entanto, poss provar que se cont a e a vel e nua, ento a pelo fato de ser um homomorsmo de (R, +) segue que tambm diferencivel prximo a t = 0! A idia construir e e a o e e a partir de uma funao innitamente diferencivel e posteriormente mostrar que pode ser recuperada de por c a operaoes diferenciveis. c a Para tal seja uma funao real, positiva innitamente diferencivel, com suporte compacto contendo t = 0 e tal que c a
(s)ds = 1.
que tem suporte [a, b] 0. Uma escolha conveniente da constante K garante que
Um exemplo de uma tal funao seria (para a < 0 < b) c K exp 1 (sa)2 (sb)2 , (s) = 0,
para s (a, b) de outra forma,

(s)ds = 1.
Assim, seja uma tal funao desse tipo e com suporte em, digamos, [a, a] para algum a > 0, e seja c
(t) :=
(t s)(s)ds.
a E fcil (Exerc cio!) ver que assim denida innitamente diferencivel. Fora isso, e a

(t) =
(t s)(s)ds =
(u)(t u)du =
(u)(t)(u)du
= (t)
8 Vide
(u)(u)du = (t)Y,
nota a pgina 888. ` a de [77]. A observaao de que no enunciado da Proposiao 18.5 suciente supor-se que o subgrupo uniparamtrico apenas c c e e e cont nuo (dispensando uma condiao de diferenciabilidade) devida a von Neumann. c e
9 Extra da
Cap tulo 18
887/1507
com Y :=
(u)(u)du. Temos que Y =

(u)((u) )du,
pois
(u)du = 1, por hiptese. Logo, o

C
(u) (u)
a C du
=
a
(u) (u)
a C du
c
a
(u) du = c
(u) du = c ,
e nua e (0) = , podemos fazer c arbitrariamente pequena, escolhendo onde c := supu[a, a] (u) C. Como cont a pequeno. Mas isso diz que Y = ( Y ) invers e vel, com Y 1 dado pela srie convergente m=0 ( Y )m . Assim, e 1 com a pequeno teremos (t) = (t)Y , o que prova que (t) innitamente diferencivel. e a Denio. O que essa proposiao provou que todo subgrupo uniparamtrico de GL(C, n) da forma exp(tM ) para ca c e e e alguma matriz M Mat (C, n). Essa matriz M dita ser o gerador do subgrupo uniparamtrico em questo. e e a Comentemos brevemente que a Proposiao 18.5, que acabamos de provar, tem generalizaoes importantes na teoria c c dos espaos de Hilbert e de Banach, onde conhecida como Teorema de Stone10 . Vide, por exemplo, [135]. c e A coleo de todos os geradores de subgrupos uniparamtricos ca e Seja G um subgrupo de GL(C, n). Seja denido o seguinte conjunto: L(G) := {M Mat (C, n)| exp(tM ) G, t R} . Analogamente, seja G um subgrupo de GL(R, n). Seja denido o seguinte conjunto: L(G) := {M Mat (R, n)| exp(tM ) G, t R} . Em palavras, L(G) a coleao de todos os geradores de todos os subgrupos uniparamtricos de G. E claro, pela e c e deniao, que L(G) contm sempre pelo menos a matriz nula (pois exp(t0) = G, t R), mas no nem um pouco c e a e evidente que esse no seja o unico elemento de L(G). Por exemplo, se G for um grupo discreto ento L(G) = {0}. a a Mesmo no caso de G ser um grupo cont nuo no nada bvio que G possua subgrupos uniparamtricos no-triviais. a e o e a Logo abaixo estudaremos essa questo no caso do grupo GL(C, n) e, um pouco mais adiante, no caso de subgrupos a fechados (no-discretos) de GL(C, n). Em tais casos veremos que L(G) no consiste apenas da matriz nula. a a Chamamos a atenao do estudante para o fato que, para um grupo G genrico, no necessariamente verdade que c e a e todo elemento de G pode ser escrito na forma exp(tM ) para algum M L(G) e algum t R. Ou seja, existem grupos G nos quais encontram-se elementos que no pertencem a nenhum subgrupo uniparamtrico de G. Na Proposiao 5.10, a e c pgina 271, vimos que isso ocorre no grupo real GL(R, n), pois esse grupo no conexo, mas esse fenmeno pode ocorrer a a e o mesmo em grupos conexos. Um exemplo ser discutido na pgina 902, adiante. a a * A coleao de todos os geradores de todos os subgrupos uniparamtricos de um dado grupo G um objeto muito c e e importante, especialmente na teoria dos grupos de Lie. Discutiremos esse fato adiante. No caso do grupo GL(C, n) podemos facilmente identicar o que L(GL(C, n)). Faremos isso agora. e Subgrupos uniparamtricos de GL(C, n) e a lgebra de Lie associada a GL(C, n) e a A coleao de todos os geradores de todos os subgrupos uniparamtricos do grupo GL(C, n) ser denotada aqui por c e a L(GL(C, n)) ou por gl(C, n). Vamos identicar esse conjunto. Na Proposiao 5.11, pgina 271, demonstramos que todo elemento A GL(C, n) pode ser escrito na forma A = c a exp(B) para algum B Mat (C, n). Conseq entemente, A pertence ao subgrupo uniparamtrico composto pelas matrizes u e da forma exp(tB), t R. Assim, GL(C, n) possui subgrupos uniparamtricos no-triviais. Reciprocamente, para todo e a
10 Marshall
Harvey Stone (1903-1989).
Cap tulo 18
888/1507
B Mat (C, n) o conjunto de matrizes da forma exp(tB), t R, forma um subgrupo uniparamtrico de GL(C, n). e Conclu mos disso que L(GL(C, n)) = Mat (C, n). J discutimos por diversas vezes (vide pgina 75 e seguintes) que o conjunto Mat (C, n) uma lgebra de Lie com a a e a relaao ao produto denido pelo comutador de matrizes. Um pouco mais adiante, veremos que esse fato geral: o c e conjunto de todos os geradores de um subgrupo fechado (no-discreto) de um grupo de Lie tambm uma lgebra de a e e a Lie. Esse fato de importncia central na teoria dos grupos de Lie. e a
ab E. 18.9 Exerccio. Para a, b = 1, . . . , n e C, sejam (t), matrizes denidas da seguinte forma: + tE ab , para a = b ab , com t R . (t) := + (et 1)E aa , para a = b
e a Aqui E ab a matriz cujos elementos ij so dados por E ab ij = i a j b , ou seja, E ab a matriz cujos elementos de matriz so e a ab todos nulos, exceto o elemento ab, que vale 1. Mostre que as matrizes so subgrupos uniparamtricos de GL(C, n), ou seja, a e 2 ab ab ab ab que (t) so cont a nuas e que (t) (t ) = (t + t ) para todo a, b e todo . (Sugesto: mostre que E ab = ab E ab e a ab ab use esse fato). Mostre que seus geradores so as matrizes E . Constate tambm explicitamente que (t) = exp tE ab . a e
ab Note que a coleao formada por todas combinaoes lineares reais dos geradores dos subgrupos uniparamtricos c c e de GL(C, n) coincide com Mat (C, n) (por que?).
E. 18.10 Exerccio. Como so as relaoes de comutao das matrizes E ab ? a c ca Homomorsmos no-cont a nuos de (R, +) Contemplando a deniao de subgrupo uniparamtrico que apresentamos acima, como sendo um homomorsmo c e cont nuo de (R, +) em um grupo G, o estudante pode legitimamente questionar se existem, anal, homomorsmos noa cont nuos desse grupo que justiquem a necessidade de evocar a condiao de continuidade na Proposiao 18.5. Talvez um c c tanto surpreendentemente, a resposta positiva. H at mesmo automorsmos no-cont e a e a nuos de (R, +) em si mesmo, os quais foram apresentados ` pgina 103, onde discutimos a existncia de funoes descont a a e c nuas de R em R que satisfazem f (t) + f (t ) = f (t + t ) para todos t, t R. Assim, com o uso de uma tal funao f , relativamente fcil construir um c e a homomorsmo no-cont a nuo de (R, +) em um grupo G dado, caso conheamos um homomorsmo cont c nuo de (R, +) em G. De fato, se (t), t R, um homomorsmo cont e nuo de (R, +) em G ento (f (t)), t R, um homomorsmo a e de (R, +) em G, mas que no cont a e nuo. Dada a articialidade daquelas funoes f , tais exemplos so um tanto c a patolgicos, mas explicam a necessidade de incluir a condiao de continuidade na deniao de subgrupo uniparamtrico o c c e e na Proposiao 18.5. c
18.3.4
Subgrupos Uniparamtricos e Algebras de Lie e
Subgrupos uniparamtricos em subgrupos fechados e Denio. Seja H um subgrupo fechado mas no discreto de GL(C, n). Denimos ca a L(H) := X Mat (C, n) tais que etX H para todo t R .
Como se v, trata-se do conjunto dos geradores de todos os subgrupos uniparamtricos de H. E claro, pela deniao e e c t0 acima, que L(H) possui pelo menos um elemento, a saber a matriz nula, pois, obviamente e = H para todo t R. No nem um pouco bvio, porm, que haja outros elementos em L(H) que no o elemento nulo. No sequer bvio a e o e a a e o que existam subgrupos uniparamtricos no-triviais11 em H. Na Proposiao 18.6 adiante, provaremos que L(H), de fato, e a c
11 Um
subgrupo uniparamtrico (t) trivial se (t) for igual ao elemento neutro para todo t R. e e
Cap tulo 18
889/1507
no-trivial e que h, de fato, subgrupos uniparamtricos no-triviais em H. Para demonstrarmos a Proposiao 18.6 e a a e a c precisamos de algumas denioes e de alguns resultados preparatrios. Seguiremos muito proximamente a exposiao de c o c [127] (vide todo o 2 do Cap tulo XI daquela referncia), mas com ligeiras correoes e aperfeioamentos. e c c Para simplicar a notaao denotaremos aqui o grupo GL(C, n) por G e sua lgebra de Lie Mat (C, n) por g. c a Fixemos doravante um n mero r > 0, arbitrrio mas conveniente, e seja wr a bola fechada de raio r centrada na u a origem em g: X r} . (18.3) wr := {X g| Notemos que wr simtrica, ou seja, se X wr ento X wr . Denotaremos por wO a bola aberta de raio r centrada e e a r na origem em g: X < r} . (18.4) wO := {X g| r Vamos denotar por Wr a imagem de wr pela exponenciaao: c Wr := {exp(X), X wr } . E claro que Wr G e claro que Wr simtrico, ou seja, se Y Wr ento Y 1 Wr . e e e a Como H um subconjunto fechado de G, o conjunto H Wr fechado. Seja fr o subconjunto de wr formado pelos e e elementos cuja exponencial est em H Wr : a fr := {X wr | exp(X) H Wr }. (18.6) (18.5)
Comentemos que, pela Proposiao 5.11, pgina 271, todo elemento de H uma exponencial de algum elemento de c a e g = Mat (C, n). Portanto, todo h H Wr da forma h = exp(f ) para algum f fr . Simbolicamente, podemos e escrever exp(fr ) = H Wr . (18.7) E bastante claro que fr tambm simtrico. Como exp cont e e e e nua, fr tambm fechado (vide Seao 25.5.2, pgina e e c a 1081). Fora isso, fr wr , por deniao. Logo, fr limitado. Por ser fechado e limitado, fr compacto. c e e Denamos M(H, Wr ) Mr por Mr := {X g tais que, para algum > 0, tem-se exp(tX) H Wr sempre que |t| < } . Alternativamente, claro que e Mr = {X g tais que, para algum > 0, tem-se tX fr sempre que |t| < } . Note-se que Mr contm sempre ao menos um elemento, a saber, 0. No nada bvio, porm, se esse o unico e a e o e e elemento de Mr . No Corolrio 18.1, adiante, provaremos que tal no o caso, ou seja, Mr no trivial. Antes disso a a e a e precisamos de dois lemas preparatrios. o Lema 18.1 Com as denioes acima, valem as seguintes armaoes. I. Se X Mr ento X Mr para todo R. c c a II. wr Mr fr . Prova do Lema 18.1. Se X Mr ento, para algum > 0 tem-se tX fr sempre que |t| < . Mas, ento, se = 0, vale a a t(X) fr sempre que |t| < /||. Isso prova a armativa I. Seja agora X wr Mr . Queremos provar que X fr . Como X Mr ento, para algum > 0 tem-se exp(tX) a H Wr sempre que |t| < . Assim, para n N grande o suciente (n > 1 ) teremos exp(n1 X) H Wr o que, em particular, diz que exp(n1 X) H. Como H um grupo, tem-se que (exp(n1 X))n H. Mas o lado esquerdo e e exp(X) e, portanto, conclu mos que exp(X) H. Agora, por hiptese, X wr , o que implica, pela deniao de Wr , que o c exp(X) Wr . Logo, mostramos que exp(X) H Wr , o que signica que X fr . Provamos, assim, que wr Mr fr . Isso completa a prova do Lema 18.1. Podemos agora demonstrar o seguinte lema, de importncia central no presente contexto e, talvez, o resultado a preparatrio tecnicamente mais dif o cil. (18.8)
Cap tulo 18
890/1507
Lema 18.2 Seja Xn , n N, uma seqncia de elementos de fr tais que Xn = 0. Suponhamos que Xn 0 para n ue e que Xn / Xn Y para algum Y Mat (C, n). Ento12 Y Mr . a a Prova do Lema 18.2. Notemos antes de mais nada que se Yn := Xn / Xn Y Mat (C, n) ento Y = 0. Em verdade, Y = 1 pois, fazendo uso da desigualdade (3.22), pgina 152, temos | Yn Y | Yn Y . Como o lado direito a vai a zero quando n , segue que Y = 1, pois Yn = 1. Fixemos tambm um n mero m N no-nulo. Podemos escrever wr como a unio e u a a
m
wr =
k=1
sk
onde sk sr := k X wr
k1 k r X r m m
,
k1 m r
ou seja, podemos escrever wr como uma unio de fatias, ou cascas esfricas, de vetores com normas entre a e Note-se que s1 a bola fechada de raio r/m centrada em 0: e s1 = X wr X r m .
k m r.
Como Xn converge a 0, existe um n mero Nm (que pode depender de m) tal que Xn s1 para todo n > Nm . Seja u agora um k0 N xo, escolhido de modo que 1 < k0 m. Vamos mostrar que para cada n > Nm podemos encontrar um n mero inteiro jn (eventualmente dependente de n) de modo que jn Xn sk0 , ou seja, tal que u (k0 1)r m jn Xn k0 r . m
Para isso, suciente escolhermos um jn inteiro satisfazendo e (k0 1)r k0 r |jn | . m Xn m Xn Haver inteiros no intervalo entre a
(k0 1)r m Xn
k0 r m Xn
? Para ver isso, notemos que o comprimento desse intervalo e 1,
k0 r (k0 1)r r = m Xn m Xn m Xn
r a e vel pois Xn m , dado que Xn s1 . Ento, uma tal escolha de jn sempre poss para cada n (pois todo intervalo fechado de comprimento igual ou maior que 1 contm ao menos um inteiro). e
Vamos denominar jn Xn por Yn Fora isso, exp Yn

(k0 )
(k0 )
(k ) (k ) (com k0 xo). E evidente que Yn 0 sk0 wr . Isso implica que exp Yn 0 Wr . j
= exp(jn Xn ) = (exp(Xn )) n . Como exp(Xn ) pertence ao grupo H (pois Xn fr ), segue pela

(k0 )
propriedade de grupo que tambm tem-se exp Yn e provamos que exp Yn

(k0 )
H ( por essa razo que escolhemos jn inteiro). Com isso, e a

(k0 )
H Wr , o que signica que13 Yn
fr .
(k )
O conjunto fr fechado e limitado e, portanto, compacto. Isso signica que existe uma sub-seqncia Ynl 0 , l N, e ue (k ) que convergente em fr . Agora, como Yn = Xn / Xn converge a Y , isso signica que Ynl 0 converge a um m ltiplo de e u (k ) (k ) Y , digamos (k0 ) Y , pois Ynl 0 um m ltiplo de Ynl , a saber, Ynl 0 = jnl Xnl Ynl . Portanto, para um tal (k0 ) temos e u (k0 ) Y fr . Note que tambm tem-se (k0 ) Y fr , bastando para tal trocar Xn por Xn na argumentaao acima, o e c que permitido pois fr simtrico. e e e Assim, (k0 ) = lim jnl Xnl e, conseq entemente, u
l
k0 r (k0 1)r (k0 ) . m m

12 Aps o 13 Em
a demonstraao do Lema 18.2, discutiremos a pgina 891 que de fato existem seqncias satisfazendo essas hipteses. c ` a ue o (k ) [127] o argumento que prova que Yn 0 fr no est correto, lamentavelmente. a a
Cap tulo 18
891/1507
O que provamos acima vale para cada k0 N com 1 < k0 m. Resumindo nossas concluses, provamos que para o (k0 1) k0 (k0 ) todo m N, cada intervalo Ik0 , m := e tal que (k0 ) Y fr . m r, m r com 1 < k0 m contm pelo menos um
m
A unio a
k0 =2
Ik0 , m o conjunto e
1 m r,
r . Esses intervalos Ik0 , m podem ser feitos mais nos e em maior n mero, u
fazendo m , sendo que

mN
1 r, r = (0, r]. m
Conclu mos disso que existe um conjunto contvel denso de n meros no intervalo (0, r] tais que Y fr . Como a u fr fechado, isso implica que Y fr para todo [r, r]. Agora, isso signica precisamente que Y Mr , que o que e e quer amos provar. A prova do Lema 18.2 est completa. a Podemos nos perguntar agora, ser que existem seqncias Xn satisfazendo as hipteses do Lema 18.2, ou seja, tais a ue o a ue que Xn / Xn convirja para algum Y ? E fcil ver que sim. Notemos para isso que para qualquer seqncia Xn fr com Xn 0 a seqncia Yn = Xn / Xn est contida no conjunto compacto formado pelos vetores de norma 1. Assim, ue a Yn sempre tem uma sub-seqncia convergente a algum Y , que tambm tem norma 1. A essa sub-seqncia aplica-se ue e ue ento o Lema 18.2 e tem-se Y Mr . Isso, em particular, mostra-nos que Mr no-trivial, ou seja, contm elementos a e a e no-nulos. Provamos ento: a a Corolrio 18.1 O conjunto Mr denido acima contm elementos diferentes de 0. a e Esse simples corolrio crucial para o que segue14 , pois tem a seguinte conseqncia. a e ue Proposio 18.6 Seja H um subgrupo fechado e no-discreto de GL(C, n)). Ento valem as seguintes armativas. I. ca a a Mr = L(H) para qualquer r > 0. II. L(H) no-trivial, ou seja, no consiste apenas da matriz nula. H, portanto, e a a a subgrupos uniparamtricos no-triviais em H. e a Prova. Seja o conjunto Mr M(H, Wr ) denido em (18.8), com Wr denido em (18.3)-(18.5) para algum r > 0. Provaremos que M(H, Wr ) = L(H). Em primeiro lugar, claro (por deniao!) que se X L(H) teremos exp(tX) H, t R. Se X = 0 ento e c a X M(H, Wr ) trivialmente. Se X = 0 ento, se escolhermos |t| < r/ X , teremos que tX wr . Logo, X M(H, Wr ). a Isso mostra que L(H) M(H, Wr ). Seja X M(H, Wr ) com X = 0. Pelo Corolrio 18.1, um tal X existe. Assim, existe um > 0 tal que exp(t X) H a para todo t (, ). Seja agora t R qualquer. Se escolhermos n Z com |n| grande o suciente, teremos |t/n| < . n Da exp((t/n)X) H e, como H um grupo, exp(tX) = (exp((t/n)X)) H. Como isso vale para qualquer t R , e provamos que X L(H). Com isso provamos que M(H, Wr ) L(H) e, portanto, M(H, Wr ) = L(H). Assim, pelo Corolrio 18.1, L(H) a no-trivial. Conseq entemente existem em H subgrupos uniparamtricos no-triviais, a saber aqueles que tm como e a u e a e geradores os elementos no-nulos de M(H, Wr ). a * Chegamos agora ao ponto em que boa parte do que zemos ser unicado e revelaremos a importncia de subgrupos a a uniparamtricos para os grupos de Lie matriciais. e Subgrupos uniparamtricos e lgebras de Lie e a Seja H um subgrupo fechado e no-discreto de GL(C, n). O seguinte teorema, o qual uma conseqncia das a e ue frmulas de Lie-Trotter e do comutador (vide Cap o tulo 5), de importncia fundamental: e a
alguns textos como [155], [175] e mesmo (surpreendentemente) [133], no provam que Mr no-trivial, o que torna suas a e a demonstraoes do Teorema 18.2 incompletas. Mesmo [127], que prova os Lemas 18.1 e 18.2, no menciona o Corolrio 18.1, embora o mesmo c a a que impl cito pela sua anlise. A referncia [77], que segue outra e muito interessante linha de racioc a e nio, expl e cita quanto ao Corolrio a 18.1.
14 Infelizmente,
Cap tulo 18
892/1507
Teorema 18.1 Se H um subgrupo fechado e no-discreto de GL(C, n) ento L(H), denida acima, uma algebra de e a a e Lie real15 . Prova. Vamos primeiramente mostrar que L(H) um espao vetorial real. Para tal, precisamos mostrar que se X e Y so e c a geradores de dois subgrupos uniparamtricos de H, ento X + Y tambm o , para quaisquer , R. Comecemos e a e e observando que (t) := exp(t(X +Y )) um subgrupo uniparamtrico cont e e nuo de GL(C, n) cujo gerador obviamente e X + Y . Tudo o que precisamos fazer mostrar que (t) H para todo t R. Pela frmula de Lie-Trotter (vide e o Cap tulo 5), m t t exp(t(X + Y )) = lim exp X exp Y . (18.9) m m m Observemos ento o seguinte. Pela hiptese, as matrizes exp a o
t mX
e exp
t mY
pertencem ao grupo H, pois supomos
que X e Y so geradores de subgrupos uniparamtricos de H. Portanto os produtos exp t X exp t Y so tambm a e a e m m elementos de H, pois H um grupo. Ora, o lado direito de (18.9) , portanto, o limite de uma seqncia de elementos e e ue e amos mostrar. de H. Como supomos que H fechado, segue que o limite igualmente um elemento de H, como quer e Isso provou ento que X + Y L(H) para quaisquer , R e, portanto, L(H) um espao vetorial real. a e c Vamos mostrar agora que L(H) uma lgebra de Lie. Se X, Y L(H) temos, pela frmula do comutador (vide e a o Cap tulo 5), e usando [tX, Y ] = t[X, Y ], que exp(t[X, Y ]) = lim exp t X exp m 1 Y m exp t 1 X exp Y m m
m2
(18.10)
Racioc nio idntico ao que empregamos acima conclui que exp(t[X, Y ]) H para todo t R, mostrando que [X, Y ] o e e gerador de um subgrupo uniparamtrico cont e nuo de H, ou seja, [X, Y ] L(H). Isso provou que L(H) uma lgebra e a de Lie. Comentrio. Se para todo X L(H) tivermos tambm X L(H) para todo C, conclui-se pela demonstraao a e c acima que L(H) uma lgebra de Lie complexa. e a
18.3.5
Subgrupos Fechados de GL(C, n)
Nesta Seao provaremos o seguinte teorema: c Teorema 18.2 Se H um subgrupo topologicamente fechado de GL(C, n) (na topologia mtrica induzida de GL(C, n)) e e e H no discreto, ento H tambm um grupo de Lie (na topologia mtrica induzida de GL(C, n)). a e a e e e O Teorema 18.2 particularmente importante pois muitos grupos encontrados em aplicaoes so subgrupos fechados e c a (no discretos) de GL(C, n) ou de GL(R, n). Tal o caso, por exemplo, dos grupos U(n), U(p, q), SU(n), SU(p, q), a e O(n), SO(n) e outros. Assim, o Teorema 18.2 nos informa que tais grupos so grupos de Lie. a A prova desse teorema ser oferecida ` pgina 894. Antes de chegarmos l precisaremos apresentar vrios teoremas a a a a a preparatrios. Chamamos a atenao do leitor para o fato que as demonstraoes de alguns desses resultados preparatrios o c c o so bastante tcnicas e talvez devam ser omitidas em uma primeira leitura. a e Seja H um subgrupo fechado no-discreto de G = GL(C, n). Sabemos pelo Teorema 18.1 que L(H) um subespao a e c de L(G) = Mat (C, n). Seja L(H) seu complemento ortogonal (em relaao a algum produto escalar em Mat (C, n), por c exemplo A, B = Tr(A B)). Todo elemento A Mat (C, n) pode ser escrito de modo unico na forma A = A + A , com A L(H) e A L(H) . Seja assim a funao H : L(G) G denida por c H (A) := exp A
15 Algebras
exp A .
de Lie foram denidas a pgina 75. ` a
Cap tulo 18
893/1507
Lema 18.3 Para H, subgrupo fechado e conexo de GL(C, n), existe r0 > 0 tal que a aplicaao H denida acima um c e homeomorsmo do aberto wO em um aberto H (wO ) Wr0 para um certo r0 > 0. r0 r0 Acima, wO a bola aberta de raio r0 em torno da matriz nula. Vide (18.4). r0 e Prova. Escolhamos r0 pequeno o suciente para que valha a frmula de Baker-Campbell-Hausdor16. Considere-se a o aplicaao H : L(G) L(G) denida por H (A) = ln (H (A)), ou seja, c H (A) := ln exp A (lembre-se que A + A = A) onde H (A) := 1 1 A , A + 2 12 A , A , A + A , A , A + . exp A = A A = A + H (A) ,
(A) Como facilmente se constata, HA 0 para A 0. Assim, H cont e nua e diferencivel em uma vizinhana de 0 a c e e sua derivada em 0 a identidade. Assim, pelo bem conhecido Teorema da Aplicaao Inversa (vide, Seao 21.5, pgina e c c a e 994, ou por exemplo, [114]), H um homeomorsmo entre wO e sua imagem. Como H = exp H e a exponencial e r0 tambm um homeomorsmo local (Proposiao 5.4, pgina 267), a prova do Lema 18.3 est completa. e c a a
Seja H um subgrupo fechado de GL(C, n). Vimos acima que L(H) Mat (C, n) uma lgebra de Lie real e, como e a evidente que se A L(H) ento exp(A) H. Vamos denotar por H o subgrupo de tal, um subespao de Mat (C, n). E c a H cujos elementos so produtos nitos de exponenciais de elementos de L(H): a H := {h H, h = exp(A1 ) exp(Am ) para algum m N} . H de fato um grupo, pois e 1. H, 2. se h = exp(A1 ) exp(Am ) H ento h1 = exp(Am ) exp(A1 ) H e a 3. se h = exp(A1 ) exp(Am ) e h = exp(A ) exp(A ) H ento tem-se, evidentemente, a 1 m hh = exp(A1 ) exp(Am ) exp(A ) exp(A ) H. 1 m O grupo H denominado subgrupo gerado por L(H). Vamos provar o seguinte teorema: e Teorema 18.3 Se H fechado e conexo ento H = H. e a
Prova. J evidente, pela deniao, que H H, de modo que queremos apenas provar que H H. Seja r > 0, xo. ae c a c O que faremos provar que fr L(H) wr para algum r > 0. Se isso for verdadeiro, ento, pela deniao de fr em e (18.6) e por (18.7), os elementos de H Wr so da forma exp(A) com A L(H) wr . Agora, pelo fato de H ser conexo, a sabemos pela Proposiao 18.3, que todo elemento de H pode ser escrito como um produto nito de elementos do interior c de H Wr . Logo, todo elemento de H pode ser escrito como um produto nito exp(A1 ) exp(Am ), para algum m N, a e amos provar. com Ak L(H) wr . Ora, isso est precisamente dizendo que H H, que o que quer c a Vamos ento mostrar que fr L(H) wr para algum r > 0. A demonstraao ser feita por absurdo, ou seja, a c supondo que no existam r e r > 0 tais que fr L(H) wr e chegando-se da a uma contradiao. a e E muito fcil ver pela deniao dos conjuntos fr em (18.6) que fr1 fr2 sempre que r1 r2 . Alm disso, a c
r>0
fr = {0}.
Para um r arbitrrio, xo, vamos ento supor que no haja nenhum fr com fr L(H) wr . Isso implica que a a a amos escolher uma seqncia rn < r, rn 0 com frn \(L(H) wr ) = ue fr \(L(H) wr ) = para todo r. Fixando r, poder
16 Vide
Cap tulo 5, pgina 260. A frmula de Baker-Campbell-Hausdor dada em (5.45) a pgina 281. a o e ` a
Cap tulo 18
894/1507
. Escolhendo para cada n um elemento Xn frn \ (L(H) wr ), teremos que Xn fr \ (L(H) wr ) para todo n e Xn 0 quando n .
Como Xn 0, teremos exp(Xn ) Wr0 para para todo n grande o suciente, onde r0 referido no enunciado do e Lema 18.3. Assim, pelo mesmo lema, existir para cada um de tais ns um elemento Zn wr0 , Zn = Zn + Zn , tal que a exp (Xn ) = H (Zn ) = exp Zn exp Zn . Antes de prosseguirmos, faamos algumas observaoes sobre Zn e Zn . Como Xn 0, deve valer tambm Zn 0 c c e j que, pelo Lema 18.3, H e sua inversa so cont a a nuas. Assim, tem-se igualmente Zn 0 e Zn 0. Pela parte II do Lema 18.1 e pela parte I da Proposiao 18.6, segue que wr L(H) fr . Da para n grande o suciente, ter-se- c , a e a Zn fr . Note-se tambm que, como Xn L(H) para n grande, teremos Zn = 0, pois, se assim no fosse, valeria exp (Xn ) = exp Zn e, tomando-se o logaritmo (o que permitido para n grande, j que Xn e Zn esto ambos e a a
prximos a zero), obter o amos Xn = Zn L(H), o que imposs e vel.

Como conseqncia das observaoes acima, teremos que exp Zn = exp Zn exp (Xn ). Sucede que exp (Xn ) ue c H Wr e exp Zn H Wr . Assim exp Zn H e, Zn Zn < r0 . Logo, exp Zn H Wr0 . Portanto, Zn fr0 .
ue Como conseqncia do Lema 18.2, da parte I da Proposiao 18.6 e da compacidade de fr0 , a seqncia de vetores ue c e de norma 1 dada por Zn / Zn tem uma sub-seqncia que converge a um elemento de Mr0 = L(H). Porm, como ue Zn L(H) , isso imposs e tem-se a uma contradiao. Logo, deve valer fr L(H) wr para certos r, r > 0. e vel c Isso completa a prova do Teorema 18.3. Podemos agora reunir os resultados que provamos acima e passar ` a Prova do Teorema 18.2. Seja H um subgrupo fechado de GL(C, n). Como veremos, suciente provarmos o teorema considerando apenas a e componente de H que conexa ao elemento neutro, componente essa que denominaremos H0 . Isso pois se provarmos que e H0 uma variedade, a demonstraao facilmente se estender para todo H. Esse ponto ser discutido com mais detalhe e c a a ao nal da demonstraao, de modo que, por ora, nos limitamos a considerar o caso em que H conexo (o que, no caso c e geral, equivale a nos restringirmos a H0 ). Pelo Teorema 18.3, basta provarmos que H um grupo de Lie. Pelo Teorema 5.4, podemos encontrar uma vizinhana e c aberta de V de 0 em Mat (C, n) e uma vizinhana aberta W de em GL(C, n) tais que exp : V W um difeomorsmo. c e Seja VH a vizinhana de 0 em L(H) denida por VH = V L(H) e seja WH sua imagem em H pela exponencial. A c aplicaao exp : VH WH tambm um difeomorsmo, pois a restriao de um difeomorsmo (a saber exp : V W ) c e e e c por uma funao suave (a projeao V VH ). Existe naturalmente um sistema de coordenadas em VH , pois L(H) um c c e espao vetorial e, portanto, isomorfo a Ck , k sendo a dimenso de L(H). Dessa forma como exp : VH WH uma c a e bijeao, exp1 : WH VH estabelece um sistema de coordenadas em WH . Para estabelecer um sistema de coordenadas c em todo H, por exemplo, em torno de um elemento h H, podemos transladar o sistema de coordenadas de WH para uma vizinhana de h, a saber, hWH . As cartas locais assim obtidas sero compat c a veis (innitamente diferenciveis ou a anal ticas) devido ao fato de exp : VH WH ser um difeomorsmo e pelo fato de a multiplicaao por um h constante no c a alterar esse carter. O argumento de translaao pode ser aplicado mesmo a elementos de H que no esto na componente a c a a conexa ` identidade, de modo que todo H se torna uma variedade de dimenso k. O produto e a inversa so cont a a a nuas e innitamente diferenciveis por o serem em GL(C, n) e tambm devido ao fato de exp : VH WH ser um difeomorsmo. a e A demonstraao do Teorema 18.2 est ento completa c a a Comentrio. Segundo [127], o Teorema 18.2 devido a Cartan17 . Demonstraoes desse importante teorema podem a e c ser encontradas em vrios livros-texto, como por exemplo [127] ou [133]. Devemos, porm, notar ao leitor e advertir o a e estudante que alguns textos (inclusive alguns clssicos) apresentam certas falhas tanto no enunciado do teorema quanto na a sua demonstraao, falhas essas que procuramos corrigir e evitar nas demonstraoes acima. Por exemplo, muitos autores c c esquecem-se de excluir do enunciado o caso (trivial) em que H fechado mas discreto (grupos discretos obviamente e no podem ser grupos de Lie), por vezes ressalvando isso apenas no correr da demonstraao. Vrios textos apresentam a c a
17 Elie
Joseph Cartan (1869-1951). E. J. Cartan foi um dos mais importantes contribuidores a teoria de grupos de Lie. `
Cap tulo 18
895/1507
demonstraoes incompletas (por exemplo, [155], [175] e mesmo parcialmente [133]), pois deixam por exemplo, de provar c que o conjunto Mr , denido acima, no apenas formado pelo elemento nulo, um ponto crucial. A demonstraao que a e c apresentamos essencialmente (mas no exatamente) a de [127] (vide todo 2 do Cap e a tulo XI daquela referncia). Um e outro tratamento excelente (mas talvez no acess a todo estudante) o de [77]. a vel e Um ponto importante do Teorema 18.2 que o subgrupo fechado H um grupo de Lie com a topologia induzida em e e H por G. Em verdade, vale para grupos de Lie um teorema mais ainda forte que o Teorema 18.2: Teorema 18.4 Todo subgrupo no-discreto H de um grupo de Lie G tambm um grupo de Lie, mas no necessariaa e e a mente em relaao a topologia induzida por G em H. c `
Como se v, esse teorema generaliza o Teorema 18.2 pois no necessrio requerer que H seja um subgrupo fechado e a e a de G. Porm, a topologia na qual H um grupo de Lie pode no ser a topologia induzida em H por G. Um exemplo e e a ilustrativo ser discutido na Seao 18.4.3. A demonstraao do Teorema 18.4 teorema est alm dos limites dessas notas a c c a e e pode ser encontrada em textos como [133] ou [77]. * O Teorema 18.1, pgina 892, revela um sentido da relaao fundamental entre grupos de Lie e lgebras de Lie. Ele a c a mostra que poss construir uma lgebra de Lie a partir de um grupo de Lie fechado. A teoria geral dos grupos de Lie e vel a revela que muitas propriedades importantes de grupos de Lie podem ser estudadas a partir das lgebras de Lie associadas a a seus subgrupos uniparamtricos. Essa relaao se mostra particularmente relevante no estudo de representaoes de grupos e c c de Lie. E poss provar (e faremos isso no exemplo do grupo SO(3) no Cap vel tulo 19) que existe uma correspondncia e um-a-um entre as representaoes de um grupo de Lie e as representaoes de sua lgebra de Lie. Sucede que (devido c c a a ` estrutura linear) muito mais simples estudar as representaoes de uma lgebra de Lie do que de um grupo de Lie. e c a Infelizmente ainda est fora do modesto alcance destas notas explorar completamente esse vasto terreno e remetemos o a estudante aos bons livros supra-citados sobre grupos e lgebras de Lie. a Iremos no que segue deste cap tulo limitar-nos a discutir algumas questes as quais so importantes para um estudo o a mais abrangente. Particularmente nos deteremos na questo de identicar algumas situaoes nas quais podemos prossea c guir no caminho inverso ao que apontamos acima, ou seja, na questo de quando um grupo de Lie pode ser recuperado a a partir da lgebra de Lie dos seus geradores por aplicaao da exponenciaao. a c c
18.4
A Relao entre Grupos de Lie Matriciais e suas Algebras ca de Lie
Vimos nas seoes anteriores que se H um subgrupo no-discreto fechado de GL(C, n) existe associada ao mesmo uma c e a a lgebra de Lie a qual (obviamente) uma sub-lgebra de da lgebra de Lie de GL(C, n) que Mat (C, n). Ser a e a a e a rec proca verdadeira, ou seja, se A uma sub-lgebra de Lie de Mat (C, n) haver um grupo de Lie fechado associado e a a a A? A reposta, em geral, no. Um contra-exemplo (para = 2) o seguinte: Seja a um n mero real irracional e e a n e u it 0 com t R. Exponenciando os elementos dessa seja a lgebra de Lie formada pelas matrizes 2 2 dadas por a 0 iat eit a lgebra de Lie obtemos as matrizes 0 eiat
Sucede, porm, que no se trata de um subgrupo topologicamente fechado de GL(C, 2), como veremos com um pouco e a mais de detalhe na Seao 18.4.3 (a qual o leitor poder passar sem perdas). Felizmente poss dizer um pouco mais c a e vel se enfraquecermos a condiao de H ser um subgrupo fechado. Tem-se, por exemplo, o seguinte: c
0 com t R. Esse conjunto de matrizes forma certamente um grupo.
Proposio 18.7 Seja G um subgrupo fechado no-discreto de GL(C, n) cuja algebra de Lie L(G) e seja H um ca a e
Cap tulo 18
896/1507
subgrupo (no discreto) de G. Seja L(H) := {M Mat (C, n)| exp(tM ) H, t R} e suponha que se saiba que a L(H) um subespao de L(G). Ento L(H) tambm uma sub-lgebra de L(G). e c a e e a Prova. Sejam A, B L(H). Ento claro que para todos t e s R teremos esA etB esA H pois H um grupo e a e e esA , etA H. Podemos escrever esA etB esA = exp tesA BesA e isso prova que esA BesA L(H) para todo s R. Como por hiptese L(H) um subespao de L(G), L(H) fechado (pois estamos em dimenso nita). Logo, o e c e a L(H) lim completando a prova. Comparando a demonstraao acima com a do Teorema 18.1, vemos que a diferena que no supomos que H seja c c e a fechado. Podemos ir mais um pouco alm e estabelecer o seguinte: e Teorema 18.5 Seja G um subgrupo fechado de GL(C, n) cuja algebra de Lie L(G) e seja h uma sub-lgebra de Lie e a real de L(G). Ento existe um unico subgrupo conexo H de G cuja algebra de Lie h. H um grupo de Lie (em uma a e e certa topologia). 1 sA sA e Be B s = d sA sA e Be ds = [A, B],
s=0
s0
No apresentaremos a demonstraao dessa armaao aqui no caso geral, a qual uma conseqncia da frmula de a c c e ue o Baker-Campbell-Hausdor. Mais adiante (pgina 899) discutiremos como H pode ser constru a partir de h no caso a da dessa ultima ser uma lgebra de Lie nilpotente, o caso mais fcil de tratar. a a
18.4.1
Algebras de Lie Nilpotentes, Sol veis, Simples e Semi-Simples u
J comentamos anteriormente que se A e B so matrizes nn reais ou complexas tais que AB = BA, ento exp(A) exp(B) = a a a a e a exp(A + B). O que ocorre caso A e B no comutem entre si? A resposta a esta questo dada por uma expresso a conhecida como frmula de Baker-Campbell-Hausdor, a qual foi discutida e demonstrada no Cap o tulo 5, pgina 260. a Essa frmula permite expressar o produto exp(A) exp(B) para duas matrizes A e B Mat (C, n) (ou Mat (R, n)) o novamente como uma exponencial de matrizes: exp(A) exp(B) = exp(A B), onde A B uma expresso um tanto complexa envolvendo somas de comutadores m ltiplos das matrizes A e B, e cujos e a u primeiros termos so os seguintes: a 1 1 1 A B = A + B + [A, B] + [A, [A, B]] + [B, [B, A]] + . 2 12 12 A expresso completa encontra-se em (5.45) ` pgina 281. a a a Vamos agora fazer uma pausa e, antes de entrarmos na discusso das conseqncias da frmula de Baker-Campbella ue o Hausdor e da exponenciaao de lgebras de Lie e sua relaao com grupos de Lie, vamos nos dedicar a discutir alguns c a c aspectos algbricos das lgebras de Lie (com o perdo do pleonasmo). e a a A frmula de Baker-Campbell-Hausdor nos chama a atenao para a importncia de comutadores m ltiplos de o c a u elementos de uma lgebra de Lie. Vamos aproveitar a oportunidade para introduzir algumas nooes algbricas muito a c e empregadas no estudo de lgebras de Lie. Falaremos da sua relevncia adiante. a a No que segue trataremos apenas de lgebras de Lie sobre o corpo dos n meros reais ou complexos. a u Seja L uma lgebra de Lie e A, B dois subconjuntos de L. Por [A, B] denotamos o conjunto de todos os elementos a de L que so iguais ao comutador de algum elemento de A por algum elemento de B. Em s a mbolos: [A, B] = {[a, b], a A, b B} . (18.11)
Cap tulo 18
897/1507
Algebras de Lie nilpotentes Seja uma lgebra de Lie L. Com a notaao acima, denotaremos por L[n] , n = 0, 1, 2, . . ., a seqncia de conjuntos a c ue obtida da seguinte forma: L[0] := L e L[n] = [L, L[n1] ], n = 1, 2, . . .. Ou seja, L[0] L[1] L[2] L[3] := L, := [L, L[0] ] = [L, L], := [L, L[1] ] = [L, [L, L]], := [L, L[2] ] = [L, [L, [L, L]]], . . . etc. Denio. Uma lgebra de Lie dita ser nilpotente se L[m] = {0} para algum m. ca a e O menor m para o qual L[m] = {0} dito ser o grau ou ndice da lgebra de Lie nilpotente. Note-se que se L[m] = {0} e a ento L[m ] = {0} para todo m > m. a Um exemplo de lgebra de Lie nilpotente a lgebra de Heisenberg tri-dimensional gh3 , com geradores p, q e , a e a satisfazendo [p, ] = 0, [q, ] = 0 e [p, q] = i . Para ela vale (gh3 )[2] = {0}. Essa lgebra foi apresentada e discutida a na Seao 17.2.2 ` pgina 790. c a a H vrias razes por que as lgebras de Lie nilpotentes so relevantes. Uma delas est no fato de as lgebras de a a o a a a a Lie nilpotentes serem igualmente lgebras de Lie sol veis (vide o que segue) e a importncia destas ser discutida. O a u a a leitor pode reconhecer uma outra razo da importncia das lgebras de Lie nilpotentes na seguinte observaao: para uma a a a c a lgebra de Lie nilpotente a srie de Baker-Campbell-Hausdor em (5.45) e (5.46) uma srie nita! Voltaremos a isso e e e quando retomarmos adiante a discusso da frmula Baker-Campbell-Hausdor. a o Algebras de Lie sol veis u Em paralelo ` noao de lgebra de Lie nilpotente que apresentamos acima, existe a noao de algebra de Lie solvel. a c a c u Para uma lgebra de Lie L, denotaremos por L(n) , n = 0, 1, . . ., a seqncia de conjuntos obtida da seguinte forma: a ue L := L e L(n) := [L(n1) , L(n1) ], n = 1, 2, . . .. Ou seja,
(0)
L(0) L(1) L(2)
:= := := . . .
L, [L(0) , L(0) ] = [L, L], [L(1) , L(1) ] = [[L, L], [L, L]],
etc. Denio. Uma lgebra de Lie dita ser solvel se L(m) = {0} para algum m. ca a e u Para qualquer lgebra de Lie L bastante evidente, pelas denioes, acima que L(n) L[n] . De fato, L(0) = L[0] e a e c L = L[1] e, se L(n) L[n] para algum n, segue que L(n+1) = [L(n) , L(n) ] [L, L(n) ] [L, L[n] ] = L[n+1] , provando a armativa por induao. c
(1)
Segue dessa observaao que toda lgebra de Lie nilpotente tambm sol vel. c a e e u A rec proca dessa ultima armaao falsa: nem toda lgebra de Lie sol vel nilpotente. Considere-se com exemplo c e a u e a lgebra de Lie bidimensional com geradores 1 e 2 satisfazendo [1 , 2 ] = 2 . Essa lgebra no nilpotente, pois a a a e [1 , [1 , [ , [1 , 2 ]]]] = 2 . Porm, essa lgebra sol vel, pois [[1 , 2 ], [1 , 2 ]] = [2 , 2 ] = 0. Essa lgebra e a e u a aparecer concretamente no exemplo discutido ` pgina 902. a a a
Cap tulo 18
898/1507
H vrias razes por que as lgebras de Lie sol veis so relevantes. Uma delas ser discutida aps apresentarmos o a a o a u a a o Teorema de Levi, abaixo. Algebras de Lie simples e semi-simples Se L uma lgebra de Lie, dizemos que um subespao vetorial J de L uma sub-lgebra (de Lie) se e a e c e a [J, J] J. Se L uma lgebra de Lie, dizemos que um subespao vetorial I de L um ideal se e a c e [L, I] I. Pela deniao, todo ideal de L uma sub-lgebra de Lie de L. c e a As lgebras de Lie nilpotentes e as sol veis possuem muitos ideais. Contrapostas `s mesmas esto as chamadas a u a a a lgebras de Lie simples e semi-simples, que possuem poucos ideais. Denio. Uma lgebra de Lie L dita ser simples se seus unicos ideais forem {0} e a prpria L. ca a e o Denio. Uma lgebra de Lie L dita ser semi-simples se no possuir ideais sol veis (que no {0}). ca a e a u a E bem claro que toda lgebra de Lie simples semi-simples. a e H vrias razes por que as lgebras de Lie semi-simples so relevantes. Uma delas ser discutida aps apresentarmos a a o a a a o o Teorema de Levi, abaixo. Soma direta e soma semi-direta de lgebras de Lie a Denio. Uma lgebra de Lie L dita ser a soma direta de duas de suas sub-lgebras L1 e L2 se ca a e a [L1 , L2 ] = 0 e se todo elemento x L puder ser escrito de modo unico da forma x = x1 + x2 com x1 L1 e x2 L2 . Se L for a soma direta de L1 e L2 denotamos isso por L = L1 L2 . Denio. Uma lgebra de Lie L dita ser a soma semi-direta de duas de suas sub-lgebras L1 e L2 se ca a e a [L1 , L2 ] L2 e se todo elemento x L puder ser escrito de modo unico da forma x = x1 + x2 com x1 L1 e x2 L2 . Se L for a soma semi-direta de L1 e L2 denotamos isso por L = L1 L2 . Note que L2 deve ser um ideal de L. Nesse contexto importante o seguinte teorema, cuja demonstraao est alm das pretenses destas notas (vide e.g. e c a e o [127, 89]): Teorema 18.6 (Teorema de Levi) Toda algebra de Lie L de dimenso nita uma soma semi-direta a e L = SR onde S semi-simples e R solvel. e u A sub-lgebra R acima denominada radical de L. a e Exemplos. O chamado grupo Euclidiano18 em trs dimenses E3 possui seis geradores J1 , J2 , J3 (geradores de e o rotaoes) e P1 , P2 , P3 (geradores de translaoes), satisfazendo as relaoes c c c
3 3
[Ji , Jj ] =
k=1
18 Euclides,
ijk Jk
[Ji , Pj ] =
k=1
ijk Pk
[Pi , Pj ] = 0,
de Alexandria (ci. 325 A.C., ci. 265 A.C.).
Cap tulo 18
899/1507
onde ijk o s e mbolo anti-simtrico de Levi-Civita denido em (17.33), pgina 805. Se denominarmos por P a sub-lgebra e a a gerada por P1 , P2 , P3 e por J a sub-lgebra gerada por J1 , J2 , J3 , veremos que P sol vel (pois Abeliana) e que J a e u e e simples (e, portanto, semi-simples). E tambm imediato que L = P J. e * O teorema de Levi nos diz que o estudo geral de lgebras de Lie, e conseq entemente, de grupos de Lie, reduz-se ao a u estudo das lgebras de Lie sol veis (dentre as quais esto as nilpotentes) e das lgebras de Lie semi-simples. Um dos a u a a resultados mais importantes da teoria das lgebras de Lie uma clebre classicaao completa de todas as lgebras de a e e c a Lie semi-simples, feito devido a Killing19 e a Cartan20 . Para o caso das lgebras sol veis uma classicaao completa est a u c a ainda longe de ser alcanada. c
18.4.2
Questes sobre a Exponenciao de Algebras de Lie o ca
Apesar de sua importncia, a frmula de Baker-Campbell-Hausdor apresenta uma restriao quanto ` norma das matrizes a o c a A e B, necessria para garantir a convergncia da srie que ocorre em (5.45). H, porm, uma classe de lgebras de Lie a e e a e a para a qual essa questo no importante, as chamadas lgebras de Lie nilpotentes, das quais trataremos agora. a a e a Grupos de Lie nilpotentes A importncia das lgebras de Lie nilpotentes no contexto da frmula de Baker-Campbell-Hausdor (5.45), pgina a a o a 281, a seguinte. Se L Mat (C, n) uma lgebra de Lie nilpotente de grau m de matrizes, ento para quaisquer e e a a a u A, B L teremos que A B denida em (5.45) uma soma nita, contendo no mximo comutadores m ltiplos de ordem e m. Com isso, vemos que para uma lgebra de Lie nilpotente de matrizes L Mat (C, n) no existe o problema da a a convergncia da srie de (5.45), e a mesma vale para todo A, B L, independente da norma desses elementos. Fora isso e e A B L, j que dado por uma soma nita de elementos de L. Uma conseqncia a seguinte proposiao. a e ue e c Proposio 18.8 Seja G um subgrupo de Lie de GL(C, n) e LG Mat (C, n) sua algebra de Lie. Vamos supor que ca LG seja nilpotente. Ento o produto denido pela frmula de Baker-Campbell-Hausdor associativo. Fora isso, a a o e algebra de Lie LG , ela mesma, um grupo com o produto . e Prova. Sejam A1 , A2 e A3 trs elementos de LG . Se L1 , . . . , Lm formam uma base em LG podemos escrever Ai = e m i Lk , onde i so n meros complexos. Como a soma de comutadores que ocorre na frmula de Baker-Campbella u o k k=1 k Hausdor nita, conclu e mos que
m m
(A1 A2 ) A3 =
k=1
pk ()Lk
A1 (A2 A3 ) =
k=1
qk ()Lk ,
onde pk () e qk () so polinmios nas variveis i , i = 1, 2, 3, j = 1, . . . , m. Desejamos provar que para cada k tem-se a o a j pk = qk . Como ambos so polinmios, suciente provar isso para quando as variveis i esto restritas a algum aberto a o e a a j de C. Sejam Gi = exp(Ai ), i = 1, 2, 3, elementos de G. Como o produto do grupo associativo, temos (G1 G2 )G3 = e G1 (G2 G3 ) e, portanto, exp((A1 A2 )A3 ) = exp(A1 (A2 A3 )). Se escolhermos as variveis i sucientemente prximas a o j de zero, teremos pk () e qk () igualmente prximas de zero (convena-se disso checando a frmula de Baker-Campbello c o Hausdor) e, portanto, (A1 A2 ) A3 C e A1 (A2 A3 ) C podem ser ambas feitas menores que ln 2. Pela Proposiao c 5.5, pgina 267, podemos tomar o logaritmo das exponenciais acima e concluir que (A1 A2 ) A3 = A1 (A2 A3 ). a Assim,
m m
pk ()Lk =
k=1
19 Wilhelm 20 Elie
qk ()Lk
k=1
Karl Joseph Killing (1847-1923). Joseph Cartan (1869-1951).
Cap tulo 18
900/1507
pelo menos para i pequenos o suciente. Como os elementos Lk da base so linearmente independentes, conclu a mos j i que pk () = qk () para todo k = 1, . . . , m, pelo menos quando os j so pequenos o suciente. Como pk e qk so a a polinmios, isso vale para todos i C. Isso provou a associatividade. o j Para provar que LG um grupo, devemos mostrar que h um elemento neutro em LG para o produto e que para e a cada elemento de LG existe uma inversa. Pela frmula de Baker-Campbell-Hausdor fcil constatar que o e a A0 = 0A = A para todo A LG . Assim o zero o elemento neutro procurado. Fora isso, tambm pela frmula de Baker-Campbelle e o Hausdor fcil constatar que e a A (A) = A + (A) + comutadores de A com A = 0. Logo, (LG , ) um grupo. e Esses fatos tm ainda uma conseqncia importante. Seja L Mat (C, n) uma lgebra de Lie nilpotente de matrizes. e ue a Denamos por exp(L) o conjunto de todas as matrizes que so exponenciais de elementos de L: a exp(L) = {G Mat (C, n)| G = exp(A) para algum A L} . Armamos que exp(L) um grupo (em relaao ao produto usual de matrizes), em verdade um subgrupo de GL(C n). e c a e e De fato, exp(L), pois, 0 L. Se G = exp(A) com A L, ento sua inversa G1 = exp(A), que tambm pertence a exp(L) pois A L. Por m, se G1 = exp(A1 ) e G2 = exp(A2 ) com A1 e A2 dois elementos quaisquer de L, ento, a pela frmula de Baker-Campbell-Hausdor, G1 G2 = exp(A1 A2 ) exp(L), pois A1 A2 L. o A concluso que a partir de uma lgebra de Lie nilpotente L podemos construir um grupo, denominado grupo de Lie a e a associado a algebra L pelo procedimento de exponenciaao. E importante notar que L um conjunto conexo. Portanto, ` c e como a exponencial cont e nua, o grupo exp(L) igualmente conexo. e Interessantemente vale tambm a rec e proca. Seja G um grupo de Lie conexo fechado (de matrizes) e LG sua lgebra a de Lie e vamos supor que LG seja nilpotente. Considere, para algum > 0 sucientemente pequeno, o subconjunto V de LG denido por
m
V :=
k=1
k Lk , com |i | < para todo i = 1, . . . , m ,
e o subconjunto U de G denido por

m
U :=
exp
k=1
k Lk
, com |i | < para todo i = 1, . . . , m ,
onde L1 , . . . , Lm formam uma base em LG . Note-se que V um subconjunto aberto de LG . Note-se tambm que U e que se g = exp ( k=1 k Lk ) U e e m ento g 1 = exp ( k=1 k Lk ) U . Assim, se provarmos que U aberto poderemos usar a Proposiao 18.3, pgina a e c a 881.
m
Se for pequeno o suciente poderemos garantir que k=1 k Lk C < ln 2 sempre que |i | < para todo i = 1, . . . , m e, pela Proposiao 5.5, pgina 267, teremos ln (exp ( m k Lk )) = m k Lk . Logo, U a imagem inversa c a e k=1 k=1 pela funao ln do conjunto aberto V . Como ln uma funao cont c e c nua (Proposiao 5.3, pgina 266) conclu c a mos que U igualmente aberto. e Logo, pela Proposiao 18.3, cada elemento g de G pode ser escrito como um produto de n elementos de U : g = c g1 gn , onde gi = exp(li ) com li V . Agora, como a lgebra nilpotente, vale exp(l1 ) exp(ln ) = exp(l1 ln ). a e Com isso, ca demonstrada a seguinte armaao: se G um subgrupo conexo fechado de GL(C, n) e se sua lgebra de c e a Lie LG nilpotente, ento todo elemento de G pode ser escrito como exponencial de um elemento de LG . Um exemplo e a dessa situaao o grupo de Heisenberg GH3 , tratado ` pgina 791. c e a a Observaao 1. O n mero n mencionado no ultimo pargrafo pode no ser o mesmo para todo g G (vide o enunciado c u a a da Proposiao 18.3), podendo eventualmente crescer arbitrariamente quando g varia no grupo. Porm, como a lgebra c e a LG nilpotente, o produto l1 ln est sempre denido para qualquer n. e a
Cap tulo 18
901/1507
Observaao 2. Nas circunstncias descritas acima, fcil constatar que a funao exponencial exp : LG G um c a e a c e isomorsmo do grupo (LG , ) em G. Grupos de Lie com lgebras de Lie nilpotentes no so os unicos grupos de Lie para os quais vale que todo seu a a a elemento pode ser escrito como exponencial de um elemento da sua lgebra de Lie. E poss mostrar que grupos de Lie a vel compactos com lgebras de Lie semi-simples tambm tm essa propriedade. Para uma demonstraao vide, por exemplo, a e e c [155]. Vimos isso de modo expl cito quando tratarmos dos grupos SO(3), SU(2), SL(C, 2), SU(n) e SO(n) no Cap tulo 17. Para grupos de Lie no-conexos tipicamente ocorre que no se pode escrever todos os seus elementos como exponenciais a a de elementos de sua lgebra de Lie. Tal , por exemplo, o caso do grupo de Lie GL(R, 2), cuja lgebra de Lie Mat (R, 2). a e a e A exponencial de matrizes reais 2 2 sempre formada por matrizes com determinante positivo (pela Proposiao 4.13, e c pgina 190, ou pela Proposiao 5.7, pgina 269), enquanto que GL(R, 2) possui tambm matrizes com determinante a c a e negativo. Vide Proposiao 5.10, pgina 271. c a Porm, como veremos no exemplo discutido em detalhe ` pgina 902, no basta que um grupo de Lie seja conexo e a a a para que todos os seus elementos possam ser escritos como exponenciais de elementos de sua lgebra de Lie. Em vrios a a casos, todavia, os elementos do grupo podem ser escritos como um produto nito de exponenciais. Tal tambm ocorre e no exemplo da pgina 902. a Para um grupo de Lie conexo G poss e vel, sob hipteses adequadas que no discutiremos aqui, construir um grupo de o a Lie simplesmente conexo a partir de sua lgebra de Lie, usando um procedimento semelhante ao que empregamos quando a discutimos acima o caso de lgebras de Lie nilpotentes. Constri-se primeiramente uma vizinhana U da identidade que a o c seja simtrica (ou seja, se g U ento g 1 U ) por exemplo a vizinhana na qual a frmula de Baker-Campbelle a c o Hausdor converge, no caso de matrizes e em seguida considera-se o conjunto formado por produtos nitos de elementos de U , o chamado grupo gerado por U . Esse conjunto em geral um grupo de Lie simplesmente conexo que um e e recobrimento do grupo original G.
18.4.3
Alguns Exemplos Especiais
Um subgrupo conexo no-fechado de GL(C, 2) a Exibiremos aqui um exemplo de um subgrupo conexo no-fechado de GL(C, 2) o qual um grupo de Lie mas no a e a um subgrupo de Lie de GL(C, 2). Isso signica que a topologia que faz desse subgrupo Ha um grupo de Lie no a e a e topologia induzida por GL(C, 2) em Ha . Esse exemplo bastante instrutivo e ilustra o porqu de haver certas diculdades sutis de natureza topolgica na e e o teoria dos grupos de Lie (e na geometria diferencial, em geral). O grupo em questo o seguinte grupo de matrizes a um parmetro real: a e a it e 0 , t R , Ha := 0 eiat
onde a um n mero real irracional xo arbitrrio. Para mostrar que esse grupo no fechado, vamos exibir uma e u a a e seqncia convergente de matrizes de Ha que no converge a um elemento de Ha . Considere tn = (2n + 1) com n N0 . ue a
n meros complexos da forma ei2a(2n+1) , com n N0 , formam um conjunto denso em todo o c u rculo unitrio do plano a complexo21 . Assim, existe uma sub-seqncia nk tal que ei2a(2nk +1) converge a 1 quando k . Isso mostra que a ue a e a matriz est no fecho de Ha . Sucede, porm, que Ha pois, para a irracional, no existe nenhum t real tal que valham simultaneamente eit = 1 e eiat = 1 (prove isso). Isso mostra que Ha no fechado. a e
21 O
0 1 . Sucede que, como a irracional, os e As matrizes de Ha correspondentes a esses valores de t so a i2a(2n+1) 0 e
leitor para o qual esse fato no familiar poder encontrar demonstraoes em bons livros sobre teoria de nmeros, por exemplo [68]. a e a c u
Cap tulo 18
902/1507
topologia usual de R em Ha , topologia essa na qual Ha um grupo de Lie, como facilmente se v. Essa topologia no e e a coincide com a topologia induzida em Ha pela norma de matrizes em Ha . H uma maneira geomtrica de entender o que est acontecendo nesse grupo. Considere o seguinte grupo de Lie de a e a matrizes 2 2: it e 0 , t, s R . T := 0 eis
e Por outro lado, claro que h uma aplicaao bijetora de R em Ha dada por R t e a c 0
it
eiat
0 , a qual induz a
Esse grupo de Lie (a dois parmetros reais) pode ser visualizado como um toro bidimensional (pois o produto Cartesiano a e de dois c rculos: o c rculo eit com t R e o c rculo eis com s R). Cada grupo Ha um subgrupo de T e, nessa imagem, e corresponde a uma curva (pois cada Ha unidimensional) que preenche densamente o toro sem auto-cruzamentos. Dessa e forma entende-se que o fecho de Ha na topologia da norma das matrizes o grupo T . e Se imaginarmos um aberto no toro, veremos que este intersecta a curva que corresponde a Ha em innitos segmentos. Assim, Ha no uma sub-variedade de T e, portanto, apesar de ser um subgrupo de T , Ha no pode ser um subgrupo a e a de Lie de T na topologia de T . Exponenciao e lgebras de Lie matriciais. Um contra-exemplo ca a Vamos agora apresentar um exemplo de um grupo de Lie conexo no qual no podemos escrever todos os seus elementos a como exponenciais de elementos de sua lgebra de Lie, ou seja, a exponencial de sua lgebra de Lie no sobrejetora no a a a e grupo. Seja um n mero real irracional22 xo. Vamos considerar o seguinte conjunto de matrizes complexas 2 2: u H := {h(t, z), t R, z C} , onde
Armamos que H um subgrupo de GL(C, 2). De fato, e
eit h(t, z) := 0
eit
z .
(18.12)
= h(0, 0) H ,
h(t, z)h(t , z ) h(t, z)1 E. 18.11 Exerccio. Verique! H um grupo de Lie conexo parametrizado por t R e z C. De fato, o grupo H homeomorfo ` variedade e e a conexa R C. O homeomorsmo de R C em H dado pela funao h denida em (18.12), isto , h : R C H , e c e eit := (t, z) h(t, z) 0 eit z . = h(t + t , zeit + z eit ) H = h(t, zei(1+)t ) H .
22 Como
veremos abaixo, crucial para a construao desejada que no seja racional. e c a
Cap tulo 18
903/1507
Claramente, h cont e nua (certo?). Vamos mostrar que h bijetora. Suponha que existam (t, z) e (t , z ) R C tais e que h(t, z) = h(t , z ), ou seja, Isso implica as trs seguintes condioes simultneas: e c a eit 0 z eit = 0 eit eit eit z As relaoes (18.13) e (18.14) implicam c t = t + 2k e t = t + 2l, = = = eit
eit
z .
(18.13)
eit z .
(18.14) (18.15)
respectivamente, para k, l Z. Assim, multiplicando-se a primeira igualdade por e subtraindo-se da segunda, ter amos k = l para k, l Z. Mas isso imposs se for um n mero irracional, a menos que k = l = 0. Com isso, conclu e vel u mos que t = t , fato esse que, juntamente com (18.15), prova que h uma bijeao. Mais ainda, bem claro que h innitamente e c e e diferencivel e, portanto, um difeomorsmo. a e Vamos determinar os geradores de H , que denotaremos por 1 , 2 : 1 = h(t, z) t
t=z=0
i = 0
0 , i
h(t, z) z
t=z=0
0 1 . = 0 0
E. 18.12 Exerccio. Verique! Um elemento genrico da lgebra de Lie L(H ) associada a H , portanto, da forma e a e com R e w C. i h(, w) := 1 + w2 = 0 w , i
a a e E. 18.13 Exerccio. Constate que [1 , 2 ] = i(1 )2 . Conclua da que a lgebra de Lie L(H ) associada a H no nilpotente, no simples e no semi-simples, mas solvel. a e a e e u Vamos nos dedicar agora a calcular exp(h(, w)). E muito fcil provar que a h(, w)2 (i )2 = 0 w(i )(1 + ) 2 (i )
Cap tulo 18
904/1507
e que
h(, w)3
Por induao, v-se tambm que c e e h(, w)n
(i ) = 0
w(i ) (1 + + ) . 3 (i ) n (i ) = 0 1 n w(i ) 1 , n (i )
n1
n1 n
para todo n 1. Na ultima igualdade usamos a bem conhecida frmula da progresso geomtrica. o a e E. 18.14 Exerccio importante. Mostre isso! Dessa forma, obtemos exp(h(, w)) = + 1 h(, w)n n! n=1

(i ) = 0
w(i )
n1 p=0
(i )n
1 (i )n 1 + n! n=1 = 0 e = 0
i
1 (i )n1 n! n=1
onde
wf ( ) , i e 1 (i )n1 n! n=1
1 n 1 1 n (i ) 1+ n! n=1
f ( ) :=
1 n 1
Cap tulo 18
905/1507
Vamos agora expressar melhor a funao f ( ). Note-se que f (0) = 1 e que, para = 0, c 1 (i )n1 n! n=1
1 n 1
1 1 1 1 1 1 ei 1
1 1 (i )n1 (i )n1 n! n! n=1 n=1 ei 1 i ei ei i ei(1) 1 i . ei 1 i
= Assim,
f ( ) =
1,
para = 0,
e, nalmente,
i e 1
ei(1) 1 i
i
, para = 0
A questo que agora se pe : ser o conjunto de matrizes exp(L(H )) := {exp(h(, w)), R, w C} igual a H ? a o e a
2 A resposta no! Para provar isso mostraremos que as matrizes h 1 , z com z = 0 no so elementos do conjunto e a a a exp(L(H )). Se tal no fosse o caso, existiriam R e w C tais que a
e exp(h(, w)) = 0
wf ( ) . i e
(18.16)
h ou seja,
2 , z 1
= exp(h(, w)),
Isso s poss se as seguintes trs condioes forem satisfeitas simultaneamente: oe vel e c ei 1 ei 1 z As condioes (18.17) e (18.18) implicam c =
2 2
2 i 1
z e = 2 i 1 0 e = = = ei , ei ,
wf ( ) . i e
(18.17) (18.18) (18.19)
wf ( ).
2 + 2k 1
Cap tulo 18
906/1507
e =
2 + 2l, 1
respectivamente, com k, l Z. Das duas conclu (multiplicando a primeira por ) que -se 2k = 2l, ou seja, k = l.
Porm, como foi suposto ser um n mero irracional, isso s poss se k = l = 0. Portanto e u oe vel = 2 . 1
Ocorre agora, porm, que inserindo-se esse valor de no lado direito de (18.19) obtemos e wf 2 1 = w ei 1 1
2
ei(1) 1 1 2 i 1
= w ei 1
e2i 1 2i
= 0
e, conseq entemente, (18.19) no pode ser satisfeita para z = 0. u a Esse exemplo ilustra bem o fato mencionado de haver situaoes nas quais a imagem pela exponenciaao da lgebra c c a de Lie L(G) associada a um grupo de Lie G no coincide com o grupo G. a a e E. 18.15 Exerccio. Seja um grupo de Lie simplesmente conexo G, cuja lgebra de Lie L. Um teorema devido a Dixmier [77] arma, entre outras coisas, que exp(L) = G se exp for injetora. Mostre que (, w) exp(h(, w)) denida em (18.16) no injetora. a e No exemplo acima vale, porm, a seguinte armaao: todo elemento de H pode ser escrito como produto de duas e c exponenciais de elementos da lgebra de Lie L(H ), a saber, da forma a exp(h(, 0)) exp(h(0, w)) . De fato, bem fcil ver que e a
e h(t, z) = 0
it
z e = eit 0
it
0 1 e it 0 1 e
it
z = exp(h(t, 0)) exp(h(0, eit z)).

Grupos de Lie e Algebras de Lie

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Grupos de Lie e Algebras de Lie

Uploaded by

Copyright:

Available Formats

Cap tulo 18 Grupos de Lie e Algebras de Lie.

Uma Breve Introduo ca

Variedades e Grupos de Lie

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

, a, b R com det(R) = 1 uma variedade difee

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

, a, b R com det(R) = 1 um grupo de Lie real. e

Breves Consideraes sobre Grupos Topolgicos co o

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

onde U := U e U n := {x H| x = un u1 para ui U, i = 1, . . . , n}, n > 1.

Prova. Todos os conjuntos U n so conjuntos abertos. Isso fcil de se ver. De fato, a e a U2 =

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

Grupos de Lie Matriciais

Uma Topologia Mtrica em GL(C, n) e

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

O Grupo de Lie GL(C, n)

0. Assim, o produto ` esquerda cont a e nuo.

para |z| < 1 em

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

< 1, podemos escrever

A justicativa dessa expresso6 foi apresentada na Seao 5.2. Tem-se, ento, a c a

ou seja, GL(C, n) possui um recobrimento por abertos.

que a expanso de Taylor da funao anal a c tica

1 para |z| < 1 em torno de z = 0 precisamente e

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

(gA(x))1 = ( + X)1 g 1 = g 1 ( + gY (x)g 1 ),

Subgrupos Uniparamtricos e seus Geradores e

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

para s (a, b) de outra forma,

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

(u)(u)du. Temos que Y =

(u)du = 1, por hiptese. Logo, o

Harvey Stone (1903-1989).

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

Subgrupos Uniparamtricos e Algebras de Lie e

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

? Para ver isso, notemos que o comprimento desse intervalo e 1,

Vamos denominar jn Xn por Yn Fora isso, exp Yn

(k ) (k ) (com k0 xo). E evidente que Yn 0 sk0 wr . Isso implica que exp Yn 0 Wr . j

= exp(jn Xn ) = (exp(Xn )) n . Como exp(Xn ) pertence ao grupo H (pois Xn fr ), segue pela

propriedade de grupo que tambm tem-se exp Yn e provamos que exp Yn

H ( por essa razo que escolhemos jn inteiro). Com isso, e a

H Wr , o que signica que13 Yn

k0 r (k0 1)r (k0 ) . m m

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

fazendo m , sendo que

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

pertencem ao grupo H, pois supomos