Cap tulo 19 Uma Breve Introduo ` Teoria das ca a Representaes de Grupos co

Contedo u
19.1 19.2 19.3 19.4 19.5 Representaes de Grupos . . . . . . . co Representaes Irredut co veis de SO(3) A Medida de Haar . . . . . . . . . . . . Representaes de Grupos Compactos co O Teorema de Peter-Weyl . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 932 937 941 942 943

rupos desempenham um papel importante na F sica em geral devido a sua relaao com transformaoes de c c simetria. Na F sica Quntica (na Mecnica Quntica ou na Teoria Quntica de Campos), onde o conjunto de a a a a estados puros de um sistema f sico descrito por um espao linear, torna-se particulamente relevante estudar e c a aao de grupos de simetria em espaos vetoriais. Essa a motivaao bsica do estudo de representaoes de c c e c a c grupos.

19.1

Representaes de Grupos co

Uma representaao de um grupo G em um espao vetorial V uma aplicaao que a cada g G associa um operador c c e c linear invers (g) : V V de modo que as seguintes condioes sejam satisfeitas: vel c 1. (e) = . 2. (g)(h) = (gh), g, h G. 3. (g 1 ) = (g)1 , g G. Acima e a unidade de G e o operador identidade em V . e H outras formas equivalentes de caracterizar ou denir o conceito de representaao de um grupo. Podemos dizer que a c uma representaao de um grupo em um espao vetorial V um homomorsmo de G no grupo dos operadores lineares c c e invers veis de V em V , ou ainda, que uma aao a esquerda de G em V atravs de operadores lineares invers e c ` e veis. A representao trivial ca A representaao que associa todo g G ao operador identidade em V , ou seja, tal que (g) = , g G, denominada c e representaao trivial. c Intertwiners Seja G um grupo e V1 , V2 dois espaos vetoriais (sobre o mesmo corpo) onde atuem duas representaoes de G: 1 e c c 2 , respectivamente em V1 e V2 . Um operador U : V1 V2 tal que U 1 (g) = 2 (g)U, e c c a para todo g G, dito ser um operador de entrelaamento de 1 e 2 . Operadores de entrelaamento so mais freq entemente designados intertwiners. u Voltaremos a falar sobre intertwiners quando tratarmos do importante Lema de Schur adiante.

932

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Cap tulo 19

933/1628

Representaoes equivalentes c As duas representaoes so ditas ser representaoes equivalentes se existir um operador invers U : V1 V2 tal que c a c vel U 1 (g) = 2 (g)U para todo g G, ou seja, se 1 e 2 possu rem um intertwiner invers vel. E muito fcil mostrar que a equivalncia de duas representaoes uma relaao de equivalncia (no sentido usual) e que, a e c e c e portanto, a classe de todas as representaoes de um grupo pode ser quebrada em classes de representaoes equivalentes. c c Um grupo pode ter vrias representaoes distintas (e inequivalentes) em um mesmo espao vetorial. a c c E. 19.1 Exerccio. Seja G = (R, +) e V = R2 . Mostre que 1 x , T1 (x) := 0 1 1 T2 (x) := x 0 1

x R, so trs representaoes de G. Mostre que T1 e T2 so equivalentes (sugesto: tome U = ( 0 1 )). Mostre que R e T1 a e c a a 10 (ou T2 ) no so equivalentes (sugesto: se o fossem, veja o que ocorreria para x = 2). a a a subespaos invariantes c Seja G um grupo, V um espao vetorial e uma representaao de G em V . Seja V um subespao de V . V dito c c c e ser um subespao invariante por se (g)v V para todo v V e todo g G, ou seja, se (G)V V . c Qualquer representaao possui sempre pelo menos dois subespaos invariantes: aquele formado apenas pelo vetor c c nulo V = {0} e aquele formado pelo espao todo V = V . Esses subespaos invariantes so ditos triviais. c c a E. 19.2 Exerccio. 1. Mostre que a representao T1 , denida acima, tem um subespao invariante de dimenso 1, a ca c a saber, o subespao formado pelos vetores da forma ( a ), a R. Mostre que nenhum outro subespao de dimenso 1 de R2 c c a e 0 invariante por T1 . 2. Mostre que a representao T2 , denida acima, tem um subespao invariante de dimenso 1, a saber, o ca c a subespao formado pelos vetores da forma ( 0 ), b R. Mostre que nenhum outro subespao de dimenso 1 de R2 invariante c c a e b por T2 . 3. Mostre que a representao R, denida acima, no tem nenhum subespao invariante no-trivial. ca a c a E. 19.3 Exerccio. Verique que as expresses abaixo denem representaoes de G = (R, +) em V = R4 e identique o c seus subespaos invariantes. c
B1 B B B0 B 1 (x) = B B B B0 B @ 0 0 x 1 0 0 0 0 1 0 0C C C 0C C C, C C xC C A 1 1 B1 B B B0 B 2 (x) = B B B B0 B @ 0 0 x 1 0 0 0 0 cos x sen x C C C 0 C C C, C C sen xC C A cos x 0 1 B cos x B B B sen x B 3 (x) = B B B B 0 B @ 0 0 sen x cos x 0 0 0 0 cos x sen x C C C 0 C C C. C C sen xC C A cos x 0 1

cos x sen x , R(x) := sen x cos x

