Captulo 1

Endomorfismos
1.1

Elementos bsicos

Definio 1. Um endomorfismo L : V V uma transformao linear entre um

espao vetorial V e si proprio. O espao vetorial dos endomorfismos ou HomK (V, V)
chamado de EndK (V) ou End(V) quando no gera ambiguidade.
Um endomorfismo uma transformao linear e como tal pode ser representada
em forma matricial. No especfico se E = {ei }1in uma base do espao V, o endomorfismo L pode ser representado na base E d matriz A Mnn (K) formada assim:
E [ L ]E

= A = ([ L(e1 )]E , [ L(e2 )]E , .., [ L(en )]E ) Mnn (K)

(1.1.1)

Onde[ L(e1 )]E indica a representao do vetor L(e1 ) na base E . Portanto dado um
vetor v V onde v = i ei podemos escrever:
i =1..n

Lv = E [ L]E [v]E =

1.1.1

a11 a12
a21 a22
..
..
.
.
n
a1 a2n

. . . a1n
1
2
. . . a2n

.
. . . ..
. ..
. . . ann
n

(1.1.2)

Mudana de coordenadas

Seja F = {fi }1in uma nova base do espao V, e CE F = (cij ) a matrix com as coordenadas dos vetores da base E no respeito da base F ou seja:
ej =

cij fi

(1.1.3)

i =1..n

1
Chamamos ento de CF E = CEF
= (dij ) estamos interessados na representao do
endomorfismo L na base F ou seja em F [ L]F .
F [ L ]F

1
= B = (CF E [ L(CE F e1 )]E , .., CF E [ L(CE F en )]E ) = CF
E ACE F

(1.1.4)

Portanto temos
Lv = E [ L]E [v]E = F [ L]F [v]F

(1.1.5)

Definio 2. (ENDOMORFISMOS SIMILARES) Dois endomorfismos lineares representados por dois matrizes A Mnn (K) e B Mnn (K) dizem-se similares se existe uma
matriz M Mnn (K) e no singular tal que
A = M1 BM
1

(1.1.6)

CAPTULO 1. ENDOMORFISMOS

1.1.2

Espaos invariantes, valores e vetores prprios

Definio 3. (SUB - ESPAO INVARIANTE) Um sub-espao H V diz-se A-invariante se

por cada v H o vetor Av H.
Um caso especial contituido pelos sub-espaos invariantes de dimenso um que
so chamados de vetores prprios.
Definio 4. (VALOR E VETOR PRPRIO) Dado A End(V ) diz-se vetor prprio de A
um vetor v V tal que Av = v. O valor chama-se de valor prprio associado ao vetor
prprio.

1.1.3

Polinmio caraterstico

A investigao sobre os vetores prprios leva a considerar a equao chamada de equao caraterstica:
( A I )v = 0
(1.1.7)
Para que a equao possa ser resolvida com v 6= 0 precisamos que A I seja uma
aplicao singular ou seja que
det( A I ) = 0
(1.1.8)
Definio 5. Seja A Mnn (K), o polinmio p A () = det( A I ) chamado de polinmio caraterstico.
Teorema 6. Sejam A e B matrizes similares = p A () = p B ()
Demonstrao. det( B I ) = det( M1 AM M1 M ) que pela regra de Bint dos
determinantes ugual a det( M1 )det( A I )det( M) = det( A I ).
Resulta bem definido falar de polinmio caraterstico de um Endomorfismo.
Agora podemos pensar em K como um campo algebricamente fechado, podemos
ento escrever o polinmio caraterstico de um endomorfismo A como:
p A ( ) = ( 1 ) m1 . . . ( k ) m k

(1.1.9)

Observao 7. Podemos observar que por cada i a equao

( A i I ) v = 0

(1.1.10)

pode ser resolvida enquanto o determinante det( A i I ) nulo. Isso significa que
por cada i existe pelo meno un vetor prprio vi Hi V.
Os i com i = 1..k so os valores prprios do automorfismo.
Os mi com i = 1..k so as multiplicidades algebricas dos autovalores i .

CAPTULO 1. ENDOMORFISMOS

1.2

Forma de Jordan

O objectivo desse captulo demonstrar o teorema seguinte:

Teorema 8. (FORMA CANNICA DE J ORDAN): Seja V espao vetorial com n = dim(V ) <
. Seja A End(V) ento h uma decomposio de V em suma direta de sub-espaos Ainvariantes:
V = V1 ... Vk
(1.2.1)

