Cap tulo 29 O Limite Indutivo de Algebras

Conte udo

amos neste cap tulo apresentar uma constru ca o do chamado limite indutivo de certas fam lias de a lgebras, em particular de a lgebras de Banach. Tal constru ca o e freq uentemente empregada, por exemplo na teoria das a lgebras C onde e usada na constru ca o de uma classe importante de a lgebras C , as chamadas a lgebras AF. No caminho que seguiremos indicaremos primeiro como construir o chamado limite indutivo alg ebrico, constru ca o essa que pode ser efetuada n ao s o em fam lias de a lgebras, mas tamb em em fam lias de grupos, de an eis, de semi-grupos, de espa cos vetoriais etc. A seguir trataremos do caso de espa cos de fam lias de espa cos de Banach e construiremos o chamado limite indutivo de Banach de (A, ). O Limite Indutivo Alg ebrico de uma Fam lia de Algebras Um conjunto I e dito ser um conjunto dirigido (directed set) se for dotado de uma rela ca o de ordem parcial, que denotaremos por , e se for dotado da seguinte propriedade: para quaisquer dois elementos a e b de I existe pelo menos um terceiro elemento c I tal que a c e b c. Seja I um conjunto dirigido que trataremos aqui como um conjunto de ndices. Vamos estar aqui supondo que associada a cada i I haja uma a lgebra Ai e que, para cada par i, j I com i j haja um morsmo de a lgebra ij : Ai Aj satisfazendo os seguintes requisitos: 1. Para todo i, j , k I com i 2. Para todo i I , ii = idAi . A propriedade 1) acima e chamada de coer encia. No que segue estaremos supondo que todas as a lgebras Ai s ao a lgebras em rela ca o ao mesmo corpo (por exemplo, ).

k , ik = jk ij

Uma cole ca o de a lgebras e morsmos de a lgebra com as propriedades acima e dito ser um sistema indutivo de a lgebras e denotaremos um tal sistema por (A, ). A t tulo de ilustra ca o o leitor pode ter em mente o caso em que I = e onde cada a lgebra A i e uma sub- algebra de Ai+1 , i, i+1 sendo a inclus ao de Ai em Ai+1 e ij := i, i+1 i+1, i+2 . . . j 1, j , para todos i, j com i < j .

Seja A =
iI

Ai a uni ao disjunta das a lgebras Ai . Lembramos que a uni ao disjunta de uma fam lia (x, i). Com o prop osito de denir o
i xXi

Xi , i , de conjuntos foi denida (p agina 27) como

conceito de limite indutivo associado ao sistema indutivo (A, ) vamos denir em A uma rela ca o de 1320

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 29

1321/1355

equival encia. Sejam x Ai e y Aj . Dizemos que x y se existir pelo menos um k I com1 (k i) (k j ) tal que ik (x) = jk (y ). Vamos mostrar em primeiro lugar que tal realmente dene uma rela ca o de equival encia. 1. x x, x Ai . Para tal tome-se k = i. 2. Se x y ent ao y x. Obvio, pela deni ca o. 3. Se x y e y z ent ao x z . Sejam x Ai , y Aj e z Ak . Ent ao existem k e k tais que (k i) (k j ), (k j ) (k k ) com ik (x) = jk (y ) e jk (y ) = kk (z ). Seja ent ao k I com (k k ) (k k ). Teremos
k

ik (x) = k k ik (x) = k k jk (y ) = jk (y ) = k Assim, ik (x) = kk (z ) com (k i) (k

jk (y ) = k

kk (z ) = kk (z ).

k ), provando que x z .

Isto posto, denotaremos por A a cole ca o das classes de equival encia de A pela rela ca o : A := A/ . Notemos que A depende da cole ca o {Ai , i I } e dos morsmos ij usados. Antes de prosseguirmos provemos o seguinte pequeno resultado, do qual faremos uso: Lema 29.1 Para todo i I , todo a Ai e todos k , k I com k ik (a). i, k i, tem-se que ik (a)

Prova. Seja x ik (a) Ak , y ik (a) Ak e seja k I com (k kk (x) = kk ik (a) = ik (a) e k k (y ) = k k ik (a) = ik (a). Logo, kk (x) = k k (y ), provando que x y . Este lema diz que, para todo i I , todo a Ai e todos k , k I com k [ik (a)] = [ik (a)], o que tamb em diz que i I , todo a Ai e todo k I com k [a] = [ik (a)].
1

k ) (k

k ). Temos que

