Grupos de Lie e Algebras de Lie. Uma Breve

Captulo 22
Grupos de Lie e Algebras de Lie. Uma Breve

Introduc
ao
Conte
udo
22.1 Variedades e Grupos de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1104
22.2 Breves Considera c
oes sobre Grupos Topol ogicos . . . . . . . . . . . . . . . . . . . . . . . . 1106
22.3 Grupos de Lie Matriciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1108
22.3.1 Uma Topologia Metrica em GL(C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1108
22.3.2 O Grupo de Lie GL(C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1109
22.3.3 Subgrupos Uniparametricos e seus Geradores . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1111

22.3.4 Subgrupos Uniparametricos e Algebras de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . 1114
22.3.5 Subgrupos Fechados de GL(C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1118
22.4 A Relac
ao entre Grupos de Lie Matriciais e suas Algebras de Lie . . . . . . . . . . . . . . 1121

22.4.1 Algebras de Lie Nilpotentes, Sol
uveis, Simples e Semi-Simples . . . . . . . . . . . . . . . . . . 1122
22.4.2 Questoes sobre a Exponenciac
ao de Algebras de Lie . . . . . . . . . . . . . . . . . . . . . . . . 1124
22.4.3 Alguns Exemplos Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1126
E ste captulo tenciona ser uma modesta introducao ao estudo de grupos de Lie. Com particular destaque discu-
tiremos grupos de Lie matriciais. Algumas observacoes previas sao necessarias. Para a discuss
geral de grupo de Lie sao indispens aveis algumas nocoes b
especial e a nocao de variedade diferenci
um papel importante em varias
ceito de variedade diferenci
ao do conceito
asicas sobre espacos topologicos mas, de import
avel. Esse importante conceito, proveniente da Geometria, desempenha
ancia
areas de Fsica, tais como a Teoria da Relatividade Geral e as Teorias de Calibre. O con-
avel nasceu inspirado na nocao mais familiar de superfcie em espacos Rn e n ao se desvincula
totalmente daquela. N ao pressuporemos da parte do leitor conhecimento previo 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 captulo e,
para tal, remetemos o estudante interessado ao Captulo 33, p agina 1514, e aos (in
umeros) bons livros sobre Geometria
Diferencial, por exemplo [190].
Iremos nos concentrar em exemplificar o conceito de grupo de Lie tratando primordialmente de grupos de Lie ma-
triciais. Isso simplifica um pouco o tratamento e reduz um tanto o escopo destas notas introdutorias. No entanto, a
grande maioria dos grupos de Lie de interesse (especialmente em Fsica) e formada por grupos de Lie matriciais. Para
o tratamento de grupos de Lie matriciais discutiremos com certo detalhe aspectos algebricos e topologicos 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
pretensoes aqui sao a de uma modesta introducao a esse vastssimo assunto. Para tratamentos gerais e abrangentes
de grupos de Lie recomendamos as referencias [198], [188], [41], [138], [256], [108] ou [225]. Para algebras de Lie,
recomendamos [122] e [215].
Varios grupos de Lie sao importantes na Fsica e seu tratamento e particularmente importante na Mecanica Qu
antica
e nas Teorias Qu anticas de Campos. Exemplos de grupos de Lie importantes para a Fsica sao discutidos com certo
detalhe no Captulo 21, tais como os grupos SO(3), SU(2) e o grupo de Lorentz.
22.1 Variedades e Grupos de Lie
Variedades diferenci
aveis
Uma variedade diferenci avel real de dimensao n e um espaco topologico Hausdorff segundo-cont
avel V dotado de uma
famlia de abertos F = {U , } com as seguintes propriedades:
1104
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 22 1105/2103
S
1. V = U .
2. Para cada U F existe um conjunto aberto C de Rn e uma bijecao contnua com inversa contnua : U C .
3. Para todo par U , U F com U U 6= a funcao
1
: (U U ) (U U )
avel como funcao de (um subconjunto de) Rn em Rn .

e infinitamente diferenci
Vide Captulo 33, p

agina 1514.
Uma variedade analtica complexa de dimensao n e definida analogamente, substituindo-se Rn por Cn e substituindo-
se a condicao de diferenciabilidade infinita do item 3, acima, por analiticidade.
Observac
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 finito ou n
ao, cont
avel ou n
ao.
Observacao 2. As funcoes 1
de acima sao denominadas func oes de transicao. Em uma variedade k-
diferenci
avel exige-se apenas que as funcoes de transicao sejam k-vezes diferenci
aveis. Esses objetos tem, porem,
interesse relativamente limitado.
Observac
ao 3. Os pares ( , U ) sao freq uentemente denominados cartas locais da variedade ou simplesmente
cartas. A colecao das cartas e freq
uentemente denominada atlas.
Vamos à interpretacao das condicoes acima. A condicao 1 diz apenas que a famlia {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 pertencam a varios elementos da famlia F, ou seja, os elementos de F podem ter interseccoes n ao-vazias.
A condicao 2 e importante e diz que os elementos de cada U podem ser rotulados (univocamente) por uma n-upla de
numeros 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 varios U s e, portanto,
podem ter a si atribudas coordenadas diferentes, uma para cada U ao qual pertence. Assim, os pontos de U U
tem a si atribudos pelo menos dois sistemas de coordenadas: as coordenadas C de U e as coordenadas C de U . A
condicao 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 definida pela funcao 1 , seja infinitamente diferenci
avel (ou
analtica).
Como mencionamos, a conceito de variedade foi inspirado na nocao de superfcie em conjuntos como Rn e Cn . Sem
entrarmos em detalhes tecnicos, toda superfcie em Rn convenientemente definida (tais como a superfcie 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 funcao implcita da analise real. Note-se porem que variedades n ao sao apenas conjuntos
de pontos, como as superfcies de Rn o sao, podendo ser tambem conjuntos de outros tipos de objetos, como funcoes,
curvas, vetores, matrizes etc. A ideia intuitiva b
asica em torno da nocao de variedade e que a mesma representa uma
colecao contnua de objetos que podem ser rotulados por sistemas de coordenadas e de tal forma que possamos, ao menos
localmente, manipular essas coordenadas de modo (infinitamente) diferenci avel, como se faz em Rn .
a b

E. 22.1 Exerccio. Mostre que o conjunto de matrizes R = b a , a, b R com det(R) = 1 e uma variedade dife-
renciavel de dimensao 1. 6
Grupos topol
ogicos
Vamos agora apresentar a definicao de grupo topol
ogico, da qual precisaremos para discutir grupos de Lie.
Seja G um grupo. Para cada g G podemos definir uma funcao g : G G por g (h) := gh. Fora isso tem-se
tambem em G a funcao inv : G G definida por inv(h) := h1 .
Defini c
ao. Um grupo G e dito ser um grupo topol ogico em relacao a uma topologia definida em G se nessa topologia
a funcao inv e todas as funcoes g forem contnuas.
Coment
ario. Podemos definir tambem para cada g G a funca
o g : G G por g (h) = hg, que representa a multiplicaca
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 funco
es g s
ao tamb
em contnuas.
atica Vers
Coment
ario. Um grupo pode ser topol
ogico em relaca
o a uma topologia mas n
ao em relaca
o a outra. Veremos exemplos.
Informalmente, um grupo G e topol

ogico se as operacoes de produto por elementos do grupo e inversao forem
contnuas.
Em termos mais precisos um grupo topol ogico e formado por um grupo G e uma colecao G de subconjuntos de G,
G P(G), satisfazendo as condicoes definidoras de um Espaco Topologico (vide Captulo 27):
1. G e G G,
2. Se A G e B G ent
ao A B G,
[
3. Se I e um conjunto arbitrario de ndices e A G para todo I ent
ao A tambem e um elemento de G,
I
e tais que para todo O G as imagens inversas inv 1 (O) e 1

g (O), para todo g G, s
ao igualmente elementos de G.
Os elementos de G sao ditos ser os conjuntos abertos de G. Como em geral se faz em espacos topologicos, um conjunto
F G e dito ser fechado se seu complementar G \ F for aberto.
Grupos de Lie
Um grupo topologico que, enquanto espaco topologico, seja uma variedade real diferenci avel (complexa analtica)
e dito ser um Grupo de Lie1 real (complexo) se as operacoes de multiplicacao à direita e inversao forem infinitamente
diferenci
aveis (analticas).
E. 22.2 Exerccio. Verifique que (R, +) (o grupo aditivo dos reais) e (R+ \ {0}, ) (o grupo multiplicativo dos reais
nao-negativos) sao grupos de Lie reais. 6
a b

E. 22.3 Exerccio. Verifique que R = b a , a, b R com det(R) = 1 e um grupo de Lie real. 6
Na Secao 22.3.2, p
agina 1109, 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 Captulo 21.
22.2 Breves Consideraco

es sobre Grupos Topol
ogicos
Nesta secao nos limitaremos a apresentar alguns poucos resultados sobre grupos topologicos, dos quais faremos uso
adiante ao tratarmos de grupos de Lie. O estudo de grupos topologicos gerais e bastante vasto e para um texto classico
recomendamos fortemente [198].
Introduzimos aqui a seguinte notacao. Seja G um grupo topologico. Se U e algum subconjunto de G e g G definimos
gU := {x G| x = gu para algum u U } .
Analogamente,
U g := {x G| x = ug para algum u U } .
E. 22.4 Exerccio. Se U e um conjunto aberto de G mostre que para todo g G os conjuntos gU e U g sao tambem
conjuntos abertos de G. 6
Grupos topol
ogicos conexos e desconexos
Um grupo topologico H e dito ser desconexo se for a uniao 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 6= , B 6= , onde A e B sao abertos
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 equaco
es
diferenciais parciais.
atica Vers
Alguns fatos sobre grupos topol

ogicos
Vamos aqui provar alguns fatos b asicos sobre grupos topologicos gerais. Faremos uso da Proposicao 22.3 abaixo
quando falarmos da relacao 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 proposicao e relevante nesse contexto.
Proposi c
ao 22.1 Seja H um grupo topol
ogico e G um subgrupo aberto de H. Ent
ao G e igualmente um subgrupo
fechado de H. 2
Prova. Seja g G, onde G e o fecho de G. Ent ao, se Ug e qualquer aberto de H que contem g , tem-se Ug G 6=
agina 1299). Vamos escolher cuidadosamente um tal aberto Ug . Seja Ue um aberto de H que
(Proposicao 27.8, p
contem 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 6= existe algum elemento g G que e tambem 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 22.2 Seja H um grupo topol
ogico conexo e G um subgrupo aberto de H. Ent
ao G = H. 2
Prova. Vamos supor que G 6= H, ou seja, H \ G 6= . Como G e um conjunto aberto e fechado (pela proposicao anterior)
H \ G = H Gc e um conjunto aberto e fechado. Assim, H e a uniao disjunta de dois conjuntos abertos e fechados, a
saber G e H \ G. Isso e uma contradicao com o fato de H ser conexo. Logo, G = H.
Proposi c
ao 22.3 Seja H um grupo topologico conexo e U um aberto de H que contem a identidade e que seja tal que
para todo u U tem-se u1 U . Ent
ao,
[
H = Un ,
n=1
n o

onde U 1 := U e U n := x H x = un u1 para ui U, i = 1, . . . , n , n > 1. 2
Prova. Todos os conjuntos U n sao conjuntos abertos. Isso e facil de se ver. De fato,
[
U2 = u2 U
u2 U
e, assim, U 2 e aberto, pois e uma uni

ao de abertos (vide exerccio a` p
agina 1106). Analogamente,
[
Un = un U n1 , n>2. (22.1)
un U
Por inducao, segue facilmente que todo U n e aberto.

S
Assim U := n=1 U n e igualmente um conjunto aberto (por ser uma uniao de abertos). Se provarmos que U e um
grupo, a proposicao anterior garante a prova desejada.
E evidente que U contem 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 , mostrando que g1 g2 U n1 +n2 U.

Finalmente, se g U n e g = un u1 , ent ao g 1 = u1 1 n
1 un U U. Isso completa a prova que U e um grupo.
Informalmente, essa proposicao diz que se H e um grupo topologico conexo, ent

ao qualquer aberto U que contem a
identidade gera o grupo H, ou seja, todo elemento de H pode ser escrito como o produto finito de elementos de U.
Observac
ao. e um elemento de U , segue facilmente de (22.1) que U n1 U n para todo n 1.
Como a identidade e
atica Vers
ogico. Dizemos que uma colecao de conjuntos abertos A H, , e um recobrimento de

Seja H um grupo topol
H se [
H = A .

Um grupo topologico e dito ser compacto2 se possuir a seguinte propriedade: para todo recobrimento A H, ,
de H existir um subconjunto finito A1 , . . . , An de conjuntos abertos que tambem e um recobrimento de H:
H = A1 An .
A seguinte proposicao e imediata:

Proposi c
ao 22.4 Seja H um grupo topol ogico conexo e compacto e seja U um aberto de H que contem 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.
S
Prova. Como H e conexo, pela Proposicao 22.3 tem-se H = n=1 U n . O lado direito e, portanto, um recobrimento de H
por abertos. Assim, como H e compacto, H tem um recobrimento finito pelos abertos U n : existem n1 < n2 < < nk
tais que H = U n1 U nk . Como U n1 U nk , tem-se H = U nk , como queramos provar.
Coment
ario. o acima, a igualdade H = U n afirma que todo elemento de H
Na proposica 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.
22.3 Grupos de Lie Matriciais

Nosso objetivo nesta secao e nas que se seguem e introduzir os grupos de Lie matriciais e discut-los. Trataremos de
alguns exemplos ilustrativos com algum detalhe, comecando com o grupo GL(C, n). Comentemos que essencialmente
todas as nossas afirmacoes adiante sobre GL(C, n) sao tambem validas para o grupo real GL(R, n).
22.3.1 Uma Topologia M

etrica em GL(C, n)
Como preparacao, facamos alguns coment arios topologicos sobre GL(C, n). A topologia metrica de Mat (C, n) discutida
na Secao 10.1, p
agina 440, pode ser introduzida naturalmente em GL(C, n), que afinal e um subconjunto de Mat (C, n),
ao definirmos para A, B GL(C, n) a metrica d(A, B) = kA Bk, sendo k k 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
de Mat (C, n). Isso se ve tomando o exemplo da
1/m 0
uencia de matrizes diagonais 2 2 da forma Am =
seq
, m N, seq
uencia 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)
e B e uma matriz tal que kB AkC e suficientemente pequena, entao B e inversvel e, portanto, tambem pertence a
2 Para a definica
o da noca
o de compacidade e suas propriedades, vide Seca
o 32.3, p
agina 1455.
3 Vide a definica
o de conjunto aberto em espacos m
etricos dada `
a p
agina 1211.
atica Vers

GL(C, n). Observemos que B = A 1 + A1 (B A) . Se provarmos que 1 + A1 (B A) e inversvel ent
ao teremos que
1 1
B existe, sendo dada por 1 + A (B A)
1 1
A .
Escolhendo B proximo o suficiente de A de modo que kB AkC < 1/kA1 kC ent
ao A1 (B A) ter
a norma menor
que 1 e, portanto, 1 + A (B A) tem uma inversa dada pela serie de Neumann convergente5
1 4

X
1 m
1 + A1 (B A) = 1+ (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. 22.5 Exerccio. Ha uma maneira alternativa rapida de provar que GL(C, n) e um conjunto aberto. Mostre que
det(A) e contnua como funcao dos elementos de matriz de A. Mostre que isso implica que det(A) e contnua na topologia
induzida em Mat (C, n) pela norma operatorial (em, verdade, por qualquer norma, pois sao 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 nao-nulo e notando que C \ {0} e um conjunto aberto em C. 6
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 inversvel. 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
autovalores distintos (r n). E claro que se 6 (A) ent ao det(1 A) 6= 0 e A 1 tem inversa (recorde que os
autovalores de A sao os zeros do polinomio caracterstico de A). Seja agora, n , n N, uma seq uencia de n
umeros
complexos tais que n 6 (A) para todo n, e tais que n 0 para n . Teremos que as matrizes An := A n 1 sao
todas inversveis e d(A, An ) = kA An k = |n | k1k = |n | 0 para n . Isso prova nossa afirmacao.
22.3.2 O Grupo de Lie GL(C, n)

Nesta secao 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 analtica, para entao mostrar que o produto e a inversao sao analticos. Esses
resultados, alem de importantes em si, servem ao prop osito pedag
ogico de ilustrar os conceitos de grupo topologico e de
variedade.
GL(C, n)
e um grupo topol
ogico
Para provarmos que GL(C, n) e um grupo topologico precisamos mostrar que o produto em GL(C, n) e a inversao
de matrizes em GL(C, n) sao operacoes contnuas.
Sejam G, G , H GL(C, n). Temos que
kG H GHkC = k(G G)HkC kG GkC kHkC ,
mostrando que kG H GHkC 0 se kG GkC 0. Assim, o produto à esquerda e contnuo.

Sejam agora G, H GL(C, n). Fixemos H e tomemos kG HkC < com > 0 escolhido pequeno o su-
ficiente de modo que kH 1 kC < 1. E claro que G = H + (G H) = H(1 + H 1 (G H)), de maneira que
1
G1 = 1 + H 1 (G H) H 1 . Logo,
n 1 o
G1 H 1 = 1 + H 1 (G H) 1 H 1 .
Assim, como pela escolha de temos kH 1 (G H)kC kH 1 kC < 1, podemos escrever

" #
X 1 m
1 1
G H = m
(1) H (G H) H 1 .
m=1
4 Karl Neumann (1832-1925).
5A 1
justificativa dessa express
ao foi apresentada na Seca
o 10.2. Note que a expans
ao de Taylor da funca
o analtica para |z| < 1 em
P m zm.
1+z
torno de z = 0 e precisamente 1 + m=1 (1)
atica Vers
A justificativa dessa expressao6 foi apresentada na Secao 10.2. Tem-se, ent

ao,
" #
X kH 1 k2C
1 1
kG H kC kH kC kG HkC kH 1 kC
1 m m
.
m=1
1 kH 1 kC
Portanto kG1 H 1 kC 0 quando kG HkC 0, provando a continuidade da operacao de inversao de matrizes. Isso
completa a prova que GL(C, n) e um grupo topol
ogico.
E. 22.6 Exerccio. Ha uma maneira alternativa rapida de provar que a operacao de inversao e contnua: use a regra de
Laplace, expressao (9.20), pagina 345, para calcular a inversa de uma matriz e evoque o fato que o determinante e contnuo.
6
GL(C, n)
e uma variedade analtica
2
Vamos agora mostrar que GL(C, n) e uma variedade analtica. Seja, para cada > 0, o subconjunto C de Cn
definido por
n 2
o
C := (x11 , . . . , x1n , x21 , . . . , x2n , . . . , xn1 , . . . , xnn ) Cn 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 1 + X por A(x). Obviamente A(x)ij = ij + xij , i, j = 1, . . . , n.
bem claro que cada C e um subconjunto aberto de Cn2 . Seja tambem U := {A(x) Mat (C, n)| x C }.
E
E. 22.7 Exerccio. Mostre que cada U e um subconjunto aberto de Mat (C, n). 6
E bem claro que para toda matriz A(x) como acima tem-se det(A(x)) = 1 + p(x), onde p(x) e um polinomio nas
variaveis xij que se anula quanto todas as xij sao nulas. Assim, se x C ve-se que det(A(x)) 6= 0 caso seja pequeno
o suficiente, pois isso garante que |p(x)| < 1. Portanto, se escolhermos pequeno o suficiente, teremos que U e um
subconjunto aberto de GL(C, n), o que suporemos daqui por diante.
Seja agora g uma matriz arbitraria de GL(C, n) e seja
Ug = {gA(x), com A(x) U } .
Pela notacao que apresentamos quando discutimos grupos topologicos, Ug = gU , e Ug e um aberto de GL(C, n). Fora
isso, g Ug , pois 1 = A(0) U . Conclumos que
[
GL(C, n) = Ug ,
gGL(C, n)
ou seja, GL(C, n) possui um recobrimento por abertos.

2
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) definirmos funcoes gij : Ug C por
gij (gA(x)) = gij (g + gX)) := (gX)ij , i, j = 1, . . . , n ,
ou seja,
n
X
gij (gA(x)) := gik xkj , i, j = 1, . . . , n ,
k=1
2
vemos facilmente que todo h Ug e da forma hij = gij + gij (gA(x)). Assim, o conjunto Cg Cn formado pelas
Pn
variaveis xij = k=1 gik xkj com xij C e um sistema de coordenadas para Ug .
6 Note 1 P m m
que a expans
ao de Taylor da funca
o analtica 1+z
1 para |z| < 1 em torno de z = 0
e precisamente m=1 (1) z .
atica Vers
Por fim, para todo h Ug Ug , teremos h = gA(x) = g A(x ), ou seja, A(x ) = (g )1 gA(x) e
n
X n
X
1
xij = ij + (g ) g ik (kj + xkj ) = (g )1 g 1 ij
+ (g )1 g ik
xkj ,
k=1 k=1
o que mostra que as coordenadas x sao expressas em termos de polinomios nas variaveis x. Portanto, a mudanca nas
coordenadas de Ug para as de Ug e expressa em termos de funcoes analticas (em verdade, polinomios). Isso provou que
GL(C, n) e uma variedade analtica.
GL(C, n)
e grupo de Lie
Para finalmente provarmos que GL(C, n) e um grupo de Lie, resta-nos provar que a multiplicacao à direita e a
inversao sao analticas. A primeira parte e elementar. Tomemos g, h GL(C, n). Os elementos de Uh sao da forma
hA(x) e os de gUh sao da forma ghA(x) Ugh . Agora, as funcoes de C em C dadas por
n
X
C x 7 gh
ij (ghA(x)) = (gh)ik xkj , i, j = 1, . . . , n ,
k=1
sao polinomios nas variaveis xij e, portanto, sao analticas. Assim, o produto e analtico.
Para provar que a inversao e analtica tomemos g GL(C, n). Um elemento generico de Ug e da forma gA(x) =
g(1 + X). Agora,

X
(gA(x))1 = (1 + X)1 g 1 = g 1 (1 + gY (x)g 1 ), com Y (x) := (1)m X m .
m=1
Cada elemento de matriz de Y (x) e uma funcao analtica dos xij , pois a serie de Neumann7 acima converge absolutamente
(claramente, temos que escolher pequeno o suficiente). Agora, as funcoes
1 1
C x 7 gij (gA(x))1 = gij g 1 (1 + gY (x)g 1 ) = gY (x)g 1 ij
sao funcoes analticas dos xij , provando que a aplicacao de inversao e analtica. Isso estabelece finalmente que GL(C, n)
e um grupo de Lie de dimensao n2 .
E. 22.8 Exerccio. Ha uma maneira alternativa rapida de provar que a operacao de inversao e analtica: use a regra de
Laplace, expressao (9.20), pagina 345, para calcular a inversa de uma matriz e evoque o fato que o determinante e analtico.
6
22.3.3 Subgrupos Uniparam

etricos e seus Geradores
Subgrupos uniparametricos sao muito importantes na teoria dos grupos de Lie. Vamos apresent
a-los no caso de matrizes.
Definiao. Um subgrupo uniparametrico de GL(C, n) e um homomorfismo contnuo8 do grupo (R, +) em GL(C, n).
c
Em outras palavras, e uma funcao que a cada t real associa continuamente uma matriz inversvel (t) de modo que
(t)(t ) = (t + t ) (22.2)
para todos t, t R. Note que de (22.2) segue automaticamente que (0) = 1 (por que?).
A import ancia dos subgrupos uniparametricos reside na seguinte proposicao, a qual tambem comeca a revelar a
relevancia das exponenciais de matrizes na teoria dos grupos de Lie.
Proposi ao 22.5 Seja : R GL(C, n) um subgrupo uniparametrico. Ent
c ao existe uma matriz M Mat (C, n),
univocamente definida, tal que (t) = exp(tM ) para todo t R. Esse fato, em particular, mostra que e real-analtica
avel) e que M = (0). A matriz M e dita ser o gerador do subgrupo uniparametrico .
(e, portanto, diferenci 2
7 Karl Neumann (1832-1925).

8 Vide nota `
a p
agina 1114.
atica Vers
Prova.9 Se supusessemos que e uma matriz diferenci

avel proximo a t = 0, teramos que para qualquer t

1 1

(t) = lim ((t + s) (t)) = (t) lim ((s) (0)) = (t) (0) .
s0 s s0 s
Definindo M := (0), concluiramos que satisfaz a equacao diferencial (t) = (t)M , cuja solucao e u
nica (vide
Captulo 13) e dada por (t) = exp(tM ), como queramos provar.
A demonstracao estaria completa, nao fosse o fato de que no enunciado supomos apenas que e contnua, o que em
geral nao implica que seja tambem diferenci no entanto, possvel provar que se e contnua, ent
avel em t = 0. E, ao
pelo fato de ser um homomorfismo de (R, +) segue que e tambem diferenci avel proximo a t = 0! A ideia e construir
a partir de uma funcao infinitamente diferenci
avel e posteriormente mostrar que pode ser recuperada de por
operacoes diferenci
aveis.
Para tal seja uma funcao real, positiva infinitamente diferenci
avel, com suporte compacto contendo t = 0 e tal que
Z
(s)ds = 1 .

Um exemplo de uma tal funcao seria (para a < 0 < b)

K exp 1
para s (a, b)
(sa)2 (sb)2 ,
(s) =

0, de outra forma,
R
que tem suporte [a, b] 0. Uma escolha conveniente da constante K garante que (s)ds = 1.
Assim, seja uma tal funcao desse tipo e com suporte em, digamos, [a, a] para algum a > 0, e seja
Z
(t) := (t s)(s)ds .

f
E acil (Exerccio!) ver que assim definida e infinitamente diferenci
avel. Fora isso,
Z Z Z Z
(t) = (t s)(s)ds = (u)(t u)du = (u)(t)(u)du = (t) (u)(u)du = (t)Y ,

R
com Y := (u)(u)du. Temos que
Z
Y 1 = (u)((u) 1)du ,

R
pois (u)du = 1, por hip
otese. Logo,
Z Z a Z a Z
kY 1kC (u) k(u) 1kC du = (u) k(u) 1kC du c (u) du = c (u) du = c ,
a a
onde c := supu[a, a] k(u) 1kC. Como e contnua e (0) = 1, podemos fazer c arbitrariamente pequena, escolhendo
P
a pequeno. Mas isso diz que Y = 1 (1 Y ) e inversvel, com Y 1 dado pela serie convergente m=0 (1 Y )m . Assim,
com a pequeno teremos (t) = (t)Y 1 , o que prova que (t) e infinitamente diferenciavel.
Defini
c
ao. O que essa proposicao provou e que todo subgrupo uniparametrico 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 uniparametrico em quest ao.
Comentemos brevemente que a Proposicao 22.5, que acabamos de provar, tem generalizacoes importantes na teoria
dos espacos de Hilbert e de Banach, onde e conhecida como Teorema de Stone10 . Vide, por exemplo, [200].
9 Extrada de [108]. A observaca
o de que no enunciado da Proposica o 22.5
e suficiente supor-se que o subgrupo uniparam
etrico
e apenas
contnuo (dispensando uma condica o de diferenciabilidade)
e devida a von Neumann (John von Neumann (19031957)).
10 Marshall Harvey Stone (1903-1989).
atica Vers
A cole
c
ao de todos os geradores de subgrupos uniparam
etricos
Seja G um subgrupo de GL(C, n). Seja definido o seguinte conjunto:
L(G) := {M Mat (C, n)| exp(tM ) G, t R} .
Analogamente, seja G um subgrupo de GL(R, n). Seja definido o seguinte conjunto:
L(G) := {M Mat (R, n)| exp(tM ) G, t R} .
Em palavras, L(G) e a colecao de todos os geradores de todos os subgrupos uniparametricos de G. E claro, pela
definicao, que L(G) contem sempre pelo menos a matriz nula (pois exp(t0) = 1 G, t R), mas n
ao e nem um pouco
evidente que esse n ao seja o unico 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 contnuo n ao e nada obvio que G possua subgrupos uniparametricos nao-triviais.
Logo abaixo estudaremos essa quest ao no caso do grupo GL(C, n) e, um pouco mais adiante, no caso de subgrupos
fechados (nao-discretos) de GL(C, n). Em tais casos veremos que L(G) n ao consiste apenas da matriz nula.
Chamamos a atencao do estudante para o fato que, para um grupo G generico, 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 uniparametrico de G. Na Proposicao 10.10,
p
agina 451, vimos que isso ocorre no grupo real GL(R, n), pois esse grupo n
ao e conexo, mas esse fenomeno pode ocorrer
mesmo em grupos conexos. Um exemplo sera discutido na p agina 1127, adiante.
A colecao de todos os geradores de todos os subgrupos uniparametricos de um dado grupo G e um objeto muito
importante, especialmente na teoria dos grupos deLie. Discutiremos esse fato adiante. No caso do grupo GL(C, n)
podemos facilmente identificar 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 colecao de todos os geradores de todos os subgrupos uniparametricos do grupo GL(C, n) sera denotada aqui por
L GL(C, n) ou por gl(C, n). Vamos identificar esse conjunto.
agina 451, demonstramos que todo elemento A GL(C, n) pode ser escrito na forma A =
Na Proposicao 10.11, p
exp(B) para algum B Mat (C, n). Conseq uentemente, A pertence ao subgrupo uniparametrico composto pelas matrizes
da forma exp(tB), t R. Assim, GL(C, n) possui subgrupos uniparametricos n ao-triviais. Reciprocamente, para todo
B Mat (C, n) o conjunto de matrizes
da forma exp(tB), t R, forma um subgrupo uniparametrico de GL(C, n).
Conclumos disso que L GL(C, n) = Mat (C, n).
Ja discutimos por diversas vezes (vide p
agina 97 e seguintes) que o conjunto Mat (C, n) e uma algebra de Lie com
relacao ao produto definido pelo comutador de matrizes. Um pouco mais adiante, veremos que esse fato e geral: o
conjunto de todos os geradores de um subgrupo fechado (nao-discreto) de um grupo de Lie e tambem uma algebra de
Lie. Esse fato e de import
ancia central na teoria dos grupos de Lie.
E. 22.9 Exerccio. Para a, b = 1, . . . , n e C, sejam ab (t), matrizes definidas da seguinte forma:

1 + tE ab , para a 6= b ,
ab
(t) := com t R .

1 + (et 1)E aa , para a = b ,

Aqui E ab e a matriz cujos elementos ij sao dados por E ab ij = i a j b , ou seja, E ab e a matriz cujos elementos de matriz
sao todos nulos, exceto o elemento ab, que vale 1. Mostre que as matrizes ab sao subgrupos uniparametricos de GL(C, n),
ou seja, que ab (t) sao contnuas e que ab (t)ab (t ) = ab (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 sao as matrizes E ab . Constate tambem explicitamente que

ab (t) = exp tE ab . 6
Note que a colecao formada por todas combinacoes lineares reais dos geradores dos subgrupos uniparametricos ab
de GL(C, n) coincide com Mat (C, n) (por que?).
atica Vers
E. 22.10 Exerccio. Como sao as relacoes de comutacao das matrizes E ab ? 6
Homomorfismos n
ao-contnuos de (R, +)
Contemplando a definicao de subgrupo uniparametrico que apresentamos acima, como sendo um homomorfismo
contnuo de (R, +) em um grupo G, o estudante pode legitimamente questionar se existem, afinal, homomorfismos n ao-
contnuos desse grupo que justifiquem a necessidade de evocar a condicao de continuidade na Proposicao 22.5. Talvez um
tanto surpreendentemente, a resposta e positiva. H a ate mesmo automorfismos n ao-contnuos de (R, +) em si mesmo, os
quais foram apresentados ` a pagina 136, onde discutimos a existencia de funcoes descontnuas 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 funcao f , e relativamente facil construir um
homomorfismo n ao-contnuo de (R, +) em um grupo G dado, caso conhecamos um homomorfismo contnuo de (R, +)
em G. De fato, se (t), t R, e um homomorfismo contnuo de (R, +) em G ent ao (f (t)), t R, e um homomorfismo
de (R, +) em G, mas que n ao e contnuo. Dada a artificialidade daquelas funcoes f , tais exemplos sao um tanto
patologicos, mas explicam a necessidade de incluir a condicao de continuidade na definicao de subgrupo uniparametrico
e na Proposicao 22.5, p agina 1111.
22.3.4 Subgrupos Uniparam

etricos e Algebras de Lie
Subgrupos uniparam
etricos em subgrupos fechados
Defini
c
ao. Seja H um subgrupo fechado mas n
ao discreto de GL(C, n). Definimos,

L(H) := X Mat (C, n) tais que etX H para todo t R .
Como se ve, trata-se do conjunto dos geradores de todos os subgrupos uniparametricos de H. E claro, pela definicao
acima, que L(H) possui pelo menos um elemento, a saber a matriz nula, pois, obviamente e = 1 H para todo t R.
t0
Nao e nem um pouco obvio, porem, que haja outros elementos em L(H) que n ao o elemento nulo. N ao e sequer obvio
que existam subgrupos uniparametricos n ao-triviais11 em H. Na Proposicao 22.6 adiante, provaremos que L(H), de fato,
e n
ao-trivial e que h
a, de fato, subgrupos uniparametricos n ao-triviais em H. Para demonstrarmos a Proposicao 22.6
precisamos de algumas definicoes e de alguns resultados preparatorios. Seguiremos muito proximamente a exposicao de
[188] (vide todo o 2 do Captulo XI daquela referencia), mas com ligeiras correcoes e aperfeicoamentos.
Para simplificar a notacao 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, arbitrario mas conveniente, e seja wr a bola fechada de raio r centrada na
origem em g: n o

wr := X g kXk r . (22.3)
ao X wr . Denotaremos por wO
Notemos que wr e simetrica, ou seja, se X wr ent r a bola aberta de raio r centrada
na origem em g: n o

wOr := X g kXk < r . (22.4)
Vamos denotar por Wr a imagem de wr pela exponenciacao:

n o
Wr := exp(X), X wr . (22.5)
claro que Wr G e e claro que Wr e simetrico, ou seja, se Y Wr ent

E 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
a em H Wr :
elementos cuja exponencial est
n o
fr := X wr exp(X) H Wr . (22.6)
11 Um subgrupo uniparam
etrico (t)
e trivial se (t) for igual ao elemento neutro para todo t R.
atica Vers
Comentemos que, pela Proposicao 10.11, p

agina 451, 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 . (22.7)
bastante claro que fr e tambem simetrico. Como exp e contnua, fr e tambem fechado (vide Secao 30.5.2, p
E agina
1369). Fora isso, fr wr , por definicao. Logo, fr e limitado. Por ser fechado e limitado, fr e compacto.
Definamos M(H, Wr ) Mr por
n o
Mr := X g tais que, para algum > 0, tem-se exp(tX) H Wr sempre que |t| < . (22.8)
Alternativamente, e claro que

n o
Mr = X g tais que, para algum > 0, tem-se tX fr sempre que |t| < .
Note-se que Mr contem sempre ao menos um elemento, a saber, 0. N ao e nada obvio, porem, se esse e o u
nico
elemento de Mr . No Corol ario 22.1, adiante, provaremos que tal n
ao e o caso, ou seja, Mr nao e trivial. Antes disso
precisamos de dois lemas preparatorios.
Lema 22.1 Com as definic oes. I. Se X Mr ent
oes acima, valem as seguintes afirmac ao X Mr para todo R.
II. wr Mr fr . 2
Prova do Lema 22.1. Se X Mr ent ao, para algum > 0 tem-se tX fr sempre que |t| < . Mas, ent
ao, se 6= 0, vale
t(X) fr sempre que |t| < /||. Isso prova a afirmativa 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 suficiente (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, conclumos que exp(X) H. Agora, por hipotese, X wr , o que implica, pela definicao de Wr , que
exp(X) Wr . Logo, mostramos que exp(X) H Wr , o que significa que X fr . Provamos, assim, que wr Mr fr .
Isso completa a prova do Lema 22.1.
Podemos agora demonstrar o seguinte lema, de import

ancia central no presente contexto e, talvez, o resultado
preparat
orio tecnicamente mais difcil.
Lema 22.2 Seja Xn , n N, uma seq
uencia de elementos de fr tais que Xn 6= 0. Suponhamos que Xn 0 para n
e que Xn /kXn k Y para algum Y Mat (C, n). Entao12 Y Mr . 2
Prova do Lema 22.2. Notemos antes de mais nada que se Yn := Xn /kXn k Y Mat (C, n) ent ao Y 6= 0. Em verdade,
kY k = 1 pois, fazendo uso da desigualdade (3.24), p
agina 199, temos | kYn k kY k | kYn Y k. Como o lado direito
vai a zero quando n , segue que kY k = 1, pois kYn k = 1.
umero m N n
Fixemos tambem um n ao-nulo. Podemos escrever wr como a uniao
m
[
wr = sk ,
k=1
onde
k1 k
sk srk
:= X wr r kXk r ,
m m
k1 k
ou seja, podemos escrever wr como uma uni ao de fatias, ou cascas esfericas, de vetores com normas entre m r e m r.
Note-se que s1 e a bola fechada de raio r/m centrada em 0:
n r o

s1 = X wr kXk .
m
12 Ap
os a demonstraca
o do Lema 22.2, discutiremos `
a p
agina 1116 que de fato existem seq
uencias satisfazendo essas hip
oteses.
atica Vers
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 fixo, escolhido de modo que 1 < k0 m. Vamos mostrar que para cada n > Nm podemos encontrar
um numero inteiro jn (eventualmente dependente de n) de modo que jn Xn sk0 , ou seja, tal que
(k0 1)r k0 r
kjn Xn k .
m m
Para isso, e suficiente escolhermos um jn inteiro satisfazendo
(k0 1)r k0 r
|jn | .
mkXn k mkXn k
(k0 1)r k0 r
Haver
a inteiros no intervalo entre mkXn k e mkXn k ? Para ver isso, notemos que o comprimento desse intervalo e
k0 r (k0 1)r r
= 1,
mkXn k mkXn k mkXn k
r
pois kXn k m , dado que Xn s1 . Ent
ao, uma tal escolha de jn e sempre possvel para cada n (pois todo intervalo
fechado de comprimento igual ou maior que 1 contem ao menos um inteiro).

(k ) evidente que Yn(k0 ) sk0 wr . Isso implica que exp Yn(k0 ) Wr .
Vamos denominar jn Xn por Yn 0 (com k0 fixo). E

(k ) j
Fora isso, exp Yn 0 = exp(jn Xn ) = (exp(Xn )) n . Como exp(Xn ) pertence ao grupo H (pois Xn fr ), segue pela

(k )
propriedade de grupo que tambem tem-se exp Yn 0 H (e por essa raz ao que escolhemos jn inteiro). Com isso,

(k ) (k )
provamos que exp Yn 0 H Wr , o que significa que13 Yn 0 fr .
(k )
O conjunto fr e fechado e limitado e, portanto, compacto. Isso significa que existe uma sub-seq uencia Ynl 0 , l N,
(k0 )
que e convergente em fr . Agora, como Yn = Xn /kXn k converge a Y , isso significa que Ynl converge a um m ultiplo de
(k ) (k )
ultiplo de Ynl , a saber, Ynl 0 = jnl kXnl kYnl . Portanto, para um tal (k0 ) temos
Y , digamos (k0 ) Y , pois Ynl 0 e um m
(k0 ) Y fr . Note que tambem tem-se (k0 ) Y fr , bastando para tal trocar Xn por Xn na argumentacao acima, o
que e permitido pois fr e simetrico.
Assim, (k0 ) = lim jnl kXnl k e, conseq
uentemente,
l
(k0 1)r k0 r

(k0 ) .
m m
O que provamos acima vale para hcada k0 N icom 1 < k0 m. Resumindo nossas conclusoes, provamos que para
todo m N, cada intervalo Ik0 , m := (k0m1) r, km0 r com 1 < k0 m contem pelo menos um (k0 ) tal que (k0 ) Y fr .
m
[ 1
A uniao Ik0 , m e o conjunto m r, r . Esses intervalos Ik0 , m podem ser feitos mais finos e em maior n
umero,
k0 =2
[ 1
fazendo m , sendo que r, r = (0, r].
m
mN
Conclumos disso que existe um conjunto cont umeros no intervalo (0, r] tais que Y fr . Como
avel denso de n
fr e fechado, isso implica que Y fr para todo [r, r]. Agora, isso significa precisamente que Y Mr , que e o que
queramos provar.
A prova do Lema 22.2 est
a completa.
Podemos nos perguntar agora, sera que existem seq uencias Xn satisfazendo as hipoteses do Lema 22.2, ou seja, tais
que Xn /kXn k convirja para algum Y ? E f
acil ver que sim. Notemos para isso que para qualquer seq uencia Xn fr
com Xn 0 a sequencia Yn = Xn /kXn k est a contida no conjunto compacto formado pelos vetores de norma 1. Assim,
Yn sempre tem uma sub-seq uencia convergente a algum Y , que tambem tem norma 1. A essa sub-seq uencia aplica-se
ao o Lema 22.2 e tem-se Y Mr . Isso, em particular, mostra-nos que Mr e n
ent ao-trivial, ou seja, contem elementos
n
ao-nulos. Provamos entao:
13 Em (k0 )
[188] o argumento que prova que Yn fr n
ao est
a correto, lamentavelmente.
atica Vers
Corol
ario 22.1 O conjunto Mr definido acima contem elementos diferentes de 0. 2
ario e crucial para o que segue14 , pois tem a seguinte conseq

Esse simples corol uencia.
Proposicao 22.6 Seja H um subgrupo fechado e nao-discreto de GL(C, n)). Ent ao valem as seguintes afirmativas. 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 uniparametricos n
ao-triviais em H. 2
Prova. Seja o conjunto Mr M(H, Wr ) definido em (22.8), com Wr definido em (22.3)-(22.5) para algum r > 0.
Provaremos que M(H, Wr ) = L(H).
Em primeiro lugar, e claro (por definicao!) que se X L(H) teremos exp(tX) H, t R. Se X = 0 ent ao
X M(H, Wr ) trivialmente. Se X 6= 0 ent ao, se escolhermos |t| < r/kXk, teremos que tX wr . Logo, X M(H, Wr ).
Isso mostra que L(H) M(H, Wr ).
Seja X M(H, Wr ) com X 6= 0. Pelo Corolario 22.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 suficiente, 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 Corolario 22.1, L(H)
e n
ao-trivial. Conseq
uentemente existem em H subgrupos uniparametricos n
ao-triviais, a saber aqueles que tem como
geradores os elementos n
ao-nulos de M(H, Wr ).
Chegamos agora ao ponto em que boa parte do que fizemos sera unificado e revelaremos a import
ancia de subgrupos
uniparametricos 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 uencia das
f
ormulas de Lie-Trotter e do comutador (f
ormulas (10.32) e 10.33 da Proposicao 10.12, p
agina 453. Vide Captulo 10), e
de importancia fundamental:
Teorema 22.1 Se H e um subgrupo fechado e n
ao-discreto de GL(C, n) ent
ao L(H), definida acima, e uma
algebra de
Lie real15 . 2
Prova. Vamos primeiramente mostrar que L(H) e um espaco vetorial real. Para tal, precisamos mostrar que se X e Y sao
geradores de dois subgrupos uniparametricos de H, ent ao X + Y tambem o e, para quaisquer , R. Comecemos
observando que (t) := exp(t(X +Y )) e um subgrupo uniparametrico contnuo 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 formula de Lie-Trotter (f ormula
(10.32) da Proposicao 10.12, p
agina 453),
m
t t
exp t(X + Y ) = lim exp X exp Y . (22.9)
m m m

t
Observemos entao o seguinte. Pela hip otese, as matrizes exp t
m X e exp m Y pertencem ao grupo H, pois supomos

t
que X e Y sao geradores de subgrupos uniparametricos de H. Portanto os produtos exp t m X exp m Y sao tambem
14 Infelizmente, alguns textos como [225], [256] e mesmo (surpreendentemente) [198], n ao provam que Mr e nao-trivial, o que torna suas
demonstraco es do Teorema 22.2 incompletas. Mesmo [188], que prova os Lemas 22.1 e 22.2, n ao menciona o Corol ario 22.1, embora o mesmo
fique implcito pela sua analise. A refer
encia [108], que segue outra e muito interessante linha de raciocnio,
e explcita quanto ao Corol
ario
22.1.

15 Algebras de Lie foram definidas `
a pagina 97.
atica Vers
elementos de H, pois H e um grupo. Ora, o lado direito de (22.9) e, portanto, o limite de uma seq
uencia de elementos
de H. Como supomos que H e fechado, segue que o limite e igualmente um elemento de H, como queramos mostrar.
ao que X + Y L(H) para quaisquer , R e, portanto, L(H) e um espaco vetorial real.
Isso provou ent
Vamos mostrar agora que L(H) e uma algebra de Lie. Se X, Y L(H) temos, pela formula do comutador (f
ormula
10.33 da Proposicao 10.12, p
agina 453), e usando [tX, Y ] = t[X, Y ], que
m2
t 1 t 1
exp t[X, Y ] = lim exp X exp Y exp X exp Y . (22.10)
m m m m m
Raciocnio identico ao que empregamos acima conclui que exp(t[X, Y ]) H para todo t R, mostrando que [X, Y ] e o
gerador de um subgrupo uniparametrico contnuo 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 tambem X L(H) para todo C, conclui-se pela demonstracao acima que L(H) e
uma
algebra de Lie complexa.
22.3.5 Subgrupos Fechados de GL(C, n)

Nesta Secao provaremos o seguinte teorema:
Teorema 22.2 Se H e um subgrupo topologicamente fechado de GL(C, n) (na topologia metrica induzida de GL(C, n)),
ent
ao H e tambem um grupo de Lie (na topologia metrica induzida de GL(C, n)). 2
Observamos que o enunciado desse teorema e valido mesmo no caso de H ser um subgrupo discreto, pois nesse caso
H e um grupo de Lie enquanto variedade de dimensao zero. No correr da demonstracao, adiante, suporemos H n ao
discreto, eliminando esse caso trivial.
O Teorema 22.2 e particularmente importante pois muitos grupos encontrados em aplicacoes sao 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 22.2 informa-nos que tais grupos sao grupos de Lie.
A prova desse teorema sera oferecida à p
agina 1120. Antes de chegarmos la precisaremos apresentar varios teoremas
preparatorios. Chamamos a atencao do leitor para o fato que as demonstracoes de alguns desses resultados preparat
orios
sao bastante tecnicas e talvez devam ser omitidas em uma primeira leitura.
Seja H um subgrupo fechado nao-discreto de G = GL(C, n). Sabemos pelo Teorema 22.1 que L(H) e um subespaco
de L(G) = Mat (C, n). Seja L(H) seu complemento ortogonal (em relacao a algum produto escalar em Mat (C, n), por
exemplo hA, Bi = Tr A B ). Todo elemento A Mat (C, n) pode ser escrito de modo u nico na forma A = Ak + A ,
com Ak L(H) e A L(H) .
Seja assim a funcao H : L(G) G definida por

H (A) := exp Ak exp A .
Lema 22.3 Para H, subgrupo fechado e conexo de GL(C, n), existe r0 > 0 tal que a aplicac
ao H definida acima e um

homeomorfismo do aberto wO
r0 em um aberto H (wO
r0 ) W
r0 para um certo r0 > 0. 2
Acima, wO
r0
e a bola aberta de raio r0 em torno da matriz nula. Vide (22.4).
Prova. Escolhamos r0 pequeno o suficiente para que valha a formula de Baker-Campbell-Hausdorff16. Considere-se a
aplicacao H : L(G) L(G) definida por H (A) = ln (H (A)), ou seja,

H (A) := ln exp Ak exp A = Ak A = A + H (A) ,
16 Vide Captulo 10, p
agina 439. A f
ormula de Baker-Campbell-Hausdorff
e dada em (10.59) `
a p
agina 466.
atica Vers
(lembre-se que Ak + A = A) onde

1h k i 1 h k h k ii h h ii
H (A) := A , A + A , A , A + A , A , Ak + .
2 12
Como facilmente se constata, kkAk
H (A)k
0 para kAk 0. Assim, H e contnua e diferenci
avel em uma vizinhanca de 0
e sua derivada em 0 e a identidade. Assim, pelo bem conhecido Teorema da Aplicacao Inversa (vide, Secao 26.5, p
agina
1275, ou por exemplo, [165]), H e um homeomorfismo entre wO r0 e sua imagem. Como H = exp H e a exponencial
e tambem um homeomorfismo local (Proposicao 10.4, pagina 446), a prova do Lema 22.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 subespaco de Mat (C, n). E e o subgrupo de
ao exp(A) H. Vamos denotar por H
H cujos elementos sao produtos finitos de exponenciais de elementos de L(H):
e := {h H, h = exp(A1 ) exp(Am ) para algum m N} .
H
e e de fato um grupo, pois
H
1. 1 H,
e
e ent
2. se h = exp(A1 ) exp(Am ) H e e
ao h1 = exp(Am ) exp(A1 ) H
e ent
3. se h = exp(A1 ) exp(Am ) e h = exp(A1 ) exp(Am ) H ao tem-se, evidentemente,
e
hh = exp(A1 ) exp(Am ) exp(A1 ) exp(Am ) H.
e e denominado subgrupo gerado por L(H). Vamos provar o seguinte teorema:

O grupo H
Teorema 22.3 Se H e fechado e conexo ent e = H.

ao H 2
e H, de modo que queremos apenas provar que H H.

Prova. Ja e evidente, pela definicao, que H e Seja r > 0, fixo.

O que faremos e provar que fr L(H) wr para algum r > 0. Se isso for verdadeiro, ent ao, pela definicao de fr em
(22.6) e por (22.7), os elementos de H Wr sao da forma exp(A) com A L(H) wr . Agora, pelo fato de H ser conexo,
sabemos pela Proposicao 22.3, que todo elemento de H pode ser escrito como um produto finito de elementos do interior
de H Wr . Logo, todo elemento de H pode ser escrito como um produto finito exp(A1 ) exp(Am ), para algum m N,
com Ak L(H) wr . Ora, isso est e que e o que queramos provar.
a precisamente dizendo que H H,
Vamos ent ao mostrar que fr L(H) wr para algum r > 0. A demonstracao sera 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 contradicao.
\
muito facil ver pela definicao dos conjuntos fr em (22.6) que fr1 fr2 sempre que r1 r2 . Alem disso,
E fr = {0}.
r>0

Para um r arbitrario, fixo, vamos ent ao supor que n ao haja nenhum fr com fr L(H) wr . Isso implica que
uencia rn < r, rn 0 com frn \(L(H) wr ) 6=
fr \(L(H) wr ) 6= para todo r. Fixando r, poderamos escolher uma seq
. 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 todo n grande o suficiente, onde r0 e referido no enunciado do Lema
k
22.3. Assim, pelo mesmo lema, a para cada um de tais ns um elemento Zn wr0 , Zn = Zn + Zn , tal que
existir
k
exp (Xn ) = H (Zn ) = exp Zn exp Zn .
k
Antes de prosseguirmos, facamos algumas observacoes sobre Zn e Zn . Como Xn 0, deve valer tambem Zn 0
k
a que, pelo Lema 22.3, H e sua inversa sao contnuas. Assim, tem-se igualmente Zn 0 e Zn 0. Pela parte II
j
do Lema 22.1 e pela parte I da Proposicao 22.6, segue que wr L(H) fr . Da, para n grande o suficiente, ter-se-a
k
Zn fr . Note-se em que, como Xn 6 L(H) para n grande, teremos Zn 6= 0, pois, se assim n
tamb ao fosse, valeria
k k
exp (Xn ) = exp Zn e, tomando-se o logaritmo (o que e permitido para n grande, ja que kXn k e kZn k est ao ambos
k
proximos a zero), obteramos Xn = Zn L(H), o que e impossvel.
atica Vers

k
uencia das observacoes acima, teremos que exp Zn = exp Zn exp (Xn ). Sucede que exp (Xn )
Como conseq

k k
H Wr e exp Zn H Wr . Assim exp Zn H e, kZn k kZn k < r0 . Logo, exp Zn H Wr0 . Portanto,
Zn fr0 .
Como consequencia do Lema 22.2, da parte I da Proposicao 22.6 e da compacidade de fr0 , a seq uencia de vetores
de norma 1 dada por Zn /kZn k tem uma sub-seq uencia que converge a um elemento de Mr0 = L(H). Porem, como
Zn L(H) , isso e impossvel e tem-se a uma contradicao. Logo, deve valer fr L(H) wr para certos r, r > 0.
Isso completa a prova do Teorema 22.3.
Podemos agora reunir os resultados que provamos acima e passar à

Prova do Teorema 22.2.
Seja H um subgrupo fechado de GL(C, n). Como veremos, e suficiente 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 demonstracao facilmente se estender
a para todo H. Esse ponto sera discutido com mais detalhe
ao final da demonstracao, 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 22.3, basta provarmos que H e e um grupo de Lie. Pelo Teorema 10.4, podemos encontrar uma vizinhanca
aberta de V de 0 em Mat (C, n) e uma vizinhanca aberta W de 1 em GL(C, n) tais que exp : V W e um difeomorfismo.
Seja VH a vizinhanca de 0 em L(H) definida por VH = V L(H) e seja WH sua imagem em H e pela exponencial. A
aplicacao exp : VH WH e tambem um difeomorfismo, pois e a restricao de um difeomorfismo (a saber exp : V W )
por uma funcao suave (a projecao V VH ). Existe naturalmente um sistema de coordenadas em VH , pois L(H) e um
espaco vetorial e, portanto, isomorfo a Ck , k sendo a dimensao de L(H). Dessa forma como exp : VH WH e uma
bijecao, exp1 : WH VH estabelece um sistema de coordenadas em WH . Para estabelecer um sistema de coordenadas
em todo H, e por exemplo, em torno de um elemento h H, e podemos transladar o sistema de coordenadas de WH para
uma vizinhanca de h, a saber, hWH . As cartas locais assim obtidas serao compatveis (infinitamente diferenci aveis ou
analticas) devido ao fato de exp : VH WH ser um difeomorfismo e pelo fato de a multiplicacao por um h constante nao
alterar esse carater. O argumento de translacao pode ser aplicado mesmo a elementos de H que n ao est
ao na componente
conexa à identidade, de modo que todo H se torna uma variedade de dimensao k. O produto e a inversa sao contnuas e
infinitamente diferenciaveis por o serem em GL(C, n) e tambem devido ao fato de exp : VH WH ser um difeomorfismo.
A demonstracao do Teorema 22.2 est a ent
ao completa
Coment ario. Segundo [188], o Teorema 22.2 e devido a Cartan17 . Demonstracoes desse importante teorema podem ser encontradas em
v
arios livros-texto, como por exemplo [188] ou [198]. Devemos, por em, notar ao leitor e advertir o estudante que alguns textos (inclusive alguns
cl
assicos) apresentam certas falhas na sua demonstracao, falhas essas que procuramos corrigir e evitar nas demonstracoes acima. V arios textos
apresentam demonstraco es incompletas (por exemplo, [225], [256] e mesmo parcialmente [198]), pois deixam por exemplo, de provar que o
conjunto Mr , definido acima, n ao
e apenas formado pelo elemento nulo, um ponto crucial. A demonstraca o que apresentamos e essencialmente
(mas n ao exatamente) a de [188] (vide todo 2 do Captulo XI daquela refer encia). Um outro tratamento excelente (mas talvez n ao-acessvel
a todo estudante) e o de [108].
Um ponto importante do Teorema 22.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 22.2:
Teorema 22.4 Todo subgrupo H de um grupo de Lie G e tambem um grupo de Lie, mas n
ao necessariamente em relac
ao
` topologia induzida por G em H.
a 2
Como se ve, esse teorema generaliza o Teorema 22.2 pois n ao e necessario requerer que H seja um subgrupo fechado
de G. Porem, a topologia na qual H e um grupo de Lie pode n ao ser a topologia induzida em H por G. Um exemplo
ilustrativo sera discutido na Secao 22.4.3. A demonstracao do Teorema 22.4 est a alem dos limites dessas notas e pode
ser encontrada em textos como [198] ou [108].
*
17 Elie Joseph Cartan (1869-1951). E. J. Cartan foi um dos mais importantes contribuidores `
a teoria de grupos de Lie.
atica Vers
O Teorema 22.1, p agina 1117, revela um sentido da relacao fundamental entre grupos de Lie e algebras de Lie. Ele
mostra que e possvel 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 uniparametricos. Essa relacao se mostra particularmente relevante no estudo de representacoes de grupos
de Lie. E possvel provar (e faremos isso no exemplo do grupo SO(3) no Captulo 23) que existe uma correspondencia
um-a-um entre as representacoes de um grupo de Lie e as representacoes de sua algebra de Lie. Sucede que (devido
a estrutura linear) e muito mais simples estudar as representacoes 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 captulo limitar-nos a discutir algumas quest oes as quais sao importantes para um estudo
mais abrangente. Particularmente nos deteremos na quest ao de identificar algumas situacoes nas quais podemos prosse-
guir no caminho inverso ao que apontamos acima, ou seja, na questao de quando um grupo de Lie pode ser recuperado
a partir da algebra de Lie dos seus geradores por aplicacao da exponenciacao.
22.4 A Relac
ao entre Grupos de Lie Matriciais e suas Algebras
de Lie
Vimos nas secoes 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
recproca verdadeira, ou seja, se A e uma sub-algebra de Lie de Mat (C, n) havera um grupo de Lie fechado associado
a A? A reposta, em geral, e n ao. Um contra-exemplo (para umero real irracional e
n = 2) eo seguinte: Seja a um n
it 0
seja a algebra de Lie formada pelas matrizes 2 2 dadas por

com t R. Exponenciando os elementos dessa

0 iat

eit 0
algebra de Lie obtemos as matrizes

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

0 eiat
Sucede, porem, que n
ao se trata de um subgrupo topologicamente fechado de GL(C, 2), como veremos com um pouco
mais de detalhe na Secao 22.4.3 (a qual o leitor poder
a passar sem perdas). Felizmente e possvel dizer um pouco mais
se enfraquecermos a condicao de H ser um subgrupo fechado. Tem-se, por exemplo, o seguinte:
Proposi c
ao 22.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 (nao 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 subespaco de L(G). Entao L(H) e tambem uma sub-algebra de L(G). 2
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
e , e H. Podemos escrever esA etB esA = exp tesA BesA e isso prova que esA BesA L(H) para todo s R.
sA tA
Como por hipotese L(H) e um subespaco de L(G), L(H) e fechado (pois estamos em dimensao finita). Logo,

1 sA sA d sA sA
L(H) lim e Be B = e Be = [A, B] ,
s0 s ds s=0
completando a prova.
Comparando a demonstracao acima com a do Teorema 22.1, vemos que a diferenca e que n
ao supomos que H seja
fechado. Podemos ir mais um pouco alem e estabelecer o seguinte:
Teorema 22.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). Entao 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). 2
atica Vers
Nao apresentaremos a demonstracao dessa afirmacao aqui no caso geral, a qual e uma conseq
uencia da formula de
Baker-Campbell-Hausdorff. Mais adiante (pagina 1124) discutiremos como H pode ser construda a partir de h no caso
dessa u
ltima ser uma
algebra de Lie nilpotente, o caso mais facil de tratar.
22.4.1
Algebras de Lie Nilpotentes, Sol
uveis, Simples e Semi-Simples
Ja comentamos anteriormente que se A e B sao 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 expressao
conhecida como formula de Baker-Campbell-Hausdorff, a qual foi discutida e demonstrada no Captulo 10, p agina 439.
Essa formula 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 expressao um tanto complexa envolvendo somas de comutadores m

ultiplos das matrizes A e B, e cujos
primeiros termos sao os seguintes:
1 1 1
A B = A + B + [A, B] + A, [A, B] + B, [B, A] + .
2 12 12
A expressao completa encontra-se em (10.59) `
a p
agina 466.
Vamos agora fazer uma pausa e, antes de entrarmos na discuss ao das conseq
uencias da formula de Baker-Campbell-
Hausdorff e da exponenciacao de algebras de Lie e sua relacao com grupos de Lie, vamos nos dedicar a discutir alguns
aspectos algebricos das
algebras de Lie (com o perdao do pleonasmo).
A formula de Baker-Campbell-Hausdorff nos chama a atencao para a import ancia de comutadores m ultiplos de
elementos de uma algebra de Lie. Vamos aproveitar a oportunidade para introduzir algumas nocoes algebricas muito
empregadas no estudo de algebras de Lie. Falaremos da sua relevancia 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 sao iguais ao comutador de algum elemento de A por algum elemento de B. Em smbolos:

[A, B] = [a, b], a A, b B . (22.11)

Algebras de Lie nilpotentes
Seja uma algebra de Lie L. Com a notacao acima, denotaremos por L[n] , n = 0, 1, 2, . . ., a seq
uencia de conjuntos
obtida da seguinte forma: L[0] := L e L[n] = [L, L[n1] ], n = 1, 2, . . .. Ou seja,
L[0] := L,
h i
L[1] := L, L[0] = [L, L] ,
h i
L[2] := L, L[1] = L, [L, L] ,
h i h i
L[3] := L, L[2] = L, L, [L, L] etc.
Defini
c algebra de Lie nilpotente se L[m] = {0} para algum m.
ao. Uma algebra de Lie e dita ser
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}

ao L[m ] = {0} para todo m > m.
ent
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 Secao 21.2.2 à p
agina 1004.
atica Vers
Ha varias raz
oes por que as algebras de Lie nilpotentes sao 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 sera discutida. O
leitor pode reconhecer uma outra raz ao da import
ancia das algebras de Lie nilpotentes na seguinte observacao: para uma
algebra de Lie nilpotente a serie de Baker-Campbell-Hausdorff em (10.59) e (10.60) e uma serie finita! Voltaremos a isso
quando retomarmos adiante a discuss ao da f

ormula Baker-Campbell-Hausdorff.

Algebras de Lie sol
uveis
Em paralelo à nocao de
algebra de Lie nilpotente que apresentamos acima, existe a nocao de
algebra de Lie sol
uvel.
Para uma algebra de Lie L, denotaremos por L(n) , n = 0, 1, . . ., a seq
uencia de conjuntos obtida da seguinte forma:
L(0) := L e L(n) := [L(n1) , L(n1) ], n = 1, 2, . . .. Ou seja,
L(0) := L ,
h i
L(1) := L(0) , L(0) = [L, L] ,
h i
L(2) := L(1) , L(1) = [L, L], [L, L] etc.
Defini
c
ao. Uma algebra de Lie e dita ser uma uvel se L(m) = {0} para algum m.
algebra de Lie sol
(n)
Para qualquer algebra de Lie L e bastante evidente, pelas definichoes, acima ique L
h Li[n] . De (0)
h fato, iL = 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 afirmativa por inducao. Segue dessa observacao que toda algebra de Lie nilpotente e tambem sol uvel.
A recproca dessa u ltima afirmacao e falsa: nem toda algebra de Lie sol uvel e nilpotente. Considere-se com exemplo
aalgebra de Lie bidimensional com geradores 1 e 2 satisfazendo [1 , 2 ] = 2 . Essa algebra n ao e nilpotente, pois
[1 , [1 , [ , [1 , 2 ]]]] = 2 . Porem, essa algebra e sol
uvel, pois [[1 , 2 ], [1 , 2 ]] = [2 , 2 ] = 0. Essa algebra
aparecer a concretamente no exemplo discutido ` a p
agina 1127.
Ha varias raz
oes por que as
algebras de Lie sol
uveis sao relevantes. Uma delas sera discutida apos apresentarmos o
Teorema de Levi, abaixo.

Algebras de Lie simples e semi-simples
Se L e uma algebra de Lie, dizemos que e um subespaco vetorial J de L e uma sub-
algebra (de Lie) se
[J, J] J .
Se L e uma algebra de Lie, dizemos que um subespaco vetorial I de L e um ideal se

[L, I] I .
Pela definicao, 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 às mesmas est
ao as chamadas
algebras de Lie simples e semi-simples, que possuem poucos ideais.
Defini nicos ideais forem {0} e a propria L.

ao. Uma algebra de Lie L e dita ser simples se seus u
c
Defini
c
ao. Uma algebra de Lie L e dita ser semi-simples se n
ao possuir ideais sol ao {0}).
uveis (que n
bem claro que toda
E algebra de Lie simples e semi-simples.
Ha varias raz
oes por que as
algebras de Lie semi-simples sao relevantes. Uma delas sera discutida apos apresentarmos
o Teorema de Levi, abaixo.
Soma direta e soma semi-direta de

algebras de Lie
Defini
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
atica Vers
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 .
Defini
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 demonstracao est
a alem das pretensoes destas notas (vide e.g.
[188, 122]):
Teorema 22.6 (Teorema de Levi) Toda
algebra de Lie L de dimens
ao finita e uma soma semi-direta
L = SR
onde S e semi-simples e R sol
uvel. 2
A sub-algebra R acima e denominada radical de L.

Exemplos. O chamado grupo Euclidiano18 em tres dimensoes E3 possui seis geradores J1 , J2 , J3 (geradores de
rotacoes) e P1 , P2 , P3 (geradores de translacoes), satisfazendo as relacoes
3
X 3
X
[Ji , Jj ] = ijk Jk [Ji , Pj ] = ijk Pk [Pi , Pj ] = 0 ,
k=1 k=1
onde ijk e o smbolo anti-simetrico de Levi-Civita definido em (21.45), p agina 1022. Se denominarmos por P a sub-
lgebra gerada por P1 , P2 , P3 e por J a sub-algebra gerada por J1 , J2 , J3 , veremos que P e sol
a uvel (pois e Abeliana) e
que J e simples (e, portanto, semi-simples). E tambem 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 soluveis (dentre as quais estao as nilpotentes) e das algebras de Lie semi-simples. Um dos
resultados mais importantes da teoria das algebras de Lie e uma celebre classificacao completa de todas as algebras de
Lie semi-simples, feito devido a Killing19 e a Cartan20 . Para o caso das algebras soluveis uma classificacao completa est
a
ainda longe de ser alcancada.
22.4.2 Quest
oes sobre a Exponenciac
ao de Algebras de Lie
Apesar de sua import ancia, a f
ormula de Baker-Campbell-Hausdorff apresenta uma restricao quanto à norma das matrizes
A e B, necessaria para garantir a convergencia da serie que ocorre em (10.59). H
a, porem, uma classe de algebras de Lie
para a qual essa questao 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 formula de Baker-Campbell-Hausdorff (10.59), pagina
466, e a seguinte. Se L Mat (C, n) e uma algebra de Lie nilpotente de grau m de matrizes, ent
ao para quaisquer
A, B L teremos que A B definida em (10.59) e uma soma finita, contendo no maximo comutadores m ultiplos de
ordem m.
Com isso, vemos que para uma algebra de Lie nilpotente de matrizes L Mat (C, n) n ao existe o problema da
convergencia da serie de (10.59), e a mesma vale para todo A, B L, independente da norma desses elementos. Fora
isso A B L, ja que e dado por uma soma finita de elementos de L. Uma consequencia e a seguinte proposicao.
18 Euclides, de Alexandria (ci. 325 A.C., ci. 265 A.C.).
19 Wilhelm Karl Joseph Killing (1847-1923).
20 Elie Joseph Cartan (1869-1951).
atica Vers
Proposi ao 22.8 Seja G um subgrupo de Lie de GL(C, n) e LG Mat (C, n) sua

c algebra de Lie. Vamos supor que
LG seja nilpotente. Ent ao o produto definido pela f
ormula de Baker-Campbell-Hausdorff e associativo. Fora isso, a
algebra de Lie LG e, ela mesma, um grupo com o produto .
2
Prova.
Pm Sejam A1 , A2 e A3 tres elementos de LG . Se L1 , . . . , Lm formam uma base em LG podemos escrever Ai =
i i
k=1 k Lk , onde k sao n umeros complexos. Como a soma de comutadores que ocorre na formula de Baker-Campbell-
Hausdorff e finita, conclumos que
m
X m
X
(A1 A2 ) A3 = pk ()Lk e A1 (A2 A3 ) = qk ()Lk ,
k=1 k=1
onde pk () e qk () sao polinomios nas variaveis ij , i = 1, 2, 3, j = 1, . . . , m. Desejamos provar que para cada k tem-se
pk = qk . Como ambos sao polinomios, e suficiente provar isso para quando as variaveis ij est ao restritas a algum aberto
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 variaveis ij suficientemente proximas
de zero, teremos pk () e qk () igualmente proximas de zero (convenca-se disso checando a formula de Baker-Campbell-
Hausdorff) e, portanto, k(A1 A2 ) A3 kC e kA1 (A2 A3 )kC podem ser ambas feitas menores que ln 2. Pela Proposicao
agina 446, podemos tomar o logaritmo das exponenciais acima e concluir que (A1 A2 ) A3 = A1 (A2 A3 ).
10.5, p
Assim,
m
X Xm
pk ()Lk = qk ()Lk
k=1 k=1
pelo menos para ij pequenos o suficiente. Como os elementos Lk da base sao linearmente independentes, conclumos
que pk () = qk () para todo k = 1, . . . , m, pelo menos quando os ij sao pequenos o suficiente. Como pk e qk sao
polinomios, isso vale para todos ij 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-Hausdorff e facil constatar que
A0 = 0A = A
para todo A LG . Assim o zero e o elemento neutro procurado. Fora isso, tambem pela formula de Baker-Campbell-
Hausdorff e facil constatar que
A (A) = A + (A) + comutadores de A com A = 0 .
Logo, (LG , ) e um grupo.
uencia importante. Seja L Mat (C, n) uma algebra de Lie nilpotente de matrizes.
Esses fatos tem ainda uma conseq
Definamos por exp(L) o conjunto de todas as matrizes que sao exponenciais de elementos de L:
exp(L) = {G Mat (C, n)| G = exp(A) para algum A L} .
Afirmamos que exp(L) e um grupo (em relacao ao produto usual de matrizes), em verdade um subgrupo de GL(C, n).
De fato, 1 exp(L), pois, 0 L. Se G = exp(A) com A L, ent
ao sua inversa e G1 = exp(A), que tambem pertence
a exp(L) pois A L. Por fim, se G1 = exp(A1 ) e G2 = exp(A2 ) com A1 e A2 dois elementos quaisquer de L, ent
ao,
ormula de Baker-Campbell-Hausdorff, G1 G2 = exp(A1 A2 ) exp(L), pois A1 A2 L.
pela f
A conclusao e que a partir de uma
algebra de Lie nilpotente L podemos construir um grupo, denominado grupo de Lie
associado `
aalgebra L pelo procedimento de exponenciacao. E importante notar que L e um conjunto conexo. Portanto,
como a exponencial e contnua, o grupo exp(L) e igualmente conexo.
Interessantemente vale tambem a recproca. 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 suficientemente pequeno, o subconjunto V
de LG definido por (m )
X
V := k Lk , com |i | < para todo i = 1, . . . , m ,
k=1
atica Vers
e o subconjunto U de G definido por

( m
! )
X
U := exp k Lk , com |i | < para todo i = 1, . . . , m ,
k=1
onde L1 , . . . , Lm formam uma base em LG .

Pm
Note-se que V eP um subconjunto aberto de LG . Note-se tambem que 1 U e que se g = exp ( k=1 k Lk ) U
m
entao g 1 = exp ( k=1 k Lk ) U . Assim, se provarmos que U e aberto poderemos usar a Proposicao 22.3, p agina
1107.
Pm
Se for pequeno o suficiente poderemos garantir que k P k=1 k Lk kC < P
ln 2 sempre que |i | < para todo i =
m m
1, . . . , m e, pela Proposicao 10.5, p
agina 446, teremos ln (exp ( k=1 k Lk )) = k=1 k Lk . Logo, U e a imagem inversa
pela funcao ln do conjunto aberto V . Como ln e uma funcao contnua (Proposicao 10.3, p
agina 445) conclumos que U
e igualmente aberto.
Logo, pela Proposicao 22.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, fica demonstrada a seguinte afirmacao: 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 situacao e o grupo de Heisenberg GH3 , tratado à p agina 1005.
Observac ao 1. O numero n mencionado no ultimo paragrafo pode nao ser o mesmo para todo g G (vide o enunciado da Proposicao
22.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 definido para qualquer n.
Observac
ao 2. Nas circunst
ancias descritas acima,
e f
acil constatar que a funca e um isomorfismo do grupo
o exponencial exp : LG G
(LG , ) em G.
Grupos de Lie com algebras de Lie nilpotentes n

ao sao os u
nicos grupos de Lie para os quais vale que todo seu
possvel mostrar que grupos de Lie
elemento pode ser escrito como exponencial de um elemento da sua algebra de Lie. E
compactos com algebras de Lie semi-simples tambem tem essa propriedade. Para uma demonstracao vide, por exemplo,
[225]. Vimos isso de modo explcito quando tratarmos dos grupos SO(3), SU(2), SL(C, 2), SU(n) e SO(n) no Captulo
21, p
agina 996.
Para grupos de Lie nao-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 Proposicao 9.14,
p
agina 358, ou pela Proposicao 10.7, p agina 449), enquanto que GL(R, 2) possui tambem matrizes com determinante
negativo. Vide Proposicao 10.10, pagina 451.
Porem, como veremos no exemplo discutido em detalhe à pagina 1127, nao 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 varios
casos, todavia, os elementos do grupo podem ser escritos como um produto finito de exponenciais. Tal tambem ocorre
no exemplo da p agina 1127.
Para um grupo de Lie conexo G e possvel, sob hipoteses 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 vizinhanca U da identidade que
seja simetrica (ou seja, se g U entao g 1 U ) por exemplo a vizinhanca na qual a formula de Baker-Campbell-
Hausdorff converge, no caso de matrizes e em seguida considera-se o conjunto formado por produtos finitos 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.
22.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 nao
e um subgrupo de Lie de GL(C, 2). Isso significa que a topologia que faz desse subgrupo Ha um grupo de Lie n
ao e a
topologia induzida por GL(C, 2) em Ha .
atica Vers
Esse exemplo e bastante instrutivo e ilustra o porque de haver certas dificuldades sutis de natureza topologica 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
Ha := , t R ,

0 eiat

onde a e um n umero real irracional fixo arbitrario. Para mostrar que esse grupo nao e fechado, vamos exibir uma
seq
uencia convergente de matrizes de Ha que nao converge a um
elemento de H a. Considere tn = (2n + 1) com n N0 .
1 0
As matrizes de Ha correspondentes a esses valores de t sao

. Sucede que, como a e irracional, os

i2a(2n+1)
0 e
umeros complexos da forma ei2a(2n+1) , com n N0 , formam um conjunto denso em todo o crculo unit
n ario do plano
complexo21 . Assim, existe uma sub-sequencia nk tal que ei2a(2nk +1) converge a 1 quando k . Isso mostra que a
matriz 1 esta no fecho de Ha . Sucede, porem, que 1 6 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 uma aplicacao bijetora de R em Ha dada por R t 7
Por outro lado, e claro que h
, a qual induz a

0 eiat
topologia usual de R em Ha , topologia essa na qual Ha e um grupo de Lie, como facilmente se ve. Essa topologia n
ao
coincide com a topologia induzida em Ha pela norma de matrizes em Ha .
Ha uma maneira geometrica de entender o que est
a acontecendo nesse grupo. Considere o seguinte grupo de Lie de
matrizes 2 2:

eit 0
T := , t, s R .

0 eis

Esse grupo de Lie (a dois par ametros reais) pode ser visualizado como um toro bidimensional (pois e o produto Cartesiano
de dois crculos: o crculo eit com t R e o crculo 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 infinitos segmentos.
Assim, Ha nao e uma sub-variedade de T e, portanto, apesar de ser um subgrupo de T , Ha nao 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.
umero real irracional22 fixo. Vamos considerar o seguinte conjunto de matrizes complexas 2 2:
Seja um n
H := {h(t, z), t R, z C} ,
onde
it
e z
h(t, z) :=

.
(22.12)
0 eit
21 O leitor para o qual esse fato n
ao
e familiar podera encontrar demonstraco
es em bons livros sobre teoria de n
umeros, por exemplo [99].
22 Como veremos abaixo, e crucial para a construca ao seja racional.
o desejada que n
atica Vers
Afirmamos que H e um subgrupo de GL(C, 2). De fato,
1 = h(0, 0) H ,

h(t, z)h(t , z ) = h(t + t , zeit + z eit ) H e
h(t, z)1 = h(t, zei(1+)t ) H .
E. 22.11 Exerccio. Verifique! 6
H e um grupo de Lie conexo parametrizado por t R e z C. De fato, o grupo H e homeomorfo à variedade

conexa R C. O homeomorfismo de R C em H e dado pela funcao h definida em (22.12), isto e, h : R C H ,

eit z
(t, z) 7 h(t, z) :=

.

0 eit
Claramente, h e contnua. 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,

eit z eit z
= .

0 eit 0 eit
Isso implica as tres seguintes condicoes simult

aneas:

eit = eit (22.13)

eit = eit (22.14)
z = z . (22.15)
As relacoes (22.13) e (22.14) implicam
t = t + 2k e t = t + 2l ,
respectivamente, para k, l Z. Assim, multiplicando-se a primeira igualdade por e subtraindo-se da segunda, teramos
k = l
para k, l Z. Mas isso e impossvel se for um numero irracional, a menos que k = l = 0. Com isso, conclumos que
t = t , fato esse que, juntamente com (22.15), prova que h e uma bijecao. Mais ainda, e bem claro que h e infinitamente
diferenci avel e, portanto, e um difeomorfismo.
Vamos determinar os geradores de H , que denotaremos por 1 , 2 :

i 0
1 := h(t, z) =

,

t t=z=0
0 i

0 1
2 := h(t, z) =

.

z t=z=0
0 0
atica Vers
E. 22.12 Exerccio. Verifique! 6
Um elemento generico da
algebra de Lie L(H ) associada a H e, portanto, da forma

i w
h(, w) := 1 + w2 =

,

0 i
com R e w C.
E. 22.13 Exerccio. Constate que [1 , 2 ] = i(1 )2 . Conclua da que a algebra de Lie L(H ) associada a H nao e
nilpotente, nao e simples e nao e semi-simples, mas e soluvel. 6
muito facil provar que

Vamos nos dedicar agora a calcular exp(h(, w)). E

(i )2 w(i )(1 + )

h(, w)2 =

2
0 (i )
e que
(i )3 w(i )2 (1 + + 2 )

h(, w)3 =

.

0 (i )3
Por inducao, ve-se tambem que

n1
!
X 1 n
n n1 p
(i ) w(i ) (i )
n
w(i ) n1

p=0

1

h(, w)n = =

,

0 (i )n 0 (i )n
para todo n 1. Na u
ltima igualdade usamos a bem conhecida formula da progressao geometrica.
E. 22.14 Exerccio importante. Prove as afirmacoes de acima. 6
Dessa forma, obtemos

X
1
exp(h(, w)) = 1+ h(, w)n
n=1
n!
X X
1 1 1 n
1 + (i )n w (i )n1
i
n! n! 1 e wf ( )
n=1 n=1

= =

,

X 1
n i
0 1+ (i ) 0 e
n=1
n!
atica Vers
onde
X
1 n1 1 n
f ( ) := (i ) .
n=1
n! 1
Vamos agora expressar melhor a funcao f ( ). Note-se que f (0) = 1 e que, para 6= 0,

!
X 1 1 n 1 X 1 X 1
n1
(i ) = (i )n1 (i )n1
n=1
n! 1 1 n=1
n! n=1
n!

1 ei 1 ei 1
=
1 i i

1 ei ei
=
1 i

ei ei(1) 1
= .
1 i
Assim,

1, para = 0,

f ( ) =

i(1)

ei e 1
, para 6= 0
1 i
e, finalmente,
i
e wf ( )

exp(h(, w)) =

.
(22.16)

0 ei
A questao que agora se p )) := {exp(h(, w)), R, w C} igual a H ?

oe e: sera o conjunto de matrizes exp(L(H
2
ao! Para provar isso mostraremos que as matrizes h 1
A resposta e n , z com z 6= 0 n ao sao elementos do conjunto
ao fosse o caso, existiriam R e w C tais que
exp(L(H )). Se tal n

2
h , z = exp(h(, w)) ,
1
ou seja,
2
i 1 i
e z e wf ( )

= .

2

i 1 i
0 e 0 e
Isso so e possvel se as seguintes tres condicoes forem satisfeitas simultaneamente:

2
ei 1 = ei , (22.17)
2
ei 1 = ei , (22.18)
z = wf ( ). (22.19)
atica Vers
As condicoes (22.17) e (22.18) implicam

2 2
= + 2k e = + 2l ,
1 1
respectivamente, com k, l Z. Das duas conclu-se (multiplicando a primeira por ) que 2k = 2l, ou seja, k = l.
Porem, como foi suposto ser um n
umero irracional, isso so e possvel se k = l = 0. Portanto
2
= .
1
Ocorre agora, porem, que inserindo-se esse valor de no lado direito de (22.19) obtemos
2 2
! 2i
2 ei 1 ei(1) 1 1 2
i 1 e 1
wf = w 2 = w e = 0
1 1 i 1 2i
e, conseq ao pode ser satisfeita para z 6= 0.

uentemente, (22.19) n
Esse exemplo ilustra bem o fato mencionado de haver situacoes nas quais a imagem pela exponenciacao da algebra
de Lie L(G) associada a um grupo de Lie G n
ao coincide com o grupo G.
E. 22.15 Exerccio. Seja um grupo de Lie simplesmente conexo G, cuja algebra de Lie e L. Um teorema devido a Dixmier
[108] afirma, entre outras coisas, que exp(L) = G se exp for injetora. Mostre que (, w) 7 exp(h(, w)) definida em (22.16)
nao e injetora. 6
No exemplo acima vale, porem, a seguinte afirmacao: 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 facil ver que

it it it
e z e 0 1 e z
h(t, z) =

=

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

0 eit 0 e it
0 1

Grupos de Lie e Algebras de Lie. Uma Breve

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Grupos de Lie e Algebras de Lie. Uma Breve

Uploaded by

Copyright:

Available Formats

Captulo 22

Grupos de Lie e Algebras de Lie. Uma Breve

22.1 Variedades e Grupos de Lie

avel como funcao de (um subconjunto de) Rn em Rn .

Vide Captulo 33, p

Informalmente, um grupo G e topol

e tais que para todo O G as imagens inversas inv 1 (O) e 1

22.2 Breves Consideraco

Alguns fatos sobre grupos topol

por ser o produto de dois elementos de G, que e um grupo.

e, assim, U 2 e aberto, pois e uma uni

Por inducao, segue facilmente que todo U n e aberto.

Informalmente, essa proposicao diz que se H e um grupo topologico conexo, ent

ogico. Dizemos que uma colecao de conjuntos abertos A H, , e um recobrimento de

A seguinte proposicao e imediata:

22.3 Grupos de Lie Matriciais

22.3.1 Uma Topologia M

22.3.2 O Grupo de Lie GL(C, n)

kG H GHkC = k(G G)HkC kG GkC kHkC ,

mostrando que kG H GHkC 0 se kG GkC 0. Assim, o produto `a esquerda e contnuo.

Assim, como pela escolha de temos kH 1 (G H)kC kH 1 kC < 1, podemos escrever

A justificativa dessa expressao6 foi apresentada na Secao 10.2. Tem-se, ent

Ug = {gA(x), com A(x) U } .

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

gij (gA(x)) = gij (g + gX)) := (gX)ij , i, j = 1, . . . , n ,

22.3.3 Subgrupos Uniparam

7 Karl Neumann (1832-1925).

Prova.9 Se supusessemos que e uma matriz diferenci

Um exemplo de uma tal funcao seria (para a < 0 < b)

E. 22.9 Exerccio. Para a, b = 1, . . . , n e C, sejam ab (t), matrizes definidas da seguinte forma:

E. 22.10 Exerccio. Como sao as relacoes de comutacao das matrizes E ab ? 6

22.3.4 Subgrupos Uniparam

Vamos denotar por Wr a imagem de wr pela exponenciacao:

claro que Wr G e e claro que Wr e simetrico, ou seja, se Y Wr ent

Comentemos que, pela Proposicao 10.11, p

Alternativamente, e claro que

Podemos agora demonstrar o seguinte lema, de import

ario e crucial para o que segue14 , pois tem a seguinte conseq

22.3.5 Subgrupos Fechados de GL(C, n)

(lembre-se que Ak + A = A) onde

e e denominado subgrupo gerado por L(H). Vamos provar o seguinte teorema:

Teorema 22.3 Se H e fechado e conexo ent e = H.

e H, de modo que queremos apenas provar que H H.

Podemos agora reunir os resultados que provamos acima e passar `a

exp(A) exp(B) = exp(A B) ,

onde A B e uma expressao um tanto complexa envolvendo somas de comutadores m

quando retomarmos adiante a discuss ao da f

Se L e uma algebra de Lie, dizemos que um subespaco vetorial I de L e um ideal se

Pela definicao, todo ideal de L e uma sub-algebra de Lie de L.

Defini nicos ideais forem {0} e a propria L.

Soma direta e soma semi-direta de

e se todo elemento x L puder ser escrito de modo u

A sub-algebra R acima e denominada radical de L.

Grupos de Lie nilpotentes

Proposi ao 22.8 Seja G um subgrupo de Lie de GL(C, n) e LG Mat (C, n) sua

e o subconjunto U de G definido por

onde L1 , . . . , Lm formam uma base em LG .

Grupos de Lie com algebras de Lie nilpotentes n

22.4.3 Alguns Exemplos Especiais

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

h(t, z)1 = h(t, zei(1+)t ) H .

E. 22.11 Exerccio. Verifique! 6

H e um grupo de Lie conexo parametrizado por t R e z C. De fato, o grupo H e homeomorfo `a variedade

A questao que agora se p )) := {exp(h(, w)), R, w C} igual a H ?