Estruturas Algebricas Basicas

Cap tulo 2 Estruturas Alg ebricas B asicas
Conte udo
2.1 Estruturas Alg ebricas B asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 2.1.1 Algebras Universais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65 2.1.2 Reticulados e Algebras Booleanas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67 2.1.3 Semi-Grupos, Mon oides e Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72 2.1.4 Corpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76 2.1.5 Espa cos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79 2.1.6 An eis, M odulos e Algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81 2.1.6.1 An eis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81 2.1.6.2 M odulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81 2.1.6.3 Algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82 2.1.7 Exemplos Especiais de Algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83 2.1.7.1 Algebras de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83 2.1.7.2 Algebras de Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86 2.1.7.3 Algebras de Jordan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86 2.1.7.4 Algebras de Grassmann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87 2.1.7.5 Algebras de Cliord . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88 2.1.8 Mais sobre An eis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88 2.1.9 A c oes e Representa c oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90 2.1.10 Morsmos, Homomorsmos, Epimorsmos, Isomorsmos, Monomorsmos, Endomorsmos e Automorsmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92 2.1.11 Induzindo Estruturas Alg ebricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94 Grupos. Estruturas e Constru c oes B asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98 2.2.1 Cosets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98 2.2.2 Subgrupos Normais e o Grupo Quociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100 2.2.3 O Centro de um Grupo. Centralizadores e Normalizadores . . . . . . . . . . . . . . . . . . . . 101 2.2.4 Grupos Gerados por Conjuntos. Grupos Gerados por Rela c oes . . . . . . . . . . . . . . . . . . 103 2.2.5 O Produto Direto e o Produto Semi-Direto de Grupos. O Produto Tensorial de Grupos Abelianos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104 2.2.5.1 O Produto Direto de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104 2.2.5.2 O Produto Semi-Direto Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105 2.2.5.3 Produtos Tensoriais de Grupos Abelianos . . . . . . . . . . . . . . . . . . . . . . . . . . 107 Espa cos Vetoriais. Estruturas e Constru c oes B asicas . . . . . . . . . . . . . . . . . . . . . 109 2.3.1 Bases Alg ebricas de um Espa co Vetorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109 2.3.2 O Dual Alg ebrico de um Espa co Vetorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113 2.3.3 Subespa cos e Espa cos Quocientes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119 2.3.4 Somas Diretas de Espa cos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120 2.3.5 Produtos Tensoriais de Espa cos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120 2.3.5.1 Duais Alg ebricos e Produtos Tensoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . 125 2.3.5.2 Produtos Tensoriais de um mesmo Espa co Vetorial. Espa cos Sim etrico e Anti-Sim etrico 126 2.3.5.3 O Produto Tensorial de M odulos. Deriva c oes . . . . . . . . . . . . . . . . . . . . . . . . 128 An eis e Algebras. Estruturas e Constru c oes B asicas . . . . . . . . . . . . . . . . . . . . . . 129 2.4.1 Ideais em An eis e Algebras Associativas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129 2.4.1.1 Ideais em An eis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130 2.4.1.2 Ideais em Algebras Associativas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134 Algebras Tensoriais e Algebras Exteriores . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136 2.5.1 Algebras Tensoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
2.2
2.3
2.4
2.5
62
JCABarata. Curso de F sica-Matem atica
Vers ao de 2 de novembro de 2009.
Cap tulo 2
63/1702
2.6
2.5.2 Algebras Exteriores . . . . . . . . . . . . T opicos Especiais . . . . . . . . . . . . . . . 2.6.1 O Grupo de Grothendieck . . . . . . . . 2.6.2 Grup oides . . . . . . . . . . . . . . . . . 2.6.3 Quat ernios . . . . . . . . . . . . . . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. 138 139 . 140 . 141 . 143
o aprofundar seu estudo de Matem atica o estudante freq uentemente depara com conceitos como o de grupo, semi-grupo, espa co vetorial, algebra, anel, corpo, m odulo etc. Nosso objetivo neste cap tulo e apresentar deni co es b asicas de tais conceitos acompanhadas, quando poss vel, de alguns exemplos relevantes. Nossa inten ca o n ao e de forma alguma a de cobrir esses assuntos e seus resultados mais importantes, mas apenas a de introduzir ao leitor no co es dessas estruturas alg ebricas, de modo que o mesmo possa encontrar aqui refer encias r apidas as mesmas quando delas necessitar. V ` arios dos t opicos aqui abordados ser ao desenvolvidos em cap tulos posteriores, de modo que, como no caso do Cap tulo 1, o objetivo n ao e um tratamento extensivo dos diversos assuntos. O estudante j a familiar com alguns desses conceitos (os conceitos de grupo e algebra s ao populares entre estudantes de F sica) encontrar a nessa exposi ca o uma vis ao unicada dos mesmos. Este cap tulo deve ser compreendido como uma continua ca o do Cap tulo 1. O leitor pode achar ser este cap tulo uma longa seq u encia de apenas deni co es e exemplos, com poucos resultados, o que e parcialmente correto. Seu objetivo, por em, e apresentar v arias id eias comuns a v arias areas de um ponto de vista unicado e introduzir constru co es empregadas ulteriormente.
2.1
Estruturas Alg ebricas B asicas
Ainda atentos ao car ater introdut orio apresentaremos aqui deni co es e exemplos das estruturas alg ebricas mais comuns. Opera co es e rela co es
Sejam C e I dois conjuntos n ao-vazios e consideremos o produto Cartesiano C I (o conceito de produto Cartesiano de conjuntos foi denido ` a p agina 32). Uma fun ca o f : C I C e por vezes dita ser uma opera ca o sobre C . Se I e um conjunto nito, f e dita ser uma opera ca o nit aria sobre C . C. Um conjunto R C I e dito ser uma rela ca o em C . Se I e um conjunto nito, R e dito ser uma rela ca o nit aria em
Sejam C e I dois conjuntos e consideremos fun co es f : C I C . Se I e um conjunto nito f : C I C e dita ser uma fun ca o nit aria sobre C ou opera ca o nit aria sobre C . Sem perda de generalidade consideraremos aqui fun co es nit arias do tipo f : C n C para algum n N. Se f e uma fun ca o nit aria para um dado n, f e dita ser uma fun ca o n- aria aria seria uma fun ca o do tipo f : C N C que a cada seq u encia em C sobre C . Um exemplo de uma fun ca o n ao nit associa um elemento de C . Fun co es 2- arias ser ao chamadas aqui de fun co es bin arias e fun co es 1- arias s ao chamadas de fun co es un arias. Fun co es un arias e bin arias s ao as de maior relev ancia. Por vezes iremos falar tamb em de fun co es 0- arias sobre C , que consistem em fun co es f : {} C . Uma tal fun ca o tem por imagem simplesmente um elemento xo de C . Exemplos de fun c o es 0- a rias sobre R seriam f ( ) = 1 ou f ( ) = 0 uentemente denotamos tais co es pelo elemento de C por ela associado. Nos tr es exemplos acima, ou f () = 2. Freq fun poder amos denotar as fun co es por 1, 0 ou 2, respectivamente. Magmas
Fun co es nit arias
Um conjunto C dotado de uma rela ca o bin aria C C C e dito ser um magma. Essa nomenclatura foi introduzida por Bourbaki1 mas n ao e, por em, universalmente empregada.
Bourbaki. Nome coletivo adotado por um grupo de importantes matem aticos franceses, nascido por volta de 1935, que teve grande, mas declinante, inu encia na estrutura ca o e sistematiza ca o da Matem atica ao longo do s eculo XX. O grupo Bourbaki sofreu diversas
1 Nicolas
Cap tulo 2
64/1702
H a uma nomenclatura an aloga para o caso de rela co es. Sejam C e I dois conjuntos e consideremos rela co es R C I . Se I e um conjunto nito R e dita ser uma rela ca o nit aria sobre C . Sem perda de generalidade consideraremos aqui rela co es nit arias do tipo R C n para algum n N. Se R e uma rela ca o nit aria para um dado n, R e dita ser uma rela ca o n- aria sobre C . Para o caso n = 1 as rela co es s ao tamb em chamadas de un arias e para o caso n = 2 s ao ditas bin arias. Rela co es bin arias foram estudadas ` a p agina 27. Estruturas
Rela co es nit arias
Seja C um conjunto, F uma cole ca o de opera co es (n ao necessariamente nit arias) sobre C e seja R uma cole ca o de rela co es (n ao necessariamente nit arias) em C . A tripla C, F, R e dita ser uma estrutura sobre C . Note-se que tanto F quanto R podem ser vazias. Dado que opera co es sobre um conjunto C tamb em s ao rela co es sobre C , a deni ca o de estrutura acima poderia ser por simplicada. E em conveniente mant e-la como est a, pois fun co es s ao de import ancia especial. Uma estrutura C, F e dita ser uma estrutura alg ebrica e uma estrutura C, R e dita ser uma estrutura relacional. Tipos de opera co es e de rela co es
Ainda um coment ario sobre a nomenclatura.
Sejam C e I conjuntos e seja : C I C uma opera ca o sobre o conjunto C . A cardinalidade de I e dita ser o tipo da opera ca o . Assim, uma fun ca o n- aria e tamb em dita ser de tipo n. Analogamente, se R C I e uma rela ca o em C a cardinalidade de I e dita ser o tipo da rela ca o R . Coment arios sobre a nota c ao. Nota c ao mesoxa
Antes de prosseguirmos, fa camos uma observa ca o sobre a nota ca o que e costumeiramente adotada, especialmente quando se trata de fun co es bin arias. Dado um conjunto C e uma fun ca o bin aria denotada por um s mbolo , a imagem de um par (a, b) C 2 e muito pr comummente denotada por (a, b). E atico, por vezes, usar uma outra nota ca o e denotar (a, b) por a b. Essa nota ca o e denominada nota ca o mesoxa. Um exemplo claro desse uso est a na fun ca o soma de dois n umeros complexos, denotada pelo s mbolo + : C2 C. Denotamos +(z, w) por z + w. Outro exemplo est a na fun ca o produto de dois n umeros complexos: : C2 C. Denotamos (z, w) por z w.
Essa nota ca o ser a usada adiante para outras fun co es bin arias al em das fun co es soma e produto de n umeros ou matrizes.
Fun co es un arias tamb em t em por vezes uma nota ca o especial, freq uentemente do tipo exponencial. Tal e o caso da opera ca o que associa a cada elemento de um grupo ` a sua inversa, g g 1 , ou o caso da opera ca o que associa a cada conjunto o seu complementar A Ac . Ou ainda o caso da transposi ca o de matrizes M M T , da conjuga ca o de n umeros complexos z z para o que usa-se tamb em sabidamente a nota ca o z z . Comutatividade, associatividade e distributividade Uma fun ca o bin aria : C 2 C e dita ser comutativa se para quaisquer a e b C valer (a, b) = (b, a) , ou seja, na nota ca o mesoxa, se ab = ba . Fun co es bin arias comutativas s ao freq uentemente chamadas de Abelianas2 . Uma fun ca o bin aria : C 2 C e dita ser associativa se para quaisquer a, b e c C valer (a, (b, c)) = ((a, b), c) , ou seja, na nota ca o mesoxa, se a(bc) = (ab)c .
cr ticas pelo seu abstracionismo, considerado em certos c rculos como excessivo e mesmo est eril. 2 Niels Henrik Abel (18021829).
Cap tulo 2
65/1702
A associatividade permite-nos eliminar os par enteses de express oes como a(bc), que podem ser escritas sem ambig uidade na forma abc. Dadas duas fun co es bin arias 1 , 2 : C 2 C , dizemos que 1 e distributiva em rela ca o a 2 se valer 1 a, 2 (b, c) para quaisquer a, b, c C . = 2 1 (a, b), 1 (a, c) ou seja, a1 (b2 c) = (a1 b)2 (a1 c)
2.1.1
Algebras Universais
Uma a lgebra Universal e constitu da por um conjunto C e uma cole ca o F de fun co es nit arias sobre C . A cole ca o F n ao precisa ser nita. Freq uentemente denotaremos uma algebra universal por C, F . O estudo sistem atico das algebras universais foi iniciado por Withehead3 e Birkho4 , tendo Boole5 , Hamilton6 , De 7 8 Morgan e Sylvester como precursores. Para uma refer encia, vide [64]. Vamos a alguns exemplos. 1. Seja C = R e F = {s, m}, onde s e m s ao duas fun co es bin arias dadas por s : R2 R, s(x, y ) = x + y e 2 m : R R, m(x, y ) = x y . 2. Seja C = Mat(n) (o conjunto das matrizes complexas n n para um certo n N) e F = {s, m}, onde s e m s ao duas fun co es bin arias dadas por s : C 2 C , s(A, B ) = A + B e m : C 2 C , m(A, B ) = A B . 3. Seja C o conjunto de todas as matrizes complexas n m (para n e m N) e seja F = {c, s, t} onde c : C C e a fun ca o bin aria dada e a fun ca o un aria dada por c(A) = A (a matriz complexo-conjugada de A), s : C 2 C por s(A, B ) = A + B e t : C 3 C e a fun ca o 3- aria dada por t(A, B, C ) = AB T C , onde B T e a transposta da matriz B . Algumas algebras universais com propriedades especiais de import ancia em Matem atica recebem denomina co es pr oprias e s ao chamadas de grupos, semi-grupos, an eis, corpos etc. Vamos introduz -las adiante. Em todos elas as fun co es de F s ao 0- arias, un arias ou bin arias. Algumas estruturas freq uentemente encontradas, como espa cos vetoriais, algebras e m odulos, n ao se enquadram exatamente no conceito de algebra universal, mas podem ser encarados como constitu dos por pares de algebras universais dotadas de uma a ca o de uma das algebras universais sobre a outra. A no ca o abstrata de a ca o de uma algebra universal sobre uma outra algebra universal ser a vista mais adiante. A leitura do restante desta subse ca o sobre algebras universais pode ser omitida pois n ao afetar a o que segue. Morsmos entre algebras universais
Sejam A, A e B, B duas algebras universais. Uma fun ca o : A B e dita preservar o tipo das opera co es de A se para todo A a opera ca o () B tiver o mesmo tipo que a opera ca o . Assim, uma aplica ca o que preserva o tipo leva aplica co es un arias em un arias, aplica co es bin arias em bin arias etc. Um morsmo da algebra universal A, A na algebra universal B, B e um par de aplica co es D, com D : A B e : A B, onde e uma aplica ca o que preserva o tipo e de tal forma que para todo A tenhamos D = () D como aplica co es An B , onde n e o tipo de . Isso signica que para todo A temos D((a1 , . . . , an )) = ()(D(a1 ), . . . , D(an ))
3 Alfred
North Withehead (18611947). David Birkho (18841944). 5 George Boole (18151864). 6 William Rowan Hamilton (18051865). 7 Augustus De Morgan (18061871). 8 James Joseph Sylvester (18141897).
4 George
Cap tulo 2
66/1702
Exemplo. Sejam as algebras universais R+ , {, 1} e R, {+, 0} com as deni co es usuais e seja o par ln, L , onde ln : R+ R e o logaritmo Neperiano9 e L : {, 1} {+, 0} dado por L() = +, L(1) = 0. Ent ao ln, L e um morsmo de R+ , {, 1} em R, {+, 0} , dado que para todo a, b R+ vale ln(a b) = ln(a) + ln(b). A co es de uma algebra universal sobre uma outra algebra universal
para toda (a1 , . . . , an ) An , n sendo o tipo de .
Por raz oes de completeza apresentaremos aqui a no ca o geral de a ca o de uma algebra universal sobre uma outra. Vamos come car com algumas deni co es. Sejam A e B dois conjuntos e seja uma fun ca o G : A B B . Para todo n, m N denamos G(n, 1) : An B B n tal que (a1 , . . . , an , b) (G(a1 , b), . . . , G(an , b))
com ai A, b B .
Para todo m, m N denamos
G(1, m) : A B m B m
tal que
(a, b1 , . . . , bm ) (G(a, b1 ), . . . , G(a, bm ))
Finalmente, para duas aplica co es : An A e : B m B o par (, ) denota a aplica ca o An B m A B dada por (, )(a1 , . . . , an , b1 , . . . , bm ) = ((a1 , . . . , an ), (b1 , . . . , bm ))). Com isso podemos formular a deni ca o desejada de a ca o de uma algebra universal sobre uma outra. Sejam A, A e B, B duas algebras universais. Uma a ca o de A, A sobre B, B e um par G, onde G: AB B e :AB
Para um conjunto C qualquer idC : C C denota a identidade em C : idC (c) = c, c C . Fora isso, se : C C e uma aplica ca o, denotaremos por (n) : An An a aplica ca o tal que (n) (c1 , . . . , cn ) = ( (c1 ), . . . , (cn )).
com a A, bi B .
s ao aplica co es tais que preserva tipos e as seguintes condi co es s ao v alidas: Para quaisquer A e B (cujos tipos ser ao n e m, respectivamente) tem-se que G (, ) = () G(n, 1) (idAn , ) = G(1, m) (, idB m ) (2.1)
como aplica co es An B m B . De (2.1) segue que
G (, idB ) = () G(n, 1) (idAn , idB ) G (idA , ) = G(1, m) (idA , idB m ) .
(2.2) (2.3)
E. 2.1 Exerc cio. Mostre isso. De (2.2) e (2.3) segue que e onde j : A B e k :A B
n m n m m n
G(n, 1) (idAn , ) = G(1, m) (, idB m ) = (A B ) e dada por
G(1, m) () G(n, 1)
(n)
j k ,
(2.4) (2.5)
(m)
j (a1 , . . . , an , b1 , . . . , bm ) := (a1 , b1 , . . . , bm , a2 , b1 , . . . , bm , . . . , an , b1 , . . . , bm ) (An B )m e dada por k (a1 , . . . , an , b1 , . . . , bm ) := (a1 , . . . , an , b1 , a1 , . . . , an , b2 , . . . , a1 , . . . , an , bm ) .

