Cap tulo 22 Uma Breve Introdu c ao ` a Teoria das Representa co es de Grupos

Conte udo
22.1 22.2 22.3 22.4 22.5 Representa c oes de Grupos . . . . . . . . . . . . . . . . . . . . M edias Invariantes. A Medida de Haar . . . . . . . . . . . . Representa c oes de Grupos Compactos . . . . . . . . . . . . . 22.3.1 Representa c oes de Grupos Compactos em Espa cos de Hilbert O Teorema de Peter-Weyl . . . . . . . . . . . . . . . . . . . . . Representa c oes Irredut veis de Dimens ao Finita de SU(2) . . . . . . . . . . . . . . . . . . . Separ aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1101 1107 1109 . 1109 1115 1124

rupos desempenham um papel importante na F sica devido ` a sua rela ca o com transforma co es de simetria. Na F sica Qu antica (na Mec anica Qu antica ou na Teoria Qu antica de Campos), o conjunto de estados puros de um sistema f sico comp oe um espa co de Hilbert e, portanto, torna-se relevante estudar a a ca o de grupos de simetria em espa cos vetoriais. Essa e a motiva ca o b asica do estudo de representa co es de grupos, ao qual dedicamos o presente cap tulo. Inicialmente fazemos uma apresenta ca o resumida das id eias gerais da teoria de representa co es de grupos. Na Se ca o 22.2, p agina 1107, apresentamos a no c ao de medida invariante e na Se ca o 22.4, p agina 1115, apresentamos o importante Teorema de Peter-Weyl. Na Se ca o 22.5, p agina 1124, discutimos com algum detalhe um tema de grande interesse para a F sica Qu antica: a classica ca o de representa co es irredut veis dos grupos SU(2). H a muitas refer encias que estendem e aprofundam o material aqui apresentado e limitamo-nos a sugerir algumas poucas: as refer encias [183], [18], [218], [78] e [251]. Para aplica co es ao contexto de fun co es especiais destaca-se [246]. Para aplica co es gerais ` a F sica Qu antica, vide [259], [250], [61] e [62].

22.1

Representa co es de Grupos

A no ca o de representa ca o de grupos foi introduzida na Se ca o 2.1.9.2, p agina 106. Recordemo-la. Uma representa c ao de um grupo G em um espa co vetorial V e uma aplica ca o que a cada g G associa um operador linear invers vel (g ) : V V de modo que as seguintes condi co es sejam satisfeitas: 1. (g )(h) = (gh), g, h G. 2. (e) = . 3. g 1 = (g )1 , g G. ca o e um Acima, e e a unidade de G e o operador identidade agindo em V . O item 1 arma que uma representa homomorsmo de G no grupo GL(V ) dos operadores lineares invers veis de V em V . Comentamos que as propriedades dos itens 2 e 3, acima, derivam da propriedade 1 (como e o caso para homomorsmos de grupos. Vide coment arios ` a p agina 107), tendo sido colocadas aqui apenas por enfase. Podemos tamb em equivalentemente dizer que uma representa c ao de um grupo em um espa co vetorial V e uma a ca o a esquerda de G em V atrav ` es de operadores lineares invers veis. A representa c ao trivial

A representa ca o que associa todo g G ao operador identidade em V , ou seja, tal que (g ) = , g G, e denominada representa c ao trivial.

1101

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1102/2069

Intertwiners

Seja G um grupo e V1 , V2 dois espa cos vetoriais (sobre o mesmo corpo) onde atuem duas representa co es de G: 1 e 2 , respectivamente em V1 e V2 . Um operador U : V1 V2 tal que U 1 (g ) = 2 (g )U ,

para todo g G, e dito ser um operador de entrela camento de 1 e 2 . Operadores de entrela camento s ao mais freq uentemente denominados intertwiners. Voltaremos a falar sobre intertwiners quando tratarmos do importante Lema de Schur adiante. Representa co es equivalentes

Duas representa co es 1 e 2 de um mesmo grupo G, agindo em espa cos vetoriais V1 e V2 , respectivamente, s ao ditas ser representa c oes equivalentes se existir um operador invers vel U : V1 V2 tal que U 1 (g ) = 2 (g )U para todo g G, ou seja, se 1 e 2 possu rem um intertwiner invers vel.

muito f E acil mostrar que a equival encia de duas representa c oes e uma rela ca o de equival encia (no sentido usual) e que, portanto, a classe de todas as representa co es de um grupo pode ser quebrada em classes de representa co es equivalentes. Um grupo pode ter v arias representa co es distintas (e inequivalentes) em um mesmo espa co vetorial. E. 22.1 Exerc cio. Seja G = (R, +) e V = R2 . Mostre que 1 x , T1 (x) := 0 1 1 T2 (x) := x 0 1

1 x R, s ao tr es representa co es de G. Mostre que T1 e T2 s ao equivalentes (sugest ao: tome U = ( 0 1 0 )). Mostre que R e T1 (ou T2 ) n ao s ao equivalentes (sugest ao: se o fossem, veja o que ocorreria para x = 2 ).

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

Seja G um grupo, V um espa co vetorial e uma representa ca o de G em V . Um subespa co W de V e dito ser um subespa co invariante por se (g )w W para todo w W e todo g G, ou seja, se (G)W W .

Subespa cos invariantes

Qualquer representa ca o possui sempre pelo menos dois subespa cos invariantes: aquele formado apenas pelo vetor nulo W = {0} e aquele formado pelo espa co todo W = V . Esses subespa cos invariantes s ao ditos triviais. c ao T1 , denida acima, tem um subespa co invariante de dimens ao 1 , a E. 22.2 Exerc cio. 1. Mostre que a representa saber, o subespa co formado pelos vetores da forma ( a ) , a R . Mostre que nenhum outro subespa c o de dimens a o 1 de R2 e 0 invariante por T1 . 2. Mostre que a representa c ao T2 , denida acima, tem um subespa co invariante de dimens ao 1, a saber, o subespa co formado pelos vetores da forma ( 0 co de dimens ao 1 de R2 e invariante b ), b R. Mostre que nenhum outro subespa por T2 . 3. Mostre que a representa c ao R, denida acima, n ao tem nenhum subespa co invariante n ao-trivial. E. 22.3 Exerc cio. Verique que as express oes abaixo denem representa co es de G = (R, +) em V = R4 e identique seus subespa cos invariantes.
1 0 1 (x ) = 0 0 x 1 0 0 0 0 1 0 0 0 , x 1 1 0 2 (x ) = 0 0 x 1 0 0 0 0 cos x sen x 0 , sen x cos x 0 cos x sen x 3 (x ) = 0 0 sen x cos x 0 0 0 0 cos x sen x 0 . sen x cos x 0

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1103/2069

Representa co es irredut veis

De grande import ancia e o conceito de representa c ao irredut vel de um grupo G em um espa co vetorial V . Uma representa ca o de um grupo G em um espa co vetorial V e dita ser irredut vel se os seus u nicos subespa cos invariantes forem os triviais. Uma representa ca o que n ao e irredut vel e dita ser redut vel. E. 22.4 Exerc cio. Mostre que as representa co es T1 e T2 , denidas ` a p agina 1102, s ao redut veis. Mostre que a representa c ao R, tamb em acima, e irredut vel.

Vamos supor que V seja um espa co de dimens ao nita, digamos n, e que seja uma representa ca o de um grupo G em V que possua um subespa co invariante n ao-trivial W (ou seja, e redut vel). Seja m n a dimens ao de W . Ent ao, e poss vel encontrar uma base em V tal que (g ) possui a representa ca o matricial em blocos 1 (g ) (g ) (g ) = 0 2 (g )

