You are on page 1of 28

Cap tulo 21 Grupos de Lie e Algebras de Lie.

Uma Breve Introdu c ao


Conte udo
21.1 21.2 21.3 Variedades e Grupos de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . Breves Considera c oes sobre Grupos Topol ogicos . . . . . . . . . . . . . . . Grupos de Lie Matriciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21.3.1 Uma Topologia M etrica em GL(C, n) . . . . . . . . . . . . . . . . . . . . . . 21.3.2 O Grupo de Lie GL(C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21.3.3 Subgrupos Uniparam etricos e seus Geradores . . . . . . . . . . . . . . . . . . 21.3.4 Subgrupos Uniparam etricos e Algebras de Lie . . . . . . . . . . . . . . . . . 21.3.5 Subgrupos Fechados de GL(C, n) . . . . . . . . . . . . . . . . . . . . . . . . A Rela c ao entre Grupos de Lie Matriciais e suas Algebras de Lie . . . . . 21.4.1 Algebras de Lie Nilpotentes, Sol uveis, Simples e Semi-Simples . . . . . . . . 21.4.2 Quest oes sobre a Exponencia c ao de Algebras de Lie . . . . . . . . . . . . . . 21.4.3 Alguns Exemplos Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1073 1075 1077 . 1077 . 1078 . 1080 . 1083 . 1087 1090 . 1091 . 1093 . 1095

21.4

ste cap tulo tenciona ser uma modesta introdu ca o ao estudo de grupos de Lie. Com particular destaque discutiremos grupos de Lie matriciais. Algumas observa co es pr evias s ao necess arias. Para a discuss ao do conceito geral de grupo de Lie s ao indispens aveis algumas no co es b asicas sobre espa cos topol ogicos mas, de import ancia especial e a no ca o de variedade diferenci avel. Esse importante conceito, proveniente da Geometria, desempenha um papel importante em v arias areas de F sica, tais como a Teoria da Relatividade Geral e as Teorias de Calibre. O conceito de variedade diferenci avel nasceu inspirado na no ca o mais familiar de superf cie em espa cos Rn e n ao se desvincula totalmente daquela. N ao pressuporemos da parte do leitor conhecimento pr evio do conceito de variedade diferenci avel e, por isso, vamos introduz -lo adiante. N ao iremos, no entanto, desenvolver esse assunto em detalhe no presente cap tulo e, para tal, remetemos o estudante interessado ao Cap tulo 32, p agina 1483, e aos (in umeros) bons livros sobre Geometria Diferencial, por exemplo [185]. 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 introdut orias. No entanto, a grande maioria dos grupos de Lie de interesse (especialmente em F sica) e formada por grupos de Lie matriciais. Para o tratamento de grupos de Lie matriciais discutiremos com certo detalhe aspectos alg ebricos e topol ogicos de grupos de matrizes. Mais de 100 anos de pesquisa intensa nos separam dos prim ordios do estudo dos grupos e algebras de Lie e nossas pretens oes aqui s ao a de uma modesta introdu ca o a esse vast ssimo assunto. Para tratamentos gerais e abrangentes de grupos de Lie recomendamos as refer encias [193], [183], [40], [134], [248], [105] ou [218]. Para algebras de Lie, recomendamos [118] e [210]. V arios grupos de Lie s ao importantes na F sica e seu tratamento e particularmente importante na Mec anica Qu antica e nas Teorias Qu anticas de Campos. Exemplos de grupos de Lie importantes para a F sica s ao discutidos com certo detalhe no Cap tulo 20, tais como os grupos SO(3), SU(2) e o grupo de Lorentz.

21.1

Variedades e Grupos de Lie

Variedades diferenci aveis Uma variedade diferenci avel real de dimens ao n e um espa co topol ogico Hausdor segundo-cont avel V dotado de uma fam lia de abertos F = {U , } com as seguintes propriedades: 1073

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1074/2069

1. V =

U .

2. Para cada U F existe um conjunto aberto C de Rn e uma bije ca o cont nua com inversa cont nua : U C . 3. Para todo par U , U F com U U = a fun ca o
1 : (U U ) (U U )

e innitamente diferenci avel como fun ca o de (um subconjunto de) Rn em Rn . Vide Cap tulo 32, p agina 1483. Uma variedade anal tica complexa de dimens ao n e denida analogamente, substituindo-se Rn por Cn e substituindose a condi ca o de diferenciabilidade innita do item 3, acima, por analiticidade. Observa c ao 1. Acima, e apenas um conjunto de ndices usados para rotular os elementos de F e n ao tem nenhum papel especial. pode ser nito ou n ao, cont avel ou n ao.
1 Observa c ao 2. As fun co es de acima s ao denominadas fun c oes de transi c ao. Em uma variedade k diferenci avel exige-se apenas que as fun co es de transi ca o sejam k -vezes diferenci aveis. Esses objetos t em, por em, interesse relativamente limitado.

Observa c ao 3. Os pares ( , U ) s ao freq uentemente denominados cartas locais da variedade ou simplesmente cartas. A cole ca o das cartas e freq uentemente denominada atlas. Vamos ` a interpreta ca o das condi co es acima. A condi ca o 1 diz apenas que a fam lia {U , } e um recobrimento de V , ou seja, todo elemento de V pertence a pelo menos um aberto U , podendo naturalmente ocorrer que alguns pontos de V perten cam a v arios elementos da fam lia F, ou seja, os elementos de F podem ter intersec co es n ao-vazias. A condi ca o 2 e importante e diz que os elementos de cada U podem ser rotulados (univocamente) por uma n-upla de n umeros reais (ou complexos). Ou seja, podemos dotar cada U de um sistema de coordenadas. Note que esses sistemas podem ser diferentes para U s diferentes. Como dissemos, pontos de V podem pertencer a v arios U s e, portanto, podem ter a si atribu das coordenadas diferentes, uma para cada U ao qual pertence. Assim, os pontos de U U t em a si atribu dos pelo menos dois sistemas de coordenadas: as coordenadas C de U e as coordenadas C de U . A condi ca o 3 diz-nos como esses sistemas de coordenadas devem relacionar-se, a saber, o que se deseja e que a passagem 1 das coordenadas C para as coordenadas C , a qual e denida pela fun ca o , seja innitamente diferenci avel (ou anal tica). Como mencionamos, a conceito de variedade foi inspirado na no ca o de superf cie em conjuntos como Rn e Cn . Sem entrarmos em detalhes t ecnicos, toda superf cie em Rn convenientemente denida (tais como a superf cie da esfera e o toro, em R3 ) e uma variedade, ou seja, tem um sistema de coordenadas local. Isso pode ser garantido, por exemplo, pelo conhecido teorema da fun ca o impl cita da an alise real. Note-se por em que variedades n ao s ao apenas conjuntos de pontos, como as superf cies de Rn o s ao, podendo ser tamb em conjuntos de outros tipos de objetos, como fun co es, curvas, vetores, matrizes etc. A id eia intuitiva b asica em torno da no ca o de variedade e que a mesma representa uma cole ca o cont 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) diferenci avel, como se faz em Rn . E. 21.1 Exerc cio. Mostre que o conjunto de matrizes R = renci avel de dimens ao 1. Grupos topol ogicos Vamos agora apresentar a deni ca o de grupo topol ogico, da qual precisaremos para discutir grupos de Lie. Seja G um grupo. Para cada g G podemos denir uma fun ca o g : G G por g (h) := gh. Fora isso tem-se tamb em em G a fun ca o inv : G G denida por inv (h) := h1 . Deni c ao. Um grupo G e dito ser um grupo topol ogico em rela ca o a uma topologia denida em G se nessa topologia a fun ca o inv e todas as fun co es g forem cont nuas. Coment ario.
Podemos denir tamb em para cada g G a fun ca o g : G G por g (h) = hg , que representa a multiplica ca o ` a direita por f g. E acil de se ver, por em, que g = inv g1 inv. Assim, em um grupo topol ogico as fun co es g s ao tamb em cont nuas.
a b b a

, a, b R com det(R) = 1 e uma variedade dife-

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1075/2069

Coment ario.

Um grupo pode ser topol ogico em rela ca o a uma topologia mas n ao em rela ca o a outra. Veremos exemplos.

Informalmente, um grupo G e topol ogico se as opera co es de produto por elementos do grupo e invers ao forem cont nuas. Em termos mais precisos um grupo topol ogico e formado por um grupo G e uma cole ca o G de subconjuntos de G, G (G), satisfazendo as condi co es denidoras de um Espa co Topol ogico (vide Cap tulo 26): 1. G e G G, 2. Se A G e B G ent ao A B G, 3. Se I e um conjunto arbitr ario de ndices e A G para todo I ent ao
I 1 e tais que para todo O G as imagens inversas inv 1 (O) e ao igualmente elementos de G. g (O), para todo g G, s

A tamb em e um elemento de G,

Os elementos de G s ao ditos ser os conjuntos abertos de G. Como em geral se faz em espa cos topol ogicos, um conjunto FG e dito ser fechado se seu complementar G \ F for aberto. Grupos de Lie Um grupo topol ogico que, enquanto espa co topol ogico, seja uma variedade real diferenci avel (complexa anal tica) e dito ser um Grupo de Lie1 real (complexo) se as opera co es de multiplica ca o ` a direita e invers ao forem innitamente diferenci aveis (anal ticas). E. 21.2 Exerc cio. Verique que (R, +) (o grupo aditivo dos reais) e (R+ \ {0}, ) (o grupo multiplicativo dos reais n ao-negativos) s ao grupos de Lie reais. E. 21.3 Exerc cio. Verique que R =
a b b a

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

Na Se ca o 21.3.2, p agina 1078, mostraremos com detalhe que GL(C, n) e um grupo de Lie. Para mais exemplos, vide a discuss ao sobre os grupos SO(3), SU(2) etc. do Cap tulo 20.

21.2

Breves Considera co es sobre Grupos Topol ogicos

Nesta se ca o nos limitaremos a apresentar alguns poucos resultados sobre grupos topol ogicos, dos quais faremos uso adiante ao tratarmos de grupos de Lie. O estudo de grupos topol ogicos gerais e bastante vasto e para um texto cl assico recomendamos fortemente [193]. Introduzimos aqui a seguinte nota ca o. Seja G um grupo topol ogico. Se U e algum subconjunto de G e g G denimos gU := {x G| x = gu para algum u U } . Analogamente, U g := {x G| x = ug para algum u U } . E. 21.4 Exerc cio. Se U e um conjunto aberto de G mostre que para todo g G os conjuntos gU e U g s ao tamb em conjuntos abertos de G. Grupos topol ogicos conexos e desconexos Um grupo topol ogico H e dito ser desconexo se for a uni ao disjunta de dois conjuntos A e B , ambos n ao-vazios e ao abertos ambos simultaneamente abertos e fechados. Ou seja, H = A B , A B = com A = , B = , onde A e B s e fechados. Um grupo topol ogico H e dito ser conexo se n ao for desconexo.
1 Marius Sophus Lie (1842-1899). Lie introduziu esse conceito em cerca de 1870 em seus estudos de propriedades de invari ancia de equa co es diferenciais parciais.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1076/2069

Alguns fatos sobre grupos topol ogicos Vamos aqui provar alguns fatos b asicos sobre grupos topol ogicos gerais. Faremos uso da Proposi ca o 21.3 abaixo quando falarmos da rela ca o entre algebras de Lie matriciais e algebras de Lie. Seja H um grupo topol ogico e G H um subgrupo de H . Dizemos que G e um subgrupo topologicamente aberto de H (ou simplesmente subgrupo aberto de H ) se G for um subconjunto aberto de H . Analogamente, dizemos que G e um subgrupo topologicamente fechado de H (ou simplesmente subgrupo fechado de H ) se G for um subconjunto fechado de H . A seguinte proposi ca o e relevante nesse contexto. Proposi c ao 21.1 Seja H um grupo topol ogico e G um subgrupo aberto de H . Ent ao G e igualmente um subgrupo fechado de H . Prova. Seja g G, onde G e o fecho de G. Ent ao, se Ug e qualquer aberto de H que cont em g , tem-se Ug G = (Proposi ca o 26.8, p agina 1268). Vamos escolher cuidadosamente um tal aberto Ug . Seja Ue um aberto de H que cont em a identidade. Como G e aberto, V = Ue G e igualmente aberto. Escolhemos Ug = g V := {x H, x = g v para algum v V }. Ent ao, como Ug G = existe algum elemento g G que e tamb em elemento de Ug , ou seja, 1 g = g v para algum elemento v V . Mas isso implica que g = gv . Agora, v V = Ue G G e, portanto, g G por ser o produto de dois elementos de G, que e um grupo. Proposi c ao 21.2 Seja H um grupo topol ogico conexo e G um subgrupo aberto de H . Ent ao G = H . Prova. Vamos supor que G = H , ou seja, H \ G = . Como G e um conjunto aberto e fechado (pela proposi ca o anterior) H \ G = H Gc e um conjunto aberto e fechado. Assim, H e a uni ao disjunta de dois conjuntos abertos e fechados, a saber G e H \ G. Isso e uma contradi ca o com o fato de H ser conexo. Logo, G = H . Proposi c ao 21.3 Seja H um grupo topol ogico conexo e U um aberto de H que cont em a identidade e que seja tal que para todo u U tem-se u1 U . Ent ao,

H =
n=1

Un ,

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

Prova. Todos os conjuntos U n s ao conjuntos abertos. Isso e f acil de se ver. De fato, U2 =


u2 U

u2 U

e, assim, U 2 e aberto, pois e uma uni ao de abertos (vide exerc cio ` a p agina 1075). Analogamente, Un =
un U