9 John
Napier (Neper ou Nepair) (15501617).
Cap tulo 2
67/1702
E. 2.2 Exerc cio. Mostre isso. Das rela co es (2.4) e (2.5) segue que a condi ca o (2.1) pode ser escrita como G (, ) = () G(1, m)
(n)
j = () G(n, 1)
(m)
k .
(2.6)
Observa ca o. Acima estamos considerando idA , idB , como elementos de A, respectivamente de B, o que sempre pode ser feito sem perda de generalidade.
2.1.2
Reticulados e Algebras Booleanas
Reticulados
Um reticulado10 e uma algebra universal constitu da por um conjunto n ao-vazio C e duas fun co es bin arias denotadas por e (l e-se e e ou, respectivamente), dotadas as seguintes propriedades, v alidas para todos a, b e c C (usaremos a nota ca o mesoxa): 1. Idempot encia: aa = a, 2. Comutatividade: ab = ba , 3. Associatividade: a (b c) = (a b) c . 4. Absorv encia11: a (a b) = a , a (a b) = a . Um reticulado em um conjunto C e dito ser um reticulado sobre C . Vamos a exemplos de reticulados. a (b c) = (a b) c , ab = ba. aa = a.
Exemplo 2.1 Seja C = (B ), para algum conjunto n ao-vazio B e sejam as fun co es bin arias e denidas para todos a, b B , por a b = a b, a b = a b. Exemplo 2.2 Seja C = R e sejam as fun co es bin arias e denidas para todos a, b R, por a b := a b := min{a, b} = max{a, b} = 1 a+b ab 2 1 a+b+ ab 2 , . Exemplo 2.3 Este exemplo generaliza o Exemplo 2.2. Seja X um conjunto n ao-vazio e C = R , o conjunto de todas as fun co es reais denidas em X . Para duas fun co es f, g : X R dena-se duas novas fun co es f g e f g por (f g )(x) (f g )(x)
10 Denominado
:= min{f (x), g (x)} = := max{f (x), g (x)} =
1 f (x) + g (x) f (x) g (x) 2 1 f (x) + g (x) + f (x) g (x) 2
, .
lattice em ingl es e Verband em alem ao. denominada Amalgamento. O estudante deve observar que essa eau nica propriedade das listadas acima que relaciona ambas as opera co es e .
11 Tamb em
Cap tulo 2
68/1702
Exemplo 2.4 Uma outra generaliza ca o do Exemplo 2.2. Seja C um conjunto linearmente ordenado (a deni ca o est a` a p agina 40) e sejam as fun co es bin arias e denidas para todos a, b C , por ab = a, se a b , b, de outra forma , ab = a, se a b , b, de outra forma . E. 2.3 Exerc cio. Mostre que cada um dos exemplos acima comp oe um reticulado. Reticulados e rela co es de ordem
O Exemplo 2.4, acima, mostra-nos que e poss vel constituir um reticulado a partir de uma rela ca o de ordem total. Reciprocamente, e poss vel construir uma rela ca o de ordem parcial a partir de um reticulado. Para tratar disso (e para futura refer encia), enunciemos e provemos o seguinte lema: Lema 2.1 Seja C um conjunto n ao-vazio, o qual constitui um reticulado com duas opera co es bin arias e . Ent ao, dois elementos x, y C satisfazem a igualdade x = x y se e somente se satiszerem tamb em y = x y . Prova. Se x e y C satisfazem x = x y , ent ao segue que x y = (x y ) y = y , sendo que na u ltima igualdade usamos as propriedades de comutatividade e absorv encia. Analogamente, se y = x y , segue que x y = x (x y ) = x, onde novamente usamos as propriedades de comutatividade e absorv encia. Essas observa co es do Lema 2.1, adicionadas ` a inspira c ao do Exemplo 2.4, induzem-nos ` a seguinte deni ca o de uma rela ca o de ordem parcial em C : dizemos que x y se e somente se x = x y ou, equivalentemente, se e somente se y = x y.
Precisamos agora justicar dizer que se trata de uma rela c ao de ordem parcial, provando serem v alidas as propriedades de reexividade, transitividade e anti-simetria listadas ` a p agina 39. Notemos que, pela propriedade de idempot encia, vale x = x x para todo x C e, portanto, x x para todo x C . Essa e a propriedade de reexividade da ordem parcial. Notemos tamb em que se x, y e z C t em as propriedades x = x y e y = y z , segue que x = x y = x (y z ) = (x y ) z = x z , onde usamos a propriedade de associatividade. Logo, provamos que se x y e y z vale x z . Essa e a propriedade de transitividade da ordem parcial. Por m, se x = x y e y = y x, a propriedade de comutatividade diz-nos que x = x y = y . Assim, provamos que se x y e y x vale x = y . Essa e a propriedade de anti-simetria da ordem parcial.
co es de ordem que adv em dos Exemplos 2.1 e 2.3 e constate que s ao rela co es de ordem E. 2.4 Exerc cio. Estude as rela parciais, n ao totais (exceto no caso em que C tem apenas um elemento). Reticulados limitados superiormente. Reticulados limitados inferiormente
Um reticulado C e dito ser limitado superiormente se tiver um m aximo, ou seja, se existir C tal que x todo x C , o que equivale a dizer que x = x para todo x C .
para x para
Um reticulado C e dito ser limitado inferiormente se tiver um m aximo, ou seja, se existir C tal que todo x C , o que equivale a dizer que x = x para todo x C .
Essas deni co es coincidem, como veremos, com as deni c oes de unidade e elemento nulo de um reticulado que apresentaremos adiante. Unidade e elemento nulo de um reticulado
Caso um reticulado C possua um elemento e tal que x e = x para todo x C o elemento e e dito ser uma identidade ou unidade do reticulado, e e freq uentemente denotado pelo s mbolo 1. Pelo Lema 2.1, a rela ca o x 1 = x e v alida se e somente se 1 = x 1.
Caso um reticulado C possua um elemento z tal que x z = x para todo x C o elemento z e dito ser um elemento nulo do reticulado, e e freq uentemente denotado pelo s mbolo 0. Pelo Lema 2.1, a rela ca o x 0 = x e v alida se e somente se 0 = x 0.
Cap tulo 2
69/1702
Assim, se existirem unidade e elemento nulo teremos x = x 1 , para todo x C . 1 = x1, x = x0 e 0 = x0 (2.7)
A unidade e o elemento nulo, se existirem, s ao u nicos. Se fato, se 1 e 1 s ao unidades de um reticulado C ent ao, por deni ca o, 1 1 = 1, mas tamb em 1 1 = 1 , provando (pela comutatividade) que 1 = 1 . Analogamente, se 0 e 0 s ao elementos nulos de um reticulado C ent ao, tamb em por deni ca o, 0 0 = 0, mas tamb em 0 0 = 0 , provando (pela comutatividade) que 0 = 0 . Como dissemos acima, podemos associar naturalmente uma rela ca o de ordem parcial a um reticulado dizendo que x y se e somente se x = x y ou, equivalentemente, se y = y x. Se C possui uma unidade 1 teremos x 1 para todo x C , pois x = x 1. Analogamente, se Se C possui um elemento nulo 0 teremos 0 x para todo x C , pois x = x 0. Vemos com isso que 1 e o m aximo e 0 o m nimo do reticulado (se existirem). Reticulados limitados
Um reticulado que for limitado superiormente e inferiormente e dito ser um reticulado limitado. Assim, um reticulado e limitado se possuir uma unidade e um elemento nulo (ou seja, um m aximo e um m nimo). Em um reticulado limitado C vale 0 x 1 para todo x C . Se em um reticulado C tivermos 0 = 1, valer a, portanto, x = 0 = 1 para todo x C , ou seja, C possui um u nico elemento. Um tal caso e totalmente trivial, de forma que sempre consideraremos 0 = 1. Reticulados completos
Um reticulado e dito ser um reticulado completo se todo seu subconjunto n ao-vazio possuir um supremo e um nmo (em rela ca o ` a rela ca o de ordem parcial ). Para as deni co es de supremo e nmo, vide p agina 43 e seguintes. Naturalmente, reticulados completos devem ser limitados. A cole ca o de todas as topologias denidas em um conjunto n ao-vazio constitui um reticulado completo. Vide Exerc cio E. 23.20, p agina 1065. Elementos complementares
Seja C um reticulado limitado (ou seja, que possui uma unidade e um elemento nulo). Dizemos que dois elementos x, y C s ao complementares se xy = 0 e xy = 1. Em um tal caso dizemos que x e complementar a y e vice-versa. Elementos complementares n ao s ao necessariamente u nicos, ou seja, se y e complementar a x pode haver y = y que tamb em e complementar a x. Como veremos, uma condi ca o suciente para garantir a unicidade (n ao a exist encia!) do complementar de um elemento x e a propriedade distributiva. Pela deni ca o de unidade e de elemento nulo, valem 0 = 0 1 e 1 = 1 0. Essas rela co es est ao dizendo que 0 e 1 s ao elementos complementares. Reticulados complementados Reticulados distributivos
Um reticulado no qual todo elemento possui ao menos um complementar e dito ser um reticulados complementado.
Um reticulado sobre um conjunto C e dito ser um reticulado distributivo se as opera co es e forem distributivas uma em rela ca o ` a outra, ou seja, se forem satisfeitas as propriedades a (b c) = (a b) (a c) e a (b c) = (a b) (a c) . para todos a, b e c C .
Cap tulo 2
70/1702
ao distributivos? Quais n ao s ao? E. 2.5 Exerc cio. Nos Exemplos 2.12.4, acima, quais reticulados s Reticulados limitados e distributivos
Em um reticulado distributivo e limitado C , o complementar de um elemento x C , se existir, eu nico. De fato, se y e y C s ao complementares a x, teremos 0 = x y = x y e 1 = x y = x y . Agora, y = y 1 = y (x y ) e, analogamente, y = y 1 = y (x y ) provando que y = y y = y .
distrib. distrib.
(y x) (y y ) = 0 (y y ) = y y
(y x) (y y ) = 0 (y y ) = y y ,
Se x e o complementar de x, e evidente que x tem um complementar, a saber, x. Logo, (x) = x sempre que x importante notar tamb existir. E em que, pelo comentado acima, valem 0 = 1 e 1 = 0. Reticulados limitados, complementados e distributivos
Em um reticulado distributivo e limitado, o complementar ( unico!) de um elemento x C , se existir, e denotado pelo s mbolo x, pelo s mbolo x ou ainda pelo s mbolo xc .
Se al em de distributivo e limitado o reticulado for tamb em complementado haver a um complementar u nico para cada elemento de C e, portanto, haver a uma fun ca o un aria : C C que a cada x C associa o seu complementar x. Como vimos, vale nesse caso (x) = x para todo x C , assim como valem as rela co es 0 = 1 e 1 = 0. Um reticulado limitado, complementado e distributivo e dito ser uma a lgebra Booleana. Algebras Booleanas
Uma a lgebra Booleana12 e uma algebra universal formada por um conjunto B e por uma fam lia F de cinco fun co es nit arias: duas bin arias, denotadas por e , uma fun ca o un aria, denotada por ou pelo s mbolo , e denominada nega ca o ou complemento, e duas fun co es 0- arias, denotadas genericamente por 0 e 1 (denominadas, obviamente, zero e um), as quais representam elementos xos distintos de B . As fun co es acima s ao supostas satisfazer aos seguintes requisitos: 1. B , e formam um reticulado distributivo. 2. Para todo a B vale que 1 a = a e que 0 a = a. 3. Para todo a B vale que a (a) = 0 e que a (a) = 1. Por vezes, denota-se a por a ou por ac . Tal uso e comum em opera co es envolvendo conjuntos. Novamente, tem-se pelas deni co es que 0 = 1, 1 = 0 e (a) = a para todo a B . Regras de De Morgan Em uma algebra Booleana B valem para todos a, b B as importantes rela co es (a b) = (a) (b) e (a b) = (a) (b) , (2.8)
as quais s ao conhecidas como regras de De Morgan13 . A segunda rela ca o em (2.8) e decorr encia da primeira, como se v e trocando a a e b b. Por isso, basta provar a primeira, o que signica provar que (a) (b) (a b) = 0
12 George 13 Augustus
(a) (b) (a b) = 1 .
(2.9)
Boole (18151864). De Morgan (18061871).
Cap tulo 2
71/1702
Ambas decorrem da comutatividade, da associatividade, da distributividade e das rela co es (2.7). Para provar a primeira rela ca o em (2.9), temos (a) (b) (a b)
associat.
(a) (b) a b (a) a (b) a 0 (b) a (b) a b b

comutat.
distribut.
=
(2.7)
b (b) a
(2.7)
associat.
b (b) a = 0 a
= 0.
Para provar a segunda rela ca o em (2.9), temos (a) (b) (a b)

associatt.
(a) (b) (a b) (a) (a) (b) a (b) b (b) a 1

comutat.
distribut.
=
(2.7)
(a) (b) a
(a) a (b)
(2.7)
associatt.
(a) a (b) = 1 (b)
= 1.
Exemplo 2.5 Seja A um conjunto n ao-vazio e tomemos B = (A). Para a, b (A) denamos a b = a b, a b = a b, a = a = A \ a, 0 = , 1 = A. Exemplo 2.6 A menor algebra Booleana, e talvez uma das mais importantes em aplica co es, e composta por dois elementos distintos, denotados por 0 e 1: B = {0, 1} e as opera co es , e s ao dadas por 00 = 0, 01 = 0, 10 = 0, 11 = 1, 00 = 0, 01 = 1, 10 = 1, 11 = 1, e por 0 = 1 e 1 = 0. Exemplo 2.7 B = [0, 1] R, as opera co es , s ao dadas como no Exemplo 2.2, p agina 67: a b := min{a, b} e a b := max{a, b} para todos a, b [0, 1] e a opera ca o e dada por a = 1 a para todo a [0, 1]. Naturalmente, o elemento nulo eo n umero 0 e a unidade e o n umero 1. Exemplo 2.8 O mesmo que o anterior, mas tomando B como sendo qualquer subconjunto de [0, 1] que contenha 0 e 1. Exemplo 2.9 Seja X um conjunto n ao-vazio e seja I qualquer subconjunto de [0, 1] que contenha 0 e 1. Seja B = I X , a cole ca o de todas as fun co es de X em I . Como no Exemplo 2.3, p agina 67, dena-se para cada x X (f g )(x) = min{f (x), g (x)} e (f g )(x) = max{f (x), g (x)} e dena-se (f )(x) = 1 f (x). Tome-se o elemento nulo como sendo a fun ca o identicamente nula e a unidade como sendo a fun ca o identicamente igual a 1.
Exemplos b asicos de algebras Booleanas
Cap tulo 2
72/1702
algebras Booleanas. E. 2.6 Exerc cio. Mostre que os sistemas denidos nos exemplos acima formam * ** * A relev ancia das algebras Booleanas est a em capturarem algebricamente as opera co es mais importantes da teoria dos conjuntos (como as de uni ao, intersec ca o e complemento, conjunto vazio) e as da l ogica (e, ou, nega ca o, verdadeiro, falso). Os dois primeiros exemplos acima atestam essa concep ca o. Algebras Booleanas s ao de f acil implementa ca o em Eletr onica e de amplo uso em processamento digital.
2.1.3
Semi-Grupos, Mon oides e Grupos
Nesta se ca o introduziremos algumas no co es alg ebricas de grande import ancia. Quase-grupos e loops
Um quase-grupo e um conjunto Q, dotado de uma opera ca o bin aria Q Q Q, denotada por , tal que para todo par a e b Q existem x e y Q, u nicos, satisfazendo x a = b e a y = b. Em palavras, um quase-grupo e uma estrutura onde a divis ao, ` a esquerda e ` a direita, e sempre poss vel. Um loop L e um quase-grupo com elemento neutro, ou seja, e um quase-grupo no qual existe um elemento e, denominado identidade, tal que a e = e a = a para todo a L. Em um loop, todo elemento possui uma u nica inversa a ` direita e uma u nica inversa a ` esquerda (n ao necessariamente 1 iguais). Ou seja, para cada a L existem um u nico elemento em L que denotamos por a ` l , denominado inverso a 1 1 esquerda de a, tal que a nico elemento em L que denotamos por a ` direita de a, r , denominado inverso a l a = e e um u 1 tal que a a encia e unicidade de tais elementos e conseq u encia da propriedade denidora de quase-grupo. r = e. A exist Semi-grupos Um semi-grupo e um conjunto n ao-vazio S dotado de uma opera ca o bin aria S S S denotada por e denominada produto tal que a seguinte propriedade e satisfeita. 1. Associatividade. Para todos a, b e c S vale (a b) c = a (b c). Mon oides O elemento neutro de um loop e sempre u nico, pois se e e tamb em um elemento neutro, segue que e = e e = e.
Um mon oide e um conjunto n ao-vazio M dotado de uma opera ca o bin aria M M M denotada por e denominada produto tal que as seguintes propriedades s ao satisfeitas. 1. Associatividade. Para todos a, b e c M vale (a b) c = a (b c). 2. Elemento neutro. Existe um ( unico!) elemento e M , denominado elemento neutro, tal que g e = e g = g para todo g M . Observa ca o: A unicidade do elemento neutro e garantida pela observa ca o que se houvesse e M tal que g e = e g = g para todo g M ter amos e = e e = e.
Uma das no co es mais fundamentais de toda a Matem atica e a de grupo. Um grupo e um conjunto n ao-vazio G dotado de uma opera ca o bin aria G G G, denotada por e denominada produto, e de uma opera ca o un aria G G (bijetora) denominada inversa, denotada pelo expoente 1 , tais que as seguintes propriedades s ao satisfeitas. 1. Associatividade. Para todos a, b e c G vale (a b) c = a (b c). 2. Elemento neutro. Existe um ( unico!) elemento e G, denominado elemento neutro, tal que g e = e g = g para todo g G.
Grupos
Cap tulo 2
73/1702
3. Inversa. Para cada g G existe um ( unico!) elemento h G tal que g h = h g = e. Esse elemento e denominado a inversa de g e denotado por g 1 . Observa co es elementares: 1. A unicidade do elemento neutro e garantida pela observa ca o que se houvesse e tal que g e = e g = g para todo g G ter amos e = e e = e. 2. Analogamente se estabelece a unicidade da inversa, pois se g, h G s ao tais que h g = g h = e, teremos, usando a associatividade, g 1 = g 1 e = g 1 (g h) = (g 1 g ) h = e h = h. 3. A fun ca o G g g 1 G, que associa cada elemento de G ` a sua inversa, e um exemplo de uma fun ca o un aria. 4. Como e e = e, segue que e1 = e. 5. Para todo g G vale (g 1 )1 = g pois, usando a associatividade, (g 1 )1 = ( g 1 )1 e = (g 1 )1 (g 1 g ) = ((g 1 )1 g 1 ) g = e g = g . 6. Todo grupo e, trivialmente, um quase-grupo, um loop, um semi-grupo e um mon oide. Um grupo e dito ser comutativo ou Abeliano14 se a b = b a para todos a, b G. Essa nomenclatura se aplica tamb em a semi-grupos e mon oides. evidente que todo grupo E e um mon oide e que todo mon oide e um semi-grupo. Existe uma constru ca o can onica devida a Grothendieck, que discutimos ` a p agina 140, que permite construir um grupo Abeliano a partir de um semi-grupo Abeliano dado. Essa constru ca o e importante em v arias areas da Matem atica. O leitor interessado poder a passar sem perda ` a discuss ao da p agina 140. Exemplos simples 1. O conjunto S = {1, 2, 3, . . .} e um semi-grupo em rela ca o ` a opera ca o de soma usual. O conjunto M = {0, 1, 2, 3, . . .} e um mon oide em rela ca o ` a opera ca o de soma usual, sendo o elemento neutro e = 0. O conjunto G = Z = {. . . , 2, 1, 0, 1, 2, . . .} e um grupo em rela ca o ` a opera ca o de soma usual, sendo o elemento neutro e = 0 e a inversa n1 = n. 2. R dotado da opera ca o de multiplica ca o usual e um mon oide onde o elemento neutro e o n umero 1. N ao e um grupo, pois 0 n ao tem inversa multiplicativa. 3. O conjunto {x R, x > 0} e um semi-grupo Abeliano em rela ca o ` a opera ca o de soma, mas n ao e um mon oide. 4. O conjunto R+ = {x R, x 0} e um mon oide Abeliano em rela ca o ` a opera ca o de soma mas n ao um grupo. 5. O conjunto dos n umeros inteiros Z e um grupo Abeliano em rela ca o ` a opera ca o usual de soma de n umeros inteiros. Esse grupo e comummente denotado por (Z, +), para lembrar o conjunto considerado (no caso, Z) e a opera ca o considerada nesse conjunto (no caso, +) . 6. O conjunto dos n umeros racionais Q e um grupo Abeliano em rela ca o ` a opera ca o usual de soma de n umeros racionais. Esse grupo e comummente denotado por (Q, +). 7. O conjunto Q \ {0} = {r Q, r = 0} e um grupo Abeliano em rela ca o ` a opera ca o usual de produto de n umeros racionais. Esse grupo e comummente denotado por (Q, ). umeros reais. Esse 8. O conjunto dos n umeros reais R e um grupo Abeliano em rela ca o ` a opera ca o usual de soma de n grupo e comummente denotado por (R, +). 9. O conjunto dos n umeros complexos C e um grupo Abeliano em rela ca o ` a opera ca o usual de soma de n umeros complexos. Esse grupo e comummente denotado por (C, +).
14 Niels
Henrik Abel (18021829).
Cap tulo 2
74/1702
umeros 10. O conjunto R \ {0} = {x R, x = 0} e um grupo Abeliano em rela ca o ` a opera ca o usual de produto de n reais. Esse grupo e comummente denotado por (R, ). 11. O conjunto C \ {0} = {z C, z = 0} e um grupo Abeliano em rela ca o ` a opera ca o usual de produto de n umeros complexos. Esse grupo e comummente denotado por (C, ). 12. Mat(C, n), o conjunto das matrizes complexas n n com o produto usual de matrizes e apenas um mon oide. 13. Mat(C, n), o conjunto das matrizes complexas n n e um grupo em rela ca o ` a opera ca o de soma de matrizes. 14. O conjunto GL(R, n) de todas as matrizes reais n n com determinante n ao-nulo (e, portanto, invers veis) e um grupo em rela ca o ` a opera ca o de produto usual de matrizes. GL(R, n) e n ao-Abeliano se n > 1. 15. O conjunto GL(C, n) de todas as matrizes complexas n n com determinante n ao-nulo (e, portanto, invers veis) e um grupo em rela ca o ` a opera ca o de produto usual de matrizes. GL(C, n) e n ao-Abeliano se n > 1. 16. O conjunto GL(Q, n) de todas as matrizes racionais n n com determinante n ao-nulo (e, portanto, invers veis) e um grupo n ao-Abeliano (se n > 1) em rela ca o ` a opera ca o de produto usual de matrizes. O conjunto GL(Z, n) de todas as matrizes inteiras n n com determinante n ao-nulo (e, portanto, invers veis) e um mon oide n ao-Abeliano (se n > 1) em rela ca o ` a opera ca o de produto usual de matrizes. N ao e um grupo pois a inversa de uma matriz invers vel com entradas inteiras n ao e sempre uma matriz com entradas inteiras. 17. O conjunto SL(C, n) de todas as matrizes complexas n n com determinante igual a 1 (e, portanto, invers veis) e um grupo n ao-Abeliano (se n > 1) em rela ca o ` a opera ca o de produto usual de matrizes. O mesmo e verdadeiro para SL(R, n), SL(Q, n) e SL(Z, n), as matrizes reais, racionais ou inteiras, respectivamente, com determinante igual a 1. 18. O conjunto de todas as matrizes complexas nn cujo determinante t em m odulo igual a 1: {A Mat (C, n)| | det(A)| = 1}. e um grupo n ao-Abeliano (se n > 1) em rela ca o ` a opera ca o de produto usual de matrizes.
e um grupo Abeliano em rela ca o ` a opera ca o de diferen ca sim etrica 19. Seja X um conjunto n ao-vazio. Ent ao (X ) AB , A, B X , denida em (1.2), p agina 27. De fato, o Exerc cio E. 1.2, p agina 27, garante associatividade e comutatividade, o elemento neutro e o conjunto vazio e para todo A (X ) tem-se A1 = A. Verique! 20. Outro exemplo importante e o seguinte. Seja C um conjunto n ao-vazio e tomemos S = C C , o conjunto de todas as fun co es de C em C . Ent ao, S e um mon oide com o produto formado pela composi ca o de fun co es: f g , e onde o elemento neutro e a fun ca o identidade id(s) = s, s C . O subconjunto de C C formado pelas fun co es bijetoras de C em C e um grupo n ao-Abeliano, onde o produto e a composi ca o de fun co es, o elemento neutro e a fun ca o identidade e o elemento inverso de uma fun ca o f : C C e a fun ca o inversa f 1 . Esse grupo e denominado grupo de permuta co es do conjunto C e denotado por P erm(C ). uvida, prove todas as arma co es acima. E. 2.7 Exerc cio. Em caso de d Subgrupos
Seja G um grupo em rela ca o a uma opera ca o e cujo elemento neutro seja e. Um subconjunto H de G e dito ser um subgrupo de G se for tamb em por si s o um grupo em rela ca o ` a mesma opera ca o, ou seja, se 1. e H , 2. h1 h2 H para todos h1 H e h2 H , 3. h1 H para todo h H .
Todo grupo G sempre possui pelo menos dois subgrupos: o pr oprio G e o conjunto {e} formado apenas pelo elemento neutro de G. f f E acil vericar que (Z, +) e (Q, +) s ao subgrupos de (R, +). E acil ver que SL(R, n), o conjunto de todas as matrizes reais n n com determinante igual a 1, e um subgrupo de GL(R, n). Idem para SL(C, n) em rela ca o a GL(C, n).
Cap tulo 2
75/1702
Os grupos Zn
O bem conhecido algoritmo de Euclides arma que, dado n N, ent ao todo n umero inteiro z pode ser escrito de maneira u nica na forma z = qn + r, onde q Z e r {0, 1, . . . , n 1}. O n umero r e denominado resto da divis ao de z por n e e tamb em denotado por r = z mod n.
Seja n um inteiro positivo maior ou igual a 2 e seja o conjunto {0, 1, . . . , n 1}. Vamos denir uma opera ca o bin aria em {0, 1, . . . , n 1}, denominada soma e denotada pelo s mbolo +, da seguinte forma: + = [ + ] mod n para todos , {0, 1, . . . , n 1}. Acima [ + ] representa a soma usual de n umeros inteiros em Z. E. 2.8 Exerc cio. Prove que a opera c ao de soma denida acima e uma opera c ao bin aria de {0, 1, . . . , n 1} e mostre que a mesma e associativa, comutativa e tem 0 como elemento neutro. E. 2.9 Exerc cio. Para cada a {0, 1, . . . , n 1}, dena a1 = (n a) mod n. Mostre que a1 {0, 1, . . . , n 1} e 1 que a + a = 0. Os dois exerc cios acima provam que {0, 1, . . . , n 1} e um grupo Abeliano em rela ca o ` a opera ca o de soma denida acima. Esse grupo e denominado grupo Zn , ou Z(n). R+ estendido
O conjunto R+ = {x R, x 0} e um mon oide Abeliano em rela ca o ` a opera ca o de soma e em rela ca o ` a opera ca o de produto e vale ainda a propriedade distributiva a(b + c) = ab + ac. Sabidamente, R+ e tamb em um conjunto linearmente ordenado pela rela ca o de ordem usual. Vamos abaixo descrever um outro conjunto linearmente ordenado que cont em R + e e tamb em um mon oide Abeliano em rela ca o ` a opera ca o de soma e em rela ca o ` a opera c ao de produto e vale ainda a propriedade distributiva. Denimos um conjunto, que denotaremos por R+ , juntando a R+ um conjunto formado por um elemento, elemento esse que denotaremos provisoriamente por , com R+ , para o qual certas rela co es alg ebricas ser ao denidas. Seja R+ = R+ { } e denimos as opera co es de soma e produto em R+ da seguinte forma: se a e b s ao elementos de R+ suas soma a + b e seu produto ab s ao denidos como usualmente. Fora isso, valem 1. a + = + a = , para todo a R+ . 2. + = . 3. a = a = , para todo a R+ , a = 0. 4. 0 = 0 = 0. 5. = . E. 2.10 Exerc cio. Verique que R+ e um mon oide Abeliano em rela c ao ` a opera c ao de soma e em rela c ao ` a opera c ao de produto denidas acima e que vale ainda a propriedade distributiva. R+ e linearmente ordenado tomando-se em R+ a rela ca o de ordem usual e xando-se a < para todo a R+ . bastante claro que na deni E ca o abstrata acima o objeto representado pelo s mbolo desempenha o papel formalmente desempenhado por um n umero innito positivo. A constru ca o das rela co es alg ebricas acima prescinde, por em, dessa no ca o, pois pode ser qualquer objeto (fora de R+ ). Com um certo abuso de linguagem, e costume, substituir o s mbolo pelo s mbolo , dando a entender que comum tamb representa algo como um n umero innito positivo. E em denotar-se R+ = [0, ]. c ao acima para o conjunto R de todos os E. 2.11 Exerc cio. Que problemas surgem quando se tenta estender a constru reais?
Cap tulo 2
76/1702
2.1.4
Corpos
Um corpo15 e um conjunto n ao-vazio K dotado de duas opera co es bin arias, denotadas por + e , denominadas soma e produto, respectivamente, satisfazendo o seguinte : 1. A opera ca o de soma tem as seguintes propriedades: (a) Comutatividade: para todos , K vale + = + .
(b) Associatividade: para todos , , K vale + ( + ) = ( + ) + .
(d) Inversa: para cada K existe um elemento denotado por , u nico, com a propriedade + = 0. Esse elemento e mais comummente denotado por . 2. A opera ca o de produto tem as seguintes propriedades: (a) Comutatividade: para todos , K vale = .
(c) Elemento neutro: existe um elemento 0 K, chamado de elemento nulo, ou zero, tal que + 0 = para todo K.
(b) Associatividade: para todos , , K vale ( ) = ( ) .
(d) Inversa: para cada K, = 0, existe um u nico elemento denotado por com a propriedade = 1. Esse elemento e mais comummente denotado por 1 . 3. Distributividade: o produto e distributivo em rela ca o ` a adi ca o: para todos , , K vale ( + ) = + . Alguns autores consideram conveniente incluir tamb em a hip otese de que o elemento neutro e o elemento nulo s ao distintos, 1 = 0, pois doutra forma ter amos K = {0} (justique!), uma situa ca o um tanto trivial.
(c) Elemento neutro: existe um elemento 1 K, chamado de unidade, tal que 1 = para todo K.
Note-se que corpos s ao grupos comutativos em rela ca o ` a opera ca o de soma e mon oides comutativos em rela ca o ` a opera ca o de produto. Pelo que comentamos anteriormente, isso garante a unicidade do elemento nulo e da unidade de um corpo. A distributividade eau nica propriedade listada acima que relaciona as opera co es de soma e produto.
Os elementos de um corpo s ao por vezes denominados escalares. Por motivos estruturais e importante frisar que um corpo depende em sua deni ca o do conjunto K e das opera co es bin arias + e nele denidas e muitas vezes nos freq referiremos a um corpo como sendo uma tripla (K, +, ). E uente omitir-se o s mbolo de produto por escalares quando nenhuma confus ao e poss vel. Em um corpo K sempre vale que 0 = 0 para todo K. De fato, como 0 = 0 + 0, segue que 0 = (0 + 0) = 0 + 0 . Somando-se a ambos os lados o elemento inverso 0 teremos 0 + ( 0) = 0 + 0 + ( 0) , ou seja, 0 = 0+0 = 0 , como quer amos provar. Pela comutatividade do produto vale tamb em 0 = 0 para todo K. f E acil vericar que Q, R e C s ao corpos em rela ca o ` as opera co es usuais de soma e produto. Esses s ao os exemplos que inspiraram a deni ca o. Outros exemplos ser ao discutidos logo abaixo. O conjunto das matrizes n n para qualquer n 2 com o produto usual de matrizes n ao e um corpo pois, entre outras raz oes, o produto n ao e comutativo. Os corpos Q( p), com p primo E. 2.12 Exerc cio. Mostre que umeros reais da forma a + b 2, com a e b racionais, e um corpo. o conjunto de todos os n Esse corpo e denotado por Q( 2).
15 Em
ingl es a palavra empregada e eld. A express ao em portugu es provavelmente provem do franc es corp ou do alem ao K orper.
Cap tulo 2
77/1702
Generalizando o exerc cio anterior, seja p um n umero primo. Mostre que o conjunto de todos os E. 2.13 Exerc cio. n umeros reais da forma a + b p, com a e b racionais, e um corpo. Esse corpo e denotado por Q( p). umeros reais da forma a + b 2 com a e b inteiros n ao e um corpo. E. 2.14 Exerc cio. Mostre que o conjunto de todos os n
Os corpos Zp , com p primo Como observamos ` a p agina 75, os conjuntos Zn = {0, 1, . . . , n 1}, com n N, n 2, s ao grupos Abelianos com a soma denida por + = [ + ] mod n , para , Zn , onde [ + ] denota a soma usual em Z. Podemos tamb em considerar em Zn uma opera ca o de produto, denida por, = [ ] mod n , onde [ ] denota o produto usual em Z. Temos o seguinte teorema: Teorema 2.1 O conjunto Zn e um corpo com as opera co es acima denidas se e somente se n for um n umero primo. Prova. As opera co es de soma e produto denidas acima s ao comutativas, associativas e distributivas (justique!). Fora isso sempre vale que = n para todo Zn . Resta-nos estudar a exist encia de elementos inversos 1 . Vamos supor que Zn seja um corpo. Ent ao, a {2, . . . , n 1} tem uma inversa em Zn , ou seja, um n umero b {1, . . . , n 1} tal que a b = 1. Lembrando a deni ca o de produto em Zn , isso signica que existe um inteiro r tal que ab = rn + 1. Mas isso implica n 1 . = r b a a Como o lado esquerdo n ao e um n umero inteiro, o lado direito tamb em n ao pode ser. Isso diz ent ao que n/a n ao pode ser inteiro para nenhum a {2, . . . , n 1}, ou seja, n n ao tem divisores e e, portanto, um primo. Resta-nos mostrar que Zp e efetivamente um corpo quando p e primo, o que agora se reduz a mostrar que para todo a Zp existe um elemento inverso. Para apresentar a demonstra ca o, recordemos tr es conceitos da teoria de n umeros. 1. Sejam dois n umeros inteiros f e g , dizemos que f divide g se g/f Z. Se f divide g , denotamos esse fato por f |g . 2. Sejam dois n umeros inteiros f e g . O m aximo divisor comum de f e g , denotado mdc(f, g ) e o maior inteiro m tal que m|f e m|g . 3. Dois n umeros inteiros f e g s ao ditos ser primos entre si se mdc(f, g ) = 1. A demonstra ca o da exist encia de inverso em Zp ser a apresentada em partes. Vamos primeiro demonstrar a seguinte armativa. Lema 2.2 Se f e g s ao dois n umeros inteiros quaisquer ent ao existem inteiros k e l tais que mdc(f, g ) = k f + l g .
Prova. Seja m = mdc(f, g ). Seja M o conjunto de todos os n umeros positivos que sejam da forma kf + lg com k e l inteiros. Seja m o menor elemento de M . Note que como os elementos de M s ao positivos, esse menor elemento existe. Claramente m = k f + l g (2.10) para algum k e l . Como, por deni ca o, m|f e m|g , segue que m|m , o que s o e poss vel se m m. (2.11) Vamos agora demonstrar por contradi ca o que m |f . Se isso n ao fosse verdade, existiriam (pelo algoritmo de Euclides) inteiros e com 0 < < m (2.12)
Cap tulo 2
78/1702
tal que f = m + . Usando (2.10) isso diz que Mas, como > 0 isso diz que M . Logo, m , contradizendo (2.12). Logo m |f . De maneira totalmente an aloga prova-se que m |g . Portanto m mdc(f, g ) = m. Lembrando que hav amos provado (2.11), segue que m = m e, portanto m = k f + l g , demonstrando o Lema. Corol ario 2.1 Se f e g s ao dois n umeros inteiros primos entre si ent ao existem inteiros k e l tais que 1 = k f + l g . = f (k f + l g ) = (1 k )f + (l )g .
Prova. Pela deni ca o, como f e g s ao dois n umeros inteiros primos entre si segue que mdc(f, g ) = 1. Para nalmente demonstrarmos a exist encia de inverso em Zp , com p primo, seja a {1, . . . , p 1}. E obvio que a e p s ao primos entre si (por que?). Assim, pelo corol ario, existem inteiros r e s com 1 = sa rp . Isso diz que sa = rp + 1. Logo, denindo b Zp como sendo b = s mod p teremos ba = (s mod p)a = (rp + 1) mod p = 1 , ou seja, b = a1 , completando a demonstra ca o. E. 2.15 Exerc cio. Considere o conjunto Z4 . Constate que nele produto do elemento 2 consigo mesmo resulta no elemento nulo. Conclua disso que 2 n ao pode possuir inversa multiplicativa e constate que tal e realmente o caso. Isomorsmos entre corpos
Dois corpos K1 e K2 s ao ditos isomorfos se existir uma aplica ca o bijetora : K1 K2 que preserve as opera co es alg ebricas de K1 e K2 , ou seja, tal que (a + b) = (a) + (b) , (ab) = (a)(b) , (1K1 ) = 1K2 e (0K1 ) = 0K2 .
elementar constatar que ao a unidade e o elemento nulo, respectivamente, de Kj , j = 1, 2. E Acima, 1Kj e 0Kj s 1 1 (a) = (a) para todo a K1 e que (a ) = (a) para todo a K1 , a = 0K1 .
b E. 2.16 Exerc cio. Considere o conjunto de todas as matrizes reais da forma a b a , com a, b R. Mostre que esse conjunto e um corpo em rela c ao ` as opera co es usuais de soma e produto de matrizes. Mostre que esse corpo e isomorfo ao b corpo C pelo isomorsmo (a + bi) := a para todos a, b R . b a
O leitor que apreciou o Exerc cio E. 2.16 e estimulado a posteriormente estudar a no ca o de quat ernios, apresentada neste texto na Se ca o 2.6.3, p agina 143, pois aquela no ca o generaliza de diversas formas o conte udo do exerc cio. Caracter stica de um corpo
Seja K um corpo e 1 sua unidade. Para um n umero natural n denimos n 1 := 1 + + 1. n vezes Dene-se a caracter stica de K como sendo o menor n umero natural n ao-nulo n tal que n 1 = 0. Se um tal n umero n ao existir, diz-se que o corpo tem caracter stica zero. Exemplos. Q, R, C, Q( 2) t em caracter stica zero. Zp , p primo, tem caracter stica p. Mostre isso.
Cap tulo 2
79/1702
stica de um corpo e ou igual a zero ou e um n umero primo. Sugest ao: Mostre E. 2.17 Exerc cio. Mostre que a caracter primeiro que (nm) 1 = (n 1)(m 1) para quaisquer n umeros naturais n e m. Use ent ao o fato que todo natural pode ser decomposto em um produto de fatores primos e use o fato que, em um corpo, se ab = 0 ent ao ou a ou b ou ambos s ao zero (ou seja, todo corpo e um anel de integridade: n ao tem divisores de zero).
2.1.5
Espa cos Vetoriais
Um espa co vetorial V sobre um corpo K e um conjunto de elementos chamados vetores dotado de uma opera ca o +: V V V denominada soma vetorial e tamb em de um produto por escalares : K V V com as seguintes propriedades: 1. A cada par u, v V de vetores e associado um elemento u + v V , denominado soma de u e v , com as seguintes propriedades: (a) A soma e comutativa: u + v = v + u para todos u, v V .
(b) A soma e associativa: u + (v + w) = (u + v ) + w para todos u, v, w V .
(d) A cada u V existe associado um u nico vetor denotado por u tal que u + (u) = 0.
(c) Existe um u nico vetor denotado por 0, denominado vetor nulo, tal que u + 0 = u para todo u V .
2. A cada par K, u V existe associado um vetor denotado por u V , denominado produto de u por , de forma que (a) O produto por escalares e associativo: ( u) = ( ) u, para todos , K e u V , onde e o produto de por em K. (b) 1 u = u para todo u V , onde 1 e a unidade de K. (c) O produto por escalares e distributivo em rela ca o ` a soma de vetores: (u + v ) = u + v , para todo K e todos u, v V .
(d) O produto por escalares e distributivo em rela ca o ` a soma de escalares: ( + ) u = u + u, para todos , K e todo u V . Note-se que espa cos vetoriais s ao grupos comutativos em rela ca o ` a opera ca o de soma, fato que, como comentamos anteriormente, garante a unicidade do vetor nulo. Os elementos de um corpo sobre os quais um espa co vetorial se constitui s ao freq uentemente denominados escalares. freq de se notar tamb E uente omitir-se o s mbolo de produto por escalares quando nenhuma confus ao e poss vel. E em que emprega-se o s mbolo + tanto para a opera ca o de adi ca o do corpo K quanto para a opera ca o de adi ca o do espa co vetorial V , ainda que se trate de opera co es distintas. Igualmente usamos o mesmo s mbolo 0 para designar o vetor nulo de V e o elemento nulo de K. Raramente esses usos s ao fonte de confus ao. E. 2.18 Exerc cio. Mostre, usando os postulados acima, que 0 u = 0 para todo u V , onde, permitindo-nos um certo abuso de linguagem, o 0 do lado esquerdo representa o zero do corpo K e o do lado direito o vetor nulo de V . Em seguida, prove que para todo K e todo u V vale () u = ( u), sendo que denota a inversa aditiva de em K e ( u) denota a inversa aditiva de u em V . Alguns exemplos elementares de espa cos vetoriais
Ao estudante iniciante sugerimos provar com detalhe as arma co es feitas sobre os exemplos que seguem.
1. Se K e um corpo, ent ao K e um espa co vetorial sobre K com as mesmas opera co es de soma e produto denidas em K. 2. Se K e um corpo e e um subcorpo de K (ou seja, um subconjunto de K que e por si s o um corpo com as opera co es denidas em K), ent ao K e um espa co vetorial sobre . Por exemplo, R e um espa co vetorial sobre Q (esse espa co e curioso, por ser um espa co de dimens ao innita. Vide Se ca o 2.3.1, p agina 109 e seguintes).
Cap tulo 2
80/1702
3. Se K e um corpo, o produto Cartesiano Kn = {(k1 , . . . , kn ), kj K, j = 1, . . . , n} e um espa co vetorial sobre K com a opera ca o de soma denida por (k1 , . . . , kn ) + (l1 , . . . , ln ) = (k1 + l1 , . . . , kn + ln ) e o produto por escalares por (k1 , . . . , kn ) = (k1 , . . . , kn ) para todo K. O vetor nulo e o vetor (0, . . . , 0). Os tr es exemplos a seguir s ao casos particulares do de acima. 4. O produto Cartesiano Rn = {(x1 , . . . , xn ), xj R, j = 1, . . . , n} e um espa co vetorial sobre R com a opera ca o de soma denida por (x1 , . . . , xn ) + (y1 , . . . , yn ) = (x1 + y1 , . . . , xn + yn ) e o produto por escalares por (x1 , . . . , xn ) = (x1 , . . . , xn ) para todo R. O vetor nulo e o vetor (0, . . . , 0).
5. O produto Cartesiano Cn = {(z1 , . . . , zn ), zj C, j = 1, . . . , n} e um espa co vetorial sobre C (sobre R) com a opera ca o de soma denida por (z1 , . . . , zn ) + (w1 , . . . , wn ) = (z1 + w1 , . . . , zn + wn ) e o produto por escalares por (z1 , . . . , zn ) = (z1 , . . . , zn ) para todo C (para todo R). O vetor nulo e o vetor (0, . . . , 0). 6. Para p primo, o produto Cartesiano (Zp )n = {(z1 , . . . , zn ), zj Zp , j = 1, . . . , n} e um espa co vetorial sobre Zp com a opera ca o de soma denida por (z1 , . . . , zn ) + (w1 , . . . , wn ) = (z1 + w1 , . . . , zn + wn ) e o produto por escalares por (z1 , . . . , zn ) = (z1 , . . . , zn ) para todo Zp . O vetor nulo e o vetor (0, . . . , 0). Note que (Zp )n tem um n umero nito de elementos, a saber pn . 7. Se K e um corpo, o conjunto Mat (K, m, n), de todas as matrizes m n cujos elementos de matriz pertencem a K, e um espa co vetorial sobre K, com a soma sendo a soma usual de matrizes e o produto por escalares sendo o produto usual de matrizes por n umeros escalares. O vetor nulo e a matriz nula. 8. O conjunto Mat (R, m, n), de todas as matrizes reais m n, e um espa co vetorial sobre R, com a soma sendo a soma usual de matrizes e o produto por escalares sendo o produto usual de matrizes por n umeros reais. O vetor nulo e a matriz nula. 9. O conjunto Mat (C, m, n), de todas as matrizes complexas m n, e um espa co vetorial sobre C (sobre R), com a soma sendo a soma usual de matrizes e o produto por escalares sendo o produto usual de matrizes por n umeros complexos (reais). O vetor nulo e a matriz nula. 10. Este exemplo generaliza v arios dos anteriores. Sejam V um espa co vetorial sobre um corpo K e seja C um conjunto n ao-vazio. O conjunto V C de todas as fun co es de C em V e um espa co vetorial sobre K com a soma e o produto por escalares denidos da seguinte forma: se f e g s ao fun co es de C em V dene-se a soma f + g como sendo a fun ca o denida por (f + g )(c) = f (c) + g (c) para todo c C e se K, ent ao f e a fun ca o denida por ( f )(c) = f (c) para todo c C . O vetor nulo e a fun ca o identicamente nula. 11. Este e um exemplo um tanto ex otico, mas que serve para ilustrar que a no ca o de espa co vetorial e menos trivial do
ab que parece. O conjunto V = (0, 1) e um espa co vetorial real com as opera co es de soma a + b = 1a b+2ab , para a todos a, b (0, 1), e com o produto por escalares R dado por a = a +(1a) , para todo a V . O vetor
nulo e 1/2, a inversa aditiva de a V e a = 1 a. E. 2.19 Exerc cio. Verique que o intervalo (0, 1) e, de fato, um espa co vetorial real com as opera co es denidas acima. Este exemplo ser a estudado com mais profundidade e generalizado na Se ca o 2.1.11, p agina 94. Anti-exemplo. Tomemos o conjunto dos reais com a opera ca o de soma usual, um corpo Zp com p primo e o produto Zp R R, x, Zp e x R dada pelo produto usual em R. Essa estrutura n ao forma um espa co vetorial. A regra distributiva ( + ) x = x + x Outros exemplos ser ao de espa cos vetoriais ser ao encontrados nas Se co es que seguem, notadamente quando tratarmos das no co es de soma direta e produto tensorial de espa cos vetoriais. * quase desnecess E ario mencionar o qu ao importantes espa cos vetoriais s ao no contexto da F sica, onde, por em, quase somente espa cos vetoriais sobre o corpo dos reais ou dos complexos ocorrem. n ao e satisfeita para todo , Zp . Acima, x e o produto usual em R.
Cap tulo 2
81/1702
2.1.6
2.1.6.1
An eis, M odulos e Algebras

An eis
Um anel n ao-associativo e um conjunto A dotado de duas opera co es bin arias denotadas por + e e denominadas soma e produto, respectivamente, tais que A e um grupo Abeliano em rela ca o ` a opera ca o de soma e a opera ca o de produto e distributiva em rela ca o ` a soma: para quaisquer a, b e c A valem a (b + c) = a b + a c e (a + b) c = a c + b c. Se 0 e o elemento neutro de um anel n ao-associativo A em rela ca o ` a opera ca o de soma, ent ao a 0 = 0 pois, como 0 = 0 + 0, tem-se pela propriedade distributiva a 0 = a 0 + a 0, que implica 0 = a 0 (a 0) = a 0 + a 0 (a 0) = a 0. Exemplo 2.10 Seja Mat (Z, n) o conjunto das matrizes n n cujos elementos de matriz s ao n umeros inteiros. Para A, b Mat (Z, n) dena o produto [A, B ] = AB BA, denominado comutador de A e B onde AB e o produto usual das matrizes A e B . Ent ao Mat (Z, n) com o produto do comutador e um anel n ao-associativo. Em um anel n ao-associativo, a propriedade de associatividade do produto n ao e requerida. Se ela, por em, for v alida, temos a estrutura de um anel. An eis Como usual, denotamos por a a inversa aditiva do elemento a de um anel n ao-associativo.
An eis n ao-associativos
Um anel e um conjunto A dotado de duas opera co es bin arias denotadas por + e e denominadas soma e produto, respectivamente, tais que A e um grupo Abeliano em rela ca o ` a opera ca o de soma e um semi-grupo em rela ca o ` a opera ca o de produto (ou seja, o produto e associativo). Por m, a opera ca o de produto e distributiva em rela ca o ` a soma: para quaisquer a, b e c A valem a (b + c) = a b + a c e (a + b) c = a c + b c. Se 0 e o elemento neutro de um anel A em rela ca o ` a opera ca o de soma, ent ao a 0 = 0 para todo a A, pois, como 0 = 0 + 0, tem-se pela propriedade distributiva a 0 = a 0 + a 0, que implica 0 = a 0 (a 0) = a 0 + a 0 (a 0) = a 0. Como usual, denotamos por a a inversa aditiva do elemento a de um anel.
Observamos que alguns autores, como Bourbaki, incluem a exist encia de uma unidade (n ao-nula) na deni ca o de anel. Aqui denominaremos an eis com unidade tais an eis. Vide p agina 88.
2.1.6.2
M odulos
Seja A um anel. Um A-m odulo a ` esquerda e um grupo Abeliano M (cujo produto, seguindo a conven ca o, denotaremos por +) dotado de uma fun ca o A M M que a cada par a A, m M associa um elemento de M denotado por a m com as seguintes propriedades: para todos a, b A e todos m, n M 1. a (m + n) = a m + a n, 2. (a + b) m = a m + b m, 3. a (b m) = (ab) m, 4. Se A possuir uma identidade e (i.e., um elemento neutro para o produto), ent a o e m = m. Seja A um anel. Um A-m odulo a ` direita e um grupo Abeliano M dotado de uma fun ca o M A M que a cada par a A, m M associa um elemento de M denotado por m a com as seguintes propriedades: para todos a, b A e todos m, n M 1. (m + n) a = m a + n a, 2. m (a + b) = m a + m b, 3. (m b) a = m (ba),
Cap tulo 2
82/1702
4. Se A possuir uma identidade e, ent a o m e = m. Sejam A e B dois an eis. Um bim odulo em rela ca o a A e B e um grupo Abeliano M dotado de duas fun co es A M M e M B M que a cada a A, b B e m M associam elementos de M denotados por a m e m b, respectivamente, de modo que M seja um A-m odulo ` a esquerda e um B -m odulo ` a direita e de modo que valha 1. a (m b) = (a m) b para todos a A, b B , m M .
2.1.6.3
Algebras
Uma a lgebra e um espa co vetorial V sobre um corpo K dotado de uma opera ca o de produto bin aria dita produto da algebra, de modo que as seguintes propriedades s ao satisfeitas: a. O produto da algebra e distributivo em rela ca o a soma vetorial: para todos a, b e c V valem a (b + c) = a b + a c e (a + b) c = a c + b c .
b. O produto por escalares comuta com o produto da algebra e e distributivo em rela ca o a ele: para todos a, b V e K vale (a b) = (a) b = a (b) . Uma algebra V e dita ser uma a lgebra comutativa ou uma a lgebra Abeliana16 se para todos a, b V tivermos a b = b a. Uma algebra V e dita ser uma a lgebra associativa se para todos a, b e c V tivermos a (b c) = (a b) c . Nota ca o. Se A e uma algebra associativa, podemos sem ambig uidade denotar produtos triplos como a(bc) e (ab)c simplesmente como abc. Devemos dizer que h a muitas algebras importantes encontradas na F sica que n ao s ao nem comutativas nem associativas. Por exemplo, a algebra do produto vetorial em R3 n ao e nem comutativa nem associativa. Os seguintes coment arios s ao u teis: 1. Algebras associativas s ao an eis. Algebras n ao-associativas s ao an eis n ao-associativos. 2. Uma algebra associativa pode n ao ser comutativa, um exemplo sendo as algebras de matrizes complexas n n com n > 1 (vide adiante). 3. Uma algebra comutativa pode n ao ser associativa, um exemplo sendo as algebras de Jordan n ao-associativas (vide p agina 86, adiante). Alguns exemplos elementares de an eis e algebras: 1. O conjunto Mat (C, n) das matrizes complexas n n e uma algebra complexa, associativa e n ao-comutativa (se n > 1) em rela ca o ` a soma e ao produto usuais de matrizes. O conjunto Mat (Z, n) das matrizes inteiras n n e um anel (n ao-comutativo, se n > 1) em rela ca o ` a soma e ao produto usuais de matrizes. 2. O conjunto Mat (Q, n) das matrizes racionais n n e um anel (n ao-comutativo, se n > 1) em rela ca o ` a soma e ao tamb produto usuais de matrizes. E em uma algebra em rela ca o ao corpo dos racionais Q. 3. O conjunto Pol(C) de todos os polin omios em uma vari avel complexa com coecientes complexos e uma algebra complexa, associativa e Abeliana em rela ca o ` a soma e ao produto usuais de polin omios. O conjunto Pol(Z) de todos os polin omios em uma vari avel complexa com coecientes inteiros e um anel Abeliano em rela ca o ` a soma e ao produto usuais de polin omios.
16 Niels
Henrik Abel (18021829).
Cap tulo 2
83/1702
4. O conjunto Pol(Q) de todos os polin omios em uma vari avel complexa com coecientes racionais e um anel Abeliano tamb em rela ca o ` a soma e ao produto usuais de polin omios. E em uma algebra associativa e Abeliana em rela ca o ao corpo dos racionais Q. E. 2.20 Exerc cio. Em caso de d uvida, justique as arma co es de acima. Sub- algebras. Algebras geradas
Se C e um subconjunto de uma algebra A, denominamos a menor sub- algebra de A que cont em C como sendo a sub- algebra gerada por C . A sub- algebra gerada por C ser a composta por todos os elementos de A que possam ser escritos como combina co es lineares nitas de produtos nitos de elementos de C . Se G e um subconjunto de uma algebra A e a sub- algebra gerada por G for a pr opria A, ent ao dizemos que G e um conjunto gerador de A. Se uma algebra A e gerada por um conjunto G A, ent ao todo elemento de A pode ser escrito como uma combina ca o linear nita de produtos nitos de elementos de G.
Se A e uma algebra sobre um corpo K e dotada de um produto dizemos que um subespa co vetorial A0 de A e uma sub- algebra de A se A0 for tamb em uma algebra com o mesmo produto .
No caso de algebras topol ogicas as deni co es acima podem ser modicadas para levar em conta o fato de algebras e sub- algebras serem fechadas (topologicamente) ou n ao. Assim, dizemos que G e um conjunto gerador de uma algebra A se a menor algebra que cont em G for densa em A (na topologia de A). Nesse esp rito, dizemos que se uma algebra A e gerada por um conjunto G A, ent ao todo elemento de A pode ser escrito como limite (na topologia de A) de combina co es lineares nitas de produtos nitos de elementos de G. Constantes de estrutura
Seja A uma algebra de dimens ao nita (enquanto espa co vetorial) e seja B = {b1 , . . . , bn } uma base em A. Ent ao, para cada i, j = 1, . . . , n o produto bi bj poder a ser escrito como uma combina ca o linear de elementos de B :
n
bi bj =
ck ij bk .
k=1
As n3 constantes ck ao denominadas constantes de estrutura da algebra A na base B e elas xam o produto de todos ij s n n ao p q = k=1 k bk , com os elementos de A. De fato, se p, q A s ao da forma p = i=1 i bi e q = i=j j bj , ent n n k k = i=1 i=j i j cij . Por essa raz ao, o conhecimento das constantes de estrutura fornece, em princ pio, informa co es completas sobre algebras de dimens ao nita. E importante enfatizar tamb em que as constantes de estrutura dependem da base escolhida e s ao transformadas por mudan cas de base. E. 2.21 Exerc cio. Obtenha a regra de transforma c ao de constantes de estrutura por mudan cas de base.
2.1.7
Exemplos Especiais de Algebras
Existem in umeras algebras de especial interesse em areas como a F sica, a Teoria de Grupos e a Geometria Diferencial. Listaremos alguns poucos exemplos aqui com os quais lidaremos futuramente.
2.1.7.1
Algebras de Lie
Uma classe especialmente importante de algebras e formada pelas chamadas a lgebras de Lie. Por raz oes hist oricas o produto de dois elementos de uma algebra de Lie e denotado pelo s mbolo [a, b] em lugar de a b, nota ca o que seguiremos aqui. Uma algebra L (sobre um corpo K) e dita ser uma a lgebra de Lie17 se seu produto, al em das propriedades 1 e 2 da p agina 82, satiszer
17 Marius
Sophus Lie (18421899).
Cap tulo 2
84/1702
a. Para todo a L vale [a, a] = 0. b. Identidade de Jacobi18 . Para todos a, b e c L vale [a, [b, c]] + [c, [a, b]] + [b, [c, a]] = 0 . (2.13)
A primeira propriedade tem uma implica ca o importante. Como [a, a] = 0 para todo a L, vale tamb em que [a + b, a + b] = 0 para todos a, b L. Expandindo o lado esquerdo teremos que 0 = [a + b, a + b] = [a, a] + [b, b] + [a, b] + [b, a] = [a, b] + [b, a], ou seja, valer a a importante propriedade de anti-comutatividade: [a, b] = [b, a] para todos a, b L. Reciprocamente, se assumirmos v alida a propriedade de anti-comutatividade ent ao, tomando b = a, a mesma armar a que [a, a] = [a, a] o que implica [a, a] = 0 exceto se o corpo K tiver caracter stica igual a 2.
Assim, para corpos com caracter stica diferente de 2 (como e o caso do corpo dos racionais, dos reais ou dos complexos, que t em caracter stica 0) nossa deni ca o de algebra de Lie, acima, equivale ` a seguinte: L e dita ser uma algebra de Lie se seu produto satiszer: a. Anti-comutatividade. Para todos a, b L vale [a, b] = [b, a]. b. Identidade de Jacobi. Para todos a, b e c L vale [a, [b, c]] + [c, [a, b]] + [b, [c, a]] = 0 . (2.14)
evidente pelas considera E co es acima que uma algebra de Lie L s o pode ser comutativa se seu produto for trivial [a, b] = 0 para todos a, b L, um caso que raramente merece considera ca o especial. Uma algebra de Lie L tamb em n ao pode ter uma unidade, pois se e L fosse uma identidade, ter amos e = [e, e] = 0. Logo, para todo a L valeria tamb em a = [a, e] = [a, 0] = 0, implicando que L possui apenas o vetor nulo, novamente um caso trivial que n ao merece considera ca o. Por m, se uma algebra de Lie L for associativa, ent ao a identidade de Jacobi e a anti-comutatividade implicam [a, [b, c]] = 0 para todos a, b, c L (Prove isso!). Um exemplo de uma algebra de Lie com tal propriedade ea algebra de Heisenberg (vide Se ca o 18.2.2, p agina 850). Note que em tal caso a identidade de Jacobi e trivialmente satisfeita. E. 2.22 Exerc cio. Para algebras de Lie de dimens ao nita escreva a condi c ao de anticomutatividade e a identidade de Jacobi (2.14) em termos das constantes de estrutura. Algebras associativas e algebras de Lie
Seja A uma algebra associativa. Podemos associar a A uma algebra de Lie denindo o produto [a, b] = ab ba, denominado comutador de a e b A. Com essa deni ca o, e claro que [a, a] = 0 para todo a A e a identidade de Jacobi segue do fato que [a, [b, c]] + [c, [a, b]] + [b, [c, a]] = a(bc cb) (bc cb)a + c(ab ba) (ab ba)c + b(ca ac) (ca ac)b = abc acb bca + cba + cab cba abc + bac + bca bac cab + acb = 0, como facilmente se constata. Exemplos b asicos de algebras de Lie
Todos os exemplos aqui exibidos s ao relevantes na teoria dos grupos de Lie.
E. 2.23 Exerc cio. Mostre que R3 dotado do produto vetorial usual e uma algebra de Lie.
18 Carl
Gustav Jacob Jacobi (18041851).
Cap tulo 2
85/1702
e E. 2.24 Exerc cio. Mostre que Mat (R, n) (ou Mat (C, n)), o conjunto de todas as matrizes n n reais (complexas) uma algebra de Lie com rela c ao ao produto [A, B ] = AB BA. E. 2.25 Exerc cio. Mostre que o subconjunto de Mat (R, n) (ou de Mat (C, n)) formado pelas matrizes com tra co nulo e uma algebra de Lie com rela c ao ao produto [A, B ] = AB BA. E. 2.26 Exerc cio. Mostre que o subconjunto de Mat (R, n) (ou de Mat (C, n)) formado pelas matrizes anti-sim etricas, ou seja, tais que AT = A, e uma algebra de Lie com rela c ao ao produto [A, B ] = AB BA. E. 2.27 Exerc cio. Mostre que o subconjunto de Mat (C, n) formado pelas matrizes anti-autoadjuntas, ou seja, tais que A = A, e uma algebra de Lie (sobre o corpo dos reais!) com rela c ao ao produto [A, B ] = AB BA. E. 2.28 Exerc cio. Conclua igualmente que o subconjunto de Mat (C, n) formado pelas matrizes anti-autoadjuntas, ou seja, tais que A = A, e de tra co nulo (Tr(A) = 0) e uma algebra de Lie (sobre o corpo dos reais!) com rela c ao ao produto [A, B ] = AB BA. E. 2.29 Exerc cio. Fixada uma matriz M Mat (R, n), mostre que o subconjunto de Mat (R, n) formado pelas matrizes A com a propriedade AM = M AT e uma algebra de Lie real com rela c ao ao produto [A, B ] = AB BA. E. 2.30 Exerc cio. Fixada uma matriz M Mat (C, n), mostre que o subconjunto de Mat (C, n) formado pelas matrizes A com a propriedade AM = M A e uma algebra de Lie real com rela c ao ao produto [A, B ] = AB BA. Tratemos agora de exibir um exemplo b asico de uma algebra de Lie de dimens ao innita. Colchetes de Poisson
Sejam f (p, q ) e g (p, q ), com f : R2 R e g : R2 R, duas fun co es reais, innitamente diferenci aveis, de duas vari aveis reais p e q . Denimos os colchetes de Poisson19 de f e g , denotados por {f, g }, por {f, g } := f g f g . p q q p
claro que {f, g } E e igualmente uma fun ca o innitamente diferenci avel de p e q .
Os colchetes de Poisson satisfazem as seguintes propriedades: para quaisquer fun co es f, g e h como acima, valem
a. Linearidade: {f, g + h} = {f, g } + {f, h} para quaisquer , R. Analogamente {f + g, h} = {f, h} + {g, h}. b. Anti-simetria: {f, g } = {g, f }. c. Identidade de Jacobi20 : {f, {g, h}} + {h, {f, g }} + {g, {h, f }} = 0. d. Identidade de Leibniz21 : {f, gh} = {f, g }h + g {f, h}. E. 2.31 Exerc cio importante. Verique a validade das quatro propriedades acima. As propriedades 1 e 2 e 3 indicam que o conjunto das fun co es R2 R innitamente diferenci aveis e uma algebra de Lie com o produto denido pelos colchetes de Poisson. Trata-se de uma algebra de Lie de dimens ao innita.
19 Sim eon 20 Carl
Denis Poisson (17811840). Gustav Jacob Jacobi (18041851). 21 Gottfried Wilhelm von Leibniz (16461716).
Cap tulo 2
86/1702
A deni ca o acima dos colchetes de Poisson pode ser facilmente generalizada para variedades diferenci aveis de dimens ao par, mas n ao trataremos disso aqui por ora. Os colchetes de Poisson desempenham um papel importante na Mec anica Cl assica. E. 2.32 Exerc cio. Mostre que matrizes A, B , C de Mat (R, n) (ou de Mat (C, n)) tamb em satisfazem uma identidade de Leibniz: [A, BC ] = [A, B ]C + B [A, C ]. Em verdade, essa identidade e v alida em qualquer algebra associativa. Mostre isso tamb em (a prova e id entica ao caso de matrizes).
2.1.7.2
Algebras de Poisson
O exemplo dos colchetes de Poisson e do Exerc cio E. 2.32 conduzem ` a deni ca o da no ca o de a lgebra de Poisson. Uma a lgebra de Poisson e um espa co vetorial P (em rela ca o a um corpo K) dotado de dois produtos, denotados por e por { , }, satisfazendo as seguintes propriedades: P e uma algebra associativa em rela ca o ao produto . P e uma algebra de Lie em rela ca o ao produto { , }. Para todos a, b, c P vale a identidade de Leibniz {a, b c} = {a, b} c + b {a, c}. Isso signica que o produto { , } age como uma deriva ca o para o produto . Naturalmente, se A e uma algebra associativa com produto obtemos em A uma algebra de Poisson denindo {a, b} = a b b a, como observamos no Exerc cio E. 2.32. De maior interesse s ao algebras de Poisson onde o produto {a, b} n ao seja do tipo a b b a.
2.1.7.3
Algebras de Jordan
Outra classe de algebras n ao-associativas de interesse e formada pelas algebras de Jordan. Uma algebra n ao-associativa J sobre um corpo K e dita ser uma a lgebra de Jordan22 se seu produto satiszer a. Comutatividade. Para todos a, b J vale a b = b a. b. Identidade de Jordan. Para todos a, b J vale (a a) (a b) = a ((a a) b) . (2.15)
Como a identidade de Jordan e trivialmente satisfeita por uma algebra associativa, alguns autores aceitam a inclus ao das algebras associativas dentre as de Jordan (desde que sejam tamb em comutativas, naturalmente). De qualquer forma, dada uma algebra associativa (n ao-necessariamente comutativa) e sempre poss vel denir um produto que faz dela uma algebra de Jordan. De fato, se A e uma algebra associativa (n ao-necessariamente comutativa) sobre R ou C23 , cujo produto denotamos por ab, o produto 1 (2.16) a b = (ab + ba) 2 faz de A uma algebra de Jordan. Em textos de F sica a express ao ab + ba e denominada anticomutador e e freq uentemente denotada pelo s mbolo {a, b}. e comutativo (trivial) e satisfaz a identidade de Jordan. Verique tamb em E. 2.33 Exerc cio. Verique que esse produto que esse produto n ao e, em geral, associativo se A n ao for Abeliana. Esse produto e denominado produto de Jordan. As algebras de Jordan surgiram da tentativa de denir produtos de observ aveis na Mec anica Qu antica (representados por operadores auto-adjuntos) que denissem novamente observ aveis. O seguinte exerc cio deve tornar isso claro.
22 Ernst 23 Ou,
Pascual Jordan (19021980) foi um dos fundadores da Mec anica Qu antica. mais genericamente, sobre qualquer corpo que n ao tenha caracter stica 2.
Cap tulo 2
87/1702
c ao das matrizes auto-adjuntas de Mat (C, n) forma uma algebra de Jordan para o E. 2.34 Exerc cio. Verique que a cole produto de Jordan acima.
2.1.7.4
Algebras de Grassmann
Algebras de Grassmann, especialmente em uma de suas formas especiais, as chamadas Algebras Exteriores (vide Se ca o 2.5, p agina 136), s ao importantes na Topologia Diferencial e na Geometria Diferencial, por exemplo no estudo das chamadas formas diferenciais. Seja V um espa co vetorial sobre um corpo K. Uma a lgebra de Grassmann24 sobre V e uma algebra associativa e unital sobre K, denotada por (V ), e cujo produto e denotado (por raz oes hist oricas) pelo s mbolo (denominado cunha), com as seguintes propriedades a. V e um subespa co vetorial de (V ). b. Para todo v V tem-se v v = 0. A condi ca o de V ser um subespa co de (V ) e por vezes substitu da pela condi ca o de V ser isomorfo a um subespa co de (V ). Como essa distin ca o dicilmente possui relev ancia, vamos ignor a-la aqui. Como observamos na discuss ao sobre algebras de Lie, a condi ca o v v = 0 para todo v V implica a condi ca o de anti-comutatividade u v = v u para todos u, v V , mas s o equivale a essa se a caracter stica de K n ao for 2. Fazemos notar tamb em que a condi ca o v v = 0 e assumida apenas para os elementos de V , n ao para todos os elementos de (V ). Analogamente, fazemos notar que V e suposta ser um subespa co vetorial de (V ), n ao necessariamente uma sub- algebra de (V ). A unidade e de (V ) n ao pode ser um elemento de V , pois se tal fosse o caso ter amos e = e e = 0, o que implicaria para todo a (V ) que a = a e = a 0 = 0, o que s o faz sentido se (V ) (e, portanto, V ) consistir apenas do vetor nulo, um caso desprovido de interesse especial. Assim, nos casos de interesse, (V ) possui ao menos dois subespa cos distintos: o subespa co gerado pela unidade e e o subespa co V . Proposi c ao 2.1 Em uma a lgebra de Grassmann (V ) vale a seguinte arma ca o: se v1 , . . . , vm s ao vetores de V , ent ao o produto v1 vm ser a nulo se v1 , . . . , vm forem linearmente dependentes. Prova. Vamos supor, sem perda de generalidade, que possamos escrever v1 como combina ca o linear dos demais: v1 =
m m k=2
k vk . Ent ao, v1 vm =
vk que ocorre no produto v2 vm para a primeira posi ca o no mesmo, ganhando um fator (1)k2 . Assim, devido k 2 vk vk vm = 0, pois vk vk = 0. a associatividade, obtemos vk v2 vm = (1) ` Na Se ca o 2.5.2, p agina 138, discutiremos um procedimento geral de constru ca o de uma algebras de Grassmann a partir de um espa co vetorial V dado. Para aquelas algebras, as chamadas a lgebras exteriores, vale a rec proca da Proposi ca o 2.1: um produto v1 vm de vetores v1 , . . . , vm V ser a nulo se e somente se v1 , . . . , vm forem linearmente dependentes. Vamos a alguns exemplos elementares (qui ca triviais) de algebras de Grassmann. Na Se ca o 2.5.2, p agina 138, discutiremos um procedimento geral de constru ca o de uma algebras de Grassmann a partir de um espa co vetorial V dado dentro do qual mais exemplos poder ao ser constru dos.
b Exemplo 2.11 Seja V o espa co vetorial (sobre C) das matrizes 2 2 da forma ( 0 ao, uma algebra de 0 0 ), com b C. Ent b ), com a, b C, com o produto usual de matrizes. Grassmann sobre V seria o conjunto das matrizes 2 2 da forma ( a 0 a
k=2
k vk v2 vm . Agora, usando a anticomutatividade podemos passar o vetor
Exemplo 2.12 Seja V o espa co vetorial (sobre C) das matrizes 3 3 da forma algebra de Grassmann sobre V seria o conjunto das matrizes 3 3 da forma
24 Hermann
a b c 0 a 0 0 0 a
0 b c 000 000
, com b, c C. Ent ao, uma
, com a, b, c C, com o produto
G unther Grassmann (18091877).
Cap tulo 2
88/1702
usual de matrizes. Note que nesse caso h a uma rela ca o adicional, pois o produto de matrizes da forma matrizes da forma
00 c 000 000
0 b 0 000 000
com
e nulo.
2.1.7.5
Algebras de Cliord
Algebras de Cliord t em particular relev ancia na Teoria de Grupos, surgindo tamb em na Geometria Diferencial, na Mec anica Qu antica Relativ stica e na Teoria da Relatividade Geral. Seja V um espa co vetorial sobre um corpo K (que suporemos n ao ter caracter stica 2) e seja uma forma bilinear sim etrica em V (para a deni ca o, vide p agina 148). Uma algebra de Cliord25 sobre V e , denotada por Cl(V, ), e uma a lgebra associativa dotada de uma unidade e e com as seguintes propriedades a. V e um subespa co vetorial de Cl(V, ). b. Para todo v V tem-se v 2 = (v, v )e. A condi ca o de V ser um subespa co de Cl(V, ) e por vezes substitu da pela condi ca o de V ser isomorfo a um subespa co de Cl(V, ). Como essa distin ca o dicilmente possui relev ancia, vamos ignor a-la aqui. Notemos que se u e v s ao elementos de V ent ao, pela propriedade b, acima, vale (u + v )(u + v ) = (u + v, u + v )e. Expandindo ambos os lados e usando que u2 = (u, u)e e v 2 = (v, v )e, obtemos uv + vu = 2 (u, v )e. Reciprocamente, se supormos que uv + vu = 2 (u, v )e para todos u e v V , segue evidentemente que v 2 = (v, v )e. Assim, a condi ca o b equivale a b. Para todos u e v V tem-se uv + vu = 2 (u, v )e. A deni ca o de algebra de Cliord para o caso em que K tem caracter stica 2 e semelhante (ao inv es de uma forma bilinear sim etrica emprega-se uma forma quadr atica sobre V ), mas como certos resultados gerais n ao s ao v alidos nesse caso (por exemplo, a condi ca o b n ao equivale ` a b), n ao faremos men ca o a ele aqui e remetemos o estudante ` a literatura especializada (e.g. [122]).
2.1.8
Mais sobre An eis
Apresentaremos em seq u encia uma s erie de deni co es ap os as quais discutiremos exemplos relevantes. An eis com unidade
A condi ca o 1 = 0 e necess aria para evitar uma situa ca o trivial. Se 1 = 0 ent ao para qualquer a R vale a = a 1 = a 0 = 0, ou seja, R cont em apenas o elemento 0. Como observamos, alguns autores, como Bourbaki, incluem a exist encia de uma unidade (n ao-nula) na deni ca o de anel. An eis sem divisores de zero
Um anel com unidade e um anel R com a propriedade de existir em R um elemento 1, chamado de unidade, com 1 = 0, tal que a 1 = 1 a = a para todo a R.
Dado um anel R um elemento n ao-nulo a R e dito ser um divisor de zero se existir pelo menos um b R com b = 0 tal que a b = 0 ou b a = 0. Se em um dado anel a rela ca o a b = 0 s o for poss vel se a = 0 ou b = 0 ou ambos, ent ao esse anel e dito ser um anel sem divisores de zero.
Exemplos. C e R s ao an eis sem divisores de zero (com os produtos e somas usuais), mas os an eis Mat(n, C), n > 1, t em 0 00 00 divisores de zero (com o produto e soma usuais), pois tem-se, por exemplo, ( 1 0 0 ) ( 0 1 ) = ( 0 0 ). e um divisor de zero. H a outros divisores de zero? E. 2.35 Exerc cio. Mostre que em Z4 tem-se 2 2 = 0, ou seja, 2
25 William
Kingdon Cliord (18451879).
Cap tulo 2
89/1702
ao seja um n umero primo. E. 2.36 Exerc cio. Mostre que em Zn existem divisores de zero caso n n An eis de integridade
Um anel comutativo (ou seja, cujo produto e comutativo), com unidade e sem divisores de zero e dito ser um anel de integridade ou tamb em um dom nio de integridade. Para a rela ca o entre an eis de integridade e corpos, vide adiante. An eis de divis ao
Um anel R e dito ser um anel de divis ao se possuir uma unidade multiplicativa 1, i.e., um elemento tal que para todo a R vale a 1 = 1 a = a e se para todo a R, a = 0, existir uma inversa multiplicativa em R, ou seja, um elemento denotado por a1 tal que a a1 = a1 a = 1.
E. 2.37 Exerc cio importante. Mostre que um anel de divis ao n ao pode possuir divisores de zero. Portanto, todo anel de divis ao comutativo e tamb em um anel de integridade. Exemplos. Com as deni co es usuais R, C e Q s ao an eis de divis ao mas Z n ao o e (falha a exist encia da inversa multiplicativa). Mat(n, C), com n > 1, tamb em n ao e um anel de divis ao com as deni co es usuais pois nem toda a matriz n ao-nula e invers vel. Outro exemplo de anel de divis ao (n ao comutativo!) s ao os quat ernios, que ser ao discutidos ` a p agina 143. Algebras de divis ao
Uma algebra A e dita ser uma a lgebra de divis ao se possuir uma unidade multiplicativa 1, i.e., um elemento tal que para todo a A vale a 1 = 1 a = a e se para todo a A, a = 0, existir uma inversa multiplicativa em A, ou seja, um elemento denotado por a1 tal que a a1 = a1 a = 1. Corpos Todo anel de divis ao cujo produto e comutativo e um corpo (verique!).
Como a u nica distin ca o entre as deni co es de corpos e de an eis de divis ao e que para os primeiros a comutatividade do produto e requerida, diz-se tamb em por vezes que an eis de divis ao n ao-comutativos s ao corpos n ao-comutativos. Corpos e an eis de integridade
Corpos n ao-comutativos
bem claro pelas deni E co es que todo corpo e tamb em um anel de integridade. A rec proca e parcialmente v alida:
Teorema 2.2 Todo anel de integridade nito e um corpo.
Prova. Se A e um anel de integridade, tudo que precisamos e mostrar que todo elemento n ao-nulo de A e invers vel. Seja a um elemento de A \ {0}. Denamos a aplica ca o : A \ {0} A dada por (y ) = ay . Note que, como A e um anel de integridade o lado direito e n ao-nulo pois nem a nem y o s ao. Assim, e, em verdade, uma aplica ca o de A \ {0} em A \ {0} e, como tal, e injetora, pois se ay = az , segue que a(y z ) = 0, o que s o e poss vel se y = z , pois A e um anel de integridade e a = 0. Agora, uma aplica ca o injetora de um conjunto nito em si mesmo tem necessariamente que ser sobrejetora (por que?). Assim, e uma bije ca o de A \ {0} sobre si mesmo. Como 1 A \ {0}, segue que existe y A \ {0} tal que ay = 1, ou seja, a tem uma inversa. Como a e um elemento arbitr ario de A \ {0}, segue que todo elemento de A \ {0} tem inversa e, portanto, A e um corpo. An eis de integridade innitos n ao s ao necessariamente corpos:
Cap tulo 2
90/1702
Anti-exemplo. Um exemplo de um anel de integridade que n ao e um corpo e o conjunto de todos os polin omios de C em C com o produto e soma usuais. Em verdade, os u nicos polin omios que t em inverso multiplicativo s ao os polin omios constantes n ao-nulos. An eis de divis ao nitos
O seguinte teorema, originalmente devido a Wedderburn26 , e bastante surpreendente por mostrar uma insuspeita rela ca o entre a cardinalidade de um anel de divis ao e a natureza de seu produto Teorema 2.3 Todo anel de divis ao nito e comutativo.
Assim, pelas observa co es feitas acima conclu -se: Corol ario 2.2 Todo anel de divis ao nito e um corpo. A prova do Teorema 2.3 n ao ser a apresentada aqui. Uma demonstra ca o elegante, devida a Witt27 , pode ser encontrada na magn ca refer encia [3].
2.1.9
A co es
A c oes e Representa c oes
Seja M um conjunto n ao-vazio e G um grupo. Uma fun ca o : G M M e dita ser uma a ca o a ` esquerda de G sobre M se as seguintes condi co es forem satisfeitas: 1. Para todo g G a fun ca o (g, ) : M M e bijetora28 . 2. Se e e a identidade de G ent ao (e, ) : M M e a fun ca o identidade: (e, x) = x para todo x M . 3. Para todos g, h G e todo x M vale (g, (h, x)) = (gh, x) . (2.17)
Uma fun ca o : G M M e dita ser uma a ca o a ` direita de G sobre M se as seguintes condi co es forem satisfeitas 1. Para todo g G a fun ca o (g, ) : M M e bijetora. 2. Se e e a identidade de G ent ao (e, ) : M M e a fun ca o identidade: (e, x) = x para todo x M . 3. Para todos g, h G e todo x M vale (g, (h, x)) = (hg, x) . (2.18)
Note-se que a distin ca o b asica entre (2.17) e (2.18) e a ordem do produto no grupo. Se G e Abeliano n ao h a distin ca o entre uma a ca o ` a direita ou ` a esquerda. E. 2.38 Exerc cio. Seja : G M M uma a c ao ` a esquerda de um grupo G em um conjunto M . Mostre que : G M M denida por (g, x) = (g 1 , x) e uma a c ao ` a direita de G em M .
26 Joseph Henry Maclagen Wedderburn (18821948). O trabalho original de Wedderburn e: J. H. M. Wedderburn, A theorem on nite algebras, Trans. Amer. Math. Soc. 6, 349-352 (1905). Esse trabalho cont em tr es demonstra c oes do Teorema 2.3. 27 Ernst Witt (19111991). O trabalho original de Witt e Uber die Kommutativit at endlicher Schiefk oerper. Abh. Math. Sem. Univ. Hamburg, 8, 413 (1931). 28 Para g G xo, (g, ) : M M denota a fun ca o M m (g, m) M , ou seja, a fun ca o que a cada m M associa (g, m) M .
Cap tulo 2
91/1702
freq E uente encontrar-se outras nota co es para designar a co es de grupos em conjuntos. Uma a ca o ` a esquerda (g, x) e freq uentemente denotada por g (x), de modo que a rela ca o (2.17) ca g (h (x)) = gh (x). Para uma a ca o ` a direita, (2.18) ca g (h (x)) = hg (x). Talvez a nota ca o mais conveniente seja denotar uma a ca o ` a esquerda (g, x) simplesmente por g x ou apenas gx. A rela ca o (2.17) ca g (hx) = (gh)x. Para uma a ca o ` a direita (g, x) a nota ca o ca x g , ou apenas xg , de modo que (2.18) ca (xh)g = x(hg ). Essa nota ca o justica o uso da nomenclatura a ` direita ou a ` esquerda para classicar as a co es. Seja F uma cole ca o de fun co es bijetoras de um conjunto M em si mesmo. Uma a ca o : G M M e dita ser uma a ca o de G em M pela fam lia F se para todo g G as fun co es (g, ) : M M forem elementos do conjunto F. E. 2.39 Exerc cio. Seja G = SO(n) o grupo de todas as matrizes reais n n ortogonais (ou seja, tais que RT = R1 , onde T R denota a transposta de R). Seja M o conjunto de todas as matrizes reais n n sim etricas (ou seja, tais que AT = A). T Mostre que R (A) := RAR , com R SO(n) e A M, e uma a c ao ` a esquerda de G em M . Com as mesmas deni co es, mostre que R (A) := RT AR e uma a c ao ` a direita de G em M. Sugest ao. O unico ponto que poderia ser dif cil para alguns seria mostrar que, para cada R xo, R e bijetora, ou seja, e sobrejetora e injetora. Para mostrar que R e sobrejetora, note que se A e uma matriz sim etrica qualquer, podemos trivialmente escrever A = R(RT AR)RT , mostrando que A = R (B ), onde B = RT AR e sim etrica. Para provar que R e injetora note que, se RA1 RT = RA2 RT , segue facilmente, multiplicando-se por RT ` a esquerda e por R ` a direita, que A1 = A2 . E. 2.40 Exerc cio. Seja G = SU(n) o grupo de todas as matrizes complexas n n unit arias (ou seja, tais que U = U 1 , T onde U denota a adjunta de U : U = U ). Seja M o conjunto de todas as matrizes complexas n n Hermitianas (ou seja, tais que A = A). Mostre que U (A) := U AU , com U SU(n) e A M, e uma a c ao ` a esquerda de G em M. Com as mesmas deni co es, mostre que U (A) := U AU e uma a c ao ` a direita de G em M. Orbita de uma a c ao
Seja G um grupo e : G M M uma a ca o (` a esquerda ou ` a direita) de G sobre um conjunto n ao-vazio M . Para m M , denimos a o rbita de m pela a ca o como sendo o conjunto Orb (m) := {g (m), g G} M . Claro est a que para todo m M vale m Orb (m). E. 2.41 Exerc cio. Mostre que para todo m M vale a arma c ao que para todo m Orb (m) tem-se Orb (m ) = Orb (m). ao Orb (m ) = M para todo m M . E. 2.42 Exerc cio. Conclua que se existe m M tal que Orb (m) = M , ent Transitividade e espa cos homog eneos
O fato descrito no Exerc cio E. 2.42 conduz naturalmente ` as seguintes deni co es:
Seja G um grupo e : G M M uma a ca o (` a esquerda ou ` a direita) de G sobre um conjunto n ao-vazio M . Dizemos que age transitivamente em M se existir m M tal que {g (m), g G} = M . Em palavras, age transitivamente em M se existir pelo menos um elemento de M cuja orbita e todo M . Pelo Exerc cio E. 2.41, se um elemento de M possui essa propriedade, ent ao todos a possuem. Se uma a ca o age transitivamente em M dizemos que M e um espa co homog eneo do grupo G pela a a ca o , ou simplesmente um espa co homog eneo do grupo G. Representa co es de grupos
Uma representa ca o de um grupo e uma a ca o a esquerda do mesmo em um espa co vetorial pela fam lia das aplica co es lineares invers veis agindo nesse espa co vetorial. Sejam G um grupo e V um espa co vetorial sobre um corpo K. Uma representa ca o de G em V e uma fun ca o : G V V tal que para todo g G as fun co es (g, ) : V V sejam lineares e bijetivas e satisfazem (e, v ) = v e (g, (h, v )) = (gh, v ) para todos g, h G e todo v V .
Cap tulo 2
92/1702
Devido ` a linearidade e conveniente denotar (g, v ) por (g )v . Uma representa ca o satisfaz assim: 1. Para todo g G, (g ) e uma aplica ca o linear bijetora de V em V : (g )(u + v ) = (g )u + (g )v para todos , K e todos u, v V .
2. (e) = , o operador identidade em V . 3. Para todos g, h G vale
(g ) (h) = (gh).
Seja A uma algebra sobre um corpo K e V um espa co vetorial sobre o mesmo corpo. Uma representa ca o de A em V e uma fam lia de fun co es lineares de V em V , { (a), a A}, satisfazendo 1. Para todo a A, (a) : V V e uma aplica ca o linear, ou seja (a)(u + v ) = (a)u + (a)v para todos , K e todos u, v V . 2. Para todos , K e todos a, b A vale (a + b) = (a) + (b) . 3. Para todos a, b A
Representa co es de algebras
(ab) = (a) (b) .
Uma representa ca o de uma algebra A em um espa co vetorial V e dita ser uma representa ca o el se (a) = 0 s o ocorrer para a = 0. Uma representa ca o de uma algebra A em um espa co vetorial V e dita ser uma representa ca o n ao-degenerada se (a)v = 0 para todo a A s o ocorrer para v = 0.
2.1.10
Morsmos, Homomorsmos, Epimorsmos, Isomorsmos, Monomorsmos, Endomorsmos e Automorsmos
Dos radicais gregos h omos: semelhante, igual; m onos: um, sozinho; epi: sobre; sos: semelhante, igual; endon: para dentro, dentro; aut os: pr oprio, mesmo e morph e: forma.
Nos limitaremos primeiramente a listar algumas deni co es b asicas que ser ao usadas e desenvolvidas no restante do texto, onde mais exemplos ser ao apresentados. A pretens ao n ao e a de desenvolver os assuntos, mas de apresentar as deni co es para refer encia futura. Em termos informais um morsmo entre duas estruturas de um mesmo tipo (dois grupos, dois espa cos vetoriais, duas algebras, dois an eis etc.) e uma fun ca o entre as mesmas que respeita as opera co es de produto l a denidas. Morsmos em grupos
Dados dois grupos G e H , com unidades eG e eH , respectivamente, uma fun ca o : G H e dita ser um antihomomorsmo se (eG ) = eH e se (a b) = (b) (a) para todos a, b G. Por exemplo, a aplica ca o : G G tal que (g ) = g 1 e um anti-homomorsmo (verique). Um homomorsmo : G H entre dois grupos e dito ser um monomorsmo se for injetivo.
Dados dois grupos G e H , com unidades eG e eH , respectivamente, uma fun ca o : G H e dita ser um homomorsmo ou morsmo de grupos se (eG ) = eH e se (a b) = (a) (b) para todos a, b G.
Cap tulo 2
93/1702
Se dois grupos G e H forem tais que exista um isomorsmo entre ambos dizemos que G e H s ao isomorfos (por ) e denotamos esse fato por G H , ou simplesmente por G H . E. 2.43 Exerc cio importante. Mostre que a rela c ao de isomora entre grupos e uma rela c ao de equival encia. Um homomorsmo de um grupo G em si mesmo : G G e dito ser um endomorsmo de G.
Um homomorsmo : G H entre dois grupos e dito ser um isomorsmo se for bijetor, em cujo caso a aplica ca o inversa 1 : H G e tamb em um homomorsmo.
Um homomorsmo : G H entre dois grupos e dito ser um epimorsmo se for sobrejetor.
Um exemplo b asico de automorsmo e o seguinte: seja g G xo. Denimos g : G G por g (a) = g 1 ag para todo a G. E. 2.44 Exerc cio. Mostre que para cada g G xo, g e um homomorsmo e que sua inversa e g1 . Um automorsmo de um grupo G e dito ser um automorsmo interno se for da forma g para algum g G.
Um isomorsmo de um grupo G em si mesmo : G G e dito ser um automorsmo de G.
Muitas das deni co es apresentadas acima t em seus an alogos em outras estruturas, como espa cos vetoriais, algebras, an eis, m odulos etc. Trataremos de alguns casos. Morsmos em espa cos vetoriais
Sejam U e V dois espa cos vetoriais sobre o mesmo corpo K. Uma fun ca o : U V e dita ser um homomorsmo ou morsmo de espa cos vetoriais se (1 u1 + 2 u2 ) = 1 (u1 ) + 2 (u2 ) para todos 1 , 2 K e todos u1 , u2 U . Sejam U e V dois espa cos vetoriais sobre o mesmo corpo K. Uma fun ca o : U V e dita ser um isomorsmo de espa cos vetoriais se for um morsmo de espa cos vetoriais, e se for bijetora.
Se dois espa cos vetoriais U e V sobre o mesmo corpo forem tais que exista um isomorsmo entre ambos dizemos que U e V s ao isomorfos (por ) e denotamos esse fato por U V , ou simplesmente por U V . E. 2.45 Exerc cio importante. Mostre que a rela c ao de isomora entre espa cos vetoriais e uma rela c ao de equival encia. Em espa cos vetoriais os conceitos de mono-, endo- e e automorsmo n ao s ao muito empregados. Em verdade, morsmos de espa cos vetoriais s ao mais freq uentemente denominados operadores lineares ou aplica co es lineares, como matrizes, por exemplo. No caso de espa cos vetoriais sobre o corpo dos complexos existem tamb em os conceitos de anti-homomorsmo, antiisomorsmo etc. Sejam U e V dois espa cos vetoriais sobre C. Uma fun ca o : U V e dita ser um anti-homomorsmo ou anti-morsmo de espa cos vetoriais se (1 u1 + 2 u2 ) = 1 (u1 ) + 2 (u2 ) para todos 1 , 2 C e todos u1 , u2 U . O conceito de anti-isomorsmo e an alogo. Morsmos em algebras
Sejam A e B duas algebras (sobre o mesmo corpo K, como espa cos vetoriais). Uma fun ca o : A B e dita ser um homomorsmo ou morsmo de a lgebras se for um morsmo de espa cos vetoriais (ou seja (1 a1 + 2 a2 ) = 1 (a1 ) + 2 (a2 ) para todos 1 , 2 K e todos a1 , a2 A) e se (a1 a2 ) = (a1 ) (a2 ) para todos a1 , a2 A. Sejam A e B duas algebras sobre o mesmo corpo K. Uma fun ca o : A B e dita ser um isomorsmo de a lgebras se for um morsmo de algebras e se for bijetora.
Se duas algebras A e B sobre o mesmo corpo forem tais que exista um isomorsmo entre ambos dizemos que A e B s ao isomorfas (por ) e denotamos esse fato por A B , ou simplesmente por A B . E. 2.46 Exerc cio importante. Mostre que a rela c ao de isomora entre algebras e uma rela c ao de equival encia. Um morsmo de algebra de uma algebra A em si mesma : A A e dito ser um endomorsmo de A.
Cap tulo 2
94/1702
Uns poucos exemplos
Apresentemos alguns poucos exemplos ilustrativos.
Exemplo 2.13 Sejam G1 = (R, +), o grupo dos reais com a opera ca o de soma, e G2 = (R+ , ), o grupo dos reais positivos com a opera ca o de multiplica ca o. A fun ca o exponencial exp : R R+ denida, como usual, por R x ex R+ , e um isomorsmo de G1 em G2 , tendo como inversa a fun ca o logaritmo ln : R+ R denida, como usual, por R+ x ln(x) R. Justique! Exemplo 2.14 Seja GL(C, n) o grupo das matrizes complexas n n invers veis. O determinante de matrizes e um homomorsmo de GL(C, n) no grupo (C \ {0}, ) dos complexos n ao-nulos com o produto denido pela multiplica ca o. Justique!
2.1.11
Induzindo Estruturas Alg ebricas
Uma constru ca o muito interessante permite induzir a outros conjuntos estruturas de grupo, de espa co vetorial etc., denidas em certos conjuntos. Com ela e poss vel construir exemplos n ao-triviais de grupos e espa cos vetoriais. Induzindo estruturas de semi-grupos e de grupos
Seja C um conjunto n ao-vazio e seja S um semigrupo, cujo produto denotamos por . Suponhamos que exista uma fun ca o bijetora f : C S . Ent ao podemos denir em C um produto C C C , denotado por , em rela ca o ao qual C e um tamb em um semi-grupo: para todos a, b C denimos a b := f 1 f (a) f (b) . De fato, e f acil ver que para todos a, b e c C vale a bc = f 1 f (a) f (b c) = f 1 f (a) f (b) f (c) = f 1 f (a) f (b) f (c) = f 1 f a b f (c) = ab c , (2.19)
provando que o produto e associativo.
Como acima, seja C um conjunto n ao-vazio e seja G um grupo cujo produto denotamos por e cujo elemento neutro e n. Ent ao, se existir uma fun ca o bijetora f : C G o conjunto C e um grupo com o produto denido acima, seu elemento neutro, denotado por e, sendo dado por e = f 1 (n) sendo que para cada a C sua inversa e dada por a1 = f 1 f (a)1 . De fato, vale para todo a C que a e = f 1 f (a) f (e) = f 1 f (a) f f 1 (n) = f 1 f (a) n = f 1 f (a) = a, (2.21) (2.20)
provando que f 1 (n) e o elemento neutro em C . Finalmente, vale para todo a C que a f 1 f (a)1 = f 1 f (a) f f 1 f (a)1 = f 1 f (a) f (a)1 = f 1 (n) = e ,
provando que a inversa de a em C e f 1 f (a)1 . Comentamos que, por constru ca o, o grupo formado por C com o produto e isomorfo ao grupo formado por G com o produto , o isomorsmo sendo dado por f . E. 2.47 Exerc cio. Mostre que se G e um grupo Abeliano, ent ao C , com a estrutura acima, tamb em o ser a.
Cap tulo 2
95/1702
Exemplo 2.15 Seja C = (0, 1) e G = R, o grupo aditivo dos reais. Seja f : (0, 1) R denida por f (x) := A fun ca o f e bijetora (prove isso!) e sua inversa f : R (0, 1) e dada por f (y ) = com o produto b a exp ln 1 a + ln 1b ab = , ab = b a 1 a b + 2ab + ln 1 + exp ln 1 a 1b para todos a, b (0, 1). O elemento neutro e f 1 (0) = a1 =
e0 1+e0
a
1 2
ln
x 1x
e 1+e2y .
2y
Ent ao (0, 1) e um grupo
1 2
e para cada a (0, 1) a inversa e
e ln( 1a ) = 1a. a 1 + e ln( 1a )
f E acil constatar que esse grupo e Abeliano, como dever amos esperar.
E. 2.48 Exerc cio. Encontre outras fun co es bijetoras entre C = (0, 1) e R. Descreva, como acima, as estruturas de grupo induzidas em C . c ao bijetora f : C R dada por E. 2.49 Exerc cio. Considere C = (1, 1), o grupo aditivo dos reais R e a fun f (x) = tan(x/2). Descreva, como acima, a estrutura de grupo induzida em C . c ao bijetora f : C R dada por E. 2.50 Exerc cio. Considere C = (1, 1), o grupo aditivo dos reais R e a fun f (x) = argtanh(x) tanh1 (x). Descreva, como acima, a estrutura de grupo induzida em C . Induzindo estruturas de espa cos vetoriais
Seja agora V um espa co vetorial sobre um corpo K, sendo 0 seu vetor nulo.
Como acima, seja C um conjunto n ao-vazio e f : C V uma fun ca o bijetora. Como V e um grupo Abeliano em rela ca o ` a opera ca o de soma +, C tamb em o ser a com rela ca o ` a opera ca o de soma denida por (vide (2.19)) a + b := f 1 f (a) + f (b) . para todo a, b C . O elemento neutro ser a o vetor nulo, denotado por 0 e dado por 0:= f 1 (0) (vide (2.20)). A inversa de a C , denotada por a e dada por a := f 1 (f (a)) (vide (2.21)).

Contudo, C pode ser transformado em um espa co vetorial sobre o corpo K denindo, para cada K e a C , o produto por escalares, denotado por a, por a := f 1 (f (a)) . Para mostrar que C e, de fato, um espa co vetorial sob estas estruturas precisamos ainda constatar que valem as seguintes propriedades (vide Se ca o 2.1.5, p agina 79): 1. Para todos , K e todo a C vale ( a) = ( ) a. De fato, tem-se ( a) = f 1 f ( a) = f 1 (f (a))

= f 1 ( )f (a)
= ( ) a .
2. Para todo K e todos a, b C vale a + b = ( a) + ( b). De fato, tem-se a + b
= f 1 f (a) + f (b)
= f 1 f f 1 f (a) + f (b)
= f 1 f (a) + f (b)
= f 1 (f (a) + f (b)) = f 1 (f ( a) + f ( b)) = ( a) + ( b) .
Cap tulo 2
96/1702
3. Para todos , K e todo a C vale ( + ) a = ( a) + ( a). De fato, tem-se ( + ) a = f 1 ( + )f (a) = f 1 f (a) + f (a) = f 1 f ( a) + f ( a) = ( a) + ( a) .
Novamente, comentamos que, por constru ca o, o espa co vetorial formado por C , como descrito acima, e isomorfo ao espa co vetorial V , o isomorsmo sendo dado por f . O seguinte exemplo ilustra um espa co vetorial n ao-trivial sobre os reais que pode ser obtido pela constru ca o de acima. Exemplo 2.16 Como no Exemplo 2.15, p agina 95, seja C = (0, 1) e V = R, o espa co vetorial dos reais sobre o corpo 1 x R. Seja f : (0, 1) R, denida por f (x) := 2 ln 1x . A fun ca o f e bijetora e sua inversa f 1 : R (0, 1) e dada por f 1 (y ) =
e2y 1+e2y .
Ent ao C = (0, 1) e um espa co vetorial com a opera ca o de soma a + b =
ab , 1 a b + 2ab
para todos a, b (0, 1), o vetor nulo e 1/2, a inversa de a C e a e o produto por escalares R e dado por a = para todo a C .

= 1a
a , + (1 a)
a, b (0, 1) valem ( a) = ( ) a, a + b = ( a) + ( b) e ( + ) a = ( a) + ( a).
co es feitas acima. Prove explicitamente que para todos , R e todos E. 2.51 Exerc cio. Prove todas as arma
O exerc cio a seguir mostra que R tamb em pode adquirir outras estruturas de espa co vetorial real, al em da usual. E. 2.52 Exerc cio. Seja C = R e V = R o espa co vetorial dos reais sobre o corpo R. Seja f : R R, denida por f (x) := x3 . A fun c ao f e bijetora e sua inversa e f 1 (y ) = y 1/3 . Descreva as opera co es de soma e multiplica c ao por escalares denidas em C pela constru c ao acima descrita. Mais exemplos. S mplices como espa cos vetoriais reais
Vide Figura 2.1, p agina 97.
d+1 Seu interior, denotado por 0 , e o simplex padr ao aberto d-dimensional: d R 0 (a1 , . . . , ad+1 ) Rd+1 com 0 < aj < 1 para todo j e d :=
Para d inteiro, d 1, seja d Rd+1 o simplex padr ao d-dimensional denido por d+1 aj = 1 . d := (a1 , . . . , ad+1 ) Rd+1 com 0 aj 1 para todo j e
j =1 d+1
aj = 1
j =1
Os dois exemplos a seguir29 desempenham um papel na an alise estat stica de dados composicionais, uma area desenvolvida, entre outros, por Aitchison30 .
29 Agradecemos 30 John
a Ricardo Zorzetto Nicoliello V encio por chamar-nos a aten ca o para estes exemplos. Aitchison (1926). Vide J. Aitchison The Statistical Analysis of Compositional Data. Chapman and Hall, London, (1986).
Cap tulo 2
97/1702
1 0
Figura 2.1: O simplex padr ao 2 no espa co tridimensional ( area triangular acinzentada, incluindo sua borda). O simplex padr ao aberto 0 corresponde apenas a ` a rea acinzentada, excluindo sua borda. 2
d c a o f : 0 E. 2.53 Exerc cio-exemplo. A aplica d R denida por
f (a1 , . . . , ad+1 ) := e bijetiva (prove isso!) e sua inversa e (verique!) f 1 (y1 , . . . , yd ) = e2y1
1 ln 2
a1 ad+1
, ...,
1 ln 2
ad ad+1
(2.22)
1+
e2yd 1 e2y1 , ..., , 2 y 2 y 1 d + + e 1 + e + + e2yd 1 + e2y1 + + e2yd
a qual e denida para todo (y1 , . . . , yd ) Rd .
Como Rd e um espa co vetorial sobre o corpo dos reais, podemos com a fun c ao f induzir uma estrutura de espa co vetorial sobre o corpo dos reais em 0 , de acordo com as prescri c o es de acima. Mostre que para a soma teremos d a + b =
a1 b 1 ad+1 bd+1 , ..., a1 b1 + + ad+1 bd+1 a1 b1 + + ad+1 bd+1 (a1 ) (ad+1 ) , . . . , (a1 ) + + (ad+1 ) (a1 ) + + (ad+1 )
(2.23)
com a, b 0 d na forma a = (a1 , . . . , ad+1 ) e b = (b1 , . . . , bd+1 ). Mostre que para o produto por escalares teremos a = , (2.24)
e o elemento de 0 para todo R e a 0 d dado por d . O vetor nulo 0 0=
1 1 , ..., d+1 d+1
(2.25)
edia geom etrica de a1 , . . . , ad+1 : E. 2.54 Exerc cio-exemplo. Seja a = (a1 , . . . , ad+1 ) 0 d e denotemos por g (a) a m g (a) := a1 ad+1
1 d+1
Cap tulo 2
98/1702
d Est a claro que g (a) > 0 para todo a 0 c a o f : 0 d . A aplica d R denida por
f (a1 , . . . , ad+1 ) := e bijetiva (prove isso!) e sua inversa e (verique!) f 1 (y1 , . . . , yd ) =
ln
a1 g (a)
, . . . , ln
ad g (a)
(2.26)
ey1
+ +
eyd
ey1 eyd e(y1 ++yd ) , ..., y , y ( y + + y ) y ( y + + y ) d d +e 1 e 1 + + e d + e 1 e 1 + + eyd + e(y1 ++yd )
a qual e denida para todo (y1 , . . . , yd ) Rd .
Como Rd e um espa co vetorial sobre o corpo dos reais, podemos com a fun c ao f induzir uma estrutura de espa co vetorial
sobre o corpo dos reais em 0 co es de acima. Mostre que para a, b 0 e a mesma d , de acordo com as prescri d a soma a + b que a dada em (2.23), que para R o produto por escalares a e o mesmo que o dado em (2.24) e que o vetor nulo eo mesmo dado em (2.25). Em alguns textos a fun ca o f dada em (2.22) e denotada por alr e a fun ca o f dada em (2.26) e denotada por clr. E elementar constatar que (2.22) e (2.26) coincidem no caso d = 1.
2.2
Grupos. Estruturas e Constru c oes B asicas
Nesta se ca o apresentaremos algumas estruturas e constru co es b asicas da teoria de grupos.
2.2.1
Cosets
Seja G um grupo e H um subgrupo de G. Podemos denir em G uma rela ca o de equival encia, que denotaremos por H ndice l denotando left) dizendo que dois elementos x e y de G s ao equivalentes se x1 y H . l (o sub- Representaremos por x H l y o fato de x e y serem equivalentes no sentido acima. c ao acima corresponde de fato a uma rela c ao de equival encia. E. 2.55 Exerc cio importante. Verique que a deni Denotemos por (G/H )l a cole ca o das classes de equival encia de G pela rela ca o H e denominado l . O conjunto (G/H )l coset a ` esquerda de G por H , ou left coset de G por H . Seja []l a aplica ca o G (G/H )l que associa a cada elemento de G a classe de equival encia a qual o elemento pertence. A aplica ca o []l e denominada aplica ca o quociente a ` esquerda associada a H . Note-se que []l e sobrejetora mas, em geral, g ent a o [ g ] = [ g ] . Com isso, os elementos de ( G/H ) poder a o ser denotados por [g ]l com n ao e injetora, pois se g H l l l l g G, o que freq uentemente faremos. Podemos identicar [g ]l com o conjunto gH = {gh, h H } G. De fato, g gH se e somente se existe h H tal que g = gh e, portanto, se e somente se g 1 g H , ou seja, se e somente se g H l g . Cosets ` a direita, ou right cosets
Cosets ` a esquerda, ou left cosets
Seja G um grupo e H um subgrupo de G. Podemos denir em G uma rela ca o de equival encia, que denotaremos por H (o sub- ndice r denotando right) dizendo que dois elementos x e y de G s a o equivalentes se xy 1 H . r H Representaremos por x r y o fato de x e y serem equivalentes no sentido acima. E. 2.56 Exerc cio importante. Verique que a deni c ao acima corresponde de fato a uma rela c ao de equival encia.
Cap tulo 2
99/1702
Denotemos por (G/H )r a cole ca o das classes de equival encia de G pela rela ca o H e denominado r . O conjunto (G/H )r coset a ` direita de G por H , ou right coset de G por H . Seja []r a aplica ca o G (G/H )r que associa a cada elemento de G a classe de equival encia a qual o elemento pertence. A aplica ca o []r e denominada aplica ca o quociente a ` direita associada a H . Note-se que []r e sobrejetora mas, g ent a o [ g ] = [ g ] . Com isso, os elementos de ( G/H ) poder ao ser denotados em geral, n ao e injetora, pois se g H r r r r por [g ]r com g G, o que freq uentemente faremos. Podemos identicar [g ]r com o conjunto Hg = {hg, h H } G. De fato, g Hg se e somente se existe h H tal que g = hg e, portanto, se e somente se g g 1 H , ou seja, se e somente se g H r g.
H Doravante, denotaremos H l simplesmente por l e r por r , cando o subgrupo H subentendido.
sempre poss E vel denir uma a ca o ` a esquerda de G sobre o coset ` a esquerda (G/H )l , a qual age transitivamente em (G/H )l (vide deni ca o ` a p agina 91). Isso faz de (G/H )l um espa co homog eneo de G (vide deni ca o ` a p agina 91). Seja G um grupo, H um subgrupo de G e seja o coset ` a esquerda (G/H )l , denido acima. Dena : G (G/H )l (G/H )l tal que G (G/H )l (g, [f ]l ) g ([f ]l ) := [gf ]l (G/H )l .
A c ao ` a esquerda de G sobre (G/H )l
Ent ao, dene uma a ca o a ` esquerda de G sobre (G/H )l . De fato, tem-se que 1. Para cada g G, g : (G/H )l (G/H )l e bijetora, pois se existem f1 , f2 G tais que [gf1 ]l = [gf2 ]l , ent ao gf1 l gf2 , ou seja, (gf1 )1 (gf2 ) H , ou seja, (f1 )1 f2 H . Isso estabelece que f1 l f2 , ou seja, que [f1 ]l = [f2 ]l , provando que g : (G/H )l (G/H )l e injetora. Note-se que g : (G/H )l (G/H )l e sobrejetora, pois g ([g 1 f ]l ) = [f ]l e variando f em G, [f ]l varre todo (G/H )l . 2. Para a identidade e G, e ([f ]l ) = [ef ]l = [f ]l para todo f G, provando que e : (G/H )l (G/H )l e a aplica ca o identidade. 3. Para todos g, h G vale g (h ([f ]l )) = g ([hf ]l ) = [ghf ]l = gh ([f ]l ) para qualquer f G. Isso provou que : G (G/H )l (G/H )l e uma a ca o ` a esquerda de G em (G/H )l . N ao e dif cil ver que a a ca o age transitivamente em (G/H )l . De fato, se e e a unidade de G, ent ao g ([e]l ) = [g ]l e variando g por todo G a imagem [g ]l varre todo (G/H )l . A c ao ` a direita de G sobre (G/H )r
sempre poss E vel denir uma a ca o ` a direita de G sobre o coset ` a direita (G/H )r , a qual age transitivamente em (G/H )r (vide deni ca o ` a p agina 91). Isso faz de (G/H )r um espa co homog eneo de G (vide deni ca o ` a p agina 91). Seja G um grupo, H um subgrupo de G e seja o coset ` a direita (G/H )r , denido acima. Dena : G (G/H )r (G/H )r tal que G (G/H )r (g, [f ]r ) g ([f ]r ) := [f g ]r (G/H )r .
Ent ao, dene uma a ca o a ` direita de G sobre (G/H )r . De fato, tem-se que 1. Para cada g G, g : (G/H )r (G/H )r e bijetora, pois se existem f1 , f2 G tais que [f1 g ]r = [f2 g ]r , ent ao f1 g r f2 g , ou seja, (f1 g )(f2 g )1 H , ou seja, f1 (f2 )1 H . Isso estabelece que f1 r f2 , ou seja, que [f1 ]r = [f2 ]r , provando que g : (G/H )r (G/H )r e injetora. Note-se que g : (G/H )r (G/H )r e sobrejetora, pois g (f [g 1 ]r ) = [f ]r e variando f em G, [f ]r varre todo (G/H )r . 2. Para a identidade e G, e ([f ]r ) = [f e]r = [f ]r para todo f G, provando que e : (G/H )r (G/H )r e a aplica ca o identidade. 3. Para todos g, h G vale g (h ([f ]r )) = g ([f h]r ) = [f hg ]r = hg ([f ]r ) para qualquer f G. Isso provou que : G (G/H )r (G/H )r e uma a ca o ` a direita de G em (G/H )r . N ao e dif cil ver que a a ca o age transitivamente em (G/H )r . De fato, se e e a unidade de G, ent ao g ([e]r ) = [g ]r e variando g por todo G a imagem [g ]r varre todo (G/H )r .
Cap tulo 2
100/1702
* Os cosets (G/H )l e (G/H )r podem ser identicados e transformados em grupos se uma certa hip otese for feita sobre o subgrupo H e sua rela ca o com G. Esse e nosso assunto na Se ca o 2.2.2.
2.2.2
Subgrupos Normais e o Grupo Quociente
Subgrupos normais
Seja G um grupo. Um subgrupo N de G e dito ser um subgrupo normal se gng 1 N para todo g G e todo n N . Se N e um subgrupo normal de G denotamos esse fato escrevendo N G. Observe que todo subgrupo de um grupo Abeliano G e normal.
e E. 2.57 Exerc cio. Sejam G e H dois grupos e : G H um homomorsmo. Mostre que Ran () := (g )| g G um subgrupo de H . E. 2.58 Exerc cio importante. Sejam G e H dois grupos e : G H um homomorsmo. Seja eH a unidade de H . e um subgrupo normal de G. Mostre que Ker () := g G| (g ) = eH
Nota sobre a nomenclatura dos dois exerc cios acima. portugu es). O s mbolo Ran prov em da palavra inglesa range (alcance, em portugu es) e e freq uen-
temente empregado como sin onimo da imagem de uma fun ca o ou aplica ca o. O s mbolo Ker provem do ingl es kernel (n ucleo ou caro co, em
E. 2.59 Exerc cio-exemplo. Seja GL(C, n) o grupo das matrizes complexas n n invers veis e seja SL(C, n) o grupo das matrizes complexas n n invers veis e de determinante 1. Mostre que SL(C, n) GL(C, n). Sugest ao: e elementar constatar diretamente que ABA1 SL(C, n) sempre que A GL(C, n) e B SL(C, n) mas, equivalentemente, o resultado pode ser tamb em justicado evocando-se o Exerc cio E. 2.58, recordando para tal que o determinante e um homomorsmo de GL(C, n) no grupo (C \ {0}, ) dos complexos n ao-nulos com o produto denido pela multiplica c ao. Cosets por subgrupos normais
Nesse contexto, a seguinte proposi ca o e fundamental.
Proposi c ao 2.2 Seja G um grupo e seja N um subgrupo de G. Ent ao, uma condi ca o necess aria e suciente para que possamos identicar (G/N )l com (G/N )r , ou seja, para que tenhamos [g ]l = [g ]r para todo g G, e que N G, ou seja, que N seja um subgrupo normal de G. Prova. Por deni ca o, g [g ]l se e somente existe n N tal que g 1 g = n, o que e verdade se e somente se g g 1 = gng 1 . 1 Mas g [g ]r se e somente se g g N . Assim [g ]l = [g ]r para todo g G se e somente se gng 1 N para todo g G e n N , o que e verdade se somente se N e um subgrupo normal de G. Com isso, caso N G, denimos [g ] := [g ]l = [g ]r para todo g G e denimos o coset de G por N por G/N := (G/N )l = (G/N )r , ou seja, G/N = {[g ], g G}. Advert encia. O leitor deve ser advertido aqui que, infelizmente, e comum na literatura denotar o coset ` a esquerda (G/H )l por G/H , mesmo quando H n ao e normal (vide, por exemplo, [166] ou [75], entre outros). Evitaremos fazer isso, pois isso pode levar a uma confus ao de conceitos. A co es ` a direita e ` a esquerda sobre o coset por um subgrupo normal
Se H e um subgrupo qualquer de G, denimos p aginas acima uma a ca o transitiva ` a esquerda : G (G/H )l (G/H )l e uma a ca o transitiva ` a direita : G (G/H )r (G/H )r . Fica claro pela Proposi ca o 2.2 que se N G,
Cap tulo 2
101/1702
podemos denir tanto : G (G/N ) G/N tal que G (G/N ) (g, [f ]) g ([f ]) := [gf ] G/N
como uma a ca o ` a esquerda de G sobre G/N quanto : G (G/N ) G/N tal que G (G/N ) (g, [f ]) g ([f ]) := [f g ] G/N
como uma a ca o ` a direita de G sobre G/N . Ambas as a co es agem transitivamente. O grupo quociente de G por N
Subgrupos normais s ao importantes, pois com eles podemos fazer da cole ca o de classes de equival encia G/N um grupo, denominado grupo quociente de G por N . A constru ca o e a seguinte. muito f Seja N G. Podemos fazer de G/N um grupo denindo o produto como [g ]N [h]N = [gh]N . E acil ver que, se esta express ao est a bem denida, ela de fato representa um produto associativo na cole ca o de classes de equival encia 1 1 G/N . O elemento neutro seria a classe [e]N , onde e e a identidade de g . Por m, [g ] = [ g ] . O ponto n a o-trivial e N N mostrar que a deni ca o de produto como [g ]N [h]N = [gh]N faz sentido, ou seja, e independente dos elementos tomados nas classes de g e h. Para isso precisaremos que N seja normal. O que temos de fazer e mostrar que se g N g e h N h ent ao g h N gh, ou seja, precisamos mostrar que se g g 1 N e h h1 N ent ao g h (gh)1 N . Mas, de fato, tem-se que g h (gh)1 = g h h1 g 1 = g g 1 g (h h1 )g 1 .
Agora, por hip otese, h h1 N . Da , como N e normal ( e aqui que essa hip otese entra pela primeira vez), g (h h1 )g 1 1 N . Como, tamb em pela hip otese, g g N e N e um subgrupo, conclu mos que g h (gh)1 N , ou seja, g h N gh. Assim [g ]N [h]N = [gh]N est a bem denido e faz das classes G/N um grupo. Esse grupo e denominado de grupo quociente de G por N . A no ca o de grupo quociente e muito importante na teoria de grupos e iremos explorar algumas das aplica co es nessas notas. Adiante usaremo-la para construir a no ca o de produto tensorial e soma direta de v arios objetos, tais como grupos, algebras etc. A no ca o de grupo quociente e importante por permitir estudar a rela ca o de certos grupos entre si. Mais adiante, por exemplo, mostraremos que o grupo SO(3) e isomorfo ao grupo SU(2)/{, }, um resultado de direto interesse f sico na Mec anica Qu antica. A no ca o de grupo quociente e tamb em muito importante em problemas combinat orios envolvendo grupos, mas n ao falaremos disso aqui. Para uma discuss ao mais ampla, vide [165], [166] ou [136].
2.2.3
O Centro de um Grupo. Centralizadores e Normalizadores
Seja G um grupo. O conjunto dos elementos de G que t em a propriedade de comutarem com todos os elementos de G e denominado o centro do grupo G e e freq uentemente denotado por31 Z(G). Em s mbolos: Z(G) := h G| hg = gh para todo g G .
O centro de um grupo
Note que Z(G) nunca e um conjunto vazio, pois o elemento neutro de G sempre pertence e Z(G). Em alguns grupos, por em, esse pode ser o u nico elemento de Z(G). Esse e o caso, por exemplo, do grupo de permuta co es de n elementos (por que?). e sempre um subgrupo Abeliano de G. E. 2.60 Exerc cio. Mostre que Z(G) elementar constatar que para qualquer grupo G, seu centro Z(G) igualmente E e um subgrupo normal de G. E elementar constatar que se G e Abeliano ent ao Z(G) = G.
31 O
emprego da letra Z provavelmente provem da palavra alem a Zentrum.
Cap tulo 2
102/1702
Centralizadores e normalizadores
Seja G um grupo e F um subconjunto n ao vazio de G.
O chamado normalizador de F (em G), denotado por N (F, G) (ou simplesmente por N (F ), quando G e subentendido), e o conjunto de todos os elementos g G tais que gF g 1 = F . O chamado centralizador de F (em G), denotado por C (F, G) (ou simplesmente por C (F ), quando G e subentendido), e o conjunto de todos os elementos de G que comutam com todos os elementos de F : C (F, G) := g G| gf = f g para todo f F .
Dado um elemento h G, denotamos por hF h1 o conjunto de todos os elementos de G que sejam da forma hf h1 para algum f F , ou seja, hF h1 := {hf h1 , f F }.
E. 2.61 Exerc cio. Mostre que o centralizador de F G e um subgrupo de G. E. 2.62 Exerc cio. Se F G, mostre que o normalizador N (F ) N (F, G) de F em G e um subgrupo de G. Mostre que se F e um subgrupo de G ent ao F e normal em rela c ao a N (F ) (ou seja, F N (F )) e que se H e um subgrupo de G tal que F e normal em rela c ao a H (ou seja, F H ), ent ao H N (F ) e, portanto, N (F ) e o maior subgrupo de G em rela c ao ao qual F e normal. O centro de GL(C, n) Como exerc cio vamos determinar o centro de GL(C, n). Se A Z GL(C, n) ent ao AB = BA para toda B ea GL(C, n). Tomemos, em particular, uma matriz B da forma B = + E a, b , onde E a, b , com a, b {1, . . . , n}, matriz cujo elemento ij e nulo a menos que i = a e que j = b, em cujo caso (E a, b )ij = 1. Em s mbolos, (E a, b )ij = ia jb . (Antes de prosseguir, conven ca-se que + E a, b GL(C, n), notando que det( + E a, b ) = 0). Agora, como AB = BA, a, b a, b segue que AE = E A. Pela regra de produto de matrizes, isso signica
n n
(AE
a, b
)ij =
k=1
Aik (E
a, b
)kj =
k=1
Aik ka jb = Aia jb
(E
a, b
A)ij =
(E
k=1
a, b
)ik Akj =
k=1
ia kb Akj = Abj ia .
Assim, Aia jb = Abj ia . Tomando-se j = b, conclu mos Aia = Abb ia . Para i = a isso diz que Aaa = Abb e, como a e b s ao arbitr arios, conclu mos dessa igualdade que Abb = , constante independente de b. Da , Aia = ia , o que signica que A = . Como det(A) = 0, devemos ter = 0. Para futura refer encia expressamos nossas conclus oes na forma de uma proposi ca o: Proposi c ao 2.3 O centro do grupo GL(C, n), ou seja, Z GL(C, n) , coincide com o conjunto de todas as matrizes da forma , com = 0, ou seja, e o conjunto das matrizes n ao-nulas que s ao m ultiplos da unidade. Em s mbolos, Z GL(C, n) = {, C, = 0} .
Como conseq u encia podemos armar que se uma matriz A Mat (C, n) comuta com todas as demais matrizes de Mat (C, n) ent ao A = para algum C. e o conjunto de todas as matrizes da forma , com C satisfazendo E. 2.63 Exerc cio. Mostre que o centro de SL(C, n) n = 1. Mostre que esse grupo e isomorfo ao grupo Zn .
Cap tulo 2
103/1702
e o conjunto de todas as matrizes da forma , com R satisfazendo E. 2.64 Exerc cio. Mostre que o centro de SL(R, n) n = 1. Esse grupo e {} quando n e mpar e {, } quando n e par. (Lembre-se que SL(R, n) e formado apenas por matrizes reais).
2.2.4
Grupos Gerados por Conjuntos. Grupos Gerados por Rela c oes
Suporte de uma fun c ao
Seja f : X G uma fun ca o de um conjunto n ao-vazio X em um grupo G. O suporte de f , denotado por supp (f ), e o conjunto de todos os pontos x X tais que f (x) = e, onde e e a unidade de G: supp (f ) := {x X | f (x) = e}. Uma fun ca o f : X G e dita ser de suporte nito se seu suporte for um conjunto nito. Grupo Abeliano livremente gerado por um conjunto
Uma no ca o importante que usaremos adiante e a de grupo Abeliano livremente gerado por um conjunto X . Seja X um f conjunto. Seja F (X ) a cole ca o de todas as fun co es de suporte nito de X em Z. E acil ver que F (X ) tem naturalmente uma estrutura de grupo Abeliano, denindo, para f , f F (X ) o produto de f e f como sendo o elemento f f = (f + f ) de F (X ) dado por (f + f )(x) = f (x) + f (x) . (2.27) claro que esse (f + f ) tem suporte nito. O elemento neutro e de F (X ) para todo x X . E e claramente a fun ca o identicamente nula. Pelo fato de F (X ) ter essa estrutura natural de grupo F (X ) e denominado grupo Abeliano livremente gerado pelo conjunto X . Para x X vamos denotar por x a fun ca o caracter stica de x: x (y ) := 1, se y = x 0, se y = x . (2.28)
Claramente x F (X ). Dado que cada f F (X ) tem suporte nito, pode-se escrev e-lo da forma
N
f =
n=1
an x n ,
(2.29)
para valores de N e dos an s dependentes de f , com {x1 , . . . , xN } = supp f e com ai Z para i = 1, . . . , N . Com um agrante abuso de linguagem e costume escrever (2.29) da forma
N
f =
n=1
an xn ,
(2.30)
onde ca, por assim dizer, subentendido que aqui os xn s representam n ao os elementos de X mas sim suas fun co es caracter sticas (X pode ser um conjunto qualquer, de modo que opera co es como soma de elementos de X ou multiplica ca o de elementos de X por um inteiro podem n ao serem sequer denidas). f E acil vericar que F (X ) e um grupo Abeliano livre (da seu nome), o que quer dizer que n ao h a em F (X ) nenhuma rela ca o n ao-trivial entre seus elementos, a n ao ser aquela que lhe confere Abelianidade: f f f 1 f Rela co es e grupos gerados m odulo rela co es
1
= e.
Vamos passar agora a uma constru ca o muito importante, a de grupo Abeliano livremente gerado por um conjunto m odulo rela co es. Vamos apresentar essa constru ca o de forma bem geral. por Seja J um conjunto (em princ pio arbitr ario) de ndices e sejam ent ao, para cada j J , elementos de F (X ) dados
n(j )
rj :=
i=1
j, i xj, i ,
(2.31)
Cap tulo 2
104/1702
onde, para cada j J , n(j ) N e, para todo j J e i {1, . . . , n(j )}, tem-se j, i Z e xj, i X com xj, i = xj, i se i = i . Denotamos R := {rj , j J }. Os elementos de R ser ao chamados rela co es. Seja ent ao R o subgrupo de F (X ) formado por todos os elementos de F (X ) que s ao combina co es lineares nitas de rj s com coecientes em Z: s R s = s1 rj1 + + sm rjm , para certos si Z e m N, que dependem de s. R e dito ser o subgrupo de F (X ) gerado pelos rj s.
(2.32)
Por ser um subgrupo de um grupo Abeliano, R e normal. Assim, podemos denir o grupo Abeliano livremente gerado por X , m odulo as rela co es R como sendo o grupo F (X )/R. Note-se que [R]R = e, o que equivale a dizer que os elementos de R s ao identicados como zero (da serem chamados de rela co es, pois reetem identidades que n ao existiam em F (X ) e que est ao sendo agora impostas em F (X )/R). * Mais adiante vamos usar as deni co es e constru co es acima nas deni co es de produto tensorial de grupos Abelianos e de espa cos vetoriais.
2.2.5
O Produto Direto e o Produto Semi-Direto de Grupos. O Produto Tensorial de Grupos Abelianos
Vamos aqui descrever alguns procedimentos importantes que permitem construir um grupo a partir de outros grupos dados: o produto direto e o produto semi-direto de grupos. Para o caso de grupos Abelianos descreveremos tamb em o chamado produto tensorial, de import ancia na deni ca o de produtos tensoriais de espa cos vetoriais.
2.2.5.1
O Produto Direto de Grupos
Se G e H s ao dois grupos, cujas identidades s ao eG e eH , respectivamente e por vezes muito importante fazer do produto Cartesiano G H um grupo. A maneira mais f acil e denir o produto de dois pares ordenados (g1 , h1 ), (g2 , h2 ), com g1 , g2 G e h1 , h2 H , por (g1 , h1 ) (g2 , h2 ) := (g1 g2 , h1 h2 ) . O leitor pode facilmente se convencer que esse produto e associativo, que (eG , eH ) e o elemento neutro e que (g, h)1 = (g 1 , h1 ).
O produto direto de dois grupos
Isso faz de G H um grupo, denominado produto direto de G e H e denotado tamb em por G H (vide coment ario sobre a nota ca o adiante). Alternativamente, esse grupo pode ser chamado tamb em de soma direta de G e H e denotado por G H . No caso de haver uma fam lia nita de grupos envolvida n ao h a distin ca o entre a no ca o de produto direto e de soma direta. Vide adiante. ao grupos isomorfos. E. 2.65 Exerc cio. Mostre que os produtos diretos G H e H G s Produto direto e soma direta de cole co es arbitr arias de grupos
As id eias de acima podem ser generalizadas com as deni co es de produtos diretos e somas diretas de cole co es arbitr arias de grupos (n ao necessariamente Abelianos). Seja J um conjunto arbitr ario de ndices e G := {Gj , j J } uma cole ca o de grupos. Seja o produto Cartesiano32 G := Gj . Podemos fazer de G um grupo denindo o produto de dois elementos G g = gj , G h = hj
32 Para
j J
j J
j J
a nota ca o, vide p agina 32.
Cap tulo 2
105/1702
como g h = Gp =
O produto direto Gp possui um subgrupo importante, aquele formado por elementos
G
j J
ou por Gp =
j J
j J
e dito ser o produto direto dos grupos Gj , j J , e ser a denotado por gj hj . Com essa estrutura G Gj . Vide coment ario sobre nota ca o, adiante.
n umero nito de gj s e distinto da identidade ej do respectivo grupo Gj . Esse subgrupo e dito ser a soma direta dos grupos Gj , j J , e e denotado por Gs = Gj .
j J
g
j J
Gp onde apenas um
Coment ario sobre a nota ca o. O uso dos s mbolos
{Gj , j J } n ao e universal. Muitos autores, especialmente em textos mais antigos, usam o s mbolo
G
j J
ou
j J
Gj para denotar o produto direto da fam lia de grupos Gj . Evitamos

j J
faz e-lo, pois o s mbolo e mais freq uentemente empregado para denotar produtos tensoriais de grupos Abelianos, uma importante observar tamb no ca o que introduziremos na Se ca o 2.2.5.3, p agina 107. E em que no caso de J ser um conjunto ao h a distin ca o entre o produto direto e a soma direta: Gj = Gj (se J for nito). nito n
j J j J
Neste ponto devemos gastar algumas palavras sobre a quest ao da associatividade das constru co es de acima. Dados tr es grupos G1 , G2 e G3 , podemos, repetindo o procedimento de constru ca o da soma direta de dois grupos, construir os grupos G1 (G2 G3 ) e (G1 G2 ) G3 , assim como podemos construir diretamente o grupo G1 G2 G3 . A distin ca o entre esses tr es objetos, enquanto conjuntos, muito se assemelha ` a distin ca o entre produtos Cartesianos de tr es conjuntos de se notar tamb que zemos ` a p agina 33 e e conveniente ignor a-la na grande maioria das situa co es. E em que se trata de tr es grupos isomorfos, pois 1 : G1 (G2 G3 ) G1 G2 G3 , 2 : (G1 G2 ) G3 G1 G2 G3 , 1 a1 (a2 a3 ) := a1 a2 a3 a1 a2 a3
2 ((a1 a2 ) a3 ) :=
s ao dois isomorsmos de grupo, como facilmente se constata, os quais s ao denominados isomorsmos can onicos.
2.2.5.2
O Produto Semi-Direto Grupos
Dados dois grupos G e H h a uma outra maneira de fazer de G H um grupo al em do produto direto. Para tal e necess ario que exista uma a ca o de G em H por automorsmos de H . Expliquemos melhor isso. Lembremos que um automorsmo de um grupo H e um isomorsmo de H em si mesmo : H H . Uma a ca o (` a esquerda) de G sobre H por automorsmos e um fun ca o : G H H tal que a cada par (g, h) G H associa um elemento denotado por g (h) de H de tal forma que as seguintes condi co es sejam satisfeitas: 1. Para todo g G, a fun ca o g () : H H e um automorsmo de H , ou seja, g (h)g (h ) = g (hh ), sendo que 1 g () : H H e bijetora com (g ) = g1 . 2. Para todo h H vale eG (h) = h. 3. Para todo h H vale g (g (h)) = gg (h) para quaisquer g, g G. Acima eG e eH s ao as unidades de G e H , respectivamente. E. 2.66 Exerc cio-exemplo. Um exemplo importante e o seguinte. Seja N uma a c ao (` a esquerda) de G sobre N por automorsmos. Verique! G. Ent ao, com n N , g (n) := gng 1 dene
O produto semi-direto de dois grupos
Pela deni ca o geral, tem-se pelas propriedades 1, 2 e 3 acima que para quaisquer g G e h H g (eH )h = g (eH )g (g1 (h)) = g (eH g1 (h)) = g (g1 (h)) = h ,
Cap tulo 2
106/1702
Se G e H s ao grupos e : G H H e uma a ca o ` a esquerda de G sobre H por automorsmos, ent ao podemos denir em G H um produto de dois pares ordenados (g1 , h1 ), (g2 , h2 ), com g1 , g2 G e h1 , h2 H , por (g1 , h1 ) (g2 , h2 ) := (g1 g2 , h1 g1 (h2 )) . E. 2.67 Exerc cio importante. Mostre que esse produto e associativo, que (eG , eH ) e a unidade e que para quaisquer g G, h H tem-se (g, h)1 = (g 1 , g1 (h1 )). Com isso G H adquire a estrutura de um grupo, denominado produto semi-direto de G por H pelo automorsmo : G H H , ou simplesmente produto semi-direto de G por H quando um automorsmo : G H H espec co e subentendido. Na literatura, o produto semi-direto de G por H e denotado de v arias formas: por G H , por G H , por G H , ou por por G H quando um automorsmo : G H H espec co e subentendido. Nestas notas adotaremos as duas u ltimas formas. Exemplos
o que implica g (eH ) = eH para todo g G.
I. Seja G um grupo e N
G. Ent ao, para g1 , g2 G e n1 , n2 N o produto

1 (g1 , n1 ) (g2 , n2 ) := (g1 g2 , n1 g1 n2 g1 )
dene o grupo G N , produto semi-direto de um grupo G por um subgrupo normal N atrav es do automorsmo natural. II. Considere o grupo G, formado por todos os n umeros reais n ao-nulos com o produto dado pela multiplica ca o usual e o grupo H , formado por todos os reais com o produto dado pela soma: G = (R \ {0}, ) e H = (R, +).
Para todo a R \ {0} e x R denimos : G H H por a (x) := ax. Para cada a G, tem-se que a e bijetora, com inversa dada por 1/a . Fora isso, a (x) + a (y ) = ax + ay = a(x + y ) = a (x + y ). Assim, a e um automorsmo (condi ca o 1. da deni ca o acima). Fora isso, para todo x H , 1 (x) = x (condi ca o 2.). Por m, para todo x H , a (b (x)) = abx = ab (x), para quaisquer a, b G (condi ca o 3.). Conclu mos que e uma a ca o ` a esquerda de G sobre H por automorsmos. Assim, fazemos de G H um grupo G
H
com o produto
(a, x) (b, y ) := (ab, x + ay ) . Para interpretar o que esse grupo G H signica, vamos denir uma a ca o33 de G seguinte forma. Para (a, x) G H e z R, denimos ((a, x), z ) := az + x . Para vericar que isso e uma a ca o notemos as seguintes propriedades: i. para cada (a, x) xo ((a, x), z ) e uma fun ca o bijetora de R em R (lembre-se que a = 0). ii. Para todo z R, ((1, 0), z ) = z . iii. ((a, x), ((b, y ), z )) = = ((a, x), bz + y ) = a(bz + y ) + x = abz + (x + ay ) ((ab, x + ay ), z ) = ((a, x) (b, y ), z ) . O elemento neutro e o par (1, 0) e (a, x)1 = (1/a, x/a).
H
sobre o conjunto R da
Isso mostrou que e uma a ca o de G H sobre o conjunto R. Como vemos, a a ca o de um elemento (a, x) consiste em uma combina ca o de uma multiplica ca o por a = 0 seguida por uma transla ca o por x R. Isso exibe o signicado geom etrico do grupo G H . Vamos a um outro exemplo semelhante. III. Considere o conjunto de todas as opera co es do espa co tridimensional que envolvem rota co es e transla co es. Por exemplo, considere-se a opera ca o na qual cada vetor x e primeiramente rodado por uma matriz de rota ca o R SO(3) e em seguida e transladado por um vetor x0 : x Rx + x0 . (2.33)
33 O
conceito de a ca o de um grupo em um conjunto foi denido a ` p agina 90.
Cap tulo 2
107/1702
A composi ca o de duas de tais opera co es conduz ` a transforma ca o x R (Rx + x0 ) + x 0 , ou seja,

x (R R)x + x 0 + R x0 .
(2.34)
O espa co vetorial R3 e naturalmente um grupo Abeliano em rela ca o ` a adi ca o de vetores. Se R SO(3), R (x0 ) := Rx0 dene uma a ca o por automorsmos de SO(3) sobre R3 . A express ao (2.34) inspira a deni ca o do produto semi-direto SO(3) R3 por (R , x 0 ) (R, x0 ) = (R R, x0 + R x0 ) . E. 2.68 Exerc cio. Verique que a transforma c ao (2.33) dene uma a c ao ` a esquerda do grupo SO(3) R3 . Deni c ao. Os grupos En := SO(n)
R n R 3
sobre o conjunto
s ao denominados grupos Euclidianos34 .
IV. Seja V um espa co vetorial (e, como tal, um grupo Abeliano em rela ca o ` a soma de vetores) e seja Aut(V ) a cole ca o de todas as aplica co es lineares bijetoras de V em V . Por exemplo V = Rn e Aut(Rn ) e o conjunto de todas as matrizes reais n n invers veis. Ent ao, fazemos de Aut(V ) V um grupo, denindo (A, v ) (B, u) := (AB, v + Au) . Esse grupo e por vezes denominado grupo am do espa co vetorial V . Observa ca o. O caso V = R corresponde exatamente ao exemplo II, acima. Mencionamos, por m, que o grupo de Poincar e, introduzido a ` p agina 895, e tamb em um exemplo de um grupo denido como um produto semi-direto de dois grupos, a saber, o produto semi-direto do grupo das transforma co es de Lorentz com grupo das transla co es no espa co-tempo.
2.2.5.3
Produtos Tensoriais de Grupos Abelianos
A no c ao intuitiva de produto tensorial de dois grupos
Recordemos primeiramente na situa ca o mais simples a no ca o de soma direta de dois grupos Abelianos, introduzida na Se ca o 2.2.5.1, p agina 104. Sejam A e B dois grupos Abelianos, com identidades eA e eB (e cujas opera co es de produto denotaremos ambas pelo mesmo s mbolo +). Desejamos encontrar uma maneira de fazer do produto Cartesiano A B um grupo tamb em. Uma maneira de fazer isso e denir a soma de dois pares ordenados (a, b), (a , b ) A B por (a, b) + (a , b ) := (a + a , b + b ) . (2.35)
O leitor pode facilmente constatar que essa opera ca o e uma opera ca o bin aria de A B em si mesmo, que ela e associativa, que tem por elemento neutro o par (eA , eB ) e que para cada (a, b) A B a inversa e (a, b)1 = (a, b), onde a e o elemento inverso de a em A, e analogamente para b. Portanto, com esse produto, A B e um grupo Abeliano, denominado soma direta de A e B ou produto direto de A e B 35 e denotado pelo s mbolo A B . Com essa estrutura de grupo em mente, os pares ordenados (a, b) s ao freq uentemente denotados pelo s mbolo a b. A deni ca o de produto tensorial de dois grupos Abelianos A e B , que denotaremos por A B , e distinta da de soma direta. A id eia b asica, por em, e a mesma, ou seja, tentar fazer do produto Cartesiano A B um grupo, mas a regra de produto e muito diferente daquela dada em (2.35). Em primeiro lugar, os elementos de A B s ao somas formais nitas de pares ordenados de A B como (a, b) + (a , b ), mas n ao impomos a rela ca o (2.35). O que realmente entendemos por soma formal ser a precisado adiante, fazendo uso do conceito de grupo Abeliano livremente gerado por um conjunto, uma no ca o introduzida na Se ca o 2.2.4, p agina 103. Por ora quemos apenas com a no ca o intuitiva. Para dar a A B uma estrutura de grupo, desejamos impor algumas condi co es ` as somas formais acima. Primeiramente impomos que (a, b) + (a , b ) = (a , b ) + (a, b) ,
34 Para 35 A
alguns autores, os grupos Euclidianos s ao os grupos O(n) Rn . distin ca o entre produto direto e soma direta s o se faz quando uma cole ca o n ao-nita de grupos e envolvida. Vide Se ca o 2.2.5.1, p agina
104.
Cap tulo 2
108/1702
para todos a, a A, b, b B . Em segundo lugar, impomos que (a + a , b) = (a, b) + (a , b) e que (a, b + b ) = (a, b) + (a, b ) para todos a, a A, b, b B . O estudante deve notar que essas imposi co es s ao mais limitadas que aquelas de (2.35). As imposi co es acima s ao inspiradas na bem-conhecida propriedade de transitividade de produtos e somas de n umeros reais ou complexos: (x + x )y = xy + x y e x(y + y ) = xy + xy . ao identicados E. 2.69 Exerc cio. Mostre que com as regras de soma dadas acima todos os pares (eA , b) e (a, eB ) s entre si e com o elemento neutro da opera c ao de soma de pares ordenados. Fora isso, o elemento inverso de um par (a, b) e (a, b) = (a, b). Mostre que, com isso, A B e um grupo Abeliano, denominado Produto Tensorial dos Grupos Abelianos A e B. Com essa estrutura de grupo em mente, os pares ordenados (a, b) s ao freq uentemente denotados pelo s mbolo a b. A deni ca o geral abstrata de produtos tensoriais de uma cole ca o nita de grupos Abelianos faz uso do conceito de grupo livremente gerado por um conjunto, no ca o discutida na Se ca o 2.2.4, p agina 103. Usaremos a nota ca o l a empregada. Comecemos com o caso de dois grupos Abelianos para passarmos depois ao caso de uma cole ca o nita de grupos Abelianos. Sejam A1 e A2 dois grupos Abelianos cujo produto de grupo denotaremos aditivamente: com o s mbolo +. Seja X = A1 A2 . Seja em F (X ) = F (A1 A2 ) o conjunto R de rela co es dado por R :=
r F (X ) r = (a1 + a 1 , a2 ) (a1 , a2 ) (a1 , a2 ) ou r = (a1 , a2 + a 2 ) (a1 , a2 ) (a1 , a2 ) , com a1 , a1 A1 e a2 , a2 A2 .
O produto tensorial de uma cole c ao nita de grupos Abelianos
(2.36)
Seja R = R(A1 A2 ) o subgrupo de F (A1 A2 ) gerado por R. Chegamos assim ` a deni ca o do grupo Abeliano A1 A2 , o produto tensorial de A1 e A2 , que e denido como A1 A2 := F (A1 A2 )/R(A1 A2 ). Nota ca o. Para a1 A1 e a2 A2 denotaremos por a1 a2 o elemento de A1 A2 que corresponde (na nota ca o discutida acima) ` a fun ca o (a1 , a2 ) . Essas id eias podem agora ser facilmente generalizadas para o caso de uma cole ca o nita A1 , . . . , An de grupos Abelianos. Como acima, consideramos X = A1 An . Seja em F (X ) = F (A1 An ) o conjunto R de rela co es n dado por R = k=1 Rk , onde Rk := r F (X )| r = (a1 , . . . , ak1 , ak + a k , ak+1 , . . . an ) (a1 , . . . , ak1 , ak , ak+1 , . . . an ) (a1 , . . . , ak1 , a k , ak+1 , . . . an ) , com aj Aj para todo j = 1, . . . , n e a k Ak .
Seja R = R(A1 An ) o subgrupo de F (A1 An ) gerado por R. Chegamos assim ` a deni ca o do grupo Abeliano A1 An , o produto tensorial de A1 , . . . , An , que e denido como A1 An := F (A1 An )/R(A1 An ).
Os elementos de A1 An s ao denotados por a1 an , com ak Ak para cada k . O elemento neutro de A1 An e da forma e1 a2 an = = a1 an1 en , (2.37) onde, para cada k , ek e o elemento neutro de Ak . Isso se v e do fato que vale a1 a2 an + e 1 a2 an . . . a1 a2 an + a1 a2 e n = . . . = (a1 + e1 ) a2 an = a1 a2 an , . . . a1 a2 (an + en ) = a1 a2 an .
Cap tulo 2
109/1702
As igualdades em (2.37) seguem da unicidade do elemento neutro de um grupo. Como facilmente se constata, a inversa de um elemento da forma a1 a2 an e a1 a2 an = (a1 ) a2 an = = a1 an1 (an ) , onde ak e a inversa de ak em Ak . Novamente, as igualdades acima seguem da unicidade da inversa em um grupo.
Como discutimos no caso de somas diretas, os grupos A1 (A2 A3 ), (A1 A2 ) A3 e A1 A2 A3 s ao isomorfos, com os isomorsmos can onicos denidos por 1 : A1 (A2 A3 ) A1 A2 A3 , 1
k k k k ak 1 a2 a3
:=
k
k k k ak 1 a2 a3 ,
2 : (A1 A2 ) A3
A1 A2 A3 ,
2
k
k k k ak 1 a2 a3
:=
k
k k k ak 1 a2 a3 ,
e analogamente para o caso em que se tem uma cole ca o maior de fatores. Acima, k Z e ak i Ai para todo i e k , as somas em k sendo, naturalmente, nitas. E. 2.70 Exerc cio. Mostre que 1 e 2 , denidos acima, s ao, de fato, isomorsmos de grupo.
2.3
Espa cos Vetoriais. Estruturas e Constru c oes B asicas
Nesta se ca o apresentaremos algumas estruturas e constru co es b asicas da teoria dos espa cos vetoriais. Discutiremos a no ca o de espa co quociente e apresentaremos duas maneiras distintas de construir espa cos vetoriais a partir de uma cole ca o dada de espa cos vetoriais (sobre um mesmo corpo), a chamada soma direta espa cos vetoriais e o chamado produto tensorial de espa cos vetoriais. Um coment ario pertinente (destinado aos estudantes mais avan cados) e que as constru co es que apresentaremos adiante correspondem ` as no co es de soma direta e produto tensorial alg ebricos. Isso signica que outras estruturas, como uma topologia, ou propriedades, como completeza, n ao s ao necessariamente herdadas pela constru ca o. Assim, por exemplo, o produto tensorial alg ebrico de dois espa cos de Banach n ao e necessariamente um espa co de Banach. Para tal e necess ario introduzir um completamento extra, que pode n ao ser u nico.
2.3.1
Bases Alg ebricas de um Espa co Vetorial
Seja V um espa co vetorial sobre um corpo K. Um conjunto nito u1 , . . . , un V de vetores e dito ser linearmente dependente se existir um conjunto de escalares 1 , . . . , n K, nem todos nulos, tais que 1 u1 + + n un = 0 . Um conjunto arbitr ario de vetores e dito ser linearmente independente se n ao possuir nenhum subconjunto nito que seja linearmente dependente. Combina co es lineares
Depend encia linear
Para um conjunto nito de vetores {u1 , . . . , un } V e de escalares {1 , . . . , n } K, uma express ao como 1 u1 + + n un
e dita ser uma combina ca o linear dos vetores u1 , . . . , un . Varredura linear
Seja C V um conjunto de vetores. A varredura linear (linear span) de C , denotado por span (C ) e o conjunto de todos os vetores de V que podem ser escritos como uma combina ca o linear nita de elementos de C .
Cap tulo 2
110/1702
Bases alg ebricas em espa cos vetoriais
Aqui I designa um conjunto arbitr ario n ao-vazio de ndices.
Uma base alg ebrica36 em um espa co vetorial V e um conjunto B = {bi , i I } de vetores linearmente independentes tais que span (B ) = V e tais que qualquer vetor u de V pode ser escrito de modo u nico como uma combina ca o linear nita de elementos de B . Se B e uma base alg ebrica, ent ao para cada u V existem univocamente denidos 1 , . . . , n K e i1 , . . . , in I tais que: u = 1 bi1 + + n bin . Os seguintes teoremas podem ser demonstrados com uso do Lema de Zorn (omitiremos as demonstra co es aqui. Vide, por exemplo, [79]). Teorema 2.4 Todo espa co vetorial V possui uma base alg ebrica, exceto o espa co vetorial trivial V = {0}. Teorema 2.5 Dado um espa co vetorial V (n ao-trivial), todas as bases alg ebricas em V t em a mesma cardinalidade.
Dimens ao alg ebrica
Um espa co vetorial e dito ser de dimens ao alg ebrica nita se possuir uma base alg ebrica nita. Se um espa co vetorial V tem dimens ao alg ebrica nita, sua dimens ao alg ebrica, ou simplesmente dimens ao e denida como sendo o n umero de elementos de sua base. Nem todo espa co vetorial tem uma base alg ebrica nita (vide exemplos abaixo). De modo geral, se um espa co vetorial possui uma base alg ebrica, sua dimens ao alg ebrica e denida como sendo a cardinalidade de suas bases alg ebricas (pelo Teorema 2.5 acima s ao todas iguais). Exemplo 1. V = Cn sobre o corpo dos complexos ou V = Rn sobre o corpo dos reais. Tais s ao bem conhecidos exemplos-prot otipo de espa cos vetoriais de dimens ao nita (= n). Seja P = conjunto de todos os polin omios de uma vari avel real com coecientes complexos: Pn (t) P, Pn (t) = an tn + + a1 t + a0 com t R, ai C, e dito ser um polin omio de grau n se an = 0. Exemplo 2. V = P sobre o corpo dos complexos. Este e claramente um espa co vetorial de dimens ao innita. V possui uma base alg ebrica, a saber, o conjunto de todos os polin omios da forma bn = tn , n = 0, 1, 2, . . ..
Esse exemplo pode parecer banal, e de fato o e, mas leva a um anti-exemplo curioso que mostra que a dimens ao alg ebrica de um espa co vetorial e tamb em fortemente dependente do corpo de escalares utilizado. Exemplo 4. V = R sobre o corpo dos racionais. A surpresa aqui e que este n ao e um espa co vetorial de dimens ao alg ebrica nita: n ao existe um conjunto nito {x1 , . . . , xm } de n umeros reais tais que todo x R possa ser escrito como x = r1 x1 + + rm xm ,
Exemplo 3. V = R sobre o corpo dos reais. O conjunto dos reais sobre o corpo dos reais e tamb em um espa co vetorial de dimens ao 1, a saber, uma poss vel base e formada pelo elemento 1: B = {1}, j a que, obviamente, qualquer elemento x R pode ser escrito como x = x 1, com x no corpo dos reais.
onde os n umeros ri s ao racionais. A raz ao e que, como Q e um conjunto cont avel, a cole ca o de n umeros que se deixam escrever como o lado direito e uma cole ca o cont avel (tem a mesma cardinalidade de Qm ). O conjunto R, por em, n ao e cont avel. Um resultado um tanto surpreendente diz, por em, que esse espa co vetorial possui uma base alg ebrica, ou seja, existe um conjunto H R tal que para cada x R existe um conjunto nito h1 , . . . , hn de elementos de H e um conjunto
36 Tamb em
denominada base de Hamel. Georg Hamel (1877-1954).
Cap tulo 2
111/1702
nito de racionais r1 , . . . , rn tais que x = r1 h1 + + rn hn . A demonstra ca o da exist encia de uma tal base faz uso do Lema de Zorn e pode ser encontrada em [28] ou [30]. Essa base e denominada base de Hamel de R. Uma conseq u encia curiosa da exist encia de bases de Hamel em R ser a discutida no t opico que se inicia ` a p agina 111. Outros exemplos menos dram aticos que mostram a depend encia da dimens ao com o corpo utilizado s ao os seguintes: sejam V1 = C sobre o corpo dos complexos e V2 = C sobre o corpo dos reais. V1 tem dimens ao 1, mas V2 tem dimens ao 2. Mais adiante faremos uso do seguinte resultado: Teorema 2.6 Se em um espa co vetorial V existir um conjunto {v1 , . . . , vn } de n vetores linearmente independentes, ent ao a dimens ao alg ebrica de V e maior ou igual a n. Prova. A demonstra ca o e feita por absurdo. Suponhamos que haja uma base B = {b1 , . . . , bk } em V com k < n. Ent ao podemos escrever v1 = 1 b1 + + k bk . pois B e uma base. Nem todos os i podem ser nulos. Supondo que k seja um elemento n ao-nulo, podemos escrever bk = (k )1 (v1 1 b1 k1 bk1 ) Analogamente, temos que v2 = 1 b1 + + k bk e, usando (2.38), podemos escrever v2 = 1 b1 + + k1 bk1 + 1 v1 . Os i n ao podem ser todos nulos, pois de outra forma ter amos v2 = 1 v1 , contrariando a hip otese de os vi s serem linearmente independentes. Suponhamos que k1 seja o elemento n ao-nulo, podemos escrever bk1 como uma combina ca o linear envolvendo {b1 , . . . , bk2 } e os vetores v1 e v2 . Prosseguindo, concluiremos ap os k passos que
vk+1 = 1 v1 + + k vk ,
(2.38)
contrariando a hip otese de que os vi s s ao linearmente independentes. Automorsmos descont nuos do grupo (R, +) Nota para os estudantes mais avan cados.
Neste t opico usaremos as bases de Hamel da reta real para ilustrar uma patologia cuja exist encia e por vezes mencionada na teoria de grupos, a saber, a exist encia de automorsmos descont nuos do grupo (R, +). Considere-se a equa ca o f (x + y ) = f (x) + f (y ) para todo x, y R. Podemos nos perguntar: que fun co es f : R R bastante claro que fun podem satisfaz e-la? E co es do tipo f (x) = cx, com c constante real, satisfazem f (x+y ) = f (x)+f (y ) para todo x, y R. Fora isso, f (x) = cx s ao cont nuas e s ao bije co es de R em R (a menos que c = 0). Ser ao essas as u nicas fun co es com a propriedade f (x + y ) = f (x)+ f (y ) para todo x, y R? Ser a que h a outras fun co es com essa propriedade e que n ao sejam cont nuas? Ser a que h a outras fun co es com essa propriedade, n ao-cont nuas, e que tamb em sejam bije co es de R em R? A resposta a essa u ltima pergunta e muito curiosa e conduz a uma classe de fun co es cuja exist encia ilustra algumas diculdades encontradas na teoria de grupos. Provemos em primeiro lugar a seguinte arma ca o:
Proposi c ao 2.4 Se f : R R satiszer f (x + y ) = f (x) + f (y ) para todo x, y R e f for cont nua em toda reta real R, ent ao f e da forma f (x) = cx para algum c, constante real. Historicamente esse pequeno resultado e devido a Cauchy37 . claro que, tomando Prova. Seja f cont nua satisfazendo f (x + y ) = f (x) + f (y ) para todo x, y R e f : R R. E x = y = 0 tem-se f (0) = f (0 + 0) = 2f (0) e, portanto f (0) = 0. Segue facilmente da que 0 = f (0) = f (x + (x)) = f (x) + f (x) e, portanto f (x) = f (x) para todo x R.
37 Augustin
Louis Cauchy (1789-1857).
Cap tulo 2
112/1702
Seja agora p inteiro positivo e x real, ambos arbitr arios. Teremos que f (px) = f ((p 1)x + x) = f ((p 1)x) + f (x) = f ((p 2)x) + 2f (x) etc. Repetindo p vezes esse proceder, conclu mos que f (px) = pf (x). Como f (x) = f (x), essa rela ca o vale para p negativo tamb em. Seja agora q inteiro, n ao-nulo. Ent ao, pelo que acabamos de provar, f (1) = f (q/q ) = qf (1/q ) e conclu mos que f (1/q ) = f (1)/q . Se ent ao tivermos um n umero racional r da forma r = p/q , com p inteiro e q inteiro n ao-nulo, teremos que f (r) = f (p/q ) = pf (1/q ) = (p/q )f (1) = rf (1). Finalizamos a prova evocando a continuidade de f e o fato que todo x real pode ser aproximado por um n umero racional: seja x R e rn , n N, uma seq u encia de n umeros racionais que converge a x, i.e., x = limn rn . Ent ao f (x) = f (limn rn ) = limn f (rn ) = (limn rn ) f (1) = xf (1). Na segunda igualdade usamos a hip otese (crucial!) que f e cont nua em toda parte. Denotando f (1) = c a arma ca o est a provada. Com esse resultado em m aos podemos nos perguntar: haver a fun co es n ao-cont nuas que satisfazem f (x + y ) = f (x) + f (y )? Talvez surpreendentemente, a resposta e positiva. N ao s o h a fun co es n ao cont nuas com essa propriedade, mas h a dentre elas fun co es bijetoras de R em R. Fun co es com tais caracter sticas um tanto patol ogicas podem ser constru das com o uso das assim chamadas bases de Hamel da reta real. Detalhemos. Seja o espa co vetorial V dos n umeros reais sob o corpo dos racionais. Como consideramos p aginas acima, esse espa co vetorial tem dimens ao alg ebrica innita, mas existe uma base H R de V , n ao-cont avel, denominada base de Hamel, tal que todo elemento x de R pode ser escrito como combina ca o linear nita ( unica!) por racionais de elementos de H , ou seja, para todo x R existe um n (que depende de x), racionais r1 , . . . , rn (que dependem de x) e elementos h1 , . . . , hn de H (que tamb em dependem de x) tais que x pode ser escrita (de forma u nica!) como x = r1 h1 + + rn hn . Denominaremos essa express ao a decomposi ca o de x em H .
Notemos que se x e y s ao n umeros reais e x = r1 h1 + + rn hn e y = r1 h1 + + rm h ao suas decomposi co es em m s H , ent ao a decomposi ca o de x + y e r1 h1 + + rn hn + r1 h1 + + rm hm .
Vamos denir uma fun ca o f : R R, da seguinte forma. Primeiramente xamos seus valores nos elementos de H tomando, para cada h H , f (h) := fh R, onde os n umeros fh s ao escolhidos arbitrariamente. Em segundo lugar, para qualquer x R, e cuja decomposi ca o em H seja x = r1 h1 + + rn hn , denimos f (x) := r1 f (h1 ) + + rn f (hn ) = ao n umeros reais e x = r1 h1 + + rn hn e y = r1 h1 + + rm h ao suas r1 fh1 + + rn fhn . Assim, se x e y s m s + + r f = f ( x ) + f ( y ). decomposi co es em H , teremos f (x + y ) = r1 fh1 + + rn fhn + r1 fh m hm 1
O leitor pode convencer-se que h a, para cada base de Hamel H , innitas fun co es desse tipo (devido ` a arbitrariedade da escolha dos fh s) e que todas s ao descont nuas, exceto se escolhermos fh = ch para todo h H , com uma constante c xa.
Espertamente, podemos tomar f como uma bije ca o de H em H , ou seja, podemos escolher38 fh H para todo h H e de modo que para todo h H exista um g H u nico tal que fg = h. Uma situa ca o trivial dessas e aquela na qual f e a identidade quando restrita a H : fh = h para todo h H , mas outras escolhas s ao tamb em poss veis. Se f for uma bije ca o de H em H , e f acil de se ver que imagem de f no dom nio R e toda a reta real R (mostre isso)! Al em disso, uma tal f , bijetora enquanto fun ca o de H em H , e igualmente bijetora como fun ca o de R em R. Mostremos isso. Sejam x e y R com decomposi co es x = r1 h1 + + rn hn e y = s1 g1 + + sm gm com rj , sk Q e hj , gk H e suponhamos que f (x) = f (y ). Isso signica que r1 fh1 + + rn fhn = s1 fg1 + + sm fgm . Como cada fhj e cada fgk e elemento de H , essa igualdade s o e poss vel se m = n, se fhj = fg(j) e se rj = s(j ) para todo j = 1, . . . , n, onde e um elemento do grupo de permuta co es de n elementos (ou seja, e uma bije ca o de {1, . . . , n} em si mesmo). Como f e uma bije ca o de H em si mesmo, segue que hj = g(j ) para todo j = 1, . . . , n. Assim,
n n n
x =
j =1
rj hj =
j =1
s (j ) g (j ) =
j =1
sj g j = y
Uma fun ca o que satisfa ca f (x + y ) = f (x) + f (y ) para todo x, y R e f : R R representa um endomorsmo do grupo (R, +). O que aprendemos no u ltimo par agrafo pode ser expresso na linguagem da teoria de grupos como a arma ca o que existem automorsmos de (R, +) que n ao s ao cont nuos. Esse fato ilustra algumas situa co es patol ogicas que s ao por vezes encontradas ou mencionadas no estudo de grupos cont nuos. Com o uso de fun co es f desse tipo e poss vel, por exemplo, construir subgrupos uniparam etricos n ao-cont nuos de um grupo de Lie dado ou representa co es n ao-cont nuas de tais subgrupos.
38 Que
e, portanto, f : R R e bijetora.
tal e poss vel e garantido pelo axioma da escolha Exerc cio.
Cap tulo 2
113/1702
Assim, por exemplo, se A e uma matriz real n n anti-sim etrica, ent ao O(t) = exp(tA), t R e um subgrupo uniparam etrico cont nuo de SO(n), pois O(0) = e O(t)O(t ) = O(t + t ) para todos t, t R, sendo os elementos de matriz de O(t) fun co es cont nuas de t. Se agora denirmos P (t) = exp(f (t)A), t R, para uma fun ca o f : R R, patol ogica como acima (ou seja, satisfazendo f (x + y ) = f (x) + f (y ) para todo x, y R, bijetora mas descont nua), ainda teremos P (0) = e P (t)P (t ) = P (t + t ) para todos t, t R, mas os elementos de matriz de P (t) n ao s ao fun co es cont nuas de t. Bases topol ogicas em espa cos vetoriais Nota para os estudantes mais avan cados.
O conceito de base alg ebrica n ao deve ser confundido com o de base topol ogica, conceito esse pertencente ao contexto dos espa cos vetoriais topol ogicos: Uma base topol ogica em um espa co vetorial topol ogico V e um conjunto B = {bi , i I } de vetores linearmente independentes tais que span (B ) e um conjunto denso em V , ou seja, o fecho de span (B ) e V. Uma base topol ogica e dita ser base topol ogica completa se n ao possuir nenhum subconjunto pr oprio que tamb em seja uma base topol ogica. A dimens ao topol ogica de um espa co vetorial e ent ao denida como sendo a cardinalidade das bases topol ogicas completas de V . Para ilustrar como os conceitos de base alg ebrica e base topol ogica s ao diferentes, consideremos novamente o seguinte Exemplo 4 acima:
Exemplo 5. V = R sobre o corpo dos racionais, com a topologia usual sobre R, tem uma base topol ogica completa de dimens ao nita: B = {1}. De fato, o conjunto {r 1, r Q} e denso em R. Esse espa co vetorial possui ent ao uma dimens ao topol ogica igual a um. co vetorial topol ogico sobre o corpo dos reais ou dos complexos e dito ser separ avel se possuir uma Deni c ao. Um espa base topol ogica cont avel.
2.3.2
O Dual Alg ebrico de um Espa co Vetorial
Seja V um espa co vetorial sobre um corpo K (por exemplo, o corpo C). Uma aplica ca o l : V K, denida sobre todo V, e dita ser um funcional linear se l(x + y ) = l(x) + l(y ) para todo x, y V e todo , K. E. 2.71 Exerc cio. Mostre que, de acordo com a deni c ao acima, vale para qualquer funcional linear l que l(0) = 0. O conjunto de todos os funcionais lineares de V em K e denominado espa co dual alg ebrico de V e denotado V . O conjunto V e feito um espa co vetorial (sobre K), atrav es da seguinte rela ca o: (l + m)(x) := l(x) + m(x), para todo l e m V ; , K e todo x V . O vetor nulo de V e o funcional linear que associa trivialmente todo vetor de V a zero: l(x) = 0, x V .
O seguinte teorema e verdadeiro e ser a implicitamente usado v arias vezes no que segue. Sua demonstra ca o e, como veremos, elementar mas instrutiva. Teorema 2.7 Seja um espa co vetorial V sobre um corpo K. Se um vetor v tem a propriedade que l(v ) = 0 para todo l V ent ao v = 0. Prova. Seja B uma base alg ebrica em V . Para cada elemento b B podemos associar um funcional linear lb , denido da seguinte forma. Como todo w V pode ser escrito como uma combina ca o linear nita de elementos de B , podemos sempre escrever w = wb b + w ,
Cap tulo 2
114/1702
claro que wb = 0 caso b n onde w e uma combina ca o linear nita de elementos de B \ {b} e wb K. (E ao compare ca na decomposi ca o de w em uma soma nita de elementos de B ). Denimos, ent ao lb (w) := wb , um exerc para todo vetor w V . E cio simples mostrar que, para cada b B , a aplica ca o lb : V K dada acima e um funcional linear. E. 2.72 Exerc cio. Mostre isso. Seja ent ao v um vetor como no enunciado do teorema. Se l(v ) = 0 para todo l V , vale obviamente que lb (v ) = 0 para todo b B . Isso, por em, trivialmente implica que v = 0, completando a demonstra ca o. Se A e B s ao espa cos vetoriais e A B ent ao B A . E. 2.73 Exerc cio. Justique essa ultima armativa. Nota c ao
Para x V e l V e freq uente usar-se a nota ca o l, x em lugar de l(x). A express ao l, x e muitas vezes dita essa nota ser o pairing, ou emparelhamento, entre l V e x V . E ca o e gracamente conveniente por expressar a igualdade de status entre V e V . Uma inconveni encia se d a em casos em que pode haver confus ao com a nota ca o de produto escalar. Com essa nota ca o, as propriedades de linearidade expressam-se como 1 l1 + 2 l1 , x = 1 l1 , x + 2 l2 , x e l, 1 x1 + 2 x2 = 1 l, x1 + 2 l, x2 ,
v alidas para todos l, l1 , l2 V , x, x1 , x2 V e 1 , 2 K. Base dual can onica Seja U um espa co vetorial sobre um corpo K e suponhamos que U tenha dimens ao nita, ou seja, que U possua
n i=1
uma base nita {e1 , . . . , en }, n N. Todo elemento de u U pode ser escrito na forma j = 1, . . . , n denamos j : U K por j (u) = uj .
ui ei com ui K. Para
elementar provar que cada j E e um funcional linear em U e, portanto, um elemento de U . Pela deni ca o, vale j ei = ij ,
para todos i, j = 1, . . . , n, ou seja, na nota ca o de emparelhamento, j , ei = ij . Em verdade o conjunto {1 , . . . , n } forma uma base em U , denominada base dual can onica da base {e1 , . . . , en }. De fato, se U teremos
n n n
(u) =
i=1
u i ei
=
i=1 n
u i ei
=
i=1
ei i (u) ,
para todo u U provando que =
ei i ,
i=1
o que estabelece que todo elemento de U e uma combina ca o linear de {1 , . . . , n }. Os elementos de {1 , . . . , n } n s ao linearmente independentes, pois se = 0 isso signica que para todo ej , j = 1, . . . , n, valer a 0 = i=1 i i n ( e ) = . j i=1 i i j
Cap tulo 2
115/1702
relevante comentar que a base dual de {e1 , . . . , en } E eu nica. De fato, se {1 , . . . , n } e { 1 , . . . , n } satisfazem j , ei = ij e j , ei = ij para todos i, j , ent ao j j , ei = 0 para todos i, j , o que implica que para cada j e para todo u U vale , u = 0, de onde conclui-se que j j j = j para todo j .
O dual topol ogico de um espa co vetorial
Seja V um espa co vetorial topol ogico. O conjunto de todos os funcionais lineares cont nuos sobre V e dito ser o dual topol ogico de V . O dual topol ogico ser a denotado neste texto por V . Note-se que V V .
Exemplo 1. Seja V = Cn , sobre o corpo dos complexos. Seja a1 , . . . , an um conjunto xo de n umeros complexos. Para qualquer vetor z = (z1 , . . . , zn ) Cn dena-se l(z ) = a1 z1 + + an zn . Ent ao l e um funcional linear em Cn . E. 2.74 Exerc cio. Verique. Em verdade, e poss vel demonstrar a rec proca: em Cn todo funcional linear e da forma acima para algum conjunto {a1 , . . . , an }. Essa armativa e um caso particular de um teorema importante conhecido como Lema de Riesz, que ser a demonstrado no contexto mais geral dos chamados espa cos de Hilbert, dos quais Cn e um exemplo. Seja P o conjunto de todos os polin omios de uma vari avel real com coecientes complexos: Pn (t) P, Pn (t) = an tn + + a1 t + a0 com t R, ai C, e dito ser um polin omio de grau n se an = 0. O conjunto P e claramente um espa co vetorial sobre os complexos. Exemplo 2. Para cada t0 R e p P, l(p) = p(t0 ) e um funcional linear em P. E. 2.75 Exerc cio. Verique. Esse exemplo pode ser generalizado: Exemplo 3. Sejam t1 , . . . , tn R, distintos, e a1 , . . . , an n umeros complexos. Para todo p P, denamos l(p) = a1 p(t1 ) + + an p(tn ) . Ent ao l e um funcional linear em P. E. 2.76 Exerc cio. Verique. Ou ltimo exemplo pode ser fortemente generalizado nos dois exemplos que seguem.
b a
Exemplos de funcionais lineares
Exemplo 3. Seja (a, b) um intervalo nito de R e h uma fun ca o complexa integr avel nesse intervalo (ou seja, |h(t)|dt ). Ent ao,
b
l(p) =
a
h(t) p(t) dt
est a denida para todo p P e dene um funcional linear em P. E. 2.77 Exerc cio. Justique as duas ultimas armativas. Exemplo 4. Seja a fun ca o g (x) = ex . Ent ao
l(p) =
g (t) p(t) dt .
est a denida para todo p P e dene um funcional linear em P. ultimas armativas. E. 2.78 Exerc cio. Justique as duas
Cap tulo 2
116/1702
Vamos aqui discutir o fato que sempre existe uma maneira (n ao-can onica, vide abaixo) de associar vetores de um espa co vetorial V com elementos de seu dual alg ebrico V . Seja V um espa co vetorial sobre um corpo K e B V uma base alg ebrica em V . Seja FB a cole ca o de todas as fun co es de B em K. Armamos que existe uma bije ca o de FB sobre V , ou seja, esses dois conjuntos podem ser identicados nesse sentido. Para tal, seja f FB . Denimos uma aplica ca o I : FB V da seguinte forma. Como todo x V pode ser escrito como uma combina ca o linear nita de elementos de B , digamos, x = 1 bi1 + + n bin , escrevemos I (f )(x) = 1 f (bi1 ) + + n f (bin ) . I (f ) e um funcional linear pois, se escrevemos y = n+1 bin+1 + + n+m bin+m , teremos I (f )(x + y ) = = = 1 f (bi1 ) + + n+m f (bin+m ) 1 f (bi1 ) + + n f (bin ) + n+1 f (bin+1 ) + + n+m f (bin+m ) I (f )(x) + I (f )(y ) . (2.39)
A rela c ao entre V e V
Isso ent ao mostrou que I (f ) e de fato um elemento de V para cada f FB . Vamos mostrar o reverso: que a cada elemento l de V h a um elemento gl de FB associado e que I (gl ) = l. Seja novamente x = 1 bi1 + + n bin V e seja l um elemento de V . Tem-se l(x) = 1 l(bi1 ) + + n l(bin ) . Denimos gl : B K por para todo b K. Pela deni ca o I (gl )(x) = 1 gl (bi1 ) + + n gl (bin ) = 1 l(bi1 ) + + n l(bin ) = l(x) para todo x V . Logo I (gl ) = l como quer amos. (2.40) gl (b) := l(b)
A aplica ca o I : FB V e, portanto, uma bije ca o entre esses dois conjuntos. Notemos, por em, que essa bije ca o n ao e can onica no sentido que a mesma depende da base adotada. Se trocarmos B por outra base a bije ca o altera-se. De posse desses fatos podemos entender a rela ca o entre V e V da seguinte forma. Seja o subconjunto GB de FB formado por todas as fun co es que assumem valores n ao-nulos (no corpo K) apenas para um conjunto nito de B , ou seja, para g GB existe um conjunto nito Bg = {b1 , . . . , bn } B tal que g e n ao-nula nos elementos de Bg , mas e nula em B \ Bg .
Os conjuntos GB e V podem ser identicados no seguinte sentido. Armamos que existe uma bije ca o J : GB V . Tal e f acil de ver se lembrarmos que os elementos de V podem ser escritos como uma combina ca o linear nita de elementos de B . De fato, para g GB denimos J (g ) = g (b1 )b1 + + g (bn )bn V onde {b1 , . . . , bn } = Bg . Reciprocamente, se x V e x = 1 bi1 + + n bin , denimos gx GB por gx (bia ) = a , f E acil ver ent ao que J (gx ) = g (bi1 )bi1 + + g (bin )bin = 1 bi1 + + n bin = x , a = 1, . . . , n e gx (b) = 0 se b {bi1 , . . . , bin } .
(2.41)
o que mostra que J e bijetora. Notemos novamente que essa bije ca o tamb em n ao e can onica, no sentido que a mesma depende da base adotada. Se trocarmos B por outra base a bije ca o altera-se. E. 2.79 Exerc cio importante. Mostre agora que J 1 : V Gb e linear, ou seja, J 1 (x + y ) = J 1 (x) + J 1 (y ) para todos x, y V e todos , K.
Cap tulo 2
117/1702
Juntando o discutido acima, conclu mos que 1 = I J 1 e uma aplica ca o linear injetora de V em V . A mesma, por em, n ao e natural, pois depende da base alg ebrica B escolhida. Assim, xada uma base B em V h a uma maneira de associar todos os elementos de V com elementos do seu dual alg ebrico. Notemos por em que pode haver elementos de V aos quais n ao correspondem tais identica co es, ou seja, a imagem de 1 = I J 1 e tipicamente (especialmente em dimens ao innita) um subconjunto pr oprio de V . Exemplo. Seja P o espa co vetorial dos polin omios em R denido acima. Seja T = {ti R, i N}, um conjunto cont avel de pontos distintos da reta real e seja q (t) = q0 + q1 t + + qn tn , polin omio. Denamos lq V por lq (p) = q0 p(t0 ) + q1 p(t1 ) + + qn p(tn ) . E. 2.80 Exerc cio. Mostre que a aplica c ao P q l q V e linear e injetora. E. 2.81 Exerc cio. Ser a que com o conjunto T xado todo elemento de V seria da forma lq para algum q ?. Pense. Inspire-se nos exemplos 3 e 4 da p agina 115. O que acontece para conjuntos T diferentes? ca o entre V e V , e a rela ca o de V com o dual alg ebrico de V , o chamado bidual Coment ario. Mais interessante que a rela alg ebrico de V e denotado por (V ) , assunto que discutiremos agora. A raz ao e que, ao contr ario do que tipicamente ocorre entre V e V , h a sempre uma aplica ca o linear injetora entre V e (V ) que e natural, ou seja, independente de escolhas de bases. Outro interesse na rela ca o entre V e (V ) reside no fato que a mesma revela-nos, como veremos, uma profunda distin ca o entre espa cos vetoriais de dimens ao nita e innita. O bidual alg ebrico de um espa co vetorial
Se V e um espa co vetorial sobre um corpo K j a observamos que V e tamb em um espa co vetorial sobre o mesmo corpo. Assim, V tem tamb em seu dual alg ebrico que e denominado bidual alg ebrico de V . O bidual alg ebrico de um espa co vetorial V e o espa co (V ) . Como vimos nas p aginas anteriores, existe pelo menos uma aplica ca o linear injetiva de V em V . Chamemos esta aplica ca o de 1 . Analogamente, existe pelo menos uma aplica ca o linear injetiva 2 de V em (V ) . A composi ca o 2 1 fornece uma aplica ca o linear injetiva de V em (V ) . Como 1 e 2 dependem de escolhas de base, a composi ca o 2 1 tamb em depende, n ao sendo, assim, natural. Ao contr ario do que ocorre na rela ca o entre V e V , podemos sempre encontrar uma aplica ca o linear injetiva de V em (V ) que e natural: independente de base. Vamos denot a-la por . Denimos : V (V ) da seguinte forma: para x V , (x) e o elemento de (V ) que associa a cada l V o valor l(x): (x)(l) = l(x) . E. 2.82 Exerc cio. Mostre que : V (V ) e linear.
E. 2.83 Exerc cio. Mostre que : V (V ) e injetora. Sugest ao: use o Teorema 2.7, enunciado e demonstrado na p agina 113. transparente pela deni E ca o de que a mesma e independente de bases e, portanto, natural. A rela ca o entre x V e um elemento de (V ) mostrada acima e t ao direta que quase poder amos dizer que V e um subconjunto de (V ) : V (V ) . Alguns autores, abusando um pouco da linguagem, chegam mesmo a escrever uma tal rela ca o de inclus ao. Mais correta, no entanto e a rela ca o (V ) (V ) .
Poder amos nesse momento nos perguntar: quando podemos eventualmente ter (V ) = (V ) ? Para o caso de espa cos vetoriais sobre o corpo dos reais ou dos complexos resposta e simples e um tanto surpreendente e se expressa no seguinte teorema. Teorema 2.8 Seja V um espa co vetorial sobre o corpo dos reais ou dos complexos. Ent ao (V ) = (V ) se e somente se V e um espa co vetorial de dimens ao nita.
Cap tulo 2
118/1702
Este teorema revela uma importante distin ca o entre espa cos de dimens ao nita e innita. Em dimens ao nita todos os funcionais lineares do dual alg ebrico de V s ao da forma (x) para algum vetor x. Em dimens ao innita, por em, h a certamente elementos em (V ) que n ao s ao dessa forma. Assim, ao tomarmos duais duplos em dimens ao innita sempre obtemos espa cos vetoriais maiores, o que n ao ocorre em dimens ao nita. Prova. Seja V um espa co vetorial sobre um corpo K = C ou R. Caso de dimens ao nita. Vamos em primeiro lugar supor que V e de dimens ao nita e denotemos por dim V sua claro que o n dimens ao. Seja tamb em B = {b1 , . . . , bn } uma base de V . E umero de elementos de B e n = dim V . f E acil mostrar que o conjunto {(b1 ), . . . , (bn )} e linearmente independente em (V ) . De fato, se existirem escalares i tais que 1 (b1 ) + + n (bn ) = 0 , ou seja, (1 b1 + + n bn ) = 0 ter amos para todo l V (w)(l) = l(w) = 0 ,
Isso claramente diz que dim (V ) dim V . Armamos que a igualdade s o se d a se (V ) = (V ) . De fato, se (V ) = (V ) ent ao todo elemento de (V ) e da forma (1 b1 + + n bn ) = 1 (b1 ) + + n (bn )
onde w = 1 b1 + + 1 bn . Isso, por em, implica w = 0 (pelo Teorema 2.7, p agina 113), o que implica 1 = = n = 0.
e, portanto {(b1 ), . . . , (bn )} e uma base em (V ) e dim (V ) = dim V . Se, por outro lado, (V ) e um subconjunto pr oprio de (V ) , existem elementos v (V ) tais que v 1 (b1 ) n (bn ) = 0 para todos i K. Portanto, {v , (b1 ), . . . , (bn )} e um conjunto de n + 1 vetores linearmente independentes. Logo dim (V ) > n = dim V , pelo Teorema 2.6, p agina 111. Vamos ent ao mostrar que obrigatoriamente tem-se que dim (V ) = dim V , provando o teorema. Como vimos quando discutimos a rela ca o entre V e V ` a p agina 116, V e equivalente ao conjunto FB de todas as fun co es de B em K, enquanto que V e equivalente ao conjunto GB formado por todas as fun co es que assumem valores n ao-nulos (no corpo K) apenas para um conjunto nito de B . Como B tem um n umero nito de elementos, sucede GB = FB (por que?). Logo V e V s ao equivalentes: existe uma bije ca o linear 1 entre ambos. A aplica ca o 1 leva a base B em uma base 1 (B ) em V . Para ver isso, notemos que todo elemento l V e da forma l = 1 (v ), para algum v V . Como todo v V e da forma v = 1 b1 + + n bn , segue que todo elemento l V e da forma 1 1 (b1 ) + + n 1 (bn ). Como 1 e bijetora, {1 (b1 ), . . . , 1 (bn )} e um conjunto de vetores linearmente independentes pois se existirem escalares 1 , . . . , n tais que 1 1 (b1 ) + + n 1 (bn ) = 0 ter amos 1 (1 b1 + + n bn ) = 0 o que implica 1 b1 + + n bn = 0, pois 1 e bijetora. Isso por em implica 1 = = n = 0, pois {b1 , . . . , bn } e uma base. Assim, 1 (B ) = {1 (b1 ), . . . , 1 (bn )} e uma base em V e, portanto, dim V = n = dim V . Analogamente, tem-se que V e (V ) s ao equivalentes e, portanto, existe uma bije ca o linear 2 entre ambos que leva a base 1 (B ) em uma base 2 1 (B ) em (V ) . Portanto, dim V = dim (V ) . Logo dim V = dim V = dim (V ) , como quer amos provar. Caso de dimens ao innita. No caso de dimens ao innita desejamos mostrar que sempre h a elementos em (V ) que n ao s ao da forma (x) para algum x V . Abaixo K e o corpo dos reais ou dos complexos. Vamos primeiro delinear a estrat egia a ser seguida. Seja B uma base em V (xa daqui por diante). Como sabemos, existe uma aplica ca o linear bijetora : FB V . Uma fun ca o s : B K, s FB e dita ser limitada se existir um claro M > 0 tal que |s(b)| < M para todo b B . Seja LB o conjunto de todas as fun co es limitadas de B em K. E que LB FB . Vamos mostrar o seguinte: n ao existe nenhum vetor n ao-nulo v V com a propriedade que (v )( ) = 0 para todo (LB ). Seja v = 1 b1 + + m bm um tal vetor para o qual (v )( ) = 0. Isso signica que para todo (LB ) 0 = (v )( ) = (v ) = 1 (b1 ) + + m (bm ) .
Cap tulo 2
119/1702
Tomemos funcionais i s da forma i (b) = 1, se b = bi 0, de outra forma
para i = 1, . . . , m. Como todo i e um elemento de (LB ) (por que?), ter amos 0 = i (v ) = i para todo i, o que implica v = 0. A conclus ao e que nenhum elemento de (V ) que seja da forma (v ) para algum v V n ao-nulo pode anular todos os elementos de (LB ) V . A estrat egia que seguiremos ser a a de exibir um elemento de (V ) que tem precisamente a propriedade de anular todos os elementos de (LB ). Um tal elemento n ao pode pertencer, portanto, a (V ), o que mostra que (V ) e um subconjunto pr oprio de (V ) no caso de dimens ao innita. Seja u V \ (LB ) e U o subespa co de V gerado por u. Todo elemento l V pode ser escrito de modo u nico claro que na forma l = au + y , onde a K e y pertence ao subespa co complementar de U . Denamos (l) = a. E (V ) e que aniquila todo elemento de (LB ), pois estes pertencem ao subespa co complementar de U (por que?). Assim, (V ) mas (V ).
2.3.3
Subespa cos e Espa cos Quocientes
Seja V um espa co vetorial sobre um corpo K. Um subconjunto W de V e dito ser um subespa co de V (sobre o mesmo evidente que um subespa corpo K) se para todo , K e todo u, v W valer que u + v W . E co de um espa co vetorial e por si s o um espa co vetorial. Quocientes
Subespa cos
Se W e um subespa co de um espa co vetorial V sobre um corpo K, ent ao e poss vel denir em V uma rela ca o de equival encia EW V V da seguinte forma: dizemos que (u, v ) V V pertence a EW se u v W . E. 2.84 Exerc cio. Mostre que isso de fato dene uma rela c ao de equival encia em V . Seguindo a nota ca o usual denotaremos tamb em essa rela ca o de equival encia pelo s mbolo W : u W v se u v W .
Com esses ingredientes podemos transformar V /W em um espa co vetorial sobre K. Isso se d a denindo em V /W uma soma e um produto por escalares. O vetor nulo ser a a classe de equival encia [0] que cont em o vetor 0. Como subconjunto de V , a classe [0], ali as, vem a ser o conjunto W (por que?). Se [u] e [v ] s ao as classes de equival encia que cont em os elementos u e v , respectivamente, de V , ent ao denimos [u] + [v ] = [u + v ] .
Denotemos por V /W o conjunto das classes de equival encia de V pela rela ca o EW . Denotaremos por [u] V /W a classe de equival encia que cont em o vetor u V .
E. 2.85 Exerc cio. Mostre que essa deni c ao e coerente, no sentido que independe dos representantes (u e v ) escolhidos nas classes. c ao de soma e comutativa e associativa. E. 2.86 Exerc cio. Mostre que essa opera E. 2.87 Exerc cio. Mostre que [u] + [0] = [u] para todo u V . Analogamente, a opera ca o de multiplica ca o por escalares e denida por [u] = [u] , para todo u V .
Cap tulo 2
120/1702
c ao e coerente, no sentido que independe do representante u escolhido na classe. E. 2.88 Exerc cio. Mostre que essa deni
E. 2.89 Exerc cio. Mostre que o conjunto V /W e, portanto, um espa co vetorial sobre o corpo K com as opera co es denidas acima. O espa co vetorial V /W assim obtido e denominado espa co quociente de V por W .
2.3.4
Somas Diretas de Espa cos Vetoriais
A soma direta de uma cole c ao nita de espa cos vetoriais
Sejam V1 e V2 dois espa cos vetoriais (sobre um mesmo corpo K, sendo doravante K = R ou K = C). Como V1 e V2 s ao dois grupos Abelianos, o grupo Abeliano obtido pela soma direta V1 V2 est a denido pelo procedimento geral descrito na Se ca o 2.2.5, p agina 104. Isso, entretanto, ainda n ao faz de V1 V2 um espa co vetorial. Para isso, e preciso denir o produto um elemento de V1 V1 por um escalar (um elemento de K). Denimos o produto de v1 v2 V1 V2 por K como sendo o elemento (v1 ) (v2 ), ou seja, (v1 v2 ) := (v1 ) (v2 ) .
(2.42)
f E acil constatar que, com essa deni ca o, V1 V2 torna-se um espa co vetorial (vide a deni ca o formal de espa co vetorial ` p a agina 79), que denotaremos por V1 K V2 . O assim denido espa co vetorial V1 K V1 e dito ser a soma direta dos espa cos vetoriais V1 e V2 sobre o corpo K. Se tivermos uma cole ca o nita de espa cos vetoriais V1 , . . . , Vn (sobre um mesmo corpo K) procedemos analogamente, primeiro denindo o grupo Abeliano V1 Vn e depois denindo a multiplica ca o por escalares por (v1 vn ) := (v1 ) (vn ) , com K e v1 vn V1 Vn . O espa co vetorial (sobre K) assim denido e denotado por V1 K K Vn . Se {Vi , i J } e uma cole ca o de espa cos vetoriais que, em particular, s ao grupos Abelianos, cai denida, pelo apresentado na sub-se ca o anterior, a soma direta s := iJ Vi , denida primeiramente como grupo Abeliano. s pode ser feito um espa co vetorial denindo-se, para um escalar gen erico K, para todo Soma direta de cole co es arbitr arias de espa cos vetoriais
e de fato um espa co vetorial, satisfazendo a deni ca o apresentada na (fa ca-o!) mostrar que, com essas estruturas, s Se ca o 2.1.5, p agina 79.
aJ
um exerc va s (para a nota ca o de produtos Cartesianos gerais, vide p agina 32). E cio elementar
aJ
va
:=
aJ
va ,
(2.43)
2.3.5
Produtos Tensoriais de Espa cos Vetoriais
A no c ao intuitiva de produto tensorial de dois espa cos vetoriais
Sejam U e V dois espa cos vetoriais em rela ca o a um mesmo corpo, digamos, C. U e V s ao dois grupos Abelianos em rela ca o ` as respectivas opera co es de soma de vetores. Assim, podemos, como acima, denir o grupo Abeliano U V , o produto tensorial dos grupos Abelianos U e V . Esse objeto ainda n ao tem uma estrutura de espa co vetorial (sobre os complexos), pois n ao dissemos como denir o produto de um elemento de U V por um escalar C. Isso e feito da seguinte forma, para u U , v V , dene-se (u v ) impondo (u v ) := (u) (v ) = (u) (v ) . (2.44)
Cap tulo 2
121/1702
O estudante deve comparar essa regra de produto por escalares com a regra 2.42. Para elementos de U V que sejam somas nitas, como por exemplo u v + u v , impomos (u v + u v ) := = (u v ) + (u v ) (u) v + (u ) v = u (v ) + u (v ) .
E. 2.90 Exerc cio. Constate que, com essa deni c ao, U V torna-se um espa co vetorial, ou seja, verique que s ao v alidos os postulados da deni c ao formal de espa co vetorial dados ` a p agina 79. Esse espa co vetorial que denotaremos por U C V , e denominado produto tensorial dos espa cos U e V . O sub- ndice C aposto ao s mbolo e por vezes dispensado, e serve apenas para recordar que um escalar (ou seja, um elemento de C, nesse caso) pode ser passado de um lado para outro do s mbolo , tal como na u ltima igualdade em (2.44). Passemos agora ` a formaliza ca o dessas id eias. O produto tensorial de dois espa cos vetoriais
Sejam U e V dois espa cos vetoriais sobre um mesmo corpo K (que assumiremos, por simplicidade, tendo caracter stica zero, como C ou R). Como U e V s ao dois grupos Abelianos, o grupo Abeliano U V est a denido pelo procedimento de acima. Isso, entretanto, ainda n ao faz de U V um espa co vetorial. Para isso tomemos X = U V e consideremos o subconjunto de F (X ) denido por R := {r F (U V )| r = (u) v u (v ), com K, u U, v V } . (2.45)
U K V e por ora apenas mais um grupo Abeliano, mas podemos adicionar-lhe uma estrutura de espa co vetorial da seguinte forma. Primeiramente e preciso denir o produto de um escalar por um elemento de U K V . Para elementos da forma u K v com u U e v V , denimos ent ao o produto (u K v ), para K por (u K v ) := (u) K v = u K (v ) . (2.46)
Como antes, seja R = R(U V ) o subgrupo gerado por R. Denimos agora um novo grupo Abeliano U K V como U K V := F (U V )/R(U V ).
Au ltima igualdade segue da deni ca o de U K V . Os demais elementos de U K V s ao da forma de combina co es lineares nitas com coecientes inteiros de elementos como u K v , ou seja, s ao da forma
n k=1
ck (uk K vk )
para algum n > 0 e ck Z. Para os mesmos, denimos

n n n n
k=1
ck (uk K vk )
:=
k=1
ck (uk K vk ) =
k=1
ck (uk ) K vk =
k=1
ck uk K (vk ) .
f E acil constatar (fa ca-o!) que, com essa deni ca o, U K V torna-se um espa co vetorial (vide a deni ca o formal de espa co vetorial na Se ca o 2.1.5, p agina 79), que tamb em denotaremos por U K V . O assim denido espa co vetorial U K V e denominado produto tensorial dos espa cos vetoriais U e V sobre o corpo K. O sub- ndice K aposto ao s mbolo e por vezes dispensado, e serve apenas para recordar que um escalar (ou seja, um elemento de K) pode ser passado de um lado para outro do s mbolo , tal como na u ltima igualdade em (2.46). As id eias de acima podem ser generalizadas para o caso de uma cole ca o nita de espa cos vetoriais. Sejam U 1 , . . . , U n uma cole ca o nita de espa cos vetoriais sobre um mesmo corpo K (que assumiremos, por simplicidade, tendo caracter stica zero, como C ou R). Como cada U a e um grupo Abeliano, o grupo Abeliano U 1 U n est a denido pelo procedimento descrito anteriormente. Isso, entretanto, ainda n ao faz de U 1 U n um espa co vetorial. Para isso, tomemos O produto tensorial de uma cole c ao nita de espa cos vetoriais
Cap tulo 2
122/1702
X = U 1 U n e consideremos o subconjunto R de F (X ) denido por R :=
Rij , com
i, j =1 i=j
Rij :=
r F (X )
r =
u1 ui1 ui ui+1 un u1 uj 1 uj uj +1 un com K, uk U k para todo k = 1, . . . , n .
Como antes, seja R = R(U 1 U n ) o subgrupo gerado por R. Denimos agora um novo grupo Abeliano U 1 K K U n como U 1 K K U n := F (U 1 U n )/R(U 1 U n ).
U 1 K K U n e por ora apenas mais um grupo Abeliano, mas podemos adicionar-lhe uma estrutura de espa co vetorial da seguinte forma. Primeiramente e preciso denir o produto de um escalar por um elemento de U 1 K K U n . Para elementos da forma u1 K K un com uk U k para todo k = 1, . . . , n, denimos o produto (u1 K K un ), para K por (u1 K K un ) := u1 K K uj 1 K uj K uj +1 K K un
para qualquer j = 1, . . . , n. Que o lado direito independe do particular j adotado segue da deni ca o de U 1 K K U n . 1 n Os demais elementos de U K K U s ao da forma de combina co es lineares nitas com coecientes inteiros de elementos como u1 K K un , ou seja, s ao da forma
m k=1 n ck u 1 k K K u k
para algum m > 0 e ck Z. Para os mesmos, denimos

m m n ck u 1 k K K u k m n ck u 1 k K K u k
k=1
:=
k=1
=
k=1
j j 1 j +1 n ck u 1 k K K uk K uk K uk K K uk ,
onde, como anteriormente mencionado, a u ltima igualdade e v alida para qualquer j adotado. 1 E f acil constatar (fa ca-o!) que, com essa deni ca o, U K K U n torna-se um espa co vetorial (vide a deni ca o formal de espa co vetorial na Se ca o 2.1.5, p agina 79), que tamb em denotaremos por U 1 K K U n . O assim denido espa co vetorial U 1 K K U n e denominado produto tensorial dos espa cos vetoriais U k , k = 1, . . . , n, sobre o corpo K. Observe-se que, com a constru ca o acima, vale 1 u1 K K k un k = 1 k u 1 K K u n k .
Esse fato limita a constru ca o que efetivamos a cole co es nitas de espa cos U k , pois para cole co es n ao-nitas o produto innito de escalares k geralmente n ao estar denido. Quando n ao houver motivo de confus ao denotaremos U 1 K K U n simplesmente por U 1 U n . Freq uentemente K n tamb usaremos a nota ca o U , ou simplesmente U n , para denotar U K K U . E em conveniente denir U K n para n = 0 como sendo o corpo K.
n vezes
Seja U um espa co vetorial sobre K. Como todo corpo K e tamb em, naturalmente, um espa co vetorial sobre K, o por produto tensorial K K U est a igualmente denido. E, em, natural nesse contexto identicar-se K K U com U atrav es do isomorsmo K u u, para todos K e u U . Doravante essa identica ca o ser a feita silentemente, salvo men ca o em contr ario. O dito acima repete-se para o produto U K K. O isomorsmo can onico Dadas duas cole co es nitas V 1 , . . . , V m e U 1 , . . . , U n de espa cos vetoriais sobre o mesmo corpo K podemos, pela constru ca o descrita acima, denir os espa cos vetoriais produto A = V 1 K K V m K U 1 K K U n e B = V 1 K K V m K U 1 K K U n .
Cap tulo 2
123/1702
Esses dois espa cos s ao isomorfos, com o isomorsmo C : A B dado por C v 1 K K v m K u 1 K K u n := v 1 K K v m K u1 K K un , (2.47)
sendo estendido linearmente para os demais elementos. Esse isomorsmo e denominado isomorsmo can onico entre A e B. O isomorsmo can onico e relevante na deni ca o da chamada algebra tensorial, tal como descrito na Se ca o 2.5.1, p agina 137. E. 2.91 Exerc cio. Mostre que C : A B, denido acima, e, de fato, um isomorsmo entre espa cos vetoriais. Se U e um espa co vetorial sobre um corpo K, vimos acima que U K m K U K n e U K (m+n) s ao canonicamente isomorfos. Observe que isso faz sentido mesmo quando m = 0 (ou n = 0, ou ambos), pois nesse caso U K m = K, por conven ca o. Distributividade entre produtos tensoriais e somas diretas Se U , V e W s ao espa cos vetoriais sob um mesmo corpo K, ent ao os espa cos vetoriais C = U K V K W e ao isomorfos. Esse fato ser a importante na deni ca o da algebra tensorial, Se ca o 2.5.1, D = U K V K U K W s p agina 137. O isomorsmo M : C D e denido por
n n n
M
a=1
ua K va K wa
:=
b=1
ub K vb
c=1
uc K wc
para todo n N e para todos ua U , va V e wa W , a = 1, . . . , n. e, de fato, um isomossmo de espa cos vetoriais. Para tal E. 2.92 Exerc cio. Mostre que M : C D, denida acima, e necess ario e suciente provar que M e linear, sobrejetor e que M ( ) = 0 se e somente se = 0 . Para provar que M e
n n
sobrejetor, observe que todo elemento de D e da forma uk u k, ukn k = 1 , . . . , n , , k = n + 1 , . . . , n , vk

vk , 0,
b=1
k = 1 , . . . , n , k = n + 1 , . . . , n ,
K u b K vb
c=1
. Denindo n n + n e u c K wc
wk
0,
wk n
k = 1 , . . . , n , , k = n + 1 , . . . , n ,
para cada k = 1, . . . , n, teremos

n
n c=1
(verique!) que e, evidentemente, um elemento da imagem de M. Determine M1 . a-los como Devido ao fato de U K V K W e U K V K U K W serem isomorfos, iremos por vezes identic sendo o mesmo espa co. Evidentemente, h a nisso um abuso de linguagem. Essa identica ca o permite-nos pictoriamente dizer que o produto tensorial e distributivo em rela ca o a ` soma direta. Observemos, por m, que o exposto acima estende-se para somas diretas nitas, como formulado no seguinte exerc cio: cos vetoriais sobre o mesmo corpo K. Mostre que E. 2.93 Exerc cio. Sejam U e V j , j = 1, . . . , m, com m N, espa
m m
b=1
u K b K vb
u c K wc
:=
b=1
ub K vb
c=1
uc K wc
sendo que o s mbolo denota a rela c ao de isomorsmo entre espa cos vetoriais. O isomorsmo e dado por
n m m n
U K
j =1
V j
j =1
U K V j ,
a=1
ua K
j =1
j va
:=
j =1
a=1
j ua K va
Cap tulo 2
124/1702
j para todo n N e para todos ua U , va V j , a = 1 , . . . , n , j = 1 , . . . , m.
Analogamente, mostre que
M
n
m j =1
com o isomorsmo dado por
V j K U
j va K ua
j =1
V j K U ,
a=1
m j =1
n a=1 j K ua va
:=
j =1
j para todo n N e para todos ua U , va V j , a = 1 , . . . , n , j = 1 , . . . , m.
Sejam U e V dois espa cos vetoriais de dimens ao nita sobre um mesmo corpo K (que omitiremos doravante), dotados U V V V de bases {eU , . . . , e } e { e , . . . , e } , respectivamente. Armamos que a cole ca o de vetores {eU 1 m 1 n i ej , i = m U 1, . . . , m, j = 1, . . . , n} forma uma base em U V . De fato, se u U e v V s ao da forma u = i=1 ui ei n m n V U V e v = ao u v = ao obtidos como j =1 vj ej , ent i=1 j =1 ui vj ei ej . Como todos os elementos de U V s combina ca o linear nita de elementos da forma u v com u U e v V , conclu mos imediatamente que os mesmos V podem ser escritos como combina ca o linear dos elementos eU amos. Isso estabeleceu tamb em que a i ej , como quer dimens ao de U V e o produto da dimens ao de U pela de V : dim(U V ) = dim U dim V .
Bases em produtos tensoriais
As considera co es acima estendem-se sem maiores surpresas para produtos tensoriais de mais de dois espa cos vetoriais sobre um mesmo corpo. Representa co es tensoriais de grupos
Sejam U e V dois espa cos vetoriais de dimens ao nita sobre um mesmo corpo K (que omitiremos doravante), dotados U V V de bases {eU , . . . , e } e { e , . . . , e } , respectivamente. Seja G um grupo e sejam U e V representa co es de G em 1 m 1 n U V U e V , respectivamente. As representa co es e permitem denir uma representa ca o de G em U V denominada representa ca o produto tensorial e denotada por U V , a qual e denida como segue. Se g G, u U e v V , ent ao U V dene-se (g ) u v por U (g )u V (g )v , sendo U V (g ) estendido linearmente para os demais elementos de U V.
m n
Um elemento t de U V pode ser escrito da forma t = g G, a a ca o de U V (g ) sobre t U V e dada por

