Você está na página 1de 69

Notas Matemticas

Teoria Econmica Avanada I


Verso Preliminar
+
Ilton G. Soares
iltonsoares@fgvmail .br
27 de maro de 2008
Sumrio
1 Espaos Mtricos 3
1.1 Bolas, Dimetro, Conjuntos Abertos e Fechados . . . . . . . . 8
1.2 Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3 Espaos Mtricos Compactos . . . . . . . . . . . . . . . . . . 13
1.3.1 Caracterizao de Compacidade em Espaos Mtricos 15
1.4 Espaos Mtricos Completos . . . . . . . . . . . . . . . . . . . 16
2 Espaos Topolgicos 25
2.1 Continuidade e Homeomorsmo . . . . . . . . . . . . . . . . . 32
2.2 Compacidade . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3 Anlise Funcional 39
3.1 Espaos Vetoriais de Dimenso Finita e Innita . . . . . . . . 39
3.2 Operadores Lineares . . . . . . . . . . . . . . . . . . . . . . . 40
3.3 Operadores Lineares Limitados e Contnuos . . . . . . . . . . 42
3.4 Funcionais Lineares . . . . . . . . . . . . . . . . . . . . . . . . 44
3.5 Espao Dual . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.6 Espaos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . 49
3.7 Operadores Adjunto e Auto-Adjunto . . . . . . . . . . . . . . 55
3.8 Convergncia Forte, Fraca e Fraca* . . . . . . . . . . . . . . . 56

Sou muito grato pela gentileza daqueles que enviarem crticas e/ou sugestes.
1
4 Teoria da Medida e Integrao 58
4.1 Motivao: Riemann Lebesgue . . . . . . . . . . . . . . . . 58
4.2 Funes mensurveis . . . . . . . . . . . . . . . . . . . . . . . 60
4.3 Medidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
4.4 A Integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
4.5 Funes Integrveis . . . . . . . . . . . . . . . . . . . . . . . . 69
2
1 Espaos Mtricos
Denio 1 Uma mtrica num conjunto o ,= ? uma funo
d : o o R
+
tal que, para quaisquer r, j, . o:
1
1
- d (r, j) = 0 =r = j;
1
2
- d (r, j) = d (j, r) ;
1
3
- d (r, .) _ d (r, j) +d (j, .)
Denio 2 Um espao mtrico um par (o, d) onde o ,= ? e d uma
mtrica em o.
Exemplo 1 (Mtrica discreta) Se A ,= ?, a mtrica discreta em A
denida por
d (r, j) =
_
0, r = j
1, r ,= j
quaisquer que sejam r, j A.
Exemplo 2 (Subespao Mtrico) Seja (A, d) um espao mtrico. Se 1 ,=
?, 1 A, ento
d
Y
(r, j) = d (r, j)
\ r, j 1 uma mtrica em 1 . O par (1, d
Y
) denominado subespao
mtrico de (A, d).
Vimos na denio de mtrica que a nica imposio sobre o conjunto o
foi a de que este fosse no vazio. Desse modo, no necessrio denir nen-
huma operao entre os elementos de o (como adio ou multiplicao por
escalar, por exemplo) para a caracterizao de d. A seguir apresentaremos
o conceito de espao vetorial. A incluso deste conceito neste ponto decorre
do fato de que se as propriedades algbricas dos elementos de o forem bem
denidas, poderemos trabalhar com o conceito de norma, o que faremos logo
em seguida.
Denio 3 Um espao vetorial (ou espao linear) sobre um corpo de es-
calares 1 um conjunto \ ,= ? munido das operaes de adio e multi-
plicao por escalar, onde
r, j \ =r +j \
r \, c 1 =cr \.
Alm disso, valem as seguintes propriedades algbricas:
3

1
- r +j = j +r, \ r, j \

2
- (r +j) +. = r + (j +.), \ r, j, . \

3
- 0 \ : r +0 = r, \r \

4
- (r) \ : r + (r) = 0, \r \
'
1
- c(r +j) = cr +cj, \ r, j \, \ c 1
'
2
- (c +,) r = cr +,r, \ r \, \ c, , 1
'
3
- (c,) r = c(,r) , \ r \, \ c, , 1
'
4
- 1 1 : 1r = r, \ r \ .
Quando 1 = R, o espao vetorial denominado Espao Vetorial Real.
Este ser o caso tratado ao longo destas notas. Agora que denimos o
conceito de espao vetorial estamos aptos a apresentar a denio de norma.
Denio 4 Seja o um espao vetorial. Uma norma uma funo
|| : o R
+
com as seguintes propriedades:

1
- |r| = 0 =r = 0

2
- |cr| = [c[ |r| \r o, \ c R

3
- |r +j| _ |r| +|j| \r, j o
Denio 5 Um espao vetorial normado um par (o, ||) onde o um
espao vetorial e || uma norma em o.
Teorema 1 Se (o, ||) um espao vetorial normado, ento d : oo R
+
denida por d (r, j) = |r j|com r, j o uma mtrica em o.
Demonstrao: As propriedades 1
1
e 1
2
so imediatas. Resta mostrar
que vale a desigualdade triangular. Tome r, j, . o, ento de
3
segue que
d (r, .) = |r .| = |r j +j .| _ |r j|+|j .| = d (r, j)+d (j, .) .
Desse modo, todo espao vetorial normado tambm um espao mtrico.
Exemplo 3 No espao euclidiano :-dimensional, R
a
, a funo || : R
a

R
+
que leva um vetor tpico r = (r
1
, r
2
, ..., r
a
) nos reais no negativos
|r| =
_
a

i=1
r
2
i
_
12
uma norma, denominada norma euclidiana. Evidentemente as propriedades

1
e
2
so satisfeitas. Resta mostrar
3
. Para tanto, precisamos do
seguinte lema:
4
Lemma 1 (Desigualdade de Cauchy) Se r, j R
a
, ento

i=1
r
i
j
i

_
_
a

i=1
r
2
i
_
12
_
a

i=1
j
2
i
_
12
.
Demonstrao:
0 _
a

i,)=1
(r
i
j
)
r
)
j
i
)
2
=
a

i,)=1
_
r
2
i
j
2
)
+r
2
)
j
2
i
2r
i
j
)
r
)
j
i
_
=
a

i=1
r
2
i
a

)=1
j
2
)
+
a

i=1
j
2
i
a

)=1
r
2
)
2
a

i=1
r
i
j
i
a

)=1
r
)
j
)
logo
2
_
a

i=1
r
i
j
i
_
2
_ 2 |r|
2
|j|
2

i=1
r
i
j
i

_
_
a

i=1
r
2
i
_
12
_
a

i=1
j
2
i
_
12
= |r| |j| .
Como corolrio, temos:
Corolrio 2 |r +j| _ |r| +|j| , \r, j R
a
.
Demonstrao:
|r +j|
2
=
a

i=1
(r
i
+j
i
)
2
=
a

i=1
_
r
2
i
+j
2
i
+ 2r
i
j
i
_
=
a

i=1
r
2
i
+
a

i=1
j
2
i
+ 2
a

i=1
r
i
j
i
_ |r|
2
+|j|
2
+ 2 |r| |j| = (|r| +|j|)
2
.
onde a desigualdade apresentada na terceira linha decorre do lema anterior.
Segue que |r| denida anteriormente uma norma em R
a
.
. Adicional-
mente, o teorema 1 garante que se || uma norma, ento
d (r, j) = |r j| =
_
a

i=1
(r
i
j
i
)
2
_
12
5
dene uma mtrica em R
a
.
. Esta mtrica denominada mtrica euclidiana
(ou padro) em R
a
.
.
Exemplo 4 (Espao das funes limitadas) A funo ) : A R com
A ,= ? limitada se existe ' R tal que [) (r)[ _ ' \r A. O conjunto
das funes limitadas de A em R denotado por 1(A, R) (ou simplesmente
1(A)). Dena
|)| = sup[) (r)[ : r A
ento || uma norma em 1(A) e pelo teorema 1 esta norma dene uma
mtrica em 1(A):
d (), q) = |) q| = sup[) (r) q (r)[ : r A
para ), q 1(A).
Exemplo 5 Se 1[0, 1] o conjunto das funes limitadas de [0, 1] em R,
ento a mtrica
d (), q) = |) q| = sup[) (r) q (r)[ : r A
pode ser entendida como o tamanho do maior segmento de reta vertical que
liga os grcos de ) e q no intervalo [0, 1], de acordo com a ilustrao a
seguir:
Figura 01: distncia entre ) e q.
Exemplo 6 (Espao das funes contnuas em [a, /]) Seja C [a, /] o con-
junto das funes contnuas ) : [a, /] R. Denimos
|)| =
_
b
o
[) (r)[ dr.
6
Ento || uma norma em C [a, /], que pelo teorema 1 induz uma mtrica
em C [a, /] denida por
d (), q) =
_
b
o
[) (r) q (r)[ dr
), q C [a, /].
Exemplo 7 Seja C [0, 1] o conjunto das funes contnuas de [0, 1] em R.
Uma mtrica denida neste conjunto como
d (), q) =
_
1
0
[) (r) q (r)[ dr
onde ) e q esto em C [0, 1]. Note que d (), q) precisamente a rea da
regio entre os grcos das funes ) e q e as linhas r = 0 e r = 1, como
mostra a ilustrao a seguir.
Figura 02: distncia entre ) e q.
Uma vez apresentada a noo de distncia, podemos discutir o conceito
de convergncia de seqncias:
Denio 6 Se (o, d) um espao mtrico, dizemos que uma seqncia
r
a
em o converge para r o se \- 0,
.
N tal que
: _
.
=d (r
a
, r) < -.
(notao: r
a
r).
Teorema 3 Seja r
a
uma seqncia no espao mtrico (o, d). Ento r
a

possui no mximo um limite.


7
Demonstrao: Suponha que no, i.e., que r
a
r e j
a
j com r ,= j.
Ento d (r, j) 0. Por denio, existe / N tal que para - =
o(a,j)
2
,
: _ / =d (r
a
, r) < - e d (r
a
, j) < -.
Pela desigualdade triangular, \: _ /,
d (r, j) _ d (r, r
a
) +d (r
a
, j) < 2- = d (r, j) , um absurdo.
Denio 7 Duas mtricas d e d
t
em A so ditas equivalentes se para
qualquer seqncia r
a
em A e para qualquer r A,
d (r
a
, r) 0 =d (r
a
, r) 0.
Exemplo 8 Seja d uma mtrica em A. Dena
d
t
=
d (r, j)
1 +d (r, j)
r, j A. Ento simples mostrar que d
t
uma mtrica em A equivalente a
d. Note que com respeito a esta mtrica equivalente o espao A limitado,
uma vez que d
t
(r, j) < 1 \r, j A.
1.1 Bolas, Dimetro, Conjuntos Abertos e Fechados
Se r A e r um real positivo, denotamos a bola aberta de centro r e raio
r por
1(r, r) = j A : d (r, j) < r .
Analogamente, a bola aberta de centro r e raio r 0 denida por
1[r, r] = j A : d (r, j) _ r .
O dimetro de um subconjunto no vazio _ A denido por
diam = supd (r, j) : r, j .
O conjunto _ A limitado se seu dimetro nito. Isto equivalente a
dizer que est contido em alguma bola.
Podemos tambm denir a distncia entre dois subconjuntos de um es-
pao mtrico. Se e 1 so subconjuntos no vazios de A, ento a distncia
de a 1 denida por
d (, 1) = inf d (r, j) : r e j 1 .
8
Em particular, se r A ento a distncia entre r e (ou, equivalentemente,
entre os conjuntos r e )
d (r, ) = d (r , ) = inf d (r, j) : j .
Denio 8 Seja _ A. Um ponto r denominado ponto interior
de se 1(r, r) para algum r 0. A coleo de todos os pontos
interiores de denominado interior de , e denotado por
c
ou i:t.
Um conjunto dito aberto se =
c
.
Proposio 4 Seja (A, d) um espao mtrico. Ento
1. Toda bola aberta 1(r, r) um conjunto aberto.
2. A interseo de uma coleo nita
1
, ..,
I
de conjuntos abertos um
conjunto aberto.
3. A unio de qualquer coleo de abertos um aberto.
Demonstrao: 1. Tome j 1(r, r) e dena 1 = r d (r, j) 0. Se
. 1(j, 1), ento pela desigualdade triangular
d (r, .) _ d (r, j) +d (j, .) < d (r, j) +1 = d (r, j) + [r d (r, j)] = r
logo . 1(r, 1), i.e., 1(j, 1) 1(r, r) e j um ponto interior de 1(r, r).
2. Se r

1iI

i
, ento existem nmeros r
i
0 tais que 1(r, r
i
)
i
para 1 _ i _ /. Tome r = minr
1
, r
2
, ..., r
I
, ento 1(r, r)

1iI

i
.
3. Se r pertence a unio de abertos, ento r est em um desses abertos
(digamos, ). Como r um ponto interior de , ento r um ponto interior
da unio.
Proposio 5 O interior
c
de um conjunto o maior aberto que est
contido em .
Demonstrao: Seja r
c
. Como r um ponto interior de , 1(r, r)
para algum r 0. Pelo item (1) da proposio anterior, todo ponto de
1(r, r) um ponto interior de 1(r, r) e consequentemente de . Assim,
todo ponto de 1(r, r) um ponto interior de , implicando que 1(r, r)