un U n1 ,

n>2.

(21.1)

Por indu ca o, segue facilmente que todo U n e aberto. e igualmente um conjunto aberto (por ser uma uni ao de abertos). Se provarmos que U e um Assim U := n=1 U n grupo, a proposi ca o anterior garante a prova desejada. evidente que U cont E em a identidade e (que est a contida em U ). Fora isso, se g1 U n1 e g2 U n2 , ent ao g1 = n1 +n2 U. , mostrando que g g U u un1 u1 e g2 = un2 u1 para certos ui e ui U. Logo, g1 g2 = un1 u1 u 1 2 1 n2 1 n 1 Finalmente, se g U n e g = un u1 , ent a o g 1 = u u U U . Isso completa a prova que U e um grupo. n 1 Informalmente, essa proposi ca o diz que se H e um grupo topol ogico conexo, ent ao qualquer aberto U que cont em a identidade gera o grupo H , ou seja, todo elemento de H pode ser escrito como o produto nito de elementos de U. Observa c ao.
Como a identidade e e um elemento de U , segue facilmente de (21.1) que U n1 U n para todo n 1.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1077/2069

Seja H um grupo topol ogico. Dizemos que uma cole ca o de conjuntos abertos A H , , e um recobrimento de H se H = A .

Um grupo topol ogico e dito ser compacto2 se possuir a seguinte propriedade: para todo recobrimento A H , , de H existir um subconjunto nito A1 , . . . , An de conjuntos abertos que tamb em e um recobrimento de H : H = A1 An . A seguinte proposi ca o e imediata: em a identidade e Proposi c ao 21.4 Seja H um grupo topol ogico conexo e compacto e seja U um aberto de H que cont que seja tal que para todo u U tem-se u1 U . Ent ao, existe um n tal que H = U n.

e, portanto, um recobrimento de H Prova. Como H e conexo, pela Proposi ca o 21.3 tem-se H = n=1 U n . O lado direito por abertos. Assim, como H e compacto, H tem um recobrimento nito pelos abertos U n : existem n1 < n2 < < nk amos provar. tais que H = U n1 U nk . Como U n1 U nk , tem-se H = U nk , como quer Coment ario.
Na proposi ca o acima, a igualdade H = U n arma que todo elemento de H e obtido por um produto de no m aximo n elementos de U . O n umero n e dependente de U e e intuitivo dizer que quanto menor for o aberto U que cont em a identidade, maior ser a n.

21.3

Grupos de Lie Matriciais

Nosso objetivo nesta se ca o e nas que se seguem e introduzir os grupos de Lie matriciais e discut -los. Trataremos de alguns exemplos ilustrativos com algum detalhe, come cando com o grupo GL(C, n). Comentemos que essencialmente todas as nossas arma co es adiante sobre GL(C, n) s ao tamb em v alidas para o grupo real GL(R, n).

21.3.1

Uma Topologia M etrica em GL(C, n)

Como prepara ca o, fa camos alguns coment arios topol ogicos sobre GL(C, n). A topologia m etrica de Mat (C, n) discutida na Se ca o 9.1, p agina 411, pode ser introduzida naturalmente em GL(C, n), que anal e um subconjunto de Mat (C, n), ao denirmos para A, B GL(C, n) a m etrica d(A, B ) = A B , sendo a norma operatorial de Mat (C, n). Mostremos que GL(C, n) e um conjunto aberto e denso de Mat (C, n). GL(C, n) e um conjunto aberto de Mat (C, n) relevante notarmos que GL(C, n) n E ao e um subconjunto fechado e tomando o exemplo da de Mat (C, n). Isso se v

0 1/m , m N, seq seq u encia de matrizes diagonais 2 2 da forma Am = u encia essa formada por elementos de 0 1/m GL(C, 2) mas que converge para a matriz nula, que obviamente n ao e elemento de GL(C, 2). Em verdade, GL(C, n) e um conjunto aberto de Mat (C, n). Para mostrar isso temos que provar3 que se A GL(C, n) eB e uma matriz tal que B A C e sucientemente pequena, ent ao B e invers vel e, portanto, tamb em pertence a
2 Para 3 Vide

a deni ca o da no ca o de compacidade e suas propriedades, vide Se ca o 31.3, p agina 1424. a deni ca o de conjunto aberto em espa cos m etricos dada ` a p agina 1180.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1078/2069

e invers vel ent ao teremos que GL(C, n). Observemos que B = A + A1 (B A) . Se provarmos que + A1 (B A) B 1 existe, sendo dada por + A1 (B A)
1

A1 .

Escolhendo B pr oximo o suciente de A de modo que B A C < 1/ A1 C ent ao A1 (B A) ter a norma menor 1 4 que 1 e, portanto, + A (B A) tem uma inversa dada pela s erie de Neumann 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) e um conjunto aberto. E. 21.5 Exerc cio. H a uma maneira alternativa r apida de provar que GL(C, n) e um conjunto aberto. Mostre que det(A) e cont nua como fun c ao dos elementos de matriz de A. Mostre que isso implica que det(A) e cont nua na topologia induzida em Mat (C, n) pela norma operatorial (em, verdade, por qualquer norma, pois s ao todas equivalentes). Conclua que GL(C, n) e um conjunto aberto, observando para tal que se trata do conjunto de todas as matrizes complexas com determinante n ao-nulo e notando que C \ {0} e um conjunto aberto em C. GL(C, n) e denso em Mat (C, n) 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) e denso em Mat (C, n). Seja A Mat (C, n) e seja (A) = {1 , . . . , r } o conjunto de seus claro que se (A) ent autovalores distintos (r n). E ao det( A) = 0 e A tem inversa (recorde que os autovalores de A s ao os zeros do polin omio caracter stico de A). Seja agora, n , n N, uma seq u encia de n umeros complexos tais que n (A) para todo n, e tais que n 0 para n . Teremos que as matrizes An := A n s ao ca o. todas invers veis e d(A, An ) = A An = |n | = |n | 0 para n . Isso prova nossa arma

21.3.2

O Grupo de Lie GL(C, n)

Nesta se ca o mostraremos que GL(C, n) e um grupo de Lie. Para isso mostraremos primeiro que GL(C, n) e um grupo topol ogico e depois que e uma variedade anal tica, para ent ao mostrar que o produto e a invers ao s ao anal ticos. Esses resultados, al em de importantes em si, servem ao prop osito pedag ogico de ilustrar os conceitos de grupo topol ogico e de variedade. GL(C, n) e um grupo topol ogico Para provarmos que GL(C, n) e um grupo topol ogico precisamos mostrar que o produto em GL(C, n) e a invers ao de matrizes em GL(C, n) s ao opera co es cont nuas. Sejam G, G , H GL(C, n). Temos que G H GH mostrando que G H GH
C C

=
C

(G G)H

G G

0 se G G

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

Sejam agora G, H GL(C, n). Fixemos H e tomemos G H C < com > 0 escolhido pequeno o su claro que G = H + (G H ) = H ( + H 1 (G H )), de maneira que ciente de modo que H 1 C < 1. E 1 G1 = + H 1 (G H ) H 1 . Logo, G1 H 1 = Assim, como pela escolha de temos H 1 (G H ) G1 H 1 =
4 Karl 5A

+ H 1 (G H )
C

H 1 .

H 1

< 1, podemos escrever


m

(1)m H 1 (G H )
m=1

H 1 .

Neumann (1832-1925). justicativa dessa express ao foi apresentada na Se ca o 9.2. Note que a expans ao de Taylor da fun ca o anal tica m zm. torno de z = 0 e precisamente 1 + ( 1) m=1

1 1+z

para |z | < 1 em

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1079/2069

A justicativa dessa express ao6 foi apresentada na Se ca o 9.2. Tem-se, ent ao,

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 opera ca o de invers ao de matrizes. Isso completa a prova que GL(C, n) e um grupo topol ogico. E. 21.6 Exerc cio. H a uma maneira alternativa r apida de provar que a opera c ao de invers ao e cont nua: use a regra de Laplace, express ao (8.20), p agina 319, para calcular a inversa de uma matriz e evoque o fato que o determinante e cont nuo.

GL(C, n) e uma variedade anal tica Vamos agora mostrar que GL(C, n) e uma variedade anal 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 bem claro que cada C E e um subconjunto aberto de Cn . Seja tamb em U := {A(x) Mat (C, n)| x C }.

E. 21.7 Exerc cio. Mostre que cada U e um subconjunto aberto de Mat (C, n). bem claro que para toda matriz A(x) como acima tem-se det(A(x)) = 1 + p(x), onde p(x) E e um polin omio nas vari aveis xij que se anula quanto todas as xij s ao nulas. Assim, se x C v e-se que det(A(x)) = 0 caso seja pequeno o suciente, pois isso garante que |p(x)| < 1. Portanto, se escolhermos pequeno o suciente, teremos que U e um subconjunto aberto de GL(C, n), o que suporemos daqui por diante. Seja agora g uma matriz arbitr aria de GL(C, n) e seja Ug = {gA(x), com A(x) U } . Pela nota ca o que apresentamos quando discutimos grupos topol ogicos, Ug = g U , e Ug e um aberto de GL(C, n). Fora mos que isso, g Ug , pois = A(0) U . Conclu GL(C, n) =
gGL(C, n)

Ug ,

ou seja, GL(C, n) possui um recobrimento por abertos. Vamos agora mostrar que cada Ug e bijetivamente mapeado em um aberto de Cn . Isso e bem simples pois, se para cada g GL(C, n) denirmos fun co es g : U C por g ij
g g ij (gA(x)) = ij (g + gX )) := (gX )ij ,
2

i, j = 1, . . . , n ,

ou seja, g ij (gA(x)) :=

gik xkj ,
k=1

i, j = 1, . . . , n ,
2

n vemos facilmente que todo h Ug e da forma hij = gij + g formado pelas ij (gA(x)). Assim, o conjunto Cg C n e um sistema de coordenadas para Ug . vari aveis xij = k=1 gik xkj com xij C
6 Note

que a expans ao de Taylor da fun ca o anal tica

1 1+z

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

m m m=1 (1) z .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1080/2069

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 s ao expressas em termos de polin omios nas vari aveis x. Portanto, a mudan ca nas e expressa em termos de fun co es anal ticas (em verdade, polin omios). Isso provou que coordenadas de Ug para as de Ug GL(C, n) e uma variedade anal tica. GL(C, n) e grupo de Lie Para nalmente provarmos que GL(C, n) e um grupo de Lie, resta-nos provar que a multiplica ca o ` a direita e a invers ao s ao anal ticas. A primeira parte e elementar. Tomemos g, h GL(C, n). Os elementos de Uh s ao da forma hA(x) e os de gUh s ao da forma ghA(x) Ugh . Agora, as fun co es de C em C dadas por
n