i, k

i, tem-se que

i temos

Lembramos que os s mbolos e representam os conectivos l ogicos e e ou, respectivamente.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 29

1322/1355

Podemos atribuir a A uma estrutura de a lgebra. Em primeiro lugar, se [x] e a classe de equival encia associada a um elemento x, denimos [x] := [x]. Aqui e um elemento qualquer do corpo de escalares das a lgebras. preciso demonstrar a independ E encia dessa deni ca o dos representantes tomados na classe, mas isso e f acil de se vericar, pois se x x com x Aj e x Ai , existe k I com (k i) (k j ) com ik (x) = jk (x ). Logo, ik (x) = jk (x ), provando que (x ) (x), ou seja, que [x ] = [x]. Sejam x Ai , y Aj e (k i) (k j ). Denimos

[x] + [y ] := [ik (x) + jk (y )]. preciso demonstrar a independ E encia dessa deni ca o dos representantes tomados, assim como do k adotado. A independ encia de k e imediata, pois se (k i) (k j ) ent ao tomemos k I tal que (k k ) (k k ). Denotando z1 = ik (x) + jk (y ) e z2 = ik (x) + jk (y ) teremos kk (z1 ) = ik (x) + jk (y ) = k k (ik (x) + jk (y )) = k k (z2 ), mostrando que z1 z2 e que [ik (x) + jk (y )] = [ik (x) + jk (y )]. Vamos agora provar a independ encia da deni ca o de [x] + [y ] do representante tomado em [x]. A independ encia em rela ca o ao representante em [y ] e an aloga. Seja x Ai com x x e seja k I com (k i) (k i ) (k j ) e tal que ik (x) = i k (x ). Temos que i k (x ) + jk (y ) = ik (x) + jk (y ). Logo [i k (x ) + jk (y )] = [ik (x) + jk (y )] = [ik (x) + jk (y )], pela independ encia em k , provando o que se desejava. Notemos tamb em que para todo y , [0] + [y ] = [ik (0) + jk (y )] = [jk (y )] = [y ], mostrando que [0] e o elemento neutro da adi ca o denida acima e que [x] + (1)[x] = [x] + [x] = [ik (x) + ik (x)] = [ik (x) ik (x)] = [0]. As opera co es de multiplica ca o por escalar e de soma em que foram denidas acima d ao a A uma estrutura de espa co vetorial. Vamos agora denir um produto em A . Denimos [x][y ] := [ik (x)jk (y )], onde, novamente x Ai , y Aj e k e tal que (k i) (k j ). preciso demonstrar a independ E encia dessa deni ca o dos representantes tomados, assim como do k adotado. Para vermos a independ encia em rela ca o ao k adotado, seja (k i) (k j ) ent ao tomemos k I tal que (k k ) (k k ). Denotando z1 ik (x)jk (y ) e z2 ik (x)jk (y ) teremos, usando o fato que os s s ao morsmos de a lgebra, kk (z1 ) = ik (x)jk (y ) = k k (ik (x)jk (y )) = k k (z2 ),

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 29

1323/1355

mostrando que z1 z2 e que [ik (x)jk (y )] = [ik (x)jk (y )]. Vamos agora provar a independ encia da deni ca o de [x][y ] do representante tomado em [x]. A independ encia em rela ca o ao representante em [y ] e an aloga. Seja x Ai com x x e seja k I com (k i) (k i ) (k j ) e tal que ik (x) = i k (x ). Temos que i k (x )jk (y ) = ik (x)jk (y ). Logo [i k (x )jk (y )] = [ik (x)jk (y )] = [ik (x)jk (y )], pela independ encia em k . Notemos tamb em, por m, que para todo y , [0][y ] = [ik (0)jk (y )] = [0jk (y )] = [0]. O conjunto A , dotado da estrutura alg ebrica denida acima, e chamado de limite indutivo alg ebrico do sistema indutivo (A, ). Alguns Exemplos Vamos ilustrar a constru ca o acima com exemplos. Seja I = aa lgebra das matrizes complexas n n.

