Captulo 37

Noco
es Basicas Sobre Espacos de Hilbert
Conte
udo
37.1 Aspectos Topol ogicos Basicos de Espa cos de Hilbert . . . . . . . . . . . . . . . . . . . . . . 1829
37.2 Aspectos Geom etricos Basicos de Espa cos de Hilbert . . . . . . . . . . . . . . . . . . . . . 1831
37.2.1 Conjuntos Ortonormais Completos em Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . 1835
37.2.2 Conjuntos Totais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1846
37.2.2.1 Um Exemplo no Espaco L2 (R, dx) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1846
37.3 Funcionais Lineares e o Dual Topol ogico de um Espa co de Hilbert . . . . . . . . . . . . . 1850
37.3.1 O Teorema da Representacao de Riesz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1851
37.4 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1853

U
espacos n
m espaco vetorial H sobre o corpo dos complexos e dotado de um produto escalar u, v H 7 hu, vi C e
dito ser um espaco de Hilbert1 se for completo em relacao `a metrica d definida por esse produto escalar:
d(u, v) = ku vk =

ao seriam validas. Vide adiante.

p
hu v, u vi, u, v H .
Advertimos o estudante que dentre as propriedades definidoras de espacos de Hilbert destaca-se n
ao apenas a existencia
de um produto escalar, mas tambem a propriedade de completeza, sem a qual muitas propriedades geometricas desses
(37.1)

As nocoes de espacos de Banach e de Hilbert foram introduzidas na Secao 25.5, p

agina 1219. Sobre a origem da nocao
abstrata de Espaco de Hilbert, vide nota historica `a p
agina 1220.
Espacos de Hilbert desempenham um papel fundamental em toda a Fsica Qu antica2 e em varias areas da Ma-
tematica. Historicamente sua import ancia na Fsica Qu antica foi apontada por diversos autores, mas foi especialmente
von Neumann3 quem mais claramente destacou sua relevancia para a propria interpretacao probabilstica daquelas teorias
fsicas4. Exemplos de espacos de Hilbert sao os espacos de dimensao finita Cn , o espaco 2 , das seq
uencias de quadrado
agina 1221, e os espacos L2 (M, d), das funcoes de quadrado integravel em relacao
somavel, estudado na Secao 25.5.1, p
a uma medida definida em um espaco mensuravel M . Esses espacos foram estudados na Secao 31.4, p agina 1407.
Para a leitura deste captulo uma certa familiaridade com a nocao de produto escalar e de norma e necessaria, assim
como e necessario conhecer a desigualdade de Cauchy-Schwarz. O conceito de produto escalar foi apresentado na Secao
3.1.3, p
agina 195, a desigualdade de Cauchy-Schwarz foi demonstrada no Teorema 3.1, p agina 193 e o conceito de norma
foi introduzido na Secao 3.2, p
agina 198.
Nas primeiras secoes deste captulo estudamos aspectos topologicos e geometricos gerais de espacos de Hilbert, che-
gando `a importante nocao de conjunto ortonormal completo (ou base ortogonal completa). Na Secao 37.3, p agina 1850,
somos apresentados ao importante Teorema da Representacao de Riesz, Teorema 37.10, p agina 1851, que afirma que
todo espaco de Hilbert pode ser identificado com seu dual topologico, ou seja, com o conjunto de seus funcionais lineares
e contnuos.

37.1 Aspectos Topol

ogicos B
asicos de Espacos de Hilbert
Por definicao, um espaco de Hilbert H e um espaco metrico com a metrica dada em (37.1) e, portanto, existe uma
topologia metrica naturalmente definida em H. E a essa topologia a que normalmente nos referiremos quando falarmos
de convergencia de seq
uencias e de continuidade de funcoes em H.
1 David Hilbert (18621943).
2 H
a um dito corrente (e anonimo) que afirma que a Mec
anica Qu antica
e uma agrad avel pretexto para o estudo dos espacos de Hilbert...
3 John von Neumann (19031957).
4 Nota hist
orica. Dois dos trabalhos seminais de von Neumann a respeito s
ao: J. von Neumann, Uber die Grundlagen der Quantenme-
chanik, Mathematische Annalen, 98, 130 (1927) e J. von Neumann, Allgemeine Eigenwerttheorie Hermiteschen Funktionaloperatoren,
Mathematische Annalen, 102, 49131 (1929). Vide tamb em o livro cl
assico [191].

1829
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 37 1830/2103

Assim, dizemos que uma seq uencia {xn }nN de vetores de um espaco de Hilbert H converge a um vetor x de H se
para todo > 0 existir N () N tal que kx xi k para todo i N (). Em outras palavras, x = limn xn se e
somente se limi kx xi k = 0.
O estudante deve ser advertido que h a outras topologias de interesse no estudo dos espacos de Hilbert, como a
topologia fraca induzida pelos produtos escalares. Nem todas essas topologias de interesse sao metricas. No estudo
introdutorio que pretendemos nesse captulo tais topologias n
ao serao consideradas.

Conjuntos fechados em espa

cos de Hilbert
Como lidaremos muito freq uentemente com o fecho de subconjuntos de um espaco de Hilbert H e com propriedades
de conjuntos fechados de H vale a pena lembrar nesse contexto as seguintes caracterizacoes de tais conceitos, validas em
espacos metricos gerais (vide p
agina 1301):

1. O fecho C de um subconjunto C de um espaco de Hilbert H coincide com o conjunto de todos os vetores de H que
sao pontos limite de seq
uencias convergentes formada por elementos de C.
2. Um subconjunto F de um espaco de Hilbert H e fechado se toda seq
uencia convergente formada por elementos de
F convergir em H a um vetor que tambem e elemento de F .

O fecho de um subespa
co linear
e tamb
em um subespa
co linear
Vamos ilustrar os conceitos acima mostrando um simples resultado do qual faremos uso adiante. Seja E um subespaco
de um espaco de Hilbert H. Vamos mostrar que seu fecho E e tambem um subespaco de H. Para isso devemos mostrar
que se x, y E, ent ao qualquer vetor de H que seja da forma z = x + y, com , C, e tambem elemento de E.
Se x e y E, ent ao existem duas seq
uencias xi e yi , i N, de vetores de E tais que xi x e yi y. Como E e um
subespaco, todos os vetores zi = xi + yi sao tambem elementos de E. E facil, porem, mostrar que zi z. De fato

kz zi k = (x + y) (xi + yi ) = (x xi ) + (y yi ) || x xi + || y yi .
Agora, por hipotese, tanto kx xi k quanto ky yi k vao a zero quando i , mostrando que zi z. Isso mostra,
ent
ao, que elementos como z sao pontos limite de seq
uencias de elementos de E (no caso {zi }iN ) e, portanto, pertencem
tambem ao fecho de E que e, portanto, um subespaco de H.
Sub-espacos de dimensao finita de um espaco de Hilbert sao sempre fechados, como sera visto na Proposicao 37.5,
p
agina 1838. Porem, chamamos a atencao do leitor para o fato de que em espacos de Hilbert de dimensao infinita pode
haver subespacos (tambem de dimensao infinita) que n
ao sao fechados. Um exemplo instrutivo sera visto no Exerccio
E. 37.2, p
agina 1835.

Uma propriedade da norma

Se a e b sao dois vetores de um espaco vetorial normado V (como um espaco de Hilbert, por exemplo), ent
ao vale que
 
 
 ka bk kbk  kak . (37.2)

Para mostrar isso, notemos que a relacao ka bk kak + kbk implica kak ka bk kbk. Com a substituicao
b a b, tiramos tambem que kak kbk ka bk. As duas desigualdades dizem que kak | ka bk kbk |, como
queramos provar.

Continuidade da norma e do produto escalar

De acordo com a definicao de continuidade de funcoes entre espacos metricos (vide discuss
ao `a p
agina 1370) uma
funcao f : H C, de um espaco de Hilbert H nos n umeros complexos e contnua se para toda sequencia convergente de
vetores {xi }iN a seq
uencia de n
umeros {f (xi )}iN for tambem convergente e
 
lim f (xn ) = f lim xn .
n n

Um exemplo banal de uma tal fun cao contnua

 e a norma f (x) = kxk. De fato, se xn x, isso significa que
kxi xk 0. Logo, f (x) f (xi ) = kxk kxi k. Mas, pela desigualdade (37.2), tomando-se a = x xi e b = xi ,
conclumos  
f (x) f (xi ) kx xi k ,
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 37 1831/2103

como o lado direito vai a zero quando i , conclumos que

 

lim f (xn ) = f lim xn = f (x) , ou seja, lim kxn k = lim xn = kxk ,
n n n n

demonstrando a continuidade da norma.

H
a um outro exemplo igualmente banal, mas importante. Seja H um vetor fixo e seja a funcao f : H C dada
por
f (x) = h, xi .
Que f e contnua pode ser demonstrado com uso da desigualdade de Cauchy-Schwarz (Teorema 3.1, p
agina 193), que
diz que se xn x, ent
ao 

  
f (x) f (xi ) =  , (x xi )  kk kx xi k

e o lado direito vai a zero quando i , demonstrando a continuidade. Analogamente, fixando-se H, a funcao
f (x) = hx, i e contnua.

37.2 Aspectos Geom

etricos B
asicos de Espacos de Hilbert

Conjuntos convexos
Seja V um espaco vetorial (sobre os reais ou complexos). Uma combinacao linear de dois vetores x e y V que seja
do tipo x + (1 )y com [0, 1] e dita ser uma combinac
ao linear convexa de x e y. Um conjunto A V e dito ser
um conjunto convexo se para todo x, y A e todo [0, 1] o vetor x + (1 )y tambem for elemento de A.
Note-se que qualquer subespaco de V e tambem um conjunto convexo.

O Teorema do Melhor Aproximante

O seguinte teorema e de importancia fundamental na teoria dos espacos de Hilbert. O mesmo e um caso particu-
lar do Teorema 25.5, pagina 1234, valido para espacos normados uniformemente convexos, mas apresentamos abaixo
uma demonstracao especfica para o caso de espacos de Hilbert, o que permite o uso simplificador da identidade do
paralelogramo.
Teorema 37.1 (Teorema do Melhor Aproximante) Seja A um subconjunto convexo e fechado de um espaco de
Hilbert H. Ent ao, para todo x H existe um vetor y A tal que a distancia kx yk entre x e y e igual a mnima
dist
ancia possvel entre x e A, ou seja,
kx yk = inf kx y k .
y A