Representaoes irredut c veis De grande importncia o conceito de representaao irredutvel de um grupo G em um espao vetorial V . Uma a e c c representaao de um grupo G em um espao vetorial V dita ser irredutvel se os seus unicos subespaos invariantes c c e c forem os triviais. Uma representaao que no irredut dita ser redutvel. c a e vel e c a a a veis. Mostre que a representao ca E. 19.4 Exerccio. Mostre que as representaoes T1 e T2 , denidas ` pgina 933, so redut R irredut e vel.

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Cap tulo 19

934/1628

Vamos supor que V seja um espao de dimenso nita, digamos n, e que seja uma representaao de um grupo G c a c em V que possua um subespao invariante no-trivial V (ou seja, redut c a e vel). Seja m n a dimenso de V . Ento a a poss encontrar uma base em V tal que (g) possui a representaao matricial em blocos e vel c 1 (g) (g) (g) = 0 2 (g)

para todo g G, onde 1 (g) uma matriz m m, 2 (g) uma matriz (n m) (n m), e (g) uma matriz m (n m). e e e Mostrar isso bem simples, basta representar cada v V em uma base e1 , . . . , en , onde e1 . . . , em formam uma base e de V . O seguinte exerc revela uma propriedade importante dos blocos 1 e 2 : cio E. 19.5 Exerccio. Mostre que 1 e 2 denidos acima so tambm representaoes de G. a e c Uma representaao de um grupo G em um espao vetorial V dita ser uma representaao totalmente redutvel se c c e c for redut e se V puder ser escrita como uma soma direta de subespaos invariantes por : V = V1 Vk . Em tal vel c caso (g) pode ser escrita em uma base conveniente na forma de blocos 1 (g) (g) = .. . k (g)

para todo g G, onde cada i (g) uma representaao de G agindo no espao invariante Vi de . Em um tal caso e c c denotamos da forma = 1 k . Particularmente importante a situaao em que totalmente redut e cada i irredut e c e vel e vel. Em tal caso dizemos que uma representaao maximalmente redutvel, ou ainda uma representaao completamente redutvel. e c c E. 19.6 Exerccio. redut veis. Sejam as representaoes T1 e T2 denidas ` pgina 933. Mostre que T1 e T2 no so totalmente c a a a a

E. 19.7 Exerccio. Sejam as representaoes 1 , 2 e 3 denidas ` pgina 933. Mostre que 1 e 2 so totalmente mas c a a a no maximalmente redut a veis. Mostre que 3 maximalmente redut e vel. Nesse contexto a seguinte proposiao importante: c e Proposio 19.1 Seja V um espao vetorial complexo de dimenso nita, dotado de um produto escalar , , e seja ca c a c a e uma representaao de um grupo G por operadores unitrios (em relaao ao produto escalar). Ento ou irredutvel c a ou maximalmente redutvel. e

Para provar essa proposiao, vamos antes demonstrar o seguinte lema, o qual tem importncia por si s, como veremos c a o mais adiante. Lema 19.1 Seja V um espao vetorial complexo, dotado de um produto escalar , , e seja uma representaao de c c um grupo G por operadores unitrios (em relaao ao produto escalar). Se W um subespao invariante por ento seu a c e c a complemento ortogonal W (em relaao ao produto escalar) tambm o . c e e Prova. Como unitrio, vale (g) = (g)1 = (g 1 ) para todo g G. Seja w W e w W . Ento, para e a a qualquer g G (g)w , w = w , (g) w = w , (g 1 )w = 0

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Cap tulo 19

935/1628

pois (g 1 )w W , j que W invariante, e w ortogonal e todo elemento de W . Como w um elemento arbitrrio a e e e a de W , isso mostrou que (g)w W para todo g G, provando assim que W invariante. e Vamos agora provar a proposiao. Se unitria e redut c e a e vel, ento V possui um subespao invariante no trivial a c a V1 e, pelo lema acima, V2 = V1 tambm invariante. Logo, totalmente redut e e e vel, V = V1 V2 e = 1 2 . Agora, fcil ver que cada 1 tambm uma representaao unitria (por qu?). Assim, podemos aplicar a mesma concluso a e a e e c a e a cada i e, se i for redut vel, podemos tornar a quebrar o subespao Vi em subespaos invariantes ainda menores e i c c em uma soma de representaoes unitrias menores. Como a dimenso de V nita, esse procedimento ter forosamente c a a e a c um m e cada representaao menor a que se chegar ser forosamente irredut c a c vel. E. 19.8 Exerccio. Mostre que as mesmas concluses valem para representaoes ortogonais em espaos vetoriais reais. o c c Representaoes irredut c veis para operadores Um outro conceito importante o seguinte. Uma representaao de um grupo G em um espao vetorial V dita ser e c c e uma representaao irredutvel para operadores se valer a seguinte propriedade: os unicos operadores A : V V tais que c A(g) = (g)A a a u para todo g G so da forma A = , ou seja, so m ltiplos da identidade. Podemos nos perguntar qual a relaao entre essa noao e a de representaao irredut c c c vel. Vamos demonstrar adiante os seguintes fatos: 1) toda representaao irredut complexa de dimenso nita irredut para operadores. 2) toda c vel a e vel representaao unitria que seja irredut para operadores tambm irredut c a vel e e vel. Vrias das conseqncias mais importantes da teoria das representaoes de grupos so extra a ue c a das dessas observaoes. c Como vemos elas nos dizem que para representaoes unitrias complexas e de dimenso nita (de particular interesse na c a a f sica quntica) os conceitos de representaao irredut e representaao irredut para operadores so coincidentes. a c vel c vel a Vamos comear demonstrando a armaao 2). c c Proposio 19.2 Se uma representaao unitria que irredutvel para operadores, ento tambm irredutvel. ca e c a e a e e

e Prova. Vamos supor W seja um subespao invariante por . Seja P o projetor sobre W . Ento, P o projetor sobre c a W , que tambm invariante, pois unitria. E evidente que e e e a (g)P x = P (g)P x, pois (g)P x W . Por outro lado, como x = P x + ( P )x, ento a P (g)x = P (g)P x + P (g)( P )x = P (g)P x, a e mos que (g)P x = P (g)x para todo x e pois P (g)( P )x = 0, j que W invariante. Comparando-se, conclu todo g G, ou seja, (g)P = P (g) para todo g G. Porm, como irredut para operadores, isso s poss se P = . Como P 2 = P , tem-se e e vel oe vel e = 0 ou = 1. No primeiro caso P = 0, no segundo, P = , ou seja, no primeiro caso W = {0} e no segundo W o espao todo. Ora, isso diz precisamente que irredut c e vel. Vamos agora passar a demonstraao da armaao 1), acima. A mesma corolrio de um lema algbrico de grande c c e a e importncia. O chamado lema de Schur1 . a O Lema de Schur
1 Issai

Schur (18751941).

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Cap tulo 19

936/1628

c Lema 19.2 (Lema de Schur) Se 1 e 2 so duas representaoes irredutveis de um grupo G em espaos vetoriais V1 a c e V2 , respectivamente, e A : V1 V2 um intertwiner de 1 e 2 , ou seja, A1 (g) = 2 (g)A para todo g G, ento ou e a A inversvel ou A = 0. Caso A seja inversvel e V1 e V2 sejam espaos vetoriais complexos de dimenso nita, ento e c a a A e unico, a menos de multiplicaao por escalar. c Prova. Sejam M1 M2 := := Ker(A) V1 Ran(A) V2

a o n cleo e a imagem de A, respectivamente2 . E fcil ver que M1 e M2 so subespaos invariantes de 1 e 2 , respecu a c tivamente. De fato, se x M1 tem-se Ax = 0. Logo, A1 (g)x = 2 (g)Ax = 0, provando que 1 (g)x M1 para todo g G, ou seja, M1 invariante por 1 . Analogamente, se y M2 temos que y = Ax para algum x V1 . Assim, e 2 (g)y = 2 (g)Ax = A1 (g)x Ran(A), mostrando, assim, que M2 invariante por 2 . e Pelas hipteses do lema, 1 e 2 so irredut o a veis e s possuem subespaos invariantes triviais. Valem, portanto, os o c seguintes quatro casos apenas: 1. M1 = V1 e M2 = V2 . 2. M1 = {0} e M2 = V2 . 3. M1 = V1 e M2 = {0}. 4. M1 = {0} e M2 = {0}. Os casos 1 e 4 so imposs a veis: se Ker(A) = V1 no se pode ter Ran(A) = V2 ; se Ker(A) = {0} no se pode ter a a Ran(A) = {0}. Assim, valem apenas os casos 2 e 3. No caso 2 tem-se que A invers e vel. No caso 3, tem-se que A = 0. Resta-nos provar que, caso A seja invers e V1 e V2 sejam espaos vetoriais complexos de dimenso nita, ento vel c a a A unico, a menos de multiplicaao por escalar. Se A invers e c e vel, ento a dimenso de V1 igual ` de V2 e A pode a a e a ser visto como uma matriz quadrada. Seja B um outro intertwiner de 1 e 2 . Ento, para qualquer C tem-se a (A B)1 (g) = 2 (g)(A B). Portanto, ou (A B) = 0 ou invers e vel. Podemos, porm, escolher de modo e que det(A B) = 0. Isso sempre poss e vel, pois det(A B) um polinmio em e polinmios sempre tm ra e o o e zes complexas. Para uma tal escolha de , a matriz A B no invers e, portanto, nula e A = B. a e vel e O Lema de Schur tem vrias conseqncias importantes. A primeira o seguinte: a ue e Corolrio 19.1 Se uma representaao irredutvel complexa de dimenso nita de um grupo G ento irredutvel a e c a a e para operadores. Prova. Seja A tal que A(g) = (g)A para todo g G. Sabemos tambm que (g) = (g), trivialmente. Pela e unicidade armada no Lema de Schur, A = . Outro corolrio importante o seguinte: a e Corolrio 19.2 As representaoes irredutveis complexas de dimenso nita de um grupo Abeliano so unidimensionais. a c a a

