Captulo 1

C -lgebras
Nos captulos precedentes nos falmos de espaos vetoriais e introduzimos as noes
de espaos normados, espaos de Banach e tambm de espaos de Hilbert quando un
produto interno for presente. Agora iremos falar das Algebras de Banach ou seja os espaos vetoriais de Banach que tambm so Algebras no respeito de uma operao de
multiplicao. Na pratica comum essa operao pode ser definida em jeitos diferentes
e as algebras resultantes podem ser classificadas segundo essa multiplicao. Se a operao de multiplicao fo definida pontualmente as algebras resultantes so chamadas
algebra de funes, se for definida como composio de funes as algebras resultantes so
chamadas algebras de operatores e se for definidas como convoluo de funes as lgebras
so chamadas lgebras de grupos. Nos exemplos iremos ver cada um desses casos.
No caso que o espao no seja somente de Banach, mas tambm de Hilbert, vimos no captulo precedente que podemos introduzir uma involuo no espao chamada de involuo adjunta e indicada com *. Se a lgebra resultante d multiplicao introduzida for fechada no respeito da involuo * ento a lgebra chamase de
*-lgebra. Nesse captulo iremos apresentar as C lgebras que so um caso especial
de *-lgebras onde possvel obter resultados muito profundos e interessantes. Esses
lgebras so teis especialmente na Fsica contemporanea onde numa das formulaes mais comuns constata-se que as observaveis so representadas por operadores
que formam uma C -lgebra.
Por os nossos objectivos iremos supor que o campo de definio da lgebra ser
sempre o campo C e a operao indicar simplesmente a conjugao do escalar C
e que as lgebras contehnam uma identidade no respeito da multiplicao ou sejam
que as lgebras sejam lgebras unitrias.

1.1

Definies

Definio 1. Uma lgebra A diz-se uma -lgebra se uma lgebra onde definida
uma involuo : A A tale que
a = a
( a + b) = a + b
( ab) = b a
(a) = a

(1.1.1)
(1.1.2)
(1.1.3)
(1.1.4)

Definio 2. Uma Banach -lgebra uma -lgebra onde a norma invariante pela
involuo ou seja:
|| a || = || a||
(1.1.5)
1

CAPTULO 1. C -LGEBRAS

Definio 3. Uma C -lgebra uma Banach -lgebra que satisfaz o axioma C :

|| a a|| = || a||2

(1.1.6)

Definio 4. (ELEMENTOS ESPECIAIS) Seja A uma -lgebra, ento a A diz-se:

- AUTOADJUNTO se a = a
- NORMAL se aa = a a
- UNITRIO se aa = a a = 1
- POSITIVO se a = b b com b A
- PROJEO se a2 = a = a

1.2

Exemplos de C lgebras

Nessa seco apresentaremos alguns exemplos fundamentais de C lgebras.

1.2.1

B (H), C lgebras dos operadores limitados

Se H for um espao de Banach o espao B (H) dos operadores limitado sobre H (equivalentemente dos operadores continuos pelo Teorema 66) tambm um espao de Banach. Pondo a composio de funes como multiplicao entre elementos de B (H)
o espao de Banach B (H) torna se uma Algebra de Banach. Ademais se H um espao de Hilbert resulta naturalmente definida uma involuo * chamada de adjunta
que leva um operador no operador adjunto dado da

h A v, wi = hv, Awi

(1.2.1)

Com essas definies B (H) torna-se uma Banach -lgebra.

Um caso muito especial dessas lgebras no caso em que o espao de Hilbert seja
de dimenso finida ou seja dimC H < .
B (H) Os operadores continuos numo espao de Hilbert de dimenso finida No
caso de H espao de Hilbert de dimenso finida, o teorema 87 diz-nos que se o campo
escalar do espao for o campo C ento o espao H isomorfo a Cn e portanto o espao
B (H) torna-se isomorfo a o espao End (Cn ) que isomorfo a o espao das matrizes
com coeficientes complexos Mnn (C).
As matrizes Mnn (C) com norma || a|| = sup {|| av||2 : v Cn , ||v||2 1} formam
um espao de Banach. Se consideramos tambm a involuo
T

