Grupos de Lie e Álgebras de Lie - Uma Breve Introducao

Cap tulo 15 Grupos de Lie e Algebras de Lie.
Uma Breve Introdu c ao

Conte udo
15.1 Variedades e Grupos de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . 823 15.2 Breves Considera co es sobre Grupos Topol ogicos . . . . . . . . . . . . . . . 825 15.3 Grupos de Lie Matriciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 828 15.3.1 Uma Topologia M etrica em GL( , n) . . . . . . . . . . . . . . . . . . . . . . 828
15.3.2 O Grupo de Lie GL( , n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 829
15.3.3 Sub-Grupos Uniparam etricos e seus Geradores . . . . . . . . . . . . . . . . . 832 15.3.4 Sub-Grupos Uniparam etricos e Algebras de Lie . . . . . . . . . . . . . . . . . 835 15.3.5 Subgrupos Fechados de GL( , n) . . . . . . . . . . . . . . . . . . . . . . . . . 840 15.4 A Rela ca o entre Grupos de Lie Matriciais e suas Algebras de Lie . . . . 844 15.4.1 Algebras de Lie Nilpotentes, Sol uveis, Simples e Semi-Simples . . . . . . . . . 845 15.4.2 Quest oes sobre a Exponencia ca o de Algebras de Lie . . . . . . . . . . . . . . 849
15.4.3 Alguns Exemplos Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . 852
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 a reas 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 n 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 e, para tal, remetemos o estudante aos (in umeros) bons livros sobre Geometria Diferencial, por exemplo [102].
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 a lgebras 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 [106], [101], [21], [77], [137], [64] ou [124], . Para a lgebras de Lie, recomendamos [73] e [120]. 822
JCABarata. Curso de F sica-Matem atica
Vers ao de 13 de dezembro de 2005.
Cap tulo 15
823/1355
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 14, tais como os grupos SO(3), SU(2) e o grupo de Lorentz.
15.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 V dotado de uma fam lia de abertos F = {U , } com as seguintes propriedades: 1. V =
U .
n
2. Para cada U F existe um conjunto aberto C de cont nua : U C . 3. Para todo par U , U F com U U = a fun ca o
e uma bije ca o cont nua com inversa
1 : (U U ) (U U )
e innitamente diferenci avel como fun ca o de (um sub-conjunto de)
em
Uma variedade anal tica complexa de dimens ao n e denida analogamente, substituindo-se n por e substituindo-se a condi ca o de diferenciabilidade innita do item 3, acima, por analiticidade. Observa ca o 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 ao denominadas fun co es de transi ca o. Em uma Observa ca o 2. As fun co es de acima s 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 ca o 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
Cap tulo 15
824/1355
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 das coordenadas C para as coordenadas C , a qual e denida 1 pela fun ca o , seja innitamente diferenci a vel (ou anal tica). Como mencionamos, a conceito de variedade foi inspirado na no ca o de superf cie em conjuntos como n n e . Sem entrarmos em detalhes t ecnicos, toda superf cie em convenientemente denida (tais como a superf cie da esfera e o toro, em 3 ) 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 n 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 n . em
n

E. 15.1 Exerc cio. Mostre que o conjunto de matrizes uma variedade diferenci avel de dimens ao 1. Grupos Topol ogicos
R=
a b b a
, a, b
com det(R) = 1 e
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 . e dito ser um grupo topol ogico em rela ca o a uma topologia denida em G Deni c ao. Um grupo 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 g . E f 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. ogico em rela ca o a uma topologia mas n ao em rela ca o a outra. Coment ario. Um grupo pode ser topol 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 19):
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
A tamb em e um
Cap tulo 15
825/1355
elemento de G,
1 e tais que para todo O G as imagens inversas inv 1 (O) e ao igualmente g (O), para todo g G, s elementos 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 F G 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. 15.2 Exerc cio. Verique que ( , +) (o grupo aditivo dos reais) e ( cativo dos reais n ao-negativos) s ao grupos de Lie reais.

\ {0}, ) (o grupo multipli-
E. 15.3 Exerc cio.
Verique que R =
a b b a
, a, b
com det(R) = 1 e um grupo de Lie real.
Na Se ca o 15.3.2, p agina 829, mostraremos com detalhe que GL( , n) e um grupo de Lie. Para mais exemplos, vide a discuss ao sobre os grupos SO(3), SU(2) etc. do Cap tulo 14.
15.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 [106]. 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 um conjunto aberto de G mostre que para todo g G os conjuntos gU e E. 15.4 Exerc cio. Se U U g s ao tamb em conjuntos abertos de G. Grupos Topol ogicos Conexos e Desconexos
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.
1
Cap tulo 15
826/1355
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 ambos simultaneamente abertos e fechados. Ou seja, H = A B , A B = com A = , B = , onde A e B s ao abertos e fechados. Um grupo topol ogico H e dito ser conexo se n ao for desconexo. Alguns Fatos sobre Grupos Topol ogicos Vamos aqui provar alguns fatos b asicos sobre grupos topol ogicos gerais. Faremos uso da Proposi ca o 15.3 abaixo quando falarmos da rela ca o entre a lgebras de Lie matriciais e a lgebras de Lie. Seja H um grupo topol ogico e G H um subgrupo de H . Dizemos que G e um subgrupo aberto de H se G for um subconjunto aberto de H . Analogamente, dizemos que G e um subgrupo fechado de H se G for um subconjunto fechado de H . A seguinte proposi ca o e relevante nesse contexto. Proposi c ao 15.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 19.5, p agina 986). Vamos escolher cuidadosamente um tal aberto U g . 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, 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 e um grupo. Proposi c ao 15.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 15.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
U n,
onde U 1 := U e U n := {x H | x = un u1 para ui U, i = 1, . . . , n}, n > 1.
Cap tulo 15
827/1355
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 825). Analogamente, Un =
un U
un U n1 ,
n > 2.
(15.1)
Por indu ca o, segue facilmente que todo U n e aberto.

n Assim U := e igualmente um conjunto aberto (por ser uma uni ao de abertos). Se provarmos n=1 U que U e um 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 = un1 u1 e g2 = un2 u1 para certos ui e ui U. Logo, g1 g2 = un1 u1 un2 u1 , 1 1 mostrando que g1 g2 U n1 +n2 U. Finalmente, se g U n e g = un u1 , ent ao g 1 = u 1 un n U U. Isso completa a prova que U e um grupo.
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 ca o. Como a identidade e e um elemento de U , segue facilmente de (15.1) que U n1 U n para todo n 1. 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 compacto 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 = A 1 A n . A seguinte proposi ca o e imediata: Proposi c ao 15.4 Seja H um grupo topol ogico conexo e compacto e seja 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, existe um n tal que H = U n.
n Prova. Como H e conexo, pela Proposi ca o 15.3 tem-se H = e, portanto, n=1 U . O lado direito um recobrimento de H por abertos. Assim, como H e compacto, H tem um recobrimento nito pelos abertos U n : existem n1 < n2 < < nk tais que H = U n1 U nk . Como U n1 U nk , tem-se amos provar. H = U nk , como quer
Cap tulo 15
828/1355
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.
15.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( , n). Comentemos que essencialmente todas as nossas arma co es adiante sobre GL( , n) s ao tamb em v alidas para o grupo real GL( , n).

15.3.1
Uma Topologia M etrica em GL( , n)

Como prepara ca o, fa camos alguns coment arios topol ogicos sobre GL( , n). A topologia m etrica de Mat ( , n) discutida na Se ca o 4.1, p agina 223, pode ser introduzida naturalmente em GL( , n), que anal e um subconjunto de Mat ( , n), ao denirmos para A, B GL( , n) a m etrica d(A, B ) = A B , sendo a norma operatorial de Mat ( , n). Mostremos que GL( , n) e um conjunto aberto e denso de Mat ( , n).

GL( , n) e um Conjunto Aberto de Mat( , n)