onde para cada Vi existe uma base Bi = e j 1 jn onde ni = dim(Vi ) e
i

( A i I ) e1 = 0
( A i I ) e j = e j 1

1 < j ni

(1.2.2)

Observao 9. Se V decomponvel em V = V1 V2 e B1 e B2 so bases de V1 , V2

ento a base B = B1 B2 uma base de V e nessa base um endomorfismo A toma a
seguinte forma matricial


A11 A12
(1.2.3)
[ A ]B =
A21 A22
onde A12 = 0 se e solo se V2 invariante por A e A21 = 0 se e solo se V1 invariante
por A.
Corolrio 10. Na base de B = Bi o endomorfismo A tem uma representao matricial:
1 i k

[ A ]B =

J1 0
0 J2
..
.

...
...

0
0
..
.

Jk

0
1
.
..
...

0
0
..
.

onde os Ji so chamados blocos de Jordan:

1
0

Ji = 0 0
. .
.. ..
0 0

(1.2.4)

(1.2.5)

Para demonstrar o Teorema iremos encontrar a base da forma de Jordan em primeiro lugar no caso de V indecomponvel e em segundo lugar no caso geral.

1.2.1

Forma de Jordan no caso de V um espao indecomponvel

Antes de anlisar o caso geral, vamos considerar o caso em que V seja indecomponvel.
Seja um valor prprio de A e seja B = ( A I ). Consideramos Ni () = ker ( Bi )
temos uma cadeia ascendente
N1 () ... Nm () ...

(1.2.6)

Dado que a dimenso de V finita, h um q tal que Nq () = Nm () por cada

m > q.

CAPTULO 1. ENDOMORFISMOS

Definio 11. Un vetor chama-se de vetor prprio generalizado de ordem q se

v 6= 0
v 6= 0

( A I )
..
.

(1.2.7)

q 1

( A I )
( A I )q

v 6= 0
v=0

Lema 12. Nas hipteses precedentes V = ker ( B ) Im( B )

q

Demonstrao. Em primeiro lugar precisamos demonstrar que ker ( B ) Im( B ) = {0}

q
e depois o teorema segue pelo Rank-Nullity Theorem. Vamos supor que v ker ( B )
q
q
q
Im( B ) e demonstramos que o vtor nulo. Dado que v ker ( B ) temos que B v = 0,
q
q
q q
tambm temos que dado que v Im( B ) ento v = B w. Isso que dizer que B B w =
2q

2q

B w = 0 ou seja que w ker ( B ). Mas d construo precedente sabemos que

q

2q

ker ( B ) = ker ( B ) ento w ker ( B ) o que quer dizer que v = B w = 0.

Tendo demonstrado o Lema, agora sabemos que cada espao V pode ser decomq
q
posto na forma V = ker ( B ) Im( B ), mas dado que V era indecomponvel pelas
q
q
hipteses, isso quer dizer que ou V = ker ( B ) ou V = Im( B ), mas dado que h
q
q
pelomeno un vetor proprio associado a ento ker ( B ) 6= {0} ou seja ker ( B ) = V.
Ento pelos V indecomponveis temos que B = ( A I ) nilpotente ou seja que
Apode ser escrita como soma de uma matriz diagonal e de uma nilpotente:
A = I + B

(1.2.8)

Escolhendo v vetor prprio generalizado de ordem q sobre V (que sempre possq 1

q
vel
n escolher dado que ker ( B ) 6=
o ker ( B )), a cadeia chamada cadeia de Jordan: B =
v, ( A I ) v, ..., ( A I )q1 v forma uma base de V e nessa base o endomorfismo
A assume a forma de um bloco de Jordan:

1 0 0
0 1
0

.
..

. ..
(1.2.9)
[ A ]B = 0 0

. .

.
.. ..
.. 1
0 0 0

1.2.2

Forma de Jordan no caso geral

Para poder completar a demonstrao precisamos demonstrar que seja possvel encontrar uma decomposio de Jordan em qualquer espao vetorial V.
Procedemos por induo sobre a dimenso. Se dim(V) = 1 a demonstrao trivial.
Supondo a hiptese valida por dim(V) = n 1 vamos demonstrar que est valida por
dim(V) = n.
Se V indecomponvel, ento no h nada de demonstrar porque j tratmos o
caso em que V seja indecomponvel. No caso em que V seja decomponvel, podemos
ento decompor V = W1 W2 onde W1 , W2 so sub espaos A-invariantes com 0 <
dim(W1 ), dim(W1 ) < n . Pela hiptese indutiva temos ento uma forma de Jordan pelo
endomorfismo A sobre W1 e W2 dada nas bases B1 e B2 . Portanto a base B = B1 B2
e a base que queramos encontrar e que completa o teorema.