C x gh ij (ghA(x)) =
k=1

(gh)ik xkj ,

i, j = 1, . . . , n ,

s ao polin omios nas vari aveis xij e, portanto, s ao anal ticas. Assim, o produto e anal tico. Para provar que a invers ao e anal tica tomemos g GL(C, n). Um elemento gen erico de Ug e da forma gA(x) = 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) e uma fun ca o anal tica dos xij , pois a s erie de Neumann7 acima converge absolutamente (claramente, temos que escolher pequeno o suciente). Agora, as fun co es C x g ij
1

(gA(x))1

= g ij

g 1 ( + gY (x)g 1 )

gY (x)g 1

ij

s ao fun co es anal ticas dos xij , provando que a aplica ca o de invers ao e anal tica. Isso estabelece nalmente que GL(C, n) e um grupo de Lie de dimens a o n2 . E. 21.8 Exerc cio. H a uma maneira alternativa r apida de provar que a opera c ao de invers ao e anal tica: use a regra de Laplace, express ao (8.20), p agina 319, para calcular a inversa de uma matriz e evoque o fato que o determinante e anal tico.

21.3.3

Subgrupos Uniparam etricos e seus Geradores

Subgrupos uniparam etricos s ao muito importantes na teoria dos grupos de Lie. Vamos apresent a-los no caso de matrizes. Deni c ao. Um subgrupo uniparam etrico de GL(C, n) e um homomorsmo cont nuo8 do grupo (R, +) em GL(C, n). Em outras palavras, e uma fun ca o que a cada t real associa continuamente uma matriz invers vel (t) de modo que (t) (t ) = (t + t ) para todos t, t R. Note que de (21.2) segue automaticamente que (0) = (por que?). A import ancia dos subgrupos uniparam etricos reside na seguinte proposi ca o, a qual tamb em come ca a revelar a relev ancia das exponenciais de matrizes na teoria dos grupos de Lie. Proposi c ao 21.5 Seja : R GL(C, n) um subgrupo uniparam etrico. Ent ao existe uma matriz M Mat (C, n), univocamente denida, tal que (t) = exp(tM ) para todo t R. Esse fato, em particular, mostra que e real-anal tica (e, portanto, diferenci avel) e que M = (0). A matriz M e dita ser o gerador do subgrupo uniparam etrico .
7 Karl 8 Vide

(21.2)

Neumann (1832-1925). nota ` a p agina 1083.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1081/2069

Prova.9 Se supus essemos que e uma matriz diferenci avel pr oximo a t = 0, ter amos que para qualquer t (t) = lim 1 1 ( (t + s) (t)) = (t) lim ( (s) (0)) s 0 s s = (t) (0) .

s0

Denindo M := (0), concluir amos que satisfaz a equa ca o diferencial (t) = (t)M , cuja solu ca o e u nica (vide Cap tulo 12) e dada por (t) = exp(tM ), como quer amos provar. A demonstra ca o estaria completa, n ao fosse o fato de que no enunciado supomos apenas que e cont nua, o que em no entanto, poss geral n ao implica que seja tamb em diferenci avel em t = 0. E, vel provar que se e cont nua, ent ao pelo fato de ser um homomorsmo de (R, +) segue que e tamb em diferenci avel pr oximo a t = 0! A id eia e construir a partir de uma fun ca o innitamente diferenci avel e posteriormente mostrar que pode ser recuperada de por opera co es diferenci aveis. Para tal seja uma fun ca o real, positiva innitamente diferenci avel, com suporte compacto contendo t = 0 e tal que

(s)ds = 1 .

que tem suporte [a, b] 0. Uma escolha conveniente da constante K garante que

Um exemplo de uma tal fun ca o seria (para a < 0 < b) 1 K exp (sa)2 (sb)2 , (s) = 0,

para s (a, b) de outra forma,


(s)ds = 1.

Assim, seja uma tal fun ca o desse tipo e com suporte em, digamos, [a, a] para algum a > 0, e seja (t) :=

(t s) (s)ds .

f E acil (Exerc cio!) ver que assim denida e innitamente diferenci avel. Fora isso,

(t) =

(t s) (s)ds =

(u) (t u)du =

(u) (t) (u)du = (t)

(u) (u)du = (t)Y ,

com Y :=

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


(u)( (u) )du ,

pois

(u)du = 1, por hip otese. Logo,


C

(u) (u)

a C du

=
a

(u) (u)

a C du

c
a

(u) du = c

(u) du = c ,

e cont nua e (0) = , podemos fazer c arbitrariamente pequena, escolhendo onde c := supu[a, a] (u) C. Como a pequeno. Mas isso diz que Y = ( Y ) e invers vel, com Y 1 dado pela s erie convergente m=0 ( Y )m . Assim, com a pequeno teremos (t) = (t)Y 1 , o que prova que (t) e innitamente diferenci avel. Deni c ao. O que essa proposi ca o provou e que todo subgrupo uniparam etrico de GL(C, n) e da forma exp(tM ) para alguma matriz M Mat (C, n). Essa matriz M e dita ser o gerador do subgrupo uniparam etrico em quest ao. Comentemos brevemente que a Proposi ca o 21.5, que acabamos de provar, tem generaliza co es importantes na teoria dos espa cos de Hilbert e de Banach, onde e conhecida como Teorema de Stone10 . Vide, por exemplo, [195].
9 Extra da de [105]. A observa ca o de que no enunciado da Proposi ca o 21.5 e suciente supor-se que o subgrupo uniparam etrico e apenas cont nuo (dispensando uma condi ca o de diferenciabilidade) e devida a von Neumann (John von Neumann (19031957)). 10 Marshall Harvey Stone (1903-1989).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1082/2069

A cole c ao de todos os geradores de subgrupos uniparam etricos 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} . claro, pela Em palavras, L(G) e a cole ca o de todos os geradores de todos os subgrupos uniparam etricos de G. E deni ca o, que L(G) cont em sempre pelo menos a matriz nula (pois exp(t0) = G, t R), mas n ao e nem um pouco evidente que esse n ao seja o u nico elemento de L(G). Por exemplo, se G for um grupo discreto ent ao L(G) = {0}. Mesmo no caso de G ser um grupo cont nuo n ao e nada obvio que G possua subgrupos uniparam etricos n ao-triviais. Logo abaixo estudaremos essa quest ao no caso do grupo GL(C, n) e, um pouco mais adiante, no caso de subgrupos fechados (n ao-discretos) de GL(C, n). Em tais casos veremos que L(G) n ao consiste apenas da matriz nula. Chamamos a aten ca o do estudante para o fato que, para um grupo G gen erico, n ao e necessariamente verdade que 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 n ao pertencem a nenhum subgrupo uniparam etrico de G. Na Proposi ca o 9.10, p agina 422, vimos que isso ocorre no grupo real GL(R, n), pois esse grupo n ao e conexo, mas esse fen omeno pode ocorrer mesmo em grupos conexos. Um exemplo ser a discutido na p agina 1096, adiante. * A cole ca o de todos os geradores de todos os subgrupos uniparam etricos de um dado grupo G e um objeto muito importante, especialmente na teoria dos grupos de Lie. Discutiremos esse fato adiante. No caso do grupo GL(C, n) podemos facilmente identicar o que e L GL(C, n) . Faremos isso agora. Subgrupos uniparam etricos de GL(C, n) e a algebra de Lie associada a GL(C, n) A cole ca o de todos os geradores de todos os subgrupos uniparam etricos do grupo GL(C, n) ser a denotada aqui por L GL(C, n) ou por gl(C, n). Vamos identicar esse conjunto. Na Proposi ca o 9.11, p agina 422, demonstramos que todo elemento A GL(C, n) pode ser escrito na forma A = exp(B ) para algum B Mat (C, n). Conseq uentemente, A pertence ao subgrupo uniparam etrico composto pelas matrizes da forma exp(tB ), t R. Assim, GL(C, n) possui subgrupos uniparam etricos n ao-triviais. Reciprocamente, para todo B Mat (C, n) o conjunto de matrizes da forma exp(tB ), t R, forma um subgrupo uniparam etrico de GL(C, n). Conclu mos disso que L GL(C, n) = Mat (C, n). J a discutimos por diversas vezes (vide p agina 95 e seguintes) que o conjunto Mat (C, n) e uma algebra de Lie com rela ca o ao produto denido pelo comutador de matrizes. Um pouco mais adiante, veremos que esse fato e geral: o conjunto de todos os geradores de um subgrupo fechado (n ao-discreto) de um grupo de Lie e tamb em uma algebra de Lie. Esse fato e de import ancia central na teoria dos grupos de Lie.
ab E. 21.9 Exerc cio. 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 ,

Aqui E ab e a matriz cujos elementos ij s ao dados por E ab ij = i a j b , ou seja, E ab e a matriz cujos elementos de matriz ab s ao todos nulos, exceto o elemento ab, que vale 1. Mostre que as matrizes s ao subgrupos uniparam etricos de GL(C, n), ab ab ab ab ou seja, que (t) s ao cont nuas e que (t) (t ) = (t + t ) para todo a, b e todo . (Sugest ao: mostre que 2 E ab = ab E ab e use esse fato). Mostre que seus geradores s ao as matrizes E ab . Constate tamb em explicitamente que ab (t) = exp tE ab .
ab Note que a cole ca o formada por todas combina co es lineares reais dos geradores dos subgrupos uniparam etricos de GL(C, n) coincide com Mat (C, n) (por que?).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1083/2069

ao as rela co es de comuta c ao das matrizes E ab ? E. 21.10 Exerc cio. Como s Homomorsmos n ao-cont nuos de (R, +) Contemplando a deni ca o de subgrupo uniparam etrico que apresentamos acima, como sendo um homomorsmo cont nuo de (R, +) em um grupo G, o estudante pode legitimamente questionar se existem, anal, homomorsmos n aocont nuos desse grupo que justiquem a necessidade de evocar a condi ca o de continuidade na Proposi ca o 21.5. Talvez um tanto surpreendentemente, a resposta e positiva. H a at e mesmo automorsmos n ao-cont nuos de (R, +) em si mesmo, os quais foram apresentados ` a p agina 135, onde discutimos a exist encia de fun co es descont 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 fun ca o f , e relativamente f acil construir um homomorsmo n ao-cont nuo de (R, +) em um grupo G dado, caso conhe camos um homomorsmo cont nuo de (R, +) em G. De fato, se (t), t R, e um homomorsmo cont nuo de (R, +) em G ent ao (f (t)), t R, e um homomorsmo de (R, +) em G, mas que n ao e cont nuo. Dada a articialidade daquelas fun co es f , tais exemplos s ao um tanto patol ogicos, mas explicam a necessidade de incluir a condi ca o de continuidade na deni ca o de subgrupo uniparam etrico e na Proposi ca o 21.5, p agina 1080.