Fora isso, esse vetor y e o u

nico vetor em A com essa propriedade. 2

Prova. A ideia da demonstracao e construir um vetor y com a propriedade mencionada a partir de uma seq uencia
de Cauchy de vetores de A, mostrar que essa seq uencia converge a um vetor de A, mostrar que esse vetor satisfaz a
propriedade de mnima distancia mencionada e, por fim, mostrar sua unicidade.
Seja D 0 definida como
D = inf kx y k .
y A

Para cada n N seja yn A um vetor com a propriedade que

1
kx yn k2 < D2 + .
n
Notemos que tais vetores sempre existem. Se tal n ao fosse o caso, ou seja, se para algum n, digamos n0 , n ao existisse

2 1

2

nenhum vetor y em A tal que x y 2
< D + n0 , isso significaria que para todo y A valeria que x y
D2 + n10 .


Mas isso contraria a definicao de D como o nfimo de x y , y A.
Vamos agora provar que toda seq uencia yn como acima e uma sequencia de Cauchy em H. Para tal, usaremos a
identidade do paralelogramo (vide p
agina 202) e o fato de A ser convexo.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 37 1832/2103

A identidade do paralelogramo diz que para todos a, b H tem-se que

ka + bk2 + ka bk2 = 2kak2 + 2kbk2. (37.3)

Adotemos, ent
ao, a = x yn e b = x ym . Teremos que

2x (ym + yn ) 2 + kym yn k2 = 2kx yn k2 + 2kx ym k2 .

Isso pode ser reescrito (verifique) como

2
2 2
ym + yn 2
kym yn k = 2kx yn k + 2kx ym k 4 x
.
2

1
Usando agora o fato que kx yn k2 < D2 + n para todo n , ficamos com
  2
2 2 1 1 ym + yn
kym yn k 4D + 2 + 4 x
.
n m 2

Notemos agora tambem que ym +y

2
n
A pois o lado esquerdo e uma combinacao linear convexa de elementos de A e A e
um conjunto convexo. Assim, pela definicao de D,
2
x ym + yn D 2 .

2

Portanto, temos que    

2 2 1 1 2 1 1
kym yn k 4D + 2 + 4D = 2 + .
n m n m
O lado direito pode ser feito arbitrariamente pequeno, tomando-se m e n ambos grandes o suficiente. Ora, isso diz-nos
precisamente que {yn }nN e uma seq uencia de Cauchy.
Com essa informacao, e lembrando que H e um espaco metrico completo, segue que yn converge a um elemento y H.
Na verdade podemos dizer tambem que y A, pois fizemos a hipotese que A e fechado (lembre-se da caracterizacao de
conjuntos fechados em espacos metricos da p
agina 1301).
Uma vez encontrado esse y A, vamos mostrar que kx yk = D. De fato, para todo n vale que
r
1
kx yk = (x yn ) (y yn ) kx yn k + ky yn k <
D2 + + ky yn k .
n
Tomando-se n , e usando o fato que yn converge a y, conclumos que kx yk D (verifique!). Por outro lado, e
evidente pela definicao de D que kx yk D, pois y A. Da, segue que kx yk = D, como queramos provar.
Resta-nos demonstrar que esse y e o u nico elemento de A com essa propriedade. Para tal, vamos supor que haja
outro y A com kx y k = D e usemos novamente a identidade do paralelogramo (37.3), mas agora com a = x y e
b = x y . Teremos que

2x (y + y ) 2 + y y 2 = 2kx yk2 + 2 x y 2 = 4D2 ,

ou seja,
2
y y 2 = 4D2 2x (y + y ) 2 = 4D2 4 x y + y .

2
y+y
Como 2 A, por ser uma combinacao linear convexa, segue que

2
x y + y D2

2
e, portanto,
y y 2 0 ,
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 37 1833/2103

o que so e possvel se y = y .

Complementos ortogonais
Se E e um subconjunto de um espaco de Hilbert H, define-se seu complemento ortogonal E como o conjunto de
todos os vetores de H que sao ortogonais a todos os vetores de E:
n  o
E = y H hy, xi = 0 para todo x E .


Temos a seguinte proposicao:

Proposiao 37.1 O complemento ortogonal E de um subconjunto E de H e um subespaco linear fechado de H.
c 2

Prova. Que E e um subespaco e f

acil de se verificar pois se x, y E , ent
ao, para quaisquer , C,

hx + y, zi = hx, zi + hy, zi = 0

para todo z E, o que mostra que x + y E . Que E e um conjunto fechado segue do seguinte argumento. Se xn
uencia de elementos de E que converge a um x H, ent
e uma seq ao, para todo z E vale
D E
hx, zi = lim xn , z = lim hxn , zi = 0 , (37.4)
n n

a que xn E . Isso prova que x E , que e assim, fechado. Na pen

pois hxn , zi = 0 para todo n, j ultima igualdade
em (37.4) usamos a continuidade do produto escalar.

Faremos adiante uso do seguinte lema:

Lema 37.1 Se A e B s ao, B A .
ao dois conjuntos de um espaco de Hilbert H e A B, ent 2

Prova. Por definicao, se y B , y e ortogonal a todo elemento de B. Como A e subconjunto de B, y e tambem ortogonal
a todo elemento de A, ou seja, y A .

E. 37.1 Exerccio elementar. Mostre que se H e um espaco de Hilbert entao H = {0} e {0} = H. Aqui, {0} denota o
subespaco composto apenas pelo vetor nulo. 6

O Teorema da Decomposi
c
ao Ortogonal
O teorema do melhor aproximante que apresentamos acima tem uma conseq uencia importante. Como todo subespaco
linear de um espaco de Hilbert e convexo, segue que subespacos lineares fechados satisfazem as hipoteses do teorema.
Assim, se M e um subespaco linear fechado de um espaco de Hilbert H vale para todo x H que existe um y M u nico
tal que
kx yk = inf x y .
y M

Usaremos esse fato para demonstrar o seguinte teorema, de import

ancia central na teoria dos espacos de Hilbert:
Teorema 37.2 (Teorema da Decomposi c
ao Ortogonal) Seja M um subespaco linear fechado de um espaco de Hil-
bert H. Entao, todo x H pode ser
escrito de nica na forma x = y + z, com y M e z M . O vetor y e
maneira u

tal que kx yk = inf y M x y , ou seja, e o melhor aproximante de x em M.
2

Prova. Vamos escolher y como o elemento de M tal que kx yk = inf y M x y , cuja existencia foi garantida pelo
agina 1831. Se definirmos z := x y, tudo que nos restaria fazer e provar que z M e que tais y e z
Teorema 37.1, p
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 37 1834/2103

nicos. Vamos provar primeiro que z M , o que equivale a provar que hz, y i = 0 para todo y M. Isso e feito
sao u
indiretamente, observando primeiro que, pela definicao de y, vale que
2
kx yk2 x y y

para todo C e todo y M, j

a que y + y M, pois M e um subespaco. Essa u
ltima relacao diz, pela definicao de
z, que 2
kzk2 z y


para todo C. Escrevendo o lado direito como z y , z y e expandindo, teremos

 2
kzk2 kzk2 2Re z, y + ||2 y ,

ou seja,

2
2Re hz, y i ||2 y . (37.5)


  
Agora, como todo numero complexo, z, y e da forma z, y = hz, y iei , para algum real. Como (37.5) vale para
todo C, vale em particular para da forma = tei , onde escolhemos t > 0. Inserindo esse em (37.5), a mesma
fica   2
2thz, y i t2 y ,
ou seja,
hz, y i t y 2 ,
 
2
 
desigualdade esta que vale para todo t > 0. Ora, isso so e possvel se o lado esquerdo e nulo: hz, y i = 0. Como y e
um elemento arbitrario de M, isso demonstra que z M , como queramos.
Demonstrar a unicidade da escolha de y e z e bem facil. Suponha que tambem possamos escrever x = y + z com
y M e z M . Teramos y + z = y + z , ou seja, y y = z z. Agora, o lado esquerdo e um elemento de M,

enquanto que o lado direito e um elemento de M (por que?). Porem, o u nico elemento que M e M podem ter em

comum e o vetor nulo (por que?), o que implica y = y e z = z .

Fechos e complementos ortogonais

Proposi cao 37.2 O fecho E de um subespaco E de um espaco de Hilbert H e E = E . Em particular, se E e um


ao E = E .
subespaco fechado de H, ent 2

Prova. Notemos primeiramente que E E , pois E e o conjunto de todos os vetores perpendiculares a cada


elemento de E e todo elemento de E tem essa propriedade. Como E e um conjunto fechado (pela Proposicao 37.1,


agina 1833), segue que E E
p pois, por definicao, E e o menor fechado que contem E.



Vamos agora provar a relacao oposta, ou seja, que E E . Para isso vamos mostrar que todo elemento de E


a no fecho de E. Seja x E . Como E e um subespaco linear fechado, a ele se aplica o Teorema de Decomposicao
est


Ortogonal e podemos afirmar que x pode ser escrito como x = y + z com y E e z E . Se provarmos que z = 0,
teremos estabelecido que x = y E, que e o que queremos. Para isso, notemos que

hx, zi = hy, zi + kzk2 .

Como hy, zi = 0 (pois y E e z (E) ), segue que kzk2 = hx, zi. Queremos agora provar que esse produto escalar e
nulo, o que implica z = 0.



Como E E segue pelo Lema 37.1, p agina 1833, que E E . Logo, z E . Como x E , segue
imediatamente que x e z sao perpendiculares, completando a prova.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 37 1835/2103

E. 37.2 Exerccio. Seja o espaco de Hilbert 2 das sequencias de quadrado somavel (vide Secao 25.5.1, pagina 1221), e seja
d 2 o subconjunto definido nem (25.32), pagina 1222, composto pelas sequencias que possuam apenas um numero o finito de
componentes nao-nulas: d := a (a1 , a2 , a3 , . . .), com an C e an = 0, exceto para um conjunto finito de ns .

1. Mostre que d e um subespaco de 2 e que nao e de dimensao finita.

2. Mostre que d = {0}, o subespaco de 2 composto apenas pelo vetor nulo.


3. Conclua do Exerccio E. 37.1, pagina 1833, que d = 2 .

Logo, pela Proposicao 37.2, pagina 1834, temos que d = 2 . Como d e um subconjunto proprio de 2 , vemos que d nao e um
subespaco fechado de 2 . 6