Captulo 2
Espaos Normados e Operadores
2.1
2.1.1

Espaos de Banach
Espaos normados

Definio 13. Seja V um espao vetorial sobre um campo K = R, C. Chama-se norma

sobre V uma aplicao || || : V R+ = [0, ) com as condies seguintes:
)
)
)

||v|| = ||||v||, K, v V
||v + u|| ||v|| + ||u|| v, u V
||v|| = 0 v = 0 V

(2.1.1)
(2.1.2)
(2.1.3)

Observao 14. Dada || || norma, podemos definir uma distncia d(, ) : V V R+

obtida com a relao:
d(v, w) = ||v w||
(2.1.4)
Definio 15. O conjunto de um espao vetorial V e uma norma || || chama-se de
espao normado.
Uma aplicao A : V W entre espaos vetoriais normados chama-se de operador.
Um operador bijectivo entre espaos de Banach tal que || Av||W = ||v||V diz-se um
isomorfismo isometrico.

2.1.2

Espaos de Banach

Seja uma sucesso {vn }, a sucesso diz-se convergente a v0 se vn v0 se limd(vn , v0 ) =

n

0, diz-se uma sucesso de Cauchy se limd(vm , vn ) = 0.

n

Definio 16. Seja um espao normado V, o espao diz-se Espao Banach se o espao
vetorial V compledo no respeito da metrica d(, ) induzida pela norma || || ou seja
se em (V, || ||) todas as sucesses de Cauchy so sucesses convergentes.
Duas normas || || A e || || B so equivalentes se induzem a mesma topologia definida das metricas d A (v, w) = ||v w|| A e d B (v, w) = ||v w|| B . Esso quer dizer que
uma sucesso vn v0 convergente com a metrica d A se e s se convergente com
a metrica d B .

CAPTULO 2. ESPAOS NORMADOS E OPERADORES

Definio 17. Dizemos que as normas || || A e || || B so equivalentes se h c1 , c2 R+

tal que
c1 || || B || || A c2 || || B
(2.1.5)
Teorema 18. Se dim(V) < , todas as normas so equivalentes
Demonstrao. Se dim(V) < ento V isomorfo a Rn portanto suficiente
r demons-

trar que todas as normas de Rn so equivalentes norma euclidea |v| =

( vi ) .

i =1..n

||v|| |v1 |||e1 || + ... + |vn |||en ||

||ei ||2

|v|

(2.1.6)

i =1..n

Ento a aplicao

Rn 3 v ||v|| R

(2.1.7)

e continua e dado que Sn1 = {v Rn | |v| = 1} compacto ento a aplicao

Sn1 3 v ||v|| R
tem um minimo positivo . Portanto se v Rn e v 6= 0 temos

v

|v|

(2.1.8)

(2.1.9)

e d linearidade das normas obtemos

|v|

1
||v||

v Rn

(2.1.10)

Corolrio 19. Os espaos Kn so espaos de Banach

2.1.3

Normas cannicas

Seja v Rn podemos definir || || p com p [1, ) a norma:

n

||v|| p =

| vi |

!1/p
p

(2.1.11)

i =1

e iremos indicar com || || a norma:

||v|| = sup {|vi | : 1 i n}

(2.1.12)

Definizione 20. Sejam p, q R e p, q > 1, p e q dizem-se conjugatos segundo Hlder se

1 1
+ =1
p q
nesse caso as seguintes formulas so validas:


||w||q = max (w, v) : v Rn , ||v p || 1
|(v, w)| ||v|| p ||w||q
||v + w|| p ||v|| p + ||w|| p

(2.1.13)

( NORMAS CONJUGATAS )(2.1.14)

( DE H LDER)
(2.1.15)
( DE M INKOWSKY )
(2.1.16)

CAPTULO 2. ESPAOS NORMADOS E OPERADORES

2.2

Os Espaos B (V, W)