: Mnn (C) 3 A A = A Mnn (C)

obtemos que Mnn (C) forma uma C lgebra.

1.2.2

C ( X ), C -lgebra das funes em C

Seja X = {1, 2, ..., n} e seja C( X ) = { f : X C} o conjunto das funes entre X e C.

Sendo X finido uma funo f resulta completamente definida por un numero finido de

CAPTULO 1. C -LGEBRAS

valores ( f (1) , f (2) , ..., f (n)) = ( f 1 , f 2 , ..., f n ). Se definimos as seguintes operaes:

(ADIO)
(MULTIPLICAO)

( f + g) ( x ) = f ( x ) + g ( x )
( f g) ( x ) = f ( x ) g ( x )

(INVOLUO)
( f ) (x) = f (x)
(MULT. POR ESCALAR) ( f ) ( x ) = f ( x )

(1.2.2)
(1.2.3)
(1.2.4)
(1.2.5)

|| f || = | f ( x )|

(NORMA)

(1.2.6)

x =1

Obtemos uma C -lgebra com campo escalar C e dimC C ( X ) = n

1.2.3

C0 ( X ), C -lgebra da funes que anulam-se no infinito

Seja f : X C diz-se que anula-se no infinito se

K = { x X : | f ( x )| > e} compacto por cada e > 0

(1.2.7)

Seja X um espao topologico localmente compacto e seja C0 ( X ) o espao das funes f : X C que anulam-se no infinito esse espao forma uma C -lgebra com as
operaoes definidas em 5.2.2.
Observao 5. Se X for compacto ento C0 ( X )
= C (X)

1.2.4

C ( G ), C -lgebra gerada da um grupo G

Seja G = { g1 , g2 , ..., gn } e seja C( X ) = { f : X C} o conjunto das funes entre X e

C. Sendo X finido uma funo f resulta completamente definida por un numero finido
de valores ( f (1) , f (2) , ..., f (n)) = ( f 1 , f 2 , ..., f n ). Se definimos as seguintes operaes:
(ADIO)
(MULTIPLICAO)

( f + g) ( x ) = f ( x ) + g ( x )
( f g) ( x ) = f ( x ) g ( x )

(INVOLUO)
( f ) (x) = f (x)
(MULT. POR ESCALAR) ( f ) ( x ) = f ( x )
(NORMA)
|| f || = sup| f ( x ) |

(1.2.8)
(1.2.9)
(1.2.10)
(1.2.11)
(1.2.12)

xX

Obtemos uma C -lgebra com campo escalar C e dimC C ( X ) = n

1.2.5

lgebra gerada da um Operador Hermitiano

Seja um operador Hermitiano o Autoadjunto A = A , ento a fechadura dos polinomios de A

(
)
n

AA =

p( A) =

ai Ai | ai C

(1.2.13)

i =1

uma C -lgebra. De facto a lgebra naturalmente fechada pelas operaes

p( A) + q( A) A A
p( A) q( A) A A
p( A) A A

(1.2.14)
(1.2.15)
(1.2.16)

CAPTULO 1. C -LGEBRAS

e dado que A = A, temos ( A )n = An e portanto a lgebra tambem fechada pela

involuo:

p( A) =

ai Ai A A

(1.2.17)

i =1

Introduzindo a norma

|| p ( A) || = sup
x 6 =0

|| p ( A) v||
= sup || p ( A) v||
||v||
||v||=1

(1.2.18)

A lgebra A A resulta uma C -lgebra dado que || p( A) p( A)|| = || p( A)||2

1.3
1.3.1

Espectro
Resolvente, Espectro de um Operador e Raio Espectral

Definio 6. Seja A uma -lgebra de Banach munida com uma identidade multiplicativa e a A definimos o conjunto
A ( a ) = { C :

a 1 invertvel}

(1.3.1)

a resolvente de a, chamamos de espectro de a em A o conjunto

A ( a) = { C :

a 1 no invertvel}

(1.3.2)

e definimos de raio espectral de a A

r ( a) = sup {||}

(1.3.3)