para todo g G, onde 1 (g ) e uma matriz m m, 2 (g ) e uma matriz (n m) (n m), e (g ) e uma matriz m (n m). Mostrar isso e bem simples, basta representar cada v V em uma base e1 , . . . , en , onde e1 . . . , em formam uma base de W . O seguinte exerc cio revela uma propriedade importante dos blocos 1 e 2 : ao tamb em representa c oes de G. Para tal, mostre que, como E. 22.5 Exerc cio. Mostre que 1 e 2 denidos acima s (g )(h) = (gh) para todos g, h G, ent ao valem 1 (g )1 (h) = 1 (gh), 2 (g )2 (h) = 2 (gh) e 1 (g )(h)+ (g )2 (h) = (gh). Uma representa ca o de um grupo G em um espa co vetorial V e dita ser uma representa c ao totalmente redut vel se for redut vel e se V puder ser escrita como uma soma direta de subespa cos invariantes por : V = V1 Vk . Em tal 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 ) e uma representa ca o de G agindo no espa co invariante Vi de . Em um tal caso denotamos da forma = 1 k (vide a no ca o de representa ca o soma direta ` a p agina 144. Vide, em particular, a deni ca o (2.67)). Particularmente importante e a situa ca o em que e totalmente redut vel e cada i e irredut vel. Em tal caso dizemos que e uma representa c ao maximalmente redut vel, ou ainda uma representa c ao completamente redut vel. E. 22.6 Exerc cio. redut veis. Sejam as representa co es T1 e T2 denidas ` a p agina 1102. Mostre que T1 e T2 n ao s ao totalmente

E. 22.7 Exerc cio. Sejam as representa co es 1 , 2 e 3 denidas ` a p agina 1102. Mostre que 1 e 2 s ao totalmente mas n ao maximalmente redut veis. Mostre que 3 e maximalmente redut vel. Nesse contexto, a seguinte proposi ca o e importante: Proposi c ao 22.1 Seja V um espa co vetorial complexo de dimens ao nita, dotado de um produto escalar , , e seja c ao a esse produto escalar). Ent ao, ou e irredut vel uma representa c ao de um grupo G por operadores unit arios (em rela ou e maximalmente redut vel.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1104/2069

Para provar essa proposi ca o, vamos antes demonstrar o seguinte lema, o qual tem import ancia por si s o, como veremos mais adiante. Lema 22.1 Seja V um espa co vetorial complexo, dotado de um produto escalar , , e seja uma representa c ao de um grupo G por operadores unit arios (em rela c ao a esse produto escalar). Se W e um subespa co invariante por , ent ao seu complemento ortogonal W (em rela c ao ao produto escalar) tamb em o e. Prova. Como e unit aria, vale (g ) = (g )1 = g 1 para todo g G. Seja w W e w W . Ent ao, para qualquer g G (g )w , w = w , (g ) w = w , (g 1 )w = 0 , pois g 1 w W , j a que W e invariante, e w e ortogonal e todo elemento de W . Como w e um elemento arbitr ario de W , isso mostrou que (g )w W para todo g G, provando assim que W e invariante. Prova da Proposi c ao 22.1. Se e unit aria e e redut vel, ent ao V possui um subespa co invariante n ao trivial V1 e, pelo lema acima, V2 V1 e tamb em invariante. Logo, e totalmente redut vel, V = V1 V2 e = 1 2 . Agora, e f acil ver que cada 1 e tamb em uma representa ca o unit aria (justique!). Assim, podemos aplicar a mesma conclus ao a cada i e, se i for redut vel, podemos tornar a quebrar o subespa co Vi em subespa cos invariantes ainda menores e i em uma soma de representa co es unit arias menores. Como a dimens ao de V e nita, esse procedimento ter a for cosamente um m e cada representa ca o menor a que se chegar ser a for cosamente irredut vel. E. 22.8 Exerc cio. Mostre que as mesmas conclus oes valem para representa co es ortogonais em espa cos vetoriais reais. O Lema 22.1 possui um outro corol ario relevante ao contexto de representa co es unit arias em espa cos de Hilbert1 . Corol ario 22.1 Seja V um espa co de Hilbert complexo, dotado de um produto escalar , , e seja uma representa c ao c ao a esse produto escalar). Se W e um subespa co invariante por , de um grupo G por operadores unit arios (em rela ent ao seu fecho W tamb em o e. Prova. Pela Proposi ca o 36.2, p agina 1800, tem-se W = W e pelo mesmo Lema 22.1, W

. Pelo Lema 22.1, W e um subespa co invariante por

tamb em o e.

Representa co es irredut veis para operadores

Um outro conceito importante e o seguinte. Uma representa ca o de um grupo G em um espa co vetorial V e dita ser uma representa c ao irredut vel para operadores se possuir a seguinte propriedade: os u nicos operadores lineares A : V V tais que vale A(g ) = (g )A para todo g G s ao da forma A = , ou seja, s ao m ultiplos da identidade.

Podemos nos perguntar: qual a rela ca o entre essa no ca o e a de representa ca o irredut vel? Vamos demonstrar adiante os seguintes fatos: 1. Em um espa co de Hilbert, toda representa ca o unit aria que seja irredut vel para operadores e tamb em irredut vel. 2. Toda representa ca o irredut vel complexa de dimens ao nita e irredut vel para operadores. V arias das conseq u encias mais importantes da teoria das representa co es de grupos s ao extra das dessas observa co es. Como vemos, ambas as arma co es juntas dizem-nos que para representa co es unit arias e de dimens ao nita (de particular interesse na F sica Qu antica) os conceitos de representa ca o irredut vel e representa ca o irredut vel para operadores s ao coincidentes. Esse fato e importante por diversas raz oes. Uma delas e pr atica: por vezes, a maneira mais f acil de se demonstrar que uma dada representa ca o unit aria e de dimens ao nita de um grupo e irredut vel e provar que a mesma e irredut vel por operadores. Vamos come car demonstrando a arma ca o 1, a qual formulamos na seguinte proposi ca o:
1 Espa cos

de Hilbert s ao estudados no Cap tulo 36, p agina 1795.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1105/2069

Proposi c ao 22.2 Seja uma representa c ao unit aria em um espa co de Hilbert. Se e irredut vel para operadores, ent ao e tamb em uma representa c ao irredut vel.

Prova. Vamos supor que W seja um subespa co invariante por . Pelo Corol ario 22.1, p agina 1104, podemos supor que W e fechado. Seja P o projetor sobre W . Ent ao, pelo Teorema da Decomposi ca o Ortogonal, Teorema 36.2, p agina 1799, evidente que P e o projetor sobre W , que e tamb em invariante, pois e unit aria. E (g )P x = P (g )P x , pois (g )P x W . Por outro lado, como x = P x + ( P )x, ent ao P (g )x = P (g )P x + P (g )( P )x = P (g )P x , pois P (g )( P )x = 0, j a que W e invariante. Comparando-se, conclu mos que (g )P x = P (g )x para todo x e todo g G, ou seja, (g )P = P (g ) para todo g G. Por em, como e irredut vel para operadores, isso s o e poss vel se P = . Como P 2 = P , tem-se = 0 ou = 1. No primeiro caso P = 0, no segundo, P = , ou seja, no primeiro caso W = {0} e no segundo W eo espa co todo. Ora, isso diz precisamente que e irredut vel.

O Lema de Schur

Vamos agora passar a demonstra ca o da arma ca o 2 da p agina 1104, acima. A mesma e conseq u encia (Corol ario 22.3, abaixo) de um lema alg ebrico de grande import ancia: o chamado Lema de Schur2 .

cos vetoriais V1 Lema 22.2 (Lema de Schur) Se 1 e 2 s ao duas representa c oes irredut veis de um grupo G em espa e V2 , respectivamente, e A : V1 V2 e um intertwiner de 1 e 2 , ou seja, A1 (g ) = 2 (g )A para todo g G, ent ao ou A e bijetor ou A = 0.

Prova. Sejam Ker (A) := {x V1 | Ax = 0} e Ran (A) := {y V2 | y = Ax para algum x V1 }, o n ucleo e a imagem f de A, respectivamente. E acil ver que Ker (A) e Ran (A) s ao subespa cos invariantes de 1 e 2 , respectivamente. De fato, se x Ker (A) tem-se Ax = 0. Logo, A1 (g )x = 2 (g )Ax = 0, provando que 1 (g )x Ker (A) para todo g G, ou seja, Ker (A) e invariante por 1 . Analogamente, se y Ran (A), temos que y = Ax para algum x V1 . Assim, 2 (g )y = 2 (g )Ax = A1 (g )x Ran (A), mostrando que Ran (A) e invariante por 2 . Pelas hip oteses do lema, 1 e 2 s ao irredut veis e s o possuem subespa cos invariantes triviais. Podem, portanto, valer apenas os seguintes quatro casos: 1. Ker (A) = V1 e Ran (A) = V2 . 2. Ker (A) = {0} e Ran (A) = V2 . 3. Ker (A) = V1 e Ran (A) = {0}. 4. Ker (A) = {0} e Ran (A) = {0}. Os casos 1 e 4 s ao imposs veis: se Ker (A) = V1 n ao se pode ter Ran (A) = V2 (pois se Ker (A) = V1 , ent ao Ran (A) = {0}); se Ker (A) = {0} n ao se pode ter Ran (A) = {0} (pois se Ran (A) = {0}, ent ao Ker (A) = V1 ). Assim, podem valer apenas os casos 2 e 3. No caso 2 tem-se que A e bijetora. No caso 3, tem-se que A = 0. O Lema de Schur tem v arias conseq u encias importantes que listamos nos corol arios que seguem.
2 Issai Schur (18751941). O trabalho original de Schur e Issai Schur Neue Begr undung der Theorie der Gruppencharaktere, Sitzungsberichte der K oniglich Preuischen Akademie der Wissenschaften zu Berlin, 406432 (1905).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1106/2069

Corol ario 22.2 Sejam V1 e V2 espa cos vetoriais complexos de dimens ao nita, e sejam 1 e 2 duas representa c oes e um intertwiner de 1 e 2 , ou seja, irredut veis de um grupo G em V1 e V2 , respectivamente. Seja A : V1 V2 A1 (g ) = 2 (g )A para todo g G. Se A for bijetor, ent ao A e u nico, a menos de multiplica c ao por escalar. Prova. Se A e bijetor, ent ao a dimens ao de V1 e igual ` a de V2 e A pode ser visto como uma matriz quadrada. Seja B um outro intertwiner de 1 e 2 . Ent ao, para qualquer C tem-se (A B )1 (g ) = 2 (g )(A B ). Portanto, pelo Lema de Schur, Lema 22.2, ou A B e nulo ou e invers vel. Armamos, por em, que podemos escolher de modo que det(A B ) = 0. De fato, como A possui inversa, temos A B = A A1 B e vale det(A B ) = det(A) det A1 B . Agora, det(A) = 0, mas det A1 B e um polin omio n ao-nulo em (o polin omio caracter stico da matriz A1 B ) e polin omios sempre t em ra zes complexas. Se escolhermos como uma dessas ra zes, teremos que a matriz A B n ao ser a invers vel e, portanto, ser a nula e valer a B = A. Corol ario 22.3 Se e uma representa c ao irredut vel complexa de dimens ao nita de um grupo G, ent ao e irredut vel para operadores. Prova. Seja A tal que A(g ) = (g )A para todo g G. Sabemos tamb em que (g ) = (g ), trivialmente. Pela unicidade armada no Corol ario 22.2, A = . A arma ca o do Corol ario 22.3 possui uma extens ao importante para representa co es em espa cos de Hilbert. Corol ario 22.4 Seja H um espa co de Hilbert complexo e seja uma representa c ao irredut vel de um grupo G por operadores limitados agindo em H. Seja A : H H um operador limitado e agindo em H que satisfa ca A(g ) = (g )A para todo g G. Ent ao A = para algum C. em (A )(g ) = Prova. Temos trivialmente que (g ) = (g ) para todo g G. Logo, para qualquer C, vale tamb (g )(A ) para todo g G. Pelo Lema de Schur, Lema 22.2, ou A = 0 ou A e bijetor. Mas se escolhermos no espectro de A (que e n ao-vazio. Vide e.g., Proposi ca o 37.35, p agina 1874), isso n ao seria poss vel. Logo, para um tal (A) vale A = Outro corol ario u til e o seguinte: Corol ario 22.5 As representa c oes irredut veis complexas de dimens ao nita de um grupo Abeliano s ao unidimensionais.

Prova. Se G e Abeliano e uma representa ca o de G, vale (h)(g ) = (g )(h) para quaisquer g, h G. Assim, se e irredut vel complexa e de dimens ao nita, segue do corol ario anterior que (h) = (h), ou seja, (h) e uma matriz diagonal com (h) na diagonal. Como e irredut vel, a dimens ao do espa co s o pode ser igual a 1. A arma ca o do Corol ario 22.5 n ao e necessariamente v alida no caso de representa co es irredut veis reais de dimens ao nita de um grupo Abeliano: o grupo SO(2) tem representa co es irredut veis reais que n ao s ao unidimensionais. Por cos() sen () exemplo, aquela que dene o pr oprio grupo SO(2): R() = sen , (, ]. () cos() Exemplos de representa co es irredut veis de grupos Abelianos E. 22.9 Exerc cio. Mostre que as representa co es irredut veis complexas de dimens ao nita do grupo ZN , N 2, s ao k (a) = exp a ZN , k = 0, , . . . N 1. 2ik a N ,

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1107/2069

co es irredut veis, complexas, cont nuas e de dimens ao nita do grupo SO(2) E. 22.10 Exerc cio. Mostre que as representa s ao p () = exp (ip) , [0, 2 ), p Z. E. 22.11 Exerc cio. Mostre que as representa co es irredut veis, complexas, cont nuas e de dimens ao nita do grupo (R, +) s ao z (x) = exp (zx) , x R , z C. co es irredut veis, unit arias, cont nuas e de dimens ao nita do grupo (R, +) E. 22.12 Exerc cio. Mostre que as representa s ao k (x) = exp (ikx) , x R, k R. co es irredut veis, complexas, cont nuas e de dimens ao nita do grupo (R+ , ) E. 22.13 Exerc cio. Mostre que as representa s ao z (x) = exp z ln(x) =: xz , x R + , z C. E. 22.14 Exerc cio. Mostre que as representa co es irredut veis, unit arias, cont nuas e de dimens ao nita do grupo (R+ , ) s ao k (x) = exp ik ln(x) = xik , x R+ , k R.

22.2

M edias Invariantes. A Medida de Haar

Seja G um grupo nito e seja f : G C uma fun ca o que a cada elemento g do grupo associa um n umero complexo f (g ). Podemos denir a m edia de f em G por 1 f (g ) , (f ) := #G
g G

onde #G e o n umero de elementos de G. Essa no ca o de m edia de uma fun ca o em um grupo nito possui algumas propriedades importantes. Seja h um elemento e d xo mas arbitr ario de G e denamos as fun co es fh (g ) := f (hg ), fh (g ) := f (gh) e f i (g ) = f (g 1 ). Ent ao, vale que para qualquer h G e d ) = (fh ) = (f i ) = (f ) , (fh ou seja, a m edia e invariante por multiplica ca o ` a direita ou ` a esquerda por elementos de G ou pela invers ao do argumento de f . E. 22.15 Exerc cio. Mostre isso! Note-se tamb em que a m edia acima foi normalizada de modo que se f (g ) = 1 para todo g G, ent ao (f ) = 1. Por m, note-se tamb em que a m edia acima e positiva: se f 0, ent ao (f ) 0. Fora isso, se f 0 e (f ) = 0, ent ao f (g ) = 0 para todo g G.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1108/2069

Grupos nitos n ao s ao os u nicos a possuir m edias invariantes positivas. Vamos a alguns exemplos. Para o grupo SO(2) podemos denir 1 (f ) := f ()d , 2 f caso a integral seja nita. E acil ver que as propriedades de invari ancia observadas no caso de grupos nitos s ao v alidas aqui tamb em, inclusive a normaliza ca o e a positividade. Para o grupo (R, +) podemos denir

(f ) :=

f (x)dx ,

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

(f ) :=
0

f (x)

1 dx , x

caso a integral seja nita. E. 22.16 Exerc cio. f (1/x). Mostre que essa m edia e invariante pelas transforma co es f (x) f (xy ), y R+ , e por f (x)

Novamente, note-se que essa m edia n ao e normalizada, pois R+ n ao e compacto. Podemos nos perguntar: quais grupos possuem m edias invariantes positivas como nos exemplos acima? Uma resposta parcial foi dada por Haar3 . O teorema de Haar arma que se G e um grupo compacto, ent ao existe uma medida de integra ca o d(g ) em G, denominada medida de Haar, tal que se a m edia (f ) =
G

f (g )d(g )

e nita, ent ao tem-se f (g )d(g ) =

G G

f (hg )d(g ) =
G

f (gh)d(g ) =
G

f (g 1 )d(g )
G

O Teorema de Haar pode ser parcialmente estendido a grupos localmente compactos (como (R, +) e (R+ , )): Se G e localmente compacto existem medidas positivas de integra ca o de (g ) e dd (g ) em G tais que f (g )de (g ) =
G G

ao para todo h G. Fora isso, a m edia e normalizada: G d(g ) = 1 e positiva: se f 0, ent ao f (g ) = 0 para quase todo g G. f 0 e G f d = 0, ent

f d 0 sendo que se

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 ` a esquerda e uma outra invariante ` a direita. Em alguns casos essas medidas d e e coincidem (por exemplo, para grupos Abelianos), mas tal nem sempre e o caso para grupos n ao-Abelianos. Note que no caso de grupos compactos a medida invariante ` a esquerda e a medida invariante ` a direita tamb em coincidem. No caso de grupos localmente compactos nem sempre se pode normalizar as medidas invariantes. Na presente vers ao destas notas n ao iremos nos estender mais no estudo da medida de Haar. O estudante e convidado aqui a procurar os cl assicos do assunto (p. ex. [182]: The Haar Integral, de Leopoldo Nachbin4 ). Como veremos, a medida de Haar de grupos compactos desempenha um papel muito importante no estudo das representa co es dessa classe de grupos.
3 Alfr ed 4 Leopoldo

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

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1109/2069

22.3

Representa co es de Grupos Compactos

Nessa se ca o trataremos de alguns aspectos mais profundos de representa co es de grupos compactos e, para tal, alguma familiaridade com no co es de Topologia e de Espa cos de Hilbert e requerida. A no ca o de grupo topol ogico foi introduzida na Se ca o 21.2, p agina 1075. As no co es de espa co topol ogico localmente compacto e de espa co topol ogico localmente compacto foram introduzido na Se ca o 31.3.1, p agina 1424. Vide tamb em Se ca o 31.3, p agina 1424, e Se ca o 31.3.6, p agina 1454. A teoria b asica dos espa cos de Hilbert foi desenvolvida no Cap tulo 36, p agina 1795. Refer encias a material contido em outros cap tulos deste texto ser ao feitas se e quando necess ario. Representa co es de grupos topol ogicos em espa cos de Hilbert separ aveis

Dizemos que e uma representa c ao fortemente cont nua se para cada g G e todo u H valer (g )u (g )u 0 sempre que g g . Mais tecnicamente, isso signica que para cada g G e todo u H vale que para cada > 0 existe uma vizinhan ca Ng, g tal que (g )u (g )u < para todo g Ng, . No que segue trataremos quase exclusivamente de representa co es que sejam fortemente cont nuas e, como usual, denotaremos por (h) a norma operatorial5 de (h) com h G. Representa co es limitadas

Seja G um grupo topol ogico e seja : G GL(H) uma representa ca o de G em um espa co de Hilbert separ avel H. O produto escalar em H ser a denotado por , H , ou simplesmente por , , e a norma por H , ou simplesmente por . Vamos no que segue considerar apenas representa co es por operadores limitados em H.

Uma representa ca o : G GL(H) e dita ser uma representa c ao limitada se supgG (g ) < . Um fato que nos ser a relevante e que se G for compacto e fortemente cont nua, ent ao e uma representa ca o limitada. Isso ser a estabelecido no Corol ario, 22.6, logo abaixo. Faremos uso do seguinte lema sobre grupos localmente compactos, o qual possui interesse por si s o: Lema 22.3 Seja G um grupo topol ogico localmente compacto e seja : G GL(H) uma representa c ao de G por operadores limitados invers veis em um espa co de Hilbert separ avel H. Assumamos tamb em que seja fortemente cont nua. Seja g G e seja Cg uma vizinhan ca compacta de g . Ent ao, existe uma constante nita KCg > 0 tal que (h) para todo h Cg . Prova. Seja g G e seja Cg uma vizinhan ca compacta de g . Para u H, dena-se O Ou, Cg := {(h)u, h Cg }. Como Cg e compacto e e fortemente cont nua, segue (do Teorema 31.5, p agina 1429) que O e um subconconjunto compacto de H e e, portanto, limitado (vide Teorema 31.11, p agina 1436). Logo, o conjunto de operadores S := {(h), h Cg } tem a propriedade que para cada u H existe uma constante nita Mu > 0 tal que (h)u Mu para todo (h) S. Pelo Teorema de Banach-Steinhaus, Teorema 37.6, p agina 1839, existe M nito tal que (h) < M para todo (h) S. ca compacta Cg escolhida. Essa constante M e a constante KCg do enunciado, ela depende apenas da vizinhan KCg

22.3.1

Representa c oes de Grupos Compactos em Espa cos de Hilbert Separ aveis

Para representa co es de grupos compactos em espa cos de Hilbert separ aveis, tema no qual focaremos agora, vale o seguinte: Corol ario 22.6 Seja G um grupo topol ogico compacto e seja : G GL(H) uma representa c ao de G por operadores limitados invers veis em um espa co de Hilbert separ avel H. Assumamos tamb em que seja fortemente cont nua. Ent ao, e uma representa c ao limitada, ou seja, existe uma constante nita K > 0 tal que (g ) K para todo g G.
5A

no ca o de norma operatorial de um operador agindo em um espa co de Banach ou de Hilbert e introduzida na Se ca o 37.1, p agina 1822.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1110/2069

Prova. Use-se o Lema 22.3 tomando-se Cg = G. Equival encia com representa co es unit arias

Seja G um grupo compacto e seja sua medida invariante. Vamos supor que seja uma representa c ao de G por operadores limitados em um espa co de Hilbert H no qual esteja denido um produto escalar , . Vamos supor tamb em que seja fortemente cont nua. Com o uso de e d podemos denir em H um outro produto escalar , por , G , atrav es da express ao x, y
G G, , ,

que denotaremos simplicadamante

:=
G

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

x, y H. (Recorde-se que para um grupo compacto vale

= 1).

E. 22.17 Exerc cio. Prove que essa express ao de fato dene um produto escalar em H. A unica diculdade est a em provar que x, x G = 0 se somente se x = 0. Denotemos por
G

a norma em H denida pelo produto escalar , x

2 G

G:

:=
G

(g )x

d(g ) ,

e demonstremos a seguinte arma ca o: Lema 22.4 A norma G e a norma original do espa co de Hilbert, espa co de Hilbert em rela c ao ao produto escalar , G . , s ao equivalentes. Logo, H e tamb em um

Prova. Das hip oteses e do Corol ario 22.6, p agina 1109, que existe constante K > 0 tal que (g ) K para todo g G. Logo, para x H, x
2 G

(g )x

d(g ) K 2 x g 1
2

d(g ) = K 2 x

(22.1)

Por outro lado, temos que x = medida ,

g 1 (g )x x
G 2

(g )x

K (g )x . Logo, pela positividade da

K 2 (g )x

d(g ) 0 .
2

Assim, x
2

=
G

d(g ) K 2

(g )x
G

d(g ) = K 2 x
G

2 G

(22.2)
G

Em (22.1) e (22.2) estabelecemos que para todo x H vale K 1 x x s ao equivalentes.

K x , provando que as normas

O fato mais importante sobre esse produto escalar e o seguinte: para todo h G e todos x, y H valem (h)x, (h)y
G

= x, y

x, (h)y

(h1 )x, y

E. 22.18 Exerc cio. Prove a primeira rela c ao usando a invari ancia da medida . Prove a segunda usando a primeira. Essas igualdades armam que, no espa co de Hilbert H com o produto escalar , unit ario. Como conseq u encia, vale a seguinte arma ca o:
G,

cada (h), h G, e um operador

Proposi c ao 22.3 Seja G um grupo topol ogico compacto e seja : G GL(H) uma representa c ao de G por operadores limitados invers veis em um espa co de Hilbert complexo separ avel H. Assumamos tamb em que seja fortemente cont nua. Ent ao, e equivalente a uma representa c ao unit aria.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1111/2069

O operador de Peter-Weyl

Vamos agora denir e estudar propriedades de um objeto que nos ser au til no estudo de representa co es de grupos compactos que imediatamente faremos. Trata-se do operador de Peter-Weyl (tamb em denominado operador de Weyl). Esse operador foi introduzido e analisado na refer encia citada na nota-de-rodap e 10, p agina 1116. Teorema 22.1 Seja G um grupo topol ogico compacto e seja : G GL(H) uma representa c ao de G por operadores lineares limitados em um espa co de Hilbert complexo separ avel H. Assumamos tamb em que seja fortemente cont nua. Para cada y H, dena-se o operador linear Wy : H H, denominado operador de Peter-Weyl, por Wy x :=
G

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

(22.3)

Ent ao, valem as seguintes arma c oes: 1. Wy e limitado. 2. Wy e autoadjunto: Wy = W y. 3. Wy e um operador de Hilbert-Schmidt6 . 4. Para todo h G e todo y H vale (h)Wy = Wy h1 . Se for uma representa c ao unit aria, isso diz que (h)Wy = Wy h . 5. Para y = 0 tem-se Wy = 0.

Demonstra c ao. Prova do item 1. J a vimos (Corol ario 22.6, p agina 1109) que, sob as hip oteses, existe K > 0 tal que (g ) K para todo g G. Usando a desigualdade de Cauchy-Schwarz, temos Wy x (g )y, x
G

(g )y d(g ) K y

(g )y
G

x d(g ) K 2 y

x .

Prova do item 2. Para x, x H, tem-se x , Wy x :=

G

Da , vale Wy K 2 y 2 .

(g )y, x

x , (g )y d(g ) =
G

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

d(g )

=
G

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

Wy x , x .

Como isso vale para x, x H arbitr arios, mostramos que Wy = Prova do item 3. Para x H, vale Wy x
2

W y.

Wy x, Wy x

=
G G

(h)y, x

(g )y, x

(h)y, (g )y d(h) d(g )

=
G
6 Para

(g )y, x
G

x, (h)y

(h)y, (g )y d(h) d(g ) .

a deni ca o da no ca o de operador de Hilbert-Schmidt e suas propriedades, vide Se ca o 37.10.2, p agina 1993.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1112/2069

Seja {xn , n N} uma base ortonormal completa em H. Temos, para M N,

M M

Wy xn
n=1

=
n=1 G G M

(g )y, xn

xn , (h)y

(h)y, (g )y d(h) d(g )

=
G G n=1 M

(g )y, xn

xn , (h)y

(h)y, (g )y d(h) d(g )

=
G G n=1 M

(g )y, xn

xn , (h)y

(h)y, (g )y d(h) d(g )

(g )y, xn
G G n=1

xn , (h)y

(h)y, (g )y

d(h) d(g ) .

(22.4)

Agora, pela desigualdade de Cauchy-Schwarz para somas nitas,

M M

(g )y, xn
n=1

xn , (h)y

(g )y, xn
n=1 M

xn , (h)y
1/2 1/2

(g )y, xn
n=1

(h)y, xn
n=1

(g )y

(h)y ,

sendo que na u ltima passagem empregamos a desigualdade de Bessel, express ao (36.18), p agina 1806. Portanto, retornando com isso a (22.4), usando a desigualdade de Cauchy-Schwarz e usando que (h) K para todo h G, temos
M

Wy xn
n=1

(g )y
G G 2

(h)y

(h)y, (g )y

d(h) d(g ) K 4 y

Isso mostra que limM

M n=1

Wy xn

existe e estabelece que Wy e um operador de Hilbert-Schmidt.

Prova do item 4. Usando a invari ancia da medida temos, para todo x H, (h)Wy x =
G gh1 g

(g )y, x (h)(g )y d(g ) =

G

(g )y, x (hg )y d(g ) (g )y, h1 x (g )y d(g ) = Wy h1 x .

G

h1 g y, x (g )y d(g ) =
G

ca o unit aria, isso diz que (h)Wy = Wy h . Provando que (h)Wy = Wy h1 . Se for uma representa Prova do item 5. Pela deni ca o (22.3) tem-se y, Wy y Agora, onde (e)y, y (g )y, y =
G

(g )y, y

d(g ) .

(22.5)

= y, y > 0, se y = 0. Como e fortemente cont nua, existe uma vizinhan ca da unidade e e estritamente positiva. Isso implica que o lado direito de (22.5) e estritamente positivo e, portanto,

y, Wy y > 0, mostrando que Wy n ao e o operador nulo. Ainda sobre o operador de Peter-Weyl, no caso de representa c oes unit arias temos o seguinte resultado relevante:

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1113/2069

Proposi c ao 22.4 Seja G um grupo topol ogico compacto e seja : G GL(H) uma representa c ao de G por operadores co de Hilbert complexo separ avel H. Assumamos tamb em que seja fortemente cont nua. unit arios em um espa Seja Wy : H H o operador de operador de Peter-Weyl denido em (22.3) com y = 0. Pelo Teorema 22.1, p agina 1111, Wy e auto-adjunto e e de Hilbert-Schmidt e, portanto, e tamb em um operador compacto (Proposi c ao 37.97, p agina 2002). Conseq uentemente, seu espectro pontual p (Wy ) e um conjunto cont avel de R e cada autovalor n ao-nulo e nitamente degenerado. Como Wy = 0 (pois y = 0), p (Wy ) \ {0} e n ao-vazio, pois Wy , Wy p (Wy ) = . Denotemos por {k , k N} = p (Wy ) \ {0} o conjunto dos autovalores n ao-nulos de Wy e convencionemos que 0 = 0 se este for tamb em autovalor de Wy .

O espa co de Hilbert H decomp oe-se em uma soma direta de subespa cos ortogonais H = H0

Hk , onde
k=1

e o subespa co dos autovetores de Wy com autovalor 0 e Hk := Ker (k Wy ) H0 := Ker (Wy ) e o subespa co dos autovetores de Wy com autovalor k . Cada Hk com k 1 tem dimens ao nita e H0 pode ter dimens ao innita. O

subespa co
k=1

Hk e n ao-trivial, pois p (Wy ) \ {0} e n ao-vazio.

Por m, cada subespa co Hk , k N0 , e invariante pela a c ao da representa c ao . Prova. As primeiras arma co es s ao conseq u encia de resultados gerais sobre operadores compactos: Teorema 37.36, p agina 1956, e Teorema 37.38, p agina 1960. Vamos agora provar que cada subespa co Hk , k N0 , e invariante pela a ca o da representa ca o . Seja Hk . Naturalmente, Wy = k . Como e unit aria, sabemos pelo item 4 do Teorema 22.1, p agina 1111, que Wy (h) = (h)Wy para todo h G. Logo, (h)Wy = Wy (h) e, portanto, Wy (h) = k (h) , estabelecendo que (h) Hk para todo h G, ou seja, estabelecendo que cada Hk , k N0 , e invariante pela a ca o de . Representa co es irredut veis de um grupo compacto

Chegamos agora a um resultado importante sobre representa c oes irredut veis de grupos compactos em um espa co de Hilbert: elas s ao de dimens ao nita! Teorema 22.2 Seja G um grupo topol ogico compacto e seja : G GL(H) uma representa c ao de G por operadores limitados invers veis em um espa co de Hilbert complexo separ avel H. Assumamos tamb em que seja fortemente cont nua. Ent ao, se for irredut vel, e de dimens ao nita.

otese de compacidade, acima, e importante. O grupo de Heisenberg, por exemplo, n ao admite representa co es unit arias Coment ario. A hip de dimens ao nita em espa cos de Hilbert, pois a algebra de Heisenberg n ao pode ser representada por operadores lineares auto-adjuntos limitados em espa cos de Hilbert. Vide Nota ` a p agina 976.

Prova do Teorema 22.2. Aqui, seguimos proximanente [18]. Como vimos, podemos sem perda de generalidade considerar que e unit aria. Nesse caso, o item 4 do Teorema 22.1, p agina 1111, informa-nos que (h)Wy = Wy h para todo h G, onde Wy (para y H) e o operador de Peter-Weyl, denido em (22.3). Pelo Corol ario 22.4, p agina 1106, isso e obter informa co es sobre (y ) das quais extrairemos a conclus ao sobre implica que Wy = (y ). Nossa primeira tarefa a nitude da dimens ao de H. claro que para todo x H tem-se E (y ) x, x = x, Wy x =
G

(g )y, x

x, (g )y d(g ) =
G

(g )y, x

d(g ) .

Em resumo, (y ) x
2

=
G

(g )y, x

d(g ) .

(22.6)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1114/2069

claro por essa express E ao que (y ) 0. Agora, temos tamb em (y ) x

2

=
G

(g )y, x

d(g ) =
G
unitariedade

x, (g )y

d(g )
2

gg1

x, g 1 y
G 2

d(g )
(22.6) 2

x, (g ) y
G

d(g ) =
G

(g )x, y

d(g )

(x) y

.
2

Do fato que (y ) x 2 = (x) y 2 para todos x, y H conclu mos imediatamente que para todo x H vale (x) = x para alguma constante 0. Com (x) = x 2 , (22.6) ca x
2

=
G

(g )y, x

d(g ) .

(22.7)

Tomando-se x = y e x = 1 em (22.7), temos =

G

(g )x, x
2

d(g ) .

(22.8)
2

Disso segue que > 0, pois o integrando

(g )x, x

e n ao-negativo, e cont nuo e assume em g = e o valor | x, x | = 1.

2

Se {xn , n = 1, . . . , M } e um conjunto ortonormal em H, teremos por (22.7) =

G

(g )x1 , xk

d(g ) ,

(22.9)

para todo k {1, . . . , M }. Logo,

M

M =
n=1 G

(g )x1 , xk

d(g ) =
G n=1

(g )x1 , xk

d(g )

(g )x1
G

d(g ) =

x1

= 1.

(22.10) A desigualdade indicada com , acima, segue da desigualdade de Bessel, express ao (36.18), p agina 1806. Conclu mos disso que M 1/, demonstrando que n ao pode haver no espa co de Hilbert H onde e irredut vel um conjunto ortonormal com mais que 1 < elementos. Nota.
Se a dimens ao de H for exatamente M , ent ao toda (22.10) e uma igualdade e temos M = 1 =
G

(g )x, x

d(g )

para

qualquer x H com x = 1.

O seguinte corol ario e crucial para o que segue: Corol ario 22.7 Seja G um grupo topol ogico compacto e seja : G GL(H) uma representa c ao de G por operadores co de Hilbert complexo separ avel H. Assumamos tamb em que seja fortemente cont nua. Ent ao, unit arios em um espa existe um subespa co de dimens ao nita, n ao-trivial, K de H onde age unit aria e irredutivelmente. O complemento ortogonal K e um subespa co invariante por e em K tamb em age unitariamente.

Prova. Sabemos da Proposi ca o 22.4, p agina 1113, que ao menos um dos subespa cos de dimens ao nita Hk com k 1 e n ao-trivial. Seja Hj um tal subespa co e seja Pj o projetor ortogonal sobre Hj . Sabemos da mesma Proposi ca o que Hj f e invariante por . Segue facilmente disso que (g )Pj = Pj (g ) = Pj (g )Pj . Dena-se j (g ) := (g )Pj . E acil checar que j e uma representa ca o de G em Hj , pois j (g )j (h) = Pj (g )(h)Pj = Pj (gh)Pj = j (gh) e j (e) = Pj . Em verdade, j e uma representa ca o unit aria de G em Hj , pois se , Hj temos para todo g G que j (g ), j (g ) pois e unit aria. = (g )Pj , (g )Pj = (g ), (g ) = , ,

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1115/2069

Como Hj tem dimens ao nita, temos pela Proposi ca o 22.1, p agina 1103, que j ou e irredut vel ou maximalmente redut vel. Em qualquer caso, j e uma soma direta nita de representa co es unit arias irredut veis de G e, portanto, existe um subespa co de dimens ao nita K de Hj (e, portanto, de H) onde j (e, portanto, ) age unit aria e irredutivelmente. Como K e invariante por , seu complemento ortogonal K tamb em o e e em K tamb em age unitariamente (pelo Corol ario 22.1, p agina 1104). Reunindo os resultados de acima, temos a seguinte conseq u encia importante, a qual diz-nos que, no caso de grupos compactos, as representa co es irredut veis unit arias de dimens ao nita s ao os tijolos com os quais se constroem todas as representa co es: Teorema 22.3 Toda representa c ao unit aria fortemente cont nua de um grupo compacto G em um espa co de Hilbert separ avel H e uma soma direta de representa c oes unit arias irredut veis de dimens ao nita.

ao-compactos podem n ao admitir nenhuma representa ca o unit aria de dimens ao nita. Tal e o Coment ario. Comentamos que grupos n caso do grupo de Lorentz pr oprio ort ocrono L+ (que e apenas localmente compacto), tal como discutimos na Se ca o 23.2, p agina 1137. Vide Proposi ca o 23.4, p agina 1139.

Prova do Teorema 22.4. Sabemos do Corol ario 22.7 que existe um subespa co de dimens ao nita n ao-trivial K em H onde age irredutivelmente e unitariamente. Seu complemento ortogonal K e igualmente invariante e nele tamb em age unitariamente. cos de dimens ao nita de H onde age unit aria e irredutivelmente. Pelas Seja M a soma direta de todos os subespa claro que age unitariamente em M e como M considera co es de acima, sabemos que M = {0}. E e invariante por , seu complemento ortogonal M tamb em o e (pelo Corol ario 22.1, p agina 1104). Mas M e fechado e, portanto, e tamb em um espa co de Hilbert separ avel, e invariante por e nele age unitariamente. Logo, se M = {0} temos pelo Corol ario 22.7 que existe um subespa co de dimens ao nita n ao-trivial L em M onde age irredutivelmente e unitariamente. cos de dimens ao nita de H onde age unit aria e Isso contraria a hip otese que M e a soma direta de todos os subespa irredutivelmente. Logo, devemos ter M = {0}, o que implica que M = H. Juntando o Teorema 22.3 ` a Proposi ca o 22.3, p agina 1110, temos tamb em: Teorema 22.4 Toda representa c ao fortemente cont nua de um grupo compacto G por operadores limitados invers veis em um espa co de Hilbert complexo separ avel e equivalente a uma soma direta cont avel de representa c oes unit arias irredut veis de dimens ao nita.

Notar que o teorema acima, pelo Corol ario 22.5, p agina 1106, arma que toda representa ca o fortemente cont nua de um grupo compacto Abeliano G por operadores limitados invers veis e equivalente a uma soma direta cont avel de representa co es unit arias de dimens ao 1.

22.4

O Teorema de Peter-Weyl

Um dos resultados mais profundos da teoria de representa co es de grupos compactos e um teorema sobre a ortogonalidade de suas representa co es irredut veis unit arias de dimens ao nita, o qual, em v arios aspectos, generaliza o c elebre Teorema de Fourier7 da An alise Harm onica (vide Teorema 34.12, p agina 1665). Como veremos, esse teorema, devido a Peter8 e Weyl9 , e tamb em em parte um corol ario do Lema de Schur. O estudante iniciante deve ser informado que evocaremos em algumas das demonstra co es que seguem resultados sobre espa cos de Hilbert e sobre a teoria dos operadores compactos, os quais podem ser encontrados no Cap tulo 36, p agina 1795, e na Se ca o 37.8, p agina 1939. Demonstra co es semelhantes do Teorema de Peter-Weyl podem ser encontradas
7 Jean

Baptiste Joseph Fourier (17681830). Peter (18991949). 9 Hermann Klaus Hugo Weyl (18851955).
8 Fritz

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1116/2069

em diversos textos, como [18], [183] ou [218]. A maioria das demonstra co es segue mais ou menos proximamente a demonstra ca o original10 de Peter e Weyl. O Teorema de Peter-Weyl

Dentro da cole ca o de todas as representa co es unit arias de dimens ao nita de um grupo compacto (ou nito) G podemos estabelecer uma rela ca o de equival encia, como j a observamos, dizendo que duas representa co es s ao equivalentes se possu rem um intertwiner invers vel. Podemos tomar em cada classe um representante e formar assim uma cole ca o { , }, de todas as representa co es unit arias de dimens ao nita n ao-equivalentes entre si do grupo compacto (ou nito) G. Acima designa o conjunto de ndices que rotulam as representa co es. Cada age em um espa co vetorial complexo V . No que segue designaremos por d a dimens ao de V . O importante teorema de Peter e Weyl arma que os elementos de matriz (g )ij , i, j = 1, . . . , d , s ao ortogonais entre si em rela ca o ao produto escalar denido pela medida de Haar do grupo compacto (ou nito) G. Mais que isso, elas formam uma base ortogonal completa no espa co de Hilbert L2 (G, d) das fun co es complexas denidas em G e de quadrado integr avel em rela ca o ` a medida . Teorema 22.5 (Teorema de Peter-Weyl) Seja G { , } a cole c ao de todas as representa c oes unit arias irredut veis de dimens ao nita n ao-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. Ent ao, (g )ij (g )kl d(g ) =
G

1 ik jl . d

(22.11)

Por m, as fun c oes (g )ij , , i, j = 1, . . . , d , formam uma base ortogonal completa no espa co de Hilbert 2 L (G, d). Com isso, todo elemento f L2 (G, d) pode ser escrito na forma
d

f (g ) =
i, j =1

fij (g )ij ,

(22.12)

onde
:= d fij

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

A converg encia do lado direito de (22.12) se d a no sentido da norma de L2 (G, d). Finalmente, vale a identidade de 11 Parseval : d 1 2 f , (22.13) |f (g )|2 d(g ) = d i, j =1 ij G

para toda f L2 (G, d) As rela co es acima armam que as fun co es (g )ij , i, j = 1, . . . , d s ao ortogonais em rela ca o ao produto escalar 1 denido pela medida de Haar. No caso de G ser um grupo nito devemos substituir G d # gG , de modo que, G por exemplo, as rela co es de ortogonalidade cam 1 #G (g )ij (g )kl =
g G

1 ik jl . d

(22.14)

No que segue apresentaremos a demonstra ca o para o caso de grupos compactos, sendo o caso de grupos nitos um mero caso particular. Prova do Teorema 22.5. Parte I: ortogonalidade. Apresentaremos primeiramente uma demonstra ca o das rela c oes de ortogonalidade (22.11), demonstra ca o essa que como veremos faz uso elegante do Lema de Schur.
10 A refer encia original e F. Peter and H. Weyl, Die Vollst andigkeit der primitiven Darstellungen einer geschlossenen kontinuierlichen Gruppe, Math. Ann. 97, 737755, (1927). 11 Marc-Antoine Parseval des Ch enes (17551836). Parseval deduziu esta identidade no contexto das s eries e de Fourier (que correspondem aqui ao caso do grupo SO(2)) e transformadas de Fourier em 1805.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1117/2069

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 invari ancia da medida d, e f acil provar que (h) A[i, j ] = A[i, j ] (h) para todo h G. (Exerc cio!). Pelo Lema de Schur, ou A[i, j ] = 0 ou A[i, j ] e invers vel. No caso de termos = , sabemos, por constru ca o, que e s ao inequivalentes. Portanto, nesse caso temos for cosamente A[i, j ] = 0. Isso [i, j ] obviamente implica que todos os elementos de matriz de A s ao nulos, ou seja, 0 = A[i, j ] =
k, l G

ab

(g ) ak

E [i, j ]

kl

(g )lb d(g )

=
k, l G

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

=
G

(g ) ai (g )jb d(g )

=
G

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

Note que essa rela ca o vale para = mas i, j, a, b arbitr arios. Isso provou (22.11) para = . 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 ] s ao matrizes d d . Pelo Corol ario 22.3, A[i, j ] = [i, j ] . Vamos determinar as constantes [i, j ] . Por um lado, tomando-se o tra co de A[i, j ] tem-se Tr(A[i, j ] ) = d [i, j ] . Por outro lado, pela deni ca o de A[i, j ] tem-se 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-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1118/2069

Considerando-se o elemento de matriz ab de ambos os lados da u ltima express ao, tem-se 1 ij ab d =

k, l G

(g ) ak

E [i, j ]

kl

(g )lb d(g )

=
k, l G

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

=
G

(g ) ai (g )jb d(g )

=
G

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

Isso prova (22.11) para = , completando a prova das rela co es de ortogonalidade. Passamos agora ` a demonstra ca o da completeza12 e, para tal, necessitamos de uma deni ca o e de um lema. A chamada representa c ao regular ` a direita de G em L2 (G, d) e denida por R(g ) (h) := hg , (22.15)

elementar constatar que R para g G e L2 (G, d). E e uma representa ca o: para cada g1 , g2 G e L2 (G, d), R(g1 ) R(g2 ) (h) = R(g2 ) (hg1 ) = hg1 g2 = R(g1 g2 ) (h) ,

ou seja, R(g1 )R(g2 ) = R(g1 g2 ). Al em disso, e f acil vericar que R e uma representa ca o unit aria. De fato,
hhg1

, R(g )

L2 (G, d)

=
G

(h) hg dh =
(22.15)

hg 1 h dhg1
G

inv. de

hg 1 h dh R(g )1 ,

R g 1 (h) h dh =
G

R g 1 ,

L2 (G, d)

L2 (G, d)

para todos , L2 (G, d), estabelecendo que R(g )1 = R(g ) para todo g G e, portanto, que R e unit aria. 2 2 Para , seja H o subespa co de dimens ao d de L (G, d) gerado pelas fun co es d (g )ij , i, j = 1, . . . , d . As rela co es de ortogonalidade (22.11), anteriormente provadas, dizem-nos que H pode ser escrito na forma da decomposi ca o , k 2 , 1 , d , onde H e o subespa c o de dimens a o d de L ( G, d ) gerado pelas ortogonal de sub-espa c os H = H H e relevante para o que segue: fun co es d (g )kj , j = 1, . . . , d . O seguinte fato Lema 22.5 Cada sub-espa co H, k e invariante pela a c ao da representa c ao regular ` a direita R. Prova do Lema 22.5. Sem perda de generalidade, xemos um k {1, . . . , d }. Sejam os elementos de H, k denidos por
, k j (g ) j (g ) :=

d (g )kj ,

j = 1, . . . , d .
L2 (G, d)

Pelas rela co es de ortogonalidade (22.11), anteriormente provadas, temos que j , l

{1, . . . , d }. Podemos representar cada elemento f H por f (h) =

, k

na base de H

, k

denida pelos vetores j , j = 1, . . . , d ,

= jl para todos j, l

d j , f j (h) . j =1
12 No

restante da demonstra ca o do Teorema de Peter-Weyl seguimos proximamente [18], com corre co es e adapta co es.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1119/2069

Logo, a a ca o de R(g ) em H, k e dada por,

d d j , f j =1 d (h) = R(g )j j =1 d j , f j =1 j , f j (hg ) = j =1 d d j , f

R(g )f (h) =

d (hg )kj

d j =1

d
a=1

ka

(g )aj

=
a=1

Isso claramente mostra que cada H, k e invariante pela a ca o da representa ca o regular ` a direita R. A demonstra ca o do Lema 22.5 tem o seguinte corol ario:

, f a (h) . (22.16) (g )aj j

Corol ario 22.8 Seja G { , } a cole c ao de todas as representa c oes unit arias irredut veis de dimens ao nita n ao-equivalentes entre si de um grupo compacto (ou nito) G. Ent ao, cada elemento de G e equivalente a uma subrepresenta c ao de R, ou seja, R cont em todos os elementos de G como subrepresenta c oes.

Prova do Corol ario 22.8. Sem perda de generalidade, xemos um k {1, . . . , d }. A rela ca o (22.16) mostra que cada subespa co H, k e invariante pela a ca o da representa ca o regular ` a direita R. Logo, R(g ) restrita a H, k e uma (sub)representa ca o de G. Por m, vemos tamb em de (22.16) que a a ca o de R(g ) restrita a H, k e equivalente ` a a ca o da matriz (g ) nas componentes de cada vetor de H, k na base j (g ) := d (g )kj , pela transforma ca o j , f d j =1 (g )aj j , f . Podemos agora completar a prova do Teorema de Peter-Weyl, Teorema 22.5. Prova do Teorema 22.5. Parte II: completeza. Tratemos agora da quest ao da completeza e suas conseq u encias. Como vimos, o conjunto P d (g )ij , i, j {1, . . . , d } , e um conjunto ortonormal em L2 (G, d). Seja H0 := span (P ), o fecho em L2 (G, d) da varredura linear de P , ou seja, o fecho do conjunto de todas as combina co es lineares nitas de elementos de P . Pelo Lema 22.5, acima, H0 e invariante pela a ca o da representa ca o regular a direita R denida em (22.15). Como R e uma representa ca o unit aria, isso implica que H0 e igualmente invariante pela a ca o da representa ca o regular ` a direita R. De acordo com a deni ca o de conjunto ortonormal completo (vide Cap tulo 36, p agina 1795), desejamos demonstrar que H0 = {0}. Tentaremos uma demonstra ca o por absurdo, supondo H0 = {0}. Seja H0 , com = 0. Dena-se (g ) :=
G Trata-se claramente de uma fun ca o cont nua em G e podemos facilmente vericar que H0 . De fato, temos

(h) R(g ) (h) dh .

ij ,

=
G

(g )ij (g ) dg =
G

(g )ij
G

(h) R(g ) (h) dh

dg

=
G

(h)
G

(g )ij R(g ) (h) dg

dh ,

onde, na u ltima passagem, usamos o Teorema de Fubini para trocar a ordem das integrais. Agora, usando a invari ancia

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1120/2069

da medida , temos
gh1 g

(g )ij R(g ) (h) dg =

G d G

(g )ij (hg ) dg
d

h1 g
G

ij

(g ) dh1 g =
G d

h1 g

ij

(g ) dg

=
a=1

h1

ia

(g )aj (g ) dg =
G a=1

(h)ai
G

(g )aj (g ) dg =
a=1

(h)ai aj , (g )

= 0,

pois a que H0 . Isso mostra que aj , (g ) = 0, j ij , = 0 para todos e todos i, j {1, . . . , d }, provando que tamb em temos H0 .

Isto posto, denimos agora a fun ca o

(g ) := (g ) + g 1 e o operador linear f (g ) :=
G

(22.17) f L2 (G, d) .

gh1 f (h) dh ,

Como e cont nua, e um operador compacto. Vamos estabelecer alguns fatos adicionais sobre o operador compacto . I. e autoadjunto, pois, para todos f1 , f2 L2 (G, d), f1 , f2 =
G

f1 (g ) f2 (g ) dg =
G

f1 (g )
G

gh1 f2 (h) dh

dg

=
G G

f1 (g ) gh1 dg f2 (h) dh =
G G

hg 1 f1 (g ) dg

f2 (h) dh

=
G

(f1 )(h) f2 (h) dh = f1 , f2 .

Acima, na quarta igualdade, usamos o fato que (g ) = g 1 para todo g G, como se v e da deni ca o (22.17.) A mudan ca de ordem de integra ca o na terceira igualdade usa novamente o Teorema de Fubini. II. Para todos , i, j , vale ij = 0 . De fato,
hgh1

(22.18)

ij (g ) =

gh1 (h)ij dh
G d

(h) gh1
G

ij

dh
d

=
a=1

ia

(h) h1
G

aj

dh =
a=1

ia

h
G

ja

(h) dh .

Agora, h
G ab

(h) dh =
G

ab

(h) dh +
G

ab

h1

dh .

O primeiro termo e nulo, pois e igual a a vimos. O segundo termo tamb em e nulo, ab , , mas H0 , como j pois

h
G

h1 ab

dh

hh1

h1
G

ab

(h) dh =
G

(h)ba (h) dh = ba , = 0 ,

tamb em pois H0 . Isso demonstrou (22.18).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1121/2069

III. e a representa ca o regular ` a direita R comutam. De fato, para g G e f L2 (G, d), R(g )f (h) = (f )(hg ) =
G

hgs1 f (s) ds

ssg

hs1 f (sg ) ds
G

=
G

hs1

R(g )f (s) ds =

R(g )f

(h) ,

estabelecendo que R(g ) = R(g ) para cada g G. Pela deni ca o de , tem-se (e) = 2 > 0, por hip otese. Logo, e n ao-nula (por ser cont nua) e, portanto, e um operador n ao-nulo. Por ser compacto e auto-adjunto e n ao-nulo, possui ao menos um auto-valor real, n ao-nulo e nitamente degenerado (Teorema 37.36, p agina 1956). Seja um tal autovalor n ao-nulo e H o correspondente subespa co de dimens ao nita gerado pelos autovetores de autovalor . Se H , temos = e, naturalmente, valer a 1 1 , = , = , = 0, o que estabelece que H H . 0 ij ij ij

Como e R(g ) comutam, H e invariante pela a ca o da representa ca o unit aria R. A restri ca o de R a H e unit aria e de dimens ao nita e, portanto, e ou irredut vel ou maximalmente redut vel (vide Proposi ca o 22.1, p agina 1103). Seja S S H H um sub-espa co invariante n ao-nulo onde R age irredutivelmente. A restri ca o de R ` as fun co es de H dene, portanto, uma representa ca o unit aria irredut vel e de dimens ao nita de G. Essa representa ca o, que denotaremos por D deve ser equivalente a um dos elementos de G, pois G e a cole ca o de todas as representa co es com tais caracter stivas. Assim, existe um operador invers vel V tal que D = V V 1 para todo g G, com .
S Seja {fa , a = 1, . . . , k }, com 0 < k < , uma base ortonormal em H . Temos que k

R(g )fa (h) =

b=1

Dba (g )fb (h) .

k Como R(g )fa (h) = fa (hg ), temos que fa (hg ) = k b=1 Dba (g )fb (h). Tomando-se h = e, temos fa (g ) = b=1 fb (e)Dba (g ), 1 que e uma combina ca o linear nita das fun co es Dba (g ), Como D = V V , vemos que fa (g ) e tamb em uma comS bina ca o linear nita das fun co es (g )ij . Assim, estabelecemos que H e um subespa co de H0 . Isso contradiz o fato S que H H H0 . Logo, a hip otese de partida, a exist encia de um elemento n ao-nulo em H0 e falsa e estabelecemos que H0 = {0}.

Isso demonstrou que P e uma base ortonormal completa em L2 (G, d). As demais arma co es em (22.12) e (22.13) s ao conseq u encia imediada de propriedades de bases ortonormais completas, tal como estabelecido no Teorema 36.5, p agina 1808. Isso completa a demonstra ca o do Teorema de Peter-Weyl, Teorema 22.5.

Car ateres e fun co es centrais

Dada uma representa ca o de dimens ao nita de um grupo G, dene-se o car ater de como sendo a fun ca o (g ) := Tr (g ) , gG. = Tr h1 (h)(g ) = Tr (g ) = (g )

Um fato relevante sobre car ateres e a seguinte identidade: hgh1 = Tr hgh1 = Tr (h)(g ) h1

para quaisquer g, h G. Isso sugere a seguinte deni ca o: uma fun ca o f : G C e dita ser central se f (g ) = f hgh1 para todos g, h G. Equivalentemente, podemos denir fun co es centrais como sendo as fun co es tais que f (gh) = f (hg ) para todos g, h G. E. 22.19 Exerc cio. Mostre a equival encia dessas deni co es. Car ateres s ao, portanto, fun co es centrais. Das rela co es (22.11), tomando-se i = j , k = l e somando-se nesses ndices, obt em-se facilmente que os car ateres das representa co es irredut veis unit arias de dimens ao nita satisfazem as seguintes rela co es de ortogonalidade: (g ) (g ) d(g ) = .
G

(22.19)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1122/2069

E. 22.20 Exerc cio. Verique! Como conseq u encia do Teorema de Peter-Weyl podemos igualmente provar que os car ateres das representa co es irredut veis unit arias de dimens ao nita formam uma base ortogonal no espa co de Hilbert das fun co es centrais de quadrado integr avel de um grupo nito ou compacto. N ao apresentaremos a demonstra ca o aqui. Notemos apenas que no caso do grupo SO(2) os car ateres das representa co es irredut veis unit arias de dimens ao nita s ao p () = eip , p Z. Assim, a arma ca o de acima, que os car ateres formam uma base no espa co das fun co es centrais de quadrado integr avel, e nesse contexto um bem conhecido resultado da teoria das s eries de Fourier. Classe de conjuga c ao

Seja G um grupo. Podemos estabelecer uma rela ca o de equival encia em G da seguinte forma. Se x, y G, dizemos que x y se existir algum elemento h G tal que x = hyh1 . E. 22.21 Exerc cio. Verique que isso, de fato, dene uma rela c ao de equival encia.

As classes de equival encia de G por essa rela ca o s ao denominadas classe de conjuga c ao, ou classes de elementos conjugados. eo unico elemento de sua classe de conjuga c ao. E. 22.22 Exerc cio. Verique que, em um grupo, a identidade O fato importante sobre fun co es centrais e classes conjugadas e a seguinte arma ca o: toda fun ca o central de um grupo G e constante nas classes conjugadas de G. A prova e elementar: se x, y pertencem ` a mesma classe, ent ao existe h tal que x = hyh1 . Logo, f (x) = f hyh1 = f (y ). Assim, para determinar uma fun ca o central, como um car ater de uma representa ca o, por exemplo, basta determinar seus valores nas classes de conjuga ca o. Essa observa ca o desempenhar a um papel abaixo. Car ateres de grupos nitos

Car ateres desempenham um papel especial no caso de grupos nitos. Se G e nito, as rela co es de ortogonalidade (como (22.19)) cam 1 (g ) (g ) = . (22.20) #G
g G

E. 22.23 Exerc cio. Prove isso a partir das rela co es de ortogonalidade (22.14). No caso de grupos nitos, os car ateres possuem uma propriedade de ortogonalidade adicional que e muito u til no estudo de propriedades desses grupos. Vamos apresent a-la. Se f e uma fun ca o central de um grupo nito, ent ao f e automaticamente de quadrado integr avel (pois o grupo e nito) e, pelo teorema de Peter-Weyl, podemos escrev e-la como f (h) =

c (h) ,

onde c =

1 #G

(g )f (g ) .
g G

Como tanto quanto f s ao constantes nas classes de equival encia Ck , k = 1, . . . , K , de G, podemos escrever essa u ltima express ao como K 1 (#Ck ) (Ck )f (Ck ) , c = #G
k=1

onde #Ck e o n umero de elementos do grupo que pertencem ` a classe Ck e f (Ck ) e o valor de f em Ck .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1123/2069

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 f (Cj ) =

f (Ck )
k=1

#Ck #G

(Ck ) (Cj )

Como f e arbitr aria, segue que #Ck #G (Ck ) (Cj ) = jk .

(22.21)

Essa rela ca o de ortogonalidade especial tem v arias conseq u encias relevantes para o estudo de representa co es irredut veis unit arias de grupos nitos. Uma delas e a seguinte: Proposi c ao 22.5 Se G e um grupo nito, o n umero de representa c oes irredut veis unit arias de G e igual ao n umero de classes de conjuga c ao de G. Prova. Seja G um grupo nito e Ck , k = 1, . . . , K suas classes de conjuga ca o. Sabemos que as fun co es centrais s ao constantes nas classes de conjuga ca o e, portanto, vale para toda fun ca o central f a seguinte identidade
K

f (g ) =
k=1

fk Ck (g ) ,

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

Ck (g ) :=

Isso signica que o espa co vetorial C (G) das fun co es centrais de G tem uma base formada pelas fun co es Ck , k = 1, . . . , K , e, portanto, tem dimens ao K . Por (22.20) as fun co es , , formam uma base ortogonal no espa co C (G). Portanto, o n umero # de representa co es irredut veis de G e menor ou igual a ` dimens ao de C (G), que e K , como acabamos de ver: # K .

Por outro lado, (22.21) diz-nos que o espa co vetorial de todas as fun co es C, o qual tem dimens ao # (por que?), possui um conjunto de K fun co es ortogonais, a saber, as fun co es hk () = (Ck ), . Logo, K #. Isso completa a prova que K = # Sob a luz da Proposi ca o 22.5 podemos reescrever (22.21) como #Ck #G j, k = 1, . . . , K . Outra conseq u encia de (22.22) e a seguinte. Tomando-se Cj = Ck = C1 , onde C1 e a classe de conjuga ca o da identidade, a qual s o possui um elemento, conclu mos que
K K

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

(22.22)

d2 a = #G ,
a=1

(22.23)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1124/2069

pois a (C1 ) = Tr(a (e)) = da . Essa curiosa express ao nos mostra uma rela ca o insuspeita entre as dimens oes das representa co es irredut veis de G e a ordem de G. Em muitos casos e poss vel extrair informa co es sobre as representa co es irredut veis do grupo a partir da mesma. Isso pois (22.23) n ao pode ser satisfeita por quaisquer n umeros inteiros K , da e #G. Por exemplo, um grupo que possua 6 elementos e 3 classes de conjuga ca o s o pode ter duas representa co es irredut veis unidimensionais e uma bidimensional, pois 6 = 12 + 12 + 22 e n ao h a outra forma de escrever o n umero 6 como soma de tr es quadrados. Esse, ali as, e precisamente o caso do grupo de permuta co es de 3 elementos, S3 , o qual possui 6 elementos e 3 classes de conjuga ca o (identique-as!). E. 22.24 Exerc cio. A unica outra possibilidade de se escrever 6 como soma de quadrados e 6 = 12 + 12 + 12 + 12 + 12 + 12 . H a algum grupo que corresponde a essa situa c ao? Ele deveria ter 6 elementos e 6 classes de conjuga c ao. Mostre que esse ultimo fato implica que deve ser um grupo Abeliano e, com isso, identique qual e esse grupo. Constate que o fato de esse grupo possuir 6 representa co es irredut veis unidimensionais est a de acordo com o Exerc cio E. 22.9, p agina 1106.

22.5

Representa co es Irredut veis de Dimens ao Finita de SU(2)

Um cap tulo importante das aplica co es da teoria de grupos ` a F sica envolve a classica ca o das representa co es irredut veis de dimens ao nita do grupo SU(2). Como esse grupo e compacto (vide Proposi ca o 20.18, p agina 1020), e suciente, pela veis de dimens ao nita. Proposi ca o 22.3, p agina 1110, considerarmos suas representa co es unit arias irredut Como j a vimos (vide Se ca o 20.3.4, p agina 1009) que o grupo SU(2) e formado por matrizes da forma U (, ) = ao as matrizes de Pauli. As exp i l , onde [2, 2 ), R3 e um vetor unit ario e lk = 1 2 k , onde k s matrizes lk satisfazem [la , lb ] = iabc lc (adotamos doravante a conven ca o de Einstein de soma sobre ndices repetidos) e s ao auto-adjuntas: la = la . f E acil concluir que se e uma representa ca o de dimens ao nita de SU(2), e da forma U (, ) = exp (l) ,

onde (l1 ), (l2 ), (l3 ) satisfazem [(la ), (lb )] = iabc (lc ). As matrizes (la ) s ao, por deni ca o, os geradores dos ca o La (la ) e escrevamos, portanto, subgrupos uniparam etricos eila . Para simplicar um pouco a nota U (, ) = exp i L , (22.24)

importante notar que se (g ) com [La , Lb ] = iabc Lc . E e unit aria para todo g SO(3), ent ao cada La e auto-adjunta: L = L . a a E. 22.25 Exerc cio. Justique! Operador de Casimir

Um fato muito importante, v alido para qualquer representa ca o de SU(2) como acima, e que a matriz, denotada por L2 , e denida por 2 2 2 L2 := L1 + L2 + L3 comuta com todos os tr es geradores La : [L2 , La ] = 0, para todo a = 1, 2, 3.

E. 22.26 Exerc cio muito importante. Verique essa arma c ao. Sugest ao: prove (e use) a identidade [A2 , B ] = A[A, B ]+ [A, B ]A, v alida para quaisquer matrizes n n A e B . Um operador com essa propriedade, a de comutar com todos os elementos de uma algebra de Lie, e dito ser um operador de Casimir13 . Por um teorema devido a Racah14 , L2 eou nico operador de Casimir para a algebra su(2) (os demais s ao combina co es lineares de pot encias de L2 ).
13 Hendrik 14 Giulio

Brugt Gerhard Casimir (19092000). Racah (19091965).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1125/2069

A import ancia dos operadores de Casimir e a seguinte. Como L2 comuta com cada La , segue facilmente de (22.24) 2 2 que L (g ) = (g )L para todo g SU(2). Assim, pelo Corol ario 22.3, p agina 1106 (um dos corol arios do Lema de Schur), se e uma representa ca o irredut vel, ent ao L2 deve ser um m ultiplo da identidade. Isso abre o caminho para classicar as representa co es irredut veis de SU(2): estudando os poss veis autovalores de L2 . Em cada subespa co formado por autovetores com um dado autovalor xo, teremos uma representa ca o irredut vel. Essa estrat egia e comum ` a classica ca o e estudo de representa co es irredut veis de v arios grupos e o leitor ver a no que segue a inst ancia mais elementar de sua aplica ca o. Autovalores de L2 e de L3

Sejam La , a = 1, 2, 3, matrizes complexas auto-adjuntas agindo em um espa co vetorial de dimens ao nita, satisfa evidente que L2 zendo [La , Lb ] = iabc Lc e L2 denida como acima. Vamos estudar os poss veis autovalores de L2 . E e auto-adjunta e, portanto, que seus autovalores s ao reais. Comecemos mostrando que os autovalores de L2 s ao n umeros reais n ao-negativos. Seja um autovetor de L2 com autovalor : L2 = . Ent ao,
2 2 , = , L2 = , L2 1 + , L2 + , L3 = L1 , L1 + L2 , L2 + L3 , L3 .

Recordemos agora o fato15 que, como [L2 , L3 ] = 0, podemos escolher uma base ortogonal formada por vetores que s ao simultaneamente autovetores de L2 e L3 . Denotaremos esses vetores por l,m , tendo-se L2 l,m = l(l + 1)l,m e L3 l,m = ml,m . Iremos em breve fazer uso dessa base.

Todo n umero 0 pode ser escrito na forma = l(l + 1) com l 0. Por futura conveni encia, escreveremos doravante os autovalores de L2 na forma l(l + 1) com l 0.

Na u ltima igualdade usamos o fato que L mos que 0, como quer amos. a = La . Como La , La 0, conclu

conveniente denir L := L1 iL2 . Tem-se que L = L . Como L1 = (L+ + L )/2 e L2 = (L+ L )/(2i), E podemos reescrever as rela co es alg ebricas [La , Lb ] = iabc Lc em termos de L e L3 . Obtemos [L 3 , L ] = [L + , L ] = Fora isso, valem tamb em L2 L2 = L+ L + L3 (L3 ) , = L L+ + L3 (L3 + ) . (22.27) (22.28) L , 2L3 . (22.25) (22.26)

co es (22.25)(22.28). E. 22.27 Exerc cio muito importante. Prove as rela Vamos usar as rela co es (22.25)(22.28) para provar v arios fatos sobre os autovalores de L2 e L3 . De (22.28) tem-se L L+ l,m = l(l + 1) m(m + 1) l,m = (l m)(l + m + 1)l,m . De (22.27) 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 Por em, como L = L , segue que = L+ l,m , L+ l,m 0 e l,m , L+ L l,m = L l,m , L l,m 0. = (l + m)(l m + 1) l,m = (l m)(l + m + 1) l,m
2

(22.29) (22.30) (22.31)

(22.32)

l,m , L L+ l,m
15 Vide

Se ca o 8.4.1, p agina 351.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1126/2069

Logo, conclu mos de (22.31) e de (22.32) que (l m)(l + m + 1) 0 , (l + m)(l m + 1) 0 . De (22.33), segue que vale uma das seguintes alternativas a) l m 0 e l + m + 1 0, ou b) l m 0 e l + m + 1 0. No caso b), se somarmos ambas as desigualdades teremos 2l + 1 0. Isso e imposs vel, pois l 0. Assim, vale a) que, em particular, diz que m l. Por (22.34), isso implica l + m 0, ou seja, m l. Conclu mos, portanto, que l m l . Assim, para cada l, os valores de m n ao podem ser maiores que l nem menores que l. Vamos agora provar a seguinte proposi ca o, que utilizaremos logo abaixo. Proposi c ao 22.6 Seja l,m um autovetor de L2 e de L3 com autovalores l(l + 1) e m, respectivamente. Ent ao, se 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 (22.29) isso implica (l m)(l + m + 1) = 0. Assim, ou m = l ou m = (l + 1). Esse u ltimo caso e proibido por (22.35) e, portanto, m = l. Se L l,m = 0 segue, evidentemente, que L+ L l,m = 0. Por (22.30) isso implica (l + m)(l m + 1) = 0. Assim, ou m = l ou m = l + 1. Esse u ltimo caso e proibido por (22.35) e, portanto, m = l. Vamos agora prosseguir tentando estabelecer mais alguns fatos sobre os poss veis valores de l e m. Usando as rela co es de comuta ca o entre L3 e L+ , e f acil ver que L3 L+ l,m = [L3 , L+ ]l,m + L+ L3 l,m = (m + 1)L+ l,m . Analogamente, usando as rela co es de comuta ca o entre L3 e L , tem-se L3 L l,m = [L3 , L ]l,m + L L3 l,m = (m 1)L l,m . Essas duas rela co es dizem-nos que L l,m e um autovetor de L3 com autovalor m 1. Note-se que, como L2 comuta 2 com L , tem-se tamb em L L l,m = l(l + 1)L l,m . Assim, aplicar o operador L a l,m aumenta (diminui) de uma 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 fun ca o de (22.35), s o e poss vel se L+ l, l = 0. Analogamente, caso m = l teremos L3 L l, l = (l + 1)L l, l o que, em fun ca o de (22.35), s o e poss vel se L l, l = 0. Junto com a Proposi ca o 22.6 isso conduz ao Corol ario 22.9 Seja l,m um autovetor n ao-nulo de L2 e de L3 com autovalores l(l + 1) e m, respectivamente. Ent ao, 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 n ao-nulos de L3 com autovalores l. Certamente existe um autovetor n ao-nulo l,m para algum m satisfazendo (22.35). Pelo que vimos acima, Lp e um autovetor de L3 com autovalor + l,m m + p. Suponhamos que m < l e seja p0 0 o maior inteiro n ao-negativo tal que m + p0 l. Ent ao, m + p0 + 1 > l, p0 p0 +1 p0 e nulo ou ario 22.9, isso implica que ou L+ l,m o que implica que 0 = L+ l,m = L+ L+ l,m . Pelo Corol p0 e autovetor de L3 com autovalor l. Se p0 = 0, ent ao l,m = 0, por hip otese. Se p0 > 0, ent ao, caso L+ l,m = 0, l,m e autovetor n ao-nulo de L3 com autovalor l. A repeti ca o concluir amos, tamb em pelo Corol ario 22.9, que L+ desse argumento conduz ` a conclus ao que h a um autovetor n ao-nulo de L3 com autovalor l. Analogamente, conclui-se que existe autovetor n ao-nulo de L3 com autovalor l.
p0 1

(22.33) (22.34)

(22.35)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1127/2069

Estamos agora preparados para chegar a uma importante conclus ao sobre os poss 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 n ao-nulo l,l obtemos sucessivos vetores L+ l,l com autovalores l + p de L3 . Chegar a um momento em que a desigualdade l m l ser a violada, ou seja, existe p p+1 tal que L+ l,l seria o primeiro autovetor de L3 com autovalor maior que l. Como isso e imposs vel, segue que p p p+1 aximo l. Mas o autovalor de L3 em L+ l,l l,l = 0 e L+ l,l deve ser autovetor de L3 com autovalor m L+ e l + p. Logo l + p = l, ou seja, 2l = p. Como p e um n umero inteiro, segue que l e ou um inteiro (caso p seja par) ou um semi-inteiro (caso p seja mpar). Como os autovalores m s ao da forma l + p, para p inteiro, segue que m ser a inteiro se l o for ou semi-inteiro, caso l o seja. A conclus ao importante e que os autovalores de L2 s ao n umeros da forma l(l + 1) com l 0 inteiro ou semi-inteiro. Um ponto importante sobre o qual n ao discutimos ainda diz respeito ` a degeneresc encia dos autovalores de L3 . Fa camolo agora. Como deduzimos acima, se l,m e um autovetor de L2 e de L3 com autovalores l(l + 1) e m, respectivamente, ent ao os 2l + 1 vetores L
l+ m p