Nessa seco iremos focar sobre alguns espaos que surgem considerando os operadores lineares e limitados entre espaos vetoriais normados. Antes de proceder na
analse preciso especificar que neste conteste os operadores limitados so os mesmos
dos operadores continuos. Na verdade valido so seguinte teorema:
Teorema 21. Sejam V, W espaos vetoriais normados A Hom(V, W), ento so proposies
equivalentes:
1) A continuo
2) A continuo na origem: por cada {vn } : vn 0 ento Avn 0
3) existe um K 0 tal que || Av|| ||v|| por cada v V
4) sendo S = {v : ||v|| 1}a esfera fechada, ento a sua imagem um conjunto limitado
em W
Demonstrao. 1) = 2) porque se A continuo continuo na origem. 2) = 3)
porque se no existesse um um 0tal que || Av|| ||v|| por cada v V ento por cada n N podemos encontrar um vn tal que || Avn || n||vn || ou seja
|| A(vn /n||vn ||)|| 1, mas se for assim ento a sucesso:
wn = vn /n||vn || 0
Awn 9 0

(2.2.1)
(2.2.2)

3) = 4) evidente porque A limitado po K e 4) = 1) vamos supor que

no seja e que A no seja continua no ponto v0 , ento por cada M > 0 e por cada
> ||v v0 || > 0 ento existe um v V tal que || A(v) A(v0 )|| > M . Mas pela
linearidade de A isso quer dizer que num intorno de 0por qualquer M > 0 temos
|| A(v v0 )|| > M ou seja a imagem da esfera no um conjunto limitado.
Definio 22. Sejam V, W espaos vetoriais normados A Hom(V, W) definimos a
norma
|| Av||W
(2.2.3)
|| A|| = sup
x 6=0 || v ||V
e chamamos de operador de limidado se || A|| < , i.e. || Av|| < ||v|| por cada
v V onde R+
Observao 23. Se A End(V ) a precedente definio pode assumir essa forma:

|| A|| = sup
x 6 =0

|| Av||
= sup || Av||
||v||
||v||=1

(2.2.4)

Definio 24. Chamamos de:

-B (V, W) o espao dos operadores lineares limitados entre os espaos de Banach V e W;
- B (V) o espao dos operadores lineares limitados de V em si mesmo e de
- V ou espao dual de V o espao B (V, K) dos operadores lineares limitados entre
V e o campo escalar K
Observao 25. Podemos notar que d definio da norma sobre B (V) temos que

|| Av|| || A|| ||v|| A B (V)v V

Ademais dado que

|| AB|| = sup || A( B(v))|| || B|| sup || Av||

||v||=1

||v||=1

(2.2.5)

CAPTULO 2. ESPAOS NORMADOS E OPERADORES

ento B (V) o espao dos operadores limitados tal que

|| AB|| || A|||| B|| A, B B (V)

(2.2.6)

Agora vamos apresentar o resultado mais importante dessa seco:

Teorema 26. Seja V um espao normado e W um espao de Banach, ento B (V, W) um
espao de Banach
Demonstrao. Deixamos de provar que B (V, W) um espao vetorial e vamos provar
que completo com a norma introduzida. Seja { An } uma sucesso de Cauchy em
B (V, W). Considerando un qualquer v V dado que || Am (v) An (v)|| || Am
An || ||v|| a sucesso { An (v)} de Cauchy em W e portanto convergente a um vetor
de W que chamamos de Av. A aplicao A define uma aplicao entre V e W e fcil
de ver que essa aplicao precisa ser linear. Dado que

|| A(v)|| = lim || An (v) || sup || An || ||v||

n

(2.2.7)

o operador A limitado e portanto pertence a B (V, W). Agora preciso monstrar que
|| An A|| 0. Dado que { An } uma sucesso de Cauchy em B (V, W) por cada
e > 0 h n0 tal que por cada m, n > n0 temos || Am An || < e. Portanto escolhendo v
com ||v|| 1 temos

|| Am (v) An (v) || = || ( Am An ) (v) || || Am An || ||v|| || Am An || < e

(2.2.8)
Mas
(2.2.9)
lim || Am (v) An (v) || = || Am (v) A (v) || < e
n

Portanto || Am (v) A (v) || < e por todos os v com ||v|| 1 e portanto || Am

A|| < e por todos os m > n0
Corolrio 27. Seja V um espao normato sobre C =V um espao de Banach
Demonstrao. suficiente notar que o espao C de Banach e V = B (V, C)
Corolrio 28. Se V um espao de Banach = B (V) um espao de Banach
Demonstrao. suficiente notar que o espao C de Banach e V = B (V, C)