21.3.4

Subgrupos Uniparam etricos e Algebras de Lie

Subgrupos uniparam etricos em subgrupos fechados Deni c ao. Seja H um subgrupo fechado mas n ao discreto de GL(C, n). Denimos, L(H ) := X Mat (C, n) tais que etX H para todo t R .

claro, pela deni Como se v e, trata-se do conjunto dos geradores de todos os subgrupos uniparam etricos de H . E ca o t0 acima, que L(H ) possui pelo menos um elemento, a saber a matriz nula, pois, obviamente e = H para todo t R. N ao e nem um pouco obvio, por em, que haja outros elementos em L(H ) que n ao o elemento nulo. N ao e sequer obvio que existam subgrupos uniparam etricos n ao-triviais11 em H . Na Proposi ca o 21.6 adiante, provaremos que L(H ), de fato, e n ao-trivial e que h a, de fato, subgrupos uniparam etricos n ao-triviais em H . Para demonstrarmos a Proposi ca o 21.6 precisamos de algumas deni co es e de alguns resultados preparat orios. Seguiremos muito proximamente a exposi ca o de [183] (vide todo o 2 do Cap tulo XI daquela refer encia), mas com ligeiras corre co es e aperfei coamentos. Para simplicar a nota ca o denotaremos aqui o grupo GL(C, n) por G e sua algebra de Lie Mat (C, n) por g. Fixemos doravante um n umero r > 0, arbitr ario mas conveniente, e seja wr a bola fechada de raio r centrada na origem em g: X r . (21.3) wr := X g Notemos que wr e sim etrica, ou seja, se X wr ent ao X wr . Denotaremos por wO r a bola aberta de raio r centrada na origem em g: X g X <r . (21.4) wO r := Vamos denotar por Wr a imagem de wr pela exponencia ca o: Wr := exp(X ), X wr . (21.5)

claro que Wr G e E e claro que Wr e sim etrico, ou seja, se Y Wr ent ao Y 1 Wr . Como H e um subconjunto fechado de G, o conjunto H Wr e fechado. Seja fr o subconjunto de wr formado pelos elementos cuja exponencial est a em H Wr : fr :=
11 Um

X wr exp(X ) H Wr

(21.6)

subgrupo uniparam etrico (t) e trivial se (t) for igual ao elemento neutro para todo t R.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1084/2069

Comentemos que, pela Proposi ca o 9.11, p agina 422, todo elemento de H e uma exponencial de algum elemento de g = Mat (C, n). Portanto, todo h H Wr e da forma h = exp(f ) para algum f fr . Simbolicamente, podemos escrever exp(fr ) = H Wr . (21.7) bastante claro que fr E e tamb em sim etrico. Como exp e cont nua, fr e tamb em fechado (vide Se ca o 29.5.2, p agina 1338). Fora isso, fr wr , por deni ca o. Logo, fr e limitado. Por ser fechado e limitado, fr e compacto. Denamos M(H, Wr ) Mr por Mr := X g tais que, para algum > 0, tem-se exp(tX ) H Wr sempre que |t| < . (21.8)

Alternativamente, e claro que Mr = X g tais que, para algum > 0, tem-se tX fr sempre que |t| < .

Note-se que Mr cont em sempre ao menos um elemento, a saber, 0. N ao e nada obvio, por em, se esse e o u nico elemento de Mr . No Corol ario 21.1, adiante, provaremos que tal n ao e o caso, ou seja, Mr n ao e trivial. Antes disso precisamos de dois lemas preparat orios. Lema 21.1 Com as deni c oes acima, valem as seguintes arma c oes. I. Se X Mr ent ao X Mr para todo R. II. wr Mr fr . Prova do Lema 21.1. Se X Mr ent ao, para algum > 0 tem-se tX fr sempre que |t| < . Mas, ent ao, se = 0, vale t(X ) fr sempre que |t| < /||. Isso prova a armativa I. Seja agora X wr Mr . Queremos provar que X fr . Como X Mr ent ao, para algum > 0 tem-se exp(tX ) 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 e um grupo, tem-se que (exp(n1 X ))n H . Mas o lado esquerdo e exp(X ) e, portanto, conclu mos que exp(X ) H . Agora, por hip otese, X wr , o que implica, pela deni ca o de Wr , que 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 21.1. Podemos agora demonstrar o seguinte lema, de import ancia central no presente contexto e, talvez, o resultado preparat orio tecnicamente mais dif cil. Lema 21.2 Seja Xn , n N, uma seq u encia de elementos de fr tais que Xn = 0. Suponhamos que Xn 0 para n e que Xn / Xn Y para algum Y Mat (C, n). Ent ao12 Y Mr . ao Y = 0. Em verdade, Prova do Lema 21.2. Notemos antes de mais nada que se Yn := Xn / Xn Y Mat (C, n) ent Y = 1 pois, fazendo uso da desigualdade (3.24), p agina 198, temos | Yn Y | Yn Y . Como o lado direito vai a zero quando n , segue que Y = 1, pois Yn = 1. Fixemos tamb em um n umero m N n ao-nulo. Podemos escrever wr como a uni ao
m

wr =
k=1

sk ,

onde sk sr k := X wr

k k1 r X r m m

,
k 1 m r

ou seja, podemos escrever wr como uma uni ao de fatias, ou cascas esf ericas, de vetores com normas entre Note-se que s1 e a bola fechada de raio r/m centrada em 0: s1 =
12 Ap os

k m r.

X wr

r m

a demonstra ca o do Lema 21.2, discutiremos ` a p agina 1085 que de fato existem seq u encias satisfazendo essas hip oteses.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1085/2069

Como Xn converge a 0, existe um n umero Nm (que pode depender de m) tal que Xn s1 para todo n > Nm . Seja agora um k0 N xo, escolhido de modo que 1 < k0 m. Vamos mostrar que para cada n > Nm podemos encontrar um n umero inteiro jn (eventualmente dependente de n) de modo que jn Xn sk0 , ou seja, tal que (k0 1)r m jn Xn k0 r . m

Para isso, e suciente escolhermos um jn inteiro satisfazendo k0 r (k0 1)r |jn | . m Xn m Xn Haver a inteiros no intervalo entre
(k0 1)r m Xn

k0 r m Xn

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

(k0 1)r r k0 r = m Xn m Xn m Xn

r , dado que Xn s1 . Ent ao, uma tal escolha de jn e sempre poss vel para cada n (pois todo intervalo pois Xn m fechado de comprimento igual ou maior que 1 cont em ao menos um inteiro).

Vamos denominar jn Xn por Yn Fora isso, exp Yn


(k0 )

(k0 )

(k ) (k0 ) evidente que Yn (com k0 xo). E 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 tamb em tem-se exp Yn provamos que exp Yn


(k0 )

H ( e por essa raz ao que escolhemos jn inteiro). Com isso,


(k0 )

H Wr , o que signica que13 Yn

fr .
(k )

O conjunto fr e fechado e limitado e, portanto, compacto. Isso signica que existe uma sub-seq u encia Ynl 0 , l N, (k0 ) que e convergente em fr . Agora, como Yn = Xn / Xn converge a Y , isso signica que Ynl converge a um m ultiplo de (k ) (k ) e um m ultiplo de Ynl , a saber, Ynl 0 = jnl Xnl Ynl . Portanto, para um tal (k0 ) temos Y , digamos (k0 ) Y , pois Ynl 0 (k0 ) Y fr . Note que tamb em tem-se (k0 ) Y fr , bastando para tal trocar Xn por Xn na argumenta ca o acima, o que e permitido pois fr e sim etrico. Assim, (k0 ) = lim jnl Xnl e, conseq uentemente,
l

k0 r (k0 1)r (k0 ) . m m O que provamos acima vale para cada k0 N com 1 < k0 m. Resumindo nossas conclus oes, provamos que para 1) (k0 ) 0 todo m N, cada intervalo Ik0 , m := (k0m r, k r com 1 < k m cont e m pelo menos um tal que (k0 ) Y fr . 0 m
m

A uni ao
k0 =2

Ik0 , m e o conjunto

1 m r,

r . Esses intervalos Ik0 , m podem ser feitos mais nos e em maior n umero,

fazendo m , sendo que


m N

1 r, r = (0, r]. m

Conclu mos disso que existe um conjunto cont avel denso de n umeros no intervalo (0, r] tais que Y fr . Como fr e fechado, isso implica que Y fr para todo [r, r]. Agora, isso signica precisamente que Y Mr , que e o que quer amos provar. A prova do Lema 21.2 est a completa. Podemos nos perguntar agora, ser a que existem seq u encias Xn satisfazendo as hip oteses do Lema 21.2, ou seja, tais f u encia Xn fr que Xn / Xn convirja para algum Y ? E acil ver que sim. Notemos para isso que para qualquer seq com Xn 0 a seq u encia Yn = Xn / Xn est a contida no conjunto compacto formado pelos vetores de norma 1. Assim, Yn sempre tem uma sub-seq u encia convergente a algum Y , que tamb em tem norma 1. A essa sub-seq u encia aplica-se ent ao o Lema 21.2 e tem-se Y Mr . Isso, em particular, mostra-nos que Mr e n ao-trivial, ou seja, cont em elementos n ao-nulos. Provamos ent ao:
13 Em

[183] o argumento que prova que Yn

(k 0 )

fr n ao est a correto, lamentavelmente.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1086/2069

Corol ario 21.1 O conjunto Mr denido acima cont em elementos diferentes de 0. Esse simples corol ario e crucial para o que segue14 , pois tem a seguinte conseq u encia. Proposi c ao 21.6 Seja H um subgrupo fechado e n ao-discreto de GL(C, n)). Ent ao valem as seguintes armativas. I. Mr = L(H ) para qualquer r > 0. II. L(H ) e n ao-trivial, ou seja, n ao consiste apenas da matriz nula. H a, portanto, subgrupos uniparam etricos n ao-triviais em H .

Prova. Seja o conjunto Mr M(H, Wr ) denido em (21.8), com Wr denido em (21.3)-(21.5) para algum r > 0. Provaremos que M(H, Wr ) = L(H ). Em primeiro lugar, e claro (por deni ca o!) que se X L(H ) teremos exp(tX ) H , t R. Se X = 0 ent ao X M(H, Wr ) trivialmente. Se X = 0 ent ao, se escolhermos |t| < r/ X , teremos que tX wr . Logo, X M(H, Wr ). Isso mostra que L(H ) M(H, Wr ). Seja X M(H, Wr ) com X = 0. Pelo Corol ario 21.1, um tal X existe. Assim, existe um > 0 tal que exp(t X ) H 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 e um grupo, exp(tX ) = (exp((t/n)X )) H . Como isso vale para qualquer t R provamos que X L(H ). Com isso provamos que M(H, Wr ) L(H ) e, portanto, M(H, Wr ) = L(H ). Assim, pelo Corol ario 21.1, L(H ) e n ao-trivial. Conseq uentemente existem em H subgrupos uniparam etricos n ao-triviais, a saber aqueles que t em como geradores os elementos n ao-nulos de M(H, Wr ).

* Chegamos agora ao ponto em que boa parte do que zemos ser a unicado e revelaremos a import ancia de subgrupos uniparam etricos para os grupos de Lie matriciais. Subgrupos uniparam etricos e algebras de Lie Seja H um subgrupo fechado e n ao-discreto de GL(C, n). O seguinte teorema, o qual e uma conseq u encia das f ormulas de Lie-Trotter e do comutador (f ormulas (9.32) e 9.33 da Proposi ca o 9.12, p agina 424. Vide Cap tulo 9), e de import ancia fundamental: Teorema 21.1 Se H e um subgrupo fechado e n ao-discreto de GL(C, n) ent ao L(H ), denida acima, e uma algebra de Lie real15 .

Prova. Vamos primeiramente mostrar que L(H ) e um espa co vetorial real. Para tal, precisamos mostrar que se X e Y s ao geradores de dois subgrupos uniparam etricos de H , ent ao X + Y tamb em o e, para quaisquer , R. Comecemos observando que (t) := exp(t(X + Y )) e um subgrupo uniparam etrico cont nuo de GL(C, n) cujo gerador e obviamente X + Y . Tudo o que precisamos fazer e mostrar que (t) H para todo t R. Pela f ormula de Lie-Trotter (f ormula (9.32) da Proposi ca o 9.12, p agina 424), exp t(X + Y ) = lim exp t X exp m e exp t Y m
m

(21.9)

Observemos ent ao o seguinte. Pela hip otese, as matrizes exp

t mX

t mY

pertencem ao grupo H , pois supomos


t mX

que X e Y s ao geradores de subgrupos uniparam etricos de H . Portanto os produtos exp

exp

t mY

s ao tamb em

14 Infelizmente, alguns textos como [218], [248] e mesmo (surpreendentemente) [193], n ao provam que Mr e n ao-trivial, o que torna suas demonstra co es do Teorema 21.2 incompletas. Mesmo [183], que prova os Lemas 21.1 e 21.2, n ao menciona o Corol ario 21.1, embora o mesmo que impl cito pela sua an alise. A refer encia [105], que segue outra e muito interessante linha de racioc nio, e expl cita quanto ao Corol ario 21.1. 15 Algebras de Lie foram denidas ` a p agina 95.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1087/2069

