AS

` C*-ALGEBRAS

UMA INTRODUC
AO

tica
Mini-curso ministrado na Primeira Bienal de Matema
tica
Sociedade Brasileira de Matema
Universidade Federal de Minas Gerais

Ruy Exel
Departamento de Matematica
Universidade Federal de Santa Catarina

INDICE

1.

Introduc
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.

Algebras
normadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

3.

Espectro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4.

Raio espectral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

5.

Espectro de uma
algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

6.

A transformada de Gelfand . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

7.

C*-
algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

8.

Teorema de Gelfand para C*-

algebras comutativas . . . . . . . . . . 24

9.

Positividade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26

10.

Representac
oes e estados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29

11.

Existencia de representacoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32

12.

Bibliografia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

INTRODUC
AO

A teoria das Algebras

de Operadores tem seu incio em 1929 com o pioneiro trabalho
[9], a partir do qual John von Neumann, um dos maiores cientistas do seculo XX, estabeleceu as bases matem
aticas da Mec
anica Quantica. As algebras estudadas por von Neumann,
hoje apropriadamente chamadas de
algebras de von Neumann, sao certas sub-algebras da
algebra B(H) formada por todos os operadores limitados em um espaco de Hilbert H.
Em 1943, num artigo de importancia fundamental ([6]), I. M. Gelfand e M. Neumark
obtiveram uma caracterizac
ao abstrata para as algebras de operadores estudadas por von
Neumann, isto e, obtiveram uma lista de axiomas cujos modelos sao precisamente as subalgebras fechadas e auto-adjuntas de B(H).
A partir de ent
ao um vertiginoso avanco se seguiu no qual aplicacoes fundamentais
foram obtidas nas mais diversas
areas da Matematica e Fsica (teoria dos nos, mec
anica
estatstica, teoria qu
antica de campos, representacao de grupos, sistemas dinamicos, folheacoes, teoria dos grafos, quase-cristais, geometria nao-comutativa).
Embora haja hoje uma vasta literatura sobre o assunto, incluindo in
umeros livros em
nvel mais ou menos elementar ([1], [2], [3], [4], [5], [7], [8], [10], [13], [14]), nao h
a um
u
nico texto em lngua portuguesa sob o tema.
O objetivo destas notas e portanto dar um primeiro e modesto passo no sentido de
suprir esta deficiencia, apresentando um caminho tao elementar quanto possvel para uma
compreensao detalhada do Teorema de Gelfand e Neumark, citado acima, sobre a caracterizacao abstrata das
algebras de operadores.
O pre-requisito para a leitura deste texto e um bom conhecimento sobre aspectos

basicos de An
alise Funcional, Vari
aveis Complexas e Algebra.
Uma das idiossincrasias da teoria que pretendemos apresentar e a questao sobre se a
algebra tem ou n
ao unidade. A grosso modo pode-se dizer que os resultados para algebras
com unidade quase sempre se aplicam para algebras sem unidade, naturalmente com alteracoes apropriadas, porem muitas vezes `a custa de um razoavel esforco extra.
Com o objetivo de enfatizar a essencia da teoria, evitando dificuldades tecnicas que
obscureceriam as ideias centrais, optamos por nos restringir ao caso com unidade, ocasionalmente deixando o caso geral para os exerccios.

ALGEBRAS
NORMADAS

Nesta sec
ao n
os vamos estudar o conceito de algebra normada e para isto partiremos
da premissa de que o leitor tem alguma familiaridade com o conceito de
algebra sobre o
corpo dos n
umeros complexos1 . Nao custa repetir: uma algebra A sobre e um espaco
vetorial complexo equipado com uma operacao bilinear e associativa:

:AAA

chamada operac
ao de multiplicac
ao. Como sempre, ao inves da matematicamente correta
porem excessivamente rgida notac
ao
(a, b),

nos usamos simplesmente ab para denotar o resultado da operacao de multiplicac

ao
quando aplicada ao par (a, b).
2.1. Defini
c
ao. Uma
algebra normada e uma algebra sobre
norma
a A 7 kak

C equipada com uma funcao

que faz com que A seja um espaco normado, ou seja, para todo a, b A e
(i) kak 0,
(ii) kak = 0 a = 0,
(iii) kak = || kak, onde || indica o modulo do n
umero complexo ,
(iv) ka + bk kak + kbk,

C tenhamos:

e alem disso obedeca ao seguinte axioma envolvendo a operacao de multiplicacao:

(v) kabk kak kbk.
Vejamos alguns exemplos de
algebras normadas:
2.2. Exemplo. Seja

C[X] a algebra dos polinomios complexos na variavel X. Dado

p=

n
X

k X k

C[X],

k=0

Pn
onde n
e k para k = 0, . . . , n, defina kpk = k=0 |k |. Nao e difcil provar que
[X], equipado com a multiplicac
ao usual de polinomios e a norma definida acima, e uma
algebra normada.

Embora o conceito de
algebra se aplique para qualquer corpo, a teoria de a
lgebras de Banach tem
uma prefer
encia especial pelo corpo dos n
umeros complexos!

Muitas vezes podemos ter mais de uma norma sobre uma mesma algebra complexa
tornando-a uma
algebra normada:
2.3. Exemplo. Seja
p [X] por

C[X] como acima mas desta vez defina a norma de um elemento

kpk = sup |p(x)|.

()

x[0,1]

Esta nova norma satisfaz a todos os axiomas de (2.1) e portanto faz de

normada.

C[X] uma algebra

Nao ha nada de especial sobre o intervalo [0, 1] neste exemplo: qualquer outro conjunto
limitado e infinito de n
umeros complexos pode substituir o intervalo [0, 1] em () com
conclusoes semelhantes.

2.4. Exemplo. Seja n um inteiro positivo e seja Mn ( ) o conjunto de todas as matrizes

bem sabido que Mn ( ) e uma algebra complexa com a operacao usual de
n n sobre . E
multiplicac
ao de matrizes. Existem muitas normas que fazem com que Mn ( ) seja uma
algebra normada. A mais importante de todas e definida por


kak = sup kavk2 : v n , kvk2 1 , a Mn ( ),

onde av representa o produto da matriz a pelo vetor (= matriz coluna n 1) v. Alem

disto usamos na definic
ao acima a norma euclidiana k k2 para vetores.
Uma outra norma em Mn (C), importante em algumas aplicacoes, e dada por
kak =

n
n X
X

|aij |,

i=1 j=1

onde estamos assumindo que a e a matriz {aij }i,j=1,...,n .

2.5. Exemplo. Seja X um espaco topologico localmente compacto e seja C0 (X) o espaco
vetorial complexo de todas as funcoes contnuas f : X
que se anulam no infinito2 .
Dadas f e g em C0 (X) defina uma nova funcao, denotada por f g, atraves da formula

(f g)(x) = f (x)g(x),

x X.

Nao e difcil provar que, com esta operacao de multiplicacao, C0 (X) torna-se uma algebra
complexa. Se alem disto definirmos a norma de uma funcao f C0 (X) por
kf k = sup |f (x)|
xX

teremos mais um exemplo de

algebra normada.
2

Diz-se que uma func

ao f : X
se anula no infinito quando para todo > 0 existe um compacto
K X tal que |f (x)| < para todo x
/ K. Quando X
e compacto, a possibilidade de tomarmos K = X
nos diz que toda func
ao se anula no infinito!