2.3
2.3.1

Aguns espaos de Banach

Rn e Cn como espaos de Banach

Seja K {R, C} e consideramos o espao vetorial Kn . Sobre esse espao vetorial

podemos definir infinitas normas, mas pelo teorema 63 esses normas so equivalentes.
Portanto Kn de Banach com qualquer norma, no especfico a norma cannica por Kn
:
!
n

||v||2 =

| vi |

1/2

(2.3.1)

i =1

2.3.2

Os espaos l np , l p e l

Seja K {R, C} e consideramos o espao vetorial das sequenas ( xi )0in com xi K.

CAPTULO 2. ESPAOS NORMADOS E OPERADORES

Espao l np
Definimos o espao l np como o espao das sequenas de n elementos com a norma || || p
n

| xi | p

||x|| p =

!1/p
(2.3.2)

i =1

O espao l np um espao de Banach. Resulta evidente que no caso l2n o espao

resultante isomorfo a Kn com a cannica norma || ||2 .
Espao l p
Definimos o espao l p como o espao das sequenas convergentes, com a norma || || p

| xi | p

||x|| p =

!1/p
(2.3.3)

i =0

O espao l p um espao de Banach e nenhum dos l p isomorfo a os outros.

Ademais o dual dos espaos l p so os espaos lq onde p e q so conjugatos segundo
Hlder.
Espao l
Definimos o espao l como o espao das sequenas convergentes, com a norma || ||

||x|| = sup {|xi |}

(2.3.4)

i I

2.3.3

Os espaos L p , L1 e L

Sejam (V, F , ) um espao vetorial V, uma algebra F dos conjuntos mensurveis e

uma medida de Lebesgue. Ento podemos definir L p o espao de Banach de todas
as funes integraveis sobre um conjunto T F com a norma

1/p

|| f || p = | f (v) | p d
T

(2.3.5)

CAPTULO 2. ESPAOS NORMADOS E OPERADORES

2.3.4

Resumo e outros exemplos

Espao

Dual

Kn

Kn

lnp

lnq

ln

l1n

lp

lq

Norma

1
p
n
||v|| p = |vi | p
i =1
1

p
n
p
||v|| p = |vi |
i =1

||v|| = max|vi |
1 i n

1
p

||v|| p = |vi | p
i =1

l1

C ( a, b)
L p ( T, )
L1 ( T, )
L ( T, )

2.4.1

Comntario

1
p

+ 1q = 1

1
p

+ 1q = 1

||v|| = sup|vi |

2.4

10

||v||1 = |vi |
i =1

|| f || = max| f (t)|
f : [ a, b] K
atb
1

Lq ( T, ) || f || p = ( | f | p d) p T conjunto e misura de Lebesgue

L ( T, )
|| f ||1 = | f |d
T conjunto e misura de Lebesgue
||v|| = inf(sup|vi |)
T S significa ( T ) = (S)
T S

Espaos de Hilbert
Espaos Unitrios

Definio 29. Seja V espao vetorial, seja A(, ) : V V K uma forma sesquilinear que seja Hermitiana e definida positiva. Podemos ento definir uma norma
q
||v|| = A(v, v)
(2.4.1)
O espao V chama-se ento de espao unitrio se K = C o de espao euclideo se K = R
Observao 30. As vezes para semplificar a notao a forma A(v, w) indicada como
(v, w)
p
Teorema 31. Seja X um espao unitrio, a norma ||v|| = (v, v) satisfaz a seguintes propriedades:
(SCHWARTZ)

|(v, w)| < ||v||||w||

|(v, w)|
||v|| = max
= max |(v, u)|
w6=0 || w ||
||u||=1

( PARALELOGRAMA) ||v + w||2 + ||v w||2 = 2(||v||2 + ||w||2 )

(2.4.2)
(2.4.3)
(2.4.4)

Observao 32. Um espao normado V unitrio s se a norma satisfaz a REGRA DO

PARALELOGRAMA . Nesse caso podemos proceder em definir um produto interno com
as formulas de polarizao das formas sesquilineares explicitada em 3.3.9 . Nesse caso
se V um espao de Banach ou seja completo no respeito norma, tambm completo
no respeito do produto interno ou seja um espao de Hilbert.

CAPTULO 2. ESPAOS NORMADOS E OPERADORES

2.4.2

11

Espaos Ortogonais