Prova. Se G Abeliano e uma representaao de G, vale (h)(g) = (g)(h) para quaisquer g, h G. Assim, se e c irredut complexa e de dimenso nita, segue do corolrio anterior que (h) = (h), ou seja, (h) uma matriz e vel a a e diagonal com (h) na diagonal. Como irredut e vel, a dimenso do espao s pode ser igual a 1. a c o Exemplos
2 Para

os esquecidos, Ker(A) := {x V1 | Ax = 0}. Ran(A) := {y V2 | y = Ax para algum x V1 }.

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Cap tulo 19

937/1628

c veis complexas de dimenso nita do grupo ZN , N 2, so a a E. 19.9 Exerccio. Mostre que as representaoes irredut k (a) = exp a ZN , k = 0, , . . . N 1. c veis complexas de dimenso nita do grupo SO(2) so a a E. 19.10 Exerccio. Mostre que as representaoes irredut p () = exp (ip) , [0, 2), p Z. a a Note que o grupo SO(2) tem representaoes irredut veis reais que no so unidimensionais. Por exemplo, aquela que c sen () , [0, 2). cos() z (x) = exp (zx) , x R, z C. E. 19.12 Exerccio. Mostre que as representaoes irredut c veis unitrias de dimenso nita do grupo (R, +) so a a a k (x) = exp (ikx) , x R, k R. E. 19.13 Exerccio. Mostre que as representaoes irredut c veis complexas de dimenso nita do grupo (R+ , ) so a a z (x) = exp (z ln(x)) =: xz , x R+ , z C. E. 19.14 Exerccio. Mostre que as representaoes irredut c veis unitrias de dimenso nita do grupo (R+ , ) so a a a k (x) = exp (ik ln(x)) = xik , x R+ , k R. 2ik a , N

cos() dene o prprio grupo SO(2): R() = o sen ()

E. 19.11 Exerccio. Mostre que as representaoes irredut c veis complexas de dimenso nita do grupo (R, +) so a a

19.2

Representaes Irredut co veis de SO(3)