relevante notarmos que GL( , n) n ao e um subconjunto fechado de Mat ( , n). Isso se v e tomando E 1/m 0 o exemplo da seq u encia de matrizes diagonais 2 2 da forma Am = , m , seq u encia 0 1/m essa formada por elementos de GL( , 2) mas que converge para a matriz nula, que obviamente n ao e elemento de GL( , 2).

e um conjunto aberto de Mat ( , n). Para mostrar isso temos que provar 2 Em verdade, GL( , n) que se A GL( , n) e B e uma matriz tal que B A e sucientemente pequena, ent ao B e invert vel 1 e, portanto, tamb em pertence a GL( , n). Observemos que B = A ( + A (B A)). Se provarmos 1 que + A1 (B A) e invert vel ent ao teremos que B 1 existe, sendo dada por ( + A1 (B A)) A1 .

Escolhendo B pr oximo o suciente de A de modo que B A < 1/ A1 ent ao A1 (B A) ter a norma menor que 1 e, portanto, + A1 (B A) tem uma inversa dada pela s erie de Neumann3 4 convergente

+ A1 (B A)
+
m=1
(1)m A1 (B A)
Isso prova que B tem inversa e completa a prova que GL( , n) e um conjunto aberto.
Vide a deni ca o de conjunto aberto em espa cos m etricos dada a ` p agina 895. Karl Neumann (1832-1925). 4 A justicativa dessa express ao foi apresentada na Se ca o 4.2. Note que a expans ao de Taylor da fun ca o anal tica m m para |z | < 1 em torno de z = 0 e precisamente 1 + m=1 (1) z .
3 2
1 1+z
Cap tulo 15
829/1355
E. 15.5 Exerc cio. H a uma maneira alternativa r apida de provar que GL( , 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 ( , n) pela norma operatorial (em, verdade, por qualquer norma, pois s ao todas equivalentes). Conclua que GL( , n) e um conjunto aberto, observando para tal que trata-se do conjunto de todas as matrizes complexas com determinante n ao-nulo e notando que \ {0} e um conjunto aberto em .

GL( , n) e denso em Mat( , n)

Provemos que todo elemento de Mat ( , n) pode ser aproximado em norma por uma matriz invert vel. Isso equivale a dizer que GL( , n) e denso em Mat ( , n). Seja A Mat ( , n) e seja claro que se (A) ent (A) = {1 , . . . , r } o conjunto de seus 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 , 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 todas invert veis e d(A, An ) = A An = |n | = |n | 0 para n . Isso prova nossa arma ca o.

15.3.2
O Grupo de Lie GL( , n)

e um grupo de Lie. Para isso mostraremos primeiro que Nesta se ca o mostraremos que GL( , n) GL( , 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( , n) e um Grupo Topol ogico
Para provarmos que GL( , n) e um grupo topol ogico precisamos mostrar que o produto em GL( , n) e a invers ao de matrizes em GL( , n) s ao opera co es cont nuas.

Sejam G, G , H GL( , n). Temos que
G H GH
(G G)H

G G
mostrando que G H GH

0 se G G
0. Assim, o produto a ` esquerda e cont nuo.
Sejam agora G, H GL( , n). Fixemos H e tomemos G H < com > 0 escolhido pequeno claro que G = H + (G H ) = H ( + H 1 (G H )), de o suciente de modo que H 1 < 1. E 1 maneira que G1 = [ + H 1 (G H )] H 1 . Logo,

G1 H 1 =
+ H 1 (G H )
H 1 .
Assim, como pela escolha de G

1
temos H 1 (G H )
H 1
< 1, podemos escrever

m
=
m=1
(1)m H 1 (G H )
H 1 .
Cap tulo 15
830/1355
A justicativa dessa express ao5 foi apresentada na Se ca o 4.2. Tem-se, ent ao,
m=1
1 m
GH
H 1 2 1 H 1

Portanto G1 H 1 0 quando G H 0, provando a continuidade da opera ca o de invers ao de matrizes. Isso completa a prova que GL( , n) e um grupo topol ogico.

a uma maneira alternativa r apida de provar que a opera c ao de invers ao e cont nua: E. 15.6 Exerc cio. H use a regra de Laplace, express ao (3.8), p agina 145, para calcular a inversa de uma matriz e evoque o fato que o determinante e cont nuo. e uma Variedade Anal tica GL( , n)
Vamos agora mostrar que GL( , n) e uma variedade anal tica.
Seja, para cada > 0, o sub-conjunto C de
n2
denido por
:= {(x11 , . . . , x1n , x21 , . . . , x2n , . . . , xn1 , . . . , xnn )
n2
com |xij | <
para todos i, j = 1, . . . , n}.
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 sub-conjunto aberto de n . Seja tamb em U := {A(x) Mat ( , n)| x C }.