37.2.1 Conjuntos Ortonormais Completos em Espa

cos de Hilbert

Conjuntos ortonormais
Um conjunto E de vetores de um espaco de Hilbert e dito ser um conjunto ortonormal se a norma de todos os seus
elementos for igual a 1 e se vetores distintos de E forem ortogonais entre si, ou seja, kuk = 1, u E e hu, vi =
0, u, v E com u 6= v.


Vamos a alguns exemplos. No espaco de Hilbert L2 [0, 2], dx o conjunto
 
1 inx
en (x) = e , n Z (37.6)
2

e um conjunto ortonormal de vetores. No espaco de Hilbert 2 das seq

uencias de quadrado somavel (vide Secao 25.5.1,
p uencias enm = n, m formam um conjunto ortonormal de vetores. Podemos represent
agina 1221), as seq a-las como

en = 0, . . . , 0, 1, 0, . . . , n1. (37.7)
| {z }
n1


omios de Legendre5 (normalizados):
No espaco de Hilbert L2 [1, 1], dx um conjunto ortonormal e formado pelos polin
( r )
2n + 1
en (x) = Pn (x), n N ,
2

pois, como e bem sabido6 , valem para os polinomios de Legendre Pn (x), definidos por
n/2
1 dn 2 n
X (1)k (2n 2k)!
Pn (x) = n (x 1) = xn2k
2 n! dxn 2n k!(n k)!(n 2k)!
k=0

as relacoes Z 1
2
Pn (x)Pm (x) dx = n, m .
1 2n + 1
2
No espaco de Hilbert L (R, dx), de particular import
ancia para a Mecanica Qu
antica, h
a varios conjuntos ortonormais
bem-conhecidos, como por exemplo
( )
1 2
x /2
en (x) = p Hn1 (x) e , nN ,
2n1 (n 1)!
5 Adrien-Marie Legendre (17521833).
6 Defini
ca
o e propriedades dos polin
omios de Legendre s
ao estudadas nas Seco
es 14.1.2 e 15.2.1, p
aginas 601 e 672, respectivamente.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 37 1836/2103

onde Hn , n N0 , sao os polinomios de Hermite7

2 dn x2
Hn (x) = (1)n ex e ,
dxn
os quais satisfazem Z
2
Hm (x) Hn (x) ex dx = 2m m! m, n .

Para mais propriedades das funcoes mencionadas acima, vide Captulo 15, p
agina 660.

O espa
co das fun
co
es almost-peri
odicas. Uma digress
ao
Ha espacos de Hilbert onde, em contraste com os exemplos de acima, existem conjuntos ortonormais n ao-contaveis
de vetores. Um exemplo importante e o espaco AP (R), das funcoes ditas almost-periodicas em R. Sem entrarmos em
detalhes (para um tratamento completo, vide e.g. [133] e [48]), sao denominadas almost-periodicas as funcoes f : R C
que podem ser escritas como limites uniformes de series trigonometricas como
X
f (t) = fn ein t , t R , (37.8)
nZ

onde fn sao constantes e {n , n Z} e um subconjunto contavel arbitrario de R. As constantes n sao denominadas

freq
uencias de f e as constantes fn sao denominadas amplitudes. Um caso particular importante e aquele no qual as
frequencias n sao da forma n = n, para algum > 0, denominado freq uencia fundamental. Como o estudante
facilmente reconhece, funcoes como X
f (t) = fn eint , t R ,
nZ

sao periodicas de perodo 2/ e a serie do lado direito e a serie de Fourier8 de f . Se a serie do lado direito converge
uniformemente, f e contnua (justifique!). Assim, AP (R) contem as funcoes contnuas e periodicas. O conjunto AP (R)
contem tambem funcoes n ao-periodicas. Por exemplo, funcoes como
f (t) = 2 cos(1 t) + 2 cos(2 t) = ei1 t + ei1 t + ei2 t + ei2 t , 1 > 0 e 2 > 0 , (37.9)
sao elementos de AP (R), mas sao periodicas se e somente se a raz
ao 2 /1 for um n
umero racional. Se 2 /1 for
racional da forma 2 /1 = p/q com p e q inteiros e primos entre si, ent ao a f dada acima e periodica de perodo
T = 2p/2 = 2q/1 .

E. 37.3 Exerccio. Justifique todas as afirmacoes acima. Em particular, prove que a funcao f de (37.9) nao e periodica se
2 /1 for irracional. 6

Um exemplo de uma funcao de AP (R) que n ao e periodica e

f (t) = 2 cos( 2t) + 2 cos(t) = ei 2t + ei 2t + eit + eit ,

ao e periodica, pois 2 6 Q.
que n
Funcoes como a f de (37.9) nao sao periodicas se 2 /1 for irracional. Como, porem, todo n
umero irracional pode
ser aproximado por seq uencias de n
umeros racionais, uma tal f possui perodos aproximados (mas n ao exatos!). Essa e
a origem da denominacao de tais funcoes como almost-periodicas9.
Foi demonstrado por H. Bohr (vide nota historica, abaixo) que o conjunto AP (R) gera um espaco de Hilbert com
produto escalar dado por
Z T
1
hf, giAP := lim f (x)g(x) dx . (37.10)
T 2T T

um exerccio facil mostrar que o conjunto de funcoes

E

e (x) = eix , R AP (R) (37.11)
7 Charles Hermite (18221901).
8 Jean Baptiste Joseph Fourier (17681830).
9 Em Portugu
es seria mais adequado dizer quase-peri
odicas. Por
em, essa nomenclatura
e usada em v
arias lnguas para designar um certo
subconjunto de funco
es de AP (R). Por isso optamos pelo barbarismo almost-peri
odicas.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 37 1837/2103

e um conjunto ortonormal em relacao ao produto escalar (37.10). Trata-se, claramente, de um conjunto n

ao-cont
avel.

E. 37.4 Exerccio. Mostre que he , e iAP = 1 para todo R e que he , e iAP = 0 para todos , R com 6= .
6

Nota hist
orica. A teoria das funco odicas reais foi originalmente desenvolvida por H. Bohr10 , irm
es almost-peri ao de N. Bohr11 , em
arios trabalhos publicados entre 1924 e 192612 . H. Bohr, por
v em, menciona dois predecessores: Bohl13 , em tese publicada em 1893, e
Esclangon14 , em tese de 1904, os quais obtiveram resultados semelhantes sobre as funco es ditas quase-peri
odicas, um caso especial das
funco odicas estudadas por H. Bohr15 .
es almost-peri
Os trabalhos de H. Bohr podem ser encontrados na edica o em tr
es volumes [28] de suas obras completas. Bohr nao conhecia previamente os
trabalhos anteriores de Bohl e Esclangon sobre as funco
es quase-peri
odicas e menciona ter sido chamado `
a atenca
o sobre exist
encia dos mesmos
por Hadamard16 . H. Bohr distinguiu-se tamb em pelo desenvolvimento da teoria das funco es almost-peri
odicas de uma variavel complexa.
O conceito foi posteriormente generalizado por von Neumann17 para funco es definidas em grupos. Para definico
es e alguns resultados nesse
caso geral, vide [269].

O Teorema de Pit
agoras
Proposic
ao 37.3 Seja E = {e1 , . . . , en } um conjunto ortonormal finito de um espaco de Hilbert H e sejam 1 , . . . , n
n
umeros complexos. Ent
ao, 2
X n Xn
|a |2 .

a ea =

a=1 a=1
2

Prova. 2 * n +
Xn X n
X n X
X n n
X
|a |2 ,

e
a a = e
a a , e
b b = he
a b a , e b i =

a=1 a=1 b=1 a=1 b=1 a=1

pois hea , eb i = a, b .

agoras18 por ser uma obvia generalizacao do bem-conhecido teorema

A proposicao acima e denominada Teorema de Pit
19
da Geometria Euclidiana .

Conjuntos ortonormais e s
eries convergentes
Exploraremos aqui uma conseq uencia do Teorema de Pit agoras da qual faremos uso adiante. Trata-se de uma condicao
necessaria e suficiente para que certas seq uencias formadas por combinacoes lineares de elementos de um conjunto
ortonormal cont avel de um espaco de Hilbert H sejam convergentes, seq uencias estas muito comummente encontradas
na Mecanica Qu antica e outras aplicacoes da teoria dos espacos de Hilbert.
10 Harald August Bohr (18871951).
11 Niels Henrik David Bohr (18851962).
12 Os trabalhos pioneiros de H. Bohr s
ao: H. Bohr. Zur Theorie der fastperiodischen Funktionen. I, Acta Mathematica 45, (1924) 29127.
Zur Theorie der fastperiodischen Funktionen. II, Acta Mathematica 46, (1925) 101214. Zur Theorie der fastperiodischen Funktionen.
III, Acta Mathematica 47, (1926) 237281.
13 Piers Bohl (18651921).
14 Ernest B. Esclangon (18761954).
15 Os trabalhos pioneiros de Bohl e Esclangon s
ao: P. Bohl. Uber die Darstellung von Funktionen einer Variabeln durch trigonometrische
Reihen mit meheren einer Variabeln proportionalen Argumenten. Magisterdissertation, Dorpat (1893). P. Bohl. Uber eine Differentialglei-
chung der Storungstheorie. Journal de Crelle 131, (1906) 268321. E. Esclangon. Les Fonctions Quasi-P eriodiques. Th`ese, Paris (1904).
E. Esclangon. Nouvelles Recherches sur les Fonctions Quasi-P eriodiques. Annales de lObser. de Bordeau, (1919).
16 Jacques Salomon Hadamard (18651963).
17 John von Neumann (19031957).
18 Pit
agoras de Samos (ci. 569 A.C. ci. 475 A.C.).
19 Euclides de Alexandria (ci. 325 A.C. ci. 265 A.C.).
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 37 1838/2103

Proposi c
ao 37.4 Seja H um espaco de Hilbert e {en , n N} um conjunto ortonormal cont
avel em H. Ent
ao, uma
n
X
X
seq
uencia de vetores sn = a ea , n N, converge em H se e somente se |a |2 < . 2
a=1 a=1

Prova. Se sn converge e uma seq

uencia de Cauchy. Isso significa que para todo > 0 existe N () tal que para todo m e n
maiores que N () tem-se ksm sn k . Vamos supor sem perda de generalidade que m < n. Pelo Teorema de Pit agoras
n 2 n
X X
ksm sn k2 = |a |2 = |lm ln | ,

a ea = (37.12)

a=m+1 a=m+1

n
X
onde ln := |a |2 . Conclumos que |lm ln | 2 para todo m e n maiores que N (), ou seja, ln e uma seq
uencia de
a=1

X
Cauchy de n
umeros reais e que, portanto, converge. Assim, |a |2 < .
a=1

X
Vamos provar a recproca. Se |a |2 < , ent
ao ln e limitada superiormente e, por ser uma seq
uencia monotona-
a=1
mente crescente, converge (por que?). Assim, ln e uma seq
uencia de Cauchy. A mesma identidade (37.12) nos diz, ent
ao,
que sn e uma seq
uencia de Cauchy em H e, portanto, converge a um vetor de H.

n
X
X
Seguindo o costume, denotaremos o limite da seq
uencia sn = a ea por a ea . Esse limite deve ser sempre
a=1 a=1
entendido no sentido de convergencia em norma no espaco de Hilbert em quest
ao.

Subespa
cos gerados por conjuntos ortonormais finitos
Seja E = {e1 , . . . , en } um conjunto ortonormal finito de um espaco de Hilbert H. E elementar verificar que o
Xn
conjunto E de todos os vetores de H que sejam da forma a ea para a complexos e um subespaco de H, denominado
a=1
subespaco gerado por E.
Recordemos que, pelo procedimento de ortogonalizacao de Gram-Schmidt discutido na Secao 3.3, p
agina 205, todo
subespaco de dimensao finita de H possui ao menos um conjunto ortonormal finito que o gera.
Proposi cao 37.5 Seja H um espaco de Hilbert. Se E H e um subespaco gerado por um conjunto ortonormal finito
(ou seja, se E e um subespaco de dimens
ao finita), ent
ao E e um conjunto fechado. 2

Prova. Seja {xi }iN uma seq

uencia de elementos de E que converge a x H. Cada xi e da forma
n
X
i
x = ia ea .
a=1

Vamos provar que para cada a a seq uencia {ia }iN

e uma seq
uencia de Cauchy de n umeros complexos. Se {xi }iN e
convergente, entao e uma sequencia de Cauchy. Logo, para todo > 0 existe N () tal que kxi xj k para todos
i, j N (). Assim, para i, j N ()
n 2 n
X X
2 i j 2 i j
|ia ja |2 .

kx x k = (a a )ea =

a=1 a=1

Mas isso diz que para i, j N () vale para cada a {1, . . . , n} que |ia ja | . Assim, {ia }iN e uma seq
uencia de
Cauchy de n umeros complexos e, portanto, cada uma dessas seq uencias converge a um n umero complexo a . Seja
n
X
x = a ea .
a=1
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 37 1839/2103

Claramente x e um elemento de E. Vamos mostrar que, na verdade, x = x. Para tal, basta mostrar que xi converge a
x e lembrar a unicidade de pontos limite em espacos metricos, como um espaco de Hilbert (vide Corolario 30.1, p
agina
1357). Mostrar que xi converge a x e trivial, pois
2
Xn n
X
i 2 i
|ia a |2

kx x k = (a a )ea =

a=1 a=1

e como ia a o lado direito fica arbitrariamente pequeno quando i . Logo, xi x e, portanto, x = x.

Vamos estudar algumas propriedades de conjuntos ortonormais finitos ou cont aveis, a mais importante sendo as
desigualdades de Bessel, `
a qual chegaremos logo adiante. O primeiro passo e a seguinte proposicao u
til.
Proposic
ao 37.6 Seja E = {e1 , . . . , en } um conjunto ortonormal finito de um espaco de Hilbert H e sejam 1 , . . . , n
n
umeros complexos. Ent
ao, para todo x H vale que
2
Xn Xn n
X
   

x a ea = kxk2 +
a hea , xi2 hea , xi2 . (37.13)

a=1 a=1 a=1

Prova. Expandindo o lado esquerdo de (37.13), temos

2 * +
n
X n
X n
X

x a ea = x a ea , x b eb

a=1 a=1 b=1

n n
n 2
X X X
2
= kxk b hx, eb i a hea , xi + a ea

b=1 a=1 a=1

n 
X 
= kxk2 + a hea , xi a hea , xi + |a |2
a=1

n 
X  Xn
   
= kxk2 + hea , xi2 a hea , xi a hea , xi + |a |2 hea , xi2
a=1 a=1

n
X n


X  
= kxk2 + a hea , xi a hea , xi hea , xi2
a=1 a=1

n
X n
X
   
= kxk2 + a hea , xi2 hea , xi2 , (37.14)
a=1 a=1

que e o que desejavamos mostrar.

Melhores aproximantes em subespa

cos de dimens
ao finita
A Proposicao 37.6 tem conseq uencias importantes que exploraremos a seguir. Uma delas e u til em problemas de
aproximacao em espacos de Hilbert e em problemas variacionais, de relevancia, por exemplo na Mecanica Quantica.
Lembremos primeiramente que, dado um subespaco de dimensao finita de um espaco de Hilbert, e sempre possvel
encontrar nele, pelo procedimento de Gram-Schmidt (vide Secao 3.3, p
agina 205), um conjunto ortonormal de vetores
que gera esse subespaco. Temos ent
ao o seguinte:
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 37 1840/2103

Proposic
ao 37.7 Seja E = {e1 , . . . , en } um conjunto ortonormal finito de um espaco de Hilbert H e seja x H.
Ent
ao o melhor aproximante de x no subespaco de dimens ao finita E gerado pelos vetores {e1 , . . . , en } e o vetor
n
X
y = hek , xi ek . (37.15)
k=1

A dist
ancia kx yk entre x e seu melhor aproximante y satisfaz
n
X  
kx yk2 = kxk2 hea , xi2 . (37.16)
a=1

Prova. Ja vimos acima (Proposicao 37.5, p agina 1838) que o subespaco E gerado pelo conjunto ortonormal finito
E = {e1 , . . . , en } e fechado. Aplica-se, portanto, o Teorema do Melhor Aproximante (Teorema 37.1, p agina 1831) e
podemos afirmar que para todo x H existe um e somente um y E tal que a distancia kx yk e a menor possvel.
Xn
Porem, todo y E e da forma y = a ea . Logo, por (37.13),
a=1

n
X n
X
   
kx y k2 = kxk2 + a hea , xi2 hea , xi2 . (37.17)
a=1 a=1

evidente que o lado direito assume seu valor mnimo quando a = hea , xi para todo a entre 1 e n. Assim, y =
E
Xn
hea , xiea . Por (37.17), segue imediatamente disso a relacao (37.16).
a=1

As desigualdades de Bessel
Seja, como acima, E o subespaco de dimensao finita gerado pelo conjunto ortonormal finito E = {e1 , . . . , en }. Para
x H o melhor aproximante em E e o vetor y dado em (37.15) e a distancia kx yk satisfaz (37.16). Como kx yk 0,
o lado direito de (37.16) e n
ao-negativo e chegamos `a seguinte conclusao:
Proposi
c
ao 37.8 (Desigualdades de Bessel) Para todo x H e para todo conjunto ortonormal finito {e1 , . . . , en }
vale n
X  
hea , xi2 kxk2 . (37.18)
a=1

Se E = {en , n N} e um conjunto ortonormal cont

avel, vale tambem para todo x H,

X  
hea , xi2 kxk2 . (37.19)
a=1

Note que (37.19) segue trivialmente do fato de (37.18) valer para todo n. As desigualdades (37.18) e (37.19) sao
conhecidas como desigualdades de Bessel20 . Como veremos em breve, as mesmas desempenham um papel importante na
teoria dos espacos de Hilbert.

Uma conseq
uencia da desigualdade de Bessel
A desigualdade de Bessel, acima, possui uma conseq uencia um tanto surpreendente, cuja import
ancia sera revelada
quando discutirmos a nocao de conjunto ortonormal completo, logo adiante (particularmente no Teorema 37.5, p agina
1842). Essa conseq
uencia e a afirmacao expressa no seguinte teorema:
20 Friedrich Wilhelm Bessel (17841846).
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 37 1841/2103

Teorema 37.3 Seja B um conjunto ortonormal de um espaco de Hilbert H. Ent

ao, para cada y H, o conjunto de
todos os e B tais que he , yi 6= 0 e um conjunto cont
avel. 2

Note-se que n
ao est
a excludo que o conjunto ortonormal B, no enunciado acima, seja n
ao-cont
avel.
Prova. Vamos escrever B = {e , }, onde e algum conjunto n
ao-vazio de ndices, n
ao necessariamente cont
avel.
Comecemos lembrando que se {e1 , . . . , em } e um subconjunto finito de B, ent
ao a desigualdade de Bessel (37.18)
garante que para cada y H tem-se
Xm
 
hea , yi2 kyk2 . (37.20)
a=1
claro que para cada y H o conjunto B pode ser escrito como a seguinte uniao disjunta:
E
B = Z y By (37.21)
com  
Z y := e B| he , yi = 0 e B y := e B| he , yi 6= 0 .
igualmente claro que podemos escrever B y como
E

[
By = Bny , (37.22)
n=1

onde, para n = 1, 2, . . .,    
  2 kyk2 kyk2
Bny = e B  he , yi , .
n+1 n

E. 37.5 Exerccio. Convenca-se que (37.21) e verdadeira e que aquela uniao e disjunta, assim como a uniao em (37.22).
6

Desejamos mostrar que B y e um conjunto cont avel. A observacao crucial e que cada Bny e um conjunto finito. De
y
fato, podemos facilmente mostrar que cada Bn tem no maximo n elementos. Mostramos isso por contradicao com a
desigualdade de Bessel (37.20). Vamos supor que houvesse em Bny mais que n elementos e tomemos em Bny um conjunto
{e1 , . . . , en+1 } com n + 1 elementos. Como todos sao elementos de Bny , tem-se que
kyk2
|hea , yi|2 >
n+1
para todo a = 1, . . . , n + 1. Logo,
n+1
X kyk2
|hea , yi|2 > (n + 1) = kyk2 ,
a=1
n+1

contrariando a desigualdade de Bessel (37.20). Assim, cada Bny pode ter no maximo n elementos.
S
Isso diz-nos que B y = y
n=1 Bn
e um conjunto cont avel (eventualmente ate finito), completando a demonstracao.

Conjuntos ortonormais completos

Chegamos agora ao importante conceito de conjunto ortonormal completo em um espaco de Hilbert.

Definicao. Um conjunto ortonormal B de vetores em um espaco de Hilbert H e dito ser um conjunto ortonormal
completo em H, ou uma base ortonormal completa em H, se o u
nico vetor de H que e ortogonal a todos os vetores de B
for o vetor nulo.
Notemos que B da definicao acima n ao precisa ser necessariamente um conjunto finito ou cont
avel. De fato, como
veremos, h
a espacos de Hilbert que so admitem conjuntos ortonormais completos nao-cont aveis.
Conjuntos ortonormais completos desempenham um papel de grande import ancia no estudo de espacos de Hilbert e
suas aplicacoes. Vamos estuda-los aqui. Primeiramente demonstremos que eles sempre existem.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 37 1842/2103

Teorema 37.4 Todo espaco de Hilbert possui pelo menos um conjunto ortonormal completo. 2

Prova. A demonstracao faz uso do Lema de Kuratowski-Zorn (vide p

agina 49). Seja E a colecao de todos os conjuntos
ortonormais de um espaco de Hilbert H. Podemos introduzir em E uma ordem parcial, denotada por , dizendo que
E1  E2 se E1 E2 , para dois conjuntos ortonormais E1 e E2 .
Seja {E , } um conjunto linearmente ordenado em E pela relacao de ordem acima. Isso significa que ou
E E ou E E para quaisquer , . Esse conjunto {E , S } possui um majorante em E, a saber, o
ao de todos os E , ou seja, E .
conjunto ortogonal obtido tomando-se a uni
S
E. 37.6 Exerccio. Por que razao E e tambem um conjunto ortonormal? 6

Assim, conclumos que em E, com a relacao de ordem dada acima, vale sempre que qualquer conjunto linearmente
ordenado possui um majorante em E. Ora, essas sao precisamente as hipoteses do Lema de Kuratowski-Zorn e, assim,
conclumos que existe um elemento maximal B em E, ou seja, um conjunto ortonormal que n
ao est
a contido propriamente
em nenhum outro conjunto ortonormal.
Vamos, entao, mostrar que esse B e um conjunto ortonormal completo. Para tal vamos supor o oposto, ou seja, vamos
supor que haja y H n ao-nulo, com, digamos, kyk = 1, que seja ortogonal a todos os elementos de B. Claramente, y nao
pode pertencer a B, pois para isso teria que ser ortogonal a si mesmo, ou seja, kyk2 = hy, yi = 0. Se um tal y existisse,
entao B1 = B {y} seria tambem um conjunto ortonormal (por que?) que contem B como subconjunto proprio. Ora,
isso contraria o fato que B e maximal. Logo, tal y n
ao existe e B e um conjunto ortonormal completo.

O seguinte exerccio ilustra a discuss

ao de acima.

E. 37.7 Exerccio. Mostre que no espaco de Hilbert 2 das sequencias de quadrado somavel, o conjunto de vetores E =
{en , n N}, onde os vetores en sao definidos em (37.7), forma um conjunto ortonormal completo de vetores. 6

A import ancia dos conjuntos ortonormais completos reside no fato que todo vetor de um espaco de Hilbert pode
ser escrito como limite de seq
uencias de vetores obtidos por combinacoes lineares finitas de elementos de um conjunto
ortonormal completo. Desse tema fundamental da teoria dos espacos de Hilbert trataremos agora.

A decomposi
c
ao de vetores em termos de conjuntos ortogonais completos
Chegamos agora ao resultado mais importante sobre conjuntos ortogonais completos e que e a verdadeira raz
ao de
ser de sua definicao.
Teorema 37.5 Seja y um vetor de um espaco de Hilbert H e B um conjunto ortonormal completo em H. Como
vimos acima (Teorema 37.3, p agina 1841), o subconjunto de B definido por B y = {e B| he , yi 6= 0} e um conjunto
avel. Vamos escrever os elementos de B y como ea com a N. Ent
cont ao, vale que
n
X
y = lim hea , yi ea (37.23)
n
a=1

e que

X  
kyk2 = hea , yi2 . (37.24)
a=1
2

A expressao (37.24) pode ser interpretada como uma generalizacao do Teorema de Pit agoras para dimensao infinita.

X 
Prova do Teorema 37.5. Pela desigualdade de Bessel (37.19) sabemos que hea , yi2 kyk2 . Pela Proposicao 37.4,
a=1
n
X
p
agina 1838, isso diz-nos que a seq
uencia de vetores sn = hea , yi ea converge em H a um vetor que chamaremos
a=1
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 37 1843/2103

de y :
n
X
X
y = lim hea , yi ea = hea , yi ea .
n
a=1 a=1

Queremos provar que y = y. Para tal, tomemos um elemento arbitrario e em B e calculemos o produto escalar
he , y y i. H
a dois casos a considerar: 1. e B y e, portanto, = k para algum k N e 2. e 6 B y e, portanto,
he , yi = 0 e 6= k para todo k N.
No caso 1 temos, usando a continuidade do produto escalar,
* n
+ * n
+
X X

he , y i = e , lim hea , yi ea = lim e , hea , yi ea = hek , yi = he , yi . (37.25)
n n
a=1 a=1

(37.25)
Logo, he , y y i = he , yi he , y i = 0.
No caso 2 temos tambem
* n
+ n
X X
he , y i = e , lim hea , yi ea = lim hea , yi he , ea i = 0 ,
n n
a=1 a=1

pois 6= k para todo k e, portanto, he , ea i = 0. Logo, he , y y i = he , yi he , y i = 0 0 = 0.

Em ambos os casos o resultado e o mesmo, ou seja, he , y y i = 0 para todo e B. Pela definicao de B como
conjunto ortonormal completo, o u nico vetor ortogonal a todos os elementos de B e o vetor nulo. Logo, y = y .
n
X
Por (37.15), o vetor mais proximo de y no subespaco gerado por {e1 , . . . , en } e hea , yiea . Segue de (37.16)
a=1
que 2
n
X n
X  

y
2
hea , yiea = kyk hea , yi2 .

a=1 a=1

X  
Tomando-se o limite n o lado esquerdo vai a zero, como vimos, e, portanto, kyk = hea , yi2 . 2

a=1

X
importante dirigir a atencao do estudante para o fato que na expressao y =
E hea , yi ea a soma e realizada em
a=1
elementos de B y que, para cada y, e um conjunto cont agina 1841). Mas B y depende de y e,
avel (pelo Teorema 37.3, p
assim, para ys diferentes comparecem conjuntos diferentes de vetores e B na soma. Isso e importante no caso de o
conjunto ortonormal completo B ser n ao-cont
avel. Se B for contavel podemos fazer a soma sobre todos os elementos de
B pois os elementos de Z y nao contribuem.
Apesar de termos demonstrado que todo espaco de Hilbert possui um conjunto ortonormal completo, demonstrar que
um conjunto ortonormal B dado concretamente e um conjunto ortonormal completo pode ser um problema envolvente
que requer um trabalho cuidadoso de analise. Tal e o caso, por exemplo, do conjunto ortonormal (37.6) do espaco de
bem sabido, e f einx
Hilbert L2 ([0, 2]). E acil de se verificar, que o conjunto (cont avel) de vetores {en (x) = 2
, n Z}
e um conjunto ortonormal. Demonstrar que e completo, porem, envolve mais trabalho e requer uso do teorema do
qual trataremos no proximo t opico abaixo, que discute caracterizacoes alternativas do conceito de conjunto ortonormal
completo. Para a demonstracao de completeza de alguns conjuntos ortonormais de funcoes especiais de interesse, incluindo
einx
o conjunto {en (x) = 2
, n Z} em L2 ([0, 2]), vide Secao 35.6, p
agina 1711.

Conjuntos ortonormais completos e bases topol

ogicas
Em um espaco vetorial V a varredura linear (linear span) de um conjunto n
ao-vazio A V e a colecao, denotada
por span (A), de todos os vetores de V que podem ser escritos como uma combinacao linear finita de elementos de A:
n  o

span (A) = v V  v = 1 a1 + + n an , para algum n N, para i C e ai A . (37.26)
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 37 1844/2103

elementar constatar que para A n

E ao-vazio span (A) e um subespaco de V , em verdade, o menor subespaco vetorial
de V que contem A, pois e tambem elementar constatar que se E e um sub-espaco linear de V tal que A E, ent ao
span (A) E e, portanto, span (A) esta contido na interseccao de todos
\ os subespa
c os E com A E e como span (A)
e um subespaco que tambem contem A, conclumos que span (A) = E.
EA
E subespa
co

Em um espaco vetorial topologico V um conjunto B V e dito ser uma base topologica de V se seus subconjuntos
finitos for composto somente por vetores linearmente independentes e se span (B) for um conjunto denso em V , ou seja,
se seu fecho for V : span (B) = V .
O teorema que demonstraremos a seguir mostra, entre outras coisas, que em um espaco de Hilbert um conjunto B e
um conjunto ortonormal completo se e somente se for uma base topologica.
Teorema 37.6 Se B = {e , } e um conjunto ortonormal em um espaco de Hilbert H, ent
ao s
ao equivalentes as
seguintes afirmativas:

1. B e um conjunto ortonormal completo de H.

ogica de H, ou seja, span (B) = H.
2. B e uma base topol
 X  
avel e vale kyk2 =
3. Para todo y H o conjunto B y = e B| he , yi 6= 0 e cont he , yi2 . 2
e B y

Prova. Que 1 implica 2 e que 1 implica 3 j

a foi demonstrado acima (Teorema 37.5, p
agina 1842). Resta demonstrar que
3 implica 1 e que 2 implica 1.
Primeiramente, mostremos que 3 implica 1. Isso e feito supondo que 3 vale e que 1 n ao vale e mostrando que isso leva
a um absurdo. Se B nao for um conjunto ortonormal completo, ent ao existe um vetor x H n ao-nulo que e ortogonal a
todo elemento de B, ou seja, he , xi = 0 para todo e B. Por 3, isso implica que
X  
kxk2 = he , xi2 = 0 ,
e B x

uma contradicao.
Por fim, mostremos que 2 implica 1. Isso e feito supondo que 2 vale e que 1 n ao vale e mostrando que isso leva a
um absurdo. Se B n ao e uma base ortonormal completa, entao existe um vetor x H n ao-nulo que e ortogonal a todo
elemento de B, ou seja, he , xi = 0 para todo e B. Ent ao, o conjunto {x} e um subespaco linear fechado que
contem B e span (B) (por que?). Como span (B) e, por definicao, o menor fechado que contem span (B), vale tambem
que span (B) {x} . Como {x} e um subconjunto proprio de H (pois n ao contem x nem o subespaco gerado por x),
conclumos que span (B) e um subconjunto proprio de H, uma contradicao com a hipotese que 2 e verdadeiro.

A equivalencia provada acima entre bases topologicas e conjuntos ortonormais completos justifica o fato de conjuntos
ortonormais completos serem tambem denominados bases ortonormais completas.

Espa
cos de Hilbert separ
aveis
Recordemos duas nocoes introduzidas na Secao 27.4, p
agina 1302.
Seja um espaco X dotado de uma topologia . Dizemos que um conjunto A X e denso em X se o fecho de A for
igual a X, ou seja, se n
ao houver outro conjunto fechado que n
ao X contendo A. Um espaco topologico X e dito ser
separ
avel se possuir um subconjunto denso cont
avel.
Definimos acima a nocao de varredura linear de um conjunto A H, que denotamos por span (A). Um conceito
associado e o de varredura linear por racionais de um conjunto A H, que denotamos por span Q (A): a colecao, de
todos os vetores de H que podem ser escrito como uma combinacao linear finita por racionais de elementos de A:
n  o

span Q (A) = v V  v = r1 a1 + + rn an , para algum n N, para ri QC e ai A ,

onde QC denota o conjunto de todos os n umeros complexos racionais, ou seja, de todos os n

umeros complexos cujas
partes real e imaginaria sao racionais.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 37 1845/2103

Como QC e denso em C, e claro que todo elemento de span (A) pode ser aproximado (na topologia de H) por
elementos de span Q (A). De fato, se {(rj )m , m N} e uma seq uencia de n
umeros em QC que aproxima j C, ent
ao
(r1 )m a1 + + (rn )m an aproxima 1 a1 + + n an na norma de H, pois

(r1 )m a1 + + (rn )m an 1 a1 + + n an = (r1 )m 1 a1 + + (rn )m n an
   
(r1 )m 1  ka1 k + + (rn )m n  kan k ,

que converge a zero para m . Isso significa que para todo A H vale span Q (A) span (A) e, conseq
uentemente,
span Q (A) span (A). No entanto, como span Q (A) span (A), vale tambem que span Q (A) span (A). Logo,
span Q (A) = span (A).
Assim, pelo Teorema 37.6, conclumos que B H e uma base ortonormal completa se e somente se span Q (B) = H.
Se A H for contavel, e muito f
acil ver que span Q (A) e tambem cont
avel (por ser uma uniao cont
avel de conjuntos
cont
aveis). Logo, se B for um conjunto ortonormal completo cont avel, o conjunto span Q (B) e um conjunto contavel
denso em H. Conclumos disso que H sera um espaco topologico separ avel se possuir um conjunto ortonormal completo
cont
avel.
A recproca e tambem verdadeira: se um espaco de Hilbert H for um espaco topologico separ
avel, ent
ao todo conjunto
ortonormal completo de H e cont avel. Para ver isso, vamos supor que H seja separ avel e seja D H cont avel e denso
em H: D = H. Seja tambem B um conjunto ortonormal completo em H. Notemos que
[
BD := Bx
xD

e cont
avel, por ser uma uni
ao cont
avel de conjuntos cont avel, assim como cada B x , pelo Teorema
aveis (pois D e cont
37.3, p agina 1842, cada x D e um elemento de span (B x ). Conclumos disso que
agina 1841.). Pelo Teorema 37.5, p
D span (BD ). Logo, como D e denso em H, segue que H = span (BD ). Agora, BD e um conjunto ortonormal (por
ser subconjunto de B). Logo, conclumos pelo Teorema 37.6 que BD e um conjunto ortonormal completo.
Disso conclumos tambem que B = BD , pois se BD fosse um subconjunto proprio de B haveria v B, v 6= 0, que n
ao
pertence a BD . Como B e um conjunto ortonormal, segue que v e ortogonal a todos os elementos de BD . Isso contraria
o fato provado que BD e um conjunto ortonormal completo. Vimos, ent ao, que todo conjunto ortonormal completo de
um espaco de Hilbert separavel deve ser cont
avel.
Resumimos nossas conclusoes na seguinte proposicao:
Proposi c
ao 37.9 Se um espaco de Hilbert H possui um conjunto ortonormal completo cont avel, entao e um espaco
topol
ogico separ
avel (ou seja, possui um subconjunto cont
avel denso). Por outro lado, se um espaco de Hilbert H for
separ
avel, ent
ao todos os seus conjuntos ortonormais completos s
ao cont
aveis. 2

O seguinte corol
ario e evidente:
Corolario 37.1 Se um espaco de Hilbert H possui um conjunto ortonormal completo cont
avel, ent
ao todos os demais
conjuntos ortonormais completos de H s
ao cont
aveis. 2

Nesse contexto, a seguinte observacao e relevante:

Proposi
c
ao 37.10 Se um espaco de Hilbert H possui um conjunto ortonormal n
ao-cont
avel, ent
ao H n
ao e separ
avel.
2

Prova. Seja C um conjunto ortonormal n ao-cont

avel de H. Se C for um conjunto ortonormal completo n ao h
a o que
ao o for, podemos acrescentar elementos a C pertencentes a C de modo a obter um conjunto ortonormal
provar. Se n
completo. Esse conjunto ortonormal completo nao pode ser cont
avel, pois contem C.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 37 1846/2103

Os espacos de Hilbert L2 ([a, b], dx), L2 ([a, b], r(x)dx) com r positiva e integravel no intervalo [a, b], assim como
2
L (R, dx), sao separ
aveis. Esses fatos decorrem dos resultados apresentados na Secao 35.6, p agina 1711. O espaco de
Hilbert AP (R) das funcoes almost-periodicas e n
ao-separavel, pois possui um conjunto ortonormal n
ao-contavel, a saber,
aquele de (37.11).
Finalizamos mencionando que no caso de espacos de Hilbert separ
aveis podemos refrasear o Teorema 37.5, acima, da
seguinte forma:
avel H e B um conjunto ortonormal completo (e, portanto,
Teorema 37.7 Seja y um vetor de um espaco de Hilbert separ
cont
avel) em H. Vamos escrever os elementos de B como ea com a N. Ent ao, vale que
n
X
y = lim hea , yi ea (37.27)
n
a=1

e que

X  
kyk2 = hea , yi2 . (37.28)
a=1
2

Au nica diferenca em relacao ao Teorema 37.5 e que agora as somas acima nao precisam mais ser restritas apenas aos
elementos de B y , mas sao feitas sobre todos os elementos de B, independente do vetor y H considerado. Eventualmente
alguns termos dessas somas serao nulos (tal e o caso se para um dado a tivermos ea Z y , ou seja, hea , yi = 0), mas isso
n
ao alterar
a o resultado.

37.2.2 Conjuntos Totais

Um subconjunto T de um espaco de Hilbert H e dito ser um conjunto total de H se T = {0}. Como o estudante percebe,
toda base ortonormal completa em um espaco de Hilbert e um conjunto total do mesmo espaco. Os dois conceitos, porem,
n
ao podem ser confundidos. A seguinte proposicao e relevante nesse contexto por fornecer uma caracterizacao alternativa
importante da nocao de conjuntos totais.
Proposic
ao 37.11 Um subconjunto T de um espaco de Hilbert H e total se e somente se span (T) for um conjunto
denso em H (isto e, span (T) = H), ou seja, se e somente se todo elemento de H puder ser aproximado na norma de H
por uma seq
uencia de vetores compostos por combinac
oes lineares finitas de elementos de T. 2

Prova. Suponhamos que T = {0}. Como T span (T), teremos pelo Lema 37.1, p agina 1833, que T span (T) e






que T span (T) . Como span (T) e um subespaco de H, podemos aplicar a Proposicao 37.2, p
agina 1834, e






teremos span (T) = span (T) T = {0} = H, implicando que span (T) = H.
Vamos agora supor que span (T) = H. Se x T , ent ao vale, naturalmente, que x span (T) , pois os elementos


de span (T) sao combinacoes lineares finitas de elementos de T. Logo, {x} span (T) e {x} span (T) =

span (T) = H, implicando que {x} = H. Como x H, isso est a dizendo, em particular, que hx, xi = 0 e, portanto,
x = 0. Logo, provou-se que F = {0}.

37.2.2.1 Um Exemplo no Espaco L2 (R, dx)

O exemplo de conjunto total que agora discutiremos e relevante na Mecanica Qu
antica, a saber, na discuss
ao de propri-
edades dos chamados estados coerentes.
Comecemos nossa discuss
ao recordando algumas propriedades das chamadas diferencas finitas de funcoes.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 37 1847/2103

Diferen
cas finitas
Seja h > 0, fixo. Dada uma funcao F : R C, definimos recursivamente as n-esimas diferencas finitas nh F n F ,
n N0 , como sendo as funcoes definidas por





0 F (y) := F (y) , 1 F (y) := F (y + h) F (y) , n F (y) := n1 F (y + h) n1 F (y) , n 2 .

f
E acil ver que
n  

X n
n F (y) = (1)nk F (y + kh) .
k
k=0

Se F for infinitamente diferenci

avel, teremos, para todo n N,


(n) n F (y)
F (y) = lim .
h0 hn
Alem disso, o Teorema do Valor Intermedi ario para diferencas finitas (vide e.g. [104], Th. 60.1, pag. 353) afirma que no
intervalo (y, y + nh) existe um ponto tal que


n F (y)
= F (n) () . (37.29)
hn

Fun
co
es Gaussianas
Consideremos o espaco de Hilbert L2 (R, dx) (aqui, dx representa a medida de Lebesgue em R), cujo produto
escalar denotaremos por h, i. Seja uma funcao de L2 (R, dx). Para a R, definamos a como sendo a funcao
a (x) = (x a). Evidentemente a L2 (R, dx), pois a medida de Lebesgue em R e invariante por translacoes.
2 2
Seja g(x) := ex e, com a convencao acima, seja ga a funcao em R definida para cada a R por ga (x) := e(xa) .
Trata-se
R da chamada p ao Gaussiana centrada em a. Cada funcao ga e, naturalmente, um elemento de L2 (R, dx),
func
2
pois ga (x) dx = /2.
A proposicao que segue demonstra uma propriedade de funcoes Gaussianas que sera usada adiante.
Proposiao 37.12 Seja L2 (R, dx). Ent
c ao a func
ao G definida para a R por
Z
G(a) := (x) ga (x) dx
R

e infinitamente diferenci
avel e para cada n N vale
Z Z Z
dn dn dn
G(a) = (x) ga (x) dx = (x) n ga (x) dx = (x) Hn (x a)ga (x) dx ,
dan dan R R da R

onde Hn e o n-esimo polinomio de Hermite. Note-se que a integral do lado direito e finita, pois Hn (x a)ga (x)
L2 (R, dx), enquanto func
ao de x. 2

Prova. O ponto central da demonstra

Z cao e provar
Z que sobnas hipoteses de acima vale para todo n N a inversao repre-
dn d
sentada pela igualdade n (x) ga (x) dx = (x) n ga (x) dx. Para tal faremos uso do Teorema da Convergencia
da R R da
Dominada, Teorema 31.6, p agina 1404.
Para a R definamos Z
dn
Kn (a) := (x) ga (x) dx .
R dan
Vamos provisoriamente restringir a a um intervalo aberto finito (, ) com < < < .
Seja n N e seja h (0, 1/n). Podemos, ent
ao, escrever
Z  
n ga (x)
Kn (a) = (x) lim dx ,
R h0 hn
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 37 1848/2103

com n ga (x) definido como a n-esima diferenca finita na variavel a:

0 ga (x) := ga (x) , 1 ga (x) := ga+h (x) ga (x) , n ga (x) := n1 ga+h (x) n1 ga (x) , n 2 ,

com
n  
n
X
nk n
ga (x) = (1) ga+kh (x) .
k
k=0
n n
ao hgna (x) converge a da
Por definicao, a raz d
n ga (x) quando h 0, o limite existindo pontualmente para todo x R (o

que e suficiente para os prop ositos que teremos adiante, a saber, para o Teorema da Convergencia Dominada). Por ser
uma soma finita de elementos de L2 (R, dx), n ga e tambem um elemento desse espaco.
Observe-se agora que
Z  Z
n G(a) 1 n ga (x)
= n n (x) ga (x) dx = (x) dx .
hn h R R hn
Por (37.29), podemos escrever
Z Z  !
n ga (x) dn 
(x) dx = (x) g a (x) dx
R hn R dan 
a=

para algum (a, a +nnh). A chamada f ormula de Rodrigues para os polinomios de Hermite (vide (15.103), p
agina
d
690), informa-nos que da n ga (x) = Hn (x a)ga (x) (com Hn sendo o n-
esimo polinomio de Hermite). Assim,

n ga (x)  
(x) = (x) H n (x )g (x) .
hn
Definamos agora 
n (x) := sup |Hn (x y)|gy (x), y (, + 1) .
f
E acil de ver que n L2 (R, dx) e e evidente que
 n
     
(x) ga (x)  = (x) Hn (x )g (x)  (x) n (x)
 
(37.30)
 hn 

para todo
 x R e qualquer (a, a + nh) (, + 1). Como e n sao elementos de L2 (R, dx), a funcao majorante
(x) n (x) do lado direito de (37.30) e um elemento de L1 (R, dx) (pela desigualdade de Cauchy-Schwarz). Assim,
 
podemos afirmar que

Z Z  
n G(a) n ga (x) n ga (x)
lim = lim (x) dx = (x) lim dx
h0 hn h0 R hn R h0 hn
Z Z
dn
= (x) n ga (x) dx = (x) Hn (x a)ga (x) dx ,
R da R

sendo que na segunda igualdade evocamos o Teorema da Convergencia Dominada, Teorema 31.6, p agina 1404, para
dn
justificar a troca de limites pela integral. Isso estabeleceu que da n G(a) existe para todo a (, ) e que vale
Z
dn
G(a) = (x) Hn (x a)ga (x) dx .
dan R

Como as afirmacoes acima valem para qualquer intervalo (, ), a restricao de a a esse intervalo e agora dispens
avel.

Conjuntos totais de fun

co
es Gaussianas
A afirmacao mais importante que desejamos estabelecer na presente secao e a seguinte: para qualquer intervalo aberto
I = (, ) R a colecao de todas as funcoes Gaussianas centradas em pontos de I e um conjunto total em L2 (R, dx).
Esse e o conte
udo do teorema que segue.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 37 1849/2103


Teorema 37.8 Para cada intervalo aberto (, ) R, com  < < < , o conjunto T(, ) := ga , a (, )
uentemente, TR := ga , a R e tambem um conjunto total em L2 (R, dx).
e um conjunto total em L2 (R, dx). Conseq
2

Passemos `a demonstracao desse teorema, apos a qual adicionaremos alguns coment

arios pertinentes.

Prova do Teorema 37.8. Tomemos um intervalo aberto (, ) R. Seja T(, ) . Ent
ao vale, h, ga i = 0 para
R
todo a (, ), ou seja, R (x) ga (x) dx = 0. Isso obviamente implica que para todo n N e todo a (, ) vale
dn
R
dan R (x) ga (x) dx = 0. Pela Proposi
cao 37.12, p
agina 1847, teremos
Z Z
dn
0 = (x) ga (x) dx = (x) Hn (x a)ga (x) dx .
dan R R

Assim, estabelecemos que

Z Z
2
0 = (x) Hn (x a)ga (x) dx = (x + a) Hn (x)ex dx = ha , n i ,
R R

2
onde n (x) := Hn (x)ex . Como j a comentamos (vide Secao 35.6.2, p agina 1713), os vetores n L2 (R, dx), n N,
formam uma base ortogonal completa em L (R, dx). Disso, conclumos que a deve ser o vetor nulo em L2 (R, dx),
2

por ser ortogonal a todos os elementos de uma base ortogonal de L2 (R, dx). Isso implica que e o vetor nulo em
L2 (R, dx), provando que T(,

) = {0} e, portanto, que T(, )
:= {ga , a (, )} e um conjunto total em L2 (R, dx).
Como TR T(, ) , conclumos que TR e tambem um conjunto total em L2 (R, dx).

Coment
arios ao Teorema 37.8. Um teorema devido a Wiener
Temos cinco coment arios a fazer sobre o Teorema 37.8. O primeiro coment ario concerne um aspecto um tanto
surpreendente do Teorema 37.8, a saber, que para funcoes Gaussianas a colecao T(, ) := {ga , a (, )} e um conjunto
total, n
ao importa o qu ao pequeno seja o intervalo finito (, ) com < < < . O ponto surpreendente, ou
contra-intuitivo, e que as funcoes de T(, ) sao Gaussianas centradas em (, ) e que, portanto, decaem rapidamente
fora desse intervalo. Assim, pode parecer estranho que uma funcao de L2 (R, dx) e que tenha, digamos, um maximo
acentuado longe do intervalo (, ) possa ser aproximada na norma de L2 (R, dx) por combinacoes lineares finitas de
elementos de T(, ) . O fato que ilude nossa intuicao, e que esclarece o que se passa, e que diferencas finitas de funcoes
de T(, ) podem ter maximos fora do intervalo (, ). Por exemplo, se tomarmos h pequeno o suficiente, ent ao
n n dn n
ga (x) e aproximadamente dada por h dan ga (x) = h Hn (x a)ga (x), cujos maximos (como funcao de x) podem estar
arbitrariamente longe de a para n crescente.
O segundo coment ario e que o Teorema 37.8 estabelece que todo vetor de L2 (R, dx) pode ser aproximado na norma
desse espaco por combinacoes lineares finitas de Gaussianas centradas em (, ) (ou em R). Como L2 (R, dx) e um
espaco de Hilbert separ
avel (isto e, possui uma base ortonormal cont avel) e como tais colecoes de Gaussianas compoe
conjuntos n aveis, diz-se que T(, ) ou TR sao bases sobre-completas, ou super-completas, de L2 (R, dx).
ao-cont
ario e que a afirmacao que TR := {ga , a R} (a colecao de todos os transladados da funcao
O terceiro coment
2
Gaussiana g(x) = ex ) e um conjunto total de L2 (R, dx) e de relevancia em Mecanica Qu antica no estudo dos
chamados estados coerentes.
O quarto comentario e que o Teorema 37.8, ainda no caso de funcoes Gaussianas, pode ser generalizado ainda mais,
como mostra o exerccio que segue.

E. 37.8 Seja A um subconjunto de R que possua pelo menos um ponto de acumulacao em R. Mostre que
 Exerccio.
TA := ga , a A e um conjunto total em L2 (R, dx). Sugestao: se x0 e um dos pontos de acumulacao de A, entao e
2
possvel aproximar as derivadas de ex em x0 por combinacoes lineares de elementos de TA . 6

O quinto coment ario e que um aspecto do Teorema 37.8 pode ser substancialmente generalizado, a saber, se e
um vetor de L2 (R, dx) cuja transformada de Fourier tem suporte em toda a reta real R, ent
ao a colecao {a , a R}
de todos os transladados de e um conjunto total de L2 (R, dx). Esse teorema, que enunciamos e demonstramos a
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 37 1850/2103

seguir (Teorema 37.9), e um caso particular de um Teorema tecnicamente mais elaborado devido a Wiener21 (vide [211],
Teorema 9.4).
Recordemos que, conforme discutido na Secao 36.2.2, p
agina 1755, a transformada de Fourier F e invertvel (em
aria) em L2 (R, dx).
verdade, unit


Teorema 37.9 (Wiener) Seja L2 (R, dx) tal que supp F[] = R. Ent ao T := {a , a R} de todos
ao, a colec
os transladados de e um conjunto total de H L2 (R, dx). 2

R
Prova. Seja T . Ent ao, por hip
otese, h, a iH = R (x)(x a) dx = 0 para todo a R. A integral se escreve
R

como R (x) P (a x) dx = 2 P (a), onde denota o produto de convolucao, definido em (36.17), p agina
1740, e onde denotamos por p o vetor de L2 (R, dx) dado por p (x) = (x). Assim, vale que P e nula em toda
parte. Logo, evocando-se (36.76), p agina 1757, e fazendo uso do Teorema 36.1, p
agina 1744, conclumos que o produto
F1 []F1 [ P ] = F1 []F[] e uma funcao nula quase em toda parte. Como supp (F[]) = R, segue que F[] e nula
quase em toda parte, implicando que tambem o e.

Note-se que a funcao Gaussiana g satisfaz as hipoteses do enunciado do Teorema 37.9. Contudo, ao contrario do que
se passa com a funcao Gaussiana, n
ao e permitido em geral em restringir as translacoes no enunciado do Teorema 37.9 a
um aberto finito (, ) com < < < , ou seja, a colecao {a , a (, )} n ao e necessariamente um conjunto
total em L2 (R, dx) para qualquer L2 (R, dx) n ao-nulo que possua uma transformada de Fourier com suporte em todo
R. Se, por exemplo, = [1, 1] , a funcao caracterstica do intervalo [1, 1], sua transformada de Fourier tem suporte
em todo R (vide e.g. (36.25)), mas as funcoes a com a (, ) ter ao suporte contido (propriamente) no intervalo
[ 1, + 1] e, evidentemente, serao todas ortogonais a funcoes de L2 (R, dx) com suporte fora de [ 1, + 1].

37.3 Funcionais Lineares e o Dual Topol

ogico de um Espaco
de Hilbert

Funcionais lineares
Um funcional linear l definido em um espaco de Hilbert H e uma funcao cujo domnio e um subespaco vetorial E de
H assumindo valores complexos, l : E C, e de tal forma que para todo x, y E e todo , C tem-se
l(x + y) = l(x) + l(y) .

Funcionais lineares contnuos

De grande import ancia sao os funcionais lineares contnuos definidos em H. Estes sao funcionais lineares com domnio
igual a H e tais que se {xi }iN e uma seq
uencia de vetores que converge a x H, ent ao vale
 
lim l(xn ) = l lim xn = l(x) .
n n

Se l e l sao funcionais lineares sobre H definimos para , C um funcional linear l + l como sendo o funcional
linear que a cada x H associa o n elementar mostrar que o funcional l+l e tambem contnuo.
umero l(x)+l (x). E
O conjunto de todos os funcionais lineares contnuos de um espaco de Hilbert H e tambem, portanto, um espaco vetorial
que denotaremos por H . O espaco H e denominado o dual topol ogico de H.

Funcionais lineares limitados

Um funcional linear l sobre um espaco de Hilbert H e dito ser limitado se existir uma constante M 0 tal que para
todo x H vale
|l(x)| M kxk .

A seguinte proposicao mostra que os conceitos de funcional linear contnuo e de funcional linear limitado sao identicos.
21 Norbert Wiener (18941964).
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 37 1851/2103

Proposi c
ao 37.13 Em um espaco de Hilbert H um funcional linear e contnuo se e somente se for um funcional linear
limitado. 2

Prova. Se l e um funcional linear limitado e se {xj }jN e uma seq

uencia de vetores que converge a x H, ent
ao

|l(x) l(xj )| = |l(x xj )| M kx xj k

e o lado direito vai a zero quando j , provando que l e contnuo.

Suponhamos reciprocamente que l e um funcional linear contnuo. Entao, para um > 0 fixo existe > 0 tal que
|l(v)| para todo vetor v com kvk . Seja u um vetor n
ao-nulo qualquer de H. Ent
ao,
u
v =
kuk

e tal que kvk = . Logo, como l e linear, vale que

    
   u 
 kuk l(u) = l kuk  .
  

Assim,

|l(u)| kuk ,

provando que l e limitado (podemos adotar M = /).

Mencionamos que a Proposicao 37.13 pode ser generalizada: uma aplicacao linear entre dois espacos normados e
contnua se e somente se for limitada (Proposicao 38.1, p
agina 1857).

37.3.1 O Teorema da Representa

cao de Riesz
Um exemplo de funcional linear contnuo e o seguinte. Seja H um vetor fixado. Defina-se ent
ao,

l(x) = h, xi, x H .
evidente que esse l e um funcional linear. Esse l e tambem contnuo, pela continuidade do produto escalar (vide p
E agina
1830).
Esse exemplo n ao foi colocado aqui apenas como ilustracao, pois demonstraremos agora que todo funcional linear
contnuo em um espaco de Hilbert e da forma l(x) = h, xi para algum de H. Esse resultado, conhecido como Teorema
da Representacao de Riesz22 , ou simplesmente como Lema de Riesz23 , e um dos resultados fundamentais da teoria dos
espacos de Hilbert e do mesmo muitas conseq uencias serao extradas, especialmente na teoria de operadores lineares em
espacos de Hilbert. Vamos a seu enunciado e demonstracao.
Teorema 37.10 (Teorema da Representa c
ao de Riesz) Seja l um funcional linear contnuo em um espaco de Hil-
bert H. Ent
ao, existe H, u
nico, tal que

l(x) = h, xi, x H .

Prova. Seja l um funcional linear contnuo em um espaco de Hilbert H. Seja N H o n

ucleo de l, ou seja, o conjunto
de todos os vetores de H que sao anulados por l:
n o
N := y H| l(y) = 0 .
22 Frigyes Riesz (18801956).
23 Essa nomenclatura
e inadequada, por provocar confus
ao com o n
ao menos importante Lema 38.24, p
agina 2044, que tamb
em recebe esse
nome.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 37 1852/2103

Vamos mostrar que N e um subespaco linear fechado de H. Que N e um subespaco e elementar pois, se x, y N , ent ao
l(x + y) = l(x) + l(y) = 0 + 0 = 0. Que N e fechado pode ser visto pelo fato que podemos caracterizar N como
a imagem inversa do n umero 0 de C por l: N = l1 ({0}). O conjunto {0}, constitudo por um u nico ponto, e fechado
em C e funcoes contnuas sao tais que sua imagem inversa mapeia fechados em fechados (vide p
agina 1369). Logo, N e
fechado.

E. 37.9 Exerccio. Mostre tambem que N e fechado, demonstrando que se xi e uma sequencia de elementos de N que
converge a x H entao, pela continuidade, vale l(x) = 0, provando que x N . 6

Caso N seja identico a H, isso significa que l(x) = 0 para todo x H e o teorema estaria provado, adotando-se para
tal = 0.
Vamos supor que N 6= H. Como N e fechado, pelo Teorema da Decomposicao Ortogonal todo x H e da forma
x = y + z com y N e z N . Como N 6= H, devem existir elementos n ao-nulos em N , doutra forma teramos
24
x = y N para todo x H.
Seja, ent ao-nulo de N . E
ao, z0 um vetor n obvio que l(z0 ) 6= 0. Para qualquer vetor u H vale que l(z0 )u l(u)z0
e um elemento de N , pois  
l l(z0 )u l(u)z0 = l(z0 )l(u) l(u)l(z0 ) = 0 .

Assim, como l(z0 )u l(u)z0 e um elemento de N e z0 e um elemento de N , ambos sao ortogonais entre si, ou seja,

0 = hz0 , l(z0 )u l(u)z0 i .

Isso diz, porem, que

0 = l(z0 )hz0 , ui l(u)kz0 k2 ,
ou seja, * +
l(z0 ) l(z0 )
l(u) = hz0 , ui = z0 , u .
kz0 k2 kz0 k2
Definindo
l(z0 )
= z0 ,
kz0 k2
fica provado que para todo u H
l(u) = h, ui ,
como queramos.
nico, suponhamos que exista um outro tal que tambem valha l(u) = h , ui,
Por fim, para demonstrar que tal e u
ao, h, ui = h , ui, ou seja, h , ui = 0 para todo u H. Como essa relacao vale
para todo u H. Teramos, ent
para todo u H, vale tambem para u = . Logo, 0 = h , i = k k2 e, portanto, = .

Incidentalmente, o Teorema da Representacao de Riesz diz-nos que, fora o caso em que l e identicamente nulo, tem-se
sempre que N e um subespaco unidimensional de H, a saber, o subespaco gerado pelo vetor .

24 Fazemos notar ao estudante que e somente neste paragrafo, interessantemente, que a condica
o de continuidade de l
e usada, a saber,
atrav e fechado e que, portanto, N
es da afirmativa que N e formado por algo alem do vetor nulo (caso l nao seja identicamente zero).
Note-se tamb em o uso importante que foi feito do Teorema da Decomposicao Ortogonal na demonstraca
o.
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 37 1853/2103

37.4 Exerccios Adicionais

E. 37.10 Exerccio. Determine para quais valores de R a funcao f (x) = x pertence: (i) ao espaco de Hilbert
L2 ((0, 1), dx); (ii) ao espaco de Hilbert L2 ((0, ), dx); (iii) ao espaco de Hilbert L2 ((1, ), dx). 6

E. 37.11 Exerccio. Determine para quais valores de R a funcao f (x) = x ex pertence: (i) ao espaco de Hilbert
L2 ((0, 1), dx); (ii) ao espaco de Hilbert L2 ((0, ), dx); (iii) ao espaco de Hilbert L2 ((1, ), dx). 6

E. 37.12 Exerccio. Construa um exemplo de uma funcao f L2 (R, dx) com as seguintes propriedades: (i) f e limitada
em todo intervalo finito (a, a) com 0 < a < ; (ii) f nao e limitada em R. 6

E. 37.13 Exerccio. Construa um exemplo de uma funcao satisfazendo as propriedades do exerccio anterior e que seja
tambem contnua. 6

E. 37.14 Exerccio. Prove que a bola aberta de raio 1 e a bola fechada de raio 1 de um espaco vetorial normado sao
convexas. 6

E. 37.15 Exerccio. Prove que o fecho de um conjunto convexo de um espaco vetorial normado e tambem convexo. 6

E. 37.16 Exerccio. Mostre que todo espaco de Hilbert separavel e isometricamente isomorfo ou a algum Cn ou a 2 . 6

E. 37.17 Exerccio. Seja C um conjunto nao-vazio, fechado e convexo de um espaco de Hilbert

H. Mostre que existe

em
C um unico vetor v cuja norma e mnima e que para tal v valem as propriedades Re hx, x vi 0 e Re hv, x vi 0
para todo x C. Interprete o significado dessas desigualdades. 6

E. 37.18 Exerccio. Seja o espaco vetorial Cn e denote-se por ha, biC := a1 b1 + + an bn , para a, b Cn , o produto
escalar usual em Cn . Usando o Lema de Riesz, mostre que todo produto escalar (x, y) (com x, y Cn ) definido em Cn e
da forma hx, AyiC para alguma matriz auto-adjunta (em relacao ao produto escalar usual) e de autovalores positivos A. 6