com a ordem usual e A n = Mat(n,

),

H a tr es poss veis morsmos de a lgebra de Mat(2) em Mat(3), como indicado abaixo: 0 0 0 a b 1 := 0 a b . 2, 3 c d 0 c d 2 2, 3 a b c d a b c d a 0 b := 0 0 0 , c 0 d a b 0 := c d 0 , 0 0 0

3 2, 3

es s denidos acima s ao homomorsmos de A 2 em A3 e que s ao E. 29.1 Exerc cio. Mostre que os tr os u nicos homomorsmos desse tipo. H a entre An e An+1 exatamente n + 1 homomorsmos. O exemplo acima ilustra como os mesmos s ao obtidos: para uma matriz n n a, i e uma matriz (n + 1) (n + 1) obtida inserindo-se n, n+1 (a) em a uma coluna na i- esima posi ca o e uma linha na i- esima posi ca o, ambas apenas com zeros:

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 29

1324/1355

i n, n+1

a1, 1 . . . a1, n . . .. . . . . . an, 1 . . . an, n

a1, 1 . . . a i1, 1 := 0 ai, 1 . . . an, 1

. . . a1, i1 . .. . . . . . . ai1, i1 ... 0 . . . ai, i1 . .. . . . . . . an, i1

0 . . .

a 1, i . . .

0 ai1, i 0 0 0 ai, i . . . . . . 0 an, i

. . . a1, n . .. . . . . . . ai1, n ... 0 . . . ai, n . .. . . . . . . an, n