Definio 33. Seja V um espao unitrio. Dois vetores v, w V dizem-se ortogonais

(vw) se (v, w) = 0. Podemos ento definir, da mesma forma que na definio 35,
um sistema E = {ei }i I como ortogonal quando

( ei , e j ) = 0

i 6 = j

(2.4.5)

e um sistema de elementos E = {ei }i I de ortonormal se

(ei , e j ) = ij

(2.4.6)

No caso de E = {ei }i I sistema ortonormal em V podemos considerar

vi = (v, ei )

(2.4.7)

Definio 34. Se E = {ei }i I sistema ortonormal em V os coefficientes vi = (v, ei )

chamam-se coeficientes de Fourier de v respeito a E .
Teorema 35. (DESIGUALDADE DE B ESSEL) Seja E = {ei }i I sistema ortonormal em V e
vi = (v, ei ) os coeficientes de Fourier de v no respeito a E . Ento:

|vi |2 ||v||2

(2.4.8)

i I

Corolrio 36. Por cada v X os coeficientes de Fourier diferentes de 0 um conjunto numervel

Definio 37. Seja E = {ei }i I sistema ortonormal em V o sistema chamado de
completo se span(E ) denso em V e chamado de fechado se vi = 0 por cada i I
implica que v = 0. Em fim o sistema E = {ei }i I chamado de base ortonormal de V se
podemos escrever cada v V como
v=

vi ei

(ei , e j ) = ij

i I

2.4.3

Espaos de Hilbert

Definio 38. Um espao de Banach que tambm unitrio chama-se de espao de Hilbert.
Doi espaos de Hilbert V, W so isomorfos se existe um isomorfismo U : V W
tale que:
(Uv, Uw) = (v, w) v, w V
(2.4.9)
Lema 39. Seja H um espao de Hilbert, E = {ei }i I sistema ortonormal em H e vi com i I
um conjunto tal que a serie |vi |2 seja convergente, ento existe um vetor em H tal que
i I

v=

vi ei

(2.4.10)

i I

e nesse caso a desigualdade de Bessel torna-se igualdade

|vi |2 = ||v||2
i I

(2.4.11)

CAPTULO 2. ESPAOS NORMADOS E OPERADORES

12

Teorema 40. Cada espao de Hilbert H tem uma base ortonormal e se E = {ei }i I um
sistema ortonormal em H ento as seguintes affirmaes so equivalentes:
(i) E = {ei }i I completo
(ii)E = {ei }i I fechado
(iii) E = {ei }i I uma base de H
Definio 41. Um espao de Hilbert chama-se de separvel se contm um sub-conjunto
denso e numervel
Teorema 42. Um espao de Hilbert separvel tem uma base ortonormal numervel
Corolrio 43. Cada espao de Hilbert isomorfo a Kn ou a l2

2.5

Operador Adjunto

Teorema 44. Por cada A B (H) existe um nico operador adjunto A B (H) definido
como
( Av, w) = (v, A w) v, w H
(2.5.1)
O operador adjunto tem as seguintes propriedades:
A = A
(INVOLUO)

( AB) = B A
( A + B) = A + B
( ANTILINEARIDADE )
(A) = A

|| A|| = || A ||


A1 = ( A )1 se A inversvel

2.6

(2.5.2)
(2.5.3)
(2.5.4)
(2.5.5)
(2.5.6)
(2.5.7)

Operadores Hermitianos, Normais, Unitrios

Definio 45. Um operador A B (H) diz-se:

Hermitiano ou Autoadjuntos se
A = A
Anti-Hermitiano se A = A
Unitrio se A = A1
Normal se [ A, A ] = 0

(2.6.1)
(2.6.2)
(2.6.3)
(2.6.4)

Onde definimos o comutador de dois operadores A, B como

[ A, B] = AB BA

2.6.1

(2.6.5)

Operadores Autoadjuntos ou Hermitianos

Seja B (H) o espao dos operadores limitados em H e sejam A, B B (H) dois operadores Hermitianos, ento

(A + B) = A + B B (H)
0, I B (H)
B (H) 3 { An } A B (H)

, R

(2.6.6)
(2.6.7)
(2.6.8)

CAPTULO 2. ESPAOS NORMADOS E OPERADORES

13

Teorema. Os operadores autoadjuntos ou Hermitianos formam um subespao real fechado de