Uma algebra normada A e, como o seu proprio nome indica, um espaco normado e
portanto podemos nos referir `
a dist
ancia entre dois elementos a e b de A, isto e
d(a, b) = ka bk.
Portanto todos os conceitos relativos aos espacos metricos passam a ter relevancia no estudo
das algebras normadas. Um dos conceitos cruciais e a completitude, isto e a propriedade
de que toda sequencia de Cauchy e convergente. Isto motiva a seguinte:
2.6. Defini
c
ao. Uma
algebra de Banach e uma algebra normada completa.
Dentre os exemplos citados acima apenas (2.4) e (2.5) sao algebras de Banach. No
primeiro caso esta afirmac
ao decorre do fato de que todo espaco normado de dimensao finita
e completo e no segundo, essencialmente de que o limite uniforme de funcoes contnuas e
uma funcao contnua.
Nenhuma das outras
algebras mencionadas acima sao completas devido ao fato que
um espaco de Banach jamais tem dimensao algebrica infinita enumeravel.
Na teoria dos espacos normados nos aprendemos que dado um espaco normado V que
nao e completo existe um u
nico (a menos de isometria) espaco completo V que contem V
como subespaco denso. Desta forma, dada uma algebra normada A que nao e completa
existe um espaco de Banach A que contem A como subespaco denso. Em vista de (2.1.v)
a operacao de multiplicac
ao de A pode ser estendida de forma u
nica a uma operac
ao de
multiplicacao em A que torna A uma algebra de Banach.

Exerccios do Captulo 2
A. Verifique que as
algebras dos exemplos acima de fato s
ao
algebras normadas.
realmente necess
B. Prove a afirmaca
o feita ap
os o Exemplo (2.3). E
ario que o conjunto que substitui
[0, 1] seja infinito?
C. Prove que as
algebras descritas em (2.4) e (2.5) s
ao a
lgebras de Banach.
D. Prove com detalhes a afirmac
ao feita acima de que completamento de uma
algebra normada
e uma

algebra de Banach.
E. Prove que se uma
algebra normada A tem unidade, denotada por 1, ent
ao k1k = 0 (e neste caso
A = {0}) ou k1k 1.

e= A
F. Dada uma
algebra normada A (possivelmente sem unidade), seja A
vetoriais) equipada com a operac
ao de multiplicaca
o e norma a seguir:

C (soma direta de espacos

(a, )(b, ) = (ab + b + a, )

k(a, )k = kak + ||,
onde a, b A e ,
completa se A o for.

C.

e e uma algebra normada com unidade de norma um, que e

Prove que A

ESPECTRO

Entre os conceitos mais importantes no estudo de algebras de Banach estao os conceitos de espectro e resolvente que estudaremos a seguir. Para isto vamos supor, ao longo
de todo este captulo, que A e uma
algebra de Banach com unidade, denotada 1.

E facil ver que a correspondencia

C 7 1 A

e injetora (a menos do caso trivial em que A = {0}) e pode ser utilizada para identificarmos
o corpo dos n
umeros complexos com uma sub-algebra de A. Abusando deste ponto de
vista nos vamos supor que
est
a contido em A, identificando o n
umero complexo com
o elemento 1 de A, sempre que isto nao causar confusao. Em particular, na proxima
definicao n
os vamos nos referir `
a a, onde a A e quando o figurino mandaria
escrevermos 1 a.

3.1. Defini
c
ao. Dado a A definimos o resolvente de a e o como sendo o conjunto (a)
dado por


(a) = : a e inversvel .

O espectro de a e definido como sendo o conjunto (a) dado por (a) =

o complementar de (a).

C \ (a), isto e,

3.2. Proposi
c
ao. Seja a, b A. Entao (ab) \ {0} = (ba) \ {0}.
Prova. Basta provarmos que se 6= 0 entao ab e inversvel se e somente se ba e
inversvel. Suponha ent
ao que ab e inversvel. Afirmamos que


c := 1 1 + b( ab)1 a
e o inverso de ba. De fato




c( ba) = 1 1 + b( ab)1 a ( ba) = 1 ba + b( ab)1 a( ba) =
=

ba + b( ab)


( ab)a = 1 ( ba + ba) = 1.

Similarmente prova-se que ( ba)c = 1, e portanto ba e inversvel. Para provarmos

a recproca basta trocar os papeis de a e b.
t
u
O nosso pr
oximo grande objetivo sera a demonstracao de que o espectro de um elemento e sempre um conjunto compacto e nao vazio. Comecemos com o seguinte resultado:
7

3.3. Lema. Se a A e inversvel e ka bk < ka1 k1 entao b tambem e inversvel e

b1 =

n
a1 (a b) a1 .

n=0

Portanto o conjunto dos elementos inversveis de A e aberto.

Prova. Seja x = a1 (a b) e observe que b = a(1 x). Para provarmos que b e inversvel
basta portanto provarmos que 1 x e inversvel. Observando que por hipotese
kxk ka1 k ka bk < ka1 k ka1 k1 = 1,
P
temos que a serie infinita n=0 xn e absolutamente convergente (e portanto convergente
pois A e completa). Seja y a sua soma. Entao
!
N
X
n
x
= lim 1 xN +1 = 1,
(1 x)y = (1 x) lim
N

n=0

ja que kxN +1 k kxkN +1 0 quando N . Verificando por meios similares que

tambem y(1 x) = 1 concluimos que y e o inverso de 1 x como desejado. Segue-se que
b

= (1 x)

1 1

= ya

n 1

x a

a1 (a b)

n

a1 .

t
u

n=0

n=0

conveniente provarmos tambem que a funcao de inversao e contnua:

E
3.4. Proposi
c
ao. Nas condic
oes de (3.3) temos que
kb1 a1 k ka1 k2

ka bk
,
1 ka bk

e portanto lim b1 = a1 . Ou seja, a funcao de inversao a 7 a1 e contnua no seu

ba

domnio.
Prova. Usando a express
ao obtida acima para b1 temos



!
X



X




n
n 1


1
1
1
1
1
kb a k =
a (a b) 1 a =
a (a b) a



n=0

n=1

1 2

ka

ka bkn = ka1 k2

n=1

ka bk
.
1 ka bk

t
u

imediato verificarmos que, dado a A, a funcao

E

C 7 a A

e contnua. A imagem inversa do conjunto aberto formado pelos elementos inversveis de

A e portanto um sub-conjunto aberto de . Mas e claro que este conjunto e precisamente
o resolvente de a. Isto prova, portanto, a seguinte:

3.5. Proposi
c
ao. O espectro de um elemento a A e um conjunto fechado.
Para provarmos que o espectro e compacto, como mencionado acima, basta agora
provarmos que e limitado.
3.6. Proposi
c
ao. Se x A e

C e tal que || > kxk entao x e inversvel e

( x)1 =

n1 xn .

n=0

Em consequencia o espectro de x esta contido na bola (no plano complexo) centrada em

zero e de raio kxk, e portanto e compacto.
Prova. Pondo a = e b = x note que
ka bk = kxk < kk = k1 k1 .
O resultado ent
ao segue imediatamente de (3.3).

t
u

Resta-nos agora provarmos que o espectro de um elemento e sempre nao vazio, o que
e na verdade um resultado de um grau de dificuldade bastante superior ao que vimos ate
agora no sentido que precisaremos invocar um teorema profundo da teoria das func
oes
analticas.
3.7. Defini
c
ao. A func
ao resolvente de um elemento a A e a funcao Ra : (a) A
dada por
Ra () = ( a)1 , (a).
Uma das principais propriedades da funcao resolvente e dada no nosso proximo resultado:
3.8. Proposi
c
ao. Seja a A.
(i) Dados 6= em (a) temos
Ra () Ra ()
= ( a)1 ( a)1 .

(ii) Para qualquer funcional linear contnuo A (dual topologico de A) a composic

ao
Ra e uma func
ao analtica em (a).
Prova. Dados , (a) temos

= ( a)1

Ra () Ra () = ( a)1 ( a)1 =


( a) ( a) ( a)1 = ( a)1 ( )( a)1 ,

donde segue a primeira afirmac

ao. Dado A temos




(Ra ()) (Ra ())
= lim ( a)1 ( a)1 = ( a)2 ,

lim

onde o u
ltimo passo segue de (3.4). Portanto Ra e de fato analtica.
9

t
u

 curioso observar a similaridade entre a conclusao final do resultado acima, isto e

E
que,




d
( a)1 = ( a)2 ,
d
e o resultado bem conhecido segundo o qual
d
( a)1 = ( a)2 ,
d

para a .
Estamos agora em condic
oes de provar o resultado principal desta secao:
3.9. Teorema. Dado a A temos que (a) e um conjunto compacto e nao vazio.
Prova. Tendo j
a provado que (a) e compacto provarmos que nao e vazio por absurdo.
Supondo que (a) e vazio, e portanto que (a) = , tome em A . Entao, por (3.8) a
composta Ra e uma func
ao inteira. Por outro lado, usando a expressao para ( a)1
fornecida por (3.6) temos que

k( a)

X
n=0

n1

||

n

1
1
1
1 X kak
=
,
=
kak =
kak
|| n=0 ||
|| 1
|| kak
n

||

para || > kak, o que prova que lim Ra () = 0 e portanto tambem que lim (Ra ()) = 0.

Por um lado isto implica que Ra e uma funcao limitada. Invocando o Teorema
de Liouville concluimos portanto que Ra e constante. Por outro lado esta constante
deve necessariamente ser nula j
a que o seu limite no infinito e nulo. Assim temos que
(Ra ()) = 0 para todo e todo . Usando agora o Teorema de Hahn-Banach temos que
Ra () = 0 para todo o que e um flagrane absurdo uma vez que um inverso (Ra () e o
inverso de a) e necessariamente inversvel e portanto nao nulo.
t
u
Nao e de se estranhar que o Teorema de Liouville tenha uma participacao importante
no resultado acima. De fato, quando consideramos A = Mn ( ) (veja exemplo (2.4)), o
resultado recem provado nos diz que o polinomio caracterstico de qualquer matriz complexa tem razes! O leitor provavelmente se recorda da demonstracao de que o corpo
dos n
umeros complexos e algebricamente fechado (i.e todo polinomio complexo tem raz)
usando-se justamente o Teorema de Liouville!