elementos de H , pois H e um grupo. Ora, o lado direito de (21.9) e, portanto, o limite de uma seq u encia de elementos e igualmente um elemento de H , como quer amos mostrar. de H . Como supomos que H e fechado, segue que o limite Isso provou ent ao que X + Y L(H ) para quaisquer , R e, portanto, L(H ) e um espa co vetorial real. Vamos mostrar agora que L(H ) e uma algebra de Lie. Se X, Y L(H ) temos, pela f ormula do comutador (f ormula 9.33 da Proposi ca o 9.12, p agina 424), e usando [tX, Y ] = t[X, Y ], que exp t[X, Y ] = lim exp t X exp m 1 Y m t 1 exp X exp Y m m
m2

(21.10)

Racioc nio id entico ao que empregamos acima conclui que exp(t[X, Y ]) H para todo t R, mostrando que [X, Y ] eo gerador de um subgrupo uniparam etrico cont nuo de H , ou seja, [X, Y ] L(H ). Isso provou que L(H ) e uma algebra de Lie. Coment ario. Se para todo X L(H ) tivermos tamb em X L(H ) para todo C, conclui-se pela demonstra ca o acima que L(H ) e uma algebra de Lie complexa.

21.3.5

Subgrupos Fechados de GL(C, n)

Nesta Se ca o provaremos o seguinte teorema: Teorema 21.2 Se H e um subgrupo topologicamente fechado de GL(C, n) (na topologia m etrica induzida de GL(C, n)), ent ao H e tamb em um grupo de Lie (na topologia m etrica induzida de GL(C, n)).

Observamos que o enunciado desse teorema e v alido mesmo no caso de H ser um subgrupo discreto, pois nesse caso H e um grupo de Lie enquanto variedade de dimens ao zero. No correr da demonstra ca o, adiante, suporemos H n ao discreto, eliminando esse caso trivial. O Teorema 21.2 e particularmente importante pois muitos grupos encontrados em aplica co es s ao subgrupos fechados de GL(C, n) ou de GL(R, n). Tal e o caso, por exemplo, dos grupos U(n), U(p, q ), SU(n), SU(p, q ), O(n), SO(n) e outros. Assim, o Teorema 21.2 informa-nos que tais grupos s ao grupos de Lie. A prova desse teorema ser a oferecida ` a p agina 1089. Antes de chegarmos l a precisaremos apresentar v arios teoremas preparat orios. Chamamos a aten ca o do leitor para o fato que as demonstra co es de alguns desses resultados preparat orios s ao bastante t ecnicas e talvez devam ser omitidas em uma primeira leitura. Seja H um subgrupo fechado n ao-discreto de G = GL(C, n). Sabemos pelo Teorema 21.1 que L(H ) e um subespa co de L(G) = Mat (C, n). Seja L(H ) seu complemento ortogonal (em rela ca o a algum produto escalar em Mat (C, n), por exemplo A, B = Tr A B ). Todo elemento A Mat (C, n) pode ser escrito de modo u nico na forma A = A + A , com A L(H ) e A L(H ) . Seja assim a fun ca o H : L(G) G denida por H (A) := exp A exp A .

Lema 21.3 Para H , subgrupo fechado e conexo de GL(C, n), existe r0 > 0 tal que a aplica c ao H denida acima e um O ) W em um aberto ( w homeomorsmo do aberto wO para um certo r > 0 . H r0 r0 r0 0 e a bola aberta de raio r0 em torno da matriz nula. Vide (21.4). Acima, wO r0 Prova. Escolhamos r0 pequeno o suciente para que valha a f ormula de Baker-Campbell-Hausdor16. Considere-se a aplica ca o H : L(G) L(G) denida por H (A) = ln (H (A)), ou seja, H (A) := ln exp A
16 Vide

exp A

= A A = A + H (A) ,

Cap tulo 9, p agina 410. A f ormula de Baker-Campbell-Hausdor e dada em (9.59) ` a p agina 437.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1088/2069

(lembre-se que A + A = A) onde H (A) := 1 1 A , A + 2 12 A , A , A + A , A , A + .

(A) Como facilmente se constata, HA 0 para A 0. Assim, H e cont nua e diferenci avel em uma vizinhan ca de 0 e sua derivada em 0 e a identidade. Assim, pelo bem conhecido Teorema da Aplica ca o Inversa (vide, Se ca o 25.5, p agina e sua imagem. Como = exp e a exponencial 1244, ou por exemplo, [160]), H e um homeomorsmo entre wO H H r0 e tamb em um homeomorsmo local (Proposi ca o 9.4, p agina 417), a prova do Lema 21.3 est a completa.

Seja H um subgrupo fechado de GL(C, n). Vimos acima que L(H ) Mat (C, n) e uma algebra de Lie real e, como evidente que se A L(H ) ent tal, um subespa co de Mat (C, n). E ao exp(A) H . Vamos denotar por H o subgrupo de H cujos elementos s ao produtos nitos de exponenciais de elementos de L(H ): H := {h H, h = exp(A1 ) exp(Am ) para algum m N} . H e de fato um grupo, pois 1. H , 2. se h = exp(A1 ) exp(Am ) H ent ao h1 = exp(Am ) exp(A1 ) H e
3. se h = exp(A1 ) exp(Am ) e h = exp(A ao tem-se, evidentemente, 1 ) exp(Am ) H ent hh = exp(A1 ) exp(Am ) exp(A 1 ) exp(Am ) H.

O grupo H e denominado subgrupo gerado por L(H ). Vamos provar o seguinte teorema: Teorema 21.3 Se H e fechado e conexo ent ao H = H . Prova. J a e evidente, pela deni ca o, que H H , de modo que queremos apenas provar que H H . Seja r > 0, xo. ao, pela deni ca o de fr em O que faremos e provar que fr L(H ) wr para algum r > 0. Se isso for verdadeiro, ent (21.6) e por (21.7), os elementos de H Wr s ao da forma exp(A) com A L(H ) wr . Agora, pelo fato de H ser conexo, sabemos pela Proposi ca o 21.3, que todo elemento de H pode ser escrito como um produto nito de elementos do interior de H Wr . Logo, todo elemento de H pode ser escrito como um produto nito exp(A1 ) exp(Am ), para algum m N, com Ak L(H ) wr . Ora, isso est a precisamente dizendo que H H , que e o que quer amos provar. ca o ser a feita por absurdo, ou seja, Vamos ent ao mostrar que fr L(H ) wr para algum r > 0. A demonstra supondo que n ao existam r e r > 0 tais que fr L(H ) wr e chegando-se da a uma contradi ca o. muito f em disso, E acil ver pela deni ca o dos conjuntos fr em (21.6) que fr1 fr2 sempre que r1 r2 . Al
r>0

fr = {0}.

Para um r arbitr ario, xo, vamos ent ao supor que n ao haja nenhum fr com fr L(H ) wr . Isso implica que amos escolher uma seq u encia rn < r, rn 0 com frn \ (L(H ) wr ) = fr \ (L(H ) wr ) = para todo r. Fixando r, poder . 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 .
para todo n grande o suciente, onde r Como Xn 0, teremos exp(Xn ) Wr0 e referido no enunciado do Lema 0 , tal que 21.3. Assim, pelo mesmo lema, existir a para cada um de tais ns um elemento Zn wr0 , Zn = Zn + Zn . exp (Xn ) = H (Zn ) = exp Zn exp Zn . Como Xn 0, deve valer tamb em Z n 0 Antes de prosseguirmos, fa camos algumas observa co es sobre Zn e Zn j a que, pelo Lema 21.3, H e sua inversa s ao cont nuas. Assim, tem-se igualmente Zn 0 e Zn 0. Pela parte II do Lema 21.1 e pela parte I da Proposi ca o 21.6, segue que wr L(H ) fr . Da , para n grande o suciente, ter-se- a em que, como Xn L(H ) para n grande, teremos Zn = 0, pois, se assim n ao fosse, valeria Zn fr . Note-se tamb exp (Xn ) = exp Zn e, tomando-se o logaritmo (o que e permitido para n grande, j a que Xn e Zn est ao ambos

pr oximos a zero), obter amos Xn = Zn L(H ), o que e imposs vel.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1089/2069

= exp Zn exp (Xn ). Sucede que exp (Xn ) Como conseq u encia das observa co es acima, teremos que exp Zn H Wr0 . Portanto, H Wr e exp Zn H Wr . Assim exp Zn H e, Zn Zn < r0 . Logo, exp Zn Zn fr0 .