B (H) que contem a idendidade.
Teorema 46. Um operador A sobre H Hermitiano o autoadjunto ( Av, v) R por cada
v H.
Esse teorema nos permite de inserir uma relao de ordinamento definida assim:
A B ( Av, v) ( Bv, v)

v H, A, B B (H)

Teorema 47. Seja A B (H) um operador positivo ou seja ( Av, v) 0

I + A no singular.

(2.6.9)

v H . Ento

Corolrio 48. Por qualquer A B (H), I + A A e I + AA no so singulares

Teorema 49. Sejam A, B B (H) ento

[ A, B] = [ B, A] = [ A, B]

2.6.2

(2.6.10)

Operadores Normais e Unitrios

Sejam N, M B (H) dois operadores normais, ento

|| N 2 || = || N ||2
Se [ N, M ] = 0 = N M normal
Se [ N, M ] = 0 = N + M normal

(2.6.11)
(2.6.12)
(2.6.13)
(2.6.14)

Definio 50. Seja U B (H) um operador normal tal que UU = I, ento U diz-se
unitrio.
Teorema 51. Seja A B (H) ento as condies seguintes so equivalentes
( UNIDARIDADE )
( PRESERVAO DOS ANGULOS )
( PRESERVAO DAS NORMAS )

2.7

AA = I
( Av, Aw) = (v, w) v, w H
|| Av|| = ||v|| v H

(2.6.15)
(2.6.16)
(2.6.17)

Operadores Compactos

Definio 52. Um operador A End(H) diz-se compacto se a imagem de cada conjunto

K H compacto um conjunto C precompacto ou seja um conjunto cujo fecho
compacto.
Observao 53. Dado que cada conjunto precompacto limitado, cada operator compacto tambem um operador limitado.
Exemplo 54. Seja H = L2 ( T, ) onde ( T ) < ento o operador:

( A f ) (t) = K (t, s) x (s)d(s)

(2.7.1)

com K L2 T 2 , 2 chamado de operador de Fredholm ed um operador compacto. Historicamente instituio da teoria moderna dos operadores foi originada
por um artigo de Fredholm onde notava-se a analogia entre os operadores integrais
que agora so chamados de Fredholm e a lgebra linear. O artigo de Fredholm dinamizou a creatividade de Hilbert que chegou formulao dos espaos de Hilbert e
formulao da teoria dos espaos de Hilbert.

CAPTULO 2. ESPAOS NORMADOS E OPERADORES

2.8
2.8.1

14

Teorema espectral
Projectores e subespaos

Em 2.3.2 definimos o projector de um subespao W como uma trasformao linear pW

tal que:
2
pW
= pW
(2.8.1)
Teorema 55. Existe uma correspondncia biounivoca entre projectores e subespaos de H
Demonstrao. Seja W um subespao de H, definimos pW : H H como
(
v
, vW
pW ( v ) =
0
,v
/W

(2.8.2)

fcil constatar que pW um projector definido sobre H. Pelo contrario seja pW um

projetor podemos definir W como a imagem de pW . fcil provar que pela linearidade
de pW a imagem W um subespao de H
Utilizando essa correspondncia podemos formular equivalentemente nooes :
1) W1 W2 pW1 pW2 = 0
L
2) W =
Wi pW = pWi
i =1..n

2.8.2

i =1..n

Teorema espectral

Teorema 56. (H ILBERT OU TEOREMA ESPECTRAL ) Cada operador compacto e hermitiano ou

autoadjunto A B (H) possue uma base ortonormal de vetores prprios. Em outras palavras:

H=

(2.8.3)

onde H = ker( A ). Ademais :

(i) Se 6= 0 ento dim H <
(ii) O nmero de valores prprios diferentes finido ou numervel
Equivalentemente podemos formular o teorema utilizando a formulao dos projetores
A=

(2.8.4)

()

onde p o projetor no espao H

Observao 57. No caso de H espao de Hilbert de dimenso finida, o teorema 87 diznos que se o campo escalar do espao for o campo C ento o espao pode ser pensado
como H
= Cn e portanto o espao B (H) torna-se isomorfo a o espao End (Cn )
=
n
Mn (C). Nessa equivalncia os operadores autoadjuntos ou hermitianos so representados pelas matrizes hermitianas e o teorema espectral encontra uma equivalncia no
teorema de diagonalizao das matrizes hermitianas. Um sistema efectivo de diagonalizao das matrizes o sistema que apresentamos como sistema de diagonalizao de
Gram-Schmidt.