c
.
Se 1 um aberto, ento cada ponto de 1 um ponto interior de
e assim est em
c
.
9
Denio 9 Um ponto r A denominado ponto aderente de um sub-
conjunto _ A se para todo - 0 existe j tal que j 1(r, -). O
fecho de o conjunto que consiste de todos os pontos aderentes de .
Se = , ento dito aberto.
Note que o fecho do conjunto o menor fechado que contm .
Proposio 6 Um ponto r aderente ao conjunto se, e somente se,
existe uma seqncia de pontos r
a
convergindo para r.
Demonstrao: (=) Suponha que r um ponto aderente de . Ento,
\: N, existe r
a
tal que d (r
a
, r) < 1,:. mas isso implica que r
a
r.
(=) Suponha que r
a
uma seqncia em com r
a
r. Tome - 0,
ento para algum /, d (r
a
, r) < - sempre que : _ /, o que indica que r
um ponto aderente de .
Proposio 7 Seja um subconjunto de A. Ento aberto se, e so-
mente se, seu complementar
c
fechado em A.
Demonstrao: (=) Note primeiramente que se r , ento ou r um
ponto aderente de
c
ou um ponto interior de , mas no ambos. Assim, se
aberto, ento seus pontos no so pontos aderentes de
c
, o que implica
que os pontos aderentes de
c
esto em
c
, i.e.,
c
fechado.
(=) Se
c
fechado, ento os elementos de no podem ser pontos
aderentes de
c
. Ento estes so pontos do interior de , logo aberto.
Denio 10 A fronteira de _ A, denotada por 0, o conjunto
A.
Denio 11 Um ponto r A denominado ponto de acumulao de
se se para todo - 0 existe j diferente de r, tal que j 1(r, -).
Pela denio ca claro que todo ponto de acumulao de um ponto
aderente de .
Denio 12 Um ponto r dito ponto isolado de se r no for
um ponto de acumulao de .
10
1.2 Continuidade
Denio 13 Sejam (A, d) e (1, j) espaos mtricos. A funo ) : A 1
contnua em r
0
A se \- 0 c 0 tal que
d (r, r
0
) < c =j () (r) , ) (r
0
)) < -.
Se ) contnua em todo r A, dizemos que ) contnua.
O teorema a seguir apenas uma forma de denir continuidade utilizando
o conceito de bolas abertas:
Teorema 8 Sejam (A, d) e (1, j) espaos mtricos. A funo ) : A 1
contnua em r
0
A se \- 0 c 0 tal que
) (1(r
0
, c)) 1() (r
0
) , -) .
Demonstrao: Segue direto da denio de continuidade.
Teorema 9 Sejam (A, d) e (1, j) espaos mtricos. A funo ) : A 1
contnua em r
0
A se, e somente se, para qualquer seqncia r
a
com
r
a
r
0
, valer ) (r
a
) ) (r
0
).
Demonstrao: (=) Como ) contnua em r
0
, dado - 0 c 0 tal
que d (r, r
0
) < c = j () (r) , ) (r
0
)) < -. A convergncia r
a
r
0
implica
que dado c 0 :
+
N tal que : _ :
+
= d (r, r
0
) < c. Juntando os dois
resultados temos que dado - 0 :
+
N tal que
: _ :
+
=j () (r
a
) , ) (r
0
))
ou seja, ) (r
a
) ) (r
0
).
(=) (Por contraposio) Suponha que ) no contnua em r
0
. Neste
caso, existe - 0 tal que \c 0, d (r, r
0
) < c mas j () (r) , ) (r
0
)) _ -.
Tome c = 1,: e r
a
tal que d (r
a
, r
0
) < 1,:, mas j () (r
a
) , ) (r
0
)) _ -.
Nesse caso, r
a
r
0
, mas ) (r
a
) no converge para ) (r
0
).
Teorema 10 Sejam (A, d) e (1, j) espaos mtricos. A funo ) : A 1
contnua se, e somente se, para todo conjunto aberto l 1 , a pr-imagem
)
1
(l) de l aberta em A. (obs.: )
1
(l) = r A : ) (r) l).
Demonstrao: (=) Tome ) contnua e l aberto emA. Se r )
1
(l), ento
) (r) l. Como l aberto, existe - 0 tal que 1() (r) , -) l. Segue
da continuiade de ) que dado - 0, existe c 0 tal que ) (1(r
0
, c))
11
1() (r
0
) , -). Juntando os dois resultados, temos que ) (1(r
0
, c)) l, logo
1(r
0
, c) )
1
(l), de modo que )
1
(l) aberto em A.
(=) Suponha que )
1
(l) aberto em A para todo l aberto em 1 . Seja
- 0 e r A. Assim, 1() (r) , -) aberto em1 , implica em)
1
(1() (r) , -))
aberto em A. Como r )
1
(1() (r) , -)), ento existe c 0 tal que
1(r, c) )
1
(1() (r) , -)), de modo que ) (1(r, c)) 1() (r) , -), logo )
contnua.
Denio 14 Sejam (A, d) e (1, j) espaos mtricos. A funo ) : A 1
uniformemente contnua se \- 0 c 0 tal que
j () (r) , ) (j)) < - \r, j A satisfazendo d (r, j) < c.
Exemplo 9 A funo ) : R R denida por ) (r) =
a
1+a
2
uniforme-
mente contnua. De fato, pelo teorema do valor mdio, para qualquer par r,
j com r < j, existe t (r, j) tal que

)
t
(t)

=
[) (r) ) (j)[
[r j[
[) (r) ) (j)[ =

)
t
(t)

[r j[ =

1 t
2
(1 +t
2
)
2

[r j[
[) (r) ) (j)[ < [r j[ .
Assim, fazemos c = -. Logo, \r, j tal que d (r, j) < c, temos d () (r) , ) (j)) =
[) (r) ) (j)[ _ [r j[ < c = -. Com isso mostramos que ) uniforme-
mente contnua.
Exemplo 10 A funo ) : R R denida por ) (r) = r
2
no uni-
formemente contnua. Com efeito, tome r =
1
c
+
c
2
e j =
1
c
. Assim,
[r j[ =
c
2
< c mas

r
2
j
2

1. Contudo, esta mesma funo quando


considerada no domnio [a, a], ) : [a, a] R, uniformemente contnua.
De fato, se c <
.
2o
e r, j [a, a] com [r j[ < c, ento

r
2
j
2

= [r +j[ [r j[ _ 2a [r j[ < -.
O nal desta seo se ocupar do estudo de seqncias de funes. Assim,
se (A, d) e (1, j) so espaos mtricos, cada termo de )
a
uma funo de
A em 1 .
Denio 15 A seqncia )
a
converge pontualmente (ou simplesmente)
para a funo ) : A 1 se \- 0 e \r A,
.,a
N tal que
: _
.
=j ():(r) , ) (r)) < -.
12
Denio 16 A seqncia )
a
converge uniformemente para a funo ) :
A 1 se \- 0
.
N tal que
: _
.
=j ():(r) , ) (r)) < - \r A.
Quando estamos tratando de seqncias de funes, o conceito de con-
vergncia uniforme , em geral, mais til do que o de convergncia pontual.
Uma boa razo para isto o teorema que segue, que estabelece que se uma
seqncia de funes contnuas )
a
converge uniformemente para ), ento
) contnua.
Teorema 11 Seja )
a
uma seqncia de funes contnuas do espao mtrico
(A, d) no espao mtrico (1, j). Se )
a
&ai)
), ento ) contnua.
Demonstrao: Tome r
0
A e - 0. )
a
&ai)
) signica que existe N
tal que : _ = j ()
a
(r) , ) (r)) <
.
3
\r A. Alm disso, )
.
contnua
em r
0
signica que podemos escolher c 0 tal que j ()
.
(r) , )
.
(r
0
)) <
.
3
sempre que d (r, r
0
) < c. Assim, se d (j, r
0
) < c, ento
j () (j) , ) (r
0
)) _ j () (j) , )
.
(j)) +j ()
.
(j) , )
.
(r
0
)) +j ()
.
(r
0
) , ) (r
0
))
<
-
3
+
-
3
+
-
3
= -, logo ) contnua.
1.3 Espaos Mtricos Compactos
Denio 17 Um espao mtrico compacto se toda seqncia em A tem
uma subseqncia convergente. Um subconjunto 1 de A compacto se toda
seqncia em 1 tiver uma subseqncia convergindo para um ponto em 1 .
Teorema 12 Seja (A, d) um espao mtrico compacto e 1 um subconjunto
fechado de A. Ento 1 compacto.
Demonstrao: Se r
a
uma seqncia em 1 , ento r
a
uma seqn-
cia em A. Como A compacto, r
a
tem uma subseqncia convergente,
r
In
r. Como 1 fechado, r 1 , logo 1 compacto.
Teorema 13 Seja (A, d) um espao mtrico e 1 um subconjunto compacto
de A. Ento 1 fechado e limitado.
13
Demonstrao: Tome r 1 , ento existe uma seqncia r
a
em 1
convergindo para r. Como 1 compacto, r
a
tem uma subseqncia
convergente r
In
j 1 . Segue da unicidade do limite que j = r, logo 1
fechado.
Mostraremos agora que 1 limitado (por contradio). Para tal, con-
struiremos uma seqncia r
a
que no apresenta subseqncia convergente.
Tome j A. Assim, para todo : N existe r
a
1 tal que d (r
a
, j) _ :,
pois caso contrrio 1 _ 1[j, :] para algum :. Como 1 compacto, r
a

possui uma subseqncia convergente, r


a
k
r 1 . Ento existe :
t
N tal
que / _ :
t
implica em d (r
a
k
, r) _ 1. Seja - = d (r, j). Pela desigualdade
triangular,
d (r, j) _ d (j, r
a
k
) d (r, r
a
k
) _ :
I
1 _ / 1
para todo / _ :
t
, uma contradio. Consequentemente 1 limitado.
Um conhecido resultado de anlise estabelece que um subconjunto 1
de R
a
compacto se, e somente se, ele fechado e limitado. Contudo, esse
resultado no vale quando estamos tratando de espaos mtricos mais gerais.
Teorema 14 Sejam (A, d) e (1, d
t
) espaos mtricos e ) : A 1 contnua.
Se um subconjunto 1 _ A compacto, ento ) (1) compacto em (1, d
t
).
Em particular, se (A, d) compacto, ento ) (A) compacto em 1 .
Demonstrao: Sejamj
a
uma seqncia em) (1) e r
a
uma seqncia
em 1 tal que ) (r
a
) = j
a
. Como 1 compacto, r
a
tem uma subseqncia
convergente para um ponto de 1, digamos r
a
k
r 1. Como )
contnua, ) (r
a
k
) ) (r), i.e., j
a
k
) (r). Como ) (r) ) (1), ) (1)
compacto.
Corolrio 15 (Teorema de Weierstrass) Seja ) : A R uma funo
contnua denida em um espao mtrico compacto. Ento ) atinge seus val-
ores mnimo e mximo, i.e., existem a, / A tais que ) (a) = inf ) (r) : r A
e ) (/) = sup) (r) : r A.
Demonstrao: Sabemos que se ) (A) compacto, ento limitado e con-
seqentemente sup) (r) : r A nito. Tome C = sup) (r) : r A.
Pela denio de supremo, para todo : N existe r
a
tal que C 1,: _
) (r
a
) _ C. A seqncia r
a
assim denida apresenta uma subseqncia
convergente, r
a
k
/, pois A compacto. Segue da continuidade de ) que
) (r
a
k
) ) (/) e como C 1,: _ ) (r
a
) _ C para todo :, ) (/) = C. Sim-
ilarmente mostramos que existe a A tal que ) (a) = inf ) (r) : r A.
14
Teorema 16 Seja ) : (A, d) (1, d
t
) uma funo contnua denida num
espao mtrico compacto (A, d). Ento ) uniformemente contnua.
Demonstrao: Suponha que no. Ento existe - 0 tal que para todo
c 0 existem r, j com d (r, j) < c mas d
t
() (r) , ) (j)) _ -. Tome c = 1,: e
r
a
, j
a
tais que d (r
a
, j
a
) < 1,: mas d
t
() (r
a
) , ) (j
a
)) _ -. A compacidade
de A implica que existe uma subseqncia r
a
k
convergindo para algum
r A. Como d (r
a
k
, j
a
k
) < 1,:
I
0 se / , a seqncia j
a
k
converge
para o mesmo ponto r. A continuidade de ) implica que as seqncias
) (r
a
k
) e ) (j
a
k
) convergem para ) (r). Ento d
t
() (r
a
k
) , ) (r)) < -,2
e d
t
() (j
a
k
) , ) (r)) < -,2 para / sucientemente grande, logo
d
t
() (r
a
k
) , ) (j
a
k
)) _ d
t
() (r
a
k
) , ) (r)) +d
t
() (r) , ) (j
a
k
)) < -
para / sucientemente grande, uma contradio com o fato de que d
t
() (r
a
) , ) (j
a
)) _
- para todo :.
1.3.1 Caracterizao de Compacidade em Espaos Mtricos
Denio 18 Seja (A, d) um espao mtrico e _ A. Se l
i

i1
uma
famlia de subconjuntos de A tal que

i1
l
i
, dizemos que l
i

i1

uma cobertura de . Se cada l
i
aberto, dizemos que l
i

i1
uma cober-
tura aberta. Se J 1 e

iJ
l
i
, ento l
i

iJ
uma subcobertura.
Denio 19 Seja (A, d) um espao mtrico e _ A. Dizemos que ap-
resenta a propriedade de Heine-Borel se para toda cobertura aberta l
i

i1
de , existir um conjunto nito 1 _ 1 tal que

i1
l
i
.
Denio 20 Seja (A, d) um espao mtrico e _ A. Um conjunto
dito totalmente limitado se \- 0, existe um conjunto nito o tal que
_