u encia de vetores Como conseq u encia do Lema 21.2, da parte I da Proposi ca o 21.6 e da compacidade de fr0 , a seq em, como de norma 1 dada por Zn / Zn tem uma sub-seq u encia que converge a um elemento de Mr0 = L(H ). Por Zn L(H ) , isso e imposs vel e tem-se a uma contradi ca o. Logo, deve valer fr L(H ) wr para certos r, r > 0. Isso completa a prova do Teorema 21.3. Podemos agora reunir os resultados que provamos acima e passar ` a Prova do Teorema 21.2. Seja H um subgrupo fechado de GL(C, n). Como veremos, e suciente provarmos o teorema considerando apenas a componente de H que e conexa ao elemento neutro, componente essa que denominaremos H0 . Isso pois se provarmos que H0 e uma variedade, a demonstra ca o facilmente se estender a para todo H . Esse ponto ser a discutido com mais detalhe ao nal da demonstra ca o, de modo que, por ora, nos limitamos a considerar o caso em que H e conexo (o que, no caso geral, equivale a nos restringirmos a H0 ). Pelo Teorema 21.3, basta provarmos que H e um grupo de Lie. Pelo Teorema 9.4, podemos encontrar uma vizinhan ca aberta de V de 0 em Mat (C, n) e uma vizinhan ca aberta W de em GL(C, n) tais que exp : V W e um difeomorsmo. Seja VH a vizinhan ca de 0 em L(H ) denida por VH = V L(H ) e seja WH sua imagem em H pela exponencial. A aplica ca o exp : VH WH e tamb em um difeomorsmo, pois e a restri ca o de um difeomorsmo (a saber exp : V W ) por uma fun ca o suave (a proje ca o V VH ). Existe naturalmente um sistema de coordenadas em VH , pois L(H ) e um espa co vetorial e, portanto, isomorfo a Ck , k sendo a dimens ao de L(H ). Dessa forma como exp : VH WH e uma bije ca o, exp1 : WH VH estabelece um sistema de coordenadas em WH . Para estabelecer um sistema de coordenadas em todo H , por exemplo, em torno de um elemento h H , podemos transladar o sistema de coordenadas de WH para uma vizinhan ca de h, a saber, hWH . As cartas locais assim obtidas ser ao compat veis (innitamente diferenci aveis ou anal ticas) devido ao fato de exp : VH WH ser um difeomorsmo e pelo fato de a multiplica ca o por um h constante n ao alterar esse car ater. O argumento de transla ca o pode ser aplicado mesmo a elementos de H que n ao est ao na componente conexa ` a identidade, de modo que todo H se torna uma variedade de dimens ao k . O produto e a inversa s ao cont nuas e innitamente diferenci aveis por o serem em GL(C, n) e tamb em devido ao fato de exp : VH WH ser um difeomorsmo. A demonstra ca o do Teorema 21.2 est a ent ao completa Coment ario. Segundo [183], o Teorema 21.2 e devido a Cartan17 . Demonstra co es desse importante teorema podem ser encontradas em v arios livros-texto, como por exemplo [183] ou [193]. Devemos, por em, notar ao leitor e advertir o estudante que alguns textos (inclusive alguns cl assicos) apresentam certas falhas na sua demonstra ca o, falhas essas que procuramos corrigir e evitar nas demonstra co es acima. V arios textos apresentam demonstra co es incompletas (por exemplo, [218], [248] e mesmo parcialmente [193]), pois deixam por exemplo, de provar que o conjunto Mr , denido acima, n ao e apenas formado pelo elemento nulo, um ponto crucial. A demonstra ca o que apresentamos e essencialmente (mas n ao exatamente) a de [183] (vide todo 2 do Cap tulo XI daquela refer encia). Um outro tratamento excelente (mas talvez n ao-acess vel a todo estudante) e o de [105]. Um ponto importante do Teorema 21.2 e que o subgrupo fechado H e um grupo de Lie com a topologia induzida em H por G. Em verdade, vale para grupos de Lie um teorema mais ainda forte que o Teorema 21.2: Teorema 21.4 Todo subgrupo H de um grupo de Lie G e tamb em um grupo de Lie, mas n ao necessariamente em rela c ao ` topologia induzida por G em H . a

Como se v e, esse teorema generaliza o Teorema 21.2 pois n ao e necess ario requerer que H seja um subgrupo fechado de G. Por em, a topologia na qual H e um grupo de Lie pode n ao ser a topologia induzida em H por G. Um exemplo ilustrativo ser a discutido na Se ca o 21.4.3. A demonstra ca o do Teorema 21.4 est a al em dos limites dessas notas e pode ser encontrada em textos como [193] ou [105]. *
17 Elie

Joseph Cartan (1869-1951). E. J. Cartan foi um dos mais importantes contribuidores ` a teoria de grupos de Lie.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1090/2069

O Teorema 21.1, p agina 1086, revela um sentido da rela ca o fundamental entre grupos de Lie e algebras de Lie. Ele mostra que e poss vel construir uma algebra de Lie a partir de um grupo de Lie fechado. A teoria geral dos grupos de Lie revela que muitas propriedades importantes de grupos de Lie podem ser estudadas a partir das algebras de Lie associadas a seus subgrupos uniparam etricos. Essa rela ca o se mostra particularmente relevante no estudo de representa co es de grupos poss de Lie. E vel provar (e faremos isso no exemplo do grupo SO(3) no Cap tulo 22) que existe uma correspond encia um-a-um entre as representa co es de um grupo de Lie e as representa co es de sua algebra de Lie. Sucede que (devido a estrutura linear) ` e muito mais simples estudar as representa co es de uma algebra de Lie do que de um grupo de Lie. Infelizmente ainda est a fora do modesto alcance destas notas explorar completamente esse vasto terreno e remetemos o estudante aos bons livros supra-citados sobre grupos e algebras de Lie. Iremos no que segue deste cap tulo limitar-nos a discutir algumas quest oes as quais s ao importantes para um estudo mais abrangente. Particularmente nos deteremos na quest ao de identicar algumas situa co es nas quais podemos prosseguir no caminho inverso ao que apontamos acima, ou seja, na quest ao de quando um grupo de Lie pode ser recuperado a partir da algebra de Lie dos seus geradores por aplica ca o da exponencia ca o.

21.4

A Rela c ao entre Grupos de Lie Matriciais e suas Algebras de Lie

Vimos nas se co es anteriores que se H e um subgrupo n ao-discreto fechado de GL(C, n) existe associada ao mesmo uma algebra de Lie a qual e (obviamente) uma sub- algebra de da algebra de Lie de GL(C, n) que e Mat (C, n). Ser a a rec proca verdadeira, ou seja, se A e uma sub- algebra de Lie de Mat (C, n) haver a um grupo de Lie fechado associado a A? A reposta, em geral, e n ao. Um contra-exemplo (para n = 2) e umero real irracional e o seguinte: Seja a um n it 0 com t R. Exponenciando os elementos dessa seja a algebra de Lie formada pelas matrizes 2 2 dadas por 0 iat eit algebra de Lie obtemos as matrizes 0 eiat

Sucede, por em, que n ao se trata de um subgrupo topologicamente fechado de GL(C, 2), como veremos com um pouco mais de detalhe na Se ca o 21.4.3 (a qual o leitor poder a passar sem perdas). Felizmente e poss vel dizer um pouco mais se enfraquecermos a condi ca o de H ser um subgrupo fechado. Tem-se, por exemplo, o seguinte:

0 com t R. Esse conjunto de matrizes forma certamente um grupo.

Proposi c ao 21.7 Seja G um subgrupo fechado n ao-discreto de GL(C, n) cuja a lgebra de Lie e L(G) e seja H um subgrupo (n ao discreto) de G. Seja L(H ) := {M Mat (C, n)| exp(tM ) H, t R} e suponha que se saiba que L(H ) e um subespa co de L(G). Ent ao L(H ) e tamb em uma sub- algebra de L(G). Prova. Sejam A, B L(H ). Ent ao e claro que para todos t e s R teremos esA etB esA H pois H e um grupo e sA tA sA tB sA e , e H . Podemos escrever e e e = exp tesA BesA e isso prova que esA BesA L(H ) para todo s R. Como por hip otese L(H ) e um subespa co de L(G), L(H ) e fechado (pois estamos em dimens ao nita). Logo, L(H ) lim completando a prova. Comparando a demonstra ca o acima com a do Teorema 21.1, vemos que a diferen ca e que n ao supomos que H seja fechado. Podemos ir mais um pouco al em e estabelecer o seguinte: Teorema 21.5 Seja G um subgrupo fechado de GL(C, n) cuja algebra de Lie e L(G) e seja h uma sub- algebra de Lie real de L(G). Ent ao existe um u nico subgrupo conexo H de G cuja algebra de Lie e h. H e um grupo de Lie (em uma certa topologia). 1 sA sA e Be B s = d sA sA e Be ds = [A, B ] ,
s=0

s0

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1091/2069

N ao apresentaremos a demonstra ca o dessa arma ca o aqui no caso geral, a qual e uma conseq u encia da f ormula de Baker-Campbell-Hausdor. Mais adiante (p agina 1093) discutiremos como H pode ser constru da a partir de h no caso dessa u ltima ser uma algebra de Lie nilpotente, o caso mais f acil de tratar.

21.4.1

Algebras de Lie Nilpotentes, Sol uveis, Simples e Semi-Simples

J a comentamos anteriormente que se A e B s ao matrizes nn reais ou complexas tais que AB = BA, ent ao exp(A) exp(B ) = exp(A + B ). O que ocorre caso A e B n ao comutem entre si? A resposta a esta quest ao e dada por uma express ao conhecida como f ormula de Baker-Campbell-Hausdor, a qual foi discutida e demonstrada no Cap tulo 9, p agina 410. Essa f ormula permite expressar o produto exp(A) exp(B ) para duas matrizes A e B Mat (C, n) (ou Mat (R, n)) novamente como uma exponencial de matrizes: exp(A) exp(B ) = exp(A B ) , onde A B e uma express ao um tanto complexa envolvendo somas de comutadores m ultiplos das matrizes A e B , e cujos primeiros termos s ao os seguintes: 1 1 1 A, [A, B ] + B, [B, A] + . A B = A + B + [A, B ] + 2 12 12 A express ao completa encontra-se em (9.59) ` a p agina 437. Vamos agora fazer uma pausa e, antes de entrarmos na discuss ao das conseq u encias da f ormula de Baker-CampbellHausdor e da exponencia ca o de algebras de Lie e sua rela ca o com grupos de Lie, vamos nos dedicar a discutir alguns aspectos alg ebricos das algebras de Lie (com o perd ao do pleonasmo). A f ormula de Baker-Campbell-Hausdor nos chama a aten ca o para a import ancia de comutadores m ultiplos de elementos de uma algebra de Lie. Vamos aproveitar a oportunidade para introduzir algumas no co es alg ebricas muito empregadas no estudo de algebras de Lie. Falaremos da sua relev ancia adiante. No que segue trataremos apenas de algebras de Lie sobre o corpo dos n umeros reais ou complexos. Seja L uma algebra de Lie e A, B dois subconjuntos de L. Por [A, B] denotamos o conjunto de todos os elementos de L que s ao iguais ao comutador de algum elemento de A por algum elemento de B. Em s mbolos: [A, B] = Algebras de Lie nilpotentes Seja uma algebra de Lie L. Com a nota ca o acima, denotaremos por L[n] , n = 0, 1, 2, . . ., a seq u encia de conjuntos [n] [0] := L e L = [L, L[n1] ], n = 1, 2, . . .. Ou seja, obtida da seguinte forma: L L[0] L[1] L[2] L[3] := := := := L, L, L[0] L, L[1] L, L[2] = [L, L] , = L, [L, L] , = L, L, [L, L] etc. [a, b], a A, b B . (21.11)

Deni c ao. Uma algebra de Lie e dita ser algebra de Lie nilpotente se L[m] = {0} para algum m. O menor m para o qual L[m] = {0} e dito ser o grau ou ndice da algebra de Lie nilpotente. Note-se que se L[m] = {0} [ m ] ent ao L = {0} para todo m > m. Um exemplo de algebra de Lie nilpotente e a algebra de Heisenberg tri-dimensional gh3 , com geradores p, q e , satisfazendo [p, ] = 0, [q, ] = 0 e [p, q ] = i . Para ela vale (gh3 )[2] = {0}. Essa algebra foi apresentada e discutida na Se ca o 20.2.2 ` a p agina 974.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1092/2069

H a v arias raz oes por que as algebras de Lie nilpotentes s ao relevantes. Uma delas est a no fato de as algebras de Lie nilpotentes serem igualmente algebras de Lie sol uveis (vide o que segue) e a import ancia destas ser a discutida. O leitor pode reconhecer uma outra raz ao da import ancia das algebras de Lie nilpotentes na seguinte observa ca o: para uma algebra de Lie nilpotente a s erie de Baker-Campbell-Hausdor em (9.59) e (9.60) e uma s erie nita! Voltaremos a isso quando retomarmos adiante a discuss ao da f ormula Baker-Campbell-Hausdor. Algebras de Lie sol uveis Em paralelo ` a no ca o de algebra de Lie nilpotente que apresentamos acima, existe a no ca o de algebra de Lie sol uvel. Para uma algebra de Lie L, denotaremos por L(n) , n = 0, 1, . . ., a seq u encia de conjuntos obtida da seguinte forma: L(0) := L e L(n) := [L(n1) , L(n1) ], n = 1, 2, . . .. Ou seja, L(0) L(1) L(2) := L , := := L(0) , L(0) L(1) , L(1) = [L, L] , = [L, L], [L, L] etc.