m n
i=1 j =1
V tij eU i ej , com tij sendo as componentes de t. Para
U V (g )t :=
i=1 j =1
V (g )eV tij U (g )eU i j
Escrevendo, em nota ca o matricial para U (g ) e V (g ),

m n
U (g )eU i =
a=1
U (g )ai eU a
m n
V (g )eV j =
b=1
V (g )bj eU b ,
obtem-se U V (g )t :=
i=1 j =1
U U V (g )eV t b ab (g )ea
onde, para todos 1 a m e 1 b n, t ab :=
U (g )ai V (g )bj tij .

a=1 b=1
(2.48)
freq As grandezas t ao as novas componentes de t ap os a transforma ca o produzida por U V (g ). E uente em livros de ab s F sica denir-se a no ca o de tensor (de rank 2) como sendo uma quantidade que se transforma segundo (2.48) por uma
Cap tulo 2
125/1702
transforma ca o induzida por um grupo (por exemplo, pelo grupo de rota co es ou pelo grupo de Lorentz). Estritamente falando, um tensor n ao pode ser denido dessa forma, pois (2.48) e uma propriedade derivada, requerendo de uma deni ca o pr evia da no ca o de produto tensorial, tal como apresentamos acima. Ainda assim, no que concerne ao interesse da F sica, (2.48) captura em muitos casos o aspecto mais importante da no ca o de tensor.
2.3.5.1
Duais Alg ebricos e Produtos Tensoriais
Sejam U e V dois espa cos vetoriais de dimens ao nita sobre um mesmo corpo K e sejam U , respectivamente, V seus espa cos duais. Se U e V , podemos denir um funcional linear em U V U K V , que denotaremos como , por
N N
Isomorsmo entre (U V ) e (U ) (V ) no caso de dimens ao nita
( )
a=1
ua va
:=
a=1
(ua )(va )
(2.49)
para todos N e um funcional linear em U V e um fato de demonstra ca o elementar, a=1 ua va U V . Que deixado como exerc cio. Se considerarmos agora elementos gerais de U V da forma
N N N a=1 a
a a aplica ca o : U V (U V )
a=1
a a
:=
a=1
a a
dene uma aplica ca o linear de U V em (U V ) . Essa aplica ca o e injetora e sobrejetora. Para provar que e sobrejetora, U U U V seja {e1 , . . . , em } uma base em U e {U onica e, respectivamente, seja {eV 1 , . . . , m } sua base dual can 1 , . . . , en } uma V V base em V e {1 , . . . , n } sua base dual can onica. Seja (U V ) . Todo elemento de U V e da forma
m n i=1 j =1 V ij eU i ej e, portanto,
Ao mesmo tempo, vale e, portanto,

