CAPTULO 2

Espaos com Produto Interno

Espaos com produto interno foram introduzidos em um curso de lgebra Linear.1
Algumas propriedades de um espao com produto interno independem de sua
dimenso ser finita. Isso acontece, por exemplo, com a desigualdade de CauchySchwarz e a identidade do paralelogramo.
Neste captulo estudamos as propriedades bsicas dos espaos com produto
interno. Em seguida, estudamos bases ortonormais (uma generalizao do conceito
em dimenso finita) e caracterizamos os espaos de Hilbert.

2.1 Produto Interno

A primeira seo deste captulo relembra conceitos e propriedades elementares de
um espao com produto interno. Se voc estiver bem familiarizado com esse contedo,
detenha sua ateno apenas nos exemplos que apresentaremos. (Um tratamento
alternativo e mais aprofundado de alguns tpicos desta seo pode ser encontrado no
Apndice ??.)
Definio 2.1 Seja E um espao vetorial sobre o corpo K. Um produto interno em E uma
funo h , i : E E K satisfazendo as seguintes propriedades:

(i ) hu, vi = hv, ui;

(ii ) hu + v, wi = hu, wi + hv, wi;
(iii ) hu, ui 0 e hu, ui = 0 se, e somente se, u = 0.
Se E for um espao vetorial sobre os complexos, o espao E e o produto interno tambm so
chamados, respectivamente, de espao hermitiano ou unitrio e produto hermitiano.
Assim, um produto interno linear na primeira varivel. Decorre da propriedade
(i ) que um produto interno anti-linear na segunda varivel:2

hu, v + wi = hu, vi + hu, wi.

1 Veja,
2 Em

por exemplo, [AL], Captulo 8.

geral, autores fortemente ligados Fsica preferem colocar a linearidade na segunda varivel.

CAPTULO 2. ESPAOS COM PRODUTO INTERNO

Exemplo 2.2 Os espaos Rn e Cn so espaos com produto interno, definindo-se

x1
n

h x, yi = xi yi = (y1 . . . yn ) ... = yt x,
i =1

xn

em que y a matriz obtida ao se tomar o conjugado em cada coordenada de y. Esse o

produto interno cannico no espao Kn .

Exemplo 2.3 Consideramos o espao CL2 [ a, b], K no Captulo ??. Em CL2 [ a, b], K ,
definimos
Z b
h f , gi =
f ( x ) g( x )dx.
a

imediatoverificar que h, i um produto interno. Na verdade, esse um produto

interno em L2 [ a, b], K .

Exemplo 2.4 Introduzimos no Captulo ?? o espao `2 , das sequncias em K de

quadrado somvel:
(
)

`2 =

x = ( xn )nN :

| x n |2 <

n =1

Em `2 , definimos o produto interno h x, yi = ( xn ), (yn ) =

n=0 xn yn . (A

2
2
desigualdade | xn yn | (1/2) | xn | + |yn | garante que a srie absolutamente
convergente.) A verificao que h, i um produto interno simples.

Exemplo 2.5 O Teorema ?? do Apndice ?? garante que todo espao vetorial V 6= {0}
possui uma base de Hamel. Se B = { x : } for uma base de Hamel de V ,
definimos, para , ,

1, se = ,
h x , x i =
0, se 6= .
Se x = ik=1 i xi e y = i`=1 i xei , estendendo a definio de h, i linearmente,
obtemos um produto interno no espao V . (Observe que a extenso ocorre ao
considerarmos combinaes lineares de elementos da base de Hamel.)
Notamos, contudo, que a existncia de uma base em X no significa que podemos
explicitar seus elementos. Assim, geralmente, no h como calcular o produto interno
de quaisquer elementos do espao e a definio dada acima para o produto interno
torna-se meramente terica.

Definio 2.6 Sejam u, v vetores do espao com produto interno E. Dizemos que esses vetores
so ortogonais (ou perpendiculares), se hu, vi = 0. Nesse caso, escrevemos u v.
Vamos mostrar que kuk = hu, ui1/2 0 define uma norma. Para isso, notamos
inicialmente que, com essa definio, temos

(i ) 0 = kuk = hu, ui1/2

(ii ) kuk = hu, ui1/2

u = 0;
1/2
hu, ui1/2 = || kuk;
=

2.1. PRODUTO INTERNO

Teorema 2.7 (Pitgoras)

Seja E um espao com produto interno e kuk = hu, ui1/2 . Ento, se u v, temos

k u + v k2 = k u k2 + k v k2 .
Demonstrao: Basta desenvolver ku + vk2 :

ku + vk2 = hu + v, u + vi = hu, ui + hu, vi + hv, ui + hv, vi = kuk2 + kvk2 ,

pois u e v so ortogonais.

Suponhamos agora que E seja um espao real. Ento hu + v, u + vi = kuk2 +

2 hu, vi + kvk2 . Se valer o Teorema de Pitgoras, ento u v. (Veja o Exerccio 2.)
Se u, v E forem dois vetores linearmente independentes (com u 6= v para todo
K), ento podemos escrever o vetor v como a soma de dois vetores: v = u + w,
em que w ortogonal a u. De fato, como devemos ter w = v u, basta mostrar que
existe K tal que hv u, ui = 0. Essa equao pode ser resolvida facilmente:

hv u, ui = 0

hv, ui
.
k u k2

(Note que kuk = 0 implica u = 0v e os vetores u e v so linearmente dependentes.)

i
O vetor u = hkv,u
u a projeo ortogonal do vetor v sobre o vetor u.
u k2

u6
w
-

pr ojv u

Figura 2.1: O vetor projv u = (hu, vi/kvk2 )v a projeo ortogonal do vetor u no vetor
no nulo v.
Proposio 2.8 (Desigualdade de Cauchy-Schwarz)
Seja E um espao com produto interno. Ento, se kuk = hu, ui1/2 , para todos u, v E
vale:
|hu, vi| kuk kvk.
A igualdade apenas ocorre se u = v.
Demonstrao: A prova que apresentaremos bem geomtrica.3
Se u = v, ento |hu, vi| = || hv, vi = || kvk2 = kuk kvk. Se u 6= v, j vimos que
existe K tal que |hv u, ui| = 0 para = hv, ui/kuk2 . Pelo Teorema de Pitgoras,
temos
kuk2 < kvk2 .
Substituindo o valor de , obtemos

|hv, ui|2
k u k2 < k v k2 ,
k u k4
e a desigualdade (estrita) de Cauchy-Schwarz segue-se imediatamente da, pois
|hv, ui| = |hu, vi|.
2
3 Outra

demonstrao sugerida no Exerccio 3.

CAPTULO 2. ESPAOS COM PRODUTO INTERNO

Todo espao com produto interno um espao normado:

Proposio 2.9 Todo espao com produto interno E tem uma norma definida por kuk =
hu, ui1/2 . Dizemos que essa norma gerada pelo produto interno.
Demonstrao: Para completar a demonstrao de que kuk = hu, ui1/2 define uma
norma, basta provar a desigualdade triangular. Denotando por Re z a parte real de
z C, temos que

k u + v k2 =
=

hu + v, u + vi = kuk2 + hu, vi + hv, ui + kvk2

kuk2 + 2 Re |hu, vi| + kvk2
kuk2 + 2 Re |hu, vi| + kvk2
kuk2 + 2kuk kvk + kvk2 = (kuk + kvk)2

(2.1)
2

Se um espao com produto interno (com a topologia gerada por sua norma) for
n
2
completo, dizemos que
ele um
espao de Hilbert. Os espaos K e ` so espaos de
Hilbert. O espao CL2 [ a, b], K no um espao de Hilbert, de acordo com o Exerccio
2
?? do
Captulo
??. (Note que a desigualdade de Hlder ??, no caso dos espaos ` e
CL2 [ a, b], K , a desigualdade de Cauchy-Schwarz.)
Lema 2.10 Seja E um espao com produto interno. Ento so vlidas as identidades de
polarizao:

(i ) se E for um espao real,

1
1
hu, vi = ku + vk2 ku vk2 .
4
4

(ii ) se E for um espao complexo,

1
1
i
i
hu, vi = ku + vk2 ku vk2 + ku + ivk2 ku ivk2 .
4
4
4
4
Demonstrao: Basta desenvolver o lado direito de cada uma das igualdades.

A relao entre espaos normados e espaos com produto interno esclarecida no

prximo resultado.
Proposio 2.11 Seja ( X, k k) um espao normado. Ento k k uma norma gerada por um
produto interno se, e somente se, ela satisfizer a identidade do paralelogramo:

k x + y k2 + k x y k2 = 2 k x k2 + k y k2 ,
x, y X.
(2.2)
Demonstrao: Se k k for uma norma gerada por um produto interno, a identidade
do paralelogramo obtida ao se desenvolver o lado esquerdo de (2.2).
Se X for um espao complexo, definimos B : X X C por
B( x, y) =

1
k x + y k2 k x y k2 +
k x + iyk2 k x iyk2 ,
4
4

expresso decorrente da identidade de polarizao.4 Vamos mostrar que B um

produto interno em X que gera a norma k k.
4 Se X for um espao real, utilizamos a identidade de polarizao correspondente. A demonstrao
um caso particular dessa que apresentaremos.

2.1. PRODUTO INTERNO

Uma vez que || k x k = kx k, temos

i
k x + iyk2 k x iyk2 =
4

i
k i ( x + iy)k2 ki ( x iy)k2
4

i
=
ky ix k2 ky + ix k2
4

i
= ky + ix k2 ky ix k2 .
4

Conclumos da que B( x, y) = B(y, x ). Alm disso, k x + ix k = k i ( x + ix )k =

k x ix k, de onde segue-se facilmente que B( x, x ) = k x k2 . Mostramos, assim, que
B satisfaz as propriedades (i ) e (iii ) da Definio 2.1.
Para mostrarmos a propriedade (ii ), fazemos uso da identidade do paralelogramo:
1

1
k x + y k2 + k z + y k2
k x y k2 + k z y k2
4
4
i

i
2
2
+
k x + iyk + kz + iyk
k x iyk2 + kz iyk2
4
4
1

1
=
k x + z + 2yk2 + k x zk2
k x + z 2yk2 + k x zk2
8
8
i

i
+ k x + z + 2iyk2 +k x zk2 k x + z + 2iyk2 +k x zk2
8
8

1
2
2
k x + z + 2yk k x + z 2yk
=
8

i
+
k x + z + 2iyk2 k x + z 2iyk2
8
1
= B( x + z, 2y).
2

B( x, y) + B(z, y) =

(2.3)

Notamos agora que, por definio, B( x, 0) = 0 para todo x X. Assim, fazendo

z = 0 em (2.3), obtemos 2B( x, y) = B( x, 2y). Substituindo essa igualdade em (2.3),
verificamos que
B( x, y) + B(z, y) = B( x + z, y) x, y, z X.
(2.4)
Agora provamos por induo que nB( x, y) = B(nx, y), para todo n N, ao
fazermos z = (n 1) x em (2.4). Por outro lado, tomando z = x nessa mesma
igualdade, verificamos que B( x, y) = B( x, y) e da segue-se que pB( x, y) = B( px, y)
para todo p Z. Se 0 6= q Z, ento vale

x
p
x
p
x
p
p
x, y = pB
, y = qB
, y = B q , y = B( x, y).
B
q
q
q
q
q
q
q
Observamos tambm que a definio de B e a continuidade da aplicao k k : X
R garantem que, se xn x e yn y em X, ento
lim B( xn , yn ) = B( x, y).

Consideremos ento R arbitrrio e provemos que B(x, y) = B( x, y). Para

isso, consideremos uma seqncia (n ) de racionais, com n . Ento
B(x, y) = lim B(n x, y) = lim [n B( x, y)] = B( x, y).
n

CAPTULO 2. ESPAOS COM PRODUTO INTERNO

Decorre da definio de B que B(ix, y) = iB( x, y). Assim, dos casos j verificados
decorre que

B ( + i) x, y = B(x, y) + B( ix, y) = B( x, y) + B(ix, y)

= ( + i) B( x, y),
o que conclui a prova de que B um produto interno em X.

2.2 Sistemas Ortonormais

Nesta seo, estamos assumindo que o leitor tenha familiaridade com as sries
trigonomtricas de Fourier, motivao bsica dos conceitos aqui introduzidos. Se esse
no for o caso, a leitura prvia do Apndice ??, que trata de sries de Fourier e sua
convergncia, sugerida, mas no indispensvel.
Denotaremos por A um conjunto de ndices (que no precisa ser enumervel), por
E um espao com produto interno e por H um espao de Hilbert.
Definio 2.12 Seja E um espao com produto interno. Dizemos que uma famlia {e } A =
{e : A} ortogonal se, para 6= A, tivermos e e . Nesse caso, dizemos que
{e } A um sistema ortogonal.
Se os elementos do conjunto {e } A forem unitrios, isto , ke k = 1 para todo A,
dizemos que a famlia ortonormal e que {e } A um sistema ortonormal.
Denotaremos um sistema ortonormal {e } A por S .
Toda combinao linear de elementos no nulos de um sistema ortogonal
linearmente independente (veja o Exerccio 11). Assim, em particular, toda combinao
linear de elementos de um sistema ortonormal linearmente independente.
Exemplo 2.13 No espao Kn (veja o Exemplo 2.2), a base cannica S = {e1 , . . . , en }
um sistema ortonormal, mas tambm ortonormal o sistema S = {e1 }.

Exemplo 2.14 No espao `2 (veja o Exemplo 2.4), um sistema ortonormal o conjunto

S = {e1 , . . . , en , . . .}, em que ei denota a seqncia com todos os termos iguais a 0,
exceto o i-simo, que igual a 1. Como no exemplo anterior, subconjuntos desse
sistema tambm so sistemas ortonormais.

Definio 2.15 Sejam E um espao com produto interno e x E. Fixado um sistema

ortonormal S = {e } A em E, o escalar x = h x, e i K a componente ou coeficiente
de Fourier de x na direo de e . O vetor x e a projeo de x na direo e .
Observe que o vetor x e um caso particular da projeo de um vetor u sobre o
vetor v 6= 0:
hu, vi
projv u =
v.
k v k2
(Veja a Figura 2.1 na p. 3.)
Exemplo 2.16 Com respeito ao Exemplo 2.13, notamos que, dado x = ( x1 , . . . , xn )
Kn , xi = h x, ei i a componente de x na direo ei . No Exemplo 2.14, se x = ( xn ) `2 ,
o coeficiente de Fourier xi = h x, ei i o i-simo termo da seqncia ( xn ).

2.2. SISTEMAS ORTONORMAIS

Exemplo 2.17 No espao E = CL2 [, ], C (veja o Exemplo 2.3), as funes hk (t) =

eikt / 2 = (cos kt + isen kt)/ 2, em que k Z, formam um sistema ortonormal, o

que decorre de
Z
1
hh j , hk i = heijt , eikt i =
ei( jk)t dt = jk .
2
(Estamos empregando a notao de Kronecker jj = 1, jk = 0, se j 6= k.)
A componente de f na direo hk dada por
1
h f , hk i = h f , eikt i =
2

f (t)eikt dt,

que justamente o k-simo coeficiente de Fourier (complexo) de f . (Este exemplo

justifica a denominao de coeficiente de Fourier dada ao escalar h x, e i.)

Podemos obter de S 0 = { hk : k Z} um sistema ortonormal para CL2 [, ], R ,

isto , um sistema composto por funes reais. De fato, se definirmos
1
e0 = h 0 = ,
2
ento
fk =

cos kt
fk = ,

hk + hk

gk =

sen kt
gk = ,

hk hk

,
i 2

k N,

k N.

(2.5)

Como as funes hk formam um sistema ortonormal e CL2 [, ], R um

subespao de CL2 [, ], C , as igualdades em (2.5) nos permitem concluir que

S = {e0 , f k , gk : k N} um sistema ortonormal em CL2 [, ], R . (Veja o Exerccio

13.)

Seja B 6= um subconjunto arbitrrio do espao com produto interno E.

Generalizando a noo de perpendicularidade j introduzida, definimos
B = { x E : h x, yi = 0 para todo y B} .
Notamos que B sempre um subespao fechado de E e tambm que E = {0}. (Veja
o Exerccio 15.)
Dado um sistema ortonormal S em E, nosso objetivo estudar < S >, o espao
gerado pelos vetores de S .
Comeamos estudando algumas propriedades de sistemas ortonormais finitos S =
{e1 , . . . , en } de um espao com produto interno E. (No estamos assumindo que E
tenha dimenso finita!) Considere um elemento x E. Ento vale:

x = h x, e1 i e1 + x h x, e1 i e1 < e1 > < e1 > .

( imediata a verificao de que x h x, e1 i e1 < e1 > , fato ilustrado na Figura 2.1

da p. 3.)
Mais geralmente, se denotarmos por F o espao gerado por S , ento
!

x = xF + (x xF ) =

hx, ei i ei +

i =1

x h x, ei i ei
i =1

como podemos verificar facilmente. (Veja a Figura 2.2.)

F F ,

CAPTULO 2. ESPAOS COM PRODUTO INTERNO



xF

F

Figura 2.2: O vetor x E escreve-se como x F + ( x x F ) F F , em que F = < S >

e x F = in=1 h x, ei i ei .
Do Teorema de Pitgoras decorre que

k x k2 = k x F k2 + k x x F k2 ,
igualdade que garante que

k x x F k2 = k x k2 k x F k2 ,
isto ,

x x i ei = k x k2 x i ei ,

i =1

i =1

(2.6)

e tambm que

k x F k2 k x k2 ,
ou seja,
n

| x i |2 k x k2 ,

(2.7)

i =1

expresso conhecida como (forma finita da) desigualdade de Bessel.

Exemplo 2.18 Em R3 com o produto interno cannico, considere o sistema ortonormal

2
2
S = {e1 , e2 }. Se x < S >, ento k x k2 = h x, e1 i + h x, e2 i , como verificamos

2
ao escrever x = x1 e1 + x2 e2 ; por outro lado, se x 6 < S >, ento k x k2 > h x, e1 i +

h x, e2 i2 = | x1 |2 + | x2 |2 .

2.3 Sistemas Ortonormais Enumerveis

Para tratarmos de sistemas ortonormais com infinitos elementos (o que implica que
a dimenso do espao infinita), comeamos abordando o caso em que o conjunto
de ndices A do sistema ortonormal {e : A} um conjunto enumervel. (
possvel uma abordagem direta do caso de um conjunto de ndices qualquer; nesse
caso, o professor pode seguir o roteiro apresentado na Seo 2.5.)

2.3. SISTEMAS ORTONORMAIS ENUMERVEIS

Seja S = {ei : i N} um sistema ortonormal no espao com produto interno

E e x E. Nesse caso, como a seqncia de termos no negativos sn = in=1 | xi |2
limitada por k x k2 , passando ao limite com n tendendo a infinito em (2.7), chegamos
(expresso enumervel da) desigualdade de Bessel:

| x i |2 k x k2 .

(2.8)

i =1

Essa desigualdade garante que, para todo x E, a seqncia ( xi ) um elemento de

`2 . A srie

x i ei

i =1

convergir5 )

(que pode no
chamada srie de Fourier generalizada de x E com respeito
ao sistema ortonormal S .
Se a srie de Fourier generalizada de x (com respeito ao sistema S ) convergir, ela
pode convergir para um elemento diferente de x. Essa situao j foi apresentada no
Exemplo 2.18. Vejamos uma variao ligeiramente mais elaborada daquele exemplo:
Exemplo
2.19 Consideremos o sistema ortonormal S = { f k , gk : k N} em

CL2 [, ], R . O sistema S um subconjunto prprio do sistema ortonormal

{e0 , f k , gk : k N}, apresentado no Exemplo 2.17. Assim, e0 uma funo ortogonal
a todos os elementos de S . Isso quer dizer que he0 , f k i = 0 e he0 , gk i = 0 para todo
k N. Logo, a srie de Fourier de e0 com respeito ao sistema S identicamente nula e,
portanto, no converge para e0 , mas sim para 0.

Passando ao limite quando n na igualdade (2.6), obtemos um critrio que

garante a convergncia da srie de Fourier generalizada de x:
Lema 2.20 Sejam S = {ei : i N} um sistema ortonormal em E e x E. Ento

u=

x i ei

i =1

| x i |2 = k u k2 .

i =1

Reciprocamente, temos

| x i |2 = k x k2

i =1

x=

x i ei .

i =1

Demonstrao: Suponhamos que u = i=1 xi ei . De acordo com o Teorema de

Pitgoras, temos ku in=1 xi ei k2 = kuk2 k in=1 xi ei k2 . Passando ao limite com
n , obtemos
2

(2.9)
u x i ei = k u k2 | x i |2 .

i =1
i =1
Assim, a convergncia da srie em E garante a convergncia da srie numrica
| xi |2 para kuk2 . Reciprocamente, se i=1 | xi |2 = k x k2 , ento a equao (2.9)
garante que i=1 xi ei = x.
2
i=1

5 Em espaos de Hilbert, essa srie sempre converge: veja o Teorema 2.24. Se o espao E no for
completo, a srie pode divergir. Veja o Exerccio XXXX do Captulo XXXX.

CAPTULO 2. ESPAOS COM PRODUTO INTERNO

10

Observao 2.21 Dividimos o enunciado em duas afirmaes independentes. Por um

lado, sempre ocorre a convergncia do desenvolvimento i=1 | xi |2 , de acordo com
a desigualdade de Bessel. Mas, por outro lado, a convergncia de i=1 | xi |2 no
caracteriza a existncia de um elemento u E para o qual i=1 xi ei converge. Se
i=1 | xi |2 = k x k2 , garantimos que a srie de Fourier generalizada de x converge para o
prprio x.

Se a srie de Fourier de x E (com respeito ao sistema ortonormal S ) convergir

para u, podemos relacionar os coeficientes de Fourier de x e u:
Lema 2.22 Sejam S = {ei : i N} um sistema ortonormal em E e i K (i N). Se
u = i=1 i ei , ento

(i ) ui = i .
Se v = i=1 i ei , com i K (i N), ento vale a

(ii ) identidade de Parseval:

*

hu, vi =

i ei , i ei

i =1

i =1

i i =

i =1

ui vi .

i =1

Demonstrao: Se u = i=1 i ei , dado j N, tome n j e considere u in=1 i ei .

Uma vez que
*
+
n

u i ei , e j

= uj j,

i =1

tomando o limite com n no lado esquerdo dessa igualdade, conclumos que

u j = j , provando (i ).
Uma vez que hei , e j i = ij , temos
*
+
n

i ei , j ei

i =1

i =1

i i =

i =1

ui vi ,

i =1

de acordo com (i ).
Tomando o limite com n tendendo a infinito nessa igualdade, obtemos (ii ). (A
srie numrica i=1 i i = i=1 ui vi (absolutamente) convergente, como resulta da
aplicao da desigualdade de Cauchy-Schwarz a (ui ), (vi ) `2 .)
2
Observao 2.23 Combinando os Lemas 2.20 e 2.22 (i), conclumos que, se i=1 i ei
convergir para u E, ento i=1 i ei = i=1 ui ei e kuk2 = i=1 |ui |2 = i=1 | i |2 .

Em espaos de Hilbert, fixado um sistema ortonormal enumervel, a cada

seqncia em `2 est associada uma srie de Fourier convergente:
Teorema 2.24 (Teorema de Riesz-Fischer)
Seja S = {ei : i N} um sistema ortonormal no espao de Hilbert H. Dada uma
seqncia ( i ) em K, a srie i=1 i ei converge se, e somente se,

| i |2 < .

i =1

2.3. SISTEMAS ORTONORMAIS ENUMERVEIS

11

Demonstrao: Dado m N, decorre do Teorema de Pitgoras que

2
m+ p
m+ p

i ei = | i |2 .
i =m

i =m

(2.10)

O somatrio no lado esquerdo da igualdade uma seqncia em H, enquanto o

lado direito uma seqncia em R. A convergncia de uma dessas seqncias implica
que a outra uma seqncia de Cauchy em um espao completo (veja o Exerccio ?? do
Captulo ??). Assim, em um espao de Hilbert,

i ei

converge

i =1

| i |2

converge.

i =1

Exemplo 2.25 De acordo com o Exemplo 2.17,

1 cos t sen t cos 2t sen 2t

S = , , , , ,...

2
um sistema ortonormal no espao de Hilbert L [, ], R .
De acordo com o Teorema de Riesz-Fischer 2.24, escolhidas constantes a0 , a1 , . . . e
b1 , b2 , . . . tais que

a20
+ a2k + bk2 < ,
2
k =1

2
ento existe f L [, ], R cujos coeficientes de Fourier so ak e bk , isto ,
1
ak =

1
bk =

f (t) cos kt dt,

Z

k {0, 1, 2, . . .}

f (t)sen kt dt,

k N.

(2.11)

(2.12)

Se retirarmos um elemento de S (por exemplo, 1/ 2), obtemos uma funo g

que tem as mesmas constantes como coeficientes de Fourier. As relaes entre os
coeficientes de Fourier de g e as constantesak e bk ser diferente de (2.11) e (2.12),
j que a0 estar associado ao elemento cos t/ e assim por diante.

Mostraremos, na Seo 2.4, que a srie de Fourier de f L2 [, ], R convergir

para f .

Note que as consideraes desse exemplo so vlidas porque L2 [, ], R

um espao de Hilbert. No espao CL2 [, ], R , por exemplo, s constantes ak e

bk no est necessariamente associada uma funo f que tem essas constantes como
coeficientes de Fourier.

Corolrio 2.26 Se S = {ei : i N} for um sistema ortonormal no espao de Hilbert H,

ento a srie de Fourier de x (com respeito a S )

x i ei ,

i =1

converge para um elemento u H e

x x i ei = ( x u ) S .
i =1

CAPTULO 2. ESPAOS COM PRODUTO INTERNO

12

Demonstrao: A desigualdade de Bessel garante que i=1 | xi |2 converge. Assim,

segue-se do Teorema 2.24 que

x i ei = u H .

i =1

Para verificar que ( x u)

*

S ,

basta notar que, de acordo com o Lema 2.22,

+

x x i ei , e j

= x j x j = 0,

j N.

i =1

Isso completa a demonstrao.

Observao 2.27 Se S = {e j : j N} for um sistema ortonormal em um espao com

produto interno arbitrrio E, o que podemos dizer sobre a convergncia de i=1 xi ei ?
Seja H o completamento de E. De acordo com o Exerccio 10, temos que H um
espao de Hilbert. Pelo Teorema 2.24, i=1 xi ei u H. Mas pode ocorrer que

u H \ E, isso , a srie i=1 xi ei no converge em E.

Fixado um sistema ortonormal S no espao de Hilbert H, denotemos por F o
conjunto de sries de Fourier (com respeito a S ) de elementos de H. O Teorema de
Riesz-Fischer estabelece uma bijeo entre F e `2 , do seguinte modo: a cada x H est
associado a sua srie de Fourier (com respeito ao sistema ortonormal S ), que converge
para um ponto u H, de modo que x u S . Por outro lado, a cada seqncia
( xi ) `2 , est associada uma srie de Fourier convergente. Se considerarmos um
sistema ortonormal S 0 6= S , estabelecemos uma outra bijeo entre o conjunto das
sries de Fourier (com respeito a S 0 ) e `2 . Gostaramos de estabelecer uma bijeo
entre x H e a srie de Fourier de x. De acordo com o Corolrio 2.26, isso exige que
S = {0}.
Definio 2.28 Um sistema ortonormal S no espao com produto interno E maximal (ou
completo), se S = {0}.
O resultado fundamental respeito da convergncia de sries de Fourier em
sistemas ortonormais maximais dado pelo
Teorema 2.29 (da Base Ortonormal)
Seja S = {ei : i N} um sistema ortonormal em um espao com produto interno E.
Denotemos por F = < S > o espao gerado por S e por xi o coeficiente de Fourier h x, ei i. As
seguintes propriedades so equivalentes:

(i ) para todo x E, temos x =

x i ei ;

i =1

(ii ) para quaisquer x, y E, vale a identidade de Parseval

h x, yi =

xi yi ;

i =1

(iii ) para todo x E temos

k x k2 =

| x i |2 ;

i =1

2.3. SISTEMAS ORTONORMAIS ENUMERVEIS

13

(iv) dado e > 0, para todo x E existe n N tal que

x xi ei < e.

i =1
Em particular, F denso em E;

(v) Todo funcional linear contnuo f : E K que se anula em S identicamente nulo;

Qualquer uma dessas propriedades implica:

(vi ) o sistema {ei : i N} maximal, isto , no existe elemento 0 6= e E tal que e S .

Se E for um espao de Hilbert, ento as propriedades (i ) (vi ) so equivalentes.
Demonstrao: A implicao (i ) (ii ) foi mostrada no Lema 2.22. Ao tomarmos
y = x, vemos que (ii ) (iii ). Dado e > 0, (iii ) garante a existncia de n N tal que

2
k x k2 in=1 | xi |2 < e. Como o Teorema de Pitgoras garante que x in=1 xi ei =
k x k2 in=1 | xi |2 , provamos que (iii ) (iv).
Suponhamos (iv). Para todo x E temos

!
!

n
n

| f ( x )| f xi ei + f x xi ei k f ke,

i =1
i =1
pois f se anula em F. Como e arbitrrio, conclumos que f 0, provando (v).
Para mostrar que (v) (i ), suponhamos a existncia de x E tal que x 6=
i=1 xi ei . (Estamos admitindo a possibilidade de i=1 xi ei no ser convergente.)
Definimos, ento, f : E K por
f (y) = hy, x i yi xi .
i =1

(A desigualdade de Cauchy-Schwarz em `2 garante que i=1 yi xi est bem definido.)

O funcional f contnuo (verifique!) e, de acordo com o Lema 2.22, temos f (ei ) =
xi xi = 0 para todo i N. Por outro lado, o Lema 2.20 e a desigualdade de Bessel
implicam que

f ( x ) = k x k2 | xi |2 > 0,
i =1

o que contradiz (v). Provamos, assim, a equivalncia das propriedades (i ) (v).

Se existisse e S , com e 6= 0, ento f (y) := hy, ei se anularia na famlia S , mas
no seria identicamente nulo, pois f (e) = kek 6= 0. Logo, temos que (v) (vi ).
Em espaos de Hilbert, o Corolrio 2.26 garante a convergncia de i=1 xi ei . Defina
ento e = x i=1 xi ei . Para todo ei S , temos he, ei i = ei ei = 0, ou seja, e S . A
condio (vi ) implica e = 0, isto , x = i=1 xi ei . Assim, verificamos que (vi ) (i ). 2
Definio 2.30 Seja E um espao com produto interno. Uma base ortonormal um sistema
ortonormal S satisfazendo qualquer das propriedades equivalentes listadas no Teorema 2.29.

CAPTULO 2. ESPAOS COM PRODUTO INTERNO

14

Observao 2.31 A denominao utilizada causa uma certa dubiedade: ao lidar com
uma base ortonormal, estamos nos referindo a uma base no sentido da Definio
2.30 ou a uma base no sentido da Definio ??? Para evitar qualquer mal entendido,
entenderemos sempre base ortonormal no sentido da Definio 2.30 e vamos nos referir
a uma base de Hamel no outro caso. Em espaos de Hilbert de dimenso infinita, a
dubiedade no existe: uma base de Hamel no pode ser um conjunto ortonormal! (Veja
o Exerccio 27.) Por outro lado, se o espao com produto interno no for completo, uma
base de Hamel pode ser um conjunto ortonormal, de acordo com o Exemplo 2.5.

Existem espaos com produto interno que no so completos, mas possuem base
ortonormal. (Veja a Seo 2.4.) Mas uma base ortonormal de um espao com produto
interno sempre uma base ortonormal de seu completamento. (Veja o Exerccio
26.) Como veremos (veja o Teorema 2.48), todo espao de Hilbert possui uma base
ortonormal. Assim, bases ortonormais em espaos que no so completos so obtidas,
essencialmente, ao se considerar um subespao (incompleto) de um espao de Hilbert.
Existe uma caracterizao simples dos espaos com produto interno que possuem
base ortonormal contvel:6
Teorema 2.32 Seja E um espao com produto interno. Ento E possui uma base ortonormal
contvel S se, e somente se, E for separvel.
Para mostrarmos esse resultado, recordamos o processo de ortogonalizao de GramSchmidt:
Lema 2.33 (Gram-Schmidt)
Sejam A N um conjunto contvel e { xn : n A} um conjunto linearmente
independente. Denotemos por < z1 , . . . , zk > o espao gerado pelos vetores z1 , . . . , zk . Ento
existe um conjunto ortonormal {en : n A}, com < e1 , . . . , ek > = < x1 , . . . , xk > para
todo k A.
Demonstrao: Utilizaremos induo em A, o caso em que A possui apenas um
elemento sendo trivial. Suponhamos obtidos os vetores e1 , . . . , ek1 . Consideramos
ento

!
k 1
1
ek =
x k c i ei ,
c
i =1
em que c e c1 , . . . , ck1 so constante que sero determinadas. Para obtermos ek
ortogonal a todos os ei j escolhidos, basta definir ci = h xk , ei i para i = 1, . . . , k 1.
Escolhemos ento c como a norma do vetor ek ik=11 ci xi . (Note que c > 0.) A definio
de ek garante que < e1 , . . . , ek > = < x1 , . . . , xk >.
2
Demonstrao do teorema: Suponhamos que E seja separvel e (zn ) uma seqncia
densa em E. Seja zn0 o primeiro termo no nulo da seqncia (zn ). Definimos ento
x1 = zn0 e x2 = z j , em que j o primeiro ndice tal que x1 e z j sejam linearmente
independentes.
Procedemos, ento, indutivamente. Chegaremos a um conjunto linearmente
independente { xi : i A}, em que A = N (no caso da seqncia (zn ) possuir infinitos
elementos linearmente independentes), ou ento A um conjunto finito {1, . . . , n}.
6 Estamos

utilizando a palavra contvel para significar um conjunto finito ou enumervel.

2.4. SRIES TRIGONOMTRICAS DE FOURIER

15

Aplicando Gram-Schmidt, desse conjunto { xi : i A} obtemos um sistema

ortonormal S = {ei : i A}. Afirmamos que S uma base ortonormal do espao
E. (Note que, se A for finito, S uma base de Hamel.)
Dados x E e e > 0, existe zn tal que k x zn k < e. Examinando a construo feita,
notamos que cada vetor zn uma combinao linear dos vetores x1 , . . . , xn . Como o
espao gerado por e1 , . . . , en o mesmo que o espao gerado por x1 , . . . , xn , vemos que
zn uma combinao linear dos vetores e1 , . . . , en . Assim, zn uma combinao linear
de vetores de S que est arbitrariamente prxima do ponto x E. Isso mostra que S
satisfaz a condio (iv) do Teorema da Base 2.29. Portanto, S uma base ortonormal
do espao E.
Reciprocamente, suponhamos que S = {ei : i N} seja uma base ortonormal do
espao com produto interno E. Considere, no caso K = C, o conjunto enumervel (veja
o Exerccio 20)

C = (1 + i 1 ) e1 + . . . + (n + i n ) en : n N, k , k Q, 1 k n .
Uma vez que, para todo x E

x xi ei 0 quando n ,

i =1
e in=1 xi ei pode ser aproximado por um elemento de C , esse conjunto denso em E. 2
Corolrio 2.34 Seja S = {e1 , . . . , en } um sistema ortonormal em um espao separvel E com
produto interno. Ento existe uma base ortonormal de E que contm S .
Demonstrao: Se (zn ) for uma seqncia densa em E, considere o conjunto denso
{e1 , . . . , en , z1 , z2 , . . .} e aplique o processo desenvolvido na demonstrao do Teorema.
2

2.4 Sries Trigonomtricas de Fourier

Nesta seo, seguindo a abordagem de Rudin [29], mostraremos que

eikt

: kZ
2

uma base ortonormal de L2 [, ], C . Como consequncia do Exemplo 2.17, isso

significa que

1 cos t sen t cos 2t sen 2t

S = , , , , ,... ,

uma base ortonormal de L2 [, ], R (veja tambm o Exemplo 2.25). Assim, toda

funo f L2 [, ], R pode ser representada por sua srie de Fourier:

S0 =

f (t) =

a0
+ an cos nt + bn sen nt,
2
n =1

t [, ],

(2.13)

CAPTULO 2. ESPAOS COM PRODUTO INTERNO

16

em que os coeficientes de Fourier an e bn foram explicitados no Exemplo 2.25.

Notamos que (2.13) uma igualdade entre funes em L2 ; assim, existe um
conjunto de pontos t R, de medida nula, no qual a srie de Fourier de f pode diferir
da funo f . Alm disso, como o lado direito da igualdade est definido para todo
t R e tem perodo 2, natural considerar a extenso peridica de perodo 2 de
f . Pode-se mostrar que, se a (extenso da) funo f for contnua para todo t R,
ento f e sua srie de Fourier sero idnticas em todo ponto t R. Essa questo no
ser tratada nesta seo: um tratamento alternativo, que tambm abordar a questo
da convergncia pontual da srie de Fourier de f para a funo f , pode ser visto no
Apndice ??.
Um polinmio trigonomtrico p N uma soma da forma
p N (t) =

N
a0
+ ( ak cos kt + bk sen kt) ,
2
k =1

em que a0 , . . . , a N e b1 , . . . , b N so nmeros complexos. claro que todo polinmio

trigonomtrico p N satisfaz p N (t + 2 ) = p N (t).
Utilizando a identidade de Euler eit = cos t + isen t, usual escrever um
polinmio trigonomtrico na forma
N

p N (t) =

ck eikt .

k = N

0
Deacordo com
o Teorema 2.29 (iv), para provarmos que S uma base ortonormal
2
em L [, ], C , suficiente verificar que o conjunto dos polinmios trigonomtricos
denso nesse espao. Mas faremos mais: denotaremos por C (S1 , R) o conjunto das
funes f : [, ] C cuja extenso peridica de perodo 2 contnua em R. Quer
dizer,

C (S1 , C) = { f : R C : f contnua e f (t + 2 ) = f (t),

t R}.

Uma vez que C S1 , C denso em L2 [, ], C , basta ento mostrarmos que o

conjunto dos polinmios trigonomtricos denso em C S1 , C . Em particular, isso

significa que S 0 uma base ortonormal em CL2 [, ], C ; ou, o que equivalente,

que S uma base ortonormal no espao espao CL2 [, ], R . Lembramos que esses
espaos de funes contnuas noso completos.

Assim, dados e > 0 e f C S1 , C , mostraremos a existncia de um polinmio

trigonomtrico p N tal que k f p N k < e.
Lema 2.35 Existem polinmios trigonomtricos qn , n N, tais que

(i ) qn (t) 0 para todo t R;

(ii )

1
2

qn (t)dt = 1;

(iii ) para todo > 0, qn (t) 0 uniformemente em [, ] [, ].

2.4. SRIES TRIGONOMTRICAS DE FOURIER

17

Demonstrao: Definimos os polinmios trigonomtricos (veja o Exerccio 14)

1 + cos t n
qn (t) = dn
, n N,
2
em que dn R escolhido para satisfazer (ii ). Claramente vale (i ), de modo que o
resultado estar provado se verificarmos (iii ).
Comeamos estimando a constante dn . Para isso, notamos que qn uma funo par
e

Z
Z
dn 1 + cos t n
dn 1 + cos t n
2dn
1=2
dt >
sen t dt =
,
2 0
2
0
2
( n + 1)
a ltima constante sendo obtida ao se resolver a integral que lhe antecede. Isso mostra
que
( n + 1)
dn <
.
2
Uma vez que qn decrescente em [0, ], para > 0 e |t| [, ] temos

(n + 1) 1 + cos n
1 + cos n
<
.
qn (t) qn () = dn
2
2
2
Uma vez que 1 + cos < 2 para 0 < , a convergncia uniforme (iii ) decorre da
desigualdade anterior.
2

Teorema 2.36 Dados f C S1 , C e e > 0, existe um polinmio trigonomtrico p tal que

| f (t) p(t)| < e para todo t R.

Demonstrao: Definimos, para n N,
1
2

pn (t) =

f (t s)qn (s)ds,

em que qn o polinmio trigonomtrico definido na prova do Lema 2.35.

Afirmamos que pn um polinmio trigonomtrico para todo n N. De fato,
Z

f (t s)qn (s)ds =

f (t + v)qn (v)(dv) =

Z t+
t

f (s)qn (t s)dt

f (s)qn (t s)ds,

em que fizemos as mudanas de varivel s = v e v = t s. A ltima igualdade

decorre da periodicidade de f e qn .
Uma vez que qn um polinmio trigonomtrico, podemos escrever qn (t s) =
k= Nn
k= N
k= Nn ck eik(ts) = k=nNn ck eikt eiks . fcil ento notar que
Z

f (s)qn (t s)ds

um polinmio trigonomtrico. (Note que verificamos que pn um polinmio

trigonomtrico, qualquer que seja o polinmio trigonomtrico qn .)

CAPTULO 2. ESPAOS COM PRODUTO INTERNO

18

Dado e > 0, como f uniformemente contnua no compacto [, ], existe > 0

tal que | f (t) f (s)| < e, sempre que |t s| < . Uma vez que qn satisfaz a propriedade
(ii ) do Lema 2.35, temos que
1
pn (t) f (t) =
2

[ f (t s) f (t)] qn (s)ds.

Como os polinmios trigonomtricos qn so no negativos, temos que

1
| pn (t) f (t)|
2

| f (t s) f (t)| qn (s)ds.

Para estimarmos essa integral, consideramos inicialmente s [, ]. Para esse

valores de s, o integrando menor do que eqn (s), de modo que
1
2

e
| f (t s) f (t)| qn (s)ds <
2

qn (s)ds = e.

Agora consideremos s [, ] \ [, ]. Para esses valores de s temos que

| f (t s) f (t)|qn (s) 2k f k sup qn (s),

|s|[, ]

de forma que decorre da propriedade (iii ) de qn que

1
2

1
| f (t s) f (t)|qn (s)ds +
2

| f (t s) f (t)|qn (s)ds

menor do que e (independentemente de t), desde que tomemos n suficientemente

grande.
Provamos assim que
k pn f k < e,
para n suficientemente grande.

Observao 2.37 Uma bela demonstrao alternativa do Teorema 2.36 pode ser
encontrada em Krner (Teorema 2.5).

2.5 Sistemas Ortonormais No Enumerveis

(Esta seo mais avanada e pode ser suprimida, a critrio do professor.)
Nosso objetivo mostrar que o Teorema da Base 2.29 tambm vlido se considerarmos um sistema
ortonormal no enumervel S = {e : A}. (Estamos supondo que o conjunto A seja no
enumervel. Exemplificaremos, posteriormente, um espao de Hilbert que possui um sistema ortonormal
no enumervel. Contudo, ressaltamos que espaos de Hilbert que no so separveis7 so, basicamente,
uma construo terica.)
Para generalizar a desigualdade de Bessel, enfrentamos um obstculo: dar significado expresso

A
7 Veja

o Teorema 2.32.

h x, e i2 =

| x |2 .

2.5. SISTEMAS ORTONORMAIS NO ENUMERVEIS

19

Lema 2.38 Seja S = {e } A um sistema ortonormal no espao com produto interno E. Ento, dado x E,
apenas uma quantidade enumervel de coeficientes de Fourier x = h x, e i pode ser no-nula. Alm disso, se
{e1 , . . . , en , . . .} for um ordenamento arbitrrio dos elementos de S tais que h x, e i 6= 0, est bem definido

| x |2 =

h x, e i2 =

hx, ei i

i =1

| x i |2 .

i =1

Mais ainda, para todo x E, vale a desigualdade de Bessel

| x |2 k x k2 .

(2.14)

Demonstrao: Dado e > 0, defina Se = {e S : h x, e i > e}. Tome e1 , . . . , en Se distintos. De

acordo com a (forma finita da) desigualdade de Bessel 2.7, temos

k x k2

hx, e i

ne2 .

i =1

Portanto, n

(k x k/e)2 ,

provando que Se finito para todo e > 0. Uma vez que

{e S : h x, e i 6= 0} =

S1/n ,

n =1

mostramos que apenas uma quantidade enumervel de coeficientes de Fourier pode ser no-nula.8
Escolha arbitrariamente uma enumerao para esses coeficientes no nulos. Passando ao limite com
n tendendo a infinito na forma finita da desigualdade de Bessel (2.7), obtemos, para essa enumerao,

hx, ei i

i =1

|xi |2 k xk2 < .

i =1

Como a srie i=1 | xi |2 absolutamente convergente,9 ela tambm comutativamente convergente,

isto , sua soma independe do ordenamento escolhido para os coeficientes de Fourier no nulos. (Veja,
por exemplo, [25], Teorema 22 do Captulo IV.) Isso quer dizer que A | x |2 est bem definido e vale a
desigualdade de Bessel.
2

Observao 2.39 Fixado x E, apenas uma quantidade enumervel de coeficientes de Fourier x =

h x, e i pode ser no-nula. Mas esses coeficientes no nulos variam com o elemento x E. Assim, isso no
implica que um sistema ortonormal em E possua no mximo uma quantidade enumervel de elementos.
A desigualdade de Bessel (2.14) garante, como antes, que os coeficientes de Fourier no nulos de
x E formam uma seqncia que pertence ao espao `2 .

Agora estamos em condies de refazer o percurso da Seo 2.3. Apresentaremos apenas as

modificaes necessrias em cada um dos resultados daquela Seo. Seja S = {e } A um sistema
ortonormal no enumervel no espao com produto interno E. Dado x E, precisamos dar sentido
para a expresso

x e .

Aqui, como antes, enfrentamos a questo de ordenar os elementos no nulos do somatrio.

Para isso, aplicamos o Lema 2.38 e consideramos um ordenamento arbitrrio {e1 , . . . , en , . . .} dos
elementos de S correspondentes aos coeficientes de Fourier x = h x, e i no nulos. Se in=1 h x, ei i ei
convergir para u E quando n , definimos

A
8 Lembre-se
9 Veja

x e =

xi ei = u.

i =1

que uma unio enumervel de conjuntos enumerveis um conjunto enumervel.

a Definio ??.

CAPTULO 2. ESPAOS COM PRODUTO INTERNO

20

Como na prova do Lema 2.20, a convergncia da srie de Fourier i=1 xi ei implica a convergncia da
srie numrica i=1 | xi |2 , a qual comutativamente convergente. Isso mostra que A x e independe
do ordenamento dos coeficientes de Fourier x 6= 0. Obtemos assim a verso no enumervel do Lema
2.20.
O Lema 2.22 obtido do mesmo modo: basta escolher um ordenamento dos coeficientes x e y no
nulos. O Corolrio 2.26 garante a convergncia de A x e em um espao de Hilbert: basta escolher
um ordenamento dos coeficientes de Fourier x 6= 0.
Agora, sempre escolhendo um ordenamento arbitrrio dos coeficientes de Fourier x 6= 0, obtemos o
Teorema da Base Ortonormal 2.29, mostrando que ele vale mesmo se o sistema ortonormal S = {e :
A} for no enumervel.

2.6 Isometrias e Espaos de Hilbert

Definio 2.40 Seja E um espao com produto interno. Uma isometria uma bijeo
M : E E tal que, para quaisquer x, y E,

k x yk = k M( x ) M(y)k.
claro que uma translao uma isometria. Dada uma isometria qualquer,
podemos comp-la com uma translao e obter uma isometria M tal que M(0) = 0.
O prximo resultado mostra que isometrias so aplicaes muito bem comportadas:
Proposio 2.41 Seja M : E E uma isometria, com M(0) = 0. Ento
M ( x + y ) = M ( x ) + M ( y ).
Se E for um espao real, ento M linear.
Demonstrao: Denotando M( x ) = x 0 , temos

k x k2 = k x 0 k2 ,
e

k y k2 = k y 0 k2

k x y k2 = k x 0 y 0 k2 .

(2.15)
(2.16)

Uma vez que

h x 0 y 0 , x 0 y 0 i = h x 0 , x 0 i h x 0 , y 0 i h y 0 , x 0 i + h y 0 , y 0 i,
e que expresso anloga vale para h x y, x yi, ao substituirmos (2.15) em (2.16)
obtemos
h x 0 , y0 i + hy0 , x0 i = h x, yi + hy, x i.
(2.17)
Do mesmo modo,

kz x yk2 = kzk2 + kyk2 + k x k2 hz, x i h x, zi hz, yi hy, zi + h x, yi + hy, x i.

Segue-se de (2.15), (2.16) e (2.17) que

k z 0 x 0 y 0 k2 = k z x y k2 .
Escolhemos ento z = x + y. O lado direito dessa igualdade , ento, nulo. Assim,
temos z0 x 0 y0 = 0. Mas isso mostra que M ( x + y) = M( x ) + M(y).

2.6. ISOMETRIAS E ESPAOS DE HILBERT

21

Suponhamos agora que E, F sejam espaos reais. Ento, (2.17) implica que

h M( x ), M(y)i = h x, yi.
Agora completamos a prova da linearidade de M:

h M(x ), Myi = hx, yi = h x, yi = h M( x ), M(y)i = hM( x ), M(y)i.

Por conseguinte,

h M(x ) M( x ), M(y)i = 0.
Escolhendo sucessivamente y = x e y = x, obtemos

h M(x ) M( x ), M(x )i = 0
e

h M(x ) M( x ), M( x )i = h M(x ) M( x ), M( x )i = 0.
Logo,

h M(x ) M( x ), M(x ) M( x )i = 0,
mostrando a linearidade de M no caso real.

Um teorema de Mazur e Ulam estabelece que resultado anlogo Proposio 2.41

vlido para isometrias M : E F entre espaos normados. Veja [23].
Proposio 2.42 Sejam E, F espaos com produto interno e M : E F uma aplicao linear.
Ento M uma isometria se, e somente se, preservar o produto interno, isto ,

h Mx, Myi = h x, yi.

Demonstrao: A identidade de polarizao (Lema 2.10) adequada ao caso mostra que
uma isometria linear preserva produto interno. Se M preservar o produto interno,
ento claramente uma isometria.
2
Teorema 2.43 Seja H um espao de Hilbert separvel. Se H tiver dimenso n, ento
isomtrico a Kn ; se tiver dimenso infinita, isomtrico a `2 .
Demonstrao: Suponhamos que H tenha dimenso finita. Seja { x1 , . . . , xn } uma base
ortonormal de H. Dado x, y H, temos x = 1 x1 + . . . + n xn . Defina T : H Kn por
Tx = (1 , . . . , n ). Claramente T um isomorfismo e, se y = 1 x1 + . . . + n xn , ento
n

h x, yi =

i i = hTx, Tyi.

i =1

Se H tiver dimenso infinita, j vimos que H possui uma base ortonormal

enumervel S = {ei : i N}. Assim, podemos aplicar o Teorema da Base 2.29 e
concluir que x = i=1 xi ei , em que xi = h x, ei i. Definimos T : H `2 por Tx = ( xi )iN .
A identidade de Parseval mostra que ( xi ) uma seqncia em `2 . Claramente T linear
e, ainda pelo Teorema da Base 2.29, temos que

h x, yi =

xi yi =

i =1

( x i ), ( y i ) .

CAPTULO 2. ESPAOS COM PRODUTO INTERNO

22

Observao 2.44 Vemos assim que, no caso de um espao de Hilbert separvel de

dimenso infinita, o Teorema 2.43 complementa o Teorema de Riesz-Fischer 2.24: esse
identifica as sries de Fourier de elementos x H com elementos de `2 , enquanto
aquele identifica os elementos de x diretamente com os elementos de `2 . Assim, `2 o
prottipo de um espao de Hilbert separvel. (Note que `2 separvel, de acordo com
o Teorema 2.32.)
O que pode ser dito no caso em que E for um espao com produto interno com
base enumervel? A demonstrao apresentada nos mostra que E isomtrico a um
subespao ` E (que no pode ser fechado!) do espao de Hilbert `2 .

(O restante desta seo depende de resultados da Seo 2.5 e sua exposio pode ser suprimida, a
critrio do professor.)
Nosso objetivo nesta Seo caracterizar os espaos de Hilbert que possuem base ortonormal no
enumervel. Vamos mostrar que eles so isomtricos a uma extenso do espao `2 , denotada por `2 ( A).
A apresentao desse espao ser feita sem a utilizao de medida. Para aqueles que dominam esse
conceito, uma abordagem mais simples de `2 ( A) pode ser encontrada em [29].
Introduzimos o espao `2 ( A):
Definio 2.45 Seja A um conjunto no vazio e x : A K uma funo tal que
Ix = { t A : x ( t ) 6 = 0}
um conjunto enumervel. Se (ti ) for uma enumerao dos elementos de Ix , suponhamos adicionalmente que
i=1 | x (ti )|2 < . Definimos `2 ( A) como o conjunto de funes que satisfazem essas duas hipteses e definimos

|x(t)|2 = |x(ti )|2 .

t A

i =1

Note que, como {t A : x (t) 6= 0} enumervel, a coleo {| x (t)|2 }t A descrita por meio da srie
| x (ti )|2 . Como essa srie converge absolutamente, ela tambm comutativamente convergente, o
que garante que t A | x (t)|2 est bem definido.
A demonstrao do prximo resultado uma simples coleta de argumentaes j apresentadas.
i=1

Teorema 2.46 O conjunto `2 ( A) um espao vetorial com as definies habituais de soma x + y e multiplicao
por escalar x, com K. Em `2 ( A) definimos o produto interno
n

h x, yi =

x ( t ) y ( t ) = x ( t i ) y ( t i ),

t A

i =1

em que {t1 , . . . , tn , . . .} uma enumerao dos pontos em que x (t)y(t) 6= 0. Esse produto interno faz de `2 ( A) um
espao de Hilbert com base ortonormal S = {et : t A}, sendo

1 se t =
et ( ) =
0 se t 6= ,
para todo A.
Demonstrao: Dados x, y `2 ( A), seja tk uma enumerao de todos os elementos t A tais que x (t) 6= 0
ou y(t) 6= 0.
Como10
| x (tk ) + y(tk )|2 22 max{| x (tk )|2 , |y(tk )|2 } 4(| x (tk )|2 + |y(tk )|2 ),
obtemos

|x(t) + y(t)|2

t A

|x(tk ) + y(tk )|2

k =1

<

k =1
10 Essa

a estimativa (??) no caso p = 2.

| x (tk )|2 + |y(tk )|2 = 4

t A

| x (t)|2 + |y(t)|2

2.6. ISOMETRIAS E ESPAOS DE HILBERT

23

Assim, x + y `2 ( A). Do mesmo modo, x `2 ( A), para todo K. Isso mostra que `2 ( A) um espao
vetorial.
Como na demonstrao da Proposio 2.22, temos que h x, yi est bem definido. claro que esse um
produto interno em `2 ( A).
Seja agora ( xn ) `2 ( A) uma seqncia de Cauchy. Dado e > 0, existe n0 N tal que, para quaisquer
m, n n0 ,

!1/2

k xm xn k =

|xm (t) xn (t)|2

< e.

(2.18)

t A

Assim, para cada t A, temos | xm (t) xn (t)|2 e, o que garante que ( xn (t)) uma seqncia de Cauchy
em K para todo t A fixo. Como K completo, existe x (t) = limn xn (t). Est assim definida uma
funo x : A K. Vamos mostrar que x `2 ( A).
Como xn `2 ( A), o conjunto In = {t A : xn (t) 6= 0} enumervel. Assim,
I=

In

n =1

tambm enumervel. Afirmamos que

Ix = {t A : x (t) 6= 0} I,
de onde decorre imediatamente que Ix enumervel. Para provar a nossa afirmao, basta notar que se
t 6 I, ento xn (t) = 0 para todo n e, como consequncia, x (t) = 0.
Escrevendo o conjunto I como uma seqncia (t j ), a desigualdade (2.18) nos mostra que, para todo
k N, vale
k

|xm (t j ) xn (t j )|2 e2 ,

j =1

se m, n n0 . Tomando o limite quando m , obtemos

k

|x(t j ) xn (t j )|2 e2

j =1

e, quando k ,

|x(t) xn (t)|2 e2 .

t I

Da segue-se que

|x(t) xn (t)|2 e2 ,

t A

pois xn (t) e x (t) so ambas nulas quando t A \ I. Isso mostra que x xn `2 ( A) e

k x xn k e.

(2.19)

Logo, x = xn + ( x xn ) `2 ( A). Da desigualdade (2.19) segue que xn x em `2 ( A), o que mostra que
`2 ( A) um espao de Hilbert.
Uma vez que h x, e i = x ( ) e x = A xe (igualdade verificada em todo ponto t A), vemos que
S uma base ortonormal com cardinalidade A.
2
Na demonstrao do Teorema 2.46 no supomos que o conjunto A seja no enumervel. Se esse for
o caso, fcil verificar que `2 ( A) coincide com o espao `2 , definido no Captulo ?? (veja o Exerccio 29).
Assim, o prximo resultado uma generalizao do Teorema 2.43.
Teorema 2.47 (Riesz-Fischer generalizado)
Seja S = { f : A} uma base ortonormal do espao de Hilbert H. Ento H isomtrico a `2 ( A).
Demonstrao: Seja S = { f : A} uma base ortonormal para H. (Essa base existe, de acordo com
o Teorema 2.48.) Para x H arbitrrio, a identidade de Parseval garante que k x k2 = A | x |2 =

2
A h x, f i < .
Considere o espao `2 ( A) e a base ortonormal S 0 = {e : A} dada pelo Teorema 2.46.

CAPTULO 2. ESPAOS COM PRODUTO INTERNO

24

De acordo com o Teorema da Riesz-Fischer 2.24, existe

hx, f i e `2 ( A).

Definimos

H
x

`2 ( A )
hx, f i e .

(A imagem de no ponto x a funo g : A K que assume o valor A h x, f i e (t) = h x, f t i no ponto

t A.)
O Teorema da Base 2.29 nos garante que k( x )k = A | x |2 = k x k2 . Isso garante que uma
isometria e, portanto, injetora. (Veja o exerccio 24.)
Para verificarmos que sobrejetora, tome g `2 ( A). A identidade de Parseval garante que

2
= A | g |2 = A h g, e i . Considere y = g f . Como antes, temos que y H. claro que
(y) = g.
2

k g k2

2.7 Sistemas Ortonormais Maximais

(Esta seo depende de resultados da Seo 2.5 e pode ser omitida, a critrio do professor.)
Seja E um espao com produto interno. J vimos que, se E for um espao separvel, ento ele sempre
possui uma base ortonormal. Mas e se E no for separvel? Podemos garantir que E possui uma base
ortonormal no enumervel? Essa uma questo importante, pois a aplicabilidade do Teorema da Base
2.29 depende de sua existncia. Em um espao de Hilbert, essa questo respondida afirmativamente:
Teorema 2.48 Seja S um sistema ortonormal em um espao com produto interno. Ento existe um sistema
ortonormal maximal que contm S .
Em particular, todo espao de Hilbert H 6= {0} possui uma base ortonormal.
A demonstrao desse resultado ser apresentada no Apndice ??.
Observao 2.49 Note que, se E for um espao com produto interno (ou um espao de Hilbert) que possui
base ortonormal no enumervel, ento conjunto das combinaes lineares finitas de elementos da base
ortonormal no pode ser enumervel. (Se ele fosse enumervel, E possuiria um conjunto enumervel
denso e teria, portanto, base ortonormal enumervel.)

Existem espaos com produto interno que possuem um sistema ortonormal maximal que no uma
base ortonormal. Posteriormente exemplificaremos tal situao. (Veja o Exemplo ??, mas tambm o
Exerccio 28.) Mais geralmente, existem espaos com produto interno que no possuem base ortonormal,
isto , neles qualquer sistema ortonormal maximal no uma base ortonormal. (Exemplos ilustrando essa
ltima situao esto alm do escopo deste texto.)
Teorema 2.50 Sejam S1 e S2 duas bases ortonormais de um espao com produto interno E. Ento existe uma
bijeo entre S1 e S2 . Em outras palavras, duas bases ortonormais S1 e S2 do espao E tm a mesma cardinalidade.
Omitiremos a prova desse resultado, que depende do Teorema de Cantor-Bernstein.11 Contudo,
notamos que ele nos permite definir a dimenso de um espao de Hilbert com respeito ao conceito de
base ortonormal: a dimenso de um espao de Hilbert H a cardinalidade de sua base ortonormal S .

2.8 Exerccios
1. Sejam E um espao com produto interno e k k a norma gerada por seu produto
interno. Mostre que k k2 uma funo convexa.
11 Para

leitores interessados, nos referimos a [19].

2.8. EXERCCIOS

25

2. Seja E um espao euclidiano complexo. D um exemplo mostrando que a validade

do Teorema de Pitgoras para x, y E no implica que x y.
3. Seja E um espao com o produto interno h, i. Demonstre a desigualdade de
Cauchy-Schwarz da seguinte maneira: para x, y E, desenvolva a expresso
0 h x ty, x tyi. Escolhendo = h x, yi, obtenha um trinmio do segundo
grau com coeficientes reais. Analise esse trinmio e obtenha a desigualdade de
Cauchy-Schwarz.

4. Seja E um espao com produto interno. Mostre que h x, yi = k x k kyk se, e

somente se, os vetores x, y forem linearmente dependentes.
5. Considere um espao com produto interno E e vetores u, v E, com u 6= 0.
Interprete geometricamente a desigualdade de Cauchy-Schwarz em termos das
normas dos vetores proju v e u.
6. Sejam E1 , E2 espaos com produto interno. Considere o produto cartesiano
E1 E2 . Verifique que E1 E2 um espao com produto interno, se definirmos

( x1 , y1 ), ( x2 , y2 ) = h x1 , x2 i + h y1 , y2 i.
7. Seja X o espao das funes f : [ a, b] C de classe C1 . Defina, para f , g X,

h f , gi :=

Z b
a

f 0 ( x ) g0 ( x )dx.

( a) h, i um produto interno?
(b) Considere F = { f X : f ( a) = 0}. Em F, h, i um produto interno?
8. Demonstre o Lema 2.10 e a Proposio 2.11.

9. Mostre que a norma k ksup em C [ a, b], K no gerada por um produto interno.

10. Seja E um espao com produto interno que no seja completo. O completamento
de E foi definido na Seo ??. Mostre que o completamento de E um espao de
Hilbert.
11. Mostre que, se S = {e } A for uma famlia ortogonal de vetores no nulos no
espao com produto interno E, ento {e } A linearmente independente.
12. Seja S uma famlia ortonormal no espao com produto interno E.

(a) Mostre que, se u, v S , ento ku vk = 2.

(b) Mostre que, para x E fixo, o conjunto Mx = {u S : h x, ui 6= 0} , no
mximo, enumervel.
13. Com respeito ao Exemplo 2.17, mostre:

( a) hh j , hk i = jk ;

(b) S = e0 , f k , gk : k N um sistema ortonormal em CL2 [0, 1], R .

14. Utilizando as igualdades (2.5), mostre que as funes qn do Lema 2.35 so
polinmios trigonomtricos.

CAPTULO 2. ESPAOS COM PRODUTO INTERNO

26

15. Seja B 6= um subconjunto do espao E com produto interno. Mostre que B

um subespao fechado de E.
16. (Os polinmios de Legendre) Considere o espao E = CL2 ([1, 1]) e o conjunto
linearmente independente B = {1, x, x2 , . . . , x n , . . .}.
(a) Aplique o processo de Gram-Schmidt base B e encontre os trs primeiros
termos p0 , p1 e p2 do sistema ortogonal12 gerada por B . Note que difcil
encontrar uma expresso recorrente para os termos da base ortogonal;
(b) defina

dn 2
( x 1) n .
dx n
Mostre que o conjunto {qn : n = 0, 1, . . .} um conjunto ortogonal em E.
Para isso, utilizando integrao por partes, mostre que qn perpendicular a
x m para todo 0 m < n. Conclua da que qn qm para n 6= m;
qn ( x ) =

(c) comparando os coeficientes dos termos de grau n desses polinmios).

Conclua que
pn =

n! dn 2
n!
qn =
( x 1)n ; ( frmula de Rodrigues )
(2n)!
(2n)! dx n

(d) calcule k pn k. Para isso, considere rn = ( x2 1)n . Notando que esse

polinmio nulo para x = 1, efetue vrias integraes por partes e
obtenha que
Z 1 n
(n!)2 2n+1
d rn ( x ) dn rn ( x )
2
.
dx =
n
n
dx
dx
2n + 1
1
Calcule ento h pn , pn i e conclua que

n
2 2 (n!)2
k pn k =
.
2n + 1(2n)!
(e) Defina
Pn =

(2n)!
1 dn 2
p
=
( x 1) n .
n
2n (n!)2
2n n! dx n

Mostre que

k Pn k =

2
.
2n + 1

Os polinmios Pn so os polinmios de Legendre. Pode-se verificar que tais

polinmios formam um sistema ortonormal maximal em CL2 ([1, 1]) e,
portanto, uma base ortonormal de L2 ([1, 1]).13
17. Ache a, b, c R de forma a minimizar o valor da integral
Z 1
1
12 No
13 No

| x3 ax2 bx c|2 dx.

transforme os vetores em unitrios!

livro de Helmberg [14], so tratadas diversas bases ortonormais polinomiais para L2 .

2.8. EXERCCIOS

27

18. (Os polinmios de Laguerre) Considere o espao E = C [0, ), C . Verifique

que
Z

h f , gi =

f ( x ) g( x )e x dx

um produto interno em E. Aplique o processo de ortogonalizao de GramSchmidt seqncia de funes ( f n ), em que f n ( x ) = x n , n {0, 1, . . .}. O
resultado desse processo so os polinmios de Laguerre.
19. Mostre que `0 , de maneira natural, um espao de Hilbert. Ache uma base
ortonormal para esse espao.
20. Seja S = {ei : i N} seja uma base ortonormal do espao complexo com produto
interno E. Mostre que o conjunto

C = (1 + i 1 ) e1 + . . . + (n + i n ) en : n N, k , k Q, 1 k n
enumervel. Qual a adaptao desse conjunto para espaos reais com produto
interno?
21. D uma demonstrao direta, isto , sem apelar para o Teorema 2.29, de que o
espao `2 separvel.
22. Demonstre, por contradio, que se o espao com produto interno E for
separvel, ento qualquer conjunto ortonormal em E , necessariamente,
enumervel. Para isso, utilize o Exerccio 12.
23. Seja H um espao de Hilbert separvel e F H um subespao fechado. Mostre
que F um espao de Hilbert separvel.
24. Seja f : E F uma bijeo linear entre os espaos com produto interno E
e F. Ento f um isomorfismo se, e somente se, for uma isometria, isto ,
k x k1 = k f ( x )k2 para todo x E.
25. Seja T : E F uma aplicao entre espaos com produto interno. Mostre que se
T preservar o produto interno ento T linear.
Os prximos exerccios tratam de bases ortonormais. Se voc no estudou as Sees
2.5 e 2.7, assuma que as bases ortonormais so enumerveis.
26. Mostre que, se S for uma base ortonormal do espao com produto interno E,
ento S uma base ortonormal do completamento H de E.
27. Vamos, nesse exerccio, estudar a relao entre bases ortonormais e bases de
Hamel em um espao de Hilbert. Assim, sejam S uma base ortonormal e B uma
base de Hamel no espao de Hilbert H. Suponha que S no seja um conjunto
finito.
(a) Mostre que S no uma base de Hamel de H;
(b) Mostre que os vetores de B no podem ser todos ortogonais entre si; em
outras palavras, os vetores de uma base de Hamel no formam um sistema
ortonormal.

28

CAPTULO 2. ESPAOS COM PRODUTO INTERNO

(c) Mostre que a cardinalidade de uma base de Hamel sempre maior do que
ou igual ao de uma base ortonormal de qualquer espao de Hilbert;
(d) Suponha agora que H seja separvel. Mostre que uma base de Hamel de H
no pode ser enumervel. Em particular, a cardinalidade de uma base de
Hamel em H maior do que a de uma base ortonormal de H.

Observao 2.51 Em um espao E com produto interno, uma base de Hamel pode ser
um sistema ortonormal, de acordo com o Exemplo 2.5. Isso implica, em particular, que
o espao E daquele exemplo no completo com o produto interno nele introduzido!
Mais do que isso, comparando com o Exemplo 26, vemos que a base de Hamel de E
nunca uma base de Hamel de seu completamento.14

28. Neste exerccio mostraremos a existncia de um subespao F do espao com

produto interno E tal que E 6= F F . Tambm mostraremos que nem todo
sistema ortonormal maximal uma base ortonormal.15 (Uma apresentao mais
simples feita no Exemplo ??.)
(a) Considere um espao E, com produto interno, que no seja completo. Seja
H 6= E seu completamento. (Note que E um subespao convexo de H, mas
no completo.) Considere um elemento x0 H \ E e defina

F = y E : hy, x0 i = 0 .
Mostre que F um subespao fechado de E e F 6= E;
(b) Mostre que F um subespao de codimenso 1 em E, isto , todo elemento
x E pode ser escrito de maneira nica como
x = y + v F < v >,
em que v E \ F foi escolhido arbitrariamente;
(c) Mostre que F = {0}, isto , no existe 0 6= w E tal que hw, yi = 0 para
todo y F. Assim, E 6= F F .
A parte final do exerccio depende das Sees 2.5 e 2.7:
(d) Considere um sistema ortonormal maximal S = {e : A} de F, cuja
existncia garantida pelo Teorema 2.48. Uma vez que F = {0}, esse
sistema maximal no espao E. Mostre que S no uma base ortonormal
de E.
Os dois prximos exerccios dependem da Seo 2.6.
29. Mostre que `2 = `2 (N). Isto , a definio do espao `2 coincide com a definio
do espao `2 ( A) quando A = N.
30. O cubo de Hilbert o conjunto dos pontos x = ( x1 , . . . , xn , . . .) `2 tais que
xi 1/i. Mostre que o cubo de Hilbert um conjunto compacto.
14 E,

como se verifica facilmente, no se torna uma base de Hamel do completamento se adicionarmos

um nmero finito de vetores a essa base!
15 Conforme [16].

2.8. EXERCCIOS

29

O objetivo dos prximos exerccios oferecer uma demonstrao do Teorema de

Aproximao de Weierstra. (Estamos seguindo a abordagem de Reginaldo J. Santos
[32]). Comeamos com um resultado tcnico:
31. Se 0 x < b

k
n

1 ou 0

k
n

b < x 1, ento
2

x k/n (1 x )1(k/n) e2(xb) bk/n (1 b)1(k/n) .

2

Sugesto: separe, no lado direito de desigualdade, o termo e2(xb) ; tome o

logaritmo e analise uma expresso da forma H ( x ) 0, notando que H (b) = 0.
Para isso, obtenha H 0 ( x ) e mostre que H 0 ( x ) 0, se 0 < x < b < nk , e H 0 ( x ) 0,
se 0 nk b < x < 1.
32. (Teorema de Aproximao de Weierstra) Seja f : [ a, b] R uma funo
contnua. Dado e > 0, mostre a existncia de um polinmio p(t) tal que
| f (t) p(t)| < e para todo t [ a, b]. Para isso,
(a) Mostre que basta demonstrar o resultado no caso [ a, b] = [0, 1].
(b) Defina o polinmio de Bernstein
n

p ( x ) =

k =0

k
n
x k (1 x ) n k
k
n

e verifique que

k A

n
k

x (1 x )

nk

k =0

n
k

x k (1 x ) n k = 1

para qualquer subconjunto A {0, 1, . . . , n}.

33. Estime | f( x ) p ( x )|, utilizando os Exerccios 31 e 32 (b) e a continuidade
uniforme de f.
Observao 2.52 Veja, em Krner (Teorema 4.3), uma demonstrao do Teorema de
Aproximao de Weierstra utilizando o Teorema 2.36.

REFERNCIAS BIBLIOGRFICAS
[1] N.I. Akhiezer e I.M. Glazman: Theory of Linear Operators in Hilbert Spaces,
Dover, New York, 1993.
[2] H.W. Alt: Lineare Funktionalanalysis, 2. Auflage, Springer, Berlin, 1992.
[3] G. Bachman e L. Narici: Functional analysis, Academic Press, New York, 1966.
[4] H. Brezis: Analyse fonctionelle - thorie et applications, Masson, Paris, 1983.
[5] H.P. Bueno: lgebra Linear, um segundo curso, SBM, Rio de Janeiro, 2006.
[6] E.A. Coddington e N. Levinson: Theory of ordinary differential equations,
McGraw-Hill, New York, 1955.
[7] L. Debnath e P. Mikusinski:

Introduction to Hilbert spaces with applications,

Academic Press, Boston, 1990.
[8] K. Deimling: Nonlinear functional analysis, Springer-Verlag, Berlin, 1985.
[9] J. Dugundji: Topology, Allyn Bacon, Boston, 1966.
[10] D.G. de Figueiredo: Positive solutions of semilinear elliptic problems, Lecture Notes in
Mathematics 957 (1982), Springer-Verlag, Berlin, 34-87.
[11] L.C. Evans: Partial Differential Equations, Graduate Studies in Mathematics v. 19,
American Mathematical Society, Providence, Rhode Island, 1991.
[12] S. Goldberg: Unbounded Linear Operators, McGraw-Hill, New York, 1966.
[13] Halmos, Nave Set Theory. (CORRIGIR)
[14] G. Helmberg: Introduction to Spectral Theory in Hilbert Space, North-Holland,
Amsterdam, 1969.
[15] C.S. Hnig: Anlise Funcional e o Problema de Sturm-Liouville, Ed. Edgard
Blcher-Ed. da USP, So Paulo, 1978.
[16] C.S. Hnig: Anlise Funcional e Aplicaes, IME-USP, So Paulo, 1970.
[17] C. A. Isnard e B. F. Svaiter: On Zorns Lemma, Informes de Matemtica 146, Impa,
Rio de Janeiro, 1997.
[18] L. Jantscher: Hilbertrume, Akademische Verlagsgesellschaft, Wiesbaden, 1977.
30

REFERNCIAS BIBLIOGRFICAS

31

[19] A. N. Kolmogorov e S. V. Fomin: Elementos de la Teoria de Funciones y del

Analysis Funcional, Editorial Mir, Moscu, 1978.
[20] T.W. Krner: Fourier Analysis, Cambridge University Press, Cambridge, 1990.
[21] S. Lang: Real and Functional Analysis, 3rd. Edition, Springer-Verlag, New York,
1993.
[22] P.D. Lax: Linear Algebra, Wiley-Interscience Publication, New York, 1997.
[23] P.D. Lax: Functional Analysis, Wiley-Interscience Publication, New York, 2002.
[24] E.L. Lima: Anlise no Espao Rn , Editora Universidade de Braslia/Editora Edgar
Blcher Ltda, 1970.
[25] E.L. Lima: Curso de Anlise, volume I, IMPA, Rio de Janeiro, 1976.
[26] E.L. Lima: Espaos Mtricos, IMPA, Rio de Janeiro, 1977.
[27] :M. Reed and B. Simon: Methods of Modern Mathematical Physics, v. 1, Academic
Press, New York, 1972.
[28] H. L. Royden: Real Analysis, 2nd. Edition, Macmillan Publishing Co., Inc., New
York, 1968.
[29] W. Rudin: Real and Complex Analysis, 3rd. Edition, McGraw-Hill International
Editions, New York, 1987.
[30] W. Rudin: Functional Analysis, 2nd. Edition, McGraw-Hill, New York, 1991.
[31] R. J. Santos: lgebra Linear e Aplicaes, Departamento de Matemtica da UFMG,
Belo Horizonte, 2004.
[32] R.
J.
Santos:
Teorema
de
Aproximao
www.mat.ufmg.br/ regi/eqdif/teoaproximweierstrass.pdf

de

Weierstrass,

[33] I. Stakgold: Greens Functions and Boundary Value Problems, Wiley, New York,
1979.
[34] A.E. Taylor e Lay: Introduction to Functional Analysis xxxxxxxxxxxxxxxxxxxxxx
[35] J. Weidmann: Linear Operators in Hilbert Spaces, Springer-Verlag, New York,
1980.
[36] H.F. Weinberger: A first course in partial differential equations with complex
variables and transform methods, Blaisdell, New York, 1965.
[37] A. Wilansky: Functional Analysis, Blaisdell, New York, 1964.
[38] R.L. Wheeden e A. Zygmund: Measure and Integral, Marcel Dekker, New York,
1977.

NDICE REMISSIVO
anti-linearidade, 1
base de um espao com produto interno
ortonormal, 13
Cauchy-Schwarz
desigualdade de, 3
codimenso, 28
coeficiente de Fourier, 6
componente de um vetor, 6
conjunto
contvel, 14
cubo de Hilbert, 28
desigualdade
de Bessel, 8, 9
de Cauchy-Schwarz, 3
dimenso
de um espao de Hilbert, 24
espao
`2 generalizado, 22
de Hilbert, 4
espao vetorial
com produto hermitiano, 1
com produto interno, 1
hermitiano, 1
unitrio, 1
espaos com produto interno
isometria de, 20
famlia
ortogonal, 6
ortonormal, 6
frmula de Rodrigues, 26
Gram-Schmidt
processo de ortogonalizao, 14
identidade
de Parseval, 10, 12

de polarizao, 4
do paralelogramo, 4
isometria, 20, 27
norma
gerada pelo produto interno, 4
ortogonalidade, 2
Pitgoras
teorema de, 3
polinmio
de Bernstein, 29
polinmios
de Laguerre, 27
de Legendre, 26
frmula de Rodrigues, 26
processo de ortogonalizao de GramSchmidt, 14
produto
hermitiano, 1
interno, 1
identidade de polarizao, 4
produto interno
cannico do Kn , 2
projeo
de um vetor, 3
num vetor unitrio, 6
srie
de Fourier
generalizada, 9
sistema
ortogonal, 6
ortonormal, 6
sistema ortonormal
maximal, 13
teorema
da base ortonormal, 12
de aproximao de Weierstra, 29
33

NDICE REMISSIVO

34
de Gram-Schmidt, 14
de Pitgoras, 3
de Riesz-Fischer, 10
de Riesz-Fischer generalizado, 23
vetor projeo, 3
vetores
ortogonais, 2
perpendiculares, 2