Um cap tulo importante das aplicaoes da teoria de grupos ` F c a sica envolve a classicaao das representaoes irredut c c veis de dimenso nita (unitrias ou ortogonais) do grupo de rotaoes SO(3). a a c Como j vimos, o grupo SO(3) formado por matrizes da forma R(, ) = exp( J), onde [0, 2), R3 a e e um vetor unitrio e J1 , J2 , J3 so matrizes 3 3 tais que [Ja , Jb ] = abc Jc . As matrizes Ja so geradores de subgrupos a a a uniparamtricos R1 , R2 e R3 de SO(3), representando rotaoes em torno dos eixos 1, 2 e 3, respectivamente. e c a E fcil concluir que se uma representaao de dimenso nita de SO(3), da forma e c a e (R(, )) = exp( (J)),

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Cap tulo 19

938/1628

onde (J1 ), (J2 ), (J3 ) so matrizes tais que [(Ja ), (Jb )] = abc (Jc ) e que so os geradores da representaao por a a c dos subgrupos uniparamtricos R1 , R2 e R3 . e Vamos denir La = i(Ja ). Ficamos com (R(, )) = exp(i L), com [La , Lb ] = iabc Lc . E importante notar que se (g) unitria para todo g SO(3), ento cada La auto-adjunta: L = La . e a a e a E. 19.15 Exerccio. Prove isso. Operador de Casimir Um fato muito importante, vlido para qualquer representaao de SO(3) como acima, que a matriz denotada por a c e L2 e denida por L2 = L2 + L2 + L2 1 2 3 comuta com todos os trs geradores La : [L2 , La ] = 0, para todo a = 1, 2, 3. e E. 19.16 Exerccio muito importante. Verique essa armao. Sugesto: prove (e use) a identidade [A2 , B] = ca a A[A, B] + [A, B]A, vlida para quaisquer matrizes n n A e B. a Um operador com essa propriedade, a de comutar com todos os geradores de uma lgebra de Lie, dito ser um a e operador de Casimir3 . Por um teorema devido a Racah, L2 o unico operador de Casimir de SO(3) (os demais so e a combinaoes lineares de potncias de L2 ). A importncia dos operadores de Casimir a seguinte. Como L2 comuta com c e a e cada La , segue facilmente de (19.1) que L2 (g) = (g)L2 para todo g SO(3). Assim, pelo Lema de Schur, se uma e representaao irredut c vel, L2 deve ser um m ltiplo da identidade. Isso abre o caminho para classicar as representaoes u c irredut veis de SO(3): estudando os poss veis autovalores de L2 . Em cada subespao formado por autovetores com um c dado autovalor xo, teremos uma representaao irredut c vel. Autovalores de L2 Sejam La , a = 1, 2, 3, matrizes complexas auto-adjuntas agindo em um espao vetorial de dimenso nita, satisfac a zendo [La , Lb ] = iabc Lc e L2 denida como acima. Vamos estudar os poss veis autovalores de L2 . Comecemos mostrando que os autovalores de L2 so n meros reais no-negativos. Seja um autovetor de L2 com a u a autovalor : L2 = . Ento, a , = , L2 = , L2 + , L2 + , L2 = L1 , L1 + L2 , L2 + L3 , L3 . 1 2 3 Na ultima igualdade usamos o fato que L = La . Como La , La 0, conclu mos que 0, como quer amos. a Todo n mero 0 pode ser escrito na forma = l(l + 1) com l 0. Por futura convenincia, escreveremos doravante u e os autovalores de L2 na forma l(l + 1) com l 0. Recordemos agora o fato que, como [L2 , L3 ] = 0, podemos escolher uma base ortogonal formada por vetores que so simultaneamente autovetores de L2 e L3 . Denotaremos esses vetores por l,m , tendo-se L2 l,m = l(l + 1)l,m e a L3 l,m = ml,m . Iremos em breve fazer uso dessa base. E conveniente denir L = L1 iL2 . Tem-se que L = L . Como L1 = (L+ + L )/2 e L2 = (L+ L )/(2i), podemos reescrever as relaoes algbricas [La , Lb ] = iabc Lc em termos de L e L3 . Obtemos c e [L3 , L ] = [L+ , L ] = Fora isso, L2 L2
3 Hendrik

(19.1)

L , 2L3 .

(19.2) (19.3) (19.4) (19.5)

= L+ L + L3 (L3 ) , = L L+ + L3 (L3 + ) .

Brugt Gerhard Casimir (19092000).

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Cap tulo 19

939/1628

c E. 19.17 Exerccio muito importante. Prove as relaoes acima. Vamos usar essas relaoes para provar vrios fatos sobre os autovalores de L2 e L3 . De (19.5) tem-se c a L L+ l,m = [l(l + 1) m(m + 1)]l,m = (l m)(l + m + 1)l,m . De (19.4) tem-se L+ L l,m = [l(l + 1) m(m 1)]l,m = (l + m)(l m + 1)l,m . Assim, l,m , L L+ l,m e l,m , L+ L l,m Porm, como e L = L , segue que e l,m , L+ L l,m = L l,m , L l,m 0 . = (l + m)(l m + 1) l,m
2

(19.6) (19.7) (19.8)

= (l m)(l + m + 1) l,m

(19.9)

l,m , L L+ l,m = L+ l,m , L+ l,m 0 Logo, conclu mos de (19.8) e de (19.9) que

(l m)(l + m + 1) 0 , (l + m)(l m + 1) 0 . De (19.10), segue que a) l m 0 e l + m + 1 0, ou b) l m 0 e l + m + 1 0.

(19.10) (19.11)

No caso b) se somarmos ambas as desigualdades teremos 2l + 1 0. Isso imposs e vel, pois l 0. Assim, vale a) que, em particular, diz que m l. Por (19.11), isso implica l + m 0, ou seja, m l. Conclu mos ento que a l m l . Assim, para cada l, os valores de m no podem ser maiores que l nem menores que l. a Vamos agora provar a seguinte proposiao, que utilizaremos logo abaixo. c Proposio 19.3 Seja l,m um autovetor de L2 e de L3 com autovalores l(l + 1) e m, respectivamente. Ento se ca a L+ l,m = 0 segue que m = l. Analogamente, se L l,m = 0 segue que m = l. Prova. Se L+ l,m = 0 segue, evidentemente, que L L+ l,m = 0. Por (19.6) isso implica (l m)(l +m+1) = 0. Assim, ou m = l ou m = (l + 1). Esse ultimo caso proibido por (19.12) e, portanto, m = l. Se L l,m = 0 segue, evidentemente, e que L+ L l,m = 0. Por (19.7) isso implica (l + m)(l m + 1) = 0. Assim, ou m = l ou m = l + 1. Esse ultimo caso e proibido por (19.12) e, portanto, m = l. Vamos agora prosseguir tentando estabelecer mais alguns fatos sobre os poss veis valores de l e m. Usando as relaoes de comutaao entre L3 e L+ , fcil ver que c c e a L3 L+ l,m = [L3 , L+ ]l,m + L+ L3 l,m = (m + 1)L+ l,m . Analogamente, usando as relaoes de comutaao entre L3 e L , tem-se c c L3 L l,m = [L3 , L ]l,m + L L3 l,m = (m 1)L l,m . Essas duas relaoes dizem-nos que L l,m um autovetor de L3 com autovalor m 1. Note-se que, como L2 comuta c e com L , tem-se tambm L2 L l,m = l(l + 1)L l,m . Assim, aplicar o operador L a l,m aumenta (diminui) de uma e unidade o autovalor de L3 sem alterar o de L2 . Percebemos disso que caso m = l teremos L3 L+ l, l = (l + 1)L+ l, l o que, em funao de (19.12), s poss se c o e vel L+ l, l = 0. Analogamente, caso m = l teremos L3 L l, l = (l + 1)L l, l o que, em funao de (19.12), s c o e poss se L l, l = 0. Junto com a Proposiao 19.3 isso conduz ao vel c (19.12)

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Cap tulo 19

940/1628

Corolrio 19.3 Seja l,m um autovetor no-nulo de L2 e de L3 com autovalores l(l + 1) e m, respectivamente. Ento a a a tem-se L+ l,m = 0 se e somente se m = l. Analogamente, L l,m = 0 se e somente se m = l. Precisamos mostrar que existem autovetores no-nulos de L3 com autovalores l. Certamente existe um autovetor a no-nulo l,m para algum m satisfazendo (19.12). Pelo que vimos acima, Lp l,m um autovetor de L3 com autovalor a e + m + p. Suponhamos que m < l e seja p0 0 o maior inteiro no-negativo tal que m + p0 l. Ento m + p0 + 1 > l, o a a e e a que implica que 0 = Lp0 +1 l,m = L+ Lp0 l,m . Pelo Corolrio 19.3 isso implica que ou Lp0 l,m nulo ou autovetor de + + + L3 com autovalor l. Se p0 = 0 ento l,m = 0, por hiptese. Se p0 > 0, ento, caso Lp0 l,m = 0, concluir a o a amos tambm e + p0 pelo Corolrio 19.3 que L+ 1 l,m autovetor no-nulo de L3 com autovalor l. A repetiao desse argumento conduz ` a e a c a concluso que h um autovetor no-nulo de L3 com autovalor l. Analogamente, conclui-se que existe autovetor no-nulo a a a a de L3 com autovalor l. Estamos agora preparados para chegar a uma importante concluso sobre os poss a veis valores de l, a saber, que l s o pode assumir valores inteiros ou semi-inteiros. Ao aplicarmos repetidamente o operador L+ , ao vetor no-nulo l,l obtemos sucessivos vetores Lp l,l com autoa + valores l + p de L3 . Chegar um momento em que a desigualdade l m l ser violada, ou seja, existe p tal que a a Lp+1 l,l seria o primeiro autovetor de L3 com autovalor maior que l. Como isso imposs e vel, segue que Lp+1 l,l = 0 e + + p p L+ l,l deve ser autovetor de L3 com autovalor mximo l. Mas o autovalor de L3 em L+ l,l l + p. Logo l + p = l, a e ou seja, 2l = p. Como p um n mero inteiro, segue que l ou um inteiro (caso p seja par) ou um semi-inteiro (caso p e u e seja mpar). Como os autovalores m so da forma l + p, para p inteiro, segue que m ser inteiro se l o for ou semi-inteiro, caso l a a o seja. A concluso importante que os autovalores de L2 so n meros da forma l(l + 1) com l 0 inteiro ou semi-inteiro. a e a u Cada representaao irredut c vel de SO(3) caracterizada por um autovalor de L2 e podemos, portanto, classicar as e representaoes irredut c veis de SO(3) pelo ndice l: l . Esse fato de grande importncia na F e a sica Quntica pois os a n meros l(l + 1) e m so associados aos autovalores dos operadores de momento angular L2 e L3 . u a Elementos de matriz dos geradores L1 , L2 e L3 E poss vel xar a forma dos geradores La em cada representaao irredut c vel l . Para isso, escolhemos como base os 2l + 1 vetores l,m com l m l. Nessa base L3 diagonal tendo elemento de matriz m na m-sima posiao e e c da diagonal. Para obter os elementos de matriz de L1 e L2 , obtemos primeiramente os elementos de matriz de L . Os mesmos podem ser xados a partir de (19.8)(19.9), que dizem-nos que, L+ l,m e L l,m
2 2