Deni c ao. Uma algebra de Lie e dita ser uma algebra de Lie sol uvel se L(m) = {0} para algum m. Para qualquer algebra de Lie L e bastante evidente, pelas deni co es, acima que L(n) L[n] . De fato, L(0) = L[0] e L(1) = 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 indu ca o. Segue dessa observa ca o que toda algebra de Lie nilpotente e tamb em sol uvel. algebra de Lie sol uvel e nilpotente. Considere-se com exemplo A rec proca dessa u ltima arma ca o e falsa: nem toda a algebra de Lie bidimensional com geradores 1 e 2 satisfazendo [1 , 2 ] = 2 . Essa algebra n ao e nilpotente, pois [1 , [1 , [ , [1 , 2 ]]]] = 2 . Por em, essa algebra e sol uvel, pois [[1 , 2 ], [1 , 2 ]] = [2 , 2 ] = 0. Essa algebra aparecer a concretamente no exemplo discutido ` a p agina 1096. H a v arias raz oes por que as algebras de Lie sol uveis s ao relevantes. Uma delas ser a discutida ap os apresentarmos o Teorema de Levi, abaixo. Algebras de Lie simples e semi-simples Se L e uma algebra de Lie, dizemos que e um subespa co vetorial J de L e uma sub- algebra (de Lie) se [J, J] J . Se L e uma algebra de Lie, dizemos que um subespa co vetorial I de L e um ideal se [L, I] I . Pela deni ca o, todo ideal de L e uma sub- algebra de Lie de L. As algebras de Lie nilpotentes e as sol uveis possuem muitos ideais. Contrapostas ` as mesmas est ao as chamadas algebras de Lie simples e semi-simples, que possuem poucos ideais. algebra de Lie L e dita ser simples se seus u nicos ideais forem {0} e a pr opria L. Deni c ao. Uma Deni c ao. Uma algebra de Lie L e dita ser semi-simples se n ao possuir ideais sol uveis (que n ao {0}). bem claro que toda E algebra de Lie simples e semi-simples. H a v arias raz oes por que as algebras de Lie semi-simples s ao relevantes. Uma delas ser a discutida ap os apresentarmos o Teorema de Levi, abaixo. Soma direta e soma semi-direta de algebras de Lie Deni c ao. Uma algebra de Lie L e dita ser a soma direta de duas de suas sub- algebras L1 e L2 se [L1 , L2 ] = 0

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1093/2069

e se todo elemento x L puder ser escrito de modo u nico 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 . Deni c ao. Uma algebra de Lie L e dita ser a soma semi-direta de duas de suas sub- algebras L1 e L2 se [L1 , L2 ] L2 e se todo elemento x L puder ser escrito de modo u nico 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 e importante o seguinte teorema, cuja demonstra ca o est a al em das pretens oes destas notas (vide e.g. [183, 118]): Teorema 21.6 (Teorema de Levi) Toda algebra de Lie L de dimens ao nita e uma soma semi-direta L = SR onde S e semi-simples e R sol uvel. A sub- algebra R acima e denominada radical de L. Exemplos. O chamado grupo Euclidiano18 em tr es dimens oes E3 possui seis geradores J1 , J2 , J3 (geradores de rota co es) e P1 , P2 , P3 (geradores de transla co es), satisfazendo as rela co es
3 3

[Ji , J j ] =
k=1

ijk Jk

[Ji , Pj ] =
k=1

ijk Pk

[Pi , Pj ] = 0 ,

onde ijk e o s mbolo anti-sim etrico de Levi-Civita denido em (20.45), p agina 992. Se denominarmos por P a sub- algebra gerada por P1 , P2 , P3 e por J a sub- algebra gerada por J1 , J2 , J3 , veremos que P e sol uvel (pois e Abeliana) e que J e tamb simples (e, portanto, semi-simples). E em imediato que L = P J. * O teorema de Levi nos diz que o estudo geral de algebras de Lie, e conseq uentemente, de grupos de Lie, reduz-se ao estudo das algebras de Lie sol uveis (dentre as quais est ao as nilpotentes) e das algebras de Lie semi-simples. Um dos resultados mais importantes da teoria das algebras de Lie e uma c elebre classica ca o completa de todas as algebras de Lie semi-simples, feito devido a Killing19 e a Cartan20 . Para o caso das algebras sol uveis uma classica ca o completa est a ainda longe de ser alcan cada.

21.4.2

Quest oes sobre a Exponencia c ao de Algebras de Lie

Apesar de sua import ancia, a f ormula de Baker-Campbell-Hausdor apresenta uma restri ca o quanto ` a norma das matrizes A e B , necess aria para garantir a converg encia da s erie que ocorre em (9.59). H a, por em, uma classe de algebras de Lie para a qual essa quest ao n ao e importante, as chamadas algebras de Lie nilpotentes, das quais trataremos agora. Grupos de Lie nilpotentes A import ancia das algebras de Lie nilpotentes no contexto da f ormula de Baker-Campbell-Hausdor (9.59), p agina 437, e a seguinte. Se L Mat (C, n) e uma algebra de Lie nilpotente de grau m de matrizes, ent ao para quaisquer aximo comutadores m ultiplos de ordem A, B L teremos que A B denida em (9.59) e uma soma nita, contendo no m m. Com isso, vemos que para uma algebra de Lie nilpotente de matrizes L Mat (C, n) n ao existe o problema da converg encia da s erie de (9.59), e a mesma vale para todo A, B L, independente da norma desses elementos. Fora isso A B L, j a que e dado por uma soma nita de elementos de L. Uma conseq u encia e a seguinte proposi ca o.
18 Euclides, 19 Wilhelm

de Alexandria (ci. 325 A.C., ci. 265 A.C.). Karl Joseph Killing (1847-1923). 20 Elie Joseph Cartan (1869-1951).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1094/2069

Proposi c ao 21.8 Seja G um subgrupo de Lie de GL(C, n) e LG Mat (C, n) sua algebra de Lie. Vamos supor que LG seja nilpotente. Ent ao o produto denido pela f ormula de Baker-Campbell-Hausdor e associativo. Fora isso, a algebra de Lie LG e, ela mesma, um grupo com o produto . Prova. Sejam A1 , A2 e A3 tr es elementos de LG . Se L1 , . . . , Lm formam uma base em LG podemos escrever Ai = m i i ao n umeros complexos. Como a soma de comutadores que ocorre na f ormula de Baker-Campbellk=1 k Lk , onde k s Hausdor e nita, conclu mos que
m m

(A1 A2 ) A3 =
k=1

pk ()Lk

A1 (A2 A3 ) =
k=1

qk ()Lk ,

aveis i onde pk () e qk () s ao polin omios nas vari j , i = 1, 2, 3, j = 1, . . . , m. Desejamos provar que para cada k tem-se pk = qk . Como ambos s ao polin omios, e suciente provar isso para quando as vari aveis i ao restritas a algum aberto j est de C. Sejam Gi = exp(Ai ), i = 1, 2, 3, elementos de G. Como o produto do grupo e associativo, temos (G1 G2 )G3 = G1 (G2 G3 ) e, portanto, exp((A1 A2 ) A3 ) = exp(A1 (A2 A3 )). Se escolhermos as vari aveis i oximas j sucientemente pr de zero, teremos pk () e qk () igualmente pr oximas de zero (conven ca-se disso checando a f ormula de Baker-CampbellHausdor) e, portanto, (A1 A2 ) A3 C e A1 (A2 A3 ) C podem ser ambas feitas menores que ln 2. Pela Proposi ca o 9.5, p agina 417, podemos tomar o logaritmo das exponenciais acima e concluir que (A1 A2 ) A3 = A1 (A2 A3 ). Assim,
m m

pk ()Lk =
k=1 k=1

qk ()Lk

pelo menos para i ao linearmente independentes, conclu mos j pequenos o suciente. Como os elementos Lk da base s que pk () = qk () para todo k = 1, . . . , m, pelo menos quando os i s a o pequenos o suciente. Como p e q ao k k s j i polin omios, isso vale para todos j C. Isso provou a associatividade. Para provar que LG e um grupo, devemos mostrar que h a um elemento neutro em LG para o produto e que para cada elemento de LG existe uma inversa. Pela f ormula de Baker-Campbell-Hausdor e f acil constatar que A0 = 0A = A para todo A LG . Assim o zero e o elemento neutro procurado. Fora isso, tamb em pela f ormula de Baker-CampbellHausdor e f acil constatar que A (A) = A + (A) + comutadores de A com A = 0 . Logo, (LG , ) e um grupo. Esses fatos t em ainda uma conseq u encia importante. Seja L Mat (C, n) uma algebra de Lie nilpotente de matrizes. Denamos por exp(L) o conjunto de todas as matrizes que s ao exponenciais de elementos de L: exp(L) = {G Mat (C, n)| G = exp(A) para algum A L} . Armamos que exp(L) e um grupo (em rela ca o ao produto usual de matrizes), em verdade um subgrupo de GL(C, n). De fato, exp(L), pois, 0 L. Se G = exp(A) com A L, ent ao sua inversa e G1 = exp(A), que tamb em 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, ent ao, pela f ormula de Baker-Campbell-Hausdor, G1 G2 = exp(A1 A2 ) exp(L), pois A1 A2 L. A conclus ao e que a partir de uma algebra de Lie nilpotente L podemos construir um grupo, denominado grupo de Lie importante notar que L associado ` a algebra L pelo procedimento de exponencia ca o. E e um conjunto conexo. Portanto, como a exponencial e cont nua, o grupo exp(L) e igualmente conexo. Interessantemente vale tamb em a rec proca. Seja G um grupo de Lie conexo fechado (de matrizes) e LG sua algebra 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

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1095/2069

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 e um subconjunto aberto de LG . Note-se tamb em que U e que se g = exp ( k=1 k Lk ) U m e aberto poderemos usar a Proposi ca o 21.3, p agina ent ao g 1 = exp ( k=1 k Lk ) U . Assim, se provarmos que U 1076.
m