V U a b
m n
i=1 j =1
V ij eU = i ej
n V ij eU i ej
i=1 j =1
i=1 j =1
V = ij eU i ej
n V V U ij U a ei b ej
=
i=1 j =1
ij ia jb = ab ,
i=1 j =1
implicando
i=1 j =1
V ij eU = i ej n V eU i ej
n V eU i ej
i=1 j =1
V U i j m n
i=1 j =1
V ij eU , i ej
=
i=1 j =1
V U i j
Para toda (U V ) , provando a sobrejetividade de . Observe-se agora que se

m n m n
i=1 j =1
V U V eU . i ej i j
teremos
i=1 j =1 m n
V = ij U i j m V ij U i j
i=1 j =1 n
V , ij U i j
=
i=1 j =1
i=1 j =1
V ij U i j
Cap tulo 2
126/1702
V e calculando ambos os lados em eU a eb obtem-se ab = ab para todos a = 1, . . . , m e b = 1, . . . , n, estabelecendo a injetividade de .
Estabelecemos com isso que os espa cos vetoriais (U V ) e (U ) (V ) s ao isomorfos caso U e V sejam de dimens ao nita. Naturalmente, as considera co es de acima se deixam generalizar para produtos tensoriais nitos de espa cos de dimens ao nita sobre um mesmo corpo. Assim, se Ui , i = 1, . . . , N , s ao espa cos vetoriais sobre um mesmo corpo K, cada qual com dimens ao mi , teremos que (U1 UN ) e (U1 ) (UN ) s ao espa cos vetoriais isomorfos.
2.3.5.2
Produtos Tensoriais de um mesmo Espa co Vetorial. Espa cos Sim etrico e AntiSim etrico
Para n 2 podemos denir uma representa ca o Pn do grupo de permuta co es de n elementos, Sn , em U n , da seguinte forma: se e um elemento de Sn denimos Pn ( ) como sendo o operador linear que a cada vetor da forma u1 un associa o vetor u(1) u(n) . Isso signica que Pn ( ) age em vetores gerais de U n na forma
l l l
Seja U um espa co vetorial sobre um corpo K (que suporemos, por simplicidade, tendo caracter stica 0). Os procedimentos acima permitem, para cada n N, denir o produto tensorial U K n , que passaremos a denotar por U n omitindo o sub- ndice K dos s mbolos e . Lembremos que adotamos por conven ca o que U 0 = K e U 1 = U .
Pn ( )
k=1
k uk 1
uk n
=
k=1
k Pn ( )
uk 1
uk n
=
k=1
k k uk (1) u (n) ,
elementar constatar que Pn ( )Pn ( ) = Pn ( ) para todos , Sn e que onde os k s s ao elementos de K. E Pn (id) = , id sendo a identidade (elemento neutro) de Sn . Isso conrma que Pn e uma representa ca o de Sn em U n . Para n = 0 e n = 1 convencionamos que Sn e o grupo trivial (contendo apenas a identidade) e que em ambos os casos Pn (id) = , o operador identidade. Denimos o operador de simetriza ca o e o operador de anti-simetriza ca o agindo em U n , n 2, por Sn := 1 n! Pn ( )
Sn
An :=
1 n!
sinal( ) Pn ( ) ,
Sn
(2.50)
respectivamente, onde sinal( ) e o sinal, ou paridade, de Sn . Para n = 0 e n = 1 denimos S0 = A0 = e S1 = A1 = , o operador identidade. A seguinte proposi ca o cont em as propriedades alg ebricas mais relevantes dos operadores Sn e An . Proposi c ao 2.5 Com as deni co es e conven co es acima, valem as seguintes arma co es: 1. Sn Pn ( ) = Pn ( )Sn = Sn para todo n 0 e todo Sn . 2. An Pn ( ) = Pn ( )An = sinal( )An para todo n 0 e todo Sn . 3. S2 n = Sn para todo n 0. 4. A2 n = An para todo n 0. 5. Sn An = An Sn = 0 para todo n 2. Para n = 0 e n = 1 valem Sn An = An Sn = .
2 Os fatos que S2 ao proje co es. n = Sn e An = An dizem-nos que Sn e An s
Prova. Que Sn Pn ( ) = Pn ( )Sn = Sn vale para n = 0 e n = 1 e evidente. Seja n 2. Teremos, Sn Pn ( ) = 1 n! Pn ( ) Pn ( ) =