= (l m)(l + m + 1) = [l(l + 1) m(m + 1)] = (l + m)(l m + 1) = [l(l + 1) m(m 1)]

(19.13) (19.14)

para l,m = 1. Sabemos que L l,m deve ser m ltiplo de l,m1 . Com as relaoes acima, podemos convencionar u c (xando os fatores de fase como sendo iguais a 1) L+ l,m = L l,m = l(l + 1) m(m + 1) l, m+1 , l(l + 1) m(m 1) l, m1 .

Isso fornece os elementos de matriz de L na base l,m e com os mesmos podemos obter os elementos de matriz de L1 e L2 . E. 19.18 Exerccio. Obtenha explicitamente as matrizes L1 , L2 e L3 nos casos l = 1/2, l = 1 e l = 3/2. No primeiro caso, obtm-se, a menos de um fator 1/2, as matrizes de Pauli. e Com as expresses acima, at mesmo poss escrever de modo mais expl o e e vel cito a forma das representaoes l (R(, )) = c exp i L .

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Cap tulo 19

941/1628

19.3

A Medida de Haar

Seja G um grupo nito e seja f : G C uma funao que a cada elemento g do grupo associa um n mero complexo f (g). c u Podemos denir a mdia de f em G por e 1 (f ) := f (g), #G
gG