3.10. Proposi
c
ao. Seja a A e seja f (z) = p(z)/q(z) uma funcao racional, isto e, f e o
quociente do polin
omio p pelo polinomio q. Suponha que q nao se anula em (a). Ent
ao
(f (a)) = f ((a)).
Prova. Note que como q n
ao se anula em (a) entao q e um produto de fatores lineares do
tipo (z ) onde (a). Assim q(a) e inversvel e portanto o quociente p(a)/q(a) est
a
bem definido.
Seja (a). Observando que o polinomio g definido por
g(z) = p()q(z) p(z)q(),
10

se anula para z = , sabemos que existe um polinomio h tal que g(z) = (z )h(z) e
portanto g(a) = (a )h(a). Temos portanto que
f () f (a) =

p() p(a)
p()q(a) p(a)q()

=
=
q() q(a)
q(a)q()

g(a)
h(a)
h(a)
= (a )
=
(a ).
q(a)q()
q(a)q()
q(a)q()
Uma vez que a n
ao e inversvel temos que f () f (a) tampouco e inversvel e portanto
f () (f (a)), o que prova que f ((a)) (f (a)).
Para provarmos a inclus
ao no sentido inverso, isto e, que (f (a)) f ((a)), seja
(f (a)). Seja g o polin
omio dado por g = q p, que pode ser fatorado como
=

g(z) = 0 (z 1 )(z 2 ) . . . (z n ),

onde 0 , 1 , . . . , n
f (a) =

C. Temos

q(a) p(a)
g(a)
0 (a 1 )(a 2 ) . . . (a n )
p(a)
=
=
=
.
q(a)
q(a)
q(a)
q(a)

Dado que (f (a)) vemos que a expressao acima representa um elemento nao inversvel.
Desta forma temos que i (a) para algum i = 1, . . . , n. Portanto, dado que g(i ) = 0,
temos que q(i ) = p(i ) ou
p(i )
= .
f (i ) =
q(i )
Segue-se que f ((a)).
t
u

Exerccios do Captulo 3

A. Onde est
a o erro do seguinte argumento: considere o corpo
(n
ao comutativo) dos quat
ernios e
considere
como subcorpo de . Seja a qualquer elemento de
que n
ao
e um n
umero complexo,
por exemplo j ou k. Note que para todo complexo temos que a n
ao
e nulo e portanto
e
inversvel. Segue-se que (a) = contrariando (3.9)?!

B. Seja A a
algebra do exemplo (2.2). Descreva o espectro de cada elemento de A.
C. Seja A a
algebra do exemplo (2.5), onde supomos que X
e compacto e portanto que A tem unidade.
Dado f A prove que (f ) = f (X).
D. Dado um sub-conjunto compacto n
ao vazio S do plano complexo encontre um exemplo de uma a
lgebra
de Banach que contenha um elemento cujo espectro
e S.
E. Dado um sub-conjunto S do plano complexo encontre um exemplo de uma
algebra (n
ao necessariamente normada) que contenha um elemento cujo espectro
e S.

F. Seja
uma extens
ao de
(isto
e, um corpo que cont
em ) visto como uma a
lgebra complexa da
maneira usual. Prove que n
ao existe norma que faca de
uma
algebra normada (e muito menos de
Banach!).

G. Seja A uma
algebra de Banach e seja a um elemento de A. Suponha que

an + cn1 an1 + + c1 a + c0 = 0,

onde c0 , . . . , cn1 . Prove que (a) est

a contido no conjunto das razes do polin
omio p(x) =
xn + cn1 xn1 + + c1 x + c0 .
H. Seja A uma a
lgebra de Banach e seja a um elemento idempotente n
ao trivial de A, isto
e, 0 6= a 6= 1
e a2 = a. Prove que (a) = {0, 1}.

11

RAIO ESPECTRAL

Como no captulo anterior A denotara uma algebra de Banach com unidade. Passemos
imediatamente `
a definic
ao do conceito central deste captulo:
4.1. Defini
c
ao. O raio espectral de um elemento a A e definido por
r(a) = sup ||.
(a)

Note que (3.6) nos diz que r(a) kak para todo a A.
Em se tratando da invertibilidade de a o Teorema (3.6) nos da uma formula
explcita para (a)1 quando || > kak atraves de uma serie absolutamente convergente.
Por outro lado segue da definic
ao de raio espectral que a e inversvel para || > r(a) e
portanto fica colocada a quest
ao sobre o comportamento da serie em (3.6) quando est
a
na coroa definida pelas inequac
oes
r(a) < || kak,
nossa intencao provar que a serie menque pode (exemplos garantem) ser nao vazia. E
cionada converge a tambem.

X
n1 an converge absolutamente
4.2. Lema. Para todo com || > r(a) a serie

n=0

para ( a)1 .

Prova. Seja A e considere a funcao f = Ra que e analtica em (a) por (3.8). Por
(3.6) temos que

X
1
f () =
n (an ),
()
n=0

para || > kak. Note porem que f e analtica para || > r(a) e portanto segue de um
conhecido resultado sobre func
oes analticas [12: 10.6] que a serie () de fato converge para
|| > r(a). Em particular
sup |n (an )| < ,
n

o que implica que o conjunto n an : n
e fracamente limitado e portanto limitado
pelo princpio da limitac
ao uniforme. Existe portanto uma constante K > 0 tal que


kn an k K ,

Dado 0

N.

C com |0 | > r(a) tome 1 C com |0 | > |1 | > r(a). Entao

n
kn
0 a k

n
kn
1 a k

|1 |
|0 |

n


K1

|1 |
|0 |

n
,

provando a convergencia absoluta da serie do enunciado em 0 uma vez que

12

|1 |
|0 |

< 1.

t
u

Podemos agora apresentar o resultado mais importante deste captulo:

4.3. Teorema. Dado a A temos que
r(a) = lim kan k1/n = inf kan k1/n .
n

Em particular o limite lim kan k1/n existe.

n

Prova. Seja (a). Dado n

N temos que
n an =

= ( a)(n1 + n2 a + + an2 + an1 ) =

= (n1 + n2 a + + an2 + an1 )( a),
e portanto n an n
ao e inversvel (se o fosse a tambem seria). Segue portanto que
n (an ) de onde |n | kan k por (3.6) ou, equivalentemente,
|| kan k1/n .
Tomando o supremo para (a) e o nfimo para n

N concluimos que

r(a) inf kan k1/n .

n

P
Dado com || > r(a) sabemos por (4.2) que a serie n=0 n an converge e, em
particular, lim n an = 0. Portanto existe n0 tal que para n n0 temos kn an k <
n
1 ou seja
kan k1/n < ||.

Tomando o limite superior em n e o nfimo para || > r(a) concluimos que

lim sup kan k1/n r(a),
n

o que, aliado `
a conclus
ao obtida acima, da
lim sup kan k1/n r(a) inf kan k1/n lim inf kan k1/n ,
n

t
u

de onde a conclus
ao segue facilmente.

13

Exerccios do Captulo 4
A. Para um elemento a da
algebra do exemplo (2.5), com X compacto, prove que r(a) = kak.
B. Considere a matriz n n dada por

0
1
0
a=
0.
.
.

0
0
1
0
..
.

0
0
0
1
..
.

..
.

0
0
0
0
..
.

0
0
0
0

..
.

Calcule o raio espectral de a e verifique diretamente a validade dos Teoremas (4.2) e (4.3) para a.

C. Um elemento a de uma
algebra de Banach
e dito nilpotente se existe k
tal que ak = 0, e
k 1/k
topologicamente nilpotente se lim ka k
= 0 (equivalentemente se r(a) = 0). Prove que um
k

elemento topologicamente nilpotente de Mn ( )

e necessariamente nilpotente.
*D. O fato de que o limite coincide com o nfimo para a sequ
encia {kan k1/n }n pode lev
a-lo a crer que
esta
e uma sequ
encia decrescente. D
e um exemplo para provar que isto n
ao
e verdade.

14

ESPECTRO DE UMA ALGEBRA

Nos captulos acima tratamos do espectro de um elemento de uma algebra de Banach.

Agora vamos tratar do espectro de uma algebra. Inicialmente o leitor provavelmente n
ao
vera ligacao entre estes conceitos e portanto o uso da palavra espectro em ambas as
situacoes poder
a parecer injustificado. No seu devido tempo, porem, veremos que de fato
existe uma relac
ao muito forte entre o espectro de um elemento e o espectro de uma
algebra.
5.1. Defini
c
ao. Dadas
algebras de Banach A e B diremos que uma funcao : A B e
um homomorfismo se for linear e alem disto
(ab) = (a)(b),
b formado por todos
para todo a, b A. O espectro de A e definido como sendo o conjunto A
os homomorfismos n
ao nulos de A em .

Nunca e demais insistir que, apesar do fato que a funcao nula e um homomorfismo
b por decreto!
legtimo de A em , esta e excluida de A
Note que n
ao assumimos nenhuma hipotese sobre a continuidade dos homomorfismos
acima. Entretanto temos:

5.2. Proposi
c
ao. Seja A uma
algebra de Banach. Se : A
entao |(a)| kak para todo a A e portanto e contnuo.

C e um homomorfismo

Prova. Acrescentanto uma unidade em A (cf. exerccio (2.F)) podemos supor que A tem
unidade e que (1) = 1. Dado a A note que a (a) pertence ao n
ucleo de , que e um
ideal de A, e portanto n
ao pode ser inversvel. Desta forma (a) (a) donde por (3.6)
temos que |(a)| kak.
t
u
b e um subconjunto da bola unitaria do dual A . Sendo assim
Isto posto vemos que A
b como espaco topologico com a topologia induzida pela topologia da
podemos coniderar A
convergencia pontual (tambem chamada de topologia fraca*) de A .
b e um espaco localmente
5.3. Proposi
c
ao. Seja A uma
algebra de Banach. O espectro A
b e compacto.
compacto com a topologia da convergencia pontual. Caso A tenha unidade A

Prova. Considere o conjuto S formado por todos os homomorfismos de A em

(n
ao
facil ver que S e fechado na topologia
sendo excludo o homomorfismo nulo desta vez). E
b resulta
da convergencia pontual e portanto compacto pelo Teorema de Alaoglu. Como A
da remocao de um ponto (o homomorfismo nulo) do espaco compacto S, concluimos que
b e localmente compacto.
A
No caso em que A tem unidade note que dado S temos que
6= 0 (1) = 1.
15

b e fechado em S (equivalentemente o homomorfismo nulo e um

Desta forma vemos que A
ponto isolado de S) e portanto compacto.
t
u
Suponha, de agora em diante, que A e uma algebra de Banach comutativa com
unidade. Nosso objetivo a seguir e mostrar uma importante relacao entre o espectro
de um elemento a A e o espectro de A. Conforme vimos na prova de (5.2), para todo
b temos que (a) (a). Provaremos que na verdade todo elemento de (a) e da
A
b
forma (a) para algum A:
5.4. Teorema. Seja A uma
algebra de Banach comutativa com unidade. Entao para
todo a A vale


b .
(a) = (a) : A
Prova. Seja (a) e considere o conjunto


J0 = ( a)A := ( a)b : b A .
Como estamos supondo que A e comutativa, temos que J0 e um ideal de A. Sendo que
a nao e inversvel e evidente que 1
/ J0 de onde J0 e distinto de A. Usando o lemma
de Zorn, tome um ideal maximal pr
oprio J contendo J0 (e portanto tambem a).
Afirmamos que J e fechado. De fato, se nao o fosse e claro que o fecho J tambem seria
um ideal e, pela maximalidade de J, teriamos J = A. Segue se que J e denso e portanto a
intersecao de J com o conjunto aberto dos elementos inversveis seria nao vazia. Assim J
conteria elementos inversveis e, por ser um ideal, teramos J = A, o que e uma contradic
ao.
Seja B = A/J, isto e, o quociente de A por J. Equipando B com a estrutura quociente
de algebra complexa e a norma quociente3 e facil ver que B e uma algebra de Banach
comutativa.
Afirmamos que B = 1. De fato, dado b B, usando (3.9) temos que b e n
ao
inversvel para algum . Entretanto, como J e maximal, todo elemento nao nulo de
B e inversvel de onde segue que b = .
Tendo provado que B = podemos ver a aplicacao quociente

C
C

: A A/J =

b Recordando que a
como um homomorfismo complexo, ou seja, um elemento de A.
J = Ker() temos que (a) = de onde segue a inclusao entre os conjuntos mencionados no enunciado. Como a outra inclusao segue da argumentacao acima, o resultado
esta provado.
t
u
Nao deve passar desapercebida a importante consequencia do Teorema acima segundo
a qual o espectro de uma
algebra de Banach comutativa com unidade e sempre nao vazio!

A norma quociente
e definida por ka + Jk = inf ka + xk.
xJ

16

Exerccios do Captulo 5
A. O espectro de uma
algebra n
ao comutativa nem sempre
e muito interessante. Por exemplo, se
b
A = Mn ( ) ent
ao A
e o conjunto vazio. Prove isto.

B. Determine o espectro das

algebras dos demais exemplos do captulo (2). Nos casos em que a
algebra
n
ao
e competa decida se vale a conclus
ao do Teorema (5.2).
C. Prove que existe uma u
nica
algebra de Banach comutativa simples (isto
e, que n
ao cont
em ideais
bilaterais).

e a algebra definida no exemplo (2.F). Prove que

D. Seja A uma
algebra de Banach sem unidade e seja A
e
b (o compactificado no qual se acrescenta um
o espectro de A
e o compactificado de Alexandrov de A
ponto no infinito).
*E. Seja S 1 o crculo unit
ario complexo e seja Z a func
ao complexa definida em S 1 por
Z(z) = z,

z S1.

Seja A a menor sub-

algebra fechada de C(S 1 ) que cont
em a funca
o Z. Determine o espectro de A.
**F. Seja A a
algebra formada por todas as func
oes complexas definidas em [0, 1] que tem limite lateral
em todos os pontos de [0, 1]. Determine o espectro de A.

17

A TRANSFORMADA DE GELFAND