Uma poss vel cole ca o de morsmos coerentes e dada da seguinte forma. Seja a cole ca o {i a , a onde, para a, o ndice ia assume valores em {1, . . . , a + 1}. Sejam An e Am , com n < m, e
m1 n n ,...,im1 i := i n, n+1 . . . m1, m . n, m

Note-se por em que morsmos com ndices {in , . . . , im } distintos podem ainda assim ser id enticos. O que distingue os morsmos entre si e a localiza ca o das linhas e colunas nulas. Cada cole ca o I = {ia , a

} caracteriza (n ao univocamente) um limite indutivo alg ebrico AI .

Suponha que adotemos um sistema indutivo onde I = com a ordem usual, E. 29.2 Exerc cio. n+1,...,m An = Mat(n, ) e onde os morsmos s ao dados por n, m , ou seja, com cada ia assumindo o valor m aximo poss vel ( ultima linha e coluna de zeros introduzida em cada etapa). Mostre que matrizes como a b 0 a b e c d 0 c d 0 0 0 s ao equivalentes e que matrizes como a b c d n ao s ao equivalentes. Vamos considerar outro exemplo. Seja s xo, s = 0, e I = {2n s, n } com a ordem usual. Seja An = Mat(2n s, ) e seja n m denida da seguinte forma: para todo a Mat(2n s, C ),

0 0 0 e 0 a b , 0 c d

n m (a) := a a . . . a, 2mn vezes onde, para uma matriz N N , a, aa = onde 0N e a matriz nula N N e a 0 N 0N a a a = 0N a 0 N , 0N 0N a a 0N 0N a ,

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 29

1325/1355

etc. Mais genericamente, para q , q 2 e s , s = 0, podemos tomar I = {q n s, n ordem usual, An = Mat(q n s, ) e n m denida da seguinte forma: para todo a Mat(q n s,

} com a ),

n m (a) := a a . . . a . q mn vezes O limite indutivo alg ebrico assim obtido ser a caracterizado por q e s: A(q, s). Vamos agora a mais um exemplo que, num caso especial, engloba o anterior. Seja {q i , qi 2, i } uma seq u encia de n umeros naturais positivos maiores ou iguais a 2 e s , s = 0. Seja Q0 = s e Qn := sq1 qn , n 1. Tomemos I = {Qn , n } com a ordem usual, e An = Mat(Qn , ) e n m denida da seguinte forma. Sejam Tn Mat(qn , ), n , n 1, matrizes idempotentes (ou 2 seja, que satisfazem Tn = Tn ) n ao nulas e denamos para todo a Mat(Qn , )

n, n+1 (a) = a Tn+1 . E. 29.3 Exerc cio. Verique que isso dene um morsmo de algebra entre Mat(Q n , 2 Por que raz ao a condi c ao de idempot encia Tn = Tn e importante?

) e Mat(Qn+1 ,

).

Seja ent ao para todo m > n n, m := n, n+1 m1, m . Pela deni ca o e claro que os s assim denidos formam uma cole ca o coerente de morsmos. O limite indutivo alg ebrico assim obtido ser a aqui denotado por A({q }, s, {T }). E. 29.4 Exerc cio. Verique que o exemplo anterior, A(q, s), corresponde a tomar-se q n = 2 e Tn = n .

q,

Os exemplos acima ser ao discutidos com mais detalhe quando tratarmos das a lgebras AF. Passemos agora a ` seguinte discuss ao. Se as a lgebras Ai , i I forem todas a lgebras de Banach estamos muitas preciso vezes interessados em construir um limite indutivo que seja tamb em uma a lgebra de Banach. E para tal introduzir uma norma conveniente em A a partir das normas das a lgebras Ai e construir seu completamento. H a para tal uma s erie de problemas dos quais passaremos a tratar. O Limite Indutivo de Banach de uma Fam lia de Algebras de Banach Vamos considerar agora a situa ca o na qual as a lgebras Ai s ao a lgebras de Banach com norma i . O sistema (A, ) e dito ser um sistema indutivo normado se todos os i j forem cont nuos (ou seja, limitados) e se tivermos lim sup i j j < .
j

Pelo teorema de Banach-Steinhaus (A, ) e um sistema indutivo normado se e somente se tivermos lim sup i j (x)
j j

< .

(29.1)

para todo i e para todo x Ai .

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 29

1326/1355

Podemos fazer de A uma a lgebra semi-normada denindo |||[x]||| := lim sup

j i

ij (x) j ,

onde x Ai e um representante de [x]. Precisamos mostrar que a deni ca o acima independe do representante tomado na classe. Para tal usaremos a propriedade que denominamos Invari ancia por Redu ca o Inicial do Dom nio a ` p agina 1032. Sejam x Ai e x Ai com x x e k I tal que (k ik (x) = i k (x ). Denindo para n I In := {m I | m tem-se que |[x] | = lim sup ij (x)
j Ii j

i) (k

i)e

n},

e |[x ] | = lim sup i j (x) j .

j Ii

Nota: e um exerc cio simples mostrar que In s ao tamb em conjuntos dirigidos. A deni ca o de lim sup pode ser encontrada na Se ca o 22.3, a ` p agina 1031. Dado o conjunto Ii escrevamos Ii = I0 J onde J := Ik e I0 := Ii \ J . Vamos mostrar que os conjuntos I0 e J satisfazem as condi co es requeridas para a propriedade que denominamos invari ancia por redu ca o inicial do dom nio a ` p agina 1032: 1. Para todo i0 I0 existe pelo menos um j J tal que i0 2. J e um conjunto dirigido pela mesma rela ca o de ordem 3. Para todo j J vale que se l j ent ao l J . . j.

A propriedade 2 j a foi observada acima. Se j Ik e l j ent ao l k e portanto l Ik J , provando 3. Para provar 1 notemos que se i0 Ii ent ao, como Ii e um conjunto dirigido deve existir j Ii tal que (j i0 ) (j k ). A condi ca o j k diz que j Ik J , provando 1. Pela propriedade de invari ancia por redu ca o inicial do dom nio tem-se ent ao que |[x] | = lim sup ij (x)
j Ii j

= lim sup ij (x) j .

j Ik

Mutatis mutantis temos tamb em que |[x ] | = lim sup i j (x )

j Ii j

= lim sup i j (x ) j .
j Ik

Por em, para j Ik ij (x) = kj ik (x) = kj i k (x ) = i k (x ),

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 29

1327/1355

provando nalmente que |[x] | = |[x ] |. Uma vez estabelecido que |[x] | independe do representante tomado na classe [x] vamos agora provar que |||[x]||| e de fato uma semi-norma. Proposi c ao 29.1 Para todas as classes [x] e [y ] valem: 1. |||[x]||| = || |||[x]|||; 2. |||[x] + [y ]||| |||[x]||| + |||[y ]|||; 3. |||[x][y ]||| |||[x]||| |||[y ]|||. Prova. A prova de 1 e elementar. Para provar 2 notemos o seguinte. Sejam x e y representantes de [x] e [y ], respectivamente, em Ai e Aj , respectivamente. Ent ao, existe k com (k i) (k j ) de forma que |||[x] + [y ]||| = |||[ik (x) + jk (y )]||| = lim sup k j (ik (x) + jk (y ))
j k

lim sup i j (x) + lim sup j j (y )

j k j k

lim sup i j (x) + lim sup j j (y )

j i j j

= |||[x]||| + |||[y ]|||. A prova de 3 e an aloga. Sejam x, y , i, j como acima. Ent ao existe k tal que |||[x][y ]||| = |||[ik (x)jk (y )]||| = lim sup k j (ik (x)jk (y ))
j k

lim sup i j (x)

j k

j j (y )

lim sup i j (x)

j i

lim sup j j (y )
j j

= |||[x]||| |||[y ]|||.

O limite indutivo normado de (A, ) e ent ao denido tomando-se o cociente de A com os vetores em A com semi-norma ||| ||| igual a zero. Nesse novo espa co ||| || induz uma norma que tamb em denotaremos por ||| |||.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 29

1328/1355

O limite indutivo de Banach, ou simplesmente limite indutivo e denido tomando-se o completa evidente pela mento do limite indutivo normado de (A, ) na m etrica denida pela norma ||| |||. E constru ca o que a a lgebra assim obtida, que denotaremos por A , e uma a lgebra de Banach. Seja Ai , i I , uma fam lia de a lgebras C . Uma a lgebra C A e dita ser um limite indutivo das a lgebras Ai se existirem morsmos de a lgebra C fi : Ai A para todo i I tais que iI Ai seja denso em norma em A. Vamos no pr oximo item mostrar uma situa ca o geral na qual o limite indutivo de uma fam lia de a lgebras pode ser constru do. O Limite Indutivo de Algebras C Vamos considerar agora o caso em que as a lgebras Ai sejam todas a lgebras C e que os morsmos ij sejam *-morsmos, ou seja, tais que para todo i, j , i j , e todo a Ai tenhamos ij (a ) = ij (a) . Naturalmente que ij (a a)
j

= ij (a )ij (a)

= ij (a) ij (a)

= ij (a)

2 j

pela propriedade C das a lgebras Aj . Em um tal caso diremos que o sistema indutivo (A, ) e um sistema indutivo C . Denimos no limite indutivo alg ebrico das a lgebras Ai a opera ca o por [x] = [x ]. Vamos mostrar que essa deni ca o n ao depende do representante tomado na classe [x]. Seja para tal y [x] com x A i e y Aj e seja k tal que (k i) (k j ) e ik (x) = jk (y ). Segue que ik (x ) = ik (x) = jk (y ) = jk (y ). Isso mostra que x e y s ao equivalentes, que e o que se queria provar. Desejamos agora provar a propriedade C da semi-norma ||| |||. Para tal notemos que, como x e x pertencem a ` mesma a lgebra (digamos, Ai ) temos [x][x ] = [x x ] (por que?) e assim
2

|||[x] [x]||| = |||[x x ]||| = lim sup ij (x x )

j i

= lim sup ij (x)

j i

2 j

lim sup ij (x)

j i

= |||[x]|||2 .

Isso mostrou que a semi-norma ||| ||| tamb em satisfaz a propriedade C e que o limite indutivo de Banach de um sistema indutivo C e tamb em uma a lgebra C , que denotaremos por A . Vamos agora construir o sistema de morsmos fi de a lgebra C mencionado. Seja, para cada i , fi : Ai A , dado por Ai x [x] A . Vamos vericar que, para cada i , fi e de fato um morsmo de a lgebra C . De fato, para todo x, y Ai temos fi (x + y ) = [x + y ] = [x]+[y ] = fi (x)+ fi (y ) (por que? Justique a segunda igualdade) e fi (xy ) = [xy ] = [x][y ] = fi (x)fi (y ) (por que? Justique a segunda igualdade). Fora isso, como j a vimos, fi (x ) = [x ] = [x] = fi (x) . Notemos tamb em que, por constru ca o, i (Ai ) e denso em A e assim A e um limite indutivo C da fam lia Ai , i .