CAPTULO 1

Espaos Normados
Em princpio, os espaos que consideraremos neste texto so espaos de funes.
Isso signica que quase todos os nossos exemplos sero espaos vetoriais de dimenso
innita. Nesses espaos, muitas vezes a estrutura algbrica insuciente para a
obteno de resultados fortes, sendo necessria a insero de uma estrutura topolgica.
Mas, ao contrrio do caso de espaos vetoriais de dimenso nita, no existe qualquer
isomorsmo natural que permita a introduo da topologia e, em muitos casos
importantes, no possvel obter estrutura topolgica conveniente gerada por produto
interno.
Estudaremos espaos normados, isto , espaos vetoriais nos quais existe a noo
de norma de um vetor. Nosso objetivo neste captulo no apresentar estudo
aprofundado das propriedades de tais espaos, mas sim contrast-los com espaos
nos quais a topologia gerada por um produto interno, espaos esses que sero
introduzidos no Captulo 2. Assim, grande parte de nossa exposio reduz-se
topologia bsica dos espaos normados e introduo de exemplos importantes.
Denotaremos por N o conjunto 1, 2, . . ., por R
+
o intervalo real [0, ) e por K o
corpo dos reais ou o corpo dos complexos. Resultado bsicos da lgebra Linear so
referenciados ao texto [5], que ser citado como [AL].
1.1 Espaos Vetoriais
Comeamos relembrando o conceito de base de um espao vetorial.
Denio 1.1 Sejam X um espao vetorial sobre o corpo K e B um subconjunto de X. Um
elemento x X combinao linear dos elementos de B se existir uma quantidade nita de
vetores x
1
, . . . , x
r
B e escalares
1
, . . . ,
r
K, tais que
x =
1
x
1
+ . . . +
r
x
r
. (1.1)
O conjunto de todas as combinaes lineares de elementos de B o espao gerado por B,
denotado por < B >.
Dizemos que B gera o espao X, se todo elemento x X for combinao linear de elementos
de B.
Se, ao tomarmos x = 0 na equao (1.1), s existir a soluo
1
= . . . =
r
= 0 para
quaisquer vetores x
1
, . . . , x
r
B e r N, dizemos que B linearmente independente.
1
2 CAPTULO 1. ESPAOS NORMADOS
Um conjunto B uma base de X (ou base de Hamel), se ele for linearmente independente
e gerar X.
O espao vetorial X tem dimenso nita, se existir uma base B com um nmero nito de
elementos ou se X = 0. Caso contrrio, ele tem dimenso innita.
Um espao vetorial X sobre o corpo R ser chamado de espao real; sobre o corpo C, de
espao complexo.
fcil vericar que, qualquer que seja o conjunto B ,= , < B > sempre um
espao vetorial. Quando B gera o espao X, o nmero r N de elementos x
i
B
utilizados numa combinao linear de elementos de B pode variar. Se B for uma
base, cada elemento x X escreve-se de maneira nica como combinao linear de
elementos de B. (Veja o Exerccio 1.) Salientamos que uma base B no precisa ser um
conjunto enumervel.
Pode-se vericar que, no caso de um espao vetorial de dimenso nita X ,= 0,
todas as bases tm o mesmo nmero de elementos; esse nmero comum chamado
ento de dimenso do espao X. Se X = 0, dizemos que X tem dimenso igual a zero.
(Veja [AL], Teorema 1.12).
Na prtica, raramente vericamos que um espao vetorial tem dimenso innita
exibindo uma de suas bases. Na verdade, muito raramente podemos exibir uma base
de um espao X de dimenso innita, se bem que todo espao vetorial possui uma
base (de Hamel): veja o Teorema ??. A maioria dos exemplos de base em espaos de
dimenso innita ocorre em espaos de sequncias.
1
Muitas vezes, para mostrarmos que um espao tem dimenso innita, exibimos um
subespao que sabemos ter dimenso innita. Para isso, frequentemente utilizamos os
subespaos que introduziremos nos Exemplos 1.5 e 1.6.
Exemplo 1.2 No espao K
n
= (x
1
, . . . , x
n
) : x
i
K a base cannica formada pelos
vetores e
1
= (1, 0, . . . , 0), e
2
= (0, 1, 0, . . . , ), . . . , e
n
= (0, . . . , 0, 1). O espao K
n
um
espao vetorial de dimenso n sobre o corpo K. Usualmente denotaremos os elementos
de K
n
por meio de matrizes coluna:
x =
_
_
_
_
_
x
1
x
2
.
.
.
x
n
_
_
_
_
_
= (x
1
x
2
. . . x
n
)
t
.
(Estamos denotando por x
t
a transposta da matriz coluna que representa x.)
Exemplo 1.3 Seja X um conjunto no vazio arbitrrio. O conjunto de todas as funes
f : X K um espao vetorial com as denies habituais da soma de funes e do
produto de funo por escalar. Esse espao temdimenso innita, se X for umconjunto
com innitos elementos (veja o Exerccio 3). Em geral, no possvel exibir uma base
do espao f : X R, se X tiver innitos elementos.
Exemplo 1.4 Seja o conjunto de todas as seqncias (x
n
) de elementos do corpo K.
Esse espao vetorial de dimenso innita um caso particular do exemplo anterior,
uma vez que uma seqncia nada mais do que uma aplicao com domnio igual ao
conjunto dos naturais. Algumas vezes denota-se esse espao por K

, ao invs de .
1
Uma seqncia uma aplicao x: N X, com x(i) denotado por x
i
.
1.2. ESPAOS NORMADOS 3
Exemplo 1.5 Seja K[t] o conjunto de todos os polinmios com coecientes em K, na
incgnita t. Esse um espao vetorial de dimenso innita com a soma de polinmios
e a multiplicao de umpolinmio por umescalar denidas como habitualmente. Uma
base para K[t] dada por B = 1, t, t
2
, . . . , t
n
, . . ..
Exemplo 1.6 Seja
0
o subespao de (veja o Exemplo 1.4) formado por todas as
seqncias (x
i
) tais que x
i
= 0, exceto talvez para um nmero nito de ndices i.
Podemos exibir facilmente uma base do espao
0
: ela dada por e
1
, . . . , e
n
, . . ., em
que e
i
denota a seqncia cujos termos so todos iguais a 0, exceto o i-simo, que
igual a 1. Verique que
0
isomorfo ao espao K[t], isto , existe uma bijeo linear
T: K[t]
0
.
1.2 Espaos Normados
Denio 1.7 Seja X um espao vetorial sobre o corpo K. Uma norma em X uma funo
| |: X R
+
que satisfaz
(i) |x| = 0 x = 0;
(ii) |x| = [[ |x| para todo x X e todo K;
(iii) |x + y| |x| +|y| para quaisquer x, y X (desigualdade triangular).
Um espao normado um espao vetorial X considerado com uma norma | |. Para
ressaltarmos a norma | | utilizada no espao X, algumas vezes empregaremos a notao
_
X, | |
_
.
Uma pergunta natural se todo espao vetorial X possui uma norma. Embora
possamos provar sua existncia, raramente essa norma tem utilidade prtica. No
prximo Captulo discutiremos mais essa situao: veja o Exemplo ??.
Exemplo 1.8 No espao K
n
, se x = (x
1
, . . . , x
n
), podemos considerar as normas
|x| =

x
1
x
1
+ . . . + x
n
x
n
,
|x|
s
= [x
1
[ + . . . +[x
n
[,
|x|

= max
1in
[x
i
[.
O conjugado do nmero complexo x est sendo denotado por x. (Se x for real, ento
x = x.) Nas normas | |
s
e | |

, denotamos o valor absoluto por [ [. Lembramos

que, se K = C e z = x + iy, ento [z[ =

z z =
_
x
2
+ y
2
. Essas so as normas habituais
do K
n
. Se n = 1, usual considerar a norma dada pelo valor absoluto: veja o Exerccio
4.
A norma | | chamada norma euclidiana no espao K
n
. A vericao de que | |
uma norma usualmente feita utilizando-se a desigualdade de Cauchy-Schwarz, que
recordaremos posteriormente no Captulo ?? (ou ento veja [AL], Proposio 8.6). Esse
fato tambm segue-se do Teorema 1.74, que mostraremos ainda neste Captulo.
Mais geralmente, sejam | |

uma norma arbitrria em K

n
e B = x
1
, . . . , x
n

uma base de um espao de dimenso nita X. Para x =

1
x
1
+ . . . +
n
x
n
, denimos
Jx = (
1
. . .
n
)
t
K
n
. fcil ver que J uma bijeo linear e que |x|
X
= |Jx|

4 CAPTULO 1. ESPAOS NORMADOS

dene uma norma em X, chamada norma induzida pela norma de K
n
. usual denotar
(
1
. . .
n
)
t
K
n
por [x]
B
e chamar esse vetor de representao de x na base B.
Dessa forma, podemos imitar as normas habituais do espao K
n
e considerar as
normas habituais | |, | |
s
e | |

do espao de dimenso nita X (com respeito base

B).
Observe que o Exemplo 1.8 mostra que todo espao vetorial de dimenso nita
torna-se um espao normado, uma vez xada uma de suas bases.
Denio 1.9 Seja X um espao normado. Um subconjunto A limitado, se existir M > 0
tal que |a| M para todo a A.
Exemplo 1.10 Seja X ,= um conjunto arbitrrio. Dena
B(X, K) = f : X K : f (X) limitado.
Esse conjunto um subespao do espao das funes f : X K, apresentado no
Exemplo 1.3. As funes em B(X, K) so as funes limitadas. Em B(X, K) denimos
|f |

= sup
xX
[ f (x)[.
fcil vericar que | |

uma norma nesse espao (veja o Exerccio 7). Em

particular, se X = N (veja o Exemplo 1.4), usual denotar o espao B(N, K) por

, o
espao de todas as seqncias limitadas:
|(x
n
)|

= sup
nN
[x
n
[.

Exemplo 1.11 Sejam a, b R, com a < b. Consideremos o espao vetorial de dimenso

innita
C
1
_
[a, b], K
_
= f : [a, b] K : f C
1
.
Uma vez que toda funo contnua denida em [a, b] atinge mximo nesse conjunto
(veja, em caso de dvidas, o Corolrio 1.26), podemos considerar a norma
|f |
C
1 = max
t[a,b]
[ f (t)[ + max
t[a,b]
[ f
/
(t)[ = |f |

+|f
/
|

.
Voc seria capaz de denir outras normas nesse espao?
Podemos facilmente generalizar esse exemplo e considerar o espao normado
C
k
_
[a, b], K
_
, com k = 0, 1, . . . (Qual a adaptao da norma | |
C
1 para esses espaos?)
usual denotar o espao C
0
_
[a, b], K
_
simplesmente por C
_
[a, b], K
_
. Note que o espao
C
_
[a, b], K
_
um subespao do espao B
_
[a, b], K
_
, introduzido no Exemplo 1.10.
1.3 Conjuntos Abertos e Fechados
Sejam X um espao normado, x X e r > 0. Denimos a bola aberta B
r
(x), a bola
fechada B
r
(x) e a esfera S
r
(x), respectivamente, por
B
r
(x) = y X : |y x| < r
B
r
(x) = y X : |y x| r
S
r
(x) = y X : |y x| = r
1.3. CONJUNTOS ABERTOS E FECHADOS 5
Em cada caso, x o centro e r > 0 o raio.
Um subconjunto A X aberto se, para todo a A, existir r > 0 tal que B
r
(a) A.
Um subconjunto F X fechado, se X F = F
c
=

F for um conjunto aberto.
O prximo resultado, cuja demonstrao simples (veja o Exerccio 10), exibe
propriedades bsicas de conjuntos abertos e fechados:
Proposio 1.12 Seja X um espao normado. So vlidas as armativas:
(i) uma unio arbitrria de conjuntos abertos um conjunto aberto;
(ii) uma interseo nita de conjuntos abertos um conjunto aberto;
(iii) uma unio nita de conjuntos fechados um conjunto fechado;
(iv) uma interseo arbitrria de conjuntos fechados um conjunto fechado.
Note que X e so conjuntos que so, simultaneamente, abertos e fechados no
espao normado X.
Denio 1.13 Sejam X um espao normado e (x
n
) uma sequncia em X. Dizemos que a
sequncia (x
n
) converge a x X, ou que x o limite da sequncia (x
n
), denotado por x
n
x
ou lim
n
x
n
= x, se, para todo > 0 dado, existir n
0
Ntal que n n
0
implica |x
n
x| < .
Equivalentemente,
x
n
x |x
n
x| 0.
Assim, a convergncia em um espao normado o mesmo que a convergncia da sequncia
numrica
_
|x
n
x|
_
.
Uma caracterizao alternativa de um conjunto fechado oferecida pelo seguinte
resultado:
Teorema 1.14 Seja X um espao normado. Um subconjunto F fechado se, e somente se,
qualquer sequncia convergente (x
n
) de elementos de F possuir seu limite em F.
Demonstrao: Suponhamos que (x
n
) convirja para x , F. Como X F aberto, existe
r > 0 tal que B
r
(x) X F. Como (x
n
) converge para x, temos que x
n
B
r
(x) para n
sucientemente grande. Mas isso uma contradio, pois x
n
F para todo n N.
Por outro lado, se F no for fechado, ento o conjunto X F no aberto. Assim,
existe x X F tal que B
r
(x) contm elementos de F para todo r > 0. Escolhendo
r = 1/n para todo natural n 1, construmos uma seqncia (x
n
) tal que x
n
x e
x
n
F. Mas, por hiptese, isso implica x F, contradizendo x X F. 2
Sejam X um espao normado e W um subconjunto qualquer. Denimos o fecho de
W como sendo o conjunto W caracterizado por
x W (x
n
) W : x
n
x.
O relacionamento entre o fecho e conjuntos fechados dado pelo seguinte
resultado, que decorre imediatamente do Teorema 1.14:
Corolrio 1.15 Seja X um espao normado. Um subconjunto F fechado se, e somente se,
F = F.
6 CAPTULO 1. ESPAOS NORMADOS
Em algumas situaes precisamos de um conceito mais geral de conjuntos abertos
e fechados:
Denio 1.16 Sejam X um espao normado e U um subconjunto qualquer de X. Um
subconjunto A U aberto em U se, para todo a A, existir r > 0 tal que B
r
(a) U A.
Um subconjunto F U fechado em U, se U F for um conjunto aberto em U.
fcil vericar que um conjunto A U aberto se, e somente se, existir um aberto
V X tal que A = V U. Da mesma forma, F U fechado, se e somente se, existir
um fechado H X tal que F = H U. (Veja o Exerccio 11). Por exemplo, (1/2, 1]
aberto em [0, 1] R (pois (1/2, 1] = (1/2, 2) [0, 1]), enquanto (0, 1/2] fechado em
(0, 1) R (pois (0, 1/2] = [1, 1/2] (0, 1)).
Denio 1.17 Um subconjunto S de um espao normado X denso em X, se S = X. S
separvel, se possuir um subconjunto enumervel denso em S.
O conjunto dos racionais denso em R. No decorrer deste curso teremos a
oportunidade de trabalhar com vrios conjuntos que so densos em espaos normados.
1.4 Aplicaes Contnuas
Denio 1.18 Sejam X, Y espaos normados e A ,= um subconjunto de X. Uma aplicao
f : A X Y contnua no ponto a A se, para todo > 0 dado, existir > 0 tal que
x A e |x a| < |f (x) f (a)| < .
Quer dizer, dado > 0, existe uma bola aberta B

(a) tal que f (B

(a) A) B

( f (a)).
Se f for contnua em todos os pontos a A, dizemos que f contnua em A ou,
simplesmente, que f contnua.
Uma caracterizao da continuidade de uma aplicao dada por:
Teorema 1.19 Sejam X, Y espaos normados. Uma aplicao f : A X Y contnua no
ponto a A se, e somente se, toda seqncia (x
k
) A com x
k
a satiszer f (x
k
) f (a).
Demonstrao: Dado > 0, a continuidade de f em a garante a existncia de > 0
tal que f (B

(a) A) B

( f (a)). Como x
k
a, existe n
0
N tal que n n
0
implica x
n
B

(a). Decorre da que f (x

k
) B

( f (a)) para todo n n

0
, provando
que f (x
k
) f (a). Reciprocamente, se f for descontnua no ponto a, existem > 0 e
x
n
B
1/n
(a) A tais que |f (x
n
) f (a)| > , para todo n Nsucientemente grande.
A seqncia assim construda converge para a, mas f (x
n
) no converge para f (a). 2
Caracterizaes alternativas da continuidade de uma aplicao so dadas pelo
seguinte resultado:
Teorema 1.20 Sejam X, Y espaos normados e f : A X Y uma aplicao. So
equivalentes:
(i) f contnua;
(ii) a imagem inversa f
1
(U) de todo conjunto aberto U Y for um conjunto aberto em A;
1.5. CONJUNTOS COMPACTOS 7
(iii) a imagem inversa f
1
(F) de todo conjunto fechado F Y for um conjunto fechado em
A.
Demonstrao: Suponhamos que f seja contnua e tomemos arbitrariamente x
f
1
(U). Isso quer dizer que f (x) U. Como U aberto, existe > 0 tal que
B

( f (x)) U. Como f contnua, existe > 0 tal que f (B

(x) A) B

( f (x)) U.
Isso quer dizer que B

(x) A f
1
(U), mostrando que f
1
(U) aberto e provando
que (i) implica (ii).
Supondo (ii), dados x A e > 0, considere o aberto U = B

( f (x)) Y. Como
f
1
(U) aberto, esse conjunto tem a forma V A, em que V X um aberto, com
x V A. Como V aberto, existe > 0 tal que B

(x) A V A. Assim,
f (B

(x) A) B

( f (x)), mostrando a continuidade de f no ponto x A. Como esse

ponto arbitrrio, completamos a prova de (i). Assim, as duas primeiras armaes
so equivalentes.
Tomando o complementar de A F, vericamos a equivalncia entre (ii) e (iii). 2
Note que, se A = X, as imagens inversas dos itens (ii) e (iii) do Teorema 1.20 so,
respectivamente, conjuntos abertos e fechados no espao normado X.
No caso especial B Y for um conjunto com um nico elemento x, denotamos
f
1
(B) = f
1
_
x
_
simplesmente por f
1
(x).
A demonstrao do prximo resultado imediata (veja o Exerccio 14).
Proposio 1.21 Sejam X, Y e Z espaos normados. Se as aplicaes f : A X Y e
g: B Y Z forem contnuas nos pontos a A e f (a) B, ento g f : A Z contnua
no ponto a. Em particular, se f (A) B e se f e g forem contnuas, ento g f contnua.
1.5 Conjuntos Compactos
Denio 1.22 Seja X um espao normado. Um conjunto K X compacto,
2
se toda
seqncia (x
n
) de elementos de K possuir uma subseqncia que converge para um elemento de
K. Um conjunto R relativamente compacto se

R for compacto.
O prximo resultado tem demonstrao imediata (veja o Exerccio 10):
Proposio 1.23 Um subconjunto fechado de um conjunto compacto compacto.
Mostraremos agora um resultado fundamental:
Teorema 1.24 Sejam X um espao normado e K X um conjunto compacto. Ento K
limitado e fechado.
Demonstrao: De acordo com o Teorema 1.14, para provarmos que K fechado, basta
mostrar que toda seqncia convergente (x
n
) K possui seu limite x em K. Mas, por
hiptese, existe uma subseqncia (x
n
j
) tal que x
n
j
y K. A unicidade do limite de
(x
n
) garante que x
n
y. Mas isso implica que x = y e, portanto, x K. Suponhamos,
agora, que K no seja limitado. Isso quer dizer que existe uma seqncia (x
n
) K tal
2
Mais precisamente, estamos denindo o que um conjunto sequencialmente compacto. Veja a Denio
1.80 para a noo de compacto denida por meio de coberturas e o Exerccio 49 para a equivalncia entre
as duas denies.
8 CAPTULO 1. ESPAOS NORMADOS
que |x
n
| n para todo n N. Essa seqncia no possui subseqncia convergente
e, portanto, K no pode ser compacto. 2
O prximo resultado tem consequncias muito importantes:
Teorema 1.25 Sejam X, Y espaos normados. A imagem de um conjunto compacto K A por
uma aplicao contnua f : A X Y um conjunto compacto.
Demonstrao: Dada uma seqncia (y
k
) f (K), para todo k Nexiste x
k
K tal que
f (x
k
) = y
k
. Como K compacto, a seqncia (x
k
) possui subseqncia convergente:
x
k
j
x
0
K. Em virtude do Teorema 1.19, temos que (y
k
j
) = ( f (x
k
j
)) converge para
f (x
0
). 2
Corolrio 1.26 Sejam X um espao normado e f : A X R uma funo contnua. Se
K A for compacto, ento f assume mximo e mnimo em K. Ou seja, existem x
m
, x
M
K
tais que
f (x
m
) f (x) f (x
M
), x K.
Demonstrao: Como f (K) limitado e fechado, os nmeros sup
xK
f (x) Re inf
xK
f (x)
R so atingidos em pontos x
M
K e x
m
K, respectivamente. 2
Em muitas situaes, consideramos a restrio de uma aplicao contnua a
um subconjunto compacto. Aplicaes contnuas denidas em compactos tem um
comportamento muito especial, como veremos.
Denio 1.27 Sejam X, Y espaos normados. Uma aplicao f : A X Y
uniformemente contnua no conjunto A se, para todo > 0 dado, existir > 0 tal que
|x y| < | f (x) f (y)| < , para quaisquer x, y A.
Se existir uma constante > 0 tal que |f (x) f (y)| |x y|, ento dizemos que f
lipschitziana com constante de Lipschitz .
Compare com a denio de continuidade da aplicao f : A Y, que se d numa
vizinhana de cada ponto x A: para cada > 0 e x A, existe = (x) tal que
|y x| < e y A implicam |f (y) f (x)| < . A noo de continuidade uniforme
um conceito global, pois nos informa sobre o comportamento de f em todos os pontos
de A: para cada > 0, o valor de independe do ponto x A. Note que toda aplicao
lipschitziana uniformemente contnua.
Exemplo 1.28 No espao normado X, uma norma | |: X R lipschitziana. De
fato,

|x| |y|

|x y|.

Teorema 1.29 Sejam X, Y espaos normados e K X um conjunto compacto. Toda aplicao

contnua f : K X Y uniformemente contnua.
1.6. CONVERGNCIAS PONTUAL E UNIFORME 9
Demonstrao: Suponhamos que f no seja uniformemente contnua. Ento existiriam
> 0 e pontos x
n
, y
n
A tais que |x
n
y
n
| <
1
n
e |f (x
n
) f (y
n
)| . Passando a
uma subsequncia, se necessrio, podemos supor que x
n
x K, pois x
n
pertence ao
compacto K. Da, conclumos (para essa subsequncia) que y
n
x. A continuidade de
f no ponto x garante, ento, que (veja o Exemplo 1.28)
lim
n
|f (x
n
) f (y
n
)| =
_
_
_ lim
n
_
f (x
n
) f (y
n
)
_
_
_
_ = |f (x) f (x)| = 0,
o que uma contradio com |f (x
n
) f (y
n
)| para todo n N. Assim, f
uniformemente contnua. 2
Nas condies do Teorema 1.29 e com A K arbitrrio, podemos concluir que a
restrio f : A Y uniformemente contnua. O Teorema 1.29 tambm utilizado em
combinao com a Desigualdade do Valor Mdio (veja [21] ou [24]).
1.6 Convergncias Pontual e Uniforme
Como os espaos considerados neste texto so, em geral, espaos de funes,
importante considerarmos e compararmos diferentes noes de convergncia neles.
Denio 1.30 Sejam A um conjunto qualquer e Y um espao normado. Uma seqncia ( f
n
)
de aplicaes f
n
: A Y converge pontualmente para a aplicao f : A Y se, para todo
x A, tem-se f
n
(x) f (x).
A seqncia ( f
n
) converge uniformemente para f se, dado > 0, existe n
0
N tal que
n n
0
|f
n
(x) f (x)| < , x A.
A convergncia uniforme de uma seqncia de funes ser denotada por
f
n
f uniformemente ou f
n
f .
Na convergncia pontual, dado > 0 e xado x A, existe n
0
N tal que n n
0
implica |f
n
(x) f (x)| < . Mas esse valor de n
0
pode depender do ponto x A. Essa
dependncia no existe no caso da convergncia uniforme. (Note que a convergncia
uniforme implica a convergncia pontual.)
-
6
f .t /C
f .t /
f .t /
f
n
.t /
R a b
R
Figura 1.1: Uma seqncia f
n
: [a, b] R converge uniformemente para f : [a, b] R
se, dado > 0, existir n
0
N tal que n n
0
implica |f
n
(t) f (t)| < para todo
t [a, b].
10 CAPTULO 1. ESPAOS NORMADOS
Observe que as denies de convergncia pontual e uniforme utilizam apenas a
norma do espao Y. Uma vez que T = f : A Y um espao vetorial, natural
perguntar se podemos denir uma norma em T de forma que a convergncia nessa
norma seja equivalente s convergncias pontual e uniforme.
Exemplo 1.31 Consideremos o espao normado C
_
[a, b], R
_
, mencionado no Exemplo
1.11, com sua norma |f |

= sup
t[a,b]
[ f (t)[.
Vale
f
n
f | f
n
f |

0,
pois |f
n
f |

se, e somente se, [ f

n
(t) f (t)[ para todo t [a, b]. Por esse
motivo, | |

chamada norma da convergncia uniforme. Uma outra notao usual

para | |

| |
sup
.
Exemplo 1.32 No mesmo espao C
_
[a, b], R
_
tratado no Exemplo anterior, considere-
mos a questo: existe alguma norma | | nesse espao que produza a convergncia
pontual, isto , existe | | tal que
|f
n
f | 0 f
n
(t) f (t), t [a, b] ?
Para responder a essa pergunta, consideremos [a, b] = [0, 1] e a seqncia de
funes g
n
: [0, 1] R denida por
g
n
(t) =
_
_
_
2
n
t, se 0 t 2
n
,
2 2
n
t, se 2
n
t 2
1n
,
0, nos demais casos.
-
6

D
D
D
D
D
D
D
D
D
DD
t
1
2
n
g
n
.t /
1
Figura 1.2: A seqncia g
n
: [0, 1] R converge pontualmente para g 0.
Para todo t [0, 1] temos que g
n
(t) 0. De fato, se t > 0, temos que g
n
(t) = 0
sempre que 2
1n
< t. Assim, g
n
(t) 0 para todo t > 0. Por outro lado, g
n
(0) = 0 para
todo n, o que completa a prova de nossa armao.
Consideremos ento essa norma arbitrria em C
_
[0, 1], R
_
. Como g
n
,= 0 para todo
n N, temos |g
n
| = c
n
> 0. Denimos ento f
n
= g
n
/|g
n
|. A funo f
n
tem grco
semelhante ao da funo g
n
, de modo que f
n
(x) 0 para todo x [0, 1]. Claramente
|f
n
| = 1, de modo que f
n
no converge na norma | | para a funo 0. Isso mostra
que no existe uma norma | | em C
_
[0, 1], R
_
para a qual a convergncia seja o mesmo
que convergncia pontual.
1.7. ESPAOS DE BANACH 11
Teorema 1.33 Sejam X, Y espaos normados e f
n
: A X Y. Se f
n
convergir
uniformemente para f , e se as aplicaes f
n
forem todas contnuas no ponto a A, ento
f contnua no ponto a.
Em particular, se as aplicaes f
n
forem contnuas, a aplicao f contnua.
Demonstrao: Dado > 0, tome n
0
N tal que |f
n
(x) f (x)| < /3 para todo
n n
0
e x A. Como f
n
contnua no ponto a A, existe > 0 tal que
x A e |x a| < | f
n
(x) f
n
(a)| <

3
.
Logo, se x A e |x a| < , vale
|f (x) f (a)| | f (x) f
n
(x)| +|f
n
(x) f
n
(a)| +|f
n
(a) f (a)|
<

3
+

3
+

3
= ,
desde que tomemos n n
0
. 2
Exemplo 1.34 Considere a seqncia f
n
(t) = t
n
, com t [0, 1]. Claramente f
n
(t) 0
para todo t [0, 1) e f
n
(1) = 1. Assim, f
n
converge pontualmente para a funo
f (t) =
_
0, se t [0, 1);
1, se t = 1.
Logo, f
n
no converge uniformemente para f , pois cada f
n
contnua, enquanto f
descontnua em t = 1.
1.7 Espaos de Banach
Denio 1.35 Uma seqncia (x
n
) num espao normado X de Cauchy se, para todo > 0
dado, existir n
0
N tal que
m, n n
0
|x
m
x
n
| < .
No difcil mostrar que toda seqncia convergente de Cauchy. Alm disso,
toda seqncia de Cauchy limitada e, se uma seqncia de Cauchy admitir uma
subseqncia convergente, ento a prpria seqncia convergente, convergindo para
o mesmo limite da subsequncia. (Veja o Exerccio 18.)
Proposio 1.36 Sejam X, Y espaos normados e f : A X Y uma aplicao
uniformemente contnua. Ento, se (x
n
) A for uma seqncia de Cauchy, ( f (x
n
)) Y
de Cauchy.
Demonstrao: Seja (x
n
) uma seqncia de Cauchy em A. Dado > 0, o fato de
f ser uniformemente contnua garante a existncia de > 0 tal que, se x, y A e
|x y| < , ento |f (x) f (y)| < . Como (x
n
) de Cauchy, existe n
0
N tal que
m, n n
0
implica |x
m
x
n
| < . Portanto,
n, m n
0
|f (x
m
) f (x
n
)| < . 2
12 CAPTULO 1. ESPAOS NORMADOS
Denio 1.37 Seja X um espao normado. Um subconjunto F X completo, se toda
seqncia de Cauchy de elementos de F convergir para um elemento de F. Um espao normado
completo chamado espao de Banach.
Exemplo 1.38 A reta real
_
R, [ [
_
um espao normado completo, como sabemos de
um curso de Anlise na Reta. Passando s coordenadas de uma seqncia de Cauchy
no R
n
com qualquer de suas normas habituais (introduzidas no Exemplo 1.8), vericamos
que esse espao completo, pois essas coordenadas tambm so seqncias de Cauchy.
A identicao de (x, y) R
2
com x + iy C nos permite concluir que
_
C, [ [
_

completo e, como no caso do R
n
, vemos que C
n
completo com qualquer das normas
do Exemplo 1.8. Assim, para todo n N, conclumos que K
n
completo com qualquer de
suas normas habituais.
Observao 1.39 Considerando uma seqncia (x
n
) emK
n
com uma norma arbitrria,
(ainda) no podemos concluir que cada uma das coordenadas de (x
n
) tambm uma
seqncia de Cauchy. Por esse motivo, o Exemplo 1.38 exige que a norma considerada
emK
n
seja uma das normas habituais.
Exemplo 1.40 Todo subespao fechado F de um espao de Banach X , por si, um
espao de Banach. De fato, se (x
n
) F for uma seqncia de Cauchy, (x
n
) converge
para x
0
X. Como F fechado, x
0
F.
1.8 Aplicaes Lineares Contnuas
Se X e Y forem espaos normados, nem toda aplicao linear T: X Y contnua.
Para mostrarmos esse fato, comeamos caracterizando a continuidade de aplicaes
lineares:
3
Teorema 1.41 Sejam X e Y espaos normados e T: X Y uma aplicao linear. So
equivalentes as propriedades:
(i) existe M > 0 tal que |Tx| M|x| para todo x X;
(ii) T lipschitziana: |Tx Ty| M|x y|;
(iii) T contnua na origem;
(iv) T limitada: sup
|x|1
|Tx| = M < .
Demonstrao: Como |Tx Ty| = |T(x y)| M|x y|, vemos que (i) implica
(ii). claro que (ii) implica (iii). Se T for contnua na origem, existe > 0 tal que
|Ty| 1, para |y| . Se |x| 1, ento |x| e, portanto, |T(x)| 1. Isso
garante que |Tx| (1/), provando (iv). Finalmente, se x ,= 0, ento x/|x| tem
norma 1 e, portanto,
_
_
T (x/|x|)
_
_
M. Da segue-se que |Tx| M|x| para todo x,
mostrando que (iv) implica (i). 2
3
Em geral, representaremos uma aplicao linear por uma letra latina maiscula: R, S, T etc. Contudo,
funcionais lineares, isto , aplicaes lineares de X em K, geralmente sero representadas por letras
minsculas: f , g, etc. No caso de aplicaes lineares, usualmente denotaremos T(x) por Tx, reservando
o uso de parnteses para situaes que puderem suscitar dvidas. Contudo, manteremos o uso de
parnteses no caso de funcionais lineares: f (x), (y) etc.
1.9. NORMAS EQUIVALENTES 13
Observao 1.42 Note que a denio de uma aplicao linear limitada diferente
daquela de uma aplicao (no linear) limitada, de acordo com o Exemplo 1.10.
Exemplo 1.43 Consideremos o espao R[t], abordado no Exemplo 1.5. Denimos, para
p R[t],
|p| = sup
t[0,1/2]
[p(t)[.
O Teorema Fundamental da lgebra garante que | | uma norma em R[t].
Denimos agora : (R[t], | |) (R, [ [) por (p) = p(1). Claramente linear.
Mas descontnua no polinmio p = 0. De fato, tomando = 1, consideremos o
polinmio p
n
(t) = t
n
. (Compare com o Exemplo 1.34.) Claramente |p
n
0| = 1/2
n
,
enquanto [(p
n
) 0[ = 1 para todo n N.
Corolrio 1.44 Seja T: X Y uma aplicao linear sobrejetora. Ento, T um
homeomorsmo
4
linear (isto , uma bijeo linear contnua com inversa contnua) se, e
somente se, existirem constantes > 0 e > 0 tais que
|x| |Tx| |x|.
Demonstrao: Se T for um homeomorsmo linear, existem > 0 e > 0 tais
que |Tx| |x| e |T
1
y| |y|. Mas Tx = y se, e somente se, x = T
1
y.
Assim, a ltima desigualdade o mesmo que |x| |Tx|, com =
1
. Reci-
procamente, a desigualdade |Tx| |x| garante que a aplicao linear T contnua.
Mas |x| |Tx| garante que T injetora. Como T sobrejetora, existe T
1
: Y X.
Assim, |x| |Tx| se, e somente se, |T
1
y|
1
|y|, mostrando que T
1

contnua. 2
Compare o Corolrio 1.44 com o Exerccio ?? do Captulo ??.
Exemplo 1.45 Seja X um espao de dimenso nita, B = x
1
, . . . , x
n
uma base de
X e | | uma norma em K
n
. Consideremos, como no Exemplo 1.8, a aplicao
J :
_
X, | |
X
_

_
K
n
, | |
_
denida por Jx = [x]
B
K
n
, em que | |
X
denota a
norma induzida por | |. A aplicao J um homeomorsmo linear entre os espaos
_
X, | |
X
_
e
_
K
n
, | |
_
, pois |Jx| = |x|
X
.
1.9 Normas Equivalentes
Algumas vezes, um espao vetorial X espao normado com diferentes escolhas de
normas (veja o Exemplo 1.8). Cada uma dessas normas dene, em princpio, diferentes
topologias, isto , diferentes conceitos do que seja um conjunto aberto.
5
Pode ser
importante saber se um conjunto aberto em uma topologia tambm aberto na outra
topologia. o que agora tratamos.
4
O signicado da palavra isomorsmo depende do contexto considerado. Assim, na lgebra Linear,
designa simplesmente uma bijeo linear T: X Y. No contexto de espaos vetoriais normados,
adicionalmente exige que T e T
1
sejam contnuas. Para no causar dvidas, evitaremos a utilizao
da palavra isomorsmo.
5
Note que conceitos como conjunto limitado, fechado, aplicao contnua etc, so todos dependentes
da topologia considerada.
14 CAPTULO 1. ESPAOS NORMADOS
Denio 1.46 Duas normas | |
0
e | |
1
num espao X so equivalentes, se a aplicao
identidade I : (X, | |
0
) (X, | |
1
) for um homeomorsmo. Em outras palavras, quando
existirem constantes > 0 e > 0 de modo que
|x|
0
< |x|
1
|x|
0
.
Resulta dessa denio que um conjunto aberto na topologia gerada pela norma
| |
0
um conjunto aberto na topologia gerada pela norma | |
1
, e vice-versa. Assim,
as duas topologias denem os mesmos conjuntos abertos. (Veja o Exerccio 19.)
Exemplo 1.47 Sejam X, Y espaos normados. fcil vericar que o produto cartesiano
X Y um espao vetorial. Podemos imitar as normas denidas no espao K
n
(veja o
Exemplo 1.8) e introduzir diferentes normas em X Y. De fato,
|(x, y)| =
_
|x|
2
+|y|
2
,
|(x, y)|
s
= |x| +|y|,
|(x, y)|

= max
_
|x|, |y|
_
,
so normas em X Y, como vericamos facilmente. (A desigualdade triangular, no
caso da norma | |, pode ser provada utilizando-se a desigualdade de Cauchy-Schwarz
veja o Captulo ?? ou ser obtida como conseqncia do Teorema 1.74.)
Conforme o Exerccio 20, temos
|(x, y)|

|(x, y)| |(x, y)|

s
2|(x, y)|

,
mostrando que essas normas so equivalentes. Com qualquer dessas normas, dizemos
que X Y est munido da topologia produto.
Esse exemplo generaliza-se para o produto cartesiano X
1
X
n
de n espaos
normados. Como consequncia, as normas habituais do espao K
n
, denidas no
Exemplo 1.8, so todas equivalentes. (Veja o Exerccio 21.)
1.10 Espaos Normados de Dimenso Finita
Nesta seo estudaremos propriedades que caracterizam os espaos normados de
dimenso nita. Se X tiver dimenso nita, vamos mostrar que todas as normas em X so
equivalentes e que toda aplicao linear T: X Y entre espaos normados contnua.
Comeamos recordando um resultado bsico, cuja demonstrao omitimos:
seqncias limitadas de nmeros reais possuem subseqncias convergentes.
Esse resultado continua vlido em
_
C, [ [
_
: dada uma seqncia limitada (z
k
) C,
identicamos z
k
= (x
k
, y
k
). A seqncia real (x
k
) limitada
6
e possui, portanto,
uma subseqncia convergente (x
k
j
). Por sua vez, a subseqncia real (y
k
j
) tambm
limitada e possui, assim, uma subseqncia convergente (y
k
j

). Logo, (z
k
j

) =
((x
k
j

, y
k
j

)) uma subseqncia convergente. Escolhida uma base do espao de

dimenso nita X, podemos generalizar esse resultado para X comqualquer de suas normas
habituais (introduzidas no Exemplo 1.8): passamos sucessivamente, como no caso de
K = C, a subseqncias convergentes de cada uma das coordenadas da representao
6
De acordo com o Exerccio 4.
1.10. ESPAOS NORMADOS DE DIMENSO FINITA 15
na base B de uma seqncia limitada em X. (Veja o Exerccio 22.) Almdisso, conjuntos
limitados e fechados K X so compactos: dada uma seqncia (x
n
) em K, ela possui
uma subseqncia convergente (x
n
j
). Como K fechado, x
n
j
x K. Temos, assim:
Teorema 1.48 (Bolzano-Weierstra - Verso Preliminar)
Seja X um espao de dimenso nita com qualquer de suas normas habituais. Ento
toda seqncia limitada possui uma subseqncia convergente. Em particular, se K X for
limitado e fechado, ento K compacto.
Observao 1.49 Note que (ainda) no sabemos que, com relao a uma norma
arbitrria no espao de dimenso nita X, as coordenadas de uma seqncia limitada
em X tambm formam seqncias limitadas!
Teorema 1.50 Todas as normas em um espao X de dimenso nita so equivalentes.
Demonstrao: Seja | | uma norma arbitrria no espao X. Escolha uma base
B = x
1
, . . . , x
n
em X e considere x =
1
x
1
+ . . . +
n
x
n
X. Como j vimos no
Exemplo 1.8, |x|
s
=
n
i=1
[
i
[ dene uma norma em X.
Vamos mostrar que as normas | | e | |
s
so equivalentes. Temos que
|x| =
_
_
_
_
_
n

i=1

i
x
i
_
_
_
_
_

i=1
[
i
[ |x
i
| max
1in
|x
i
|
n

i=1
[
i
[ = |x|
s
, (1.2)
em que = max
1in
|x
i
|. Essa desigualdade mostra que a aplicao identidade
I :
_
X, | |
s
_

_
X, | |
_
contnua.
Resta mostrar que |x|
s
|x| para algum > 0. Suponhamos que essa
desigualdade no se verique. Ento, para cada n N, poderamos encontrar
x
n
X tal que |x
n
|
s
> n|x
n
| e, denindo u
n
= x
n
/|x
n
|
s
, teramos que (u
n
) uma
seqncia tal que |u
n
|
s
= 1. De acordo com o Teorema de Bolzano-Weierstra (verso
preliminar), existiria uma subseqncia (u
n
j
) que convergiria para u em
_
X, | |
s
_
.
Como |u
n
j
|
s
= 1, teramos que |u|
s
= 1. Por outro lado, com relao norma | |,
valeria |u
n
| = |x
n
|/|x
n
|
s
< 1/n e, portanto,
|u| |u u
n
j
| +|u
n
j
| |u u
n
j
|
s
+
1
n
j
.
O lado direito da desigualdade tende a zero quando j , o que implica que |u| = 0
e, portanto, u = 0. Isso uma contradio, pois |u|
s
= 1. 2
Corolrio 1.51 Todo espao normado de dimenso nita completo.
Demonstrao: De fato, normas equivalentes geram as mesmas sequncias de Cauchy.
Assim, se x
n
x
0
em uma norma, ento x
n
x
0
na outra norma. Como j vimos que
K
n
completo com qualquer norma das normas denidas no Exemplo 1.8, ele tambm
completo com uma norma arbitrria | |.
Tendo em vista o Exemplo 1.45, isso signica que (X, | |
X
) completo. Mas,
como todas as normas em X so equivalentes, o espao X completo com uma norma
arbitrria | |. 2
16 CAPTULO 1. ESPAOS NORMADOS
Corolrio 1.52 (Bolzano-Weierstra) Conjuntos limitados e fechados de um espao
normado de dimenso nita X so compactos.
Demonstrao: Considerado com qualquer de suas normas habituais, o Teorema de
Bolzano-Weierstra 1.48 garante que qualquer conjunto K X limitado e fechado
compacto. Como todas as normas em X so equivalentes, o resultado decorre. 2
Exemplo 1.53 Conjuntos limitados e fechados de um espao normado de dimenso
innita no so, necessariamente, compactos. Consideremos, por exemplo, o espao
C
_
[0, 1], R
_
com a norma | |

, tal qual no Exemplo 1.31. A bola B

1
(0) C
_
[0, 1], R
_
um conjunto limitado e fechado, mas no compacto. Com efeito, considere a
seqncia ( f
n
) B
1
(0), em que f
n
(t) = t
n
. Como a convergncia em C
_
[0, 1], R
_
uniforme, o Teorema 1.33 garante que ( f
n
) no possui subseqncia convergente.
Compare o que zemos aqui com o Exemplo 1.32.
Corolrio 1.54 Sejam X, Y espaos normados sobre o corpo K. Se X tiver dimenso nita,
ento toda aplicao linear T: X Y contnua.
Demonstrao: Considere x =
1
x
1
+. . . +
n
x
n
, em que x
1
, . . . , x
n
uma base de X.
Ento
|Tx| =
n

i=1
[
i
| |x
i
| max
1in
|Tx
i
|
n

i=1
[
i
[ = |x|
s
,
em que = max
1in
|Tx
i
| e |x|
s
=
n
i=1
[
i
[ uma norma em X. Como todas as
normas em X so equivalentes, o resultado est provado. 2
Denio 1.55 Seja X um espao normado e A X um subconjunto no vazio arbitrrio.
Denimos a distncia do ponto x
0
X ao conjunto A, denotada dist (x
0
, A), por
dist (x
0
, A) = inf
aA
_
|x
0
a| : a A
_
.
Teorema 1.56 (F. Riesz)
Seja Y X um subespao fechado de um espao normado X, com Y ,= X. Ento, dado
0 < < 1, existe x

X, com |x

| = 1, tal que dist (x

, Y) > 1 .
Demonstrao: Escolha arbitrariamente x X tal que x , Y. Seja = dist (x, Y).
De acordo com o Exerccio 24, temos > 0. Dado > 0, escolha y
0
Y tal que
|x y
0
| (1 + ). Denimos ento
x

=
x y
0
|x y
0
|
.
Vale |x

| = 1 e, para todo y Y,
|y x

| =
_
_
_
_
y +
y
0
x
|x y
0
|
_
_
_
_
=
1
|x y
0
|
_
_
_
_
y|x y
0
| + y
0
x
_
_
_
_

|x y
0
|


(1 + )
> 1 .
1.11. O TEOREMA DE ARZEL-ASCOLI 17
(A primeira desigualdade conseqncia de y|x y
0
| + y
0
Y e dist (x, Y) ; a
ltima, de propriedade da srie geomtrica.) 2
O Exerccio 26 pede que se mostre que, se X tiver dimenso nita, ento podemos
tomar = 0. Diferindo bastante de nossa concepo usual do espao K
n
, o mesmo
pode no acontecer em um espao normado de dimenso innita: dado um subespao
fechado Y de um espao de Banach X, pode no existir um ponto x B
1
(0) X tal
que d(x, Y) = 1 (veja o Exerccio 27).
Corolrio 1.57 Seja X um espao normado. Conjuntos limitados e fechados de X so
compactos se, e somente se, X tiver dimenso nita.
Demonstrao: Suponhamos que X no tenha dimenso nita. Tome 0 < < 1. A
aplicao do Teorema 1.56 garante ento a existncia de uma seqncia x
n
X, com
|x
n
| = 1 e |x
n
x
m
| > 1 para m ,= n. De fato, escolha x
1
com norma unitria
e, supondo escolhidos indutivamente x
2
, . . . , x
n
, dena Y como o espao vetorial de
dimenso nita gerado por x
1
, . . . , x
n
. Como Y fechado, podemos tomar um vetor
unitrio x
n+1
X com dist (x
n+1
, Y) > 1 . Ento |x
n+1
x
m
| dist (x
n+1
, Y) >
1 para m = 1, . . . , n. A seqncia assim escolhida limitada, mas no possui
subseqncia convergente.
Por outro lado, se dimX = n, ento o Corolrio 1.52 garante que conjuntos
limitados e fechados so compactos. 2
Observao 1.58 Seja X um espao normado. Enunciados equivalentes para o
Corolrio 1.57 so os seguintes:
(i) toda seqncia limitada em X possui subseqncia convergente se, e somente se, dimX <
;
(ii) se r > 0, a bola B
r
(0) em X compacta se, e somente se, dimX < .

Uma conseqncia importante do Corolrio 1.57 que, em um espao de dimenso
innita, conjuntos compactos sempre tm interior vazio. (Veja os Exerccios 30 e 31.)
1.11 O Teorema de Arzel-Ascoli
Como vimos, em espaos de dimenso innita a caracterizao de subconjuntos
compactos exige mais do conjunto do que ele ser limitado e fechado. Mas conjuntos
compactos so fundamentais: neles, sequncias possuem subsequncias convergentes,
o que uma propriedade importante em muitas aplicaes. Em certos espaos de
funes temos um critrio alternativo para mostrar a compacidade de subconjuntos.
O principal desses resultados o Teorema de Arzel-Ascoli, que apresentaremos nesta
seo.
Sejam X um espao normado, S X um compacto e Y um espao de Banach. No
enunciado do Teorema de Arzel-Ascoli lidamos com o espao de Banach
7
C(S, Y) = f : S Y : f contnua .
7
Veja os Exerccios 35 e 36.
18 CAPTULO 1. ESPAOS NORMADOS
Observao 1.59 Com a norma de C(S, Y), a aplicao v
x
: C(S, Y) Y, denida por
v
x
( f ) = f (x) satisfaz
|f g|
sup
< |v
x
( f ) v
x
(g)| = |f (x) g(x)| < .

Denio 1.60 Um subconjunto A C(S, Y) equicontnuo emumponto x

0
S se, dado
> 0 existir > 0 tal que
x S, |x x
0
| < |f (x) f (x
0
)| , f A.
O subconjunto A equicontnuo, se for equicontnuo em cada um de seus pontos.
O conjunto A uniformemente equicontnuo se, dado > 0, existir > 0 tal que
x, y S, |x y| < | f (x) f (y)| < , f A.
Lema 1.61 Seja A C(S, Y) um subconjunto equicontnuo. Ento A uniformemente
equicontnuo.
Demonstrao: Caso contrrio, existiriam > 0, sequncias (x
j
), (y
j
) S, com
|x
j
y
j
| 1/n e uma sequncia ( f
j
) em A, tais que
|f
j
(x
j
) f
j
(y
j
)| .
Como S compacto, passando a uma subsequncia, podemos supor que x
j
x
0
e,
portanto, y
j
x
0
. Mas ento
|f
j
(x
j
) f
j
(x
0
)| +|f
j
(x
0
) f
j
(y
j
)|,
o que contradiz a equicontinuidade de A no ponto x
0
. (Note que no estamos supondo
que ( f
j
) convirja!) 2
Denio 1.62 Um subconjunto A de um normado X totalmente limitado se, para todo
> 0 dado, existirem pontos x
1
, . . . , x
m
A tais que
A
m
_
i=1
B

(x
i
).
Lema 1.63 Seja K um conjunto compacto de um espao normado X. Ento K completo e
totalmente limitado.
Demonstrao: Uma vez que toda sequncia de Cauchy em K converge para um
ponto de K (pois possui uma subseqncia convergente), vemos que K completo.
Se K no fosse totalmente limitado, existiriam > 0 e uma seqncia (x
n
) em K com
|x
i
x
j
| para i ,= j. Essa seqncia no admite subseqncia convergente, o que
contradiz a hiptese. 2
Observao 1.64 Em um espao normado X, um subconjunto A X compacto se, e
somente se, A for completo e totalmente limitado. Veja o Exerccio 49.
Lema 1.65 Todo conjunto totalmente limitado T separvel.
1.11. O TEOREMA DE ARZEL-ASCOLI 19
Demonstrao: Para cada n N e x T, existe um conjunto nito F
n
T tal que
sup
yF
n
|x y| < 1/n. Seja F =
nN
F
n
. Ento F enumervel e denso em T. 2
Teorema 1.66 (Arzel-Ascoli)
Umsubconjunto E C(S, Y) relativamente compacto se, e somente se, E for equicontnuo
e, para cada x X,
E(x) = f (x) : f E
for relativamente compacto em Y.
Demonstrao: Suponhamos que E seja relativamente compacto. Como a aplicao
v
x
: C(S, Y) Y denida por v
x
( f ) = f (x) contnua, temos que v
x
(

E) compacto.
Uma vez que v
x
(E) v
x
(

E), conclumos que E(x) relativamente compacto.
Como E totalmente limitado (Lema 1.63), dado > 0, existem funes f
i
tais que
E
n

_
i=1
B
/3
( f
i
).
Assim, para todo f E, existe i tal que
|f f
i
|
sup
<

3
e, para todos x, x
0
S, temos
[ f (x) f (x
0
)[ [ f (x) f
i
(x)[ +[ f
i
(x) f
i
(x
0
)[ +[ f
i
(x
0
) f (x
0
)[
2

3
+ max
1in

[ f
i
(x) f
i
(x
0
)[.
Como cada funo f
i
uniformemente contnua, existe > 0 tal que |x x
0
| <
implica |f
i
(x) f
i
(x
0
)| < /3 para todo 1 i n

, o que garante que E

equicontnuo.
Reciprocamente, seja R
1
= f
11
, f
12
, . . . , f
1n
, . . . uma sequncia arbitrria em E.
De acordo com o Lema 1.65, existe um conjunto D = x
1
, . . . , x
n
, . . . S denso
em S. Por hiptese, o conjunto R
1
(x
1
) = f
11
(x
1
), . . . , f
1n
(x
1
), . . . relativamente
compacto em Y. Assim, existe uma subseqncia R
2
= f
21
, f
22
, . . . , f
2n
, . . . de
R
1
tal que ( f
2n
(x
1
)) converge em Y. Consideremos ento a seqncia R
2
(x
2
) =
f
21
(x
2
), f
22
(x
2
), . . . , f
2n
(x
2
), . . .. Como antes, nossa hiptese garante a existncia
de uma subseqncia R
3
= f
31
, . . . , f
3n
, . . . de R
2
tal que ( f
3n
(x
2
)) converge.
Continuando dessa maneira, obtemos, para todo k N, uma subsequncia R
k
de R
k1
tal que ( f
kn
(x
k1
)) converge em Y. Denimos ento a seqncia R = ( f
k
) por f
k
= f
kk
.
(Esse o mtodo diagonal de Cantor.) Ento, para todo x D, f
k
(x) converge.
Para concluir a demonstrao, mostraremos que ( f
k
) uma seqncia de Cauchy
no espao C(S, Y). Quer dizer, dado > 0, queremos mostrar a existncia de n
0
N
tal que |f
m
f
n
|
sup
para quaisquer m, n n
0
. Seja y S arbitrrio.
De acordo como Lema 1.61, ( f
k
) uniformemente equicontnua em S. Assim, existe
> 0 tal que
x, y S, |y x| < |f (y) f (x)| < /3, f E.
20 CAPTULO 1. ESPAOS NORMADOS
Tome x D tal que |x y| < . Como ( f
k
(x)) de Cauchy, existe n
0
tal que
m, n n
0
| f
m
(x) f
n
(x)| < /3.
Logo,
|f
m
(y) f
n
(y)| | f
m
(y) f
m
(x)| +|f
m
(x) f
n
(x)| +|f
n
(x) f
n
(y)|
<

3
+

3
+

3
= .
Consequentemente,
|f
m
f
n
|
sup
= sup
yS
|f
m
(y) f
n
(y)| ,
como queramos demonstrar. 2
Corolrio 1.67 Se dimY < , ento E C(S, Y) relativamente compacto se, e somente se,
E for equicontnuo e limitado.
Demonstrao: A armao direta decorre do Teorema 1.24. Por outro lado, se E for
limitado, ento E(x) limitado para todo x X. Pelo Teorema de Bolzano-Weierstra
(Corolrio 1.52), podemos aplicar o Teorema de Arzel-Ascoli. 2
1.12 O Completamento
Denio 1.68 Seja
_
X, | |
_
um espao normado. Denimos o completamento
_

X, T
_
de
X como um par consistindo de um espao de Banach
_

X, | |
0
_
e uma aplicao linear
T: X

X
que preserva a norma, isto ,
|Tx|
0
= |x|, x X,
e tal que T(X) denso em

X.
Teorema 1.69 Todo espao normado (X, | |) possui um completamento.
Heuristicamente, nada mais natural do que pensar que o completamento de
X ser o prprio espao X unido ao conjunto dos pontos que so limites das
seqncias de Cauchy. O problema que estes pontos limites ainda no esto
denidos! Para deni-los, temos que considerar uma seqncia de Cauchy como algo
intrinsecamente ligado ao ponto para o qual ela vai convergir. Mas isto coloca umoutro
problema, de fcil resoluo: podemos ter duas seqncias convergindo para o mesmo
ponto! Igualamos estas seqncias ao denirmos uma relao de equivalncia: duas
seqncias pertencem mesma classe se seus elementos aproximam-se arbitrariamente
- isto , se convergem para o mesmo ponto. Tal procedimento permite pensar em cada
ponto como uma seqncia de Cauchy, e vice-versa. o que faremos na demonstrao
seguinte.
1.12. O COMPLETAMENTO 21
Demonstrao: Denimos
X

=
_
= (x
j
) : (x
j
) uma seqncia de Cauchy em X
_
.
Em X

, consideramos a relao de equivalncia:

(x
j
) (y
j
) lim
j
|x
j
y
j
| = 0.
(No contexto da Anlise Matemtica, usual denotar a relao por =).
Tomamos ento o espao quociente

X = X

/. Em outras palavras, consideramos

a partio de X

gerada por essa relao de equivalncia. Denotamos por [] a classe

de equivalncia de = (x
k
). Assim, se (y
k
) e (z
k
) so dois representantes da classe
[], ento lim
k
|y
k
z
k
| = 0. O conjunto

X o conjunto das classes de equivalncia
(disjuntas) de X

.
Em

X, se (x
j
) e (y
j
) so representantes de [] e [], respectivamente, denimos
[] + [] = [x
j
+ y
j
] e c[] = [cx
j
].
fcil vericar que essas operaes esto bem denidas e que, com elas,

X um espao
vetorial.
O espao

X torna-se um espao normado ao denirmos
_
_
[]
_
_
0
= lim
j
|x
j
|. (1.3)
Como a aplicao | |: X R uniformemente contnua (veja o Exemplo 1.28), a
Proposio 1.36 garante que (|x
j
|) uma seqncia de Cauchy em R. Portanto, o
limite em (1.3) existe. fcil vericar que
_
_
[]
_
_
0
independe do representante escolhido
de []; assim, | |
0
est bem denida. claro que | |
0
dene uma norma em

X.
Seja T: X

X denida por Tx = [(x)], em que (x) designa a seqncia cujos
termos so todos iguais a x. A aplicao T linear e preserva normas. Armamos que
T(X) denso em

X. De fato, seja []

X e (x
n
) um representante de []. Como (x
n
)
de Cauchy, dado > 0, existe n
0
tal que |x
n
x
n
0
| < , para todo n n
0
. Assim,
_
_
[] Tx
n
0
_
_
0
=
_
_
[x
n
x
n
0
]
_
_
0
= lim
n
|x
n
x
n
0
| ,
provando o armado.
Resta provar que

X completo. Para isto, dado > 0, consideremos uma seqncia
de Cauchy ([]
n
) de elementos de

X. Fixado n, cada elemento []
n
representado por
uma seqncia de Cauchy (x
n
i
) de elementos de X e, para este valor de n, existe y
n
X
tal que
_
_
[]
n
Ty
n
_
_
0
< /3,pois T(X) denso em

X. Armamos que a seqncia (y
n
)
assim formada uma seqncia de Cauchy em X. De fato, temos
|y
n
y
m
| = |Ty
n
Ty
m
|
0

_
_
Ty
n
[]
n
_
_
0
+
_
_
[]
n
[]
m
_
_
0
+
_
_
[]
m
Ty
m
_
_
0
.
Como ([]
n
) de Cauchy, existe n
0
tal que m, n n
0
implica
_
_
[]
n
[]
m
_
_
0
< /3. Da
segue-se o armado.
Seja = (y
n
). Armamos que ([]
n
) converge a [] em (

X, | |
0
). De fato, dado
> 0, temos
_
_
[]
n
[]
_
_
0
=
_
_
[]
n
Ty
n
_
_
0
,
22 CAPTULO 1. ESPAOS NORMADOS
que tende a zero quando n tende a innito. 2
Espaos de Banach so muitas vezes construdos por meio do Teorema 1.69 e
uma das construes usuais do conjunto dos nmeros reais tambm feita por esse
processo. Os espaos L
p
da teoria da integrao (veja a prxima seo) podem ser
obtidos assim. A grande diculdade na utilizao do Teorema 1.69 na construo dos
espaos L
p
consiste em identicar os elementos do completamento (que so, em ltima
instncia, seqncias de Cauchy) com verdadeiras funes. Para ilustrar esse tipo de
construo dos espaos L
p
, veja, por exemplo, [2] e [21].
1.13 Exemplos de Espaos de Banach
1.13.1 Espaos de Aplicaes Lineares Contnuas
Sejam X, Y espaos normados. Denotamos por /(X, Y) o espao das aplicaes
lineares contnuas de X para Y. Nesse conjunto, dado T /(X, Y), denimos
|T| = sup
|x|=1
|Tx|.
Assim, como conseqncia da prova do Teorema 1.41, temos que |Tx| |T| |x| para
todo x X.
Verica-se facilmente que /(X, Y) um espao normado. Denotamos por X
/
=
/(X, K) o espao dual
8
de X e /(X, X) por /(X).
Armamos que, se Y for um espao completo, ento /(X, Y) um espao de
Banach.
Com efeito, consideremos uma seqncia de Cauchy (T
n
) em /(X, Y). Logo, dado
> 0, existe n
0
tal que m, n n
0
implica |T
n
T
m
| . Da segue-se que, para todo
x X,
|T
n
x T
m
x| = |(T
n
T
m
) x| |T
n
T
m
| |x|,
mostrando que (T
n
x) uma seqncia de Cauchy no espao completo Y. Assim, est
bem denido lim
n
T
n
x.
Denimos, para todo x X, T: X Y por Tx = lim
n
T
n
x. Vamos mostrar
que T /(X, Y). A linearidade de T decorre de propriedades do limite. Portanto,
para garantir que T /(X, Y), basta provar que T limitada. Como (T
n
) de Cauchy,
existe M tal que |T
n
| M para todo n. Da segue-se que |T
n
x| M|x|. Tomando o
limite quando n nessa desigualdade, conclumos que |Tx| M|x|.
Agora vamos mostrar que T
n
T em /(X, Y), isto , que |T
n
T| 0 quando
n . Dado > 0 e escolhido n
0
como acima, temos |T
n
x T
m
x| |x|
para m, n n
0
. Tomando o limite quando n nessa ltima desigualdade, vem
|Tx T
m
x| |x|. Assim, para todo m > n
0
temos |T T
m
| , completando a
demonstrao de nossa armao.
8
Alguns autores denotam o dual de X por X

. Notamos que estamos tratando do espao dual

topolgico, isto , aquele dos funcionais lineares contnuos, enquanto o dual algbrico constitudo por
todos os funcionais lineares, independentemente de continuidade.
1.13. EXEMPLOS DE ESPAOS DE BANACH 23
Sejam X, Y, Z espaos normados. Muitas vezes consideramos aplicaes lineares
T: Y Z, sendo Y um subespao de X. Um problema natural saber se T possui
extenso a X, isto , se existe

T: X Z tal que

T[
Y
= T, em que

T[
Y
denota a restrio
de

T ao espao Y. Essa questo tratada no Exerccio 32.
1.13.2 Espao de Funes Integrveis
Seja C
_
[a, b], K
_
o espao vetorial das funes contnuas f : [a, b] K.
Nesse conjunto, denimos a norma
9
|f |
L
1 =
_
b
a
[ f (x)[dx.
Denotamos por C
L
1
_
[a, b], K
_
o espao vetorial C
_
[a, b], K
_
com a norma | |
L
1 .
Uma vez que esse espao no completo (veja o Exerccio 39), consideramos o seu
completamento com a norma | |
L
1 . Esse espao completo ser denotado por L
1
_
[a, b]
_
ou, simplesmente, L
1
.
Pode-se mostrar que o conjunto L
1
constitudo por (classes de equivalncia) de
funes f : [a, b] K, com a identicao f = g, se f e g diferem apenas num conjunto
de medida nula,
10
denotado por f = g qtp. (Veja [28, 29, 38].)
Da mesma forma que acontece na passagem dos racionais para os reais, as funes
em L
1
que podemos integrar explicitamente so basicamente aquelas que integrvamos
nos cursos de Clculo.
11
A importncia do espao L
1
deve-se riqueza de suas opera-
es com limites, apresentadas em um curso de integrao.
Uma vez construdo o espao L
1
, podemos construir outros espaos por meio de
uma modicao da norma | |
L
1 .
Seja 1 < p < . Para f C
_
[a, b], K
_
, denimos
|f |
L
p =
_
_
b
a
[ f (x)[
p
dx
_
1/p
.
Denimos tambm
|f |
L
= |f |

= sup
x[a,b]
[ f (x)[.
A desigualdade triangular no caso de | |
L
p conhecida como desigualdade de
Minkowsky e ser provada no Teorema 1.74. Como consequncia, | |
L
p uma norma,
se 1 p < .
Com a norma | |
L
p e 1 p < , denotamos o espao vetorial C
_
[a, b], K
_
por
C
L
p
_
[a, b], K
_
. Como no caso p = 1, esse espao no completo. O seu completamento
ser denotado por L
p
_
[a, b], K
_
= L
p
.
9
A integral denota a integral de Riemann dos cursos de Clculo.
10
Um conjunto U [a, b] tem medida nula se, dado > 0, existe uma coleo enumervel de
intervalos abertos de raio
i
(isto , do tipo (c
i
, c +
i
)) que cobre o conjunto U e tem comprimento
total menor ou igual a . O exemplo bsico o conjunto Q dos racionais em [0, 1]: tome uma enumerao
q
1
, . . . , q
n
, . . . desses racionais, considere os intervalos (q
i
/2
i
, q
i
+/2
i
), que cobremQ. A soma total
dos comprimentos desses intervalos justamente , mostrando que Q tem medida nula.
11
Note que s operamos explicitamente com nmeros racionais; a soma

2 + representa um nmero
real com uma srie de propriedades:

2 + = +

2, tem inverso, possui raiz n-sima, pode ser

aproximado por racionais etc Mas a soma

2 + no pode ser, na prtica, efetuada...

24 CAPTULO 1. ESPAOS NORMADOS
Note que f L
p
se, e somente se, [ f [
p
L
1
. Assim, duas funes em L
p
so iguais
se diferem apenas em um conjunto de medida nula.
A denio do espao L

_
[a, b], K
_
no ser abordada neste curso. Tambm esse
um espao de Banach completo, mas ele no provm do espao C
_
[a, b], K
_
com a
norma | |
L
. (Justique!)
1.13.3 Espaos de Sequncias
Consideremos o espao de todas as seqncias em K, introduzido no Exemplo
1.4. Em denimos
|(x
n
)|
p
=
_

n=1
[x
n
[
p
_
1/p
,
em que 1 p < .
Denotamos por
p
o conjunto de todas as seqncias (x
n
) tais que |(x
n
)|
p
< .
Considerando tambm o espao

, denido no exemplo 1.10, obtemos os conjuntos

p
, 1 p . Veremos que os conjuntos
p
so espaos de Banach. (A demonstrao
de que | |
p
uma norma decorre do Teorema 1.74.)
1.13.4 As Desigualdades de Hlder e Minkowsky
Denio 1.70 Dado 1 p , denotaremos por p
/
o elemento de [1, ] tal que
1
p
+
1
p
/
= 1.
Dizemos ento que p e p
/
so expoentes conjugados.
Lema 1.71 (Desigualdade de Young)
Suponha que 1 < p < . Ento, para quaisquer a, b 0, vale:
ab
1
p
a
p
+
1
p
/
b
p
/
.
Demonstrao: Basta considerar o caso a > 0 e b > 0. Usando a concavidade da funo
logaritmo,
12
obtemos
ln(ab) = ln a + ln b =
1
p
ln a
p
+
1
p
/
ln b
p
/
ln
_
1
p
a
p
+
1
p
/
b
p
/
_
.
Oresultado obtido ao se tomar a exponencial emambos os lados da desigualdade.
2
Teorema 1.72 (Desigualdade de Hlder)
Considere expoentes conjugados p, p
/
[1, ]. Ento vale:
12
Um subconjunto A R convexo se, dados x, y A, ento tx + (1 t)y A para todo 0 t 1.
Uma funo f : A R convexa, se
f (tx + (1 t)y) t f (x) + (1 t) f (y), t [0, 1].
Se a desigualdade contrria se verica, dizemos que a funo cncava. Verique que a funo logaritmo
ln: (0, ) R cncava!
1.13. EXEMPLOS DE ESPAOS DE BANACH 25
(i) se x = (x
n
)
p
e y = (y
n
)
p
/
e 1 < p < , ento

n=1
[x
n
y
n
[
_

n=1
[x
n
[
p
_
1/p
_

n=1
[y
n
[
p
/
_
1/p
/
e, se p = 1,

n=1
[x
n
y
n
[
_

n=1
[x
n
[
_
sup
nN
[y
n
[.
(ii) Dados f , g C
_
[a, b], K
_
, ento |f g|
L
1 |f |
L
p |g|
L
p
/ , isto ,
se 1 < p < ,
_
b
a
[ f (x)g(x)[dx
_
_
b
a
[ f (x)[
p
dx
_
1/p
_
_
b
a
[g(x)[
p
/
dx
_
1/p
/
se p = 1,
_
b
a
[ f (x)g(x)[dx
_
_
b
a
[ f (x)[dx
_
sup
x[a,b]
[g(x)[.
Demonstrao: (i) O caso p = 1 evidente. Da mesma forma, podemos supor x ,= 0 e
y ,= 0. Aplicando a desigualdade de Young aos pares
a
n
=
[x
n
[
|x|
p
e b
n
=
[y
n
[
|y|
p
/
(n = 1, . . . , n)
obtemos
[x
n
y
n
[
|x|
p
|y|
p
/

1
p
[x
n
[
p
|x|
p
p
+
1
p
/
[y
n
[
p
/
|x|
p
/
p
/
.
Somando membro a membro todas as desigualdades obtidas, vem

n=1
[x
n
y
n
[
|x|
p
|y|
p
/

1
p|x|
p
p

n=1
[x
n
[
p
+
1
p|x|
p
/
p
/

n=1
[x
n
[
p
/
=
1
p
+
1
p
/
= 1,
seguindo-se da o armado.
(ii) O resultado evidente para p = 1 ou p = . Para 1 < p < , o resultado
claramente vlido se f 0 ou g 0. Dena ento
a(x) =
[ f (x)[
|f |
L
p
e b(x) =
[g(x)[
|f |
L
p
/
.
Aplicando a desigualdade de Young, segue-se da que
[ f (x)g(x)[
|f |
L
p |g|
L
p
/

1
p
[ f (x)[
p
|f |
p
L
p
+
1
p
/
[g(x)[
p
/
|g|
p
/
L
p
/
.
Integrando essa desigualdade em [a, b] obtemos, como antes, o resultado. 2
26 CAPTULO 1. ESPAOS NORMADOS
Observao 1.73 No caso 1 < p < , a demonstrao apresentada continua vlida no
espao L
p
_
[a, b], K
_
.
Teorema 1.74 (Desigualdade de Minkowsky)
Sejam p [1, ] e p
/
seu expoente conjugado. Ento
(i) Para quaisquer x, y
p
, temos |x + y|
p
|x|
p
+|y|
p
;
(ii) Para quaisquer f , g C
_
[a, b], K
_
, temos |f + g|
L
p |f |
L
p +|g|
L
p .
Em particular, | |
p
e | |
L
p so normas em seus respectivos espaos.
Demonstrao: (i) Para p = 1 ou p = , a demonstrao evidente. Se 1 < p < e
x, y
p
, armamos inicialmente que x + y
p
. De fato, se x = (x
n
) e y = (y
n
), vale
para todo n que
13
[x
n
+ y
n
[ 2 max[x
n
[, [y
n
[ e, portanto,
[x
n
+ y
n
[
p
2
p
max[x
n
[
p
, [y
n
[
p
2
p
([x
n
[
p
+[y
n
[
p
).
Assim,

n=1
[x
n
+ y
n
[
p
2
p
_

n=1
[x
n
[
p
+

n=1
[y
n
[
p
_
< . (1.4)
Temos ento

n=1
[x
n
+ y
n
[
p
=

n=1
[x
n
+ y
n
[
p1
[x
n
+ y
n
[

n=1
[x
n
+ y
n
[
p1
[x
n
[ +

n=1
[x
n
+ y
n
[
p1
[y
n
[

n=1
[x
n
+ y
n
[
(p1)p
/
_ 1
p
/
_

n=1
[x
n
[
p
_1
p
+
_

n=1
[x
n
+ y
n
[
(p1)p
/
_ 1
p
/
_

n=1
[y
n
[
p
_1
p
=
_

n=1
[x
n
+ y
n
[
p
_
1
1
p
(|x|
p
+|y|
p
). (1.5)
Note que a ltima igualdade, na qual usada a relao (p 1)p
/
= p, justica a
aplicao da desigualdade de Hlder.
Logo, cancelando

n=1
[x
n
+ y
n
[
p
em ambos os lados da desigualdade (1.5),
provamos a desigualdade de Minkowsky; a vericao de que | |
p
dene uma norma
, ento, imediata.
(ii) A prova anloga. 2
Observao 1.75 A demonstrao apresentada da desigualdade de Minkowsky no
espao C
L
p
_
[a, b], K
_
continua vlida em L
p
_
[a, b], K
_
, se 1 < p < .
13
Veja o Exerccio 42.
1.14. EXERCCIOS 27
Teorema 1.76 Os espaos
p
, 1 p so espaos de Banach.
Demonstrao: Seja (x
m
) uma seqncia de Cauchy em
p
, com x
m
=
(x
m1
, x
m2
, . . . , x
mi
, . . .). Para todo i N temos
[x
mi
x
ni
[
p
|x
m
x
n
|
p
p
,
o que garante que (x
mi
)
mN
uma seqncia de Cauchy emK. Assim, para cada i N,
existe a
i
= lim
n
x
ni
. Dado > 0, tome n
0
N tal que |x
m
x
n
|
p
< para quaisquer
m, n n
0
. Suponhamos p [1, ). Temos ento, para qualquer k N xo e m, n n
0
temos
k

i=1
[x
mi
x
ni
[
p
<
p
.
Se k e n n
0
so mantidos xos, tomando o limite com m na desigualdade acima,
obtemos que
k

i=1
[a
i
x
ni
[
p

p
.
Fazendo agora k , obtemos

i=1
[a
i
x
ni
[
p

p
(1.6)
para todo n n
0
. Isso garante que a x
n

p
se n n
0
. Mas ento a = (a x
n
) +x
n

p
. Uma vez que (1.6) signica que a = lim
n
x
n
em
p
, mostramos que esse espao
completo.
A demonstrao, no caso de p = , o Exerccio 43. 2
Note que, por denio, os espaos L
p
_
[a, b], K
_
so completos, para 1 p < .
1.14 Exerccios
1. Seja B um subconjunto no vazio do espao vetorial X. Mostre que < B > um
subespao de X. Se B for uma base, mostre que cada x X escreve-se de maneira
nica como combinao linear de elementos de B.
2. Seja X um espao vetorial. Se W X for um subespao de dimenso innita,
mostre que X tem dimenso innita.
3. Seja X um conjunto no vazio qualquer. Mostre que f : X K um espao
vetorial de dimenso innita se, e somente se, X for um conjunto com innitos
elementos.
4. Seja | | uma norma em K. Mostre que existe k > 0 tal que | | = k[ [, isto ,
toda norma emK um mltiplo positivo do valor absoluto.
Denio 1.77 Seja X um conjunto qualquer. Uma distncia em X uma aplicao
dist (, ) : X X [0, ) que satisfaz, para todos x, y, z X,
(i) dist (x, x) = 0 x = 0;
28 CAPTULO 1. ESPAOS NORMADOS
(ii) dist (x, y) = dist (y, x);
(iii) dist (x, z) dist (x, y) + dist (y, z).
Um espao mtrico um conjunto X munido de uma distncia.
14
5. Seja X um espao normado. Mostre que d(x, y) = |x y| dene uma distncia
em X, chamada distncia gerada pela norma de X. Mostre que, se dist (, ) : X
X R
+
for gerada por uma norma, ento ela satisfaz
(a) dist (x + z, y + z) = dist (x, y) para todos x, y, z X (invarincia por
translao);
(b) dist (x, y) = [[dist (x, y) (homotetia).
Reciprocamente, se dist for uma distncia que satisfaz essas propriedades,
mostre que dist gerada por uma norma.
6. Sejam X e Y espaos vetoriais e T: X Y uma aplicao linear. Mostre que
ker T = x X : Tx = 0 e imT = y Y : y = Tx
so subespaos de X e Y, respectivamente. Osubespao ker T o ncleo, enquanto
imT a imagem da aplicao T.
7. Mostre que | |

uma norma no espao B(X, K), introduzido no Exemplo 1.10.

8. Seja X um espao normado. Mostre que a bola aberta B
r
(x) um conjunto aberto.
Mostre que a bola fechada

B
r
(x) e a esfera S
r
(x) so conjuntos fechados.
9. Considere o produto cartesiano X Y de espaos normados. Mostre que U
X Y aberto se, e somente se, for a unio de conjuntos da forma V W,
com V X e W Y abertos. Conclua que as projees
1
: X Y X e

2
: X Y Y dadas por
1
(x, y) = x e
2
(x, y) = y so aplicaes abertas, isto
, as imagens
1
(U) e
2
(U) de todo conjunto aberto U X Y um conjunto
aberto. Generalize para o produto cartesiano de n espaos normados.
10. Demonstre a Proposio 1.12, o Corolrio 1.15 e a Proposio 1.23.
11. Sejam X um espao normado e U X um subconjunto arbitrrio. Mostre
que A U aberto em U se, e somente se, existir um aberto V X tal que
A = V U. Da mesma forma, mostre F U fechado em U, se e somente se,
existir um fechado H X tal que F = H U.
12. Seja A ,= um subconjunto do espao normado X e f : A Y uma aplicao
qualquer. Suponha que exista a A para o qual exista r > 0 tal que B
r
(a) A =
a. (Dizemos que a um ponto isolado do conjunto A.) Verique que f contnua
em a.
13. Explicite a argumentao apresentada na demonstrao do Corolrio 1.26.
14. Demonstre a Proposio 1.21.
14
Note que um espao mtrico no precisa ser um espao vetorial.
1.14. EXERCCIOS 29
15. Sejam X um espao normado e (x
n
), (y
n
) seqncias em X. Suponha que
lim
n
x
n
= x e lim
n
y
n
= y. Suponha tambm que (
n
), (
n
) sejam seqncias
de escalares tais que lim
n

n
= e lim
n

n
= . Mostre que
(a)

|x| |y|

|x y|;
(b) lim
n
(
n
x
n
+
n
y
n
) = x + y;
(c) lim
n
|x
n
| = |x|.
Conclua que so contnuas as aplicaes x |x|, (x, y) x + y X e
KX (, x) x X. (Os produtos cartesianos esto munidos da topologia
produto, como no Exemplo 1.47.)
16. Sejam X, Y, Z espaos normados e K Z um conjunto compacto. Dada uma
aplicao contnua f : X K Y e xado x
0
X, mostre que para todo > 0
existe > 0 tal que
x X, |x x
0
| < |f (x, t) f (x
0
, t)| < , t K.
17. Sejam X, Y espaos normados e f : A X Y uma aplicao. Mostre que f
uniformemente contnua se, e somente se,
(x
n
), (y
n
) em A, lim
n
(x
n
y
n
) = 0 lim
n
|f (x
n
) f (y
n
)| = 0.
18. Seja X um espao normado. Mostre:
(a) toda seqncia convergente em X de Cauchy;
(b) toda seqncia de Cauchy em X limitada;
(c) se uma seqncia de Cauchy admitir uma subseqncia convergente, ento
a prpria seqncia convergente, convergindo para o mesmo limite da
subsequncia.
19. Sejam | |
0
e | |
1
duas normas equivalentes no espao X. Mostre que um
conjunto aberto na norma | |
0
se, e somente se, for aberto na norma | |
1
.
20. Considere as normas | |, | |
s
e | |

denidas no Exemplo 1.47. Mostre que

vale
|(x, y)|

|(x, y)| |(x, y)|

s
2|(x, y)|

,
de modo que essas normas so equivalentes. Generalize para o produto
cartesiano de n espaos normados. Quaisquer normas em X
1
X
n
so
equivalentes?
21. Mostre que as normas | |, | |
s
e | |

, denidas no espao K
n
(veja o Exemplo
1.8), so todas equivalentes.
22. Demonstre o Teorema de Bolzano-Weierstra 1.48.
30 CAPTULO 1. ESPAOS NORMADOS
23. Sejam X um espao normado e A X um subconjunto no vazio. Mostre que
[dist (x
0
, A) dist (y
0
, A)[ |x
0
y
0
|
para quaisquer x
0
, y
0
X. Assim, a funo dist (, A) : X R
+
uniformemente
contnua.
24. SejamK, F X, emque X umespao normado, K umcompacto e F umfechado.
Dena dist (K, F) = inf
_
|k f | : k K, f F
_
. Mostre que, se K F = ,
ento dist (K, F) > 0. (Note que, em particular, podemos tomar K = x
0
, para
x
0
X.)
25. Sejam K, F X, em que X um espao normado de dimenso nita, K um
compacto e F um fechado. Mostre que existem k
0
K e f
0
F tais que
dist (K, F) = |k
0
f
0
|.
26. Seja X um espao normado de dimenso nita. Mostre que, para todo subespao
Y ,= X, existe x B
1
(0) tal que dist (x, Y) = 1.
27. D exemplo de um espao de Banach X que possui um subespao fechado Y de
modo que no exista x B
1
(0) X tal que dist (x, Y) = 1.
28. Considere o espao de Banach X = C
_
[0, 1], R
_
com a norma | |

. Seja A X
um conjunto convexo completo e = inf
aA
|a|. D exemplos de subconjuntos A,
tais que
(a) existem innitos pontos a A tais que |a|

= ;
(b) existe uma seqncia (a
n
) em A tal que |a
n
|

, mas nenhuma de suas

subsequncias de Cauchy;
(c) no existe a A tal que |a|

= .
29. Seja X um espao normado. Mostre que, se B
1
(0) no for compacta, ento B
r
(x)
no compacta para todo r > 0.
30. Mostre as equivalncias armadas na Observao 1.58.
31. Mostre que, em um espao normado de dimenso innita, conjuntos compactos
tm interior vazio.
32. Sejam X espao normado e A X um conjunto arbitrrio. Suponha que S A
seja denso em A e f : S Y uma aplicao uniformemente contnua, sendo Y
um espao de Banach. Mostre que existe uma nica extenso contnua F: A Y
de f , a qual uniformemente contnua. Se f : S Y for linear (isso implica que
S um subespao de A), mostre que F: A Y linear. Esse resultado, no caso
em que f linear, conhecido como Teorema da Extenso Limitada.
33. Seja X um espao normado de dimenso nita. Mostre que C X limitado se,
e somente se, toda seqncia em C possuir subseqncia convergente.
34. Mostre a existncia de um nico completamento de um espao normado X, no
seguinte sentido: se
_

X, T
_
e
_
X, S
_
so ambos completamentos de X, ento existe
um isomorsmo linear contnuo entre

X e X. Para isso, faa uso do Exerccio 32.
1.14. EXERCCIOS 31
35. Seja X ,= um conjunto qualquer e Y um espao de Banach. Dena, em analogia
ao espao B(X, K) apresentado no Exemplo 1.10, o espao B(X, Y) de todas
as aplicaes limitadas f : X Y. Mostre que esse um espao de Banach, ao
considerarmos a norma
|f |
sup
= sup
xX
|f (x)|.
36. Seja X um espao normado, S X um compacto e Y um espao de Banach.
Considere o espao vetorial
C(S, Y) = f : S Y : f contnua.
Mostre que C(S, Y) um subespao fechado do espao de Banach B(S, Y) e,
portanto, um espao de Banach.
37. Sejam X, Y espaos normados. Mostre:
(a) T
n
T em/(X, Y) implica T
n
x Tx para todo x X;
(b) se X tiver dimenso nita, ento T
n
x Tx para todo x X implica T
n
T
em/(X, Y);
(c) d um exemplo mostrando que, em espaos de dimenso innita, (b) pode
ser falso.
(d) Sejam X, Y, Z espaos normados. Se S /(Y, Z) e T /(X, Y), mostre que
S T = ST /(X, Z) e |ST| |S| |T|.
(e) Sejam X, Y, Z espaos normados, com Y, Z completos. Suponha que S
n
S
em/(X, Y) e T
n
T em/(Y, Z). Mostre que T
n
S
n
TS /(X, Z).
38. Sejam X, Y espaos normados e T /(X, Y). Suponha que X ,= 0. Mostre que
|T| = sup
|x|=1
|Tx| = sup
x,=0
|Tx|
|x|
.
39. Mostre que o espao C
L
1
_
[a, b], R
_
das funes contnuas f : [a, b] R com a
norma | |
L
1 no completo. Mostre tambm que C
L
2
_
[a, b], R
_
com a norma
| |
L
2 no completo.
40. Mostre que a norma | |
p
(do espao
p
) dene uma norma no espao K
n
. (Voc
consegue deduzir isso imediatamente do que j foi feito?) Obtenha relaes entre
as normas | |
p
(para diferentes valores de p) e as normas usuais do K
n
.
41. Mostre que
p
um subespao prprio de
q
, se 1 p < q .
42. Para x, y K, mostre a desigualdade [x + y[
p
2
p1
([x[
p
+[y[
p
).
43. Mostre que

completo.
44. Considere a sequncia f
n
: [0, 1] R denida por f
n
(x) = e
nx
. Determine
uma funo f : [0, 1] R tal que f
n
(x) f (x) para todo x [0, 1]. Essa
convergncia uniforme? Mostre que f
n
f na norma | |
L
2 . A funo f
pertence a L
2
_
[0, 1], R
_
?
32 CAPTULO 1. ESPAOS NORMADOS
45. Seja X umespao de Banach e f : X[a, b] R
n
uma aplicao contnua. Dena,
para todo x X,
(x) =
_
b
a
f (x, t)dt.
Mostre que contnua.
Denio 1.78 Sejam X, Y, Z espaos normados. Uma aplicao B: X Y Z bilinear
se ela for separadamente linear em cada uma de suas variveis. Mais precisamente, para todos
x, x
/
X, y, y
/
Y e R, vale:
(i) B(x + x
/
, y) = B(x, y) + B(x
/
, y);
(ii) B(x, y + y
/
) = B(x, y) + B(x, y
/
);
De maneira anloga dene-se uma aplicao n-linear.
46. Sejam X
1
, . . . , X
n
e Y espaos normados e T: X
1
X
n
Y uma aplicao
n-linear. Se (x
1
, . . . , x
n
) X
1
X
n
, mostre que so equivalentes as
propriedades:
(a) T contnua;
(b) T contnua na origem;
(c) sup
|x
1
|=...=|x
n
|=1,
|T(x
1
, . . . , x
n
)| = M < (T limitada);
(d) existe C > 0 tal que |T(x
1
, . . . , x
n
)| M[|x
1
| |x
n
|] para todo
(x
1
, . . . , x
n
) X
1
X
n
;
Conclua que tanto a funo determinante como a multiplicao de um vetor por
um escalar so aplicaes contnuas.
47. Sejam X, Y, Z espaos normados, com X e Y de dimenso nita. Mostre que
toda aplicao bilinear B: X Y Z contnua. Generalize para aplicaes
n-lineares.
Denio 1.79 Sejam X, Y, Z espaos normados. Denotamos por /(X, Y; Z) o espao de todas
as aplicaes bilineares e contnuas B: X Y Z. Em /(X, Y; Z) denimos
|B| = sup
|x|=|y|=1
|B(x, y)|,
de modo que
|B(x, y)| |B| |x| |y|, (x, y) X Y.
Se X = Y, usual denotar /(X, X; Z) por /
2
(X; Z).
48. Mostre que se Z for um espao de Banach, ento /(X, Y; Z) um espao
de Banach. Generalize a denio anterior e esse exerccio para o espao
/(X
1
, . . . , X
n
; Y) de todas as aplicaes n-lineares T: X
1
X
n
Y
contnuas.
1.14. EXERCCIOS 33
Denio 1.80 Sejam X um espao normado e F X. Uma cobertura aberta de F uma
coleo de conjuntos abertos A

: tal que
F
_

.
Uma subcobertura de F uma coleo A

:
/
,
/
,= tal que
F
_

/
A

.
Se o conjunto
/
tiver um nmero nito de elementos, dizemos que essa subcobertura nita.
O subconjunto F compacto (por coberturas), se toda cobertura aberta possuir
subcobertura nita. Ou seja,
F
_

F
m
_
i=1
A

i
,
i
.
49. Seja X um espao normado. Mostre que so equivalentes as seguintes armaes
sobre um subconjunto F X:
(a) F compacto (por coberturas);
(b) F (sequencialmente) compacto;
(c) F completo e totalmente limitado.
50. Seja X um espao normado. Mostre que so equivalentes as seguintes armaes
sobre um subconjunto F X:
(a)

F compacto (por coberturas);
(b) Toda seqncia de pontos em F possui uma subseqncia convergente;
(c) F totalmente limitado.
51. Sejam X um espao normado e A X. Suponha que, dado > 0, exista um
subconjunto totalmente limitado K X tal que dist (a, K) para todo a A.
Mostre que A totalmente limitado.
52. Seja 1 p < . Mostre que um subconjunto K
p
totalmente limitado se, e
somente se, K for limitado e, dado > 0, existir um subconjunto nito F N tal
que, para todo x K, valha
i,F
[x
i
[
p

p
.
Denio 1.81 Sejam X um espao normado e (x
n
) uma seqncia em X. A srie

i=1
x
i

convergente, se a seqncia de somas parciais s
n
=
n

i=1
x
i
convergir para x X.
Se a srie numrica

i=1
|x
i
| for convergente, dizemos que (x
n
) absolutamente
convergente.
53. Mostre que um espao normado X um espao de Banach se, e somente se, toda
srie absolutamente convergente for convergente.
34 CAPTULO 1. ESPAOS NORMADOS
54. Sejam : N N uma bijeo e

i=1
x
i
uma srie absolutamente convergente.
Dena y
i
= x
(i)
. Mostre que

i=1
y
n
absolutamente convergente e

i=1
y
i
=

i=1
x
i
, isto , a srie

i=1
comutativamente convergente.
55. (Lema da Contrao) Sejam X um espao de Banach, F X um fechado e
f : F F uma contrao, isto , uma aplicao satisfazendo
|f (x) f (y)| |x y| x, y F,
em que 0 < < 1 uma constante.
Mostre que f tem um nico ponto xo x

F (quer dizer, f (x

) = x

), que
obtido como limite da seqncia denida indutivamente por x
n+1
= f (x
n
) =
f
n
(x
0
), em que x
0
F um ponto arbitrrio e f
2
(x
0
) = f ( f (x
0
)), f
3
(x
0
) =
f ( f
2
(x
0
)) e f
n
(x
0
) = f ( f
n1
(x
0
)) para n 2, 3, . . ..
56. Seja I = [0, a] R, em que a > 0. Considere uma aplicao f : I R
n
R
n
satisfazendo
|f (t, x) f (t, y)| |x y| (t, x), (t, y) I R
n
,
em que > 0 uma constante. Mostre que o problema de valor inicial
x
/
= f (t, x), x(0) = x
0
R
n
possui uma nica soluo em I. Para isso:
(a) Mostre que a existncia de uma soluo do problema de valor inicial
equivalente existncia de uma soluo x C
_
I, R
n
_
da equao integral
x(t) = x
0
+
_
t
0
f (s, x(s))ds, t I.
(b) Denindo g como o lado direito da equao integral anterior, obtenha a
estimativa
|g(x) g(y)| a|x y|,
de modo que o Teorema do Ponto Fixo de Banach s pode ser aplicado de
ka < 1;
(c) Dena |x|

= max
I
_
|x(t)|e
t
_
, em que > 0 uma constante. Verique
que | |

dene uma norma equivalente norma | |.

(d) Verique a estimativa
|g(x)(t) g(y)(t)|

|x y|

e
t
.
(e) Conclua que |g(x) g(y)|

|x y|

e obtenha uma soluo da equao

integral aplicando o Teorema do Ponto Fixo de Banach.
REFERNCIAS BIBLIOGRFICAS
[1] N.I. Akhiezer e I.M. Glazman: Theory of Linear Operators in Hilbert Spaces,
Dover, New York, 1993.
[2] H.W. Alt: Lineare Funktionalanalysis, 2. Auage, Springer, Berlin, 1992.
[3] G. Bachman e L. Narici: Functional analysis, Academic Press, New York, 1966.
[4] H. Brezis: Analyse fonctionelle - thorie et applications, Masson, Paris, 1983.
[5] H.P. Bueno: lgebra Linear, um segundo curso, SBM, Rio de Janeiro, 2006.
[6] E.A. Coddington e N. Levinson: Theory of ordinary differential equations,
McGraw-Hill, New York, 1955.
[7] L. Debnath e P. Mikusi nski: Introduction to Hilbert spaces with applications,
Academic Press, Boston, 1990.
[8] K. Deimling: Nonlinear functional analysis, Springer-Verlag, Berlin, 1985.
[9] J. Dugundji: Topology, Allyn Bacon, Boston, 1966.
[10] D.G. de Figueiredo: Positive solutions of semilinear elliptic problems, Lecture Notes in
Mathematics 957 (1982), Springer-Verlag, Berlin, 34-87.
[11] L.C. Evans: Partial Differential Equations, Graduate Studies in Mathematics v. 19,
American Mathematical Society, Providence, Rhode Island, 1991.
[12] S. Goldberg: Unbounded Linear Operators, McGraw-Hill, New York, 1966.
[13] Halmos, Nave Set Theory. (CORRIGIR)
[14] G. Helmberg: Introduction to Spectral Theory in Hilbert Space, North-Holland,
Amsterdam, 1969.
[15] C.S. Hnig: Anlise Funcional e o Problema de Sturm-Liouville, Ed. Edgard
Blcher-Ed. da USP, So Paulo, 1978.
[16] C.S. Hnig: Anlise Funcional e Aplicaes, IME-USP, So Paulo, 1970.
[17] C. A. Isnard e B. F. Svaiter: On Zorns Lemma, Informes de Matemtica 146, Impa,
Rio de Janeiro, 1997.
[18] L. Jantscher: Hilbertrume, Akademische Verlagsgesellschaft, Wiesbaden, 1977.
35
36 REFERNCIAS BIBLIOGRFICAS
[19] A. N. Kolmogorov e S. V. Fomin: Elementos de la Teoria de Funciones y del
Analysis Funcional, Editorial Mir, Moscu, 1978.
[20] T.W. Krner: Fourier Analysis, Cambridge University Press, Cambridge, 1990.
[21] S. Lang: Real and Functional Analysis, 3rd. Edition, Springer-Verlag, New York,
1993.
[22] P.D. Lax: Linear Algebra, Wiley-Interscience Publication, New York, 1997.
[23] P.D. Lax: Functional Analysis, Wiley-Interscience Publication, New York, 2002.
[24] E.L. Lima: Anlise no Espao R
n
, Editora Universidade de Braslia/Editora Edgar
Blcher Ltda, 1970.
[25] E.L. Lima: Curso de Anlise, volume I, IMPA, Rio de Janeiro, 1976.
[26] E.L. Lima: Espaos Mtricos, IMPA, Rio de Janeiro, 1977.
[27] :M. Reed and B. Simon: Methods of Modern Mathematical Physics, v. 1, Academic
Press, New York, 1972.
[28] H. L. Royden: Real Analysis, 2nd. Edition, Macmillan Publishing Co., Inc., New
York, 1968.
[29] W. Rudin: Real and Complex Analysis, 3rd. Edition, McGraw-Hill International
Editions, New York, 1987.
[30] W. Rudin: Functional Analysis, 2nd. Edition, McGraw-Hill, New York, 1991.
[31] R. J. Santos: lgebra Linear e Aplicaes, Departamento de Matemtica da UFMG,
Belo Horizonte, 2004.
[32] R. J. Santos: Teorema de Aproximao de Weierstrass,
www.mat.ufmg.br/ regi/eqdif/teoaproximweierstrass.pdf
[33] I. Stakgold: Greens Functions and Boundary Value Problems, Wiley, New York,
1979.
[34] A.E. Taylor e Lay: Introduction to Functional Analysis xxxxxxxxxxxxxxxxxxxxxx
[35] J. Weidmann: Linear Operators in Hilbert Spaces, Springer-Verlag, New York,
1980.
[36] H.F. Weinberger: A rst course in partial differential equations with complex
variables and transform methods, Blaisdell, New York, 1965.
[37] A. Wilansky: Functional Analysis, Blaisdell, New York, 1964.
[38] R.L. Wheeden e A. Zygmund: Measure and Integral, Marcel Dekker, New York,
1977.
NDICE REMISSIVO
seqncia , 2
aplicao
aberta, 28
bilinear, 32
contnua, 6
contnua em um ponto, 6
uniformemente contnua, 8
aplicao linear
imagem de uma, 28
ncleo de uma, 28
base de um espao vetorial
cannica do K
n
, 2
de Hamel, 2
bola aberta
em um espao normado, 5
bola fechada
em um espao normado, 5
Cantor
mtodo diagonal de, 19
centro
de bolas e esferas, 5
cobertura aberta, 33
subcobertura, 33
nita, 33
conjunto
aberto, 5
aberto em um subconjunto, 6
compacto, 7
completo, 12
convexo, 24
de medida nula, 23
equicontnuo, 18
equicontnuo em um ponto, 18
fechado, 5
fechado em um subconjunto, 6
limitado, 4
linearmente independente, 2
relativamente compacto, 7
separvel, 6
totalmente limitado, 18
uniformemente equicontnuo, 18
contrao, 34
convergncia pontual, 9
convergncia uniforme, 9
norma da, 10
desigualdade
de Hlder, 24
de Minkowsky, 26
de Young, 24
triangular, 3
distncia
de um ponto a um conjunto, 16
esfera
em um espao normado, 5
espao
L
1
([a, b]), 23

p
, 24
das aplicaes lineares contnuas, 22
dual, 22
mtrico, 28
normado, 3
completamento, 20
espao complexo, 2
espao de Banach, 12
espao normado
bola aberta em um, 5
bola fechada em um, 5
completo, 12
conjunto aberto em um, 5
conjunto fechado em um, 5
conjunto limitado em um, 5
esfera em um, 5
espao real, 2
espao vetorial
base de um, 2
37
38 NDICE REMISSIVO
complexo, 2
de dimenso nita, 2
de dimenso innita, 2
real, 2
espaos vetoriais
isomorfos, 3
normados
homeomorsmo de, 13
expoentes conjugados, 24
funo
cncava, 24
convexa, 24
homeomorsmo, 13
imagem, 28
isomorsmo
entre espaos vetoriais, 3
lema
da contrao, 34
limite
de uma sequncia, 5
mtodo diagonal de Cantor, 19
ncleo, 28
norma, 3
da convergncia uniforme, 10
euclidiana, 3
induzida pela norma do K
n
, 4
normas
equivalentes, 14
habituais do K
n
, 3
habituais do espao de dimenso
nita X, 4
ponto isolado, 28
raio de bolas e esferas, 5
representao de um vetor em uma base, 4
srie
absolutamente convergente, 33
convergente, 33
sequncia
convergente, 5
de Cauchy, 11
limite de uma, 5
teorema
da extenso limitada, 30
de Bolzano-Weierstra, 15
de F. Riesz, 16
topologia produto, 14