Nesta sec
ao concentrar-nos-emos no estudo de algebras de Banach comutativas. E
fato que varias das definic
oes e resultados que veremos a seguir se aplicam, formalmente
falando, para
algebras n
ao comutativas. Entretanto, em nao havendo nenhuma aplicac
ao
relevante no contexto n
ao comutativo, vamos nos restringir `as algebras comutativas.
Seja portanto A uma
algebra de Banach comutativa, fixa durante este captulo. Dado
b dada por
a A considere a func
ao b
a:A

b
a() = (a),

b
A.

A ideia aqui, como em v

arias outras situacoes em Matematica, e olhar para a express
ao
(a) e enquanto todos vem a a funcao calculada na variavel a, nos optamos
por ver a func
ao a calculada na variavel . A definicao de b
a acima tem por objetivo
justamente a formalizac
ao desta ideia.
b justamente a topologia da convergencia pontual, e
Uma vez que consideramos em A
b para todo a em A.
obvio que b
a e uma func
ao contnua em A
b nao e compacto temos que b
b isto e, b
Note tambem que no caso em que A
a C0 (A),
a

b
tem limite zero no infinito (veja o exemplo (2.5)). De fato, dado > 0 seja K = A :

f
|(a)| . E
acil ver que K e compacto e que |b
a()| < para
/ K.
6.1. Defini
c
ao. A transformada de Gelfand de A e a funcao
b
: A C0 (A)
dada por (a) = b
a, para todo a A.
6.2. Proposi
c
ao. Dado a A temos
k(a)k = r(a) kak,
e portanto a transformada de Gelfand e um homomorfismo contrativo.
Prova. Deixaremos para o leitor a verificacao elementar de que e de fato um homomorfismo e nos concentraremos na verificacao de que k(a)k = r(a). Por definicao da norma
b temos que
em C0 (A)


b =
k(a)k = sup |b
a()| : A




b (5.4)
= sup |(a)| : A
= sup || : (a) = r(a).

18

t
u

Exerccios do Captulo 6
A. Seja A uma a
lgebra de Banach comutativa e seja a A um elemento nilpotente (isto
e, para o qual
existe n
tal que an = 0). Prove que (a) = 0.

B. Seja A uma a
lgebra de Banach comutativa e seja a A um elemento n
ao nulo para o qual ka2 k = kak2 .
Prove que k(a)k = kak, e portanto (a) 6= 0.
C. Seja A uma a
lgebra de Banach comutativa com unidade. Prove que os seguintes conjuntos s
ao iguais:
i) O radical de Jacobson de A (isto
e, o ideal obtido pela intersec
ao de todos os ideais maximais),
ii) O conjunto dos elementos topologicamente nilpotentes,
iii) Ker().

19

C*-ALGEBRAS

A teoria geral das

algebras de Banach, a partir deste ponto, e extremamente delicada
e difcil. Entretanto h
a uma sub-classe das algebras de Banach, formada pelas C*-algebras,
a esta classe de algebras
para a qual podemos obter resultados muito mais profundos. E
que dedicaremos nossa atenc
ao de agora em diante.
7.1. Defini
c
ao. Seja A uma
algebra de Banach. Uma involuc
ao em A e uma funcao4
:AA
satisfazendo para todo a, b A e
(i) (a + b) = a + b ,
,
(ii) (a) = a
(iii) (ab) = b a ,
(iv) (a ) = a,
(v) ka k = kak.

C:

Uma
algebra de Banach com involuc
ao e, por definicao, uma algebra de Banach equipada
com uma involuc
ao. Uma C*-
algebra e uma algebra de Banach com involucao para a qual
vale
(vi) ka ak = kak2 , a A.
A algebra do exemplo (2.4) (com a primeira das duas normas mencionadas) e uma
C*-algebra se equipada com a operacao de involucao dada pela conjugada complexa, isto
e, para uma matriz a = {aij } pomos a = {
aji }.
Tambem a
algebra do exemplo (2.5) pode ser tornada uma C*-algebra se considerarmos a invouc
ao dada pela conjugacao ponto-a-ponto, isto e, dada uma funcao f C0 (X)

definimos f como sendo a func

ao dada por f (x) = f (x), para todo x X.
Um novo e importante exemplo de C*-algebra e dado a seguir:
7.2. Exemplo. Seja H um espaco de Hilbert complexo e seja B(H) o conjunto de todos
os operadores lineares contnuos
T : H H.
Levando em considerac
ao a estrutura usual de espaco vetorial complexo em B(H) definimos
o produto T S, para T, S B(H), como sendo a composicao de operadores T S. A norma
de um operador T B(H) e definida por


kT k = sup kT ()k : H, kk 1 ,
4

A imagem de um elemento a pela funca

o involuc
ao ser
a denotada por a , e n
ao por (a).

20

enquanto que a involuc

ao de um operador T e definida como o adjunto usual de T , isto e,

T e o u
nico operador linear em H que satisfaz
hT (), i = h, T ()i ,

, H.

7.3. Defini
c
ao. Dada uma C*-
algebra A dizemos que um sub-conjunto B A e uma
sub-C*-algebra de A quando B e uma sub-algebra fechada de A que alem disto e invariante
pela involuc
ao (i.e. B B).
claro que uma sub-C*-
E
algebra e, em si, uma C*-algebra com as operacoes induzidas
pela algebra ambiente.
Dado um subconjunto qualquer S de uma C*-algebra A podemos considerar a intersecao de todas as sub-C*-
algebras de A que contem S, o que obviamente resulta numa
C*-algebra que contem S e que e a menor de todas as sub-C*-algebras de A com esta
propriedade. Tal sub-C*-
algebra e chamada a C*-algebra gerada por S.
Esta e uma importante fonte de exemplos de C*-algebras que exploramos a seguir.
7.4. Exemplo. Seja H um espaco de Hilbert complexo e seja K (H) o conjunto de todos
os operadores lineares compactos em H. Entao K (H) e uma sub-C*-algebra de B(H) e
portanto e uma C*-
algebra.
7.5. Exemplo. Seja um n
umero irracional e seja H o espaco de Hilbert L2 (S 1 ). Considere os operadores U e V em H dados por
U ()

= z(z),

V ()

= (e2i z),

para todo H e z S 1 . Uma importante relacao algebrica envolvendo U e V e

V U = e2i U V,

(7.6)

que o leitor pode facilmente verificar. A C*-algebra gerada por {U, V } e chamada a
algebra
de rotac
ao irracional e e denotada por A .
Sabe-se que A e uma
algebra simples (nao contem ideais bilaterais) e tambem que
para 0 < 1 < 2 < 1/2, as
algebras A1 e A2 nao sao isomorfas [11: Theorem 2]. As
provas destes dois fatos est
ao intimamente ligadas ao grande avanco da teoria das C*algebras dos u
ltimos vinte e cinco anos.
7.7. Exemplo. Para cada n
seja In = {0, 1}n e seja I = {0, 1}N . Seja H um
espaco de Hilbert com uma base {e }I indexada por I (e portanto nao separavel).
Dado n
considere para cada v = (v0 , . . . , vn1 ) In o operador Sv : H H
dado por Sv (e ) = ev , onde entendemos a expressao v como concatenacao, isto e v =
(v0 , . . . , vn1 , 0 , 1 , . . .).

Observe que cada Sv e uma isometria de H sobre um subespaco Hv de H (a saber o

subespaco gerado pelos e para todos os que comecam por v) e que para v 6= w In
temos Hv Hw .
21

Seja An o sub-espaco vetorial de B(H) gerado pelo conjunto de operadores



evw := Sv Sw
: v, w In .
facil verificar que
E
evw eyz = wy evz ,

evw = ewv ,

de onde segue facilmente que An e uma sub-C*-algebra de B(H) isomorfa `a algebra de

matrizes de tamanho 2n 2n sobre . Nao e difcil provar que

evw = ev0 w0 + ev1 w1 ,

onde v 0 , v 1 In+1 s
ao dados por v 0 = (v0 , . . . , vn1 , 0) e v 1 = (v0 , . . . , vn1 , 1) e similarmente para w0 e w1 . Desta forma
vemos que An An+1 . Definimos entao A como sendo
S
o fecho da reuni
ao crescente nN An .
A e uma AF-
algebra (aproximadamente finita), no sentido em que esta contem uma
algebra densa que e a reuni
ao de uma famlia crescente de sub-algebras de dimensao finita.
Sabe-se tambem que A e uma
algebra simples.
O estudo desta
algebra tem ntima relacao com as famosas canonical anticommutation relations no estudo de fermions em Fsica quantica. Alem disto importantes modelos
de termodin
amica qu
antica, como por exemplo o famoso modelo de Ising para ferromagnetismo, pode ser estudado atraves da algebra do presente exemplo.
A seguir discutiremos algumas propriedades elementares das C*-algebras.
7.8. Proposi
c
ao. Se A e uma C*-
algebra com unidade entao 1 = 1 e k1k = 1 (a menos
do caso trivial em que A = {0}).
Prova. Temos 1 = 1 1 = (1 1) = (1 ) = 1. Tambem k1k2 = k1 1k = k1k, donde
k1k = 1 (ou k1k = 0).
t
u
Assim como um n
umero complexo tem sua parte real e imaginaria temos:
7.9. Proposi
c
ao. Seja A uma
algebra de Banach com involucao. Dado a A existem
elementos x, y A tais que x = x, y = y e a = x + iy.
Prova. Sejam
x=

a + a
,
2

y=

a a
.
2i

A verificac
ao das condic
oes do enunciado e elementar.

t
u

Estudaremos agora uma importante propriedade relativa ao espectro de elementos de

uma C*-algebra.
7.10. Proposi
c
ao. Seja A uma C*-algebra com unidade e seja a A um elemento autoadjunto, isto e, tal que a = a. Ent
ao (a) .

22

Prova. Seja (a) e escreva = x + iy com x, y . O nosso objetivo sera provar que
y = 0. Para cada inteiro n seja bn = a x + iny. Considerando a funcao racional f dada
por f (z) = z x + iny conclumos de (3.10) que f () (f (a)), ou seja, i(n + 1)y (bn ).
Segue portanto de (3.6) que |i(n + 1)y| kbn k, de onde
(n2 + 2n + 1)y 2 = |i(n + 1)y|2 kbn k2 = kbn bn k = k(a x iny)(a x + iny)k =
= k(a x)2 + n2 y 2 k ka xk2 + n2 y 2 ,
o que implica que
(2n + 1)y 2 ka xk2 .
Como n e arbitr
ario concluimos que y = 0, ou ainda que

R.

t
u

Uma outra propriedade importante das C*-algebras e exposta na seguinte:

7.11. Proposi
c
ao. Seja A uma C*-algebra com unidade e a A um elemento autoadjunto. Ent
ao
r(a) = kak.
n

Prova. Note que kak2 = ka ak = ka2 k de onde, por inducao finita, temos que kak2 =
n
ka2 k. Segue-se que
(4.3)

r(a) =

lim ka2 k1/2 = kak.

t
u

Exerccios do Captulo 7
A. Prove que a definica
o (7.1) n
ao se altera se omitirmos o axioma (v) e substituirmos o axioma (vi)
pela forma enfraquecida ka ak kak2 .
B. Seja A uma C*-
algebra sem unidade. Prove que a
algebra do exerccio (2.F) torna-se uma C*-
algebra
com unidade se definirmos a involuca
o e a norma a seguir:

(a, ) = (a , ),

k(a, )k = sup kab + bk : b A, kbk 1 .

Prove tamb
em que esta norma
e equivalente `
a norma introduzida no exerccio (2.F).
C. Prove a relac
ao (7.6).
D. Sendo que a
algebra An citada no exemplo (7.7)
e isomorfa `
a
algebra de matrizes 2n 2n , e sendo
n
que An An+1 , explique de que forma a
algebra M2 ( ) se encontra contida na
algebra M2n+1 ( ).

*E. Este exerccio tem o objetivo de mostrar a import