Se for pequeno o suciente poderemos garantir que k=1 k Lk C < ln 2 sempre que |i | < para todo i = m m 1, . . . , m e, pela Proposi ca o 9.5, p agina 417, teremos ln (exp ( k=1 k Lk )) = k=1 k Lk . Logo, U e a imagem inversa pela fun ca o ln do conjunto aberto V . Como ln e uma fun ca o cont nua (Proposi ca o 9.3, p agina 416) conclu mos que U e igualmente aberto. Logo, pela Proposi ca o 21.3, cada elemento g de G pode ser escrito como um produto de n elementos de U : g = g1 gn , onde gi = exp(li ) com li V . Agora, como a algebra e nilpotente, vale exp(l1 ) exp(ln ) = exp(l1 ln ). Com isso, ca demonstrada a seguinte arma ca o: se G e um subgrupo conexo fechado de GL(C, n) e se sua algebra de Lie LG e nilpotente, ent ao todo elemento de G pode ser escrito como exponencial de um elemento de LG . Um exemplo dessa situa ca o e o grupo de Heisenberg GH3 , tratado ` a p agina 975. Observa c ao 1. O n umero n mencionado no u ltimo par agrafo pode n ao ser o mesmo para todo g G (vide o enunciado da Proposi ca o 21.3), podendo eventualmente crescer arbitrariamente quando g varia no grupo. Por em, como a algebra LG e nilpotente, o produto l1 ln est a sempre denido para qualquer n. Observa c ao 2.
(LG , ) em G. Nas circunst ancias descritas acima, e f acil constatar que a fun ca o exponencial exp : LG G e um isomorsmo do grupo

Grupos de Lie com algebras de Lie nilpotentes n ao s ao os u nicos grupos de Lie para os quais vale que todo seu poss elemento pode ser escrito como exponencial de um elemento da sua algebra de Lie. E vel mostrar que grupos de Lie compactos com algebras de Lie semi-simples tamb em t em essa propriedade. Para uma demonstra ca o vide, por exemplo, [218]. 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 20, p agina 966. Para grupos de Lie n ao-conexos tipicamente ocorre que n ao se pode escrever todos os seus elementos como exponenciais de elementos de sua algebra de Lie. Tal e, por exemplo, o caso do grupo de Lie GL(R, 2), cuja algebra de Lie e Mat (R, 2). A exponencial de matrizes reais 2 2 e sempre formada por matrizes com determinante positivo (pela Proposi ca o 8.14, p agina 332, ou pela Proposi ca o 9.7, p agina 420), enquanto que GL(R, 2) possui tamb em matrizes com determinante negativo. Vide Proposi ca o 9.10, p agina 422. Por em, como veremos no exemplo discutido em detalhe ` a p agina 1096, n ao basta que um grupo de Lie seja conexo para que todos os seus elementos possam ser escritos como exponenciais de elementos de sua algebra de Lie. Em v arios casos, todavia, os elementos do grupo podem ser escritos como um produto nito de exponenciais. Tal tamb em ocorre no exemplo da p agina 1096. Para um grupo de Lie conexo G e poss vel, sob hip oteses adequadas que n ao discutiremos aqui, construir um grupo de Lie simplesmente conexo a partir de sua algebra de Lie, usando um procedimento semelhante ao que empregamos quando discutimos acima o caso de algebras de Lie nilpotentes. Constr oi-se primeiramente uma vizinhan ca U da identidade que seja sim etrica (ou seja, se g U ent ao g 1 U ) por exemplo a vizinhan ca na qual a f ormula de Baker-CampbellHausdor 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 e em geral um grupo de Lie simplesmente conexo que e um recobrimento do grupo original G.

21.4.3

Alguns Exemplos Especiais

Um subgrupo conexo n ao-fechado de GL(C, 2) Exibiremos aqui um exemplo de um subgrupo conexo n ao-fechado de GL(C, 2) o qual e um grupo de Lie mas n ao e um subgrupo de Lie de GL(C, 2). Isso signica que a topologia que faz desse subgrupo Ha um grupo de Lie n ao ea topologia induzida por GL(C, 2) em Ha .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1096/2069

Esse exemplo e bastante instrutivo e ilustra o porqu e de haver certas diculdades sutis de natureza topol ogica na teoria dos grupos de Lie (e na geometria diferencial, em geral). O grupo em quest ao e o seguinte grupo de matrizes a um par ametro real: eit 0 , , t R Ha := 0 eiat

onde a e um n umero real irracional xo arbitr ario. Para mostrar que esse grupo n ao e fechado, vamos exibir uma seq u encia convergente de matrizes de Ha que n ao converge a um elemento de H . Considere tn = (2n + 1) com n N0 . a

n umeros complexos da forma ei2a(2n+1) , com n N0 , formam um conjunto denso em todo o c rculo unit ario do plano complexo21 . Assim, existe uma sub-seq u encia nk tal que ei2a(2nk +1) converge a 1 quando k . Isso mostra que a matriz est a no fecho de Ha . Sucede, por em, que Ha pois, para a irracional, n ao existe nenhum t real tal que valham simultaneamente eit = 1 e eiat = 1 (prove isso). Isso mostra que Ha n ao e fechado. topologia usual de R em Ha , topologia essa na qual Ha e um grupo de Lie, como facilmente se v e. Essa topologia n ao coincide com a topologia induzida em Ha pela norma de matrizes em Ha . H a uma maneira geom etrica de entender o que est a acontecendo nesse grupo. Considere o seguinte grupo de Lie de matrizes 2 2: eit 0 . , t, s R T := 0 eis eit Por outro lado, e claro que h a uma aplica ca o bijetora de R em Ha dada por R t 0 eiat 0 , a qual induz a

0 1 . Sucede que, como a e irracional, os As matrizes de Ha correspondentes a esses valores de t s ao i2a(2n+1) 0 e

Esse grupo de Lie (a dois par ametros reais) pode ser visualizado como um toro bidimensional (pois e o produto Cartesiano de dois c rculos: o c rculo eit com t R e o c rculo eis com s R). Cada grupo Ha e um subgrupo de T e, nessa imagem, corresponde a uma curva (pois cada Ha e unidimensional) que preenche densamente o toro sem auto-cruzamentos. Dessa forma entende-se que o fecho de Ha na topologia da norma das matrizes e o grupo T . Se imaginarmos um aberto no toro, veremos que este intersecta a curva que corresponde a Ha em innitos segmentos. Assim, Ha n ao e uma sub-variedade de T e, portanto, apesar de ser um subgrupo de T , Ha n ao pode ser um subgrupo de Lie de T na topologia de T . Exponencia c ao e algebras de Lie matriciais. Um contra-exemplo Vamos agora apresentar um exemplo de um grupo de Lie conexo no qual n ao podemos escrever todos os seus elementos como exponenciais de elementos de sua algebra de Lie, ou seja, a exponencial de sua algebra de Lie n ao e sobrejetora no grupo. Seja um n umero real irracional22 xo. Vamos considerar o seguinte conjunto de matrizes complexas 2 2: H := {h(t, z ), t R, z C} , onde

21 O

22 Como

leitor para o qual esse fato n ao e familiar poder a encontrar demonstra co es em bons livros sobre teoria de n umeros, por exemplo [96]. veremos abaixo, e crucial para a constru ca o desejada que n ao seja racional.

e h(t, z ) := 0

it

eit

z .

(21.12)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1097/2069

Armamos que H e um subgrupo de GL(C, 2). De fato,

= h(0, 0) H ,
h(t, z )h(t , z ) h(t, z )1 E. 21.11 Exerc cio. Verique! H e um grupo de Lie conexo parametrizado por t R e z C. De fato, o grupo H e homeomorfo ` a variedade conexa R C. O homeomorsmo de R C em H e dado pela fun ca o h denida em (21.12), isto e, h : R C H , eit (t, z ) h(t, z ) := 0 eit z . = h(t + t , zeit + z eit ) H = h(t, zei(1+)t ) H .

Claramente, h e cont nua. Vamos mostrar que h e bijetora. Suponha que existam (t, z ) e (t , z ) R C tais que h(t, z ) = h(t , z ), ou seja, Isso implica as tr es seguintes condi co es simult aneas: eit 0 z eit = 0 eit eit eit z As rela co es (21.13) e (21.14) implicam t = t + 2k e t = t + 2l , = = =

eit

z .

eit

(21.13)

eit z .

(21.14) (21.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 e imposs vel se for um n umero irracional, a menos que k = l = 0. Com isso, conclu mos que t = t , fato esse que, juntamente com (21.15), prova que h e uma bije ca o. Mais ainda, e bem claro que h e innitamente diferenci avel e, portanto, e um difeomorsmo. Vamos determinar os geradores de H , que denotaremos por 1 , 2 : 1 := h(t, z ) t
t=z =0

i 0 , = 0 i 0 = 0 1 . 0

:=

h(t, z ) z

t=z =0

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1098/2069

E. 21.12 Exerc cio. Verique! Um elemento gen erico da algebra de Lie L(H ) associada a H e, portanto, da forma i h(, w) := 1 + w2 = 0 w , i

com R e w C.

E. 21.13 Exerc cio. Constate que [1 , 2 ] = i(1 )2 . Conclua da que a algebra de Lie L(H ) associada a H n ao e nilpotente, n ao e simples e n ao e semi-simples, mas e sol uvel. muito f Vamos nos dedicar agora a calcular exp(h(, w)). E acil provar que h(, w)2 (i )2 = 0 w(i )(1 + ) 2 (i )

e que

h(, w)3

Por indu ca o, v e-se tamb em que h(, w)n

(i )3 = 0
n1

w(i )2 (1 + + 2 ) . (i )3 1 n w(i ) 1 , (i )n
n1

para todo n 1. Na u ltima igualdade usamos a bem conhecida f ormula da progress ao geom etrica. co es de acima. E. 21.14 Exerc cio importante. Prove as arma Dessa forma, obtemos exp(h(, w)) = + 1 h(, w)n n ! n=1

(i ) = 0

w(i )

n1 p=0

(i )n

(i ) = 0

1 (i )n 1 + n ! n=1 = 0

1 w (i )n1 n ! n=1

1 n i e 1 = 1 n 1+ (i ) 0 n! n=1

wf ( ) , i e

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1099/2069

onde f ( ) :=

1 (i )n1 n ! n=1

1 n 1

Vamos agora expressar melhor a fun ca o f ( ). Note-se que f (0) = 1 e que, para = 0, 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,

ei 1

ei(1) 1 i
i

, para = 0

A quest ao que agora se p oe e: ser a o conjunto de matrizes exp(L(H )) := {exp(h(, w)), R, w C} igual a H ? ao elementos do conjunto A resposta e n ao! Para provar isso mostraremos que as matrizes h 12 ao s , z com z = 0 n exp(L(H )). Se tal n ao fosse o caso, existiriam R e w C tais que h ou seja, 2 , z 1 = exp(h(, w)) ,

e exp(h(, w)) = 0

wf ( ) . ei

(21.16)

Isso s o e poss vel se as seguintes tr es condi co es forem satisfeitas simultaneamente: ei 1 ei 1 z


2 2

i 12

z e = 2 i1 0 e = = = ei ,

wf ( ) . i e

(21.17) (21.18) (21.19)

ei , wf ( ).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 21

1100/2069

As condi co es (21.17) e (21.18) implicam = 2 + 2k 1 e = 2 + 2l , 1

respectivamente, com k, l Z. Das duas conclu -se (multiplicando a primeira por ) que 2k = 2l, ou seja, k = l. Por em, como foi suposto ser um n umero irracional, isso s o e poss vel se k = l = 0. Portanto = 2 . 1

Ocorre agora, por em, que inserindo-se esse valor de no lado direito de (21.19) obtemos wf 2 1 = w ei 1 1
2

ei(1) 1 1 i 12

= w ei 1

e2i 1 2i

= 0

e, conseq uentemente, (21.19) n ao pode ser satisfeita para z = 0. Esse exemplo ilustra bem o fato mencionado de haver situa co es nas quais a imagem pela exponencia ca o da algebra de Lie L(G) associada a um grupo de Lie G n ao coincide com o grupo G. algebra de Lie e L. Um teorema devido a Dixmier E. 21.15 Exerc cio. Seja um grupo de Lie simplesmente conexo G, cuja [105] arma, entre outras coisas, que exp(L) = G se exp for injetora. Mostre que (, w) exp(h(, w)) denida em (21.16) n ao e injetora. No exemplo acima vale, por em, a seguinte arma ca o: todo elemento de H pode ser escrito como produto de duas exponenciais de elementos da algebra de Lie L(H ), a saber, da forma exp(h(, 0)) exp(h(0, w)) . De fato, e bem f acil ver que

e h(t, z ) = 0

it

z e = 0 eit

it

0 1 it 0 e

it

z = exp(h(t, 0)) exp(h(0, eit z )) .

You might also like