N ao-degeneresc encia dos autovalores de L3

l,m , . . . ,

L l,m , l,m ,

L+ l,m , . . . ,

L+

l m

l,m

(22.36)

s ao igualmente autovetores n ao-nulos de L2 , com autovalor l(l + 1), e s ao autovetores de L3 com autovalores l, . . . , l, sucessivamente. Naturalmente, os 2l + 1 vetores acma s ao mutuamente ortogonais, pois L3 e autoadjunto. Vamos agora supor que l,m seja um outro autovetor n ao-nulo de L2 e de L3 com autovalores l(l + 1) e m, respectivamente. Podemos, sem perda de generalidade, supor que l,m e ortogonal a l,m . Pelos mesmos argumentos, os 2l + 1 vetores l m l+ m l,m (22.37) l,m , . . . , L l,m , l,m , L+ l,m , . . . , L+ L s ao igualmente autovetores n ao-nulos de L2 , com autovalor l(l + 1), e s ao autovetores de L3 com autovalores l, . . . , l, sucessivamente. Sejam U e V os subespa cos (2l + 1)-dimensionais gerados pelos vetores (22.36) e (22.37), respectivamente. Armamos que U e V s ao subespa cos mutuamente ortogonais. Como autovetores de autovalores distintos de L3 s ao ortogonais (pois L3 e autoadjunto), e suciente provar que L l,m , L l,m e que L+ l,m , L+ l,m
b b a a

= 0

para todo a = 0, . . . , l + m ,

(22.38)

= 0

para todo b = 0, . . . , l m .

(22.39)

Vamos tratar apenas do caso das rela co es (22.38), pois o caso de (22.39) e an alogo. Para a = 0 a arma ca o e obvia, pois l,m , l,m = 0, por hip otese. Procedendo por indu ca o, suponhamos que tenhamos estabelecido que L Teremos, usando que (L ) = L+ , que
a a a 1 a 1 a 1

l,m , L

a 1

l,m

= 0.

L l,m , L l,m

L
(22.27)

l,m , L+ L L
a 1

l,m
a 1

l,m , L2 L3 (L3 ) L

l,m L
a 1

= l(l + 1) (m a + 1)(m a) Na u ltima passagem usamos o fato j a discutido que L de L3 com autovalor m a + 1.
a 1

l,m , L

a 1

l,m

= 0.

l,m e autovetor de L2 com autovalor l(l + 1) e autovetor

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1128/2069

Isso provou (22.38) e a prova de (22.39) e totalmente an aloga, estabelecendo que U e V s ao subespa cos ortogonais. Observe-se, por em, que U e V s ao ambos subespa cos invariantes pela algebra gerada por L1 , L2 e L3 (ou por L e L3 ). Logo, essa algebra n ao e irredut vel, contrariando as hip oteses. Portanto, os autovalores de L3 s ao simplesmente degenerados em cada representa ca o irredut vel e (22.36) apresenta todos os seus autovetores respectivos. Indexando as representa co es irredut veis

Como vimos, cada representa ca o irredut vel de SU(2) e caracterizada por um autovalor de L2 e podemos, portanto, classicar as representa co es irredut veis de SU(2) pelo ndice l: l , com l N0 /2. Esse fato e de grande import ancia na F sica Qu antica, pois os n umeros l(l + 1) e m s ao associados aos autovalores dos operadores de momento angular total L2 e azimutal L3 . Elementos de matriz dos geradores L1 , L2 e L3

poss E vel xar a forma dos geradores La em cada representa ca o irredut vel l . Para isso, escolhemos como base os 2l + 1 vetores l,m com l m l. Nessa base L3 e diagonal tendo elemento de matriz m na m- esima posi ca o 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 (22.31)(22.32), que dizem-nos que, L+ l,m e L l,m
2

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

(22.40) (22.41)

para l,m = 1. Sabemos que L l,m deve ser m ultiplo de l,m1 . Com as rela co es acima, podemos convencionar (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 . (22.42) (22.43)

Isso fornece a a ca o das matrizes L na base l,m . Escrevendo L = L1 iL2 , obtemos tamb em facilmente a a ca o das matrizes L1 e L2 naquela base. O resultado, incluindo a a ca o da matriz L3 , e L1 l,m L2 l,m L3 l,m = = 1 2 1 2i l(l + 1) m(m + 1) l, m+1 + l(l + 1) m(m + 1) l, m+1 l(l + 1) m(m 1) l, m1 , l(l + 1) m(m 1) l, m1 , (22.44) (22.45) (22.46)

= m l,m .

Com as express oes de acima podemos obter explicitamente os elementos de matriz de L1 , L2 , L3 e L na base l,m : l,m , L1 l,m l,m , L2 l,m l,m , L3 l,m = = = 1 2 1 2i l(l + 1) m(m + 1) m , m+1 + l(l + 1) m(m + 1) m , m+1 l(l + 1) m(m 1) m , m1 , l(l + 1) m(m 1) m , m1 , (22.47) (22.48) (22.49)

m m , m .

elementar constatar por (22.47)(22.49) que l,m , La l,m = l,m , La l,m para cada a = 1, 2, 3 e, portanto, E vale La = L ao autoadjuntos. a para cada a = 1, 2, 3, conrmando que os geradores La s E. 22.28 Exerc cio. Escreva explicitamente as matrizes L1 , L2 e L3 nos casos l = 1/2, l = 1 e l = 3/2. Constate que no primeiro caso obt em-se, a menos de um fator 1/2, as matrizes de Pauli. Compare as matrizes do caso l = 1 com os geradores do grupo SO(3) dadas em (20.41)(20.43), p agina 991.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 22

1129/2069

Com as express oes acima, e at e mesmo poss vel escrever de modo expl cito a forma das representa co es l U (, ) = exp i L , para l N0 /2, arbitr ario, mas n ao faremos isso aqui.