onde #G o n mero de elementos de G. e u Essa noao de mdia de uma funao em um grupo nito possui algumas propriedades importantes. Seja h um elemento c e c e d xo mas arbitrrio de G e denamos as funoes fh (g) := f (hg), fh (g) := f (gh) e f i (g) = f (g 1 ). Ento vale que para a c a qualquer h G e d (fh ) = (fh ) = (f i ) = (f ), ou seja, a mdia invariante por multiplicaao ` direita ou ` esquerda por elementos de G ou pela inverso do argumento e e c a a a de f . E. 19.19 Exerccio. Mostre isso. Note-se tambm que a mdia acima foi normalizada de modo que se f (g) = 1 para todo g G, ento (f ) = 1. Por e e a m, note-se tambm que a mdia acima positiva: se f 0 ento (f ) 0. Fora isso, se f 0 e (f ) = 0, ento e e e a a f (g) = 0 para todo g G. Grupos nitos no so os unicos a possuir mdias invariantes positivas. Vamos a alguns exemplos. Para o grupo a a e SO(2) podemos denir 2 1 f ()d, (f ) = 2 0 a caso a integral seja nita. E fcil ver que as propriedades de invarincia observadas no caso de grupos nitos so vlidas a a a aqui tambm, inclusive a normalizaao e a positividade. Para o grupo (R, +) podemos denir e c

(f ) =

f (x)dx,

caso a integral seja nita. Como se v essa mdia positiva, invariante por translaoes f (x) f (x + y) e pela troca do e e e c argumento da f por seu inverso: f (x) f (x), em analogia ao caso de grupos nitos. Note-se, porm, que essa mdia e e no pode ser normalizada, pois o grupo no compacto. Outro exemplo o grupo (R+ , ). Aqui a mdia invariante a a e e e e

(f ) =
0

f (x)

1 dx, x

caso a integral seja nita. E. 19.20 Exerccio. Mostre que essa mdia invariante por f (x) f (xy), y R+ , e por f (x) f (1/x). e e Novamente, note-se que essa mdia no normalizada, pois R+ no compacto. e a e a e Podemos nos perguntar, quais grupos possuem mdias invariantes positivas como nos exemplos acima? Uma resposta e parcial foi dada por Haar4 . O teorema de Haar arma que se G um grupo compacto ento existe uma medida de e a integraao d(g) em G, denominada medida de Haar, tal que se a mdia c e (f ) =
G

f (g)d(g)

bem denida, ento tem-se e a f (g)d(g) =

G
4 Alfrd e

f (hg)d(g) =
G G

f (gh)d(g) =
G

f (g 1 )d(g)

Haar (18851933).

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Cap tulo 19

942/1628

a para todo h G. Fora isso, a mdia normalizada: G d(g) = 1 e positiva: se f 0 ento e e a f 0 e G f d = 0, ento f (g) = 0 para quase todo g G.

f d 0 sendo que se

O teorema de Haar pode ser parcialmente extendido para grupos localmente compactos (como (R, +) e (R+ , )): Se G localmente compacto existem medidas positivas de integraao de (g) e dd (g) em G tais que e c f (g)de (g) =
G G

f (hg)de (g) =
G

f (g 1 )de (g)

e f (g)dd (g) =
G G

f (gh)dd (g) =
G

f (g 1 )dd (g),

para quaisquer h G. Ou seja, existem uma medida invariante ` esquerda e uma outra invariante ` direita. Em a a alguns casos essas medidas coincidem (por exemplo, para grupos Abelianos), mas tal nem sempre o caso para grupos e no-Abelianos. Note que no caso de grupos compactos a medida invariante ` esquerda e a medida invariante ` direita a a a tambm coincidem. No caso de grupos localmente compactos nem sempre se pode normalizar as medidas invariantes. e Na presente verso destas notas no iremos nos estender mais no estudo da medida de Haar. O estudante convidado a a e aqui a procurar os clssicos do assunto (p.e. The Haar Measure, de Leopoldo Nachbin5 ). Como veremos, a medida de a Haar de grupos compactos desempenha um papel muito importante no estudo das representaoes desses grupos. c

19.4

Representaes de Grupos Compactos co

Seja G um grupo compacto e seja d sua medida invariante. Vamos supor que seja uma representaao de G em um c espao vetorial complexo V no qual esteja denido um produto escalar , . Com o uso de e d podemos denir em c V um outro produto escalar , G por x, y x, y V . O fato importante sobre esse produto escalar o seguinte: para todo h G e todo x, y V e (h)x, (h)y E. 19.21 Exerccio. Mostre isso. No caso de V ser um espao vetorial complexo de dimenso nita, essa ultima igualdade arma que cada (h) um c a e operador unitrio em relaao ao produto escalar , G . a c Como conseqncia, temos a seguinte ue Proposio 19.4 Toda representaao de um grupo compacto em um espao vetorial complexo de dimenso nita ca c c a e equivalente a uma representaao unitria e, conseqentemente, ou irredutvel ou maximalmente redutvel. c a u e
G G

:=
G

(g)x, (g)y d(g),

= x, y

G.

Mais forte o seguinte teorema, que no provaremos aqui: e a Teorema 19.1 Toda representaao de um grupo compacto equivalente a uma soma direta de representaoes irredutveis c e c de dimenso nita. a Esse teorema diz-nos que no caso de grupos compactos as representaoes irredut c veis de dimenso nita so os tijolos a a com os quais se constroem todas as representaoes. Note-se que o teorema acima arma que toda representaao de um c c grupo compacto Abeliano equivalente a uma soma direta de representaoes de dimenso 1. e c a
5 Leopoldo

Nachbin (19221993). Vide http://www.dmm.im.ufrj.br/doc/nachbin.htm

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Cap tulo 19

943/1628

19.5

O Teorema de Peter-Weyl