( a)

Agora iremos apresentar alguns resultados fundamentais relativos aos espetros dos
operadores numa -lgebra de Banach.
Proposio 7. Seja A uma -lgebra de Banach, e a A ento
(a) ( a) um subconjunto compacto no vazio de C;
(b) ( ab) \ {0} = (ba) \ {0};
(c) r ( a) || a||, a normal, ento r ( a) = || a||;
(d) ( FORMULA DO RAIO ESPECTRAL ) r ( a) = lim || an ||1/n = inf || an ||1/n ;
n

(e) Seja f (z) = p (z) /q (z), com q (z) 6= 0 se z ( a), ento

( f ( a)) = { f () : ( a)}

(f) ( a ) = ( a) = :

( a) e r ( a ) = r ( a) ;

Demonstrao. vamos provar a proposio (a) que a mais importante. Se ( a) fosse

vazio ento ( a 1) sempre seria invertvel e a funo f () = ( a 1)1 uma
funo intera definida sobre tudo o plano C e tal que
||

f () 0
Portanto costantemente nula, contrariamente existncia de A1 implicada da ( A) =

CAPTULO 1. C -LGEBRAS

Corolrio 8. (GELFAND - MAZUR) Seja A uma -lgebra de Banach complexa onde cada
elemento diferente da 0 seja invertivl, ento A isometricamente isomorfa a C.
Proof. A prova reside no facto que ( a) sempre um conjunto no vazio de C. Portanto
por cada operador a existe um C tal que a 1 no invertivl, mas dado que o
nico elemento no invertvel 0 obtemos que a 1 = 0 ou seja que a = 1.

1.3.2

Espectro de uma lgebra

Definio 9. Seja A uma lgebra, um subespao linear I diz-se um ideal esquerdo ou

direito se:
(ESQUERDO) ax I a I, x A
( DEREITO ) xa I a I, x A

(1.3.4)
(1.3.5)

um ideal I diz-se prprio se 1

/ I e diz-se maxmal se por cada I0 ideal prprio de A,
temos que se I I0 ento I0 I.
Observao 10. Seja A uma lgebra comutativa as nooes de ideal esquerdo e ideal dereito coincidem
De agora em diante s iremos considerar as lgebras comutativas com unitade.
Seja A uma lgebra comutativa diz-se espectro da lgebra A e indicamos com 4(A)
o conjunto dos homomorfismos algebricos no nulos entre A e o campo escalar C

4(A) = { : A C | ( ab) = ( a) (b)} r { 0}

(1.3.6)

A noo de espectro de uma lgebra 4(A) est fortemente relacionada com a noo
de espectro de um operador da lgebra por o seguinte teorema:
Teorema 11. Seja A uma lgebra de Banach comutativa com unitade, ento
(a) 4(A) 6=
(b) I um ideal maxmal I = ker por algum 4(A)
(c) || || = 1 por cada 4(A)
(d) Por cada a A temos ( a) = { ( a) : 4(A)}
Se A A gerada da um operador, ou seja se as potencias do operador so densas na
lgebra
(
)
n

AA =

p( A) =

ai Ai | ai C
i =1

Ento o espectro da lgebra o mesmo do espectro do operador

4(A A ) = ( A)

(1.3.7)

CAPTULO 1. C -LGEBRAS

1.4
1.4.1

O teorema de Gelfand para C lgebras comutativas

A trasformada de Gelfand

Definio 12. Seja A uma lgebra de Banach comutativa com unitade. Por cada a A
podemos definir a funo
b
a : 4(A) 3 b
a ( ) = ( a) C

(1.4.1)

A funo b
a pertenece s funes de C (4(A)).
Definio 13. Seja A uma lgebra de Banach comutativa com unitade, a transformada
de Gelfand de A a funo
: A 3 a b
a C (4(A))

1.4.2

(1.4.2)

O teorema de Gelfand para C lgebras comutativas

Teorema 14. Seja A uma C lgebras comutativa com unitade, a transformada de Gelfand
: A 3 a b
a C (4(A))
um isomorfismo isometrico de A sobre C (4(A))

(1.4.3)