Sn
1 n!
Pn ( )
Sn
1 n!
Pn ( ) = Sn .
Sn
Na terceira igualdade acima usamos o fato que, para cada a aplica ca o e bijetora em Sn e, portanto, somar sobre todo Sn equivale a somar sobre todo Sn . A prova de que Pn ( )Sn = Sn e an aloga.
Cap tulo 2
127/1702
Que An Pn ( ) = Pn ( )An = An vale para n = 0 e n = 1 e evidente. Seja n 2. Teremos, An Pn ( ) = 1 n! sinal( )Pn ( ) Pn ( ) = sinal( )
Sn
1 n!
sinal( )Pn ( )
Sn =
sinal( ) n!
sinal( )Pn ( ) = sinal( )An .

Sn
Na segunda igualdade acima usamos o fato que, sinal( ) = sinal( )sinal( ). A prova de que Pn ( )An = sinal( )An e an aloga. Que S2 e evidente pela deni ca o. Para n 2, segue as deni co es e do obtido acima que n = Sn para n = 0 e n = 1 S2 n = pois Sn possui n! elementos. Que A2 e evidente pela deni ca o. Para n 2, segue as deni co es e do obtido acima que n = An para n = 0 e n = 1 A2 n = 1 n! sinal( )An Pn ( ) =
Sn
1 n!
Sn Pn ( ) =
Sn
1 n!
Sn =
Sn
1 n!
1 Sn = S n ,
Sn
1 n!
An =
Sn
1 n!
1 An = An .
Sn
Sn
e evidente pela deni ca o. Que para n = 0 e n = 1 valem Sn An = An Sn = sinal( ) = 0. De fato, sinal( )