Um dos resultados mais profundos da teoria de representaoes de grupos compactos um teorema sobre a ortogonalidade c e das representaoes irredut c veis unitrias que em vrios aspectos generaliza o clebre teorema de Fourier6 da Anlise a a e a Harmnica. Como veremos, esse teorema tambm um corolrio do Lema de Schur. o e e a O Teorema de Peter-Weyl. Relaoes de ortogonalidade c Dentro da coleao de todas as representaoes unitrias de dimenso nita de um grupo compacto (ou nito) G c c a a podemos estabelecer uma relaao de equivalncia, como j observamos, dizendo que duas representaoes so equivalentes c e a c a se possu rem um intertwiner invers vel. Podemos tomar em cada classe um representante e formar assim uma coleao c { , }, de todas as representaoes unitrias de dimenso nita no-equivalentes entre si do grupo compacto (ou c a a a nito) G. Acima designa o conjunto de ndices que rotulam as representaoes. c Cada age em um espao vetorial complexo V . No que segue designaremos por d a dimenso de V . c a O importante teorema de Peter7 e Weyl8 arma que os elementos de matriz (g)ij , i, j = 1, . . . , d so ortogonais a entre si em relaao ao produto escalar denido pela medida de Haar do grupo compacto (ou nito) G. Mais que isso, c elas formam uma base ortogonal completa no espao de Hilbert L2 (G, d). c Teorema 19.2 Seja { , } a coleao de todas as representaoes unitrias irredutveis de dimenso nita noc c a a a equivalentes entre si de um grupo compacto (ou nito) G. Sejam (g)ij , i, j = 1, . . . , d seus elementos de matriz. Seja d a medida de Haar de G. Ento a (g)ij (g)kl d(g) =
G

1 ik jl . d

(19.15)

Por m, as funoes (g)ij , i, j = 1, . . . , d formam uma base ortogonal completa no espao de Hilbert L2 (G, d). c c Com isso, toda funao f L2 (G, d) pode ser escrita na forma c
d

f (g) =
i, j=1

a (g)ij , ij

onde a = d ij
G

(g)ij f (g) d(g).

Finalmente, para f L2 (G, d) vale a identidade de Parseval9 : |f (g)|2 d(g) =

G

1 d

a ij
i, j=1

As relaoes acima armam que as funoes (g)ij , i, j = 1, . . . , d so ortogonais em relaao ao produto escalar c c a c 1 denido pela medida de Haar. No caso de G ser um grupo nito devemos substituir G d #G gG , de modo que, por exemplo, as relaoes de ortogonalidade cam c 1 #G (g)ij (g)kl =
gG

1 ik jl . d

Prova. Demonstraremos aqui as relaoes de ortogonalidade. Como veremos a prova das mesmas faz belo uso do Lema c de Schur.
Baptiste Joseph Fourier (17681830). Peter (?). 8 Hermann Klaus Hugo Weyl (18851955). 9 Marc-Antoine Parseval des Chnes (17551836). Parseval deduziu esta identidade no contexto das sries e de Fourier (que correspondem e e aqui ao caso do grupo SO(2)) e transformadas de Fourier em 1805.
7 F. 6 Jean

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Cap tulo 19

944/1628

Seja E [i, j] a matriz d d tal que seu elemento de matriz ab seja E [i, j] j {1, . . . , d }. Considere-se a matriz A[i, j] :=
G

ab

= ia jb . Aqui i {1, . . . , d } e

(g 1 ) E [i, j] (g) d(g) (g) E [i, j] (g) d(g).

G

Usando as propriedades de invarincia da medida d, fcil provar que a e a (h) A[i, j] = A[i, j] (h) para todo h G. (Exerccio!). Pelo Lema de Schur, ou A[i, j] = 0 ou A[i, j] invers e vel. No caso de termos = , sabemos, por construao, que e so inequivalentes. Portanto, nesse caso temos forosamente A[i, j] = 0. Isso c a c obviamente implica que todos os elementos de matriz de A[i, j] so nulos, ou seja, a 0 = A[i, j] =
k, l G

ab

(g) ak

E [i, j]

kl

(g)lb d(g)

=
k, l G

(g) ik jl (g)lb d(g) ak

=
G

(g) (g)jb d(g) ai (g)ia (g)jb d(g).

G

Note que essa relaao vale para = mas i, j, a, b arbitrrios. Isso provou (19.15) para = . c a Vamos agora tratar o caso em que = . Nesse caso, como vimos (h) A[i, j] = A[i, j] (h) para todo h G. Aqui A[i, j] so matrizes d d . Pelo Corolrio 19.1, A[i, j] = [i, j] . Vamos determinar as constantes [i, j] . Por um a a lado, tomando-se o trao de A[i, j] tem-se Tr(A[i, j] ) = d [i, j] . Por outro lado, pela deniao de A[i, j] tem-se c c Tr A[i, j] =
G

Tr (g 1 ) E [i, j] (g) Tr (g) (g 1 ) E [i, j]

G

d(g)

d(g)

=
G

Tr E [i, j]

d(g)

= = pois Tr E [i, j] = ij . Logo,

ij
G

d(g)

ij , 1 ij . d

[i, j] = Assim, 1 ij = A[i, j] = d

(g) E [i, j] (g) d(g).

G

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Cap tulo 19

945/1628

Considerando-se o elemento de matriz ab de ambos os lados da ultima expresso, tem-se a 1 ij ab d =

k, l G

(g) ak

E [i, j]

kl

(g)lb d(g)

=
k, l G

(g) ik jl (g)lb d(g) ak

=
G

(g) (g)jb d(g) ai (g)ia (g)jb d(g).

G

Isso prova (19.15) para = , completando a prova das relaoes de ortogonalidade. c a a A demonstraao que as funoes (g)ij formam uma base ortogonal completa em L2 (G, d) no ser apresentada c c na presente verso destas notas. As demais armaoes so conseqncia das relaoes de ortogonalidade. a c a ue c

Carteres e funoes centrais a c Dada uma representaao de dimenso nita de um grupo G, dene-se o carter de como sendo a funao c a a c (g) := Tr ((g)) , Um fato relevante sobre carteres a seguinte identidade: a e (hgh1 ) = Tr (hgh1 ) = Tr (h)(g)(h1 ) = Tr (h1 )(h)(g) = Tr ((g)) = (g) para quaisquer g, h G. Isso sugere a seguinte deniao: uma funao f : G C dita ser central se f (g) = f (hgh1 ) c c e para todos g, h G. Equivalentemente, podemos denir funoes centrais como sendo as funoes tais que f (gh) = f (hg) c c para todos g, h G. E. 19.22 Exerccio. Mostre a equivalncia dessas denioes. e c Carteres so funoes centrais. Das relaoes (19.15), tomando-se i = j, k = l e somando-se nesses a a c c ndices, obtm-se e facilmente que os carteres das representaoes irredut a c veis unitrias de dimenso nita satisfazem as seguintes a a relaoes de ortogonalidade: c (g) (g) d(g) = .
G

gG

E. 19.23 Exerccio. Verique. Como conseqncia do Teorema de Peter-Weyl podemos igualmente provar que os carteres das representaoes irreue a c dut veis unitrias de dimenso nita formam uma base ortogonal no espao de Hilbert das funoes centrais de quadrado a a c c integrvel de um grupo nito ou compacto. No apresentaremos a demonstraao aqui. Notemos apenas que no caso do a a c grupo SO(2) os carteres das representaoes irredut a c veis unitrias de dimenso nita so p () = eip , p Z. Assim, a a a a armaao de acima, que os carteres formam uma base no espao das funoes centrais de quadrado integrvel, nesse c a c c a e contexto um bem conhecido resultado da teoria das sries de Fourier. e Classe de conjugao ca Seja G um grupo. Podemos estabelecer uma relaao de equivalncia em G da seguinte forma. Se x, y G, dizemos c e que x y se existir algum elemento h G tal que x = hyh1 . E. 19.24 Exerccio. Verique que isso, de fato, dene uma relao de equivalncia. ca e

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Cap tulo 19

946/1628

As classes de equivalncia de G por essa relaao so denominadas classe de conjugaao, ou classes de elementos e c a c conjugados. E. 19.25 Exerccio. Verique que a identidade o nico elemento de sua classe de equivalncia. e u e O fato importante sobre funoes centrais e classes conjugadas a seguinte armaao: toda funao central de um c e c c grupo G constante nas classes conjugadas de G. A prova elementar: se x, y pertencem ` mesma classe ento existe e e a a h tal que x = hyh1 . Logo, f (x) = f (hyh1 ) = f (y). Assim, para determinar uma funao central, como um carter de uma representaao, por exemplo, basta determinar c a c seus valores nas classes de conjugaao. Essa observaao desempenhar um papel abaixo. c c a Carteres de grupos nitos a Carteres desempenham um papel especial no caso de grupos nitos. Se G nito, as relaoes de ortogonalidade a e c acima cam 1 (g) (g) = . (19.16) #G
gG

No caso e grupos nitos os carteres possuem uma propriedade de ortogonalidade adicional que muito util no estudo a e de propriedades desses grupos. Vamos apresent-la. a Se f uma funao central de um grupo nito, ento f automaticamente de quadrado integrvel (pois o grupo e c a e a e nito) e, pelo teorema de Peter-Weyl, podemos escrev-la como e f (h) =

c (h),

onde c =

1 #G

(g)f (g).
gG

Como tanto quanto f so constantes nas classes de equivalncia Ck , k = 1, . . . , K, de G, podemos escrever essa ultima a e expresso como a K 1 (#Ck ) (Ck )f (Ck ), c = #G
k=1

onde #Ck o n mero de elementos do grupo que pertencem ` classe Ck e f (Ck ) o valor de f em Ck . e u a e Assim, f (h) =
K

1 #G

(#Ck ) (Ck )f (Ck ) (h)

k=1

=
k=1

f (Ck )

#Ck #G

(Ck ) (h)

Tomando h Cj , teremos
K

f (Cj ) =
k=1

f (Ck )

#Ck #G

(Ck ) (Cj ) .

Como f arbitrria, segue que e a #Ck #G (Ck ) (Cj ) = jk .

(19.17)

Essa relaao de ortogonalidade especial tem vrias conseqncias relevantes para o estudo de representaoes irrec a ue c dut veis unitrias de grupos nitos. Uma delas a seguinte: a e

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Cap tulo 19

947/1628

Proposio 19.5 Se G um grupo nito, o nmero de representaoes irredutveis unitrias de G igual ao nmero de ca e u c a e u de classes de conjugaao de G. c

Prova. Seja G um grupo nito e Ck , k = 1, . . . , K suas classes de conjugaao. Sabemos que as funoes centrais so c c a constantes nas classes de conjugaao e, portanto, vale para toda funao central f a seguinte identidade c c
K

f (g) =
k=1

fk Ck (g),

onde fk o valor que f assume em Ck e e 1, se g Ck 0, se g C k

Ck (g) :=

Isso signica que o espao vetorial C(G) das funoes centrais de G tem uma base formada pelas funoes Ck , k = 1, . . . , K, c c c e, portanto, tem dimenso K. a Por (19.16) as funoes , , formam uma base ortogonal no espao C(G). Portanto, o n mero # de c c u representaoes irredut c veis de G menor ou igual ` dimenso de C(G), que K, como acabamos de ver: # K. e a a e Por outro lado, (19.17) diz-nos que o espao vetorial de todas as funoes C, o qual tem dimenso # (por que?), c c a possui um conjunto de K funoes ortogonais, a saber, as funoes hk () = (Ck ), . Logo, K #. Isso completa c c a prova que K = # ` A luz desta proposiao podemos rescrever (19.17) como c #Ck #G j, k = 1, . . . , K. Outra conseqncia de (19.18) a seguinte. Tomando-se Cj = Ck = C1 , onde C1 a classe de conjugaao da ue e e c identidade, a qual s possui um elemento, conclu o mos que
K K

a (Ck )a (Cj ) = jk .
a=1

(19.18)

d2 = #G, a
a=1

(19.19)

pois a (C1 ) = Tr(a (e)) = da . Essa curiosa expresso nos mostra uma relaao entre as dimenses das representaoes irredut a c o c veis de G e a ordem de G. Em muitos casos poss extrair informaoes sobre as representaoes irredut e vel c c veis do grupo a partir da mesma. Isso pois (19.19) no pode ser satisfeita por quaisquer n meros inteiros K, da e #G. Por exemplo, um grupo que possua 6 a u elementos e 3 classes de conjugaao s pode ter duas representaoes irredut c o c veis unidimensionais e uma bidimensional, pois 6 = 12 +12 +22 e no h outra forma de escrever o n mero 6 como soma de trs quadrados. Esse, alis, precisamente a a u e a e o caso do grupo de permutaoes de 3 elementos, S3 , o qual possui 6 elementos e 3 classes de conjugaao (identique-as!). c c

Parte V Topologia Geral, Teoria da Medida e Integrao ca

948