aS
1(r, -).
O teorema a seguir, cuja demonstrao ser omitida, apresenta trs for-
mas de caracterizar um conjunto compacto.
Teorema 17 Seja um subconjunto de um espao mtrico (A, d). Ento
as seguintes condies so equivalentes:
1. A compacto.
2. A completo e totalmente limitado.
3. A apresenta a propriedade de Heine-Borel.
15
1.4 Espaos Mtricos Completos
Denio 21 Seja (o, d) um espao mtrico. A seqncia r
a
em o de
Cauchy se \- 0 / N tal que d (r
a
, r
n
) < - \:, : _ /.
Teorema 18 Se r
a
uma seqncia de Cauchy, ento r
a
limitada.
Demonstrao: Seja - = 1. ento existe / N tal que d (r
a
, r
I
) < 1
\: _ /. Tome 1 = 1+max d (r
i
, r
I
) : 1 _ i _ / 1, ento r
a
1(r
I
, 1)
para todo :, logo r
a
limitada.
Teorema 19 Se r
a
convergente, ento de Cauchy.
Demonstrao: Considere r
a
r. Ento, dado - 0 existe / N tal
que d (r
a
, r) < -,2 \: _ /. Desse modo, para :, : _ /,
d (r
a
, r
n
) _ d (r
a
, r) +d (r, r
n
) <
-
2
+
-
2
= -.
Teorema 20 Se r
a
uma seqncia de Cauchy e contm uma subse-
qncia convergente, ento r
a
convergente.
Demonstrao: Assuma que r
a
de Cauchy e r
a
k
r. Ento existe
/
t
tal que d (r
a
, r
a
k
) < -,2 para todo / /
t
. Como r
a
k
r, existe /
tt
tal
que d (r
a
k
, r) < -,2 para todo / _ /
tt
. Tome /
+
= max /
t
, /
tt
. Ento para
todo / _ /
+
,
d (r
a
, r) _ d (r
a
, r
a
k
) +d (r
a
k
, r) <
-
2
+
-
2
= -,
logo r
a
r.
Note que uma seqncia de Cauchy no necessariamente convergente.
Por exemplo, considere a seqncia
_
1
a
_
no espao mtrico ((0, 1) , [[). Nat-
uralmente esta seqncia de Cauchy em (0, 1) mas no converge para
nenhum ponto do intervalo (0, 1).
Denio 22 Um espao mtrico (o, d) completo se toda seqncia de
Cauchy em o convergir para algum ponto de o.
Como vimos anteriormente, nem todo espao mtrico completo. Mostraremos
a seguir que o espao mtrico (R, d), onde d : R R R
+
denido por
d (r, j) = [r j[ completo.
16
Teorema 21 O espao R com a mtrica usual completo.
Demonstrao: Seja r
a
uma seqncia de Cauchy em R. Ento r
a

limitada, i.e., existe ' R tal que [r


a
[ _ ' para todo :. Tome j
a
=
inf r
I
: / _ : ) j
a
uma seqncia montona crescente e limitada, logo
converge, digamos para r. Mostraremos que r
a
r.
De fato, tome N tal que \ :, : _ ,
[r
a
r
n
[ <
-
2
.
Em particular,
r
.

-
2
< r
I
< r
.
+
-
2
\/ _ .
Ento,
r
.

-
2
< j
a
< r
.
+
-
2
\: _ .
Fazendo : , temos que
r
.

-
2
_ r _ r
.
+
-
2
ou, equivalentemente, [r
.
r[ _
.
2
. Assim, \: _ ,
[r
a
r[ _ [r
a
r
.
[ +[r
.
r[ <
-
2
+
-
2
= -
logo r
a
converge para r.
Um subespao de um espao mtrico completo pode no ser completo.
Contudo, vale o resultado apresentado no teorema a seguir:
Teorema 22 Se (A, d) um espao mtrico completo e 1 um subespao
fechado de A, ento (1, d) completo.
Demonstrao: Seja r
a
uma seqncia de Cauchy em 1 . Ento r
a

satisfaz a condio de Cauchy em A e como (A, d) completo, existe r A


tal que r
a
r. Como 1 fechado, r 1 , logo 1 completo.
Denio 23 Um Espao de Banach um espao vetorial normado com-
pleto.
Seja A _ R
a
. Denotamos por C (A) o espao das funes contnuas e
limitadas ) : A R. Denotaremos por ||
sup
a norma do supremo:
|)|
sup
= sup[) (r)[ : r A .
17
Proposio 23 O espao C (A) munido da norma do supremo um espao
vetorial normado.
Demonstrao: Temos que mostrar que
_
C (A) , ||
sup
_
satisfaz as pro-
priedades das denies 3 e 4.
Sejam ), q C (A). Ento como ) e q so limitadas, existem '
)
, '
j

R, tais que [) (r)[ _ '
)
e [q (r)[ _ '
j
para todo r A. Assim,
[) (r) +q (r)[ _ [) (r)[ +[q (r)[ _ '
)
+'
j
.
i.e., '
)
+ '
j
uma cota superior de [) +q[, logo |) +q|
sup
_ '
)
+ '
j
.
Desse modo, ) +q limitada. Segue do fato de que ) e q so contnuas que
) +q contnua. Conclumos que ) +q C (A).
Seja c R arbitrrio. Ento [c) (r)[ = [c[ [) (r)[ _ [c[ '
)
para todo
r A. Logo, |c)|
sup
_ [c[ '
)
. Alm disso, c) contnua por ser uma
multiplicao de uma funo contnua por um escalar. Ento c) C (A).
Como ) (r) e q (r) pertencem ao corpo dos reais (R) para todo r A,
imediato que as propriedades
1

4
e '
1
'
4
da denio 3 so satisfeitas.
Conclumos que C (A) um espao vetorial.
Resta mostrar apenas que ||
sup
satisfaz as propriedades
1

3
da
denio 4.
1
e
3
so triviais.
3
satisfeita pois
|) +q|
sup
= sup[) (r) +q (r)[ : r A
_ sup[) (r)[ +[q (r)[ : r A
_ sup[) (r)[ : r A + sup[q (r)[ : r A
= |)|
sup
+|q|
sup
.
Teorema 24 O espao C (A) munido da norma do supremo um espao
de Banach.
Demonstrao: Na proposio anterior mostramos que
_
C (A) , ||
sup
_

um espao vetorial normado. Desse modo, precisamos apenas mostrar que
_
C (A) , ||
sup
_
completo. Seja )
a
uma seqncia de Cauchy em C (A).
Ento, para r A xo, temos que:
[)
a
(r) )
n
(r)[ _ sup[)
a
(r) )
n
(r)[ : r A = |)
a
)
n
| .
Logo, )
a
(r) uma seqncia de Cauchy em R. Da completude dos reais,
existe ) (r) tal que )
a
(r) ) (r).
18
Mostraremos agora que )
a
converge para ) na norma do sup. Pela
desigualdade triangular,
[)
a
(r) ) (r)[ _ [)
a
(r) )
n
(r)[+[)
n
(r) ) (r)[ _ |)
a
)
n
|+[)
n
(r) ) (r)[ .
Como )
a
de Cauchy, segue que para todo - 0 existe
.
N tal que
:, : _
.
=|)
a
)
n
| <
-
2
.
Portanto,
:, : _
.
=[)
a
(r) ) (r)[ _
-
2
+ +[)
n
(r) ) (r)[ .
Para : sucientemente grande, [)
n
(r) ) (r)[ <
.
2
, logo [)
a
(r) ) (r)[ <
- para todo r A. Assim |)
a
)| < - pois - uma cota superior de
[)
a
(r) ) (r)[.
Resta mostrar que ) C (A), i.e., que ) limitada e contnua. Tome
- = 1 )
1
N tal que
: _
1
=[)
a
(r) ) (r)[ _ |)
a
)| < 1.
Assim, )
a
(r) 1 _ ) (r) _ )
a
(r) + 1. Como )
a
(r) limitada, temos que
) (r) tambm limitada.
Para mostrar a continuidade de ), note que pela desigualdade triangular,
[) (r) ) (j)[ _ [) (r) )
I
(r)[ +[)
I
(r) )
I
(j)[ +[)
I
(j) ) (j)[
_ 2 |)
I
)| +[)
I
(r) )
I
(j)[ .
Como )
a
converge para ), temos que dado - 0 existe
.
N tal que
: _
.
=|)
I
)| <
-
3
.
Como )
I
contnua, existe c 0 tal que
d (r, j) < c =[)
I
(r) )
I
(j)[ <
-
3
.
mas [) (r) ) (j)[ _ |) (r) ) (j)| nos garante que para todo - 0 existe
c 0 tal que
d (r, j) < c =|) (r) ) (j)| _ -.
Mostraremos a seguir um teorema de ponto xo muito til em progra-
mao dinmica. Antes, porm, precisamos denir contrao.
19
Denio 24 Seja (o, d) um espao mtrico. A funo T : o o uma
contrao de mdulo , se existe , (0, 1) tal que d (Tr, Tj) _ ,d (r, j)
\r, j o.
Teorema 25 (Teorema do Ponto Fixo de Banach) Se (o, d) um espao
mtrico completo e T : o o uma contrao de mdulo ,, ento:
1. T possui exatamente 1 ponto xo o;
2. \
0
o, d (T
a

0
, ) _ ,
a
d (
0
, ), : N.
Demonstrao: 1. Considere a seqncia
a
denida indutivamente
por
a+1
= T
a
. Como T uma contrao, segue que:
d (
2
,
1
) = d (T
1
, T
0
) _ ,d (
1
,
0
) .
Analogamente,
d (
3
,
2
) = d (T
2
, T
1
) _ ,d (
2
,
1
) _ ,
2
d (
1
,
0
) .
Por induo,
d (
a+1
,
a
) _ ,
a
d (
1
,
0
) \: N.
Sejam :, : N, com : :. Ento
d (
a
,
n
) _ d (
a
,
a1
) +d (
a1
,
a2
) +... +d (
n+1
,
n
)
_
_
,
a1
+,
a2
+... +,
n
_
d (
1
,
0
)
= ,
n
_
,
an1
+,
an2
+... + 1
_
d (
1
,
0
)
_
,
n
1 ,
d (
1
,
0
) ,
logo
a
de Cauchy. Como (o, d) completo, existe o tal que
a
.
Mostraremos por contradio que ponto xo de T, i.e., T = .
Suponha que T ,= , o que implica em d (T, ) = - 0. Note que \: N
e \
0
o,
d (T, ) _ d (T, T
a

0
) +d (T
a

0
, ) _ ,d
_
, T
a1

0
_
+d (T
a

0
, ) .
Como as seqncias
_
T
a1

0
_
e T
a

0
convergem para , existe N tal
que : _ implica em d
_
, T
a1

0
_
<
.
2o
e d (T
a

0
, ) <
.
2
. Assim, para
todo : _ , d (T, ) < -, um absurdo. Logo T = .
20
Para mostrar a unicidade do ponto xo, suponha que existam ,
t
o
tais que T = e T
t
=
t
. Ento
d
_
,
t
_
= d
_
T, T
t
_
_ ,d
_
,
t
_
o que implica que d (,
t
) = 0, ou seja, =
t
.
2. Como T = , temos que
d (T
a

0
, ) = d
_
T
_
T
a1

0
_
, T
_
_ ,d
_
T
a1

0
,
_
.
Por induo, temos d (T
a

0
, ) _ ,
a
d (
0
, ).
O teorema do Ponto Fixo de Banach garante em (1) a existncia e unici-
dade do ponto xo e em (2) arma que para qualquer ponto inicial
0
o,
T
a

0
converge geometricamente para . A proposio a seguir estabelece
a regio em torno de
0
onde podemos garantir que est.
Proposio 26 Seja (o, d) um espao mtrico completo, T : o o uma
contrao de mdulo , e
0
o. Ento
d (T
a

0
, ) _
1
1 ,
d
_
T
a

0
, T
a+1

0
_
.
Demonstrao: Pela desigualdade triangular, temos que
d (T
a

0
, ) _ d
_
T
a

0
, T
a+1

0
_
+d
_
T
a+1

0
,
_
= d
_
T
a

0
, T
a+1

0
_
+d
_
T
a+1

0
, T
_
_ d
_
T
a

0
, T
a+1

0
_
+,d (T
a

0
, )
logo
d (T
a

0
, ) _
1
1 ,
d
_
T
a

0
, T
a+1

0
_
.
Proposio 27 Seja (o, d) um espao mtrico completo e T : o o uma
contrao de mdulo , com ponto xo o. Se o
t
o, o
t
fechado, no
vazio e T (o
t
) o
t
, ento o
t
. Adicionalmente, se existe o
tt
tal que
T (o
t
) o
tt
o
t
, ento o
tt
.
Demonstrao: Tome arbitrariamente
0
o
t
,= ?. Como T
a