Sn =
Para n 2 provemos que sinal( ) .

Sn
sinal( ) = sinal( )
S
n
sinal( ) = sinal( )
S
n
ca o ( )1 e bijetora e, Na primeira igualdade escolhemos Sn e denimos := ( )1 . A aplica portanto, somar sobre todo Sn equivale a somar sobre todo Sn . Escolhendo de forma que sinal( ) = 1 (isso sempre e poss vel se n 2) obtemos na u ltima igualdade que Sn sinal( ) = 0. Assim, para n 2, segue das deni co es e do obtido acima que Sn An = 1 n! sinal( )Sn Pn ( ) =
Sn
1 n!
sinal( )Sn =
Sn
1 n!
sinal( ) Sn = 0 .
Sn
A prova que An Sn = 0 para n 2 e an aloga. As imagens das proje co es Sn e An s ao dois subespa cos de U n denotados por (U n )S e (U n )A , respectivamente, e denominados subespa co sim etrico e subespa co anti-sim etrico, respectivamente. Para n = 0 e para n = 1 os subespa cos sim etrico e anti-sim etrico coincidem com K e U , respectivamente. Como Sn e An s ao proje co es, os elementos de (U n )S s ao invariantes pela a ca o de Sn e os elementos de (U n )A s ao invariantes pela a ca o de An . Os elementos de (U n )S s ao n denominados vetores sim etricos e os de (U )A s ao denominados vetores anti-sim etricos. Nota ca o. A imagem por n!An de elementos da forma u1 un , com uk U para todo k , ser a denotada por u1 K K un , ou simplesmente por u1 un : u1 un := n! An u1 un =
Sn
sinal( ) u(1) u(n) .
(2.51)
Os elementos de (U n )A s ao, portanto, combina co es lineares nitas de elementos da forma u1 un .
1 e um elemento do subespa co sim etrico U 2 u1 u2 + u2 u1 Exemplicamos. Para n = 2, S2 u1 u2 = 2 2 e um elemento do subespa co anti-sim etrico U . Para n = 3, u1 u2 := 2! A2 u1 u2 = u1 u2 u2 u1 A
S3 u 1 u 2 u 3
1 u1 u2 u3 + u3 u1 u2 + u2 u3 u1 + u1 u3 u2 + u2 u1 u3 + u3 u2 u1 3!
Cap tulo 2
128/1702
e um elemento do espa co sim etrico U 3 u1 u2 u3 := 3! A3 u1 u2 u3
, enquanto que
= u1 u2 u3 + u3 u1 u2 + u2 u3 u1 u1 u3 u2 u2 u1 u3 u3 u2 u1
A
e um elemento do espa co anti-sim etrico U 3 E. 2.94 Exerc cio. Mostre que
. Acima, os uk s s ao elementos de U . (2.52)
u1 un = sinal( )u(1) u(n) Sugest ao: use que An Pn ( ) = sinal( )An .
Conclua que se dois dos vetores de u1 , . . . , un forem iguais, ent ao u1 un = 0. Conclua disso que se os vetores u1 , . . . , un n ao forem linearmente independentes, ent ao u 1 u n = 0 . O exerc cio que seque indica algumas das conseq u encias dos resultados do Exerc cio E. 2.94 no caso em que U tem dimens ao nita. E. 2.95 Exerc cio. Justique as arma co es que seguem. Se U e um espa co de dimens ao nita m ent ao, segue do exposto no Exerc cio E. 2.94 que u1 un = 0 sempre que n > m e que, portanto, (U n )A = {0}, o espa co vetorial trivial, sempre que n > m. Se m e a dimens ao de U e {e1 , . . . , em } uma base em U , ent ao todo elemento a U se escreve na forma a = k=1 k ek . l ao combina co es lineares nitas de elementos da forma a1 al , Como todos os elementos de U A , l = 0, . . . , m, s oe uma base com aj U , j {1, . . . , l}, conclu mos que os elementos da forma ek1 ekl com k1 < . . . < kl comp em U l A . Um simples argumento combinat orio demonstra que h a m l-uplas (k1 , . . . , kl ) com kj {1, . . . , m} para todo j e l m m! l com k1 < < kl e, portanto, U l A tem dimens ao l = l!(m pode ser escrito l)! . Assim, todo elemento de U A na forma m m k1 kl ek1 ekl , = k1 kl ek1 ekl = l!
1k1 <...<kl m k1 =1 kl =1 m
com k1 kl K, sendo que na ultima igualdade assumimos que as quantidades k1 kl s ao anti-sim etricas por permuta co es de seus ndices, ou seja, satisfazem k(1) k(l) = sinal( )k1 kl para todo Sl e todos k1 , . . . , kl {1, . . . , m}.
2.3.5.3
O Produto Tensorial de M odulos. Deriva c oes
Vamos aqui a uma deni ca o que nos ser a importante. Sejam M e N dois bim odulos sobre uma algebra associativa A, ambos supostos serem espa cos vetoriais sobre o corpo dos complexos. Conforme a sub-se ca o anterior podemos denir o espa co vetorial M C N . Entretanto, em muitos casos e necess ario denir um outro tipo de produto tensorial entre M e N. Para tal seja X = M C N e denamos em F (X ) o conjunto de rela co es R := {r F (X )| r = (ma) C n m C (an), com a A, m M, n N } . Denamos ent ao R = R(M C N ) como o subgrupo gerado por R e o produto tensorial M A N := F (M C N )/R(M C N ) . Podemos fazer de M A N um m odulo, digamos ` a direita, sobre A tomando o produto a (m A n) := (ma) A n = m A (an) . (2.55) (2.54) (2.53)
O produto tensorial de dois m odulos sobre uma algebra associativa
O sub- ndice A aposto ao s mbolo serve para recordar que um elemento da algebra associativa A pode ser passado de um lado para outro do s mbolo , tal como na u ltima igualdade em (2.55).
Cap tulo 2
129/1702
Faremos uso do assim denido produto tensorial M A N adiante. O mais importante para n os ser a a identidade (ma) A n = m A (an) v alida em todo M A N para todo a A. Uma outra constru ca o que tamb em ir a interessar-nos e a seguinte. Seja M um bim odulo sobre uma algebra associativa A e tomemos Vn = M A n M A A M . Com os
n vezes
conceitos apresentados anteriormente temos denida a soma direta

nN
M A n .
Seja A uma algebra sobre C com identidade e e seja M um bim odulo sobre A. Uma aplica ca o linear : A M e dita ser uma deriva ca o de A em M se satisfaz a regra de Leibniz39 : (ab) = a (b) + (a)b , para todos a, b A. Vamos a alguns exemplos. a (b c) := (b c) a := (ab) c, b (ca) . (2.57) (2.58) (2.56)
Deriva co es
Exemplo 1. Seja A uma algebra sobre C com unidade e e M = A C A com os seguintes produtos de bim odulo:
Deixa-se ao leitor vericar a associatividade dos produtos de bim odulo nesse caso. Dena-se (a) := a e e a . (2.59)
Deixa-se ao leitor vericar a validade da regra de Leibniz nesse exemplo. Note-se tamb em que, por essa deni ca o, (e) = 0. Exemplo 2. Seja A uma algebra sobre C com unidade e e M = A C A com os seguintes produtos de bim odulo: a (b c) := (ab) c , (b c) a := b (ca) (bc) a . Deixa-se ao leitor vericar a associatividade dos produtos de bim odulo nesse caso. Dena-se (a) := e a . (2.62) (2.60) (2.61)
Deixa-se ao leitor vericar a validade da regra de Leibniz nesse exemplo. Note-se tamb em que, por essa deni ca o, (e) = e e = 0. Exemplo 3. Exemplo importante de deriva co es pode ser visto em algebras de Lie. Seja A uma algebra de Lie vista como um bim odulo sobre si mesma. Seja z um elemento xo da algebra e seja a aplica ca o dz : A A dada por dz (a) = [z, a]. f E acil vericar (fa ca!) usando a identidade de Jacobi (2.13) que dz ([a, b]) = [dz (a), b] + [a, dz (b)] para todo a, b A. Assim, tem-se que a cada z A e associada uma deriva ca o dz .
2.4
2.4.1
An eis e Algebras. Estruturas e Constru c oes B asicas

Ideais em An eis e Algebras Associativas
A no ca o de ideal, introduzida por Dedekind40 e depois aprofundada e generalizada por Hilbert41 e Noether42 , desempenha um papel central no estudo de algebras e an eis. Apesar de algumas deni co es gerais que seguem aplicarem-se tanto para an eis quanto para an eis n ao-associativos vamos nos restringir, por simplicidade, aos primeiros.
39 Gottfried 40 Julius
Wilhelm von Leibniz (16461716). Wilhelm Richard Dedekind (18311916). 41 David Hilbert (18621943). 42 Amalie (ou Emmy) Noether (18821935).
Cap tulo 2
130/1702
2.4.1.1
Ideais em An eis
Seja A um anel e, como tal, dotado de uma opera ca o de produto (s mbolo esse que, por simplicidade, omitiremos no que segue) e de uma opera ca o de soma + em rela ca o ` a qual e um grupo Abeliano, segundo as deni co es da Se ca o 2.1.6.1, p agina 81. Se B A e um subconjunto n ao-vazio de A, o conjunto G [B ] A denido por G [B ] := m1 b 1 + + mn b n , n N , mk Z e bk B para todo k = 1, . . . , n ,
Subgrupo gerado por subconjunto de um anel e alguma nota c ao
e formado por todas as somas nitas de m ultiplos inteiros de elementos de B , e o menor subgrupo de A que cont em B , o chamado subgrupo gerado pelo subconjunto B de A. de se observar que se B e C s E ao subconjuntos n ao-vazios de A, ent ao G [B C ] cont em G [B ] e G [C ] como subgrupos. Se B e C s ao subconjuntos n ao-vazios de A denotamos por BC o conjunto de todos os elementos de A que s ao da forma bc com b B e c C : BC := bc , com b B e c C . Com isso, e f acil ver que G [B ]G [C ] G [BC ].
Se B , C e D s ao subconjuntos n ao-vazios de A denotamos por BCD os conjuntos (BC )D = B (CD) (essa igualdade dando-se em fun ca o da assumida associatividade de A): BCD := bcd , com b B , c C e d D .
Seja A um anel. Um subconjunto L de A que seja um subgrupo de A em rela ca o ` a opera ca o + e dito ser um ideal a ` esquerda de A se al L para todo a A e todo l L. Um subconjunto R de A que seja um subgrupo de A em rela ca o a opera ` ca o + e dito ser um ideal a ` direita de A se ra L para todo a A e todo r R. Um subconjunto B de A e dito ser um bi-ideal ou um ideal bilateral de A for simultaneamente um ideal ` a direita e um ideal ` a esquerda de A. A. Naturalmente, se A e um anel, A e um ideal bilateral de si mesmo, assim como {0} e um ideal bilateral (trivial) de
Ideais ` a esquerda, ` a direita e bilaterais em an eis
claro tamb E em que se L e um ideal ` a esquerda de um anel A, ent ao L e um m odulo ` a esquerda sobre A e analogamente para ideais ` a direita e ideais bilaterais. Homomorsmos e ideais bilaterais
Sejam A e B dois an eis e seja : A B um homomorsmo. Ent ao, Ker() = {a A| (a) = 0} e um ideal bilateral de A. De fato, 0 Ker(), se a, a Ker() ent ao (a + a ) = (a) + (a ) = 0 e se a Ker(), ent ao a Ker() pois (a) = (a) = 0, provando que Ker() e um subgrupo de A. Fora isso, se b Ker(), ent ao para todo a A vale (ab) = (a)(b) = (a)0 = 0 e, analogamente, para todo c A vale (bc) = (b)(c) = 0(c) = 0. A arma ca o feita acima, que Ker() e um ideal bilateral, apesar de elementar, tem aplica co es e conseq u encias em diversas areas. Intersec co es de ideais
Seja A um anel e sejam L com ( sendo um conjunto arbitr ario de ndices) uma fam lia de an eis ` a esquerda muito f de A. E acil vericar pelas deni co es (fa ca-o!) que L e tamb em um ideal ` a esquerda de A. Arma ca o an aloga vale para ideais ` a direita e ideais bilaterais. Ideais gerados por subconjuntos de um anel
Seja C A um subconjunto n ao-vazio de um anel A. Ent ao, a intersec ca o de todos os ideais ` a esquerda de A que cont em C e tamb em um ideal ` a esquerda, que e dito ser o ideal a ` esquerda gerado pelo conjunto C . Deni co es an alogas valem para ideais ` a direita e ideais bilaterais.
Cap tulo 2
131/1702
Denotaremos por IE [A, C ] (ou simplesmente por IE [C ], quando o anel A for sub-entendido) o ideal ` a esquerda gerado por C A. Analogamente, denotamos por ID [A, C ] (ou simplesmente por ID [C ]) e por IB [A, C ] (ou simplesmente por IB [C ]) os ideais ` a direita e bilaterais, respectivamente, gerados por C A. No caso de an eis associativos e poss vel explicitar mais os elementos de ideais gerados por conjuntos. Proposi c ao 2.6 Seja C A um subconjunto n ao-vazio de um anel associativo A. Tem-se que: ` esquerda gerado por C , IE A, C , consiste de todos os elementos 1. IE A, C = G (AC ) C , ou seja, o ideal a de A formados por somas nitas de produtos de elementos de A com elementos de C (nessa ordem) mais somas nitas de elementos de C com coecientes inteiros. Naturalmente, se A e unital, ent ao IE A, C = G AC . ` direita gerado por C , ID A, C , consiste de todos os elementos 2. ID A, C = G (CA) C , ou seja, o ideal a de A formados por somas nitas de produtos de elementos de C com elementos de A (nessa ordem) mais somas nitas de elementos de C com coecientes inteiros. Naturalmente, se A e unital, ent ao IE A, C = G CA . e unital, ent ao IE [A, C ] = G [ACA]. 3. IB A, C = G (ACA) (AC ) (CA) C . Naturalmente, se A evidente que G (AC ) C Prova. E e um ideal ` a esquerda de A e que cont em C e, portanto, IE A, C G (AC ) C . a esquerda de A que cont em C , necessariamente cont em todos os elementos Por outro lado, IE A, C , por ser um ideal ` de AC e de C e o subgrupo gerado por tais elementos (um ideal de A e um subgrupo de A), ou seja, IE [A, C ] deve conter todos os elementos de G (AC ) C . Isso estabelece que IE A, C e G (AC ) C s ao iguais. Os dois outros casos s ao an alogos. E. 2.96 Exerc cio. Complete os detalhes faltantes da demonstra c ao acima. Ideais principais
Se A e um anel e a A, os ideais gerados pelo conjunto de um elemento C = {a} s ao denominados por alguns autores os ideais principais gerados por a. muito f Denotamos por aA o conjunto aA := {aa | a A} e por Aa o conjunto Aa := {a a| a A}. E acil constatar que IE [{a}], o ideal principal ` a esquerda gerado por a, coincide com Aa e que ID [{a}], o ideal principal ` a direita gerado por a, coincide com aA. Observe-se que o conjunto AaA := {a aa | a , a A} n ao um ideal de A, por n ao ser um subgrupo de A. Se L1 e L2 s ao dois ideais ` a esquerda de um anel A ent ao sua soma, denida por L1 + L2 := {l1 + l2 , l1 L1 e l2 L2 } e tamb em, como facilmente se verica, um ideal ` a esquerda de A. Esse ideal e dito ser a soma dos ideais L1 e L2 . Arma ca o an aloga vale tanto para somas de dois ideais ` a direita quanto para somas de ideais bilaterais. Estrutura de reticulado em an eis Somas de ideais
Seja A um anel. Para dois ideais ` a esquerda L1 e L2 de A dena-se as opera co es L1 L2 := L1 L2 e L1 L2 := L1 + L2 . A cole ca o de todos os ideais ` a esquerda de A e um reticulado (para a deni ca o, vide p agina 67 e seguintes) em rela ca o a essas duas opera co es. Arma ca o an aloga vale tanto para a cole ca o de todos os ideais ` a direita de A quanto para a cole ca o de todos os ideais bilaterais de A. E. 2.97 Exerc cio. Prove as arma co es de acima.
Se L e um ideal ` a esquerda de A o conjunto G LC e igualmente um ideal ` a esquerda de A, denominado o ideal produto de L por C . Analogamente, se R e um ideal ` a direita de A o conjunto G BR e igualmente um ideal ` a direita de A, denominado o ideal produto de B por R. Por m, se L e um ideal ` a esquerda de A e R e um ideal ` a direita de A, ent ao G LR e um ideal bilateral de A, denominado o bi-ideal produto de L por R.
Produtos de ideais
Cap tulo 2
132/1702
Vamos agora a uma das mais importantes constru co es ligadas ` a no ca o de anel, a de anel quociente de um anel por um seu ideal bilateral. Essa constru ca o guarda forte semelhan ca ` a de grupo quociente, introduzida na Se ca o 2.2.2, p agina 100. Seja A um anel e B um ideal bilateral em A. Podemos denir em A uma rela ca o de equival encia declarando a a se a a B para a, a A. tamb Por essa deni ca o e evidente que a a para todo a A. E em evidente que se a a ent ao a a para todos a, a A. Por m, se a a e a a , ent ao a a = (a a ) + (a a ) B , pois a a B , a a B e B e um subgrupo de A, provando que a a . Isso estabeleceu que , denida acima, e, de fato, uma rela ca o de equival encia em A. Assim, A particiona-se em classes de equival encia por essa rela c ao de equival encia. Seja [a] a classe de equival encia de um elemento a A. Podemos fazer da cole ca o das classes de equival encia, que denotaremos por A/B , um anel denindo [a1 ] + [a2 ] := [a1 + a2 ] , e [a1 ] [a2 ] := [a1 a2 ] . a1 , a2 A. Antes de mostrar que essas opera co es fazem de A/B um anel, e preciso provar que elas est ao bem denidas enquanto opera co es entre classes. Mas, de fato, se a1 , a2 A e b1 , b2 B , tem-se (a1 + b1 )+(a2 + b2 ) = a1 + a2 +(b1 + b2 ), e como b1 + b2 B , segue que a soma [a1 ] + [a2 ] n ao depende do particular representante tomado das classes [a1 ] e [a2 ], o resultado sendo sempre um elemento da classe [a1 + a2 ]. Analogamente, (a1 + b1 )(a2 + b2 ) = a1 a2 + (a1 b2 + b1 a2 + b1 b1 ). Como a1 b2 + b1 a2 + b1 b1 B (note que a propriedade de bi-lateralidade do ideal B e usada aqui), segue que o produto [a1 ][a2 ] n ao depende do particular representante tomado das classes [a1 ] e [a2 ], o resultado sendo sempre um elemento da classe [a1 a2 ]. evidente pelas deni tamb E co es que [a1 ] + [a2 ] = [a2 ] + [a1 ] para todos [a1 ], [a2 ] A/B . E em f acil ver que [0] = B . Logo, [0] e o elemento neutro de A/B pela opera ca o de soma. Cada [a] A/B , tem no elemento [a] seu inverso aditivo, pois a + [a] = [a a] = [0]. Logo A/B e um grupo comutativo para a opera ca o +. Agora, para todos [a1 ], [a2 ] e [a3 ] A/B vale [a1 ][a2 ] [a3 ] = [a1 a2 ][a3 ] = [a1 a2 a3 ] = [a1 ] [a2 ][a3 ] , provando que o produto e associativo. Por m, [a1 ] [a2 ] + [a3 ] e [a2 ] + [a3 ] [a1 ] = [a2 + a3 ][a1 ] = [(a2 + a3 )a1 ] = [a2 a1 + a3 a1 ] = [a2 a1 ] + [a3 a1 ] = [a2 ][a1 ] + [a3 ][a1 ] , estabelecendo a distributividade do produto na soma. Isso demonstrou que A/B e um anel. O anel A/B e denominado anel quociente de A pelo ideal bilateral B , ou anel fator de A por B . Diversas estruturas alg ebricas importantes s ao constru das na forma de quocientes de an eis por ideais bilaterais e teremos a oportunidade de apresentar algumas. Notemos, por m, que se A possui uma identidade 1, ent ao [1] e a identidade de A/B , pois, para todo [a] A/B vale [a][1] = [a1] = [a]. Fora isso, se A e comutativo, A/B tamb em o e, pois [a][b] = [ab] = [ba] = [b][a] para todos a, b A. A rec proca n ao e necessariamente verdadeira: A/B pode ser comutativo sem que A o seja. An eis gerados por rela co es = [a1 ][a2 + a3 ] = [a1 (a2 + a3 )] = [a1 a2 + a1 a3 ] = [a1 a2 ] + [a1 a3 ] = [a1 ][a2 ] + [a1 ][a3 ]
Quocientes de an eis por ideais bilaterais
por vezes muito importante construir um novo anel a partir de A identicando alguns elementos Seja A um anel. E selecionados de A. Se, por exemplo, a e b s ao elementos distintos de A pode ser de nosso interesse impor que valha uma rela ca o como a = b, ou como a2 = b, ou ainda como aba = b3 , ou v arias delas simultaneamente. Isso equivale a impor que alguns elementos de A (como os elementos a b, ou a2 b ou ainda aba b3 , nos exemplos acima) sejam nulos. Combinando alguns ingredientes apresentados acima uma tal constru ca o e poss vel. Seja A um anel e seja C um subconjunto n ao-vazio de A. Seja IB [A, C ] IB [C ] o ideal bilateral gerado por C e seja o anel A/IB [C ]. Pela constru ca o, se x A/IB [C ] ent ao [x] = [0]. Como C IB [C ], segue que se c C , vale [c] = [0]. Como se v e, essa constru ca o permite o efeito desejado se impor serem nulos certos elementos de A, a saber os de C (e todos os demais de IB [C ], os quais s ao da forma de somas nitas de elementos como c ou aca , com a, a A e c C ). O anel A/IB [C ] e dito ser o anel gerado pelo subconjunto C A, ou o anel gerado pelo conjunto de rela co es C A. O anel A/IB [C ] ser a por vezes denotado por R [A, C ] ou simplesmente por R [C ], quando A for sub-entendido.
Um exemplo relevante de uma tal constru ca o e o seguinte. Seja A um anel n ao-comutativo. Podemos construir um anel comutativo a partir de A considerando o conjunto C = {ab ba, com a, b A} e construindo o anel R [A, C ] = A/IB [C ].
Cap tulo 2
133/1702
Os elementos de R [A, C ] s ao classes [a] com a A. Para todos a, b A teremos que [a][b] [b][a] = [ab ba] = [0], pois ab ba C IB [C ], que e a classe do elemento 0. Com isso, v e-se que R [A, C ] e um anel comutativo, por vezes denominado a Abelianiza ca o do anel A. E. 2.98 Exerc cio. Seja o anel Z, formado pelos inteiros, com as opera co es usuais de soma e produto. Seja C = {n}, com n um inteiro positivo. Mostre que R [Z, {n}] coincide com Zn . Constru co es como a do anel gerado por um subconjunto C s ao particularmente potentes quando combinadas ` a constru ca o da algebra tensorial de espa cos vetoriais, que introduziremos na Se ca o 2.5, p agina 136. Ideais pr oprios, primos e maximais e algumas de suas propriedades Vamos agora a algumas deni co es u teis. Seja A um anel. f Um ideal I de A e dito ser um ideal pr oprio se I for um subconjunto pr oprio de A. E acil constatar que se A e um anel com identidade 1, ent ao um ideal I e pr oprio se e somente se 1 I . Essa observa ca o elementar tem conseq u encias diversas sobre propriedades estruturais de ideais, como veremos adiante. Um ideal pr oprio de I de A e dito ser um ideal primo se para todos a e b A para os quais valha ab I tem-se ou que a I ou que b I (ou ambos). M. Proposi c ao 2.7 Se A e um anel comutativo com uma unidade 1, ent ao todo ideal maximal de A e um ideal primo.
Um ideal pr oprio M de A e dito ser um ideal maximal se n ao houver em A nenhum outro ideal pr oprio que cont em
Prova. Como A e comutativo, todo ideal de A e bilateral. Sejam a, b A tais que ab M . Se a M a prova est a completa. Vamos ent ao supor que a M . O conjunto Aa e um ideal, pois para todo a A vale a ab a M M . Fora isso, Aa n ao e um subconjunto de M pois, como A e unital, Aa cont em o elemento 1a = a M . Assim, a soma Aa + M e um ideal bilateral de A que cont em M como subconjunto pr oprio e que deve conter a unidade, pois se assim n ao fosse seria um ideal pr oprio de A que cont em M propriamente, contrariando a maximalidade de M . Logo, existem a A e m M tais que a a + m = 1. Logo, a ab + mb = b. Agora, a ab M e mb = bm M . Logo, b M . As proposi co es que seguem cont em informa co es importantes sobre a rela ca o entre ideais primos, ideais maximais e quocientes. Proposi c ao 2.8 Seja A um anel comutativo com unidade e P um ideal primo em A. Ent ao A/P e um anel de integridade.
Prova. Vimos acima que a comutatividade de A implica a comutatividade de A/P e que A/P e unital, pois A o e, a unidade sendo [1]. Tudo o que precisamos e provar que A/P n ao tem divisores de zero. Suponhamos que A/P tenha divisores de zero, ou seja, que existam [a] = [0] e [b] = [0] tais que [a][b] = [0]. Isso signica que [ab] = [0], ou seja, que ab I . Pela hip otese, isso signica ou que a I (o que implica [a] = [0]) ou que b I (o que implica [b] = [0]) ou ambos. Isso e uma contradi ca o e com ela completa-se a demonstra ca o. A seguinte proposi ca o e empregada na teoria dos an eis e algebras comutativas e na topologia alg ebrica. Proposi c ao 2.9 Seja A um anel comutativo com unidade e M um ideal maximal em A. Ent ao A/M e um corpo.
Prova. Vimos acima que a comutatividade de A implica a comutatividade de A/M e que A/M e unital, pois A o e, a unidade sendo [1]. Vimos tamb em (Proposi ca o 2.7) que M e um anel primo e, portanto, A/M e um anel de integridade (Proposi ca o 2.8). Tudo o que precisamos e provar que todo elemento n ao-nulo [a] de A/M tem uma inversa. Primeiramente, notemos que se a A tem uma inversa a1 , ent ao [a1 ] e a inversa de [a], pois [a][a1 ] = [aa1 ] = [1]. Vamos ent ao considerar elementos a A que n ao tenham inversa em A. A condi ca o que [a] seja um elemento n ao-nulo de A/M signica que a M .
Cap tulo 2
134/1702
Fixado um tal a, consideremos o conjunto aA. O fato de a n ao ter inversa em A equivale a dizer que 1 aA. O conjunto aA e um ideal ` a direita, mas tamb em um ideal ` a esquerda, pois, devido ` a comutatividade de A, vale aA = Aa. Assim, aA e um ideal bilateral que n ao cont em 1. Notemos tamb em que aA n ao e um subconjunto de M pois, como A e unital, aA cont em o elemento a1 = a M .
A soma M + aA e igualmente um ideal bilateral de A, mas M + aA cont em o elemento 1 pois, se assim n ao fosse, M + aA seria um ideal bilateral pr oprio de A que cont em M propriamente (j a que aA n ao e um subconjunto de M ), contrariando a hip otese que M e maximal. Assim 1 M + aA, o que signica que existem m M e a A tais que m + aa = 1, ou seja, aa = 1 m, o que implica [aa ] = [1] e, portanto, [a][a ] = [1]. Isso prova que [a] tem uma inversa multiplicativa, a saber, [a]1 = [a ].
2.4.1.2
Ideais em Algebras Associativas
As deni co es e constru co es de acima, sobre ideais em an eis, podem ser estendidas para o contexto de algebras associativas. Lembrando que toda algebra associativa e um anel, um ponto relevante a considerar e a estrutura linear introduzida pelo corpo de escalares K com os quais podemos multiplicar os vetores da algebra em quest ao. Aqui n ao repetiremos todas as constru co es de acima no mesmo n vel de detalhe, por tal ser claramente dispens avel, e nos ateremos apenas aos fatos mais importantes para os desenvolvimentos ulteriores. Vamos primeiramente ` as deni co es adequadas de ideais em algebras. Subespa co gerado por subconjunto de uma algebra associativa e alguma nota c ao
Seja A uma algebra associativa sobre um corpo K. Como tal, A e dotada de uma opera ca o associativa de produto (s mbolo esse que, por simplicidade, omitiremos no que segue) e de uma opera ca o de soma + em rela ca o ` a qual e um grupo Abeliano, sendo tamb em um espa co vetorial sobre K. Se B A e um subconjunto n ao-vazio de A, o conjunto E [B ] A denido por E [B ] := 1 b1 + + n bn , n N , k K e bk B para todo k = 1, . . . , n ,
Analogamente ao caso de an eis, se B e C s ao subconjuntos n ao-vazios de A denotamos por BC o conjunto de todos os elementos de A que s ao da forma bc com b B e c C : BC := bc, com b B e c C . Com isso, e f acil ver que E [B ]E [C ] E [BC ]. Se B , C e D s ao subconjuntos n ao-vazios de A tamb em denotamos por BCD os conjuntos (BC )D = B (CD) (essa igualdade dando-se em fun ca o da assumida associatividade de A): BCD := bcd, com b B, c C e d D . Ideais ` a esquerda, ` a direita e bilaterais em algebras associativas
e formado por todas as combina co es lineares nitas de elementos de B com coecientes em K, e o menor subespa co de A que cont em B , o chamado subespa co gerado pelo subconjunto B de A. de se observar que se B e C s E ao subconjuntos n ao-vazios de A, ent ao E [B C ] cont em E [B ] e E [C ] como subespa cos.
Seja A uma algebra associativa sobre um corpo K. Um subconjunto L de A que seja um subespa co vetorial sobre K de A e dito ser um ideal alg ebrico a ` esquerda de A se al L para todo a A e todo l L. Um subconjunto R de A que seja um subespa co vetorial sobre K de A e dito ser um ideal alg ebrico a ` direita de A (ou simplesmente um ideal a ` direita de A) se ra L para todo a A e todo r R. Um subconjunto B de A e dito ser um bi-ideal alg ebrico ou um ideal bilateral alg ebrico de A for simultaneamente um ideal ` a direita e um ideal ` a esquerda de A. Por vezes omitiremos o qualicativo alg ebrico e falaremos apenas de ideais ` a esquerda ou ` a direita ou bilaterais, tal como no caso de an eis. Homomorsmos e ideais alg ebricos bilaterais
Sejam A e B duas algebras associativas e seja : A B um homomorsmo alg ebrico. Ent ao, Ker() = {a A| (a) = 0} e um ideal bilateral alg ebrico de A. A prova dessa importante arma ca o e an aloga ` a do caso de an eis e os detalhes s ao deixados como exerc cio.
Cap tulo 2
135/1702
Seja A uma algebra associativa e sejam L com ( sendo um conjunto arbitr ario de ndices) uma fam lia de muito f e tamb em um ideal an eis alg ebricos ` a esquerda de A. E acil vericar pelas deni co es (fa ca-o!) que L alg ebrico ` a esquerda de A. Arma ca o an aloga vale para ideais alg ebricos ` a direita e ideais alg ebricos bilaterais. Ideais alg ebricos gerados por subconjuntos de uma algebra associativa
Intersec co es de ideais
Assim como no caso de an eis, a no ca o de ideais alg ebricos gerados por subconjuntos de uma algebra associativa permite constru co es de grande relev ancia. Seja C A um subconjunto n ao-vazio de uma algebra associativa A. Ent ao, a intersec ca o de todos os ideais alg ebricos ` esquerda de A que cont a em C e tamb em um ideal alg ebrico ` a esquerda, que e dito ser o ideal alg ebricos a ` esquerda gerado pelo conjunto C . Deni co es an alogas valem para ideais alg ebricos ` a direita e ideais alg ebricos bilaterais.
Denotaremos por IE [A, C ] (ou simplesmente por IE [C ], quando a algebra A for sub-entendida) o ideal alg ebrico ` a esquerda gerado por C A. Analogamente, denotamos por ID [A, C ] (ou simplesmente por ID [C ]) e por IB [A, C ] (ou simplesmente por IB [C ]) os ideais alg ebricos a ` direita e bilaterais, respectivamente, gerados por C A. No caso de algebras associativas e poss vel explicitar mais os elementos de ideais alg ebricos gerados por conjuntos. Proposi c ao 2.10 Seja C A um subconjunto n ao-vazio de uma a lgebra associativa A. Tem-se que: ebrico a ` esquerda gerado por C , IE A, C , consiste de todos os 1. IE A, C = E (AC ) C , ou seja, o ideal alg elementos de A formados por combina co es lineares nitas com coecientes em K de produtos de elementos de A com elementos de C (nessa ordem) mais combina co es lineares nitas com coecientes em K de elementos de C . Naturalmente, se A e unital, ent ao IE A, C = E AC . ebrico a ` direita gerado por C , ID A, C , consiste de todos os 2. ID A, C = E (CA) C , ou seja, o ideal alg elementos de A formados por combina co es lineares nitas com coecientes em K de produtos de elementos de C com elementos de A (nessa ordem) mais combina co es lineares nitas com coecientes em K de elementos de C . Naturalmente, se A e unital, ent ao IE A, C = E CA . e unital, ent ao IE [A, C ] = E [ACA]. 3. IB A, C = E (ACA) (AC ) (CA) C . Naturalmente, se A A prova e an aloga ao caso de an eis e deixada como exerc cio. Somas de ideais alg ebricos
Se L1 e L2 s ao dois ideais alg ebricos ` a esquerda de uma algebra associativa A ent ao sua soma, denida por L1 + L2 := { l1 + l2 , l1 L 1 e l2 L 2 } e tamb em, como facilmente se verica, um ideal alg ebrico ` a esquerda de A. Esse ideal e dito ser a soma dos ideais alg ebricos L1 e L2 . Arma ca o an aloga vale tanto para somas de dois ideais alg ebricos ` a direita quanto para somas de ideais alg ebricos bilaterais. Estrutura de reticulado
Seja A uma algebra associativa. Para dois ideais alg ebricos ` a esquerda L1 e L2 de A dena-se as opera co es L1 L2 := := L1 + L2 . A cole ca o de todos os ideais alg ebricos ` a esquerda de A e um reticulado (para a deni ca o, L1 L2 e L1 L2 vide p agina 67 e seguintes) em rela ca o a essas duas opera co es. Arma ca o an aloga vale tanto para a cole ca o de todos os ideais alg ebricos ` a direita de A quanto para a cole ca o de todos os ideais alg ebricos bilaterais de A. E. 2.99 Exerc cio. Prove as arma co es de acima. Produtos de ideais alg ebricos Se L e um ideal alg ebrico ` a esquerda de A o conjunto E LC e igualmente um ideal alg ebrico ` a esquerda de A, denominado o ideal alg ebrico produto de L por C . Analogamente, se R e um ideal alg ebrico ` a direita de A o conjunto E BR e igualmente um ideal alg ebrico ` a direita de A, denominado o ideal alg ebrico produto de B por R. Por m, se L e um ideal alg ebrico ` a esquerda de A e R e um ideal alg ebrico ` a direita de A, ent ao E LR e um ideal alg ebrico bilateral de A, denominado o bi-ideal alg ebrico produto de L por R.
Cap tulo 2
136/1702
bastante claro ao leitor que com as deni E co es acima podemos reproduzir as constru co es que realizamos no caso de an eis, pois algebras associativas s ao an eis e subespa cos de algebras s ao tamb em subgrupos das mesmas em rela ca o a opera ` ca o de adi ca o. De particular import ancia e a constru ca o de quocientes. Se A e uma algebra associativa e B e um ideal bilateral alg ebrico de A, ent ao nossas constru co es pr evias permitem denir o anel A/B composto das classes caracter sticas [a], com a A, sendo a rela ca o de equival encia em A dada por a a se a a B . Podemos fazer de A/B uma algebra atrav es da estrutura linear 1 [a1 ] + 2 [a2 ] := [1 a1 + 2 a2 ] , denida para todos 1 , 2 K e todos a1 , a2 A. Primeiramente precisamos provar que a express ao acima est a bem denida enquanto opera ca o entre classes. Por em, se a1 , a2 A e b1 , b2 B , ent ao 1 (a1 + b1 ) + 2 (a2 + b2 ) = 1 a1 + 2 a2 + (1 b1 + 2 b2 ). Como 1 b1 + 2 b2 B (pois B e um subespa co de A), segue que 1 [a1 ] + 2 [a2 ] n ao depende do particular representante adotado das classes [a1 ] e [a2 ], fornecendo sempre a classe [1 a1 + 2 a2 ]. Isso estabelece que o anel A/B e uma algebra associativa em rela ca o sobre o corpo K, denominada a lgebra quociente da a lgebra associativa A com o ideal bilateral alg ebrico B , ou a lgebra fator de A por B . Algebras geradas por rela co es
Quocientes de algebras associativas por ideais bilaterais
por vezes muito importante construir um nova Seja A uma algebra associativa. E algebra associativa a partir de A identicando alguns elementos selecionados de A. Se, por exemplo, a e b s ao elementos distintos de A pode ser de nosso interesse impor que valha uma rela ca o como a = b, ou como a2 = b, ou ainda como aba = b3 , ou v arias delas simultaneamente. Isso equivale a impor que alguns elementos de A (como os elementos a b, ou a2 b ou ainda aba b3, nos exemplos acima) sejam nulos. Combinando alguns ingredientes apresentados acima uma tal constru ca o e poss vel. Seja A uma algebra associativa e seja C um subconjunto n ao-vazio de A. Seja IB [A, C ] IB [C ] o ideal alg ebrico bilateral gerado por C e seja a algebra associativa A/IB [C ]. Pela constru ca o, se x A/IB [C ] ent ao [x] = [0]. Como C IB [C ], segue que se c C , vale [c] = [0]. Como se v e, essa constru ca o permite o efeito desejado se impor serem nulos certos elementos de A, a saber os de C (e todos os demais de IB [C ], os quais s ao da forma de somas nitas de elementos como c ou aca , com a, a A e c C ). Aa lgebra associativa A/IB [C ] e dito ser a a lgebra gerada pelo subconjunto C A, ou a a lgebra gerada pelo conjunto de rela co es C A. A algebra associativa A/IB [C ] ser a por vezes denotado por A [A, C ] ou simplesmente por A [C ], quando A for sub-entendido.
Um exemplo relevante de uma tal constru ca o e o seguinte. Seja A uma algebra associativa n ao-comutativa. Podemos construir uma algebra associativa comutativa a partir de A considerando o conjunto C = {ab ba, com a, b A} e construindo a algebra A [A, C ] = A/IB [C ]. Os elementos de A [A, C ] s ao classes [a] com a A. Para todos a, b A teremos que [a][b] [b][a] = [ab ba] = [0], pois ab ba C IB [C ], que e a classe do elemento 0. Com isso, v e-se que A [A, C ] e uma algebra associativa e comutativa, por vezes denominado a Abelianiza ca o da algebra associativa A. Constru co es como a da algebra gerada por um subconjunto C s ao particularmente potentes quando combinadas ` a constru ca o da algebra tensorial de espa cos vetoriais, que introduziremos na Se ca o 2.5, p agina 136.
2.5
Algebras Tensoriais e Algebras Exteriores
Seja U um espa co vetorial sobre um corpo K. Na Se ca o 2.3.5, p agina 120, denimos o produto tensorial U K n que aqui n iremos denotar simplicadamente por U (doravante omitiremos o sub- ndice K dos s mbolos e ). Pela conven ca o adotada naquela se ca o, temos U n = K quando n = 0. Agregando a isso a deni ca o de somas diretas de cole c oes arbitr arias de espa cos vetoriais, apresentada na Se ca o 2.3.4, p agina 120, podemos denir o espa co vetorial
T (U ) :=
n=0
U n .
Na Se ca o 2.3.5.2, p agina 126, denimos tamb em os espa cos sim etrico e anti-sim etrico (U n )S e (U n )A , respectiva-
Cap tulo 2
137/1702
mente. Com eles, podemos analogamente denir os espa cos

TS (U ) :=
n=0
U n
TA (U ) :=
n=0
U n
que s ao os subespa cos sim etrico e anti-sim etrico de T (U ), respectivamente. Acima, para n = 0 convencionamos que U 0 S = U 0 A = K e para n = 1 convencionamos que U 1 S = U 1 A = U .
2.5.1
Algebras Tensoriais

Lembremos que, de acordo com a deni ca o de soma direta, cada vetor v de T (U ) e da forma v0 v1 v2 , fun com vk U n para todo k , mas somente um n umero nito de vk s e n ao-nulo. E ca o disso, e poss vel denir em T (U ) um produto que o transforma em uma algebra associativa: para a a=
k
U
n=0
e b
U n da forma
n=0
k ak 0
ak 1
ak 2
e b =
l b l 0
l
bl 1
bl 2
, as duas somas sendo nitas, com k K e l K e com
i j ak , bl para todos k, l, i e j , denimos o produto a b por i U j U k k k ak 0 a1 a2 l l l b l 0 b1 b2
:=
k, l
k k l l l k l ak 0 a1 a2 b 0 b 1 b 2
p l ak q bpq
=
k, l
k l
p=0 p q=0
=
p=0 q=0 k
k ak q
l b l pq
l
Acima, usamos diversas vezes as propriedades de distributividade estabelecidas no Exerc cio E. 2.93, p agina 123. Os l elementos ak ao denidos pelo isomorsmo can onico: se q bpq s x =
r r m r xr 1 xm U
y =
s
s s s y1 yn U n
com as somas sendo nitas e r , s K para todos r, s, ent ao xy

r s r s s (m+n) r s xr . 1 xm y1 yn U
r s s Aqui, usamos o isomorsmo can onico U m U n U (m+n) (vide (2.47)) para identicar xr 1 xm y1 yn r r s s e x1 xm y1 yn . p
l Observe-se que, devido ao fato de que apenas uma cole ca o nita de componentes ak ao-nula, ent ao apenas i e bj ser n l ak a n ao-nula tamb em (Exerc cio E. 2.100), q bpq , com p = 0, . . . , , ser
uma cole ca o nita de elementos da forma

q=0
provando que o produto acima realmente resulta em elementos de T (U ) e, portanto, dene um produto em T (U ). E. 2.100 Exerc cio. Sejam ai U i e bj U j para todos i, j = 0, 1, . . . , . Mostre que se ai = 0 para todo i > M
p
e bj = 0 para todo j > N , ent ao

q=0
aq bpq = 0 para todo com p > M + N .
O espa co vetorial T (U ) torna-se, assim, uma algebra, denominada a lgebra tensorial de U . Essa algebra e associativa e unital, como se v e nos pr oximos exerc cios.
Cap tulo 2
138/1702
e associativo. Para tal, observe que, para x = x1 xm , E. 2.101 Exerc cio. Mostre que o produto denido acima y = y1 yn e z = z1 zo o isomorsmo can onico mapeia x y z e x y z em x y z . E. 2.102 Exerc cio. Seja e T (U ) da forma e := 1 0 0 , onde 1 e a unidade do corpo K. Mostre, usando a deni c ao de produto dada acima, que 1 b = b para todo b T (U ). Algebras tensoriais s ao objetos de enorme import ancia e diversos outros tipos de algebra podem ser constru das a partir da mesma ou de modo semelhante ` a mesma.
2.5.2
Algebras Exteriores
Algebras exteriores s ao um tipo especial de algebras de Grassmann e ocorrem de forma importante na Topologia Di ferencial e na Geometria Diferencial, especialmente no estudo das chamadas formas diferenciais, introduzidas por Elie 43 Cartan . O tratamento que faremos aqui e geral e n ao se especializa a estruturas diferenci aveis. Na Se ca o 2.3.5.2, p agina 126, denimos o espa co (U n )A como o subespa co de U n constitu do pela imagem do p operador de anti-simetriza ca o An . Sejam p, q N0 . Se x (U )A e y (U q )A , ent ao x e y s ao (evidentemente) elementos de U p e U q , respectivamente, e, portanto, o produto tensorial x y (como introduzido acima) dene um elemento de U (p+q) . Se x (U p )A e y (U q )A , dena-se o produto p, q : (U p )A (U q )A U (p+q) A por x p, q y := (p + q )! Ap+q x y . p!q ! (2.63)
Note-se que, por essa deni ca o valer a no caso p = 0 que x K e, portanto, x0, q y := Aq xy = Aq xy = xAq y = xy . Analogamente, no caso q = 0 teremos y K e, portanto, x p, 0 y := Ap x y = Ap yx = y Ap x = yx. Se x e y s ao da forma x = x1 xp e y = y1 yq , ent ao, usando (2.51) e (2.52), segue que = (p + q )! p!q !
x1 xp p, q y1 yq
Sp Sq
sinal( )sinal( ) Ap+q x(1) x(p) y(1) y(q)
(p + q )! p!q !
Sp Sq
Ap+q x1 xp y1 yq
= =
(p + q )! Ap+q x1 xp y1 yq x1 xp y1 yq . (2.64)
Essa igualdade torna evidente que para x, y e z da forma x = x1 xp (U p )A , y = y1 yq (U q )A e z = z1 zr (U r )A , vale x p, q y p+q, r z = x p, q+r y q, r z . (2.65) Devido ` a linearidade dos produtos p, q (vide (2.63)), a rela ca o (2.65) estende-se para todos x (U p )A , y (U q )A e r z (U )A .
Para x (U p )A , y (U q )A e importante compararmos x p, q y e y q, p x, ambos elementos de (U (p+q) )A . Por (2.64), temos que x1 xp p, q y1 yq = x1 xp y1 yq = (1)pq y1 yq x1 xp = (1)pq y1 yq q, p x1 xp .
43 Elie
Joseph Cartan (18691951).
Cap tulo 2
139/1702
Conseq uentemente, vale evidente por essa rela para todos x (U p )A e y (U q )A . E ca o que se p for mpar, teremos x p, p x = 0 para todo p x (U )A . Isso n ao e necessariamente verdade para p par. Por em, segue de (2.64) e do comentado no Exerc cio E. 2.94, p agina 128, que x1 xp p, p x1 xp = x1 xp x1 xp = 0 para todo p N. A algebra exterior de U Podemos agora proceder de forma an aloga ao que zemos ao transformar T (U ) em uma algebra associativa e unital,
n=0
x p, q y = (1)pq y q, p x
(2.66)
usando os produtos p, q para fazer tamb em de TA (U ) uma algebra associativa. Para a da forma a =
k k k k ak 0 a1 a2 e b = l
(U n )A e b
(U n )A
n=0
l l l b l 0 b1 b2 , as duas somas sendo nitas, com k K e l K
i j e com ak )A , bl )A para todos k, l, i e j , denimos o produto a b por i (U j (U k k k ak 0 a1 a2
l l l b l 0 b1 b2
:=
k, l
k k l l l k l ak 0 a1 a2 b 0 b 1 b 2
p l ak q q, pq bpq
=
k, l
k l
p=0 p q=0
=
p=0 q=0 k
k ak q
q, pq
l b l pq
l
A associatividade do produto assim denido decorre diretamente de (2.65) e sua demonstra ca o e deixada como exerc cio. O espa co vetorial TA (U ) torna-se, assim, uma algebra associativa denominada a lgebra exterior de U . Essa algebra e unital, como se depreende do pr oximo exerc cio. E. 2.103 Exerc cio. Seja e TA (U ) da forma e := 1 0 0 , onde 1 e a unidade do corpo K. Mostre, usando a deni c ao de produto dada acima, que 1 b = b para todo b TA (U ). importante tamb E em reconhecer que U e isomorfo ao subespa co de TA (U ) denido por 0 U 0 0 e que para esse subespa co temos 0 u 0 0 u 0 0 = 0 0 (u 1, 1 u) 0 0 = 0, pois u 1, 1 u = u u = 0 para todo u U . Decorre disso que TA (U ) e uma a lgebra de Grassmann (vide deni ca o na Se ca o 2.1.7.4, p agina 87). De particular import ancia para a Topologia Diferencial e para a Geometria Diferencial e o caso em que U e um espa co de dimens ao nita m. Seja {e1 , . . . , em } uma base em U . Pelo comentado no Exerc cio E. 2.95, p agina 128, vale aqui TA (U ) = K U U 2
A
O caso de espa cos de dimens ao nita
U m
pois (U n )A = {0}, o espa co vetorial trivial, sempre que n > m. Pelo mesmo Exerc cio E. 2.95, cada espa co U l A tem uma base composta por vetores da forma ek1 ekl com kj {1, . . . , m} para todo j e com k1 < . . . < kl e, m m! m! m ao l=0 l!(m conseq uentemente, U l A tem dimens ao m l)! = 2 . l = l!(ml)! . Portanto, TA (U ) tem dimens
2.6
T opicos Especiais
Esta se ca o e formada por alguns assuntos independentes que, embora relevantes, n ao se enquadram na exposi ca o que pretend amos ter nas se co es anteriores.
Cap tulo 2
140/1702
2.6.1
O Grupo de Grothendieck
Vamos aqui descrever uma constru ca o que permite obter um grupo Abeliano a partir de um semi-grupo Abeliano dado. Um grupo constru do por esse procedimento e chamado de grupo de Grothendieck44 associado ao semi-grupo Abeliano em quest ao. Grupos de Grothendieck desempenham um papel importante em v arias areas da Matem atica, como por exemplo na chamada K-teoria. Seja um semi-grupo Abeliano S (n ao necessariamente dotado de um elemento neutro) cujo produto denotamos pelo s mbolo +. Consideremos em primeiro lugar o produto Cartesiano S S e vamos introduzir l a uma rela ca o de equival encia da seguinte forma: dois pares (a, b) e (a , b ) S S s ao equivalentes, (a, b) (a , b ), se existir pelo menos um elemento p S tal que a + b + p = a + b + p . (2.67)
Vamos mostrar que isso dene de fato uma rela ca o de equival encia. Em primeiro lugar e claro que (a, b) (a, b) para qualquer par (a, b) S 2 = S S , dado que aqui, para vericar (2.67), basta tomar qualquer elemento p S . Em segundo lugar e evidente que se (a, b) (a , b ) ent ao (a , b ) (a, b). Finalmente, vamos mostrar que se (a, b) (c, d) e (c, d) (e, f ) ent ao (a, b) (e, f ). Por hip otese existem p e p S tais que a+d+p = b+c+p Daqui extra mos que (a + d + p) + (c + f + p ) = (b + c + p) + (d + e + p ) , ou seja, que a + f + p = b + e + p , onde p = d + c + p + p . Essa rela ca o diz precisamente que (a, b) (e, f ), completando a prova de que temos assim uma rela ca o de equival encia em S 2 . Vamos considerar agora o conjunto K (S ) := S 2 / de todas as classes de equival encia denidas acima. Como e usual, denotaremos por [(a, b)] a classe ` a qual pertence o par (a, b) S 2 . Vamos construir em K (S ) uma estrutura de grupo Abeliano, cujo produto tamb em denotaremos por +. Dadas duas classes [(a, b)] e [(c, d)] denimos [(a, b)] + [(c, d)] := [(a + c, b + d)] . Note-se que por essa deni ca o tem-se (verique!) [(a, b)] + [(c, d)] = [(c, d)] + [(a, b)] para todo a, b, c, d S , pelo fato de a opera ca o de soma ser Abeliana em S . e c + f + p = d + e + p .
A primeira coisa a fazer e mostrar que essa deni ca o independe dos elementos tomados nas classes. Para isto basta provar que se (a , b ) (a, b) ent ao (a + c, b + d) (a + c, b + d). Se (a , b ) (a, b) ent ao existe p S tal que a + b + p = a + b + p . Somando-se c + d a ambos os lados tiramos (a + c) + (b + d) + p = (a + c) + (b + d) + p que e precisamente a armativa que (a + c, b + d) (a + c, b + d). igualmente f E acil vericar que para quaisquer x, y S tem-se que (x, x) (y, y ) e que, portanto, [(x, x)] = [(y, y )]. ario. Vamos provar que h a em K (S ) um elemento neutro. Este e precisamente a classe e := [(x, x)] com x S arbitr Note-se que, para qualquer par (a, b) S 2 teremos [(a, b)] + [(x, x)] = [(a + x, b + x)] = [(a, b)] ,
44 Alexander
Grothendieck (1928-).
Cap tulo 2
141/1702
Falta-nos provar a associatividade do produto e a exist encia de uma inversa para cada elemento de K (S ). Para a associatividade, notemos que [(a, b)] + [(c, d)] + [(e, f )] := [(a, b)] + [(c + e, d + f )] = [(a + c + e, b + d + f )] , [(a + c, b + d)] + [(e, f )] = [(a + c + e, b + d + f )] .
pois (a + x + b) + p = (b + x + a) + p para qualquer p S .
[(a, b)] + [(c, d)] + [(e, f )] :=
Para provar a exist encia de inversa notemos que para cada par (a, b) S 2 podemos tomar [(a, b)]1 := [(b, a)] pois [(a, b)] + [(a, b)]1 = [(a, b)] + [(b, a)] = [(a + b, a + b)] = e . Isso mostrou que K (S ) tem uma estrutura de grupo Abeliano. Este e o chamado grupo de Grothendieck associado ao semi-grupo Abeliano S . Como de costume, denotaremos [(a, b)]1 por [(a, b)]. Assim, [(a, b)] = [(b, a)]. E. 2.104 Exerc cio. Seja o mon oide Abeliano N0 dos n umeros naturais contendo o 0 com a soma usual. Mostre que K (N0 ) Z. O exerc cio acima indica a possibilidade de se denir os n umeros inteiros a partir dos naturais. Os inteiros seriam, por deni ca o, o grupo de Grothendieck do mon oide Abeliano dos naturais com a opera ca o de soma usual. oide Abeliano N, dos n umeros naturais, com o produto dado pela multiplica c ao usual. E. 2.105 Exerc cio. Seja o mon Mostre que K (N) Q+ , o grupo dos racionais positivos (sem o zero) com o produto dado pela multiplica c ao usual. O exerc cio acima indica a possibilidade de se denir os n umeros racionais positivos a partir dos naturais. Os racionais seriam, por deni ca o, o grupo de Grothendieck do mon oide Abeliano dos naturais com a opera ca o de produto usual. Para cada elemento a de um mon oide Abeliano M podemos associar um elemento de K (M ) por M a [a] := f [(a, 0)] K (M ). E acil ver que todo elemento [(a, b)] de K (M ) pode ser escrito da forma [(a, b)] = [a] [b] e que [a] [b] = [a ] [b ] se e somente se existir p M com a + b + p = a + b + p. c ao de Grothendieck para o semi-grupo R+ , denido ` a p agina 75. Mostre que o E. 2.106 Exerc cio. Aplique a constru grupo assim obtido possui apenas um elemento.
2.6.2
Grup oides
dado um conjunto C e um subconjunto C0 C , o qual Um grup oide e denido da seguinte forma. E e a imagem de duas fun co es un arias p e c (chamadas de partida e chegada), ou seja, p : C C0 , c : C C0 . Os elementos de C0 s ao pontos xos de p e de c, ou seja, c() = e p() = para todo C0 (aqui denotaremos os elementos de C por letras gregas). Dene-se em C C um subconjunto (ou seja, uma rela ca o em C ), que denotaremos por RC , da seguinte forma: RC := {(, ) C 2 | p() = c( )} . tamb E em dada uma fun ca o bin aria RC C , que denotaremos por e que denominaremos produto, a qual satisfaz as seguintes hip oteses: 1. Associatividade: ( ) = ( ) sempre que os produtos estejam denidos, ou seja, se (, ), (, ), (, ) e ( , ) forem todos elementos de RC 2. Para todo (, ) RC temos p( ) = p( ).
Cap tulo 2
142/1702
3. Para todo (, ) RC temos c( ) = c(). 4. Para todo C temos p() = . 5. Para todo C temos c() = . Fora isso, existe para cada C uma assim chamada inversa bilateral 1 C , a qual satisfaz 1 = c() e 1 1 = p(). Note que, por essa deni ca o, tem-se que, para todo 0 C0 , 0 0 = 0 0 = 0 .
1
Estes ingredientes denem um grup oide. Note-se que um grup oide n ao necessariamente cont em um elemento neutro (vide exemplos). Exemplo de grup oide: Caminhos
Este exemplo e um prot otipo da deni ca o de grup oide acima, ou seja, aquela possivelmente foi criada tendo o mesmo como exemplo-guia. Seja I o intervalo fechado [0, 1] e vamos considerar o conjunto C de todas as fun co es cont nuas de I em um espa co topol ogico Hausdor qualquer (por exemplo R2 ). Um elemento de C e uma curva orientada cont nua em R2 que tem um ponto de partida (0) e um ponto de chegada (1). Podemos introduzir uma rela ca o de equival encia em C da seguinte forma: duas curvas e C s ao equivalentes ( ) se existir uma bije ca o cont nua b : I I com b(0) = 0, b(1) = 1, tal que = b. Vamos denominar por C as classes de equival encia de C pela rela ca o de equival encia acima: C := C/ . O conjunto C0 e o subconjunto de C formado pelas classes de equival encia de curvas constantes: [] C0 (t) = (t ), t, t I . Denimos as fun co es un arias p e c da seguinte forma: p([ ]) e a classe de equival encia da curva constante que a todo t I associa o ponto (0) de R2 , o ponto de partida de ; c([ ]) e a classe de equival encia da curva constante que a todo t I associa o ponto (1) de R2 , o ponto de chegada de .
Dados dois elementos em C queremos agora denir o seu produto. A id eia a ser seguida e que o produto de duas curvas e denido apenas quando o ponto de chegada da primeira coincide com o ponto de partida da segunda e resulta em uma curva u nica unindo o ponto de partida da primeira com o ponto de chegada da u ltima. Matematicamente isso e feito denindo-se o produto [ ] [] como sendo a classe de equival encia da curva denida pela composi ca o (t) := (2t), para 0 t 1/2 (2t 1), para 1/2 < t 1 .
Claramente s o e um elemento de C (ou seja, uma curva cont nua) se (1) = (0).
Por m a inversa bilateral de [] e denida como sendo a classe [1 ], onde 1 (t) = (1 t).
Deixamos para o leitor como exerc cio mostrar que a estrutura denida acima e a de um grup oide.
Notemos que para a composi ca o acima n ao vale a associatividade: ( ) = ( ), se ambos os lados estiverem denidos (por que?). No entanto, as curvas ( ) e ( ) s ao equivalentes no sentido da deni ca o acima e de tal forma que para o produto denido nas classes C vale a associatividade [] ([ ] [ ]) = ([] [ ]) [ ], se ambos os lados estiverem denidos (por que?). Essa e a raz ao de termos feito a constru ca o nas classes C e n ao diretamente em C. Esse fato j a deve ser familiar ao leitor que conhe ca o conceito de grupo de homotopia de espa cos topol ogicos. O grup oide apresentado acima e o grupo de homotopia s ao, ali as, fortemente aparentados e ao leitor sugere-se pensar sobre qual a conex ao entre ambos. Exemplo de grup oide: Rela co es de equival encia
Seja K um conjunto no qual haja uma rela ca o de equival encia R K K . Tomamos C = R e C0 = {(x, x), x K } R. Denimos 1. p((x, y )) := (x, x), x, y K com x y . 2. c((x, y )) := (y, y ), x, y K com x y . 3. Produto: (x, y ) (y, z ) := (x, z ), x, y, z K com x y z .
Cap tulo 2
143/1702
4. Inversa bilateral: (x, y )1 := (y, x). f E acil de se vericar (fa ca-o!) que a estrutura assim denida e a de um grup oide.
2.6.3
Quat ernios
Vamos nesta se ca o tratar brevemente de um tipo de algebra que possui algumas aplica co es interessantes na teoria de grupos e outros lugares, a chamada algebra dos quat ernios. Para a motiva ca o, comecemos com alguns coment arios. Dado um espa co vetorial como R2 h a v arias maneiras de denir no mesmo um produto de modo a fazer do mesmo uma algebra. Por exemplo, podemos denir em R2 o produto (x1 , x2 ) (y1 , y2 ) = (x1 y1 , x2 y2 ) , que e associativo e comutativo, como tamb em o produto (x1 , x2 ) (y1 , y2 ) = (x1 y1 x2 y2 , x1 y2 + x2 y2 ) , que e igualmente associativo e comutativo (Exerc cio. Verique). O produto (2.68) faz de R2 uma algebra isomorfa a R R, ou seja, a duas c opias da algebra usual dos n umeros reais. O produto (2.69) faz de R2 uma algebra isomorfa ` a dos n umeros complexos C (em verdade, a algebra dos n umeros complexos e denida como sendo a algebra R2 com o produto (2.69)!). Em R3 podemos denir igualmente v arios tipos de produtos, tais como o produto (x1 , x2 , x3 ) (y1 , y2 , y3 ) = (x1 y1 , x2 y2 , x3 y3 ) , que e igualmente associativo e comutativo; o produto (x1 , x2 , x3 ) (y1 , y2 , y3 ) = (x1 y1 , x2 y2 x3 y3 , x2 y3 + x3 y2 ) , tamb em associativo e comutativo ou ainda um produto como (x1 , x2 , x3 ) (y1 , y2 , y3 ) = (x2 y3 x3 y2 , x3 y1 x1 y3 , x1 y2 x2 y1 ) , (2.72) (2.71) (2.70) (2.69) (2.68)
que n ao e nem associativo nem comutativo. O produto (2.70) faz de R3 uma algebra isomorfa a R R R (tr es c opias da algebra dos reais). O produto (2.71) faz de R3 uma algebra isomorfa a R C e o produto (2.72) e o bem conhecido produto vetorial. O que se pode ent ao fazer em R4 ? Naturalmente poder-se-ia denir em R4 v arias algebras imitando o que zemos acima. Por exemplo, com o produto (x1 , x2 , x3 , x4 ) (y1 , y2 , y3 , y4 ) = (x1 y1 , x2 y2 , x3 y3 , x4 y4 ) , R4 torna-se uma algebra associativa e comutativa isomorfa a R R R R. Com o produto (x1 , x2 , x3 , x4 ) (y1 , y2 , y3 , y4 ) = (x1 y1 x2 y2 , x1 y2 + x2 y1 , x3 y3 x4 y4 , x3 y4 + x4 y3 ) , R4 torna-se uma algebra associativa e comutativa isomorfa a C C. Com o produto (x1 , x2 , x3 , x4 ) (y1 , y2 , y3 , y4 ) = (x2 y3 x3 y2 , x3 y1 x1 y3 , x1 y2 x2 y1 , x4 y4 ) (2.75) R4 torna-se uma algebra n ao-associativa e n ao-comutativa isomorfa a R3 R, com o produto vetorial na componente 3 R . H a tamb em outros produtos que s ao meras variantes das listadas acima (ache algumas). Existe, por em, um outro produto n ao-trivial, denominado produto quaterni onico, que faz de R4 uma algebra associativa mas n ao-comutativa e com unidade. Esse produto foi descoberto por W. R. Hamilton45 . A hist oria da descoberta desse produto em R4 , feita
45 William Rowan Hamilton (18051865). W. R. Hamilton foi tamb em o inventor do chamado formalismo Hamiltoniano da Mec anica Cl assica.
(2.73)
(2.74)
Cap tulo 2
144/1702
em 16 de outubro 1843, numa tentativa de generalizar a algebra dos n umeros complexos para mais que duas dimens oes, e bastante pitoresca e representou um marco na hist oria da Algebra por ser o primeiro exemplo de uma algebra associativa mas n ao-comutativa (a descoberta de Hamilton antecede a introdu ca o da algebra das matrizes e a introdu ca o do produto vetorial). Esse produto e o seguinte: (x0 , x1 , x2 , x3 ) (y0 , y1 , y2 , y3 ) = (x0 y0 x1 y1 x2 y2 x3 y3 , x0 y1 + y0 x1 + x2 y3 x3 y2 , x0 y2 + y0 x2 + x3 y1 x1 y3 , x0 y3 + y0 x3 + x1 y2 x2 y1 ) . (2.76) E. 2.107 Exerc cio. Mostre que o produto acima e associativo. Sugest ao: paci encia. O espa co vetorial R4 dotado do produto acima e denominado a lgebra dos quat ernios ou a lgebra quaterni onica e e algebra e associativa mas n ao e comutativa. tem uma denotada freq uentemente por (em honra a Hamilton). A unidade, a saber, o vetor (1, 0, 0, 0) R4 . E. 2.108 Exerc cio. Mostre que n ao e uma algebra comutativa. E. 2.109 Exerc cio. Mostre que (1, 0, 0, 0) e a unidade de . H a uma maneira melhor de representar o produto quaterni onico que a express ao (2.76). Vamos escrever os vetores da base can onica de R4 como e0 = (1, 0, 0, 0) , e1 = (0, 1, 0, 0) , e2 = (0, 0, 1, 0) , e3 = (0, 0, 0, 1) ,
de modo que todo x R4 pode ser escrito na forma x = x0 e0 + x1 e1 + x2 e2 + x3 e3 . O produto quaterni onico pode ent ao ser denido pelo produto dos elementos da base can onica, que segue as seguintes regras: 1. e0 e a unidade da algebra: x e0 = e0 x = x para todo x R4 . 2. (e1 )2 = (e2 )2 = (e3 )2 = e0 . 3. ei ej = ej ei para todo i = j com i, j = 1, 2, 3. 4. e1 e2 = e3 , e2 e3 = e1 e e3 e1 = e2 . E. 2.110 Exerc cio. Verique que essas regras reproduzem perfeitamente (2.76). Al em de ser de manipula ca o mais simples, essas regras permitem representar a algebra quaterni onica de um modo talvez mais familiar, a saber, em termos de certas matrizes complexas 2 2. Quat ernios e algebras de matrizes 2 2 Sejam a e b dois n umeros complexos e seja M (a, b) a matriz M (a, b) = a b b a ,
f onde z e o complexo conjugado de z C. E acil de se ver que o conjunto de todas as matrizes dessa forma e uma algebra: M (a, b)M (c, d) = M (ac bd, ad + bc) . E. 2.111 Exerc cio. Verique!
Cap tulo 2
145/1702
Existe um isomorsmo entre a algebra dos quat ernios e essa algebra de matrizes 2 2. Basta associar (bijetivamente!) a cada qu adrupla (x0 , x1 , x2 , x3 ) a matriz M (x0 ix3 , x2 + ix1 ): x0 ix3 x2 + ix1 =: M (x) . x = (x0 , x1 , x2 , x3 ) (2.77) x2 + ix1 x0 + ix3 f E acil vericar ent ao (fa ca!) que o produto quaterni onico e respeitado por essa associa ca o: M (x)M (y ) = M (x y ) , onde, acima, x y e o produto quaterni onico de x e y R4 . Note-se que por essa associa ca o tem-se M (x) = M (x0 e0 + x1 e1 + x2 e2 + x3 e3 ) = x0 M (e0 ) + x1 M (e1 ) + x2 M (e2 ) + x3 M (e3 ), com onde M (e0 ) = , M (e1 ) = i1 , 1 = 0 1 1 0 , M (e2 ) = i2 , 2 = 0 i i 0 M (e3 ) = i3 , e 3 = 1 0 0 1 ,
1 0
0 1
as tr es u ltimas sendo as chamadas matrizes de Pauli46 , que satisfazem 1. (1 )2 = (2 )2 = (3 )2 = , 2. i j = j i para todo i = j e 3. 1 2 = i3 , 2 3 = i1 , 3 1 = i2 . E. 2.112 Exerc cio. Verique essas propriedades. Sub- algebras Abelianas
possui algumas sub- algebras Abelianas.
e uma sub- algebra Abeliana de que E. 2.113 Exerc cio. Mostre que 1 := {x R4 , x = x0 e0 + x1 e1 = (x0 , x1 , 0, 0)} e isomorfa ` a algebra C dos complexos. E. 2.114 Exerc cio. Mostre o mesmo para 2 := {x R4 , x = x0 e0 + x2 e2 = (x0 , 0, x2 , 0)} e 3 := {x R4 , x = x0 e0 + x3 e3 = (x0 , 0, 0, x3 )}. E. 2.115 Exerc cio. Ser a poss vel fazer de R4 um espa co vetorial complexo? Seja C e considere para x R4 o produto do escalar pelo vetor x denido por x = (Re()e0 + Im()e1 ) x ,
onde o produto do lado direito e o o produto quaterni onico. Mostre que isso faz de R4 um espa co vetorial sobre o corpo dos complexos. Para isto verique as propriedades denidoras de um espa co vetorial listadas ` a p agina 79. E. 2.116 Exerc cio. No exerc cio anterior h a outros produtos do escalar pelo vetor x que podem ser considerados: x = (Re()e0 + Im()e2 ) x , ou x = (Re()e0 + Im()e3 ) x ,
46 Wolfgang
Ernst Pauli (19001958).
Cap tulo 2
146/1702
ou mesmo etc. Mostre que todos esses seis produtos de escalares C por vetores x R4 fazem de R4 um espa co vetorial sobre o corpo dos complexos. e um anel de divis ao f E acil ver que a algebra dos quat ernios e um anel de divis ao (vide p agina 89), ou seja, todo x R4 , x = 0, tem uma inversa em rela ca o ao produto quaterni onico. Do isomorsmo M denido em (2.77) acima v e-se que det(M (x)) = det (M (x0 + ix1 , x2 + ix3 )) = (x0 )2 + (x1 )2 + (x2 )2 + (x3 )2 e, portanto, M (x) tem uma matriz inversa sempre que x = 0. De fato, denindo-se para x = x0 e0 + x1 e1 + x2 e2 + x3 e3 R4 o conjugado quaterni onico x = x0 e0 x1 e1 x2 e2 x3 e3 e do fato facilmente constat avel que47 x x = (x0 )2 + (x1 )2 + (x2 )2 + (x3 )2 R e f acil ver que para x = 0 tem-se x1 = ou seja x1 x = x x1 = e0 . E. 2.117 Exerc cio. Verique. Note que por ser um anel de divis ao, n ao tem divisores de zero: x y = 0 se e somente se x = 0 ou y = 0. Norma quaterni onica Em uma algebra A uma fun ca o N : A R+ que satisfa ca N (a b) = N (a)N (b) em possui uma norma Em R e C tem-se a norma alg ebrica N (z ) = |z |, o m odulo ou valor absoluto de z . tamb alg ebrica. Para x R4 a express ao N (x) = x x E. 2.118 Exerc cio. Verique que a mesma satisfaz N (x y ) = N (x)N (y ). H a um teorema devido a Hurwitz49 que arma que h a apenas quatro algebras que s ao algebras de divis ao50 e possuem uma norma alg ebrica: R, C, e a chamada algebra dos oct onions, da qual n ao falaremos aqui. Esta u ltima, por sinal, n ao e associativa. Aa lgebra possui v arias outras propriedades interessantes, mas vamos encerrar aqui nossa exposi ca o introdut oria. algebra, especialmente nos mais antigos. O leitor interessado poder a encontrar mais sobre nos bons livros de para todo a, b A e N (a) = 0 a = 0 e dita ser uma norma alg ebrica. 1 xx x R4 , x = x (Re()e0 + Im()e1 )
dene48 uma norma alg ebrica em .
um abuso de linguagem identicamos aqui ((x0 )2 + (x1 )2 + (x2 )2 + (x3 )2 )e0 R4 com (x0 )2 + (x1 )2 + (x2 )2 + (x3 )2 R. nota de rodap e 47, p agina 146. 49 Adolf Hurwitz (18591919). 50 Vide deni ca o a ` p agina 89
48 Vide
47 Com

Estruturas Algebricas Basicas

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Estruturas Algebricas Basicas

Enviado por

Direitos autorais:

Formatos disponíveis

Cap tulo 2 Estruturas Alg ebricas B asicas

JCABarata. Curso de F sica-Matem atica

Vers ao de 2 de novembro de 2009.

. 138 139 . 140 . 141 . 143