E. 15.7 Exerc cio. Mostre que cada U e um sub-conjunto aberto de Mat ( , 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 sub-conjunto aberto de GL( , n), o que suporemos daqui por diante.
Seja agora g uma matriz arbitr aria de GL( , 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( , n). Fora isso, g Ug , pois = A(0) U . Conclu mos que

GL( , n) =
Ug ,
g GL(
, n)
Note que a expans ao de Taylor da fun ca o anal tica
m m m=1 (1) z .
1 1+z
1 para |z | < 1 em torno de z = 0 e precisamente
Cap tulo 15
831/1355
ou seja, GL( , n) possui um recobrimento por abertos.
Vamos agora mostrar que cada Ug e bijetivamente mapeado em um aberto de co es g por simples pois, se para cada g GL( , n) denirmos fun ij : Ug

n2
. Isso e bem
g g ij (gA(x)) = ij (g + gX )) := (gX )ij ,
i, j = 1, . . . , n,
ou seja, g ij (gA(x)) :=
gik xkj ,
k =1
i, j = 1, . . . , n,
vemos facilmente que todo h Ug e da forma hij = gij + g ij (gA(x)). Assim, o conjunto Cg n formado pelas vari aveis xij = k=1 gik xkj com xij C e um sistema de coordenadas para Ug . 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
n2
xij = 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 coordenadas de Ug para as de Ug e expressa em termos de fun co es anal ticas (em verdade, e uma variedade anal tica. polin omios). Isso provou que GL( , n)
GL( , n) e Grupo de Lie
Para nalmente provarmos que GL( , 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( , 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 dadas por

gh ij (ghA(x))
=
k =1
(gh)ik xkj
i, j = 1, . . . , n,
s ao polin omios nas vari aveis xij e, portanto, anal ticas. Assim, o produto e anal tico. Para provar que a invers ao e anal tica tomemos g GL( , n). Um elemento gen erico de U g e da forma gA(x) = g ( + X ). Agora,

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

com Y (x) :=
m=1
(1)m X m .
Cada elemento de matriz de Y (x) e uma fun ca o anal tica dos xij , pois a s erie de Neumann6 acima converge absolutamente (claramente, temos que escolher pequeno o suciente). Agora, as fun co es C
x g ij
(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 nal2 e um grupo de Lie de dimens ao n . mente que GL( , n)
6
Karl Neumann (1832-1925).
Cap tulo 15
832/1355
E. 15.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 (3.8), p agina 145, para calcular a inversa de uma matriz e evoque o fato que o determinante e anal tico.
15.3.3
Sub-Grupos Uniparam etricos e seus Geradores
Sub-grupos uniparam etricos s ao muito importantes na teoria dos grupos de Lie. Vamos apresent a-los no caso de matrizes. Deni c ao. Um sub-grupo uniparam etrico de GL( , n) e um homomorsmo cont nuo 7 do grupo ( , +) em GL( , n). Em outras palavras, e uma fun ca o que a cada t real associa continuamente uma matriz invert vel (t) de modo que (t) (t ) = (t + t ) (15.2)

para todos t, t
. Note que de (15.2) segue automaticamente que (0) =
(por que?).
A import ancia dos sub-grupos 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 15.5 Seja : GL( , n) um sub-grupo uniparam etrico. Ent ao existe uma matriz M Mat ( , n), univocamente denida, tal que (t) = exp(tM ) para todo t . 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 sub-grupo uniparam etrico .

Prova.8 Se supus essemos que e uma matriz diferenci avel pr oximo a t = 0, ter amos que para qualquer t 1 1 (t) = lim ( (t + s) (t)) = (t) lim ( (s) (0)) = (t) (0). s0 s s0 s 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 7) 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 no entanto, poss cont nua, o que em 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 ( , +) 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.
Vide nota a ` p agina 835. Extra da de [64]. A observa ca o de que no enunciado da Proposi ca o 15.5 e suciente supor-se que o sub-grupo uniparam etrico e apenas cont nuo (dispensando uma condi ca o de diferenciabilidade) e devida a von Neumann.
8
Cap tulo 15
833/1355
Um exemplo de uma tal fun ca o seria (para a < 0 < b) (s) = que tem suporte [a, b] K exp (sa)21(sb)2 , 0, para s (a, b) de outra forma,

0. Uma escolha conveniente da constante K garante que
(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
(u)( (u) )du,
pois
(u)du = 1, por hip otese. Logo

a
(u) (u)
du =
a
(u) (u)
du
c
a

(u) du = c
(u) du = c ,
onde c := supu[a, a] (u) . Como e cont nua e (0) = , podemos fazer c arbitrariamente pequena, escolhendo a pequeno. Mas isso diz que Y = ( Y ) e invert vel, com Y 1 dado pela (t)Y 1 , o que prova que (t) s erie convergente m=0 ( Y )m . Assim, com a pequeno teremos (t) = e innitamente diferenci avel.

Deni c ao. O que essa proposi ca o provou e que todo sub-grupo uniparam etrico de GL( , n) e da forma exp(tM ) para alguma matriz M Mat ( , n). Essa matriz M e dita ser o gerador do sub-grupo uniparam etrico em quest ao.

Comentemos brevemente que a Proposi ca o 15.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 Stone 9 . Vide, por exemplo, [108].
9
Marshall Harvey Stone (1903-1989).
Cap tulo 15
834/1355
A Cole c ao de todos os Geradores de Sub-grupos Uniparam etricos Seja G um sub-grupo de GL( , n). Seja denido o seguinte conjunto:
L(G) := {M Mat ( , n)| exp(tM ) G,

} .
Analogamente, seja G um sub-grupo de GL( , n). Seja denido o seguinte conjunto: L(G) := {M Mat ( , n)| exp(tM ) G, t

} .
Em palavras, L(G) e a cole ca o de todos os geradores de todos os sub-grupos uniparam etricos de G. E claro, pela deni ca o, que L(G) cont em sempre pelo menos a matriz nula (pois exp(t0) = G, t ), 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 o bvio que G possua sub-grupos uniparam etricos n ao-triviais. Logo abaixo estudaremos essa quest ao no caso do grupo GL( , n) e, um pouco mais adiante, no caso de sub-grupos fechados (n ao-discretos) de GL( , 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 . Ou seja, existem grupos G nos quais encontram-se elementos que n ao pertencem a nenhum sub-grupo uniparam etrico de G. Na Proposi ca o 4.10, p agina 236, vimos que isso ocorre no grupo real GL( , 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 853, adiante.

* A cole ca o de todos os geradores de todos os sub-grupos 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( , n) podemos facilmente identicar o que e L(GL( , n)). Faremos isso agora.

Sub-grupos Uniparam etricos de GL( , n) e a Algebra de Lie Associada a GL( , n)

A cole ca o de todos os geradores de todos os subgrupos uniparam etricos do grupo GL( , n) ser a denotada aqui por L(GL( , n)) ou por gl( , n). Vamos identicar esse conjunto.

Na Proposi ca o 4.11, p agina 236, demonstramos que todo elemento A GL( , n) pode ser escrito uentemente, A pertence ao subgrupo na forma A = exp(B ) para algum B Mat ( , n). Conseq uniparam etrico composto pelas matrizes da forma exp(tB ), t . Assim, GL( , n) possui subgrupos uniparam etricos n ao-triviais. Reciprocamente, para todo B Mat ( , n) o conjunto de matrizes da forma exp(tB ), t , forma um subgrupo uniparam etrico de GL( , n). Conclu mos disso que L(GL( , n)) = Mat ( , n).

e uma J a discutimos por diversas vezes (vide p agina 57 e seguintes) que o conjunto Mat ( , n) a lgebra 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 a lgebra de Lie. Esse fato e de import ancia central na teoria dos grupos de Lie.
Cap tulo 15
835/1355
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 ab elementos de matriz s ao todos nulos, exceto o elemento ab, que vale 1. Mostre que as matrizes s ao ab ab ab ab subgrupos uniparam etricos de GL( , n), ou seja, que (t) s ao cont nuas e que (t) (t ) = (t + t ) ab 2 ab para todo a, b e todo . (Sugest ao: mostre que E = ab E e use esse fato). Mostre que seus ab geradores s ao as matrizes E ab . Constate tamb em explicitamente que (t) = exp tE ab .
ab E. 15.9 Exerc cio. Para a, b = 1, . . . , n e , sejam (t), matrizes denidas da seguinte forma: para a = b + tE ab , ab (t) := , com t . + (et 1)E aa , para a = b

Note que a cole ca o formada por todas combina co es lineares reais dos geradores dos subgrupos ab uniparam etricos de GL( , n) coincide com Mat ( , n) (por que?).

E. 15.10 Exerc cio. Como s ao as rela co es de comuta c ao das matrizes E ab ? Homomorsmos N ao-Cont nuos de ( , +)
Contemplando a deni ca o de sub-grupo uniparam etrico que apresentamos acima, como sendo um homomorsmo cont nuo de ( , +) em um grupo G, o estudante pode legitimamente questionar se existem, anal, homomorsmos n ao-cont nuos desse grupo que justiquem a necessidade de evocar a condi ca o de continuidade na Proposi ca o 15.5. Talvez um tanto surpreendentemente, a resposta e positiva. H a at e mesmo automorsmos n ao-cont nuos de ( , +) em si mesmo, os quais foram apresentados a ` p agina 98, onde discutimos a exist encia de fun co es descont nuas de em que satisfazem f (t) + f (t ) = f (t + t ) para todos t, t . Assim, com o uso de uma tal fun ca o f , e relativamente f acil construir um homomorsmo n ao-cont nuo de ( , +) em um grupo G dado, caso conhe camos um homomorsmo cont nuo de ( , +) em G. De fato, se (t), t , e um homomorsmo cont nuo de ( , +) em G ent ao (f (t)), t , e um homomorsmo de ( , +) 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 sub-grupo uniparam etrico e na Proposi ca o 15.5.

15.3.4
Sub-Grupos Uniparam etricos e Algebras de Lie
Sub-Grupos Uniparam etricos em Sub-Grupos Fechados Deni c ao. Seja H um subgrupo fechado mas n ao discreto de GL( , n). Denimos
L(H ) :=
X Mat ( , n) tais que etX H para todo t

claro, Como se v e, trata-se do conjunto dos geradores de todos os subgrupos uniparam etricos de H . E pela deni ca o acima, que L(H ) possui pelo menos um elemento, a saber a matriz nula, pois, obviamente t0 e = H para todo t . N ao e nem um pouco o bvio, por em, que haja outros elementos em L(H )

Cap tulo 15
836/1355
que n ao o elemento nulo. N ao e sequer o bvio que existam subgrupos uniparam etricos n ao-triviais 10 em H . Na Proposi ca o 15.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 15.6 precisamos de algumas deni co es e de alguns resultados preparat orios. Seguiremos muito proximamente a exposi ca o de [101] (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( , n) por G e sua a lgebra de Lie Mat ( , 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: wr := {X g| X r} . (15.3) 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: wO r := {X g| X < r} . (15.4)
Vamos denotar por Wr a imagem de wr pela exponencia ca o: Wr := {exp(X ), X wr } . 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 := {X wr | exp(X ) H Wr }.
(15.5)
(15.6)
Comentemos que, pela Proposi ca o 4.11, p agina 236, todo elemento de H e uma exponencial de algum e da forma h = exp(f ) para algum f fr . elemento de g = Mat ( , n). Portanto, todo h H Wr Simbolicamente, podemos escrever exp(fr ) = H Wr . (15.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 23.2, p agina 1043). 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 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 o bvio, por em, se esse eou nico elemento de Mr . No Corol ario 15.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.
10
> 0, tem-se exp(tX ) H Wr sempre que |t| < } . (15.8)
Um subgrupo uniparam etrico (t) e trivial se (t) for igual ao elemento neutro para todo t
Cap tulo 15
837/1355
Lema 15.1 Com as deni co es acima, valem as seguintes arma co es. I. Se X M r ent ao X Mr para todo . II. wr Mr fr .
Prova do Lema 15.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 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 1 n (exp(n X )) 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 15.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 15.2 Seja Xn , 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 ( , n). Ent ao11 Y Mr .

Prova do Lema 15.2. Notemos antes de mais nada que se Yn := Xn / Xn Y Mat ( , n) ent ao Y = 0. Em verdade, Y = 1 pois, fazendo uso da desigualdade (2.19), p agina 123, temos | Y n 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 ao nulo. Podemos escrever wr como a uni ao

m
wr =
k =1
sk
k1 k r X r , m m ou seja, podemos escrever wr como uma uni ao de fatias, ou cascas esf ericas, de vetores com normas k k 1 e a bola fechada de raio r/m centrada em 0: entre m r e m r . Note-se que s1 sk s r k := X wr s1 = X wr X r m .
onde
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 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 r (k0 1)r j n Xn . m m
Ap os a demonstra ca o do Lema 15.2, discutiremos a ` p agina 839 que de fato existem seq u encias satisfazendo essas hip oteses.
11
Cap tulo 15
838/1355
Para isso, e suciente escolhermos um jn inteiro satisfazendo (k0 1)r k0 r |jn | . m Xn m Xn Haver a inteiros no intervalo entre intervalo e
(k0 1)r m Xn
k0 r m Xn
? Para ver isso, notemos que o comprimento desse 1,
k0 r (k0 1)r 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 pois Xn m todo intervalo fechado de comprimento igual ou maior que 1 cont em ao menos um inteiro). (k ) (k 0 ) evidente que Yn Vamos denominar jn Xn por Yn 0 (com k0 xo). E sk0 wr . Isso implica (k0 ) (k0 ) jn que exp Yn Wr . Fora isso, exp Yn = exp(jn Xn ) = (exp(Xn )) . Como exp(Xn ) pertence ao
grupo H (pois Xn fr ), segue pela propriedade de grupo que tamb em tem-se exp Yn essa raz ao que escolhemos jn inteiro). Com isso, provamos que exp Yn
(k ) que12 Yn 0 (k0 )
(k0 )
H ( e por
H Wr , o que signica
fr .
O conjunto fr e fechado e limitado e, portanto, compacto. Isso signica que existe uma sub(k ) seq u encia Ynl 0 , l , que e convergente em fr . Agora, como Yn = Xn / Xn converge a Y , isso (k ) (k0 ) e um m ultiplo de Ynl , a ultiplo de Y , digamos (k0 ) Y , pois Ynl 0 signica que Ynl converge a um m (k0 ) (k0 ) (k0 ) saber, Ynl = jnl Xnl Ynl . Portanto, para um tal temos 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 1)r k0 r (k0 ) . m m O que provamos acima vale para cada k0 com 1 < k0 m. Resumindo nossas conclus oes, (k0 1) k0 provamos que para todo m n ao-nulo, cada intervalo Ik0 , m := r, m r com 1 < k0 m m

cont em pelo menos um (k0 ) tal que (k0 ) Y fr .

m
A uni ao
k0 =2
I k0 , m e o conjunto
1 r, m
r . Esses intervalos Ik0 , m podem ser feitos mais nos e em 1 r, r = (0, r ]. m
maior n umero, fazendo m , sendo que

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 15.2 est a completa.
12 (k0 )
Em [101] o argumento que prova que Yn
fr n ao est a correto, lamentavelmente.
Cap tulo 15
839/1355
Podemos nos perguntar agora, ser a que existem seq u encias Xn satisfazendo as hip oteses do Lema 15.2, ou seja, tais que Xn / Xn convirja para algum Y ? E f acil ver que sim. Notemos para isso que para qualquer seq u encia Xn fr 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 15.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: Corol ario 15.1 O conjunto Mr denido acima cont em elementos diferentes de 0. Esse simples corol ario e crucial para o que segue13 , pois tem a seguinte conseq u encia. Proposi c ao 15.6 Seja H um subgrupo fechado e n ao-discreto de GL( , 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 (15.8), com Wr denido em (15.3)-(15.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 . 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 15.1, um tal X existe. Assim, existe um > 0 tal que exp(t X ) H para todo t ( , ). Seja agora t qualquer. Se escolhermos n com |n| grande o suciente, teremos |t/n| < . Da , exp((t/n)X ) H e, como H e um grupo, n exp(tX ) = (exp((t/n)X )) H . Como isso vale para qualquer t 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 15.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 sub-grupos uniparam etricos para os grupos de Lie matriciais. Sub-Grupos Uniparam etricos e Algebras de Lie Seja H um sub-grupo fechado e n ao-discreto de GL( , n). O seguinte teorema, o qual e uma conseq u encia das f ormulas de Lie-Trotter e do comutador (vide Cap tulo 4), e de import ancia fundamental:
Infelizmente, alguns textos como [124], [137] e mesmo (surpreendentemente) [106], n ao provam que M r e n ao-trivial, o que torna suas demonstra co es do Teorema 15.2 incompletas. Mesmo [101], que prova os Lemas 15.1 e 15.2, n ao menciona o Corol ario 15.1, embora o mesmo que impl cito pela sua an alise. A refer encia [64], que segue outra e muito interessante linha de racioc nio, e expl cita quanto ao Corol ario 15.1.
13
Cap tulo 15
840/1355
Teorema 15.1 Se H e um sub-grupo fechado e n ao-discreto de GL( , n) ent ao L(H ), denida acima, 14 e uma a lgebra de Lie real .
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 sub-grupos uniparam etricos de H , ent ao X + Y tamb em o e, para quaisquer , . Comecemos observando que (t) := exp(t(X + Y )) e um sub-grupo uniparam etrico cont nuo de GL( , n) cujo gerador e obviamente X + Y . Tudo o que precisamos fazer e mostrar que (t) H para todo t . Pela f ormula de Lie-Trotter (vide Cap tulo 4),

exp(t(X + Y )) = lim
exp
t X exp m
t Y m
(15.9)
X e exp t Y pertencem ao grupo Observemos ent ao o seguinte. Pela hip otese, as matrizes exp t m m H , pois supomos que X e Y s ao geradores de subgrupos uniparam etricos de H . Portanto os produtos t t ao tamb em elementos de H , pois H e um grupo. Ora, o lado direito de (15.9) e, exp m X exp m Y s portanto, o limite de uma seq u encia de elementos de H . Como supomos que H e fechado, segue que o limite e igualmente um elemento de H , como quer amos mostrar. Isso provou ent ao que X + Y e um espa co vetorial real. L(H ) para quaisquer , e, portanto, L(H )
Vamos mostrar agora que L(H ) e uma a lgebra de Lie. Se X, Y L(H ) temos, pela f ormula do comutador (vide Cap tulo 4), 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
(15.10)
Racioc nio id entico ao que empregamos acima conclui que exp(t[X, Y ]) H para todo t , mostrando que [X, Y ] e o gerador de um sub-grupo uniparam etrico cont nuo de H , ou seja, [X, Y ] L(H ). Isso provou que L(H ) e uma a lgebra de Lie.
Coment ario. Se para todo X L(H ) tivermos tamb em X L(H ) para todo demonstra ca o acima que L(H ) e uma a lgebra de Lie complexa.
, conclui-se pela
15.3.5
Subgrupos Fechados de GL( , n)
Nesta Se ca o provaremos o seguinte teorema: Teorema 15.2 Se H e um subgrupo topologicamente fechado de GL( , n) (na topologia m etrica induzida de GL( , n)) e H n ao e discreto, ent ao H e tamb em um grupo de Lie (na topologia m etrica induzida de GL( , n)).

O Teorema 15.2 e particularmente importante pois muitos grupos encontrados em aplica co es s ao sub-grupos fechados (n ao discretos) de GL( , n) ou de GL( , n). Tal e o caso, por exemplo, dos

14
Algebras de Lie foram denidas a ` p agina 57.
Cap tulo 15
841/1355
grupos U(n), U(p, q), SU(n), SU(p, q), O(n), SO(n) e outros. Assim, o Teorema 15.2 nos informa que tais grupos s ao grupos de Lie. A prova desse teorema ser a oferecida a ` p agina 843. 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( , n). Sabemos pelo Teorema 15.1 que L(H ) e um sub-espa co de L(G) = Mat ( , n). Seja L(H ) seu complemento ortogonal (em rela ca o a algum produto escalar em Mat ( , n), por exemplo A, B = Tr(A B )). Todo elemento A Mat ( , 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 15.3 Para H , subgrupo fechado e conexo de GL( , n), existe r0 > 0 tal que a aplica ca o H O denida acima e um homeomorsmo do aberto wO em um aberto ( w ) W para um certo r H r0 r0 r0 0 > 0.
e a bola aberta de raio r0 em torno da matriz nula. Vide (15.4). Acima, wO r0 Prova. Escolhamos r0 pequeno o suciente para que valha a f ormula de Baker-Campbell-Hausdor15 . 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 (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) 0 para A 0. Assim, H e cont nua e diferenci avel em uma Como facilmente se constata, HA vizinhan ca de 0 e e sua derivada em 0 e a identidade. Assim, pelo bem conhecido Teorema da Aplica ca o e sua Inversa (vide, Se ca o 18.4, p agina 957, ou por exemplo, [92]), H e um homeomorsmo entre wO r0 imagem. Como H = exp H e a exponencial e tamb em um homeomorsmo local (Proposi ca o 4.4, p agina 231), a prova do Lema 15.3 est a completa.
Seja H um subgrupo fechado de GL( , n). Vimos acima que L(H ) Mat ( , n) e uma a lgebra ao exp(A) de Lie real e, como tal, um sub-espa co de Mat ( , n). E evidente que se A L(H ) ent 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
}.
H e de fato um grupo, pois

15
Vide Cap tulo 4, p agina 222. A f ormula de Baker-Campbell-Hausdor e dada em (4.46) a ` p agina 249.
Cap tulo 15
842/1355
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(A1 ) exp(Am ) H ent ao tem-se, evidentemente, hh = exp(A1 ) exp(Am ) exp(A1 ) exp(Am ) H . O grupo H e denominado subgrupo gerado por L(H ). Vamos provar o seguinte teorema: Teorema 15.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. O que faremos e provar que fr L(H ) wr para algum r > 0. Se isso for verdadeiro, ent ao, pela deni ca o de fr em (15.6) e por (15.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 15.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 , a precisamente dizendo que H H , que e o que quer amos provar. com Ak L(H ) wr . Ora, isso est
Vamos ent ao mostrar que fr L(H ) wr para algum r > 0. A demonstra ca o ser a feita por absurdo, ou seja, 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 E acil ver pela deni ca o dos conjuntos fr em (15.6) que fr1 fr2 sempre que r1 r2 . Al em disso, fr = {0}.
r>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 fr \ (L(H ) wr ) = para todo r . Fixando r , poder amos escolher uma seq u encia rn < r , rn 0 com frn \ (L(H ) wr ) = . 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 e referido no enunciado do Lema 15.3. Assim, pelo mesmo lema, existir a para cada um de tais ns um elemento Zn w r0 , Zn = Z n + Z n . , tal que exp (Xn ) = H (Zn ) = exp Zn exp Zn
Antes de prosseguirmos, fa camos algumas observa co es sobre Zn e Zn . Como Xn 0, deve valer tamb em Zn 0 j a que, pelo Lema 15.3, H e sua inversa s ao cont nuas. Assim, tem-se igualmente 0. Pela parte II do Lema 15.1 e pela parte I da Proposi ca o 15.6, segue que w r L(H ) Zn 0 e Z n fr . Da , para n grande o suciente, ter-se- a Zn fr . Note-se tamb em que, como Xn L(H ) para n grande, teremos Zn = 0, pois, se assim n ao fosse, valeria 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.
Como conseq u encia das observa co es acima, teremos que exp Zn = exp Zn exp (Xn ). Sucede que exp (Xn ) H Wr e exp Zn H Wr . Assim exp Zn H e, Zn Zn < r0 . Logo, exp Zn H Wr0 . Portanto, Zn f r0 .
Cap tulo 15
843/1355
Como conseq u encia do Lema 15.2, da parte I da Proposi ca o 15.6 e da compacidade de f r0 , a seq u encia de vetores de norma 1 dada por Zn / Zn tem uma sub-seq u encia que converge a um elemento de Mr0 = L(H ). Por em, como 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 15.3. Podemos agora reunir os resultados que provamos acima e passar a ` Prova do Teorema 15.2. Seja H um subgrupo fechado de GL( , 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 15.3, basta provarmos que H e um grupo de Lie. Pelo Teorema 4.4, podemos encontrar ca aberta W de em GL( , n) tais que uma vizinhan ca aberta de V de 0 em Mat ( , n) e uma vizinhan 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 k , k sendo a dimens ao de L(H ). Dessa forma como exp : VH WH e 1 uma bije ca o, exp : 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 : V H 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( , n) e tamb em devido ao fato de exp : VH WH ser um difeomorsmo. A demonstra ca o do Teorema 15.2 est a ent ao completa

Coment ario. Segundo [101], o Teorema 15.2 e devido a Cartan16 . Demonstra co es desse importante teorema podem ser encontradas em v arios livros-texto, como por exemplo [101] ou [106]. Devemos, por em, notar ao leitor e advertir o estudante que alguns textos (inclusive alguns cl assicos) apresentam certas falhas tanto no enunciado do teorema quanto na sua demonstra ca o, falhas essas que procuramos corrigir e evitar nas demonstra co es acima. Por exemplo, muitos autores esquecem-se de excluir do enunciado o caso (trivial) em que H e fechado mas discreto (grupos discretos obviamente n ao podem ser grupos de Lie), por vezes ressalvando isso apenas no correr da demonstra ca o. V arios textos apresentam demonstra co es incompletas (por exemplo, [124], [137] e mesmo parcialmente [106]), 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 [101] (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 [64].
16
Elie Joseph Cartan (1869-1951). E. J. Cartan foi um dos mais importantes contribuidores a ` teoria de grupos de Lie.
Cap tulo 15
844/1355
Um ponto importante do Teorema 15.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 15.2: Teorema 15.4 Todo subgrupo n ao-discreto H de um grupo de Lie G e tamb em um grupo de Lie, mas n ao necessariamente em rela ca o a ` topologia induzida por G em H . Como se v e, esse teorema generaliza o Teorema 15.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 15.4.3. A demonstra ca o do Teorema 15.4 teorema est a al em dos limites dessas notas e pode ser encontrada em textos como [106] ou [64]. * O Teorema 15.1, p agina 840, revela um sentido da rela ca o fundamental entre grupos de Lie e a lgebras de Lie. Ele mostra que e poss vel construir uma a lgebra 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 a lgebras de Lie associadas a seus sub-grupos uniparam etricos. Essa poss rela ca o se mostra particularmente relevante no estudo de representa co es de grupos de Lie. E vel provar (e faremos isso no exemplo do grupo SO(3) no Cap tulo 16) 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 a lgebra de Lie. Sucede que (devido a ` estrutura linear) e muito mais simples estudar as representa co es de uma a lgebra 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 ea lgebras 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 a lgebra de Lie dos seus geradores por aplica ca o da exponencia ca o.
15.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( , n) existe associada ao mesmo uma a lgebra de Lie a qual e (obviamente) uma sub- algebra de da a lgebra de Lie de GL( , n) que e Mat ( , n). Ser a a rec proca verdadeira, ou seja, se A e uma sub- algebra de Lie de Mat ( , 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 o seguinte: Seja a um n umero real irracional e seja a a lgebra de Lie formada pelas matrizes it 0 2 2 dadas por com t R. Exponenciando os elementos dessa a lgebra de Lie obtemos 0 iat

Cap tulo 15
845/1355
eit 0 com t R. Esse conjunto de matrizes forma certamente um grupo. Sucede, 0 eiat por em, que n ao se trata de um sub-grupo topologicamente fechado de GL( , 2), como veremos com um pouco mais de detalhe na Se ca o 15.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: as matrizes
Proposi c ao 15.7 Seja G um subgrupo fechado n ao-discreto de GL( , n) cuja a lgebra de Lie e L(G) e seja H um subgrupo (n ao discreto) de G. Seja L(H ) := {M Mat ( , n)| exp(tM ) H, t } e suponha que se saiba que L(H ) e um sub-espa co de L(G). Ent ao L(H ) e tamb em uma sub- algebra de L(G).

teremos esA etB esA H pois Prova. Sejam A, B L(H ). Ent ao e claro que para todos t e s sA tA sA tB sA H e um grupo e e , e H . Podemos escrever e e e = exp tesA BesA e isso prova que esA BesA L(H ) para todo s . Como por hip otese L(H ) e um sub-espa co de L(G), L(H ) e fechado (pois estamos em dimens ao nita). Logo

L(H ) completando a prova.
1 sA sA e Be B s0 s lim
d sA sA e Be ds
= [A, B ],
s=0
Comparando a demonstra ca o acima com a do Teorema 15.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 15.5 Seja G um subgrupo fechado de GL( , n) cuja a lgebra de Lie e L(G) e seja h uma sub- algebra de Lie real de L(G). Ent ao existe um u nico sub-grupo conexo H de G cuja a lgebra de Lie e h. H e um grupo de Lie (em uma certa topologia).
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 849) discutiremos como H pode ser constru da a partir de h no caso dessa u ltima ser uma a lgebra de Lie nilpotente, o caso mais f acil de tratar.
15.4.1
Algebras de Lie Nilpotentes, Sol uveis, Simples e Semi-Simples
J a comentamos anteriormente que se A e B s ao matrizes n n 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 4, p agina 222. Essa f ormula permite expressar o produto exp(A) exp(B ) para duas matrizes A e B Mat ( , n) (ou Mat ( , n)) novamente como uma exponencial de matrizes: exp(A) exp(B ) = exp(A B ),

Cap tulo 15
846/1355
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 B = A + B + [A, B ] + [A, [A, B ]] + [B, [B, A]] + . 2 12 12 A express ao completa encontra-se em (4.46) a ` p agina 249. Vamos agora fazer uma pausa e, antes de entrarmos na discuss ao das conseq u encias da f ormula de Baker-Campbell-Hausdor e da exponencia ca o de a lgebras de Lie e sua rela ca o com grupos de Lie, vamos nos dedicar a discutir alguns aspectos alg ebricos das a lgebras 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 a lgebra de Lie. Vamos aproveitar a oportunidade para introduzir algumas no co es alg ebricas muito empregadas no estudo de a lgebras de Lie. Falaremos da sua relev ancia adiante. No que segue trataremos apenas de a lgebras de Lie sobre o corpo dos n umeros reais ou complexos. Seja L uma a lgebra 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] = {[a, b], a A, b B} . (15.11) Algebras de Lie Nilpotentes Seja uma a lgebra de Lie L. Com a nota ca o acima, denotaremos por L[n] , n = 0, 1, 2, . . ., a seq u encia [0] [n] [n1] de conjuntos obtida da seguinte forma: L := L e L = [L, L ], n = 1, 2, . . .. Ou seja, L[0] := L, L[1] := [L, L[0] ] = [L, L], L[2] := [L, L[1] ] = [L, [L, L]], L[3] := [L, L[2] ] = [L, [L, [L, L]]], . . . etc. lgebra de Lie e dita ser nilpotente se L[m] = {0} para algum m. Deni c ao. Uma a O menor m para o qual L[m] = {0} e dito ser o grau ou ndice da a lgebra de Lie nilpotente. Note-se [m] [m ] que se L = {0} ent ao L = {0} para todo m > m. Um exemplo de a lgebra de Lie nilpotente e a a lgebra 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 a lgebra foi apresentada e discutida na Se ca o 14.2.2 a ` p agina 726.
Cap tulo 15
847/1355
H a v arias raz oes por que as a lgebras de Lie nilpotentes s ao relevantes. Uma delas est a no fato de as a lgebras de Lie nilpotentes serem igualmente a lgebras 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 a lgebras de Lie nilpotentes na seguinte observa ca o: para uma a lgebra de Lie nilpotente a s erie de Baker-Campbell-Hausdor em (4.46) e (4.47) 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 a lgebra de Lie nilpotente que apresentamos acima, existe a no ca o de a lgebra de Lie sol uvel. Para uma a lgebra 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, L(1) := [L(0) , L(0) ] = [L, L], L(2) := [L(1) , L(1) ] = [[L, L], [L, L]], . . . etc. lgebra de Lie e dita ser sol uvel se L(m) = {0} para algum m. Deni c ao. Uma a Para qualquer a lgebra de Lie L e bastante evidente, pelas deni co es, acima que L (n) L[n] . De (0) [0] (1) [1] (n) [n] fato, L = L e L = L e, se L L 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 a lgebra de Lie nilpotente e tamb em sol uvel. A rec proca dessa u ltima arma ca o e falsa: nem toda a lgebra de Lie sol uvel e nilpotente. Considerese com exemplo a a lgebra de Lie bidimensional com geradores 1 e 2 satisfazendo [1 , 2 ] = 2 . Essa a lgebra n ao e nilpotente, pois [1 , [1 , [ , [1 , 2 ]]]] = 2 . Por em, essa a lgebra e sol uvel, pois [[1 , 2 ], [1 , 2 ]] = [2 , 2 ] = 0. Essa a lgebra aparecer a concretamente no exemplo discutido a ` p agina 853. H a v arias raz oes por que as a lgebras 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 a lgebra de Lie, dizemos que e um sub-espa co vetorial J de L e uma sub- algebra (de Lie) se [J, J] J. Se L e uma a lgebra de Lie, dizemos que um sub-espa co vetorial I de L e um ideal se [L, I] I.
Cap tulo 15
848/1355
Pela deni ca o, todo ideal de L e uma sub- algebra de Lie de L. As a lgebras de Lie nilpotentes e as sol uveis possuem muitos ideais. Contrapostas a `s mesmas est ao as chamadas a lgebras de Lie simples e semi-simples, que possuem poucos ideais. Deni c ao. Uma a lgebra de Lie L e dita ser simples se seus u nicos ideais forem {0} e a pr opria L. lgebra de Lie L e dita ser semi-simples se n ao possuir ideais sol uveis (que n ao {0}). Deni c ao. Uma a bem claro que toda a E lgebra de Lie simples e semi-simples. H a v arias raz oes por que as a lgebras 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 a lgebra de Lie L e dita ser a soma direta de duas de suas sub- algebras L 1 e L2 se [L1 , L2 ] = 0 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 a lgebra de Lie L e dita ser a soma semi-direta de duas de suas sub- algebras L 1 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 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. [101, 73]): Teorema 15.6 (Teorema de Levi) Toda a lgebra de Lie L de dimens ao nita e uma soma semidireta L = S R onde S e semi-simples e R sol uvel. A sub- algebra R acima e denominada radical de L. Exemplos. O chamado grupo Euclidiano17 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 ijk Jk k =1
17
L2 .
[Ji , Jj ] =
[Ji , Pj ] =
k =1
ijk Pk
[Pi , Pj ] = 0,
Euclides, de Alexandria (ci. 325 A.C., ci. 265 A.C.).
Cap tulo 15
849/1355
onde ijk e o s mbolo anti-sim etrico de Levi-Civita denido em (14.33), p agina 743. 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 tamb P e sol uvel (pois e Abeliana) e que J e simples (e, portanto, semi-simples). E em imediato que L = P J. * O teorema de Levi nos diz que o estudo geral de a lgebras de Lie, e conseq uentemente, de grupos de Lie, reduz-se ao estudo das a lgebras de Lie sol uveis (dentre as quais est ao as nilpotentes) e das a lgebras de Lie semi-simples. Um dos resultados mais importantes da teoria das a lgebras de Lie e uma c elebre 18 classica ca o completa de todas as a lgebras de Lie semi-simples, feito devido a Killing e a Cartan19 . Para o caso das a lgebras sol uveis uma classica ca o completa est a ainda longe de ser alcan cada.
15.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 (4.46). H a, por em, uma classe de a lgebras de Lie para a qual essa quest ao n ao e importante, as chamadas a lgebras de Lie nilpotentes, das quais trataremos agora. Grupos de Lie Nilpotentes A import ancia das a lgebras de Lie nilpotentes no contexto da f ormula de Baker-Campbell-Hausdor (4.46), p agina 249, e a seguinte. Se L Mat ( , n) e uma a lgebra de Lie nilpotente de grau m de matrizes, ent ao para quaisquer A, B L teremos que A B denida em (4.46) e uma soma nita, contendo no m aximo comutadores m ultiplos de ordem m.
Com isso, vemos que para uma a lgebra de Lie nilpotente de matrizes L Mat ( , n) n ao existe o problema da converg encia da s erie de (4.46), 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.
Proposi c ao 15.8 Seja G um subgrupo de Lie de GL( , n) e LG Mat ( , n) sua a lgebra de Lie. Vamos supor que LG seja nilpotente. Ent ao o produto denido pela f ormula de Baker-CampbellHausdor e associativo. Fora isso, a a lgebra 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 m i i i s ao n umeros complexos. Como a soma de comutadores que ocorre escrever A = k=1 k Lk , onde k na f ormula de Baker-Campbell-Hausdor e nita, conclu mos que
m m
(A A ) A =
k =1
18 19
pk ()Lk
A (A A ) =
k =1
qk ()Lk ,
Wilhelm Karl Joseph Killing (1847-1923). Elie Joseph Cartan (1869-1951).
Cap tulo 15
850/1355
i onde pk () e qk () s ao polin omios nas vari aveis 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 i vari aveis j est ao restritas a algum aberto de .
Sejam Gi = exp(Ai ), i = 1, 2, 3, elementos de G. Como o produto do grupo e associativo, temos 1 2 3 1 2 3 (G1 G2 )G3 = G1 (G2 G3 ) e, portanto, exp((A A ) A ) = exp(A (A A )). Se escolhermos as i vari aveis j sucientemente pr oximas de zero, teremos pk () e qk () igualmente pr oximas de zero 1 (conven ca-se disso checando a f ormula de Baker-Campbell-Hausdor) e, portanto, (A A2 ) A3 e A1 (A2 A3 ) podem ser ambas feitas menores que ln 2. Pela Proposi ca o 4.5, p agina 231, podemos tomar o logaritmo das exponenciais acima e concluir que (A1 A2 ) A3 = A1 (A2 A3 ). Assim,

pk ()Lk =
k =1 k =1
qk ()Lk
i pelo menos para j pequenos o suciente. Como os elementos Lk da base s ao linearmente independentes, i conclu mos que pk () = qk () para todo k = 1, . . . , m, pelo menos quando os j s ao pequenos o i suciente. Como pk e qk s ao polin omios, isso vale para todos j . 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-Campbell-Hausdor 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 ( , n) uma a lgebra 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 ( , 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 ao sua inversa de GL( n). De fato, exp(L), pois, 0 L. Se G = exp(A) com A L, ent 1 e G = 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-CampbellHausdor, G1 G2 = exp(A1 A2 ) exp(L), pois A1 A2 L.

A conclus ao e que a partir de uma a lgebra de Lie nilpotente L podemos construir um grupo, importante denominado grupo de Lie associado a `a lgebra L pelo procedimento de exponencia ca o. E notar que L 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 a lgebra de Lie e vamos supor que LG seja nilpotente. Considere, para algum > 0
Cap tulo 15
851/1355
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 L k
, com |i | <
para todo i = 1, . . . , m ,
onde L1 , . . . , Lm formam uma base em LG . U e que se g = Note-se que V e um subconjunto aberto de LG . Note-se tamb em que m m 1 exp ( k=1 k Lk ) U ent ao g = exp ( k=1 k Lk ) U . Assim, se provarmos que U e aberto poderemos usar a Proposi ca o 15.3, p agina 826.
m Se for pequeno o suciente poderemos garantir que < ln 2 sempre que |i | < para k =1 k Lk m todo i = 1, . . . , m e, pela Proposi ca o 4.5, p agina 231, teremos ln (exp ( m 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 4.3, p agina 229) conclu mos que U e igualmente aberto.
Logo, pela Proposi ca o 15.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 a lgebra 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( , n) e se sua a lgebra 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 727.
Observa ca o 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 15.3), podendo eventualmente crescer arbitrariamente quando g varia no grupo. Por em, como a a lgebra LG e nilpotente, o produto l1 ln est a sempre denido para qualquer n. Observa ca o 2. Nas circunst ancias descritas acima, e f acil constatar que a fun ca o exponencial exp : LG G e um isomorsmo do grupo (LG , ) em G. Grupos de Lie com a lgebras de Lie nilpotentes n ao s ao os u nicos grupos de Lie para os quais vale que poss todo seu elemento pode ser escrito como exponencial de um elemento da sua a lgebra de Lie. E vel mostrar que grupos de Lie compactos com a lgebras de Lie semi-simples tamb em t em essa propriedade. Para uma demonstra ca o vide, por exemplo, [124]. Vimos isso de modo expl cito quando tratarmos dos grupos SO(3), SU(2), SL( , 2), SU(n) e SO(n) no Cap tulo 14.
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 a lgebra de Lie. Tal e, por exemplo, o caso do grupo de Lie GL( , 2), cuja a lgebra de Lie e Mat ( , 2). A exponencial de matrizes reais 2 2 e sempre formada por matrizes com determinante positivo (pela Proposi ca o 4.7, p agina 234), enquanto que GL( , 2) possui tamb em matrizes com determinante negativo. Vide Proposi ca o 4.10, p agina 236.

Por em, como veremos no exemplo discutido em detalhe a ` p agina 853, n ao basta que um grupo de Lie seja conexo para que todos os seus elementos possam ser escritos como exponenciais de elementos
Cap tulo 15
852/1355
de sua a lgebra 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 853. 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 a lgebra de Lie, usando um procedimento semelhante ao que empregamos quando discutimos acima o caso de a lgebras de Lie nilpotentes. Constr oi-se primeiramente uma vizinhan ca U da identidade que seja sim etrica (ou seja, se g U ent ao 1 g U ) por exemplo a vizinhan ca na qual a f ormula de Baker-Campbell-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 e em geral um grupo de Lie simplesmente conexo que e um recobrimento do grupo original G.
15.4.3
Alguns Exemplos Especiais
Um subgrupo conexo n ao-fechado de GL( , 2) Exibiremos aqui um exemplo de um sub-grupo conexo n ao-fechado de GL( , 2) o qual e um grupo de Lie mas n ao e um subgrupo de Lie de GL( , 2). Isso signica que a topologia que faz desse subgrupo Ha um grupo de Lie n ao e a topologia induzida por GL( , 2) em Ha .

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: Ha := eit 0 , 0 eiat t
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 Ha . Considere 1 0 tn = (2n+1) com n . As matrizes de Ha correspondentes a esses valores de t s ao . 0 ei2a(2n+1) Sucede que, como a e irracional, os n umeros complexos da forma ei2a(2n+1) , com n , formam um conjunto denso em todo o c rculo unit ario do plano complexo20 . Assim, existe uma sub-seq u encia nk i2a(2nk +1) tal que e 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.

eit 0 ,a 0 eiat qual induz a topologia usual de 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 . Por outro lado, e claro que h a uma aplica ca o bijetora de

em Ha dada por
H a uma maneira geom etrica de entender o que est a acontecendo nesse grupo. Considere o seguinte
20 O 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 [56].
Cap tulo 15
853/1355
grupo de Lie de matrizes 2 2: T := eit 0 , t, s 0 eis
Esse grupo de Lie (a dois par ametros reais) pode ser visualizado como um toro bidimensional (pois e it is o produto cartesiano de dois c rculos: o c rculo e com t e o c rculo e com s ). 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 H a na topologia da norma das matrizes e o grupo T .

Se imaginarmos um aberto no toro, veremos que este intercepta a curva que corresponde a H a 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 a lgebra de Lie, ou seja, a exponencial de sua a lgebra de Lie n ao e sobrejetora no grupo. Seja um n umero real irracional21 xo. Vamos considerar o seguinte conjunto de matrizes complexas 2 2: H := {h(t, z ), t , z } ,

eit z . 0 eit Armamos que H e um sub-grupo de GL( , 2). De fato, h(t, z ) :=

onde
(15.12)
= h(0, 0) H , e
h(t, z )h(t , z ) = h(t + t , zeit + z eit ) H h(t, z )1 = h(t, zei(1+)t ) H . E. 15.11 Exerc cio. Verique! H e um grupo de Lie conexo parametrizado por t a ` variedade conexa . O homeomorsmo de (15.12), isto e, h : H ,

e z . De fato, o grupo H e homeomorfo em H e dado pela fun ca o h denida em
(t, z ) h(t, z ) :=
eit z . 0 eit
Claramente, h e cont nua (certo?). Vamos mostrar que h e bijetora. Suponha que existam (t, z ) e (t , z ) tais que h(t, z ) = h(t , z ), ou seja,
eit z 0 eit
21
eit 0
z e
it
Como veremos abaixo, e crucial para a constru ca o desejada que n ao seja racional.
Cap tulo 15
854/1355
Isso implica as tr es seguintes condi co es simult aneas: eit = eit eit = eit z = z. As rela co es (15.13) e (15.14) implicam t = t + 2k respectivamente, para k, l da segunda, ter amos

(15.13) (15.14) (15.15)
t = t + 2l,
. Assim, multiplicando-se a primeira igualdade por e subtraindo-se k = l
para k, l . 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 (15.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 h(t, z ) z =
t=z =0
i 0 , 0 i 0 1 . 0 0
2 = E. 15.12 Exerc cio. Verique!
=
t=z =0
Um elemento gen erico da a lgebra de Lie L(H ) associada a H e, portanto, da forma h(, w ) := 1 + w2 = com
i w 0 i
ew .
que a algebra de Lie L(H ) E. 15.13 Exerc cio. Constate que [1 , 2 ] = i(1 )2 . Conclua da 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 (i )2 w (i )(1 + ) h(, w )2 = 2 0 (i ) h(, w )3 = (i )3 0 w (i )2 (1 + + 2 ) (i )
3
e que
Cap tulo 15
855/1355
Por indu ca o, v e-se tamb em que h(, w )

n
n1 n1 p=0
para todo n 1. Na u ltima igualdade usamos a bem conhecida f ormula da progress ao geom etrica. E. 15.14 Exerc cio importante. Mostre isso! Dessa forma, obtemos
(i ) = 0
w (i )
(i )n
(i ) = 0
1 n w (i ) 1 , n (i )
n1
exp(h(, w )) =
+
n=1
1 h(, w )n n! 1 (i )n n!
1 + n=1 = 0 = ei 0
w
n=1
1 (i )n1 n!
1+
n=1
onde
wf ( ) , i e
1 n 1 1 n (i ) n!
f ( ) :=
n=1
1 (i )n1 n!
1 n 1
Vamos agora expressar melhor a fun ca o f ( ). Note-se que f (0) = 1 e que, para = 0,
n=1
1 (i )n1 n!
1 n 1
1 1 1 1 1 1 ei 1
n=1
1 1 (i )n1 (i )n1 n! n ! n=1 ei 1 i
ei 1 i ei ei i
ei(1) 1 i
Cap tulo 15
856/1355
Assim, f ( ) =
1,
para = 0, ei(1) 1 i ei 0 , para = 0 wf ( ) e

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

exp(h(, w )) =
(15.16)
h ou seja,
2 , z 1 z ei 1
2
= exp(h(, w )), wf ( ) . i e
ei 1 0
Isso s o e poss vel se as seguintes tr es condi co es forem satisfeitas simultaneamente: ei 1 = ei , ei 1 = ei , z = wf ( ). As condi co es (15.17) e (15.18) implicam = e 2 + 2k 1
2 2
ei 0
(15.17) (15.18) (15.19)
respectivamente, com k, l
2 + 2l, 1 . 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
Cap tulo 15
857/1355
Ocorre agora, por em, que inserindo-se esse valor de no lado direito de (15.19) obtemos wf 2 1 ei 1 = w 1
2
ei(1) 1 1 i 12
= w ei 1
e2i 1 2i
= 0
e, conseq uentemente, (15.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 a lgebra de Lie L(G) associada a um grupo de Lie G n ao coincide com o grupo G. E. 15.15 Exerc cio. Seja um grupo de Lie simplesmente conexo G, cuja algebra de Lie e L. Um teorema devido a Dixmier [64] arma, entre outras coisas, que exp(L) = G se exp for injetora. Mostre que (, w ) exp(h(, w )) denida em (15.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 a lgebra de Lie L(H ), a saber, da forma exp(h(, 0)) exp(h(0, w )) . De fato, e bem f acil ver que h(t, z ) = eit z 0 eit = eit 0 0 eit 1 eit z 0 1 = exp(h(t, 0)) exp(h(0, eit z )).

Grupos de Lie e Álgebras de Lie - Uma Breve Introducao

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Grupos de Lie e Álgebras de Lie - Uma Breve Introducao

Diunggah oleh

Hak Cipta:

Format Tersedia

Cap tulo 15 Grupos de Lie e Algebras de Lie.

Uma Breve Introdu c ao

15.3.2 O Grupo de Lie GL( , n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 829

15.4.3 Alguns Exemplos Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . 852

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Variedades e Grupos de Lie

e uma bije ca o cont nua com inversa

e innitamente diferenci avel como fun ca o de (um sub-conjunto de)

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

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

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

\ {0}, ) (o grupo multipli-

E. 15.3 Exerc cio.

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

Breves Considera co es sobre Grupos Topol ogicos

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

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

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

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

Por indu ca o, segue facilmente que todo U n e aberto.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Grupos de Lie Matriciais

Uma Topologia M etrica em GL( , n)

GL( , n) e um Conjunto Aberto de Mat( , n)

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

GL( , n) e denso em Mat( , n)

O Grupo de Lie GL( , n)

Sejam G, G , H GL( , n). Temos que

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

Assim, como pela escolha de G

< 1, podemos escrever

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Vamos agora mostrar que GL( , n) e uma variedade anal tica.

Seja, para cada > 0, o sub-conjunto C de

:= {(x11 , . . . , x1n , x21 , . . . , x2n , . . . , xn1 , . . . , xnn )

com |xij | <

para todos i, j = 1, . . . , n}.

Seja agora g uma matriz arbitr aria de GL( , n) e seja

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

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

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

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

g g ij (gA(x)) = ij (g + gX )) := (gX )ij ,

GL( , n) e Grupo de Lie

Karl Neumann (1832-1925).

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Sub-Grupos Uniparam etricos e seus Geradores

. Note que de (15.2) segue automaticamente que (0) =

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

0. Uma escolha conveniente da constante K garante que

(u) (t) (u)du

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