ancia do axioma (7.1.vi), mostrando que existe
uma a
lgebra de Banach com involuca
o, para a qual (7.10) falha. Seja A a
algebra do exerccio (5.E).
Para f A defina
z ), z S 1 .
f (z) = f (
Prove que (A, )
e uma a
lgebra de Banach com involuc
ao. Prove tamb
em que o elemento Z
e autoadjunto e que (Z)
e o disco unit
ario complexo (que portanto n
ao est
a contido em ).

23


TEOREMA DE GELFAND PARA C*-ALGEBRAS
COMUTATIVAS

O grande objetivo deste captulo e a prova do Teorema de Gelfand segundo o qual

b atraves da transformada
toda C*-algebra comutativa A com unidade e isomorfa `a C(A)
de Gelfand vista no captulo (6). Para isto vamos supor ao longo do presente captulo que
A e uma C*-
algebra comutativa com unidade fixa.
O Teorema de Gelfand se aplica igualmente para C*-algebras sem unidade (neste caso
b por C0 (A)).
b Nos vamos nos restringir aqui ao caso com unidade,
devemos substituir C(A)
deixando a generalizac
ao para o caso sem unidade como exerccio (veja abaixo).
Seja A uma C*-
algebra comutativa com unidade, fixa durante todo este captulo.
Comecaremos provando que homomorfismos complexos definidos em A necessariamente
preservam a involuc
ao:
b temos que
8.1. Proposi
c
ao. Dado A
(a ) = (a),

a A.

Prova. Suponha inicialmente que a e auto-adjunto. Entao, como (a) (a) por (5.4), e
como (a) por (7.10), temos que (a) , de onde

(a ) = (a) = (a).
No caso geral escreva a = x + iy como em (7.9) e portanto temos
(a ) = (x iy) = (x) i(y) = (x) + i(y) = (a).

t
u

Note que o resultado acima pode ser interpretado como dizendo que a transformada
de Gelfand e um *-homomorfismo, isto e, um homomorfismo que satisfaz (a ) = (a)
para todo a A.
Podemos agora provar o Teorema de Gelfand, um dos resultados mais celebrados na
teoria das C*-
algebras:
8.2. Teorema. Seja A uma C*-
algebra comutativa com unidade. A transformada de
b e um *-isomorfismo isometrico de A sobre C(A).
b
Gelfand : A C(A)
Prova. Seja a A. Como a a e auto-adjunto temos que
(7.11)

(6.2)

kak2 = ka ak = r(a a) = k(a a)k = k(a)(a)k = k(a)k2 ,

provando assim que e um homomorfismo isometrico. Basta portanto verificarmos que
e sobrejetor. Para isto lancaremos mao do Teorema de Stone-Weierstrass e portanto
b
precisamos apenas provar que (A) separa pontos de A.
b com 6= . Devemos encontrar a A tal que (a)() 6=
Sejam portanto , A
(a)(), ou seja, (a) 6= (a), mas dado que 6= , tal a certamente existe!
t
u
24

Para finalizar este captulo demonstraremos um importante resultado sobre permanencia espectral:
8.3. Teorema. Seja B uma C*-
algebra com unidade e seja A B uma sub-C*-algebra
contendo a unidade de B.
(i) Dado a A inversvel (como elemento de B) tem-se que a1 A.
(ii) O espectro de a relativo `
a B, denotado B (a), coincide com A (a), o espectro de a
relativo `
a A.
Prova. Suponha inicialmente que a e auto-adjunto. Podemos entao supor, sem perda
de generalidade, que A e a sub-C*-algebra de B gerada por {1, a} e portanto que A e
b
comutativa. Pelo Teorema de Gelfand A e isometricamente isomorfa `a C(A).
Supondo-se que a n
ao e inversvel em A entao (a) e uma funcao que admite zeros.
Portanto existe uma sequencia {an }nN de elementos de A tal que limn kaan k = 0 e
kan k = 1 para todo n. Teramos ent
ao que
n

1 = kan k = ka1 aan k ka1 k kaan k 0,

o que e um absurdo.
No caso geral note que a a e aa sao inversveis em B de onde (a a)1 e (aa )1 A
pelo que ja foi provado. Segue-se que a e inversvel `a esquerda e `a direita como elemento
de A, donde inversvel em A. Como o inverso e necessariamente u
nico temos que o inverso
de a relativo `
a B coincide com o inverso relativo `a A e portanto pertence `a A. Isto conclui
a demonstrac
ao da parte (i).
Quanto `
a (ii) seja . Ent
ao pela parte (i) temos que a e inversvel em B se
e somente se a e inversvel em A. Segue imediatamente que B (a) = A (a).
t
u

Exerccios do Captulo 8
e a a C*-algebra introduzida no exerccio
A. Seja A uma C*-
algebra comutativa sem unidade e seja A
(7.B). Seja
e C(A)
e
:A
b

e : f () = 0 onde e o ponto no
a transformada de Gelfand. Prove que (A) = f C(A)
infinito conforme o exerccio (5.D). Deduza que a transformada de Gelfand de A
e um *-isomorfismo
b
sobre C0 (A).
b

B. Seja A uma C*-

algebra e seja a A. Prove que se existe uma semi-reta no plano complexo contendo
a origem e que n
ao intercepta (a) ent
ao para cada inteiro n > 1 existe b A tal que bn = a.

25

POSITIVIDADE

O conceito de positividade e um conceito fundamental em analise e, como nao poderia deixar de ser, representa um papel importantssimo na teoria das C*-algebras. Este
captulo e dedicado a introduzir as nocoes basicas de positividade no nosso contexto. Seja
portanto A uma C*-
algebra com unidade fixa ao longo do presente captulo.
9.1. Defini
c
ao. Um elemento a A e dito positivo se a e auto-adjunto e (a)
(por + entendemos o intervalo [0, +)).

R+

Iniciamos com uma lista de resultados basicos para elementos positivos de uma C*algebra:
9.2. Proposi
c
ao.
(i) Todo elemento auto-adjunto a A pode ser escrito como a diferenca de elementos
positivos a+ e a tais que a+ a = 0.
(ii) Se a e a s
ao ambos positivos entao a = 0.
(iii) Seja a A um elemento auto-adjunto e seja uma constante com kak. Ent
ao a
e positivo se e somente se k ak .
(iv) Se a e b s
ao positivos ent
ao a + b tambem e positivo.
(v) Se a e um elemento auto-adjunto entao a kak no sentido em que kak a e positivo.
Prova. Dado a A auto-adjunto, a sub-C*-algebra B de A gerada por {1, a} e comutativa
b Identificando B e C(B)
b via a
e portanto, pelo Teorema de Gelfand, isomorfa `a C(B).
b e,
transformada de Gelfand podemos pensar em a como uma funcao real contnua em B
b pode ser interpretada como um elemento de
reciprocamente, toda func
ao contnua em B
B. Seja portanto
a+ = max{a, 0}, e a = max{a, 0}.
claro que a = a+ a , que a+ a = 0, e que a+ e a sao funcoes reais positivas e
E
portanto elementos positivos de B. Por (8.3.ii) vemos que a+ e a sao positivos tambem
como elementos de A.
Suponha agora que a e a s
ao positivos. Entao temos que (a) + de onde
(a) = {0} e portanto por (7.11) concluimos que kak = r(a) = 0.
Para provarmos (iii) note que por (3.6) e (7.10) temos que



(a) kak, kak [, ].
Alem disto
(7.11)

k ak = r( a) = sup | | = sup .
(a)

26

(a)

obvio portanto que k ak se e somente se (a) + .

E


Para provarmos (iv) sejam a e b elementos positivos. Por (iii) temos que kak a
kak e similarmente para b. Seja = kak + kbk. Entao e claro que ka + bk e que




k (a + b)k = (kak a) + (kbk b) kak a + kbk b kak + kbk = ,
de onde a + b e positivo por (iii).
Finalmente,
seja

 a A um elemento auto-adjunto.
 Entao por (3.6) temos que que
(a) kak, kak e consequentemente (kak a) 0, 2kak por (3.10). Assim kak a
e positivo.
t
u
A seguir veremos um resultado tecnico importante que nos auxiliara na obtencao de
caracterizac
oes mais eficazes de positividade:
9.3. Lema. Suponha que a A e que a a e positivo. Entao a = 0.
Prova. Escreva a = x + iy como em (7.9). Como x e auto-adjunto temos por (7.10) que
(x)
e portanto, por (3.10), temos que (x2 ) = (x)2 + . Segue-se que x2 , e
similarmente y 2 , s
ao elementos positivos. Note que

a a + aa = (x iy)(x + iy) + (x + iy)(x iy) = 2x2 + 2y 2 .

Portanto
a a = 2x2 + 2y 2 aa .
Como (aa ) \ {0} = (a a) \ {0} por (3.2) temos que aa e positivo. Por (9.2.iv)
temos entao que a a e tambem positivo e segue de (9.2.ii) que a a = 0, donde a = 0. t
u
A seguir damos duas caracterizacoes alternativas para elementos positivos:
9.4. Teorema. Seja A uma C*-
algebra com unidade. Dado a A sao equivalentes:
(i) a e positivo.
(ii) Existe um elemento auto-adjunto b A tal que b2 = a.
(iii) Existe b A tal que b b = a.
Prova. Supondo (i) seja B a sub-C*-algebra de A gerada por {1, a}. Entao pelo Teorema
b Alem disto, por (5.4), a
de Gelfand temos que B e isometricamente isomorfa `a C(B).
imagem da func
ao (a) coincide com B (a), que por sua vez e igualp`a A (a) por (8.3).
b Seja g = (a) e b = 1 (g).
Concluimos portanto que (a) e uma funcao positiva em B.
claro agora que b satisfaz `
E
as condicoes de (ii).
Sendo evidente que (ii) (iii) resta-nos provar que (iii) (i). Para isto assuma que
a = b b e sejam a+ e a como em (9.2). Pondo c = ba temos
c c = a (a+ a )a = a3 .

Como a e positivo e f
acil ver que (a3 ) = (a)3 + donde a3 e tambem positivo.
Da equacao acima temos ent
ao que c c e positivo donde c = 0 por (9.3). Segue-se que
3
t
u
a = 0 donde a = 0 e portanto a = a+ , ou seja, a e positivo.
27

Uma consequencia simples do resultado acima e:

9.5. Corolario. Se a e um elemento positivo entao b ab tambem o e para todo b A.
Prova. De fato, sabendo-se que a = c c para algum c A temos que b ab = b c cb =
(cb) (cb).
t
u
No hist
orico artigo [6] onde Gelfand e Neumark introduziram os axiomas de C*algebras, figurava um axioma que nao foi mencionado na definicao (7.1), a saber que
a a + 1 e inversvel para todo a A.
Note que decorre do resultado acima que a a e positivo, e que portanto (a a) + ,
donde 1
/ (a a). Portanto vemos que o axioma extra de Gelfand e Neumark pode
ser dispensado, por ser decorrente dos demais.

Exerccios do Captulo 9
A. Prove que o conjunto A+ formado por todos os elementos positivos de A
e fechado. Sugest
ao: (9.2.iii).
B. Prove que a decomposica
o em (9.2.i)
eu
nica.
C. Prove que o sub-espaco vetorial de A gerado pelos elementos positivos coincide com A.
D. Sejam a e b elementos positivos. Prove que ab
e positivo se e somente se ab = ba.
E. Prove que a relac
ao em A definida por a b se e somente se b a
e positivo
e uma relac
ao de ordem.
F. Prove que para todo elemento auto-adjunto a A tem-se que a kak.
G. Na prova de (i)(ii) em (9.4) o elemento b obtido
e na verdade um elemento positivo. Prove que
sob
esta hip
otese extra b
eu
nico. Neste caso diz-se que b
e a raiz quadrada de a e denota-se b = a.

e
H. Seja A uma C*-
algebra sem unidade e seja a A um elemento que
e positivo como elemento de A
(veja o exerccio (7.B)). Prove que existe um elemento auto-adjunto b A tal que b2 = a.

28

10

REPRESENTAC
OES
E ESTADOS

Historicamente o estudo de
algebras de operadores, isto e, sub-C*-algebras de B(H),
onde H e um espaco de Hilbert, precede em varios anos a introducao dos axiomas de C*algebras por Gelfand e Neumark em [6], cujo objetivo era, entre outros, permitir o estudo
abstrato destas importantes
algebras.
Tal estudo e o que, em parte, fizemos acima. Entretanto e hora de voltar `as origens e
restabelecer a ligac
ao entre o conceito abstrato de C*-algebras por um lado, e as algebras
de operadores, por outro.
O ponto de ligac
ao entre estes dois mundos e feito atraves do seguinte conceito:
10.1. Defini
c
ao. Seja A uma
algebra de Banach com involucao e H um espaco de Hilbert.
Uma representac
ao de A em H e um *-homomorfismo
: A B(H),
isto e, um homomorfismo que satisfaz (a ) = (a) para todo a A.
O nosso maior objetivo nestas notas sera o de provar que para toda C*-algebra existe
uma representacao isometrica, e portanto que toda C*-algebra e identica `a uma sub-C*algebra de B(H).
10.2. Exemplo. Seja A = C0 (X) a algebra do exemplo (2.5), onde X e um espaco topol
ogico localmente compacto. Seja ainda uma medida boreliana regular em X e considere
o espaco de Hilbert H = L2 (X, ). Para cada f A defina o operador (f ) em H pela
expressao
(f ) x = f (x)(x), H, x X.
facil mostrar que (f ) e de fato um operador linear contnuo em H e que a func
E
ao
: A B(H) e uma representac
ao de A em H. Se o suporte da medida coincidir com
X teremos que e isometrica e portanto C0 (X) e isometricamente isomorfo a uma algebra
de operadores em L2 (X, ).
Seja A uma C*-
algebra arbitr
aria e seja uma representacao de A num espaco de
Hilbert H. Tomando se um vetor H defina a funcao f : A por

f (a) = h(a), i ,

a A.

(10.3)

elementar verificarmos que f e um funcional linear em A e que alem disto f e positivo

E
no sentido da seguinte:

10.4. Defini
c
ao. Um funcional linear f : A
e chamado um funcional positivo se

para todo a A tenhamos que f (a a) e um numero real maior ou igual a zero. Se alem
disto f (1) = 1 ent
ao f e chamado um estado 5 de A
5

A terminologia estado prov

em da Mec
anica Qu
antica.

29

Note que por (9.4) um funcional positivo manda elementos positivos em n

umeros reais
positivos.
Como j
a mencionado, a expressao (10.3) fornece portanto um funcional positivo para
cada vetor H, que e obviamente um estado caso (1) = 1 e kk = 1. Por esta raz
ao
o estudo dos funcionais positivos e extremamente relevante na teoria de representacoes de
C*-algebras.
Assim como em (5.2), temos o seguinte resultado de continuidade automatica:
10.5. Proposi
c
ao. Seja A uma C*-algebra com unidade e seja f um funcional positivo
em A. Dados a, b A defina
ha, bi = f (a b).
Entao
(i) Para todo a, b A temos | ha, bi |2 ha, ai hb, bi.
(ii) f e contnuo e kf k = f (1).
elementar verificarmos que a funcao h, i definida acima satisfaz todas as proProva. E
priedades de um produto interno, exceto possivelmente pelo axioma de nao degenerecencia, isto e o axioma segundo o qual ha, ai =
6 0 para a 6= 0. Note tambem que a desigualdade em (i) e precisamente a desigualdade de Cauchy-Schwartz. Como a prova usual desta
u
ltima nao requer a propriedade de nao degenerecencia, (i) segue como no caso classico.
Tomando a = 1 em (i) concluimos que para todo b A
(9.2.v)

|f (b)|2 f (1)f (b b)

f (1) kb bk f (1) = f (1)2 kbk2 ,

donde f e contnuo e kf k = f (1).

t
u

Nem sempre e simples verificarmos que um funcional linear e positivo. O seguinte

criterio, essencialmente uma recproca do resultado acima, e `as vezes de grande utilidade:
10.6. Proposi
c
ao. Seja f um funcional linear contnuo em A. Se f (1) = kf k entao f e
positivo.
Prova. Normalizando podemos supor que f (1) = kf k = 1. Seja a um elemento positivo
de A. Escreva f (a) = x + iy, onde x e y sao n
umeros reais. Queremos portanto provar
que y = 0 e x 0.
Seja um n
umero real com kak e note que por (9.2.iii) temos k ak . Por
hipotese segue que
x | x iy| = |f ( a)| k ak ,
donde x > 0. Seja agora bn = a x + iny para cada inteiro positivo n. Notando que
f (bn ) = i(n + 1)y temos que
(n2 + 2n + 1)y 2 = |f (bn )|2 kbn k2 = kbn bn k =
= k(a x)2 + n2 y 2 k k(a x)2 k + n2 y 2 .
Segue-se que (2n + 1)y 2 k(a x)2 k para todo n mas isto so e possvel se y = 0.
30

t
u

O resultado a seguir mostra que existem estados em abundancia.

10.7. Proposi
c
ao. Seja A uma C*-algebra com unidade e seja a A um elemento autoadjunto. Ent
ao existe um estado f em A tal que |f (a)| = kak.
Prova. Seja B a sub-C*-
algebra comutativa de A gerada por {1, a}. Como r(a) = kak, por
b tal que |(a)| = kak.
(7.11), existe (a) com || = kak. Por (5.4) existe entao B
Note que e um funcional contnuo em B com kk = 1 = (1) por (5.2). Usando o
Teorema de Hahn-Banach seja f um funcional linear contnuo em A que estende com
kf k = kk.
obvio ent
E
ao que kf k = 1 = f (1) e portanto f e um estado por (10.6). Como f
estende temos tambem que |f (a)| = kak.
t
u

Exerccios do Captulo 10
A. Prove que um elemento a A
e:
i) auto-adjunto se e somente se f (a) para todo estado f ,
ii) positivo se e somente se f (a) 0 para todo estado f .

B. Seja f um funcional linear em Mn ( ). Prove que f

e positivo se e somente se existe uma matriz
positiva h tal que f (a) = tr(ah), para todo a Mn ( ).

C. Seja a A um auto-adjunto. Prove que o conjunto dos n

umeros reais da forma f (a), onde f
e um
estado em A, coincide com a envolt
oria convexa de (a).
*D. Generalize o resultado acima supondo que a
e normal, isto
e, que aa = a a.
E. Seja uma medida de Borel regular complexa num espaco compacto X tal que (X) = kk (onde
kk
e a variac
ao total de ). Prove que
e uma medida positiva.

31

11

EXISTENCIA
DE REPRESENTAC
OES

Tendo obtido os resultados tecnicos sobre funcionais positivos em C*-algebras dos

quais necessitaremos a seguir, concentrar-nos-emos agora no estudo propriamente dito de
representac
oes.
11.1. Proposi
c
ao. Seja A uma
algebra de Banach com involucao e : A B(H) uma
representac
ao. Ent
ao k(a)k kak para todo a A, em particular e contnua.
Prova. Por (2.F) podemos supor que A tem unidade e que (1) = 1. Como necessariamente manda elementos inversveis em elementos inversveis temos que ((a)) (a)
para todo a A, donde r((a)) r(a). Portanto


(7.11)
k(a)k2 = k(a a)k = r (a a) r(a a) ka ak ka k kak = kak2 .

t
u

Note que o resultado acima, assim como sua demonstracao, se generaliza facilmente
para qualquer *-homomorfismo de uma algebra de Banach com involucao para uma C*algebra.
11.2. Defini
c
ao. Seja uma representacao da C*-algebra A num espaco de Hilbert H.
Dizemos que um subespaco K H e invariante por se para todo a A e tivermos que
(a)K K.
Dado um subespaco fechado e invariante K podemos considerar a restricao (a) de
cada operador (a) para K, obtendo assim uma nova representacao
: A B(K).
Por abuso de linguagem diremos que e a restricao6 de para K.
Dado um vetor H seja K o fecho do conjunto


(A) = (a) : a A .
claro que K e ent
E
ao um subespaco fechado e invariante, ao qual chamaremos de espaco
cclico gerado por .
11.3. Defini
c
ao. Uma representac
ao da C*-algebra A em H e dita uma representac
ao
cclica se existe um vetor H tal que (A) e denso em H (e portanto H coincide com
o espaco cclico gerado por ). Um vetor como acima e chamado um vetor cclico para
.
6

Note que na verdade K n

ao
e um subconjunto do domnio de , e sim de cada operador (a).

32

Note que o funcional f em (10.3) nao se altera se substituirmos pela sua restric
ao
ao espaco cclico gerado por .
11.4. Teorema. Seja A uma C*-
algebra com unidade e seja f um funcional positivo em
A. Entao existe uma representac
ao cclica de A num espaco de Hilbert H possuindo um
vetor cclico tal que
f (a) = h(a), i , a A.
Se f e um estado ent
ao kk = 1.
Prova. Considere a func
ao sesqui-linear h, i em A definida como em (10.5) e seja N =

a A : ha, ai = 0 . N e um subespaco vetorial de A em consequencia da desigualdade
triangular
1/2
1/2
1/2
ha + b, a + bi
ha, ai + hb, bi
facil ver que a
que, como de costume, segue da desigualdade de Cauchy-Schwartz. E
expressao
ha + N, b + N i := ha, bi
produz uma forma sesqui-linear bem definida em A/N que e positiva e nao degenerada,
isto e, um produto interno. Consequentemente A/N torna-se um espaco pre-hilbertiano.
Dado a A considere a transformacao
0 (a) : b + N A/N 7 ab + N A/N.
Afirmamos que 0 est
a bem definida e e contnua. De fato, dado b A temos que
kab + N k2 = hab, abi = f (b a ab).
Sabemos por (9.2.v) que ka aka a e positivo e portanto o mesmo se aplica para b (ka ak
a a)b, por (9.5). Consequentemente
f (b a ab) ka akf (b b) = kak2 hb + N, b + N i .
Assim vemos que
kab + N k kak kb + N k,

()

o que prova que 0 e bem definida pois se b1 + N = b2 + N entao

kab1 ab2 + N k kak kb1 b2 + N k = 0,
e portanto ab1 + N = ab2 + N . Alem disto e claro que () implica que 0 e contnua.
Seja H o completamento de A/N e para cada a A seja (a) a u
nica extens
ao
contnua de 0 (a) para um operador limitado em H. O leitor podera agora verificar sem
dificuldade que a correspondencia
: a A 7 (a) B(H)
evidente tambem
e uma representac
ao cclica de A em H com vetor cclico = 1 + N . E
que para todo a A temos
h(a), i = ha + N, 1 + N i = f (a).

t
u

A import
ancia do resultado acima reside no fato de que representacoes sao produzidas
a partir de funcionais positivos. Por outro lado (10.7) nos garante a existencia de muitos
funcionais positivos e portanto representacoes devem existir em abundancia. A forma mais
eficaz de precisar esta ideia e talvez:
33

11.5. Teorema. Seja A uma C*-

algebra. Entao existe uma representacao isometrica de
A em um espaco de Hilbert.
Prova. Sem perda de generalidade podemos supor que A tem unidade. Para cada a A
seja f um estado de A tal que |f (a a)| = kak2 por (10.7). Seja a a representacao cclica
de A, com vetor cclico unit
ario , dada em termos de f por (11.4). Temos
kak2 = f (a a) = ha (a a), i = ha (a), a (a)i =
= ka (a)k2 ka (a)k2 kk2 = ka (a)k2

(11.1)

kak2 .

Temos entao que ka (a)k = kak. Seja Ha o espaco de a e defina

H=

Ha .

aA

Seja a representac
ao de A em H dada por
(b) =

b A.

a (b),

aA

claro portanto que e uma representacao isometrica.

E

t
u

Exerccios do Captulo 11
A. Suponha que K
e um espaco invariante por uma representac
ao . Prove que K
e tamb
em invariante.
B. Seja f o estado em C([0, 1]) dado por f (x) =
representac
ao construida em (11.4) para f .

R1
0

x(t) dt, para todo x C([0, 1]). Descreva a

C. Descreva a representaca
o construida em (11.4) para o funcional traco em Mn ( ).
D. Prove que se A
e separ
avel ent
ao o espaco de Hilbert construido em (11.4)
e tamb
em separ
avel.
E. Prove que se A
e separ
avel ent
ao existe uma representaca
o isom
etrica de A em um espaco de Hilbert
separ
avel.
F. Seja A uma C*-
algebra com unidade. Suponha que para cada i = 1, 2
e dada uma representac
ao
cclica i de A num espaco Hi com vetor cclico i tal que h1 (a)1 , 1 i = h2 (a)2 , 2 i , a A.
Prove que existe um operador unit
ario U : H1 H2 tal que U (1 ) = 2 e 2 (a) = U 1 (a)U 1 para
todo a A. Em resumo, a representac
ao construida em (11.4)
eu
nica.

34

12

BIBLIOGRAFIA

[1] O. Bratteli and D. W. Robinson, Operator algebras and quantum statistical mechanics. 1, Texts and Monographs in Physics, Springer-Verlag, 1987.
[2] K. R. Davidson, C*-algebras by example, Fields Institute Monographs, Amer. Math.
Soc., 1996.
[3] J. Dixmier, C*-Algebras, North Holland, 1982.
[4] J. M. G. Fell and R. S. Doran, Representations of *-algebras, locally compact groups,
and Banach *-algebraic bundles, Pure and Applied Mathematics vol. 125 and 126,
Academic Press, 1988.
[5] P. A. Fillmore, A users guide to operator algebras, Canadian Mathematical Society
Series of Monographs and Advanced Texts, Wiley Interscience, 1996.
[6] I. Gelfand and M. Neumark, On the imbedding of normed rings into the ring of
operators in Hilbert space, Rec. Math. [Mat. Sbornik] N.S., 12(54) (1943), 197213.
[7] R. V. Kadison and J. R. Ringrose, Fundamentals of the theory of operator algebras,
Pure and Applied Mathematics vol. 100-II, Academic Press, 1986.
[8] G. J. Murphy, C*-algebras and operator theory, Academic Press, 1990.
[9] J. von Neumann, Zur Algebra der Funktionaloperatoren und Theorie der normalen
Operatoren, Math. Ann., 102 (1929), 370427.
[10] G. K. Pedersen, C*-algebras and their automorphism groups, Acad. Press, 1979.
[11] M. A. Rieffel, C -algebras associated with irrational rotations, Pacific J. Math., 93
(1981), 415429.
[12] W. Rudin, Real and Complex Analysis, McGraw-Hill series in higher mathematics,
McGraw-Hill, 1974.
[13] V. S. Sunder, Functional analysis Spectral Theory, Birkhauser Verlag, 1998.
[14] M. Takesaki, Theory of operator algebras I, Springer-Verlag, 1979.

35