0
em o
t
converge para e o
t
fechado, o
t
.
Se T (o
t
) o
tt
, ento = T T (o
t
) o
tt
. Conclumos assim que
o
tt
.
Denotamos por 1(A) o espao das funes limitadas ) : A R,
com a norma do sup.
21
Denio 25 Um operador T : 1(A) 1(A) satisfaz monotonici-
dade
1
se \), q 1(A),
) _ q =T) _ Tq.
Denio 26 Um operador T : 1(A) 1(A) satisfaz desconto se existe
, (0, 1) tal que
[T () +a)] (r) _ (T)) (r) +,a
para todo ) 1(A), a _ 0 e r A.
Os conceitos apresentados nas duas ltimas denies so usados no
teorema de Blackwell, que estabelece as condies sucientes para que T :
1(A) 1(A) seja uma contrao. Embora fortes, essas condies so
comumente satisfeitas nos problemas de interesse em Economia.
Teorema 28 (Blackwell) Se T : 1(A) 1(A) satisfaz monotonicidade e
desconto, ento T uma contrao de mdulo ,.
Demonstrao: Dados ), q 1(A), temos que
) (r) q (r) _ sup[) (r) q (r)[ : r A = |) q| , \r A
logo,
) _ q +|) q| .
Pela monotonicidade de T, temos que
T) _ T (q +|) q|) .
Como |) q| _ 0, segue da propriedade de desconto que
T) _ Tq +, |) q|
T) Tq _ , |) q| .
Analogamente, mostramos que Tq T) _ +, |) q|. Assim,
[T) (r) Tq (r)[ _ , |) q| , \r A.
Desse modo, , |) q| uma cota superior de [T) (r) Tq (r)[ : r A,
de onde conclumos que |T) Tq| _ , |) q|, i.e., T uma contrao de
mdulo ,.
1
Se f e g so funes de S em S, escrevemos f g para f (x) g (x), para todo x 2 S.
22
Proposio 29 Seja (o, d) um espao mtrico e T : o o uma contrao
de mdulo ,. Ento T uniformemente contnua.
Demonstrao: Se T uma contrao de mdulo ,, ento
[Tr Tj[ _ , [r j[ para todo r, j o.
para provar que T uniformemente contnua, basta tomar c = -,,. Nesse
caso, dado - 0, se [r j[ < c, ento
[Tr Tj[ _ , [r j[ < ,c = -,
de modo que T uniformemente contnua.
Exemplo 11 Uma matriz tem a propriedade de diagonal dominante se
o valor absoluto da diagonal for maior que a soma dos valores absolutos dos
elementos fora da diagonal em cada linha, i.e., se
[a
ii
[

),=i
[a
i)
[ .
(Em economia, isto pode ser entendido como os efeitos prprios dominando
os efeitos cruzados). Se a matriz apresenta a propriedade de diagonal
dominante, com a
ii
= 1 para i = 1, ..., :, ento o operador T : R
a
R
denido por T (r) = (1 ) r + / uma contrao. Note que resolver o
sistema r = / nada mais do que encontrar o ponto xo de T. Seja A o
espao das : nj|a: com norma denida por
|r| = max
1ia
[r
i
[ .
Esta norma em A induz a seguinte norma em matrizes 1(: r):
|1| = max
1ia
a

)=1
[/
i)
[ .
Assim,
|T (r) T (j)| = |(1 ) (r j)| _ |1| |r j| .
Como a
ii
= 1, ento
|1| = max
1ia

),=i
[a
i)
[ = , < 1
23
onde a ltima desigualdade decorre da propriedade da diagonal dominante.
Conclumos assim que existe , = max
1ia

),=i
[a
i)
[ < 1 tal que
|T (r) T (j)| _ , |r j|
logo T uma contrao de mdulo ,.
24
2 Espaos Topolgicos
Quando tratamos de espaos mtricos e de espaos vetoriais normados, os
conceitos desenvolvidos (como conjuntos abertos, fechados e convergncia)
estavam diretamente relacionados com a idia de distncia. Vamos agora
inverter esse procedimento, i.e., deniremos aximaticamente alguns destes
conceitos e avaliaremos a estrutura imposta por estes axiomas. Com isso,
vamos aumentar um pouco a abstrao requerida, uma vez que denire-
mos aqui espaos sem distncia porm onde a noo de funes contnuas
ainda faz sentido. A base para todo desenvolvimento da presente seo a
denio a seguir:
Denio 27 Seja A ,= ?. Uma topologia em A uma coleo O de
subconjuntos de A satisfazendo as sequintes propriedades:
O
1
?, A O.
O
2
A unio arbitrria de elementos de O um elemento de O.
O
3
A interseo nita de elementos de O um elemento de O.
Os elementos de O so chamados de abertos.
Denio 28 O par (A, O) onde A um conjunto no vazio e O uma
topologia em A denominado espao topolgico.
Denio 29 Seja (A, O) um espao topolgico. Dizemos que l A
aberto em A se l O.
Denio 30 Seja (A, O) um espao topolgico. O conjunto A
fechado se seu complementar
c
= (A) O.
Assim, a famlia O determina biunivocamente a famlia de conjuntos
fechados C = :
c
O.
Exemplo 12 Sejam A = a, /, c, d, c, ) e
O
1
= A, ?, a , c, d , a, c, d , /, c, d, c, ) .
Ento O
1
uma topologia em A uma vez que satisfaz as condies O
1
O
3
.
Nesta topologia os conjuntos fechados so
?, A, /, c, d, c, ) , a, /, c, ) , /, c, ) e a .
25
Exemplo 13 Sejam A = a, /, c, d, c e
O
2
= A, ?, a , c, d , a, c, c , /, c, d .
Ento O
2
no uma topologia em A uma vez que a unio
c, d ' a, c, c = a, c, d, c
no est em O
2
.
Exemplo 14 Sejam A = a, /, c, d, c, ) e
O
3
= A, ?, a , ) , a, ) , a, c, ) , /, c, d, c, ) .
Ento O
3
no uma topologia em A pois a interseo
a, c, ) /, c, d, c, ) = c, )
no est em O
3
.
Exemplo 15 Sejam N o conjunto dos naturais e O
4
o conjunto consistindo
de N, ? e todos os subconjunos nitos de N. Ento O
4
no uma topologia
em N, uma vez que a unio
2 ' 3 ' ... ' : ' ... = 2, 3, ..., :, ...
no est em O
4
.
Exemplo 16 Seja (o, d) um espao mtrico. Ento a famlia de subconjun-
tos abertos de o com respeito mtrica d uma topologia em o.
Exemplo 17 Seja A ,= ?. A coleo de todos os subconjuntos de A,

O =
(A), uma topologia em A, denominada topologia discreta. Neste espao,
todo subconjunto de A um conjunto aberto. Alm disso, fcil ver que

C =

O. No outro extremo, a topologia

O = ?, A denominada topologia
trivial (ou indiscreta). Note que neste espao

C = A, ?, i.e., assim como
no espao topolgico
_
A,

O
_
, no espao
_
A,

O
_
um conjunto fechado se,
e somente se, aberto.
Exemplo 18 Seja (A, O) um espao topolgico e _ A. Ento O

=
l : l O uma topologia em A. Esta topologia denominada topolo-
gia relativa induzida por O.
26
Exemplo 19 Um espao mtrico (o, d) um espao topolgico onde O
o
,
a topologia de o induzida pela mtrica d, denida ao estabelecer que G
aberto se qualquer r G estiver em uma bola aberta inteiramente contida
em G, i.e.,
? G _ o aberto em (o, O
o
) = \r G, r
a
0 tal que 1(r, r
a
) _
G.
Denio 31 Suponha que O e O
t
sejam duas topologias em A. Se O O
t
dizemos que O
t
mais na (maior, ou mais forte) que O. Nesse caso,
dizemos que O mais grossa (menor ou mais fraca) que O
t
. As topologias
O e O
t
so comparveis se O O
t
ou O
t
O.
A topologia discreta a topologia mais na (ou mais forte) e a topologia
trivial, a mais grossa (ou mais fraca).
Exemplo 20 Se A = a, /, c e O uma topologia em A com a A,
/ A e c A, ento O a topologia discreta. De fato, se A tem 3
elementos, ento (A) tem 2
3
= 8 elementos: o
1
= ?, o
2
= a, o
3
= /,
o
4
= c, o
5
= a, /, o
6
= a, c, o
7
= /, c e o
8
= a, /, c = A.
Devemos provar que cada um destes conjuntos est em O. Com efeito,
segue diretamente da denio de topologia que o
1
, o
8
O. Alm disso,
dado que o
2
, o
3
, o
4
O. Resta mostrar apenas que o
5
, o
6
, o
7
O. Mas
isso decorre imediatamente do fato de que o
5
= o
2
' o
3
, o
6
= o
2
' o
4
e
o
7
= o
3
' o
4
, logo esto em O, pois podem ser escritos como a unio de
elementos de O.
O exemplo anterior uma ilustrao do teorema geral apresentado a
seguir.
Proposio 30 Se (A, O) um espao topolgico tal que, \r A, r
O, ento O a topologia discreta.
Demonstrao: Seja o _ A, ento
o =
_
aS
r .
Como cada r O, ento pela denio de topologia, o O. Como o
um subconjunto arbitrrio de A, temos que O a topologia discreta.
Denio 32 Seja ) : A 1 , ento
27
1. ) injetora se ) (r
1
) = ) (r
2
) implicar que r
1
= r
2
;
2. ) sobrejetora se para todo j 1 existir r A tal que ) (r) = j;
3. ) bijetora se for injetora e sobrejetora.
Denio 33 Seja ) : A 1 , ento dizemos que ) tem inversa se existir
uma funo q : 1 A tal que q () (r)) = r, para todo r A e ) (q (j)) = j,
para todo j 1 . A funo q denominada funo inversa de ).
Denio 34 Seja ) : A 1 . Se o _ 1 , ento o conjunto )
1
(o)
denido por
)
1
(o) = r A : ) (r) o .
O subconjnto )
1
(o) de A denominado imagem inversa de o.
Note que a inversa de uma funo ) : A 1 existe se, e somente se, )
uma bijeo. Contudo, a imagem inversa de qualquer subconjunto de 1
sempre existe. O exemplo a seguir ilustra este fato.
Exemplo 21 Seja ) : Z Z (Z representa o conjunto dos inteiros) denida
por ) (.) = [.[. Note que ) no injetora pois ) (1) = ) (1). Alm disso,
) no sobrejetora pois no existe . Z tal que ) (.) = 1. Assim, ) no
uma bijeo e conseqentemente no possui inversa. Contudo, a imagem
inversa de ) sempre existe. Por exemplo,
)
1
(1, 2, 3) = 1, 2, 3, 1, 2, 3
)
1
(5, 3, 5, 7, 9) = 3, 5, 7, 9, 3, 5, 7, 9.
Denio 35 Seja (A, O) um espao topolgico. A coleo E de subcon-
juntos abertos de A (i.e., E _ O) uma base para a topologia O se todo
conjunto aberto puder ser escrito como a unio de elementos de E.
Se E uma base para a topologia O no conjunto A, ento l _ A
um elemento de O se, e somente se, puder ser escrito a partir da unio de
elementos de E. Desse modo, E "gera" a topologia O no seguinte sentido:
se sabemos os elementos de E, podemos determinar os membros de O, pois
estes so todos os conjuntos que podem ser escritos a partir das unies de
elementos de E.
Exemplo 22 Seja (A, O) um espao topolgico discreto e E a famlia de
todos os subconjuntos unitrios de A; i.e., E =r : r A. Ento E
uma base para O.
28
Exemplo 23 Sejam A = a, /, c, d, c, ) e
O
1
= A, ?, a , c, d , a, c, d , /, c, d, c, ), .
Ento E =a , c, d , /, c, d, c, ) uma base para O
1
pois E _ O
1
e todo
elemento de O
1
pode ser expresso como a unio de membros de E. Observe
que ? uma unio vazia de membros de E. Por m, note que O
1
uma
base para O
1
. Assim, no h nenhum resultado de unicidade para bases de
espaos topolgicos e duas bases distintas do mesmo espao topolgico podem
ter quantidades diferentes de elementos.
Exemplo 24 Sejam A = a, /, c e E =a , c , a, / , /, c. Ento E
no pode ser base para uma topologia em A. Para comprovar,note que se O
uma topologia com base E, ento como E _ O,
O =A, ?, a , c , a, / , /, c , outros conjuntos .
Contudo, entre estes "outros conjuntos"deve estar /, pois / = a, /
/, c. Como / no pode ser escrito a partir da unio de elementos de E,
conclumos que E no pode ser base de nenhuma topologia em A.
Denio 36 Seja um subconjunto de um espao topolgico (A, O). Um
ponto r A denominado ponto de acumulao de se todo aberto l
que contm r contm tambm um ponto de diferente de r.
Proposio 31 Seja um subconjunto de um espao topolgico (A, O).
Ento fechado em (A, O) se, e somente se, contm todos os seus
pontos de acumulao.
Demonstrao: (=) Assuma que fechado em (A, O). Suponha que j
um ponto de acumulao de mas j A. Ento como A aberto
(pois por hipotese fechado), ento j no pode ser ponto de acumulao
de , logo j .
(=) Considere que contm todos os seus pontos de acumulao. As-
sim, para todo . A, existe um conjunto aberto l
:
. tal que l
:
=
?, i.e., l
:
_ A, logo A =
_
:A\
l
:
. Desse modo, A a unio de
conjuntos abertos, logo aberto, de onde segue que seu complementar, ,
fechado.
Denio 37 Seja um subconjunto do espao topolgico (A, O). Ento
o conjunto '
t
consistindo da unio de e todos os seus pontos de
acumulao denominado fecho de , e denotado por .
29
Assim, por denio, o fecho de um conjunto o menor fechado que
contm . Esta forma de pensar no fecho pode facilitar bastante a misso
de obter o fecho de certos conjuntos, como mostra o exemplo a seguir:
Exemplo 25 Sejam A = a, /, c, d, c e
O =A, ?, a , c, d , a, c, d , /, c, d, c .
Ento o nico ponto de acumulao do conjunto / c. De fato, a no
pode ser ponto de acumulao de / pois no pertence ao aberto /, c, d, c.
Adicionalmente, c no pode ser ponto de acumulao de / pois / no est
no aberto c, d. A mesma justicativa vale para d. Finalmente, note que o
nico aberto que contm / /, c, d, c, logo c ponto de acumulao de
/ pois no existe outro aberto ao qual c pertena e que no contenha /.
Conclumos assim que / = /, c. Note que a nossa misso se torna bem
mais simples se pensarmos no fecho de um conjunto como o menor fechado
que contm este conjunto. Primeiramente, observe que no espao topolgico
em questo, os fechados so ?, A, /, c, d, c , a, /, c , /, c e a. Assim,
o menor fechado que contm / /, c, i.e., / = /, c. Similarmente
vemos que a, c = A e /, d = /, c, d, c.
Exemplo 26 Seja Q o subconjunto de R consistindo de todos os nmeros
racionais. Ento Q = R. Suponha que no. Ento RQ ,= ?. Tome
r RQ, ento como Q fechado, RQ aberto, logo existem a, / RQ
com a < / tais que r (a, /) RQ, o que um absurdo pois para todo
intervalo (a, /) existe Q tal que (a, /).
Denio 38 Seja um subconjunto do espao topolgico (A, O). Ento
dito denso em A se = A.
Exemplo 27 Segue diretamente do exemplo anterior que Q um subcon-
junto denso de R.
Exemplo 28 Sejam A = a, /, c, d, c e
O =A, ?, a , c, d , a, c, d , /, c, d, c .
Ento a, c denso em A pois a, c = A.
Exemplo 29 Seja (A, T) o espao topolgico discreto. Ento todo subcon-
junto de A fechado, i.e., o fecho de um elemento qualquer de A o prprio
elemento. Assim, o nico subconjunto denso de A o prprio A.
30
Denio 39 Um espao topolgico dito separvel se possuir um sub-
conjunto denso enumervel.
Exemplo 30 A reta real com a topologia usual um espao separvel, pois
o conjunto Q dos racionais enumervel e denso em R.
Exemplo 31 Considere a reta real R com a topologia discreta T. Lembre
que todo subconjunto de R T-aberto e T-fechado, de modo que o nico
subconjunto T-denso de R o prprio R. Mas R no enumervel, logo
(R, T) no um espao topolgico separvel.
Denio 40 (Axioma da separao de Hausdor) Um espao topolgico
(, O) denominado espao de Hausdor se para quaisquer dois pontos
r, j , com r ,= j, existirem conjuntos abertos disjuntos l e \ tais que
r l e j \ .
Figura 03: Em um espao de Hausdor dois pontos distintos podem ser
separados por abertos disjuntos.
Proposio 32 Todo espao mtrico Hausdor.
Demonstrao: De fato, tome r ,= j tal que para a mtrica d no conjunto
o, d (r, j) = - 0. Desse modo, os conjuntos l =
_
. o : d (r, .) <
.
2
_
e
\ =
_
. o : d (j, .) <
.
2
_
so abertos e disjuntos com r l e j \ .
Denio 41 Seja (, O) um espao topolgico. Dizemos que l uma
vizinhana de r se existe um conjunto aberto \ tal que r \ l.
Denio 42 Sejam (, O) um espao topolgico e r
a
uma seqncia em
. Dizemos que r o limite de r
a
se para toda vizinhana l de r
existe :
0
N tal que r
a
l \: _ :
0
.
Note que em espaos de Hausdor uma seqncia pode ter no mx-
imo um limite. Em espaos topolgicos no-Hausdor podemos encontrar
31
alguns resultados exticos. Por exemplo, tome um conjunto contendo
mais de um elemento e considere a topologia trivial , ?. Assim, dado
r , o nico aberto que contm r o prprio . Do mesmo modo, o nico
aberto que contm j ,= r o prprio . Assim, todo aberto contendo r,
contm tambm j, portanto no espao
_
,

O
_
com

O indicando a topologia
trivial, toda seqncia converge para todo ponto. imediato notar que o
espao
_
,

O
_
no de Hausdor.
Na topologia discreta, todo conjunto aberto. Assim, as nicas seqn-
cias convergentes so aquelas que so ultimamente constantes.
2.1 Continuidade e Homeomorsmo
Estenderemos agora a noo de continuidade de funes a espaos topolgi-
cos gerais. A caracterizao de funes contnuas em espaos mtricos como
sendo aquelas cuja imagem inversa de um aberto um aberto ser usada
como denio na abordagem mais geral.
Denio 43 Sejam (A, O) e (1, T) espaos topolgicos. A funo ) :
A 1 dita contnua se a imagem inversa de qualquer subconjunto aberto
em 1 um aberto em A.
Exemplo 32 Se (A, O) discreta e (1, T) um espao topolgico arbi-
trrio, ento qualquer funo ) : A 1 contnua.
Exemplo 33 Se (A, O) um espao topolgico arbitrrio e (1, T) trivial,
ento qualquer funo q : A 1 contnua.
Nas diversas reas da matemtica importante entender quando duas
estruturas so equivalentes
2
. Considere o seguinte exemplo:
A = a, /, c, d, c 1 = q, /, i, ,, / ,
O
A
= A, ?, a , c, d , a, c, d , /, c, d, c ,
O
Y
= 1, ?, q , i, , , q, i, , , /, i, ,, / .
2
Por exemplo, dois conjuntos so ditos equivalentes na teoria dos conjuntos se existe
uma bijeo que mapeia um conjunto no outro. Dois grupos so equivalentes, o que
conhecido como isomorsmo, se existe um homomorsmo de um grupo no outro que
seja injetivo e sobrejetivo. Mostraremos nesta seo que dois espaos topolgicos so
equivalentes se existe um homeomorsmo de um no outro. Veremos tambm que em
espaos mtricos, o conceito de equivalncia a isometria.
32
de certa forma "intuitivo"que os espaos topolgicos (A, O
A
) e (1, O
Y
)
so equivalentes. A funo ) : A 1 denida por ) (a) = q, ) (/) = /,
) (c) = i, ) (d) = , e ) (c) = / descreve esta equivalncia. Na verdade,
funes contnuas tm a caracterstica de preservar muitas propriedades.
Quando relacionamos dois espaos por meio de uma bijeo contnua em
ambas as direes, estes espaos apresentam vrias propriedades em comum.
Tais propriedades so conhecidas como propriedades topolgicas. Os
espaos assim relacionados so ditos homeomorfos.
Denio 44 Sejam (A, O) e (1, T ) espaos topolgicos e ) : A 1 uma
bijeo. Ento ) um homeomorsmo se, e somente se, ) e sua inversa
)
1
forem contnuas. Se tal funo existe, ento os espaos topolgicos
(A, O) e (1, T ) so ditos homeomorfos (notao: (A, O)
~
= (1, T )).
Proposio 33 Sejam (A, O
A
), (1, O
Y
) e (7, O
Z
) espaos topolgicos. Se
(A, O
A
)
~
= (1, O
Y
) e (1, O
Y
)
~
= (7, O
Z
), ento (A, O
A
)
~
= (7, O
Z
).
Demonstrao: Como (A, O
A
)
~
= (1, O
Y
) e (1, O
Y
)
~
= (7, O
Z
), ento ex-
istem homeomorsmos ) : (A, O
A
) (1, O
Y
) e q : (1, O
Y
) (7, O
Z
).
Considere a composta q ) : A 7. Sabemos que a composta de bije-
toras bijetora. Agora tome l O
Z
. Ento, como q um homeomor-
smo, q
1
(l) O
Y
. Do fato de que ) um homeomorsmo segue que
)
1
_
q
1
(l)
_
O
A
. Mas note que (q ))
1
(l) = )
1
_
q
1
(l)
_
O
A
.
Por m, observe que se \ O
A
, ento ) (\ ) O
Y
e q () (\ )) O
Z
, i.e.,
q ) (\ ) O
Z
. Com isso, comprovamos que q ) : (A, O
A
) (7, O
Z
)
bijetora e que q ) e (q ))
1
so contnuas, logo os espaos (A, O
A
) e
(7, O
Z
) so homeomorfos, como queramos demonstrar.
Proposio 34 Quaisquer dois intervalos abertos no vazios (a, /) e (c, d)
so homeomorfos na topologia usual.
Demonstrao (informal): Pela proposio anterior, precisamos apenas
mostrar que (a, /) e (c, d) so homeomorfos a (0, 1). Mas como a, / so
arbitrrios (com a < /), se (a, /) homeomorfo a (0, 1), ento (c, d) tambm
o . Para provar que (a, /) homeomorfo a (0, 1), basta encontrar um
homeomorsmo ) : (0, 1) (a, /). Tal funo (cujo grco exibido na
gura 04) dada por
) (r) = a (1 r) +/r.
33
Figura 04: (a, /) ,= ? e (0, 1) so homeomorfos.
Fica a cargo do leitor mostrar que ) assim descrita um homeomorsmo.
Proposio 35 O espao R homeomorfo ao intervalo aberto (1, 1) na
topologia usual.
Demonstrao (informal): De fato, basta denir ) : (1, 1) R por
) (r) =
r
1 [r[
.
O grco de ) apresentado na gura 05. simples ver que ) uma
bijeo contnua e que sua inversa )
1
contnua, o que indica que ) um
homeomorsmo.
Figura 05: (1, 1) e R so homeomorfos na topologia usual.
Dese modo temos que qualquer intervalo aberto (a, /) com a < / home-
omorfo a R. Isto signica que os conjuntos (a, /) e R so indistinguveis
topologicamente quando consideramos a topologia usual.
34
Denio 45 Uma propriedade 1, de conjuntos, dita topolgica (ou
invariante topolgico) se, sempre que um espao topolgico (A, O) gozar de
1, ento todo espao homeomorfo a (A, O) tambm gozar de 1.
Veremos na prxima seo que compacidade uma propriedade topolg-
ica.
Agora que sabemos que dois espaos topolgicos so equivalentes se hou-
ver um homeomorsmo entre eles, uma pergunta que surge naturalmente :
quando dois espaos mtricos so equivalentes? O conceito que est por trs
dessa equivalncia o de isometria.
Denio 46 Um espao mtrico (A, d) isomtrico a um espao mtrico
(1, j) se, e somente se, existe uma bijeo ) : A 1 que conserva distn-
cias, i.e., para todo j, A,
d (j, ) = j () (j) , ) ()) .
O problema da metrizao em Topologia consiste em achar condies
topolgicas necessrias e sucientes para que um espao seja metrizvel, no
sentido da denio a seguir.
Denio 47 Um espao topolgico (A, O) dito metrizvel se existe
uma mtrica d em A tal que a topologia O
o
induzida por d coincide com
a topologia O em A.
Exemplo 34 Todo espao topolgico discreto (A, T) metrizvel, pois a
mtrica trivial em A induz topologia discreta T.
Exemplo 35 Considere o espao topolgico (R, |), onde | representa a
topologia usual. Note que (R, |) metrizvel, pois a mtrica usual em R
induz topologia usual em R. Analogamente, o R
a
com a topologia usual
metrizvel.
2.2 Compacidade
Pode-se descrever compacidade como a generalizao topolgica de nitude.
Usaremos aqui a denio formal que estabelece que um espao topolgico
compacto se para qualquer cobertura aberta de um subconjunto desse
espao existir uma quantidade nita de abertos dessa cobertura que ainda
seja uma cobertura de . Evidentemente qualquer subconjunto nito de um
espao topolgico compacto. Alm disso, no espao topolgico discreto,
35
um conjunto compacto se, e somente se, nito. Quando consideramos
espaos topolgicos mais ricos vemos que conjuntos innitos podem ser com-
pactos. Por exemplo, no conjunto dos reais R munido da topologia usual,
os intervalos fechados [a, /] so compactos.
Veremos nesta seo um pouco da importncia de compacidade. Em
particular, mostraremos a verso do teorema de Weierstrass para espaos
topolgicos, que garante que se ) uma funo contnua que leva do espao
topolgico compacto (A, O) em R, ento ) atinge seus valores mximo e
mnimo.
Denio 48 Um subconjunto 1 de um espao topolgico (A, O) dito
compacto se para toda coleo l = l
i

i1
de conjuntos abertos tal que
1 _
_
i1
l
i
existe um conjunto nito J _ 1 para o qual 1 _
_
iJ
l
i
.
Exemplo 36 Em R o intervalo 1 = (0, ) no compacto. De fato, tome
para cada natural i, O
i
= (0, i). Ento 1 _
_
iN
O
i
, mas no existem ndices
i
1
, i
2
,..., i
a
tais que 1 _ (0, i
1
) '(0, i
2
) '... '(0, i
a
), logo 1 no compacto.
Exemplo 37 Seja (A, O) um espao topolgico e = r
1
, r
2
, ..., r
a
um
subconjunto nito qualquer de (A, O), ento compacto. Com efeito, seja
O
)
, , J uma famlia de abertos tais que _
_
)J
O
)
. ENto para cada
r
i
existe um O
)
i
tal que r
i
O
)
i
. Assim, _ O
)
1
' O
)
2
' ... ' O
)n
, de
modo que compacto.
Proposio 36 Um subconjunto do espao discreto (A, T) compacto
se, e somente se, nito.
Demonstrao: (=)Seja compacto. A famlia de conjuntos unitrios
O
a
= r, r tal que cada O
a
aberto e _
_
a
O
a
. Como
compacto, existem O
a
1
, O
a
2
, ..., O
an
tais que _ O
a
1
'O
a
2
'... 'O
an
, i.e.,
_ r
1
, r
2
, ..., r
a
, logo nito.
(=) Vimos no exemplo anterior que se nito, ento compacto.
Teorema 37 Um subespao fechado de um espao topolgico compacto
compacto.
Demonstrao: Seja 1 um subconjunto aberto do espao topolgico com-
pacto (A, O) e l
i

i1
uma cobertura aberta de . Ento a coleo l
i

i1
'
36
1
c
uma famlia de subconjuntos abertos de A e que cobre A. Da com-
pacidade de A temos que existe J nito tal que l
i

iJ
' 1
c
cobre A.
Como 1
c
1 = ? e 1 _ A, temos que 1 _ l
i

iJ
, logo 1 compacto.
Teorema 38 Se A um espao de Hausdor, ento qualquer subconjunto
compacto de A fechado.
Demonstrao: Seja 1 um subconjunto compacto de A. Como A
Hausdor, se r 1
c
e j 1, existem abertos disjuntos l
aj
e \
aj
tais que
r l
aj
e j \
aj
. Assim, dado r 1, \
aj

j1
uma cobertura aberta
de 1. Como 1 compacto, existem j
1
, j
2
, ..., j
a
1 tais que 1 _
a
_
i=1
\
aj
i
.
Tome l =
a

i=1
l
aj
. Ento l aberto, l 1 = ? e r l. Assim,
r l _ 1
c
, o que mostra que 1
c
aberto e, consequentemente, 1
fechado.
Em topologia, o teorema de Weierstrass (ver seo 1.2) segue do fato
geral de que compacidade preservada pela continuidade.
Teorema 39 Sejam (A, O) e (1, T) espaos topolgicos e ) : A 1 uma
funo contnua. Se 1 _ A um conjunto compacto, ento ) (1) um
subconjunto compacto de 1 .
Demonstrao: Seja l uma cobertura aberta de ) (1). A continuidade
de ) implica que para todo l
i
l, )
1
(l
i
) um subconjunto aberto de A.
Adicionalmente, a famlia
_
)
1
(l
i
) : l
i
l
_
uma cobertura aberta de 1.
De fato, se r 1, ento ) (r) ) (1) e consequentemente ) (r) ) (l
i
)
para algum l
i
l. Isto implica que r )
1
(l
i
). Como 1 compacto,
1 _
a
_
i=1
)
1
(l
i
) para algum :. Desse modo, ) (1) _
a
_
i=1
l
i
, o que prova
que ) (1) um subconjunto compacto de 1 .
Teorema 40 (Teorema de Weierstrass) Seja (A, O) um espao topolgico
compacto e ) uma funo contnua de (A, O) em R. Ento ) atinge seus
extremos (isto , existem r
n
, r
A
A tais que ) (r
n
) _ ) (r) _ ) (r
A
)
para todo r A).
Demonstrao: Como ) contnua e (A, O) compacto, ento ) (A)
compacto em R (i.e., ) (A) fechado e limitado). Por ser limitado, ) (A)
37
tem supremo e por ser fechado, esse supremo est em ) (A). i.e., r
A
A.
A demonstrao de que ) atinge seu valor mnimo anloga.
Proposio 41 Seja ) : (A, O) (1, T ) uma funo sobrejetora. Nesse
caso, a compacidade de (A, O) implica na compacidade de (1, T ).
Demonstrao: Seja O
i
, i 1, uma cobertura aberta qualquer de 1 .
Ento )
1
(O
i
), i 1, uma cobertura aberta de A.
Segue da compacidade de A que existem i
1
, i
2
,..., i
a
em 1 tais que
A _ )
1
(O
i
1
) ' )
1
(O
i
2
) ' ... ' )
1
(O
in
) .
Assim,
1 = ) (A)
_ )
_
)
1
(O
i
1
) ' )
1
(O
i
2
) ' ... ' )
1
(O
in
)
_
= )
_
)
1
(O
i
1
)
_
' )
_
)
1
(O
i
2
)
_
' ... ' )
_
)
1
(O
in
)
_
= O
i
1
' O
i
2
' ... ' O
in
pois ) sobrejetiva. Conclumos assim que 1 coberto por uma quantidade
nita de O
i
s, logo compacto.
O corolrio a seguir conseqncia imediata da proposio anterior.
Corolrio 42 Sejam (A, O) e (1, T ) espaos topolgicos homeomorfos. Nesse
caso, a compacidade de (A, O) implica na compacidade de (1, T ).
38
3 Anlise Funcional
A seo que se inicia est baseada no excelente livro de Kreyszig (1978),
mais especicamente em seus quatro primeiros captulos. Foram utilizados
ainda Luemberger (1969, cap. 5) e Morrison (2001).
3.1 Espaos Vetoriais de Dimenso Finita e Innita
Um espao vetorial A tem dimenso nita se existe um inteiro positivo
: tal que A contm um conjunto de : vetores linearmente independentes
(LI) e qualquer conjunto de : + 1 ou mais vetores de A necessariamente
linearmente dependente (LD). Dizemos nesse caso de : a dimenso de A,
dimA = :. Por denio, A = 0 tem dimenso nita e dimA = 0. Se a
dimenso de A no nita, dizemos que A de dimenso innita.
Se A um espao vetorial (de dimenso nita ou innita) e 1 um
subconjunto LI de A que gera A, ento 1 denominado de base (ou base de
Hamel) de A. Se 1 uma base de A, ento qualquer vetor r A apresenta
representao nica sob a forma de uma combinao linear dos elementos de
1 com escalares no nulos como coecientes. possvel mostrar que todo
espao vetorial A ,= 0 tem uma base. No caso de dimenso nita isso
simples. Para espaos vetoriais arbitrrios de dimenso innita preciso
utilizar o lema de Zorn.
Teorema 43 (Dimenso de um subespao) Seja A um espao vetorial :-
dimensional. Ento qualquer subespao prprio 1 de A tem dimenso
menor que :.
Demonstrao: Kreyszig (1978, p. 55).
Uma grande quantidade de espaos mtricos pode ser vista como espaos
normados. Espaos normados constituem provavelmente o tipo de espao
mais importante em anlise funcional. Como vimos nas sees anteriores,
uma importante vantagem de trabalhar em espaos normados a estrutura
algbrica imposta (algo que no ocorre necessariamente em espaos mtri-
cos). Vimos tambm que uma norma em A dene uma mtrica d em A
dada por
d (r, j) = |r j|
para todo r, j A. Essa mtrica denominada mtrica induzida pela
norma. Segue diretamente das propriedades de uma norma que
[|r| |j|[ _ |r j| ,
39
o que garante uma importante caracterstica de ||: A norma contnua,
i.e., r |r| uma funo contnua de (A, ||) em R
+
.
Teorema 44 Em um espao vetorial de dimenso nita A, todas as normas
so equivalentes.
Demonstrao: Kreyszig (1978, p. 75).
O teorema anterior de grande importncia prtica. Ele nos informa
que a convergncia ou divergncia de uma seqncia em um espao vetorial
de dimenso nita independe da escolha da norma.
Teorema 45 (Compacidade) Em um espao vetorial normado de dimenso
nita A, qualquer subconjunto ' A compacto se, e somente se, '
fechado e limitado.
Demonstrao: Kreyszig (1978, p. 78).
O teorema anterior garante que em um espao vetorial normado de di-
menso nita a bola unitria fechada compacta. Adicionalmente,
Teorema 46 Se um espao normado A tem a propriedade de que a bola
fechada unitria ' = r : |r| _ 1 compacta, ento A tem dimenso
nita.
Demonstrao: Kreyszig (1978, p. 80).
Vimos que a compacidade desempenha um papel muito importante na
determinao da existncia de elementos no espao que estejam associados
aos valores extremos de funes contnuas (Teorema de Weierstrass). Isso
confere aos teoremas anteriores uma aplicao prtica de grande relevncia.
3.2 Operadores Lineares
Sejam A e 1 conjuntos e A. Um mapeamento (ou transformao,
ou relao funcional, ou funo abstrata) T de em 1 obtido quando
associamos a cada r um nico j 1 , reprsentado por j = Tr e
denominado imagem de r com respeito a T. O conjunto o domnio de
T e denotado por T(T).
T : T(T) 1.
A imagem (T) de T denida por
(T) = j 1 : j = Tr para algum r T(T) .
40
A imagem T (') de qualquer subconjunto ' T(T) o conjunto de todas
as imagens Tr com r '. Note que T (T(T)) = (T).
Em clculo trabalha-se com funes denidas em R
a
(ou em um subcon-
junto de R
a
) e assumindo valores em R
n
. Tais funes so mapeamentos
de _ R
a
em R
n
. Em anlise funcional consideramos espaos mais gerais,
tais como espaos mtricos e espaos normados e mapeamentos desses es-
paos.
No caso de espaos normados, um mapeamento denominado oper-
ador. Dentro da classe dos operadores, merecem especial ateno aqueles
que "preservam"as duas operaes algbricas de um espao vetorial no sen-
tido descrito pela denio a seguir:
Denio 49 Um operador linear um operador tal que
1. O domnio 1(T) de T um espao vetorial e a imagem 1(T) est
em um espao vetorial sobre o mesmo corpo,
2. para todo r, j 1(T) e escalares c,
T (r +j) = Tr +Tj (1)
T (cr) = cTr. (2)
Usamos a notao Tr em vez de T (r), o que uma prtica comum em
anlise funcional. Note que (1) e (2) so equivalentes a
T (cr +,j) = cTr +,Tj.
Fazendo c = 0 em (2) obtemos
T0 = 0,
resultado que usaremos algumas vezes ao longo desta seo.
A seguir so apresentados exemplos de operadores lineares.
Exemplo 38 (Operador Identidade) O operador identidade 1 : A A
denido por 1r = r para todo r A.
Exemplo 39 (Diferenciao) Seja A o espao vetorial de todos os polinmios
em [a, /]. Podemos denir um operador linear T em A por
Tr(t) = r
t
(t)
para todo r A, onde a linha denota a diferenciao com respeito a t. Esse
operador mapeia A em A.
41
Exemplo 40 (Integrao) Um operador linear de C [a, /] em C [a, /] pode
ser denido por
Tr(t) =
_
t
o
r(t) dt t [a, /] .
Exemplo 41 (lgebra vetorial elementar) O produto interno euclidi-
ano de dois vetores em R
a
com um deles mantido xo dene um operador
linear T : R
a
R,
Tr = r a =
1
c
1
+
2
c
2
+... +
a
c
a
onde r = (
1
,
2
, ...
a
) e a = (c
1
, c
2
, ...c
a
) so vetores em R
a
, com a xo.
Exemplo 42 (Matrizes) Uma matriz real = (c
)I
) com r linhas e :
colunas dene um operador T : R
a
R
v
por
j = r
onde r = (
1
,
2
, ...
a
) e j = (j
1
, j
2
, ...j
v
) so vetores coluna (: 1) e
(r 1) respectivamente. T linear pois a multiplicao matricial uma
operao linear.
3.3 Operadores Lineares Limitados e Contnuos
Denio 50 Sejam A e 1 espaos normados e T : 1(T) 1 um oper-
ador linear, onde 1(T) A. O operador T limitado se existe um nmero
real c tal que para todo r 1(T),
|Tr| _ c |r| . (3)
Note que em (3) a norma esquerda denida em 1 e a norma
direita em A. Usamos aqui o mesmo smbolo por simplicidade, sem que
haja risco de confuso. A expresso (3) informa que um operador linear
limitado mapeia conjuntos limitados de 1(T) em conjuntos limitados em
1 .
Qual o menor valor de c tal que (3) continue vlida para todo r T(T)
com r no nulo? (Note que podemos excluir r = 0 uma vez que Tr = 0
para r = 0, pois T um operador linear). Dividindo ambos os lados de (3)
por |r| temos
|Tr|
|r|
_ c
42
logo c _ sup
|Ta|
|a|
com r 1(T) 0. Assim, a resposta para a nossa
pergunta que o menor valor possvel para c em (3) sup
|Ta|
|a|
. Esse nmero
denotado por |T|:
|T| = sup
aT(T)
a,=0
|Tr|
|r|
. (4)
|T| a norma do operador T. Se T(T) = 0, denimos |T| = 0. Note
que em (3), se c = |T|, ento
|Tr| _ |T| |r| .
Naturalmente devemos justicar o termo "norma"utilizado para |T|. Isto
feito na proposio a seguir:
Teorema 47 Seja T um operador linear limitado. Ento:
1. Uma frmula alternativa para a norma de T
|T| = sup
aT(T)
|a|=1
|Tr| .
2. A expresso denida em (4) satisfaz as propriedades de uma norma.
Demonstrao: 1. Escreva |r| = a e dena j = (1,a) r, com r ,= 0.
Ento |j| = 1 e pela linearidade de T, temos que
|T| = sup
aT(T)
a,=0
|Tr|
|r|
= sup
aT(T)
a,=0
1
a
|Tr| = sup
aT(T)
a,=0
_
_
_
_
T
_
1
a
r
__
_
_
_
= sup
jT(T)
|j|=1
|T (j)| .
2. A propriedade
1
de uma norma imediata, uma vez que |0| = 0 e
de |T| = 0 temos que Tr = 0 para todo r T(T), logo T = 0. Alm disso,

2
segue do fato de que
sup
|a|=1
|cTr| = sup
|a|=1
[c[ |Tr| = [c[ sup
|a|=1
|Tr|
com r T(T). Por m,
3
decorre de
sup
|a|=1
|(T
1
+T
2
) r| = sup
|a|=1
|T
1
r +T
2
r| _ sup
|a|=1
|T
1
r| + sup
|a|=1
|T
2
r|
com r T(T).
Quando estamos lidando com o caso de dimenso nita, a linearidade de
um operador garante que o mesmo limitado, de acordo com o teorema a
seguir.
43
Teorema 48 (Dimenso Finita) Se um espao normado A tem dimenso
nita, ento todo operador linear em A limitado.
Demonstrao: Kreyszig (1978, p.96)
Teorema 49 Seja T : 1(T) 1 um operador linear, onde 1(T) A e
A, 1 so espaos normados. Ento:
1. T contnuo se, e somente se, T limitado.
2. Se T contnuo em um ponto qualquer, ento T contnuo.
Demonstrao: Mostraremos na seo a seguir um teorema anlogo para
funcionais lineares. A demonstrao para operadores lineares anloga e
pode ser vista em Kreyszig (1978, p. 97).
3.4 Funcionais Lineares
Um funcional um operador cuja imagem est em R ou em C. Natu-
ralmente, Anlise Funcional o estudo de funcionais. Denotaremos fun-
cionais por letras minsculas ), q, /, ... , o domnio de ) por T()), a imagem
por ()) e o valor de ) em r T()) por ) (r). Como todo funcional um
operador, os resultados da seo anterior valem igualmente aqui.
Denio 51 Um funcional linear um operador linear com domnio no
espao vetorial A e imagem no corpo de escalares 1 de A; assim,
) : 1()) 1
onde 1 = R se A real e 1 = C se A complexo.
A linearidade dos funcionais uma caracterstica forte o suciente para
nos garantir o seguinte resultado:
Teorema 50 Seja ) um funcional linear em um espao linear normado A,
contnuo em um ponto r
0
A. Ento, ) contnuo em A, i.e., em todo
ponto r A.
Demonstrao: Seja r
a
uma seqncia em A convergindo para r A.
Ento, pela linearidade de ),
[)(r
a
) )(r)[ = [)(r
a
r +r
0
) )(r
0
)[
No entanto, como r
a
r +r
0
r
0
e como ) contnua em r
0
, temos que
)(r
a
r +r
0
) )(r
0
). Logo, [)(r
a
) )(r)[ 0.
44
Denio 52 (Funcional Linear Limitado) Um funcional linear em um
espao normado A dito limitado se existe uma constante c R tal que
[)(r)[ _ c[[r[[ para todo r A. O nmo do conjunto de escalares c que
satisfazem essa desigaldade chamado de norma de ), denotada por [[)[[.
Ento,
[[)[[ = i:)c : [)(r)[ _ c[[r[[, \r A.
Assim como no caso de operadores, linearidade do funcional ) forte o
suciente para garantir as seguintes equivalncias para a expresso da norma
de ):
|)| = sup
a1())
a,=0
[) (r)[
|r|
= sup
a1())
|a|=1
[) (r)[ .
A norma denida dessa maneira satisfaz as trs exigncias usuais:

1
[[)[[ _ 0; [[)[[ = 0 ==) = 0

2
[[c)[[ = [c[ [[)[[

3
[[)
1
+)
2
[[ = sup
[[a[[1
[)
1
(r)+)
2
(r)[ _ sup
[[a[[1
[)
1
(r)[+sup
[[a[[1
)
2
(r) =
[[)
1
[[ +[[)
2
[[.
Segue diretamente da denio que
[) (r)[ _ |)| |r| . (5)
Teorema 51 Um funcional linear ) com domnio A em um espao nor-
mado contnuo se, e somente se, ) limitado.
Demonstrao: (=) Suponha primeiro que ) limitado. Seja M tal que
[)(r)[ _ c[[r[[, , \r A. Ento, para r
a
0, temos que [)(r
a
)[ _ c[[r
a
[[
0. Logo, ) contnuo em 0 A, logo ) contnuo em todo A (pelo teorema
anterior).
(=) Suponha agora que ) seja contnuo em 0 A. Ento, existe um
c 0 tal que [)(r)[ < 1 para todo [[r[[ < c. Como para todo r A, tal que
r ,= 0 A, temos que cr,[[r[[ tem norma igual a c, temos
[)(r)[ = [)(
cr
[[r[[
)[
[[r[[
c
<
[[r[[
c
e c = 1,c serve como limite para ).
Juntando os resultados dos dois teoremas anteriores conclumos que se
um funcional linear contnuo em um ponto qualquer r
0
A, ento ele
limitado e contnuo em todo A.
45
Exemplo 43 (Integral denida) A integral denida um nmero se con-
siderarmos esta denida para uma funo dada, como feito em clculo.
Contudo, a situao muda completamente quando consideramos a integral
de todas as funes em um certo espao. Nesse caso a integral se torna um
funcional, digamos ). Como espao escolheremos C [a, /], que consiste no
espao das funes contnuas denidas em [a, /]. Assim, ) denida por
) (r) =
_
b
o
r(t) dt r C [a, /] .
O funcional ) assim denido linear. Provaremos que ) limitado e tem
norma |)| = / a. Para isto, usaremos o fato de que o espao C [a, /]
um espao vetorial com norma denida por
|r| = max
tJ
[r(t)[
com J = [a, /] e r C [a, /]. Assim,
[) (r)[ =

_
b
o
r(t) dt

_ (/ a) max
tJ
[r(t)[ = (/ a) |r| .
Tomando o supremo sobre todos os r com norma 1, obtemos |)| _ / a.
Para mostrar que |)| _ / a, tome r = r
0
= 1 (logo |r
0
| = 1) e use (5):
|)| _
[) (r
0
)[
|r
0
|
= [) (r
0
)[ =
_
b
o
dt = / a.
Exemplo 44 (Espao |
2
) Podemos obter um funcional linear ) no espao
de Hilbert |
2
escolhendo um a = c
i
|
2
e denindo
) (r) =
o

)=1

)
c
)
onde r =
i
|
2
. Esta srie converge absolutamente e ) limitada, pois
[) (r)[ =

)=1

)
c
)

_
o

)=1

)
c
)

_
o

)=1

_
o

)=1
[c
)
[
2
= |r| |a|
onde se fez uso da desigualdade de Cauchy-Schwarz.
46
de grande interesse que o conjunto de todos os funcionais lineares
denidos em um certo espao vetorial A constituam um espao vetorial.
Este espao denotado por A
+
e denominado dual algbrico
3
de A. As
operaes algbricas em A
+
so denidas de maneira natural. A soma de
dois funcionais )
1
+)
2
o funcional : cujo valor em cada r A
: (r) = ()
1
+)
2
) (r) = )
1
(r) +)
2
(r) ;
o produto c) de um escalar c e um funcional ) o funcional j cujo valor
em r A
j (r) = (c)) (r) = c) (r) .
Operadores lineares em espaos vetoriais de dimenso nita podem sem-
pre ser representados em termos de matrizes. Desse modo, matrizes so
as ferramentas mais importantes para o estudo de operadores lineares em
espaos de dimenso nita.
3.5 Espao Dual
Na seo 3.3 denimos o conceito de operador linear limitado e fornecemos
exemplos com o intuito de ilustrar a importncia desses operadores. Na
presente seo, tomaremos dois espaos normados quaisquer A e 1 (ambos
reais ou ambos complexos) e consideraremos o conjunto
1(A, 1 )
de todos os operadores lineares limitados de A em 1 , i.e., os operadores
denidos no espao todo A e com imagem em 1 . Queremos mostrar que
1(A, 1 ) pode ser um espao normado.
Note que 1(A, 1 ) se torna um espao vetorial se denirmos a soma
T
1
+T
2
de dois operadores T
1
, T
2
1(A, 1 ) de forma natural como
(T
1
+T
2
) r = T
1
r +T
2
r
e o produto cT de T 1(A, 1 ) e um escalar c por
(cT) r = cTr.
O teorema a seguir conseqncia do Teorema 47.
3
Note que esta denio no envolve nenhuma norma. O conhecido espao dual X
0
que trataremos na prxima seo consiste no conjunto de todos os funcionais lineares em
X.
47
Teorema 52 O espao vetorial 1(A, 1 ) de todos os operadores lineares de
um espao normado A no espao normado 1 um espao normado, com
norma denida por
|T| = sup
aA
a,=0
|Tr|
|r|
= sup
aA
|a|=1
|Tr| .
Em que circunstncias 1(A, 1 ) um espao de Banach? Essa uma
questo de grande relevncia e abordada no teorema a seguir. Note que a
condio apresentada no envolve A; i.e., A pode ou no ser completo.
Teorema 53 Se 1 um espao de Banach,ento 1(A, 1 ) um espao de
Banach.
Demonstrao: Kreyszig (1978, p. 119).
O teorema anterior tem conseqncia importante no que diz respeito ao
espao dual A
t
de A, denido a seguir:
Denio 53 (Espao Dual A
t
) Seja A um espao normado. Ento o
conjunto de todos os funcionais lineares limitados em A constitui um espao
normado com norma denida por
|)| = sup
aA
a,=0
[) (r)[
|r|
= sup
aA
|a|=1
[) (r)[
e denominado espao dual de A, representado por A
t
.
Uma vez que um funcional linear em A mapeia A em R (ou C) e como R
e C so completos tomando a mtrica usual, conclumos que A
t
1(A, 1 )
com o espao completo 1 = R ou C. Assim, o teorema anterior implica em:
Teorema 54 O espao dual A
+
de um espao normado A um espao de
Banach (independente de A ser completo ou no).
Denio 54 Um isomorrsmo do espao vetorial normado A no espao
vetorial normado

A um operador linear T : A

A que preserva a norma,
i.e., para todo r A,
|Tr| = |r| .
48
Nesse caso dizemos que A e

A so espaos normados isomorfos. Isso
signca que de um ponto de vista abstrato A e

A so idnticos.
No prximo exemplo mostraremos que o espao dual de R
a
isomorfo
ao R
a
, o que pode ser expresso de modo mais simples dizendo que o espao
dual do R
a
o R
a
. Resultado similar vale para os outros exemplos.
Exemplo 45 O dual do R
a
o R
a
.
Demonstrao: Kreyszig (1978, p. 121).
Exemplo 46 O dual do |
1
o |
o
.
Demonstrao: Kreyszig (1978, pp. 121-122).
Exemplo 47 O dual do |
j
o |
q
, onde 1 < j < + e o conjugado de
j, i.e., 1,j + 1, = 1.
Demonstrao: Kreyszig (1978, pp. 123-124).
3.6 Espaos de Hilbert
Em espaos normados podemos somar vetores e multiplica-los por escalares.
Alm disso, a norma nesses espaos generaliza o conceito de comprimento de
um vetor. Contudo, falta ainda aos espaos normados em geral algo anlogo
ao produto interno euclidiano (dot product)
a / = c
1
,
1
+c
2
,
2
+... +c
a
,
a
e suas aplicaes resultantes como a norma induzida por este
|a| =
_
a a
e a condio de ortogonalidade (perpendicularidade)
a / = 0
to importante em diversas aplicaes. A questo que surge se essa noo
de produto interno pode ser generalizada para espaos vetoriais arbitrrios.
A resposta positiva e leva aos espaos com produto interno e aos
espaos com produto interno completos, denominados espaos de
Hilbert. Espaos com produto interno so casos especiais de espaos nor-
mados, uma vez que todo produto interno induz uma norma. Espaos com
produto interno constituem a generalizao mais natural de espao Euclidi-
ano, sendo o conceito de ortogonalidade o mais importante diferencial com
relao aos espaos normados mais gerais.
49
Denio 55 Um espao com produto interno (ou espao pr-Hilbert)
um espao vetorial A com um produto interno denido em A. Um es-
pao de Hilbert um espao com produto interno completo (completo na
mtrica denida pelo produto interno). Um produto interno em A um
mapeamento de A A no corpo de escalares 1 de A; i.e., a todo par de
vetores r e j esta associado um escalar
r, j
denominado produto interno de r e j, tal que para todos os vetores r, j e .
e escalares a temos
1
1
r +j, . = r, . +j, .
1
2
cr, j = cr, j
1
3
r, j = j, r
1
4
r, r _ 0 e r, r = 0 =r = 0.
Um produto interno em A dene uma norma em A por
|r| =
_
r, r
e uma mtrica em A por
d (r, j) = |r j| =
_
r j, r j.
Desse modo, espaos com produto interno so espaos normados e es-
paos de Hilbert so espaos de Banach.
Proposio 55 Uma norma em um espao com produto interno satisfaz a
igualdade do paralelogramo
|r +j|
2
+|r j|
2
= 2
_
|r|
2
+|j|
2
_
.
Demonstrao: Seja c um escalar, ento
|r +cj|
2
= r +cj, r +cj
= r, r +r, cj +cj, r +cj, cj
= |r|
2
+ 2cr, j +c
2
|j|
2
.
Assim, se c = 1,
|r +j|
2
= |r|
2
+ 2 r, j +|j|
2
(6)
50
e se c = 1,
|r j|
2
= |r|
2
2 r, j +|j|
2
. (7)
Fazendo (6) + (7), temos o resultado desejado.
O nome da importante igualdade apresentada no teorema anterior sug-
erido pela geometria elementar, como pode ser visto na gura a seguir:
Figura 06: Paralelogramo de lados r e j no plano.
Conclumos que se uma norma no satisfaz a igualdade do paralelogramo,
ento ela no pode ser obtida a partir de um produto interno. Tais normas
existem, como mostraremos nos exemplos. Podemos desse modo armar que
nem todo espao normado um espao com produto interno.
Antes de considerar os exemplos, deniremos o imprtante conceito de
ortogonalidade.
Denio 56 Um elemento r de um espao com produto interno A dito
ortogonal ao elemento j A se
r, j = 0.
Dizemos nesse caso que r e j so ortogonais e escrevemos r l j. De modo
semelhante, os conjuntos e 1 em A so ortogonais se a l / para todo
a e / 1.
Exemplo 48 O espao R
a
um espao de Hilbert com produto interno
denido por
r, j =
1
j
1
+... +
a
j
a
onde r = (
1
, ...,
a
) e j = (j
1
, ..., j
a
), ou seja, o produto interno euclidiano.
Exemplo 49 (Espao 1
2
[a, /]) A norma denida por
|r| =
_
b
o
r(t)
2
dt
51
pode ser obtida pelo produto interno denido por
r, j =
_
b
o
r(t) j (t) dt (8)
onde r(t) e j (t) so funes reais. O completamento do espao com produto
interno denido por (8) o espao real 1
2
[a, /]. Assim, por denio o
1
2
[a, /] um espao de Hilbert.
Exemplo 50 (Espao |
2
) O espao |
2
um espao com produto interno
denido por
r, j =
o

)=1

)
j
)
.
A convergncia dessa srie conseqncia da desigualdade de Cauchy-Schwarz
e de que r, j |
2
por hiptese. A norma em |
2
denida por
|r| = r, r
12
=
_
_
o

)=1

2
_
_
12
.
A completeza do |
2
mostrada em Kreyszig (1978, seo 1.5.4). O |
2
o
exemplo mais comum de um espao de Hilbert.
Exemplo 51 (Espao |
j
) O espao |
j
com j ,= 2 no um espao com
produto interno, logo no um espao de Hilbert. De fato, isso signica
que a norma do |
j
com j ,= 2 no pode ser obtida a partir de um produto
interno. Provamos isso mostrando que essa norma no satisfaz a igualdade
do paralelogramo. Basta para isso tomar r = (1, 1, 0, 0, ...) |
j
e j =
(1, 1, 0, 0, ...) |
j
e notar que
|r| =
_
_
o

)=1

j
_
_
1j
= 2
1j
= |j|
e
|r +j| =
_
_
o

)=1

)
+j
)

j
_
_
1j
= 2 = |r j| .
Assim,
|r +j|
2
+|r j|
2
= 8
52
e
2
_
|r|
2
+|j|
2
_
= 4 2
2j
logo
|r +j|
2
+|r j|
2
= 2
_
|r|
2
+|j|
2
_
se, e somente se 2 = 2
2j
, i.e., se, e somente se, j = 2. Kreyszig (1978,
seo 1.5.4) mostra que |
j
com j ,= 2 um espao de Banach e pelo que
acabamos de conferir no um espao de Hilbert.
A mesma concluso do exemplo anterior obtida para o espao C [a, /]
das funes contnuas em [a, /], como mostra o exemplo a seguir:
Exemplo 52 (Espao C [a, /]) O espao C [a, /] no um espao com pro-
duto interno, logo no um espao de Hilbert. Mostraremos que a norma
denida por
|r| = max
tJ
[r(t)[ J = [a, /]
no pode ser obtida a partir de um produto interno uma vez que esta norma
no satisfaz a igualdade do paralelogramo. Tome r(t) = 1 e j (t) = (t a) , (/ a).
Assim, |r| = |j| = 1 e
r(t) +j (t) = 1 +
1 a
/ a
e
r(t) j (t) = 1
1 a
/ a
.
Assim |r +j| = 2 e |r j| = 1, logo
|r +j|
2
+|r j|
2
= 5
mas
2
_
|r|
2
+|j|
2
_
= 4.
Sabemos que para cada produto interno existe uma norma correspon-
dente. interessante o fato de que podemos recuperar o produto interno
que induz uma determinada norma. O leitor estimulado a mostrar que
para um espao vetorial real com produto interno temos
r, j =
1
4
_
|r +j|
2
|r j|
2
_
53
Lemma 2 (Desigualdade de Schwarz) Um produto interno e sua norma
correspondente satisfazem a seguinte desigualdade:
[r, j[ _ |r| |j|
com igualdade apenas no caso em que r, j formarem um conjunto linear-
mente dependente.
Lemma 3 (Continuidade do produto interno) Se em um espao com
produto interno r
a
r e j
a
j, ento r
a
, j
a
r, j.
Demonstrao: Adicionando e subtraindo um termo e usando as desigual-
dades triangular e de Schwarz temos
[r
a
, j
a
r, j[ = [r
a
, j
a
r
a
, j +r
a
, j r, j[
_ [r
a
, j
a
j[ +[r
a
r, j[
_ |r
a
| |j
a
j| +|r
a
r| |j| 0
pois j
a
j 0 e r
a
r 0 se : .
Teorema 56 (Representao de Riesz-Frchet de funcionais em es-
paos de Hilbert) Todo funcional linear limitado ) em um espao de
Hilbert H pode ser representado em termos de produto interno
) (r) = r, . (9)
onde . depende de ), unicamente determinado por ) e tem norma
|.| = |)| .
Demonstrao: Kreyszig (1978, pp. 189-190).
Lemma 4 Se
1
, n =
2
, n para todo n em um espao com produto
interno A, ento
1
=
2
. Em particular,
1
, n = 0 para todo n A
implica em
1
= 0.
Demonstrao: Por hiptese, para todo n,

2
, n =
1
, n
2
, n = 0.
Para n =
1

2
isso signica que |
1

2
|
2
= 0. Assim,
1

2
= 0,
logo
1
=
2
. Em particular,
1
, n = 0 com n =
1
implica em |
1
|
2
= 0,
logo
1
= 0.
54
3.7 Operadores Adjunto e Auto-Adjunto
Denio 57 (Operador adjunto de Hilbert T
+
) Seja T : H
1
H
2
um operador linear limitado, onde H
1
e H
2
so espaos de Hilbert. Ento o
operador adjunto de Hilbert T
+
de T o operador
T
+
: H
2
H
1
tal que para todo r H
1
e j H
2
,
Tr, j = r, T
+
j .
Naturalmente importante mostrar que a denio anterior faz sentido,
i.e., devemos mostrar que para um dado T, existe T
+
tal como denido.
Denio 58 (Existncia) O operador adjunto de Hilbert T
+
de T na
denio anterior existe, nico e um operador linear limitado com norma
|T
+
| = |T| .
Demonstrao: Kreyszig (1978, pp. 196-197).
Teorema 57 (Propriedades dos operadores adjuntos de Hilbert) Se-
jam H
1
, H
2
espaos de Hilbert, o : H
1
H
2
e T : H
1
H
2
operadores
lineares limitados e c um escalar qualquer. Ento:
1. T
+
j, r = j, Tr (r H
1
, j H
2
)
2. (o +T)
+
= o
+
+T
+
3. (T
+
)
+
= T
4. |T
+
T| = |TT
+
| = |T|
2
5. T
+
T = 0 =T = 0
6. (oT)
+
= T
+
o
+
(assumindo que H
1
= H
2
)
Denio 59 Um operador linear limitado T : H H em um espao de
Hilbert H auto-adjunto se T
+
= T.
De acordo com a denio anterior, se T auto-adjunto, ento
Tr, j = r, Tj .
simples ver que o produto de dois operadores lineares limitados auto-
adjuntos o e T em um espao de Hilbert H auto-adjunto se, e somente se,
os operadores comutam,
oT = To.
55
Teorema 58 (Seqncias de operadores auto-adjuntos) Seja T
a

uma seqncia de operadores lineares limitados auto-adjuntos T


a
: H H
em um espao de Hilbert H. Suponha que T
a
converge, digamos,
T
a
T, i.e., |T
a
T| 0,
onde || a norma no espao 1(H, H)
4
. Ento o operador limite T um
operador linear limitado auto-adjunto em H.
Demonstrao: Kreyszig (1978, p. 205).
3.8 Convergncia Forte, Fraca e Fraca*
Denio 60 (Convergncia Forte) Uma seqncia r
a
em um espao
vetorial normado A dita convergir fortemente (ou convergente em norma)
s existe r A tal que
lim
ao
|r
a
r| = 0.
A notaes mais comuns para convergncia forte so
lim
ao
r
a
= r
ou simplesmente
r
a
r.
A convergncia fraca denida em termos de funcionais lineares limita-
dos em A:
Denio 61 (Convergncia Fraca) Uma seqncia r
a
em um espao
A dita fracamente convergente se existe r A tal que para todo ) A
t
,
lim
ao
) (r
a
) = ) (r) .
As notaes mais adotadas para convergencia fraca so
r
a
&
r
e r
a
r. O elemento r denominado limite fraco de r
a
e dizemos que
r
a
converge fracamente para r.
4
kTk = sup
x 2 H
kxk = 1
kTxk
56
O conceito de convergncia fraca ilustra um princpio bsico de anlise
funcional, a saber, o fato de que a investigao de espaos est freqen-
temente relacionada com seus espaos duais. A aplicao da convergncia
fraca requer o conhecimento de certas propriedades bsicas, apresentadas no
lema a seguir.
Lemma 5 (Convergncia fraca) Seja r
a
uma seqncia fracamente
convergente em um espao normado A, digamos, r
a
r. Ento:
1. O limite fraco r de r
a
nico.
2. Toda subseqncia de r
a
converge fracamente para r.
3. A seqncia |r
a
| limitada.
Demonstrao: Kreyszig (1978, p. 258).
natural se perguntar o porqu de no lidarmos com convergncia fraca
em clculo. A razo para tal que em espaos vetoriais normados de dimen-
so nita no h distino entre convergncia forte e convergncia fraca. O
teorema a seguir justica os termos "forte"e "fraca".
Teorema 59 (Convergncias Forte e Fraca) Seja r
a
uma seqncia
em um espao vetorial normado A. Ento:
1. Convergncia forte implica convergncia fraca com o mesmo limite
mas a volta no vale.
2. Se dimA < , ento convergncia fraca implica em convergncia
forte.
FALTA COMPLETAR (CONVERGNCIA FRACA* E PRINCIPAIS
RESULTADOS)
57
4 Teoria da Medida e Integrao
As principais referncias utilizadas nesta seo so: Bartle (1966), Stockey &
Lucas (1989) e Isnard (2007). A primeira delas a fonte principal, sobretudo
no que se refere seqncia em que so apresentados os assuntos.
4.1 Motivao: Riemann Lebesgue
Dado que um dos principais propsitos da presente seo a apresentao
da teoria de integrao de Lebesgue, natural discutir a real necessidade de
uma nova teoria de integrao. O que haveria de "errado"com a integral de
Riemann?
Primeiramente, a teoria de integrao de Lebesgue abrange uma classe
maior de funes relativamente quela proposta por Riemann. Toda funo
integrvel Riemann tambm integrvel Lebesgue. Alm disso, quando
a primeira existe, as integrais de Riemann e Lebesgue coincidem.
Quando temos que lidar com integrais denidas em intervalos ilimitados,
como por exemplo
_
+o
o
c
a
2
dr
recamos nas assim chamadas integrais de Riemann imprprias. A integral
imprpria de Riemann tambm includa pela teoria de Lebesgue.
Outro ponto que merece destaque quando tratamos das vantagens da
teoria de Lebesgue se refere ao domnio de integrao. No h uma forma
simples de integrar no sentido de Riemann funes cujos valores estejam
distribudos de maneira no muito "organizada", no sentido de serem bem
diferentes de intervalos.
Por m, a principal vantagem da teoria de Lebesgue diz respeito a suas
propriedades de convergncia. A integral de Riemann no apresenta um bom
desempenho nesse quesito. Por exemplo, esperaramos que se a seqncia de
funes )
a
Riemann integrveis converge (em certo sentido) para a funo
Riemann integrvel ), ento
_
b
o
)
a
dr
_
b
o
)dr. Na verdade, esse no o
caso. Por exemplo, considere [a, /] = [0, 1] e
)
a
(r) =
_
_
_
4:
2
r se 0 _ r <
1
2a
4: 4:
2
r se
1
2a
_ r <
1
a
0 se
1
a
_ r _ 1
.
simples mostrar que )
a
(r) converge simplesmente para ) (r) = 0 no inter-
valo [0, 1]. Alm disso,
_
1
0
)
a
(r) dr = 1 para todo :, enquanto
_
1
0
) (r) dr =
0. Logo, lim
ao
_
1
0
)
a
(r) dr ,=
_
1
0
) (r) dr.
58
Podemos evitar problemas como esse se nos restringirmos apenas a con-
vergncia uniforme, como estabelece o teorema a seguir:
Teorema 60 Se uma seqncia de funes integrveis )
a
: [a, /] R con-
verge uniformemente para ) : [a, /] R, ento ) integrvel e vale
_
b
o
) (r) dr = lim
_
b
o
)
a
(r) dr. (10)
Contudo, a hiptese de convergncia uniforme muito restritiva em ter-
mos de aplicaes. importante notar que se )
a
) simplesmente no in-
tervalo [a, /] com ) e cada )
a
integrveis, ento vale a igualdade (10) desde
que exista ' R tal que[)
a
(r)[ _ ' para todo : N e todo r [a, /].
Essa generalizao um caso particular do Teorema da Convergncia
Dominada (TCD) que Lebesgue apresentou como um dos resultados centrais
de sua extenso do conceito de integral. Veremos o TCD na seo 3.5,
entretanto convm apresent-lo neste ponto a ttulo de informao:
Teorema 61 (Teorema da Convergncia Dominada) Se uma seqncia de
funes integrveis )
a
tal que )
a
(r) ) (r) para todo r, e se existe uma
funo integrvel q tal que q (r) _ [)
a
(r)[ para todo : e todo r, ento )
integrvel ( Lebesgue) e a integral de ) o limite da integral de )
a
.
As boas propriedades de convergncia da teoria de integrao de Lebesgue
esto ligadas completude dos espaos 1
j
. possvel mostrar que as funes
integrveis a Riemann formam um subespao no completo, denso no 1
1
(para a demonstrao, ver Isnard (2007)).
Cabe ainda notar que a medida de Lebesgue (utilizada na teoria da in-
tegrao de Lebesgue) apresenta propriedades excelentes: se os
I
s so
mensurveis, / = 1, 2, ..., ento
o

I=1

I
e
o

I=1

I
tambm so mensurveis.
Todos os abertos e todos os fechados de R
a
so mensurveis Lebesgue
(com medida nita ou innita). Em geral, a partir da lei de denio de
um conjunto sempre fcil mostrar que ele mensurvel. Os conjuntos no
mensurveis no so denidos atravs de regras precisas e tm sua existn-
cia condicionada aceitao do uso do Axioma da Escolha ou de outros
processos pouco naturais (Lema de Zorn, etc.) (Isnard, 2007).
A comparao das metodologias de integrao de Riemann e Lebesgue
ser feita mais adiante, no momento oportuno (seo 3.4). Antes, porm,
precisamos percorrer um certo caminho para nos familiarizarmos com os
conceitos e resultados necessrios.
59
4.2 Funes mensurveis
Denio 62 Uma famlia / de subconjuntos de A uma lgebra se
1. ?, A /;
2. / implica que
c
= A /;
3.
a
/, : = 1, 2, ..., implica que
.
_
a=1

a
/.
Denio 63 Uma famlia T de subconjuntos de A uma o-lgebra se
1. ?, A T;
2. T implica que
c
= A T;
3.
a
T, : = 1, 2, ..., implica que
o
_
a=1

a
T.
Denio 64 O par (A, T), onde A um conjunto e T uma o-lgebra
de A denominado espao mensurvel.
Denio 65 Qualquer conjunto em T um conjunto T-mensurvel
(ou simplesmente conjunto mensurvel, quando T for subentendida).
Pelas leis de De Morgan,
_
_
c

c
_
c
=

c
c
e
_

c
_
c
=
_
c

c
c
.
Como
o

a=1

a
=
_
o
_
a=1

c
a
_
c
, ento a o-lgebra tambm fechada na inter-
seo enumervel, i.e., se
a
T, : = 1, 2, ..., ento
o

a=1

a
T.
Exemplo 53 Seja A um conjunto qualquer. Ento o conjunto das partes
de A, T (A), uma o-lgebra.
60
Exemplo 54 Seja A um conjunto qualquer. Ento o conjunto T =?, A
uma o-lgebra.
Exemplo 55 Seja uma coleo no vazia de subconjuntos de A. Ento
existe a menor o-lgebra de subconjuntos de A que contm . Note que
T (A) uma o-lgebra que contm e a interseo de todas as o-lgebras
contendo uma o-lgebra contendo .
Denio 66 A menor o-lgebra que contm denominada o-lgebra
gerada por .
Exemplo 56 Seja A = R. A lgebra de Borel (E) a o-lgebra gerada
pelos abertos (a, /) R. Observe que E tambm a o-lgebra gerada pelos
intervalos fechados [a, /] R (mostre!). Qualquer conjunto em E denom-
inado conjunto de Borel.
Denio 67 A funo ) : A R T-mensurvel se para todo c R,
)
1
((c, +)) = r A : ) (r) c T.
Proposio 62 Seja ) : A R. So equivalentes:
1. \c R,
c
= )
1
((c, +)) = r A : ) (r) c T.
2. \c R, 1
c
= )
1
((, c]) = r A : ) (r) _ c T.
3. \c R, C
c
= )
1
([c, +)) = r A : ) (r) _ c T.
4. \c R, 1
c
= )
1
((, c)) = r A : ) (r) < c T.
Demonstrao: Como
c
e 1
c
so complementares um do outro, (1) e
(2) so equivalentes. Analogamente, (3) e (4) so equivalentes.
Se (1) vale, ento
c
1
n
T para todo : e como
C
c
=
o

a=1

c
1
n
,
temos que C
c
T, i.e., (1) implica (3). Como

c
=
o
_
a=1
C
c+
1
n
,
ento (3) implica (1).
61
Exemplo 57 Toda funo constante mensurvel. De fato, se ) (r) =
c \r A e se c _ c, ento )
1
((c, +)) = ? T. Se c < c,
)
1
((c, +)) = A T, logo ) (r) = c \r A mensurvel.
Exemplo 58 Se 1 T, ento a funo caracterstica

1
(r) =
_
1 se r 1
0 se r , 1
mensurvel. De fato,
1
1
((c, +)) s pode ser igual a A, 1 ou ?.
Exemplo 59 Se A = R e T = E (lgebra de Borel), ento qualquer funo
contnua ) : R R E-mensurvel. Com efeito, se ) contnua, ento
)
1
((c, +)) um aberto
5
em R e conseqentemente pode ser escrita como
a unio de uma seqncia de intervalos abertos, i.e., )
1
((c, +)) E.
Proposio 63 Sejam ) e q funes reais mensurveis e c R. Ento as
funes
c), )
2
, ) +q, )q, [)[ ,
tambm so mensurveis.
Demonstrao: (a) Se c = 0, c) = 0 constante, logo mensurvel. Se c 0,
ento
r A : c) (r) c = r A : ) (r) c,c T.
Se c < 0,
r A : c) (r) c = r A : ) (r) < c,c T.
(/) Se c < 0, ento
_
r A : () (r))
2
c
_
= A T. Se c _ 0, ento
_
r A : () (r))
2
c
_
=
_
r A : ) (r)
_
c
_
'
_
r A : ) (r) <
_
c
_
.
Note que r A : ) (r)
_
c T e r A : ) (r) <
_
c T, logo
_
r A : () (r))
2
c
_
T.
(c) Seja c R e r um nmero racional qualquer, ento
o
v
= r A : ) (r) r r A : q (r) c r T.
5
Lembre que f contnua se, e somente se, a imagem inversa de abertos um aberto:
62
Como
r A : () +q) (r) c =
_
vQ
o
v
T,
ento ) +q mensurvel.
(d) Como )q =
1
4
_
() +q)
2
() q)
2
_
, segue de (a), (/) e (c) que )q
mensurvel.
(c) Se c < 0, entor A : [) (r)[ c = A T. Caso c _ 0, ento
r A : [) (r)[ c = r A : ) (r) c ' r A : ) (r) < c .
Dado que r A : ) (r) c T e r A : ) (r) < c T, conclumos
que r A : [) (r)[ c T, i.e., [)[ mensurvel.
Seja ) : A R. Denimos )
+
(parte positiva de )) e )

(parte negativa
de )) como
)
+
(r) = sup) (r) , 0 e )

= sup) (r) , 0 .
Note que ) = )
+
)

e que [)[ = )
+
+)

. Dessas igualdades decorrem os


seguintes resultados:
)
+
=
1
2
([)[ +)) e )

=
1
2
([)[ )) .
Conclumos com base no lema anterior que ) mensurvel se, e somente se,
)
+
e )

so mensurveis.
A coleo R consistindo do conjunto R', + denominada de
sistema de nmeros reais estendido.
Denio 68 Uma funo ) : A R T-mensurvel se )
1
((c, +))
T para todo c R. A coleo de todas as funes ) : A R T-mensurveis
denotada por ' (A, T).
Obsere que se ) ' (A, T) , ento
r A : ) (r) = + =
o

a=1
r A : ) (r) : ,
r A : ) (r) = =
_
o
_
a=1
r A : ) (r) :
_
c
,
logo ambos os conjuntos esto em T.
63
Proposio 64 Uma funo real estendida ) mensurvel se, e somente
se, os conjuntos
= r A : ) (r) = +
e
1 = r A : ) (r) =
esto em T e a funo real )
1
denida por
)
1
(r) =
_
) (r) se r , ' 1
0 se r ' 1
mensurvel.
Demonstrao: (=) Se ) ' (A, T), vimos que e 1 esto em T. Seja
c R
+
, ento
r A : )
1
(r) c = r A : ) (r) c
= C = C
c
,
onde zemos C = r A : ) (r) c. Como C, T, temos que r A : )
1
(r) c
T.
Se c < 0, ento
r A : )
1
(r) c = r A : ) (r) c ' 1
= C ' 1.
Como C, 1 T, conclumos que )
1
mensurvel.
(=) Se , 1 T e )
1
mensurvel, ento quando c _ 0,
r A : ) (r) c = r A : )
1
(r) c '
e quando c < 0,
r A : ) (r) c = r A : )
1
(r) c 1,
logo ) mensurvel.
conseqncia direta das duas ltimas proposies que se ) ' (A, T),
ento as funes
c), )
2
, [)[ , )
+
, )

tambm esto em ' (A, T).


Adota-se a conveno 0 () = 0 de modo que c) a funo nula se
c = 0. Se ), q ' (A, T), ento a soma ) +q pode no ser bem denida por
() +q) (r) = ) (r) +q (r) para os casos em que ) (r) = e q (r) = (.
Nesses casos, usamos a conveno de denir ) +q como zero, o que garante
a mensurabilidade da soma.
64
Proposio 65 Seja )
a
uma seqncia em ' (A, T) e dena as funes
) (r) = inf )
a
(r) , 1 (r) = sup)
a
(r) ,
)
+
(r) = liminf )
a
(r) , 1
+
(r) = limsup)
a
(r) .
Ento ), 1, )
+
e 1
+
pertencem a ' (A, T).
Demonstrao: Note que
r A : ) (r) _ c =
o

a=1
r A : )
a
(r) _ c ,
r A : 1 (r) c =
o
_
a=1
r A : )
a
(r) c ,
logo ) e 1 so mensurveis se todos os )
a
s forem mensurveis. Como
)
+
(r) = sup
a1
_
inf
na
)
n
(r)
_
e
1
+
(r) = inf
a1
_
sup
na
)
n
(r)
_
,
a mensurabilidade de )
+
e 1
+
tambm est garantida.
Corolrio 66 Se )
a
uma seqncia em ' (A, T) convergindo para
) em A, ento ) ' (A, T).
Demonstrao: Basta ver que ) (r) = lim)
a
(r) = liminf )
a
(r).
Denio 69 Uma funo real simples se assumir apenas um nmero
nito de valores.
Uma funo simples mensurvel , pode ser representada na forma
,(r) =
a

)=1
a
)

1
j
(r)
onde a
)
R e
1
j
a funo indicadora de um conjunto 1
)
T.
A proposio a seguir desempenha um papel muito importante no desen-
volvimento da integral de Lebesgue. Veremos que a integral de uma funo
simples calculada de maneira bastante natural. A partir disso, usamos
a garantia de existncia de uma seqncia de funes simples que aproxi-
mam uma funo mensurvel qualquer para denir a integral de Lebesgue
de funes mensurveis.
65
Proposio 67 (Aproximao de funes mensurveis por funes sim-
ples) Seja (A, T) um espao mensurvel. Se ) : A R uma funo
T-mensurvel no negativa, ento existe uma seqncia ,
a
de funes
simples mensurveis tal que
1. 0 _ ,
a
(r) _ ,
a+1
(r) para r A e : N.
2. ) (r) = lim,
a
(r) para cada r A.
Demonstrao: Considere o conjunto

Ia
=
_
r A : (/ 1) 2
a
_ ) (r) < /2
a
_
=
_
r A : ) (r) _ (/ 1) 2
a
_

_
r A : ) (r) < /2
a
_
,
/ = 1, 2, ..., :2
a
e : = 1, 2, .... imediato ver que
Ia
T para todo
: e todo /, pois a interseo de r A : ) (r) _ (/ 1) 2
a
T e
r A : ) (r) < /2
a
T.
Dena as funes simples por
,
a
(r) =
a2
n

I=1
(/ 1) 2
a

kn
(r) , : = 1, 2, ...
onde

kn
a funo indicadora para
Ia
. Como cada
Ia
T \/, :, ento
cada ,
a
T-mensurvel.
imediato notar que ,
a
(r) _ ,
a+1
(r) para r A e : N. Por m,
note que para todo r A existe
a
tal que
: _
a
=[,
a
(r) ) (r)[ _ 2
a
,
logo ,
a
).
Se ) limitada, ento
a
do ltimo passo da demonstrao pode ser
escolhido independentemente de r, portanto a convergncia nesse caso
uniforme. Para estender o resultado a todas as funes reais, simplesmente
aplique o argumento anterior separadamente em )
+
e )

e lembre que ) =
)
+
)

.
A proposio anterior continua vlida se ) ' (A, T). Para comprovar,
dena C
a
= r A : ) (r) _ :, : = 1, 2, ..., e tome
,
a
(r) =
a2
n

I=1
(/ 1) 2
a

66
4.3 Medidas
Denio 70 Uma medida uma funo j : T R tal que
1. j(?) = 0;
2. j(1) _ 0 \ 1 T;
3. Se 1
a
uma seqncia de subconjuntos disjuntos em T, ento
j
_
o
_
a=1
1
a
_
=
o

a=1
j(1
a
) .
Exemplo 60 Se A = R e T = E, a lgebra de Borel, mostraremos mais
adiante que existe uma nica medida ` denida em E. Essa medida o
comprimento de intervalos abertos (i.e., se 1 = (a, /) ,= ?, `(1) = / a).
Essa medida nica denominada medida de Lebesgue (ou de Borel).
Proposio 68 Seja j uma medida denida sobre a o-lgebra T. Se 1, 1
T, com 1 1, ento j(1) _ j(1). Se j(1) < +, ento j(11) =
j(1) j(1).
Demonstrao: Como 1 = 1 ' (11) e 1 (11) = ?, temos que
j(1) = j(1) +j(11) _ j(1) ,
pois j(11) _ 0. Se j(1) < +, podemos reescrever a igualdade acima
como
j(11) = j(1) j(1) .
Proposio 69 Seja j uma medida denida em uma o-lgebra T.
1. Se 1
a
uma seqncia crescente em T, ento
j
_
o
_
a=1
1
a
_
= lim
ao
j(1
a
) . (11)
2. Se 1
a
uma seqncia decrescente em T e se j(1
1
) < +, ento
j
_
o

a=1
1
a
_
= lim
ao
j(1
a
) . (12)
67
Demonstrao: 1.
2.
Denio 71 Um espao de medida uma tripla (A, T, j) consistindo
de um conjunto A, uma o-lgebra T de subconjntos de A e uma medida j
denida em T.
Denio 72 Dizemos que uma certa proposio vale j-quase em toda
parte (ou j-qtp ou simplesmente qtp) se existe T com j() = 0
tal que a proposio seja vlida no complementar de .
Assim, dizemos que duas funes so iguais j-qtp se ) (r) = q (r) para
todo r , para algum T tal que j() = 0. Similarmente, dizemos
que a seqncia de funes )
a
em A converge j-qtp se existe um conjunto
T com j() = 0 tal que ) (r) = lim)
a
(r) para r , . Nesse caso,
escrevemos
) = lim)
a
, j-qtp.
Caso a medida esteja subentendida, podemos escrever somente qtp em vez
de j-qtp
6
.
H funes que se comportam como medidas exceto pelo fato de as-
sumirem tanto valores positivos quanto negativos. Nesses casos, no con-
veniente permitir que estas funes assumam valores nos reais estendidos
uma vez que devemos evitar expresses do tipo (+) + ().
Vamos abusar um pouco da notao e denir a seguir uma medida com
sinal
7
.
Denio 73 Se T uma o-lgebra de subconjuntos de um conjnto A,
ento a funo real ) : T R uma medida com sinal se
1. `(?) = 0;
2. Sempre que 1
a
for uma seqncia de subconjuntos disjuntos de T,
ento
`
_
o
_
a=1
1
a
_
=
o

a=1
`(1
a
) .
6
Procurei usar a traduo mais comum em portugus. Contudo, mesmo em livros
escritos em lingua portuguesa comum observar o uso da exprsso -a.e., indicando -
almost everywhere.
7
Estritamente falando, as medidas com sinal assumem valores nos reais estendi-
dos. Para evitar esse problema, comum usar o termo charge para as "medidas com
sinal"denidas apenas em R. Usarei aqui a expresso medida com sinal, embora a referida
funo esteja denida em R. Acredito que esta impreciso no deve gerar nenhum prejuzo.
68
4.4 A Integral
Em construo
4.5 Funes Integrveis
Em construo
69