CAPTULO 1

Espaos Normados

Em princpio, os espaos que consideraremos neste texto so espaos de funes.

Isso significa que quase todos os nossos exemplos sero espaos vetoriais de dimenso
infinita. Nesses espaos, muitas vezes a estrutura algbrica insuficiente para a
obteno de resultados fortes, sendo necessria a insero de uma estrutura topolgica.
Mas, ao contrrio do caso de espaos vetoriais de dimenso finita, no existe qualquer
isomorfismo 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.

Definio 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 finita de
vetores x1 , . . . , xr B e escalares 1 , . . . , r K, tais que

x = 1 x1 + . . . + r xr . (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 x1 , . . . , xr 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 finita, se existir uma base B com um nmero finito de
elementos ou se X = {0}. Caso contrrio, ele tem dimenso infinita.
Um espao vetorial X sobre o corpo R ser chamado de espao real; sobre o corpo C, de
espao complexo.
fcil verificar que, qualquer que seja o conjunto B 6= , < B > sempre um
espao vetorial. Quando B gera o espao X, o nmero r N de elementos xi 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 verificar que, no caso de um espao vetorial de dimenso finita X 6= {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 verificamos que um espao vetorial tem dimenso infinita
exibindo uma de suas bases. Na verdade, muito raramente podemos exibir uma base
de um espao X de dimenso infinita, se bem que todo espao vetorial possui uma
base (de Hamel): veja o Teorema ??. A maioria dos exemplos de base em espaos de
dimenso infinita ocorre em espaos de sequncias.1
Muitas vezes, para mostrarmos que um espao tem dimenso infinita, exibimos um
subespao que sabemos ter dimenso infinita. Para isso, frequentemente utilizamos os
subespaos que introduziremos nos Exemplos 1.5 e 1.6.

Exemplo 1.2 No espao Kn = {( x1 , . . . , xn ) : xi K} a base cannica formada pelos

vetores e1 = (1, 0, . . . , 0), e2 = (0, 1, 0, . . . , ), . . . , en = (0, . . . , 0, 1). O espao Kn um
espao vetorial de dimenso n sobre o corpo K. Usualmente denotaremos os elementos
de Kn por meio de matrizes coluna:

x1
x2

x = . = ( x1 x2 . . . x n )t .
..
xn

(Estamos denotando por xt 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 definies habituais da soma de funes e do
produto de funo por escalar. Esse espao tem dimenso infinita, se X for um conjunto
com infinitos elementos (veja o Exerccio 3). Em geral, no possvel exibir uma base
do espao { f : X R}, se X tiver infinitos elementos.

Exemplo 1.4 Seja ` o conjunto de todas as seqncias ( xn ) de elementos do corpo K.

Esse espao vetorial de dimenso infinita 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 xi .
1.2. ESPAOS NORMADOS 3

Exemplo 1.5 Seja K[t] o conjunto de todos os polinmios com coeficientes em K, na

incgnita t. Esse um espao vetorial de dimenso infinita com a soma de polinmios
e a multiplicao de um polinmio por um escalar definidas como habitualmente. Uma
base para K[t] dada por B = {1, t, t2 , . . . , tn , . . .}.

Exemplo 1.6 Seja `0 o subespao de ` (veja o Exemplo 1.4) formado por todas as
seqncias ( xi ) tais que xi = 0, exceto talvez para um nmero finito de ndices i.
Podemos exibir facilmente uma base do espao `0 : ela dada por {e1 , . . . , en , . . .}, em
que ei denota a seqncia cujos termos so todos iguais a 0, exceto o i-simo, que
igual a 1. Verifique que `0 isomorfo ao espao K[t], isto , existe uma bijeo linear
T : K[t] `0 .

1.2 Espaos Normados

Definio 1.7 Seja X um espao vetorial sobre o corpo K. Uma norma em X uma funo
k k : X R+ que satisfaz
(i ) k x k = 0 x = 0;
(ii ) kx k = || k x k para todo x X e todo K;
(iii ) k x + yk k x k + kyk para quaisquer x, y X (desigualdade triangular).
Um espao normado um espao vetorial X considerado com uma norma k k. Para
ressaltarmos
a norma k k utilizada no espao X, algumas vezes empregaremos a notao
X, k k .

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 Kn , se x = ( x1 , . . . , xn ), podemos considerar as normas

kxk = x1 x1 + . . . + xn xn ,
k x ks = | x1 | + . . . + | x n |,
k x k = max | xi |.
1i n

O conjugado do nmero complexo x est sendo denotado por x. (Se x for real, ento
x = x.) Nas normas k ks e k k , denotamos
o valor absoluto por | |. Lembramos
p
que, se K = C e z = x + iy, ento |z| = zz = x2 + y2 . Essas so as normas habituais
do Kn . Se n = 1, usual considerar a norma dada pelo valor absoluto: veja o Exerccio
4.
A norma k k chamada norma euclidiana no espao Kn . A verificao de que k k
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 k k uma norma arbitrria em Kn e B = { x1 , . . . , xn }
uma base de um espao de dimenso finita X. Para x = 1 x1 + . . . + n xn , definimos
I x = (1 . . . n )t Kn . fcil ver que I uma bijeo linear e que k x k X = kI x k
4 CAPTULO 1. ESPAOS NORMADOS

define uma norma em X, chamada norma induzida pela norma de Kn . usual denotar
(1 . . . n )t Kn por [ x ]B e chamar esse vetor de representao de x na base B .
Dessa forma, podemos imitar as normas habituais do espao Kn e considerar as
normas habituais k k, k ks e k k do espao de dimenso finita X (com respeito base
B ).
Observe que o Exemplo 1.8 mostra que todo espao vetorial de dimenso finita
torna-se um espao normado, uma vez fixada uma de suas bases.
Definio 1.9 Seja X um espao normado. Um subconjunto A limitado, se existir M > 0
tal que k ak M para todo a A.

Exemplo 1.10 Seja X 6= um conjunto arbitrrio. Defina

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) definimos
k f k = sup | f ( x )|.
xX

fcil verificar que k k 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:
k( xn )k = sup | xn |.
nN

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

infinita
C1 [ a, b], K = { f : [ a, b] K : f C1 }.
Uma vez que toda funo contnua definida em [ a, b] atinge mximo nesse conjunto
(veja, em caso de dvidas, o Corolrio 1.26), podemos considerar a norma
k f kC1 = max | f (t)| + max | f 0 (t)| = k f k + k f 0 k .
t[ a,b] t[ a,b]

Voc seria capaz de definir 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 k kC1 para esses espaos?)

usual denotar o espao C0 [ 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. Definimos a bola aberta Br ( x ), a bola
fechada Br ( x ) e a esfera Sr ( x ), respectivamente, por
Br ( x ) = {y X : ky x k < r }
Br ( x ) = { y X : k y x k r }
Sr ( x ) = { y X : k y x k = 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 Br ( 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 afirmativas:

(i ) uma unio arbitrria de conjuntos abertos um conjunto aberto;

(ii ) uma interseo finita de conjuntos abertos um conjunto aberto;
(iii ) uma unio finita 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.

Definio 1.13 Sejam X um espao normado e ( xn ) uma sequncia em X. Dizemos que a

sequncia ( xn ) converge a x X, ou que x o limite da sequncia ( xn ), denotado por xn x
ou lim xn = x, se, para todo e > 0 dado, existir n0 N tal que n n0 implica k xn x k < e.
n
Equivalentemente,
xn x k xn x k 0.
Assim, a convergncia
em um espao normado o mesmo que a convergncia da sequncia
numrica k xn x k .

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 ( xn ) de elementos de F possuir seu limite em F.

Demonstrao: Suponhamos que ( xn ) convirja para x 6 F. Como X \ F aberto, existe

r > 0 tal que Br ( x ) X \ F. Como ( xn ) converge para x, temos que xn Br ( x ) para n
suficientemente grande. Mas isso uma contradio, pois xn 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 Br ( x ) contm elementos de F para todo r > 0. Escolhendo
r = 1/n para todo natural n 1, construmos uma seqncia ( xn ) tal que xn x e
xn F. Mas, por hiptese, isso implica x F, contradizendo x X \ F. 2

Sejam X um espao normado e W um subconjunto qualquer. Definimos o fecho de

W como sendo o conjunto W caracterizado por

xW ( xn ) W : xn 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:

Definio 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 Br ( a) U A.
Um subconjunto F U fechado em U, se U \ F for um conjunto aberto em U.
fcil verificar 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)).

Definio 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

Definio 1.18 Sejam X, Y espaos normados e A 6= um subconjunto de X. Uma aplicao
f : A X Y contnua no ponto a A se, para todo e > 0 dado, existir > 0 tal que

xA e k x ak < k f ( x ) f ( a)k < e.

Quer dizer, dado e > 0, existe uma bola aberta B ( a) tal que f ( B ( a) A) Be ( 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 ( xk ) A com xk a satisfizer f ( xk ) f ( a).

Demonstrao: Dado e > 0, a continuidade de f em a garante a existncia de > 0

tal que f ( B ( a) A) Be ( f ( a)). Como xk a, existe n0 N tal que n n0
implica xn B ( a). Decorre da que f ( xk ) Be ( f ( a)) para todo n n0 , provando
que f ( xk ) f ( a). Reciprocamente, se f for descontnua no ponto a, existem e > 0 e
xn B1/n ( a) A tais que k f ( xn ) f ( a)k > e, para todo n N suficientemente grande.
A seqncia assim construda converge para a, mas f ( xn ) 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 e > 0 tal que
Be ( f ( x )) U. Como f contnua, existe > 0 tal que f ( B ( x ) A) Be ( 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 e > 0, considere o aberto U = Be ( f ( x )) Y. Como
1
f (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) Be ( f ( x )), mostrando a continuidade de f no ponto x A. Como esse
ponto arbitrrio, completamos a prova de (i ). Assim, as duas primeiras afirmaes
so equivalentes.
Tomando o complementar de A \ F, verificamos 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.

1
No caso especial
1
B Y for um conjunto
1
com um nico elemento x, denotamos
f ( B) = f { x } simplesmente por f ( 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

Definio 1.22 Seja X um espao normado. Um conjunto K X compacto,2 se toda
seqncia ( xn ) 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 ( xn ) K possui seu limite x em K. Mas, por
hiptese, existe uma subseqncia ( xn j ) tal que xn j y K. A unicidade do limite de
( xn ) garante que xn 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 ( xn ) K tal
2 Mais precisamente, estamos definindo o que um conjunto sequencialmente compacto. Veja a Definio
1.80 para a noo de compacto definida por meio de coberturas e o Exerccio 49 para a equivalncia entre
as duas definies.
8 CAPTULO 1. ESPAOS NORMADOS

que k xn k 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 (yk ) f (K ), para todo k N existe xk K tal que
f ( xk ) = yk . Como K compacto, a seqncia ( xk ) possui subseqncia convergente:
xk j x0 K. Em virtude do Teorema 1.19, temos que (yk j ) = ( f ( xk j )) converge para
f ( x0 ). 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 xm , x M K
tais que
f ( xm ) f ( x ) f ( x M ), x K.

Demonstrao: Como f (K ) limitado e fechado, os nmeros sup f ( x ) R e inf f ( x )

x K x K
R so atingidos em pontos x M K e xm K, respectivamente. 2

Em muitas situaes, consideramos a restrio de uma aplicao contnua a

um subconjunto compacto. Aplicaes contnuas definidas em compactos tem um
comportamento muito especial, como veremos.

Definio 1.27 Sejam X, Y espaos normados. Uma aplicao f : A X Y

uniformemente contnua no conjunto A se, para todo e > 0 dado, existir > 0 tal que

k x yk < k f ( x ) f (y)k < e, para quaisquer x, y A.

Se existir uma constante > 0 tal que k f ( x ) f (y)k k x yk, ento dizemos que f
lipschitziana com constante de Lipschitz .

Compare com a definio de continuidade da aplicao f : A Y, que se d numa

vizinhana de cada ponto x A: para cada e > 0 e x A, existe = ( x ) tal que
ky x k < e y A implicam k f (y) f ( x )k < e. A noo de continuidade uniforme
um conceito global, pois nos informa sobre o comportamento de f em todos os pontos
de A: para cada e > 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 k k : X R lipschitziana. De

fato,

k x k k y k k x y k.

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

e > 0 e pontos xn , yn A tais que k xn yn k < n1 e k f ( xn ) f (yn )k e. Passando a
uma subsequncia, se necessrio, podemos supor que xn x K, pois xn pertence ao
compacto K. Da, conclumos (para essa subsequncia) que yn x. A continuidade de
f no ponto x garante, ento, que (veja o Exemplo 1.28)


lim k f ( xn ) f (yn )k = lim f ( xn ) f (yn ) = k f ( x ) f ( x )k = 0,
n n

o que uma contradio com k f ( xn ) f (yn )k e 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.

Definio 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 e > 0, existe n0 N tal que

n n0 k f n ( x ) f ( x )k < e, x A.

A convergncia uniforme de uma seqncia de funes ser denotada por

f n f uniformemente ou fn f .

Na convergncia pontual, dado e > 0 e fixado x A, existe n0 N tal que n n0

implica k f n ( x ) f ( x )k < e. Mas esse valor de n0 pode depender do ponto x A. Essa
dependncia no existe no caso da convergncia uniforme. (Note que a convergncia
uniforme implica a convergncia pontual.)

R 6
f .t/C
fn.t/
f .t/

f .t/ 

-
a b R
Figura 1.1: Uma seqncia f n : [ a, b] R converge uniformemente para f : [ a, b] R
se, dado e > 0, existir n0 N tal que n n0 implica k f n (t) f (t)k < e para todo
t [ a, b].
10 CAPTULO 1. ESPAOS NORMADOS

Observe que as definies de convergncia pontual e uniforme utilizam apenas a

norma do espao Y. Uma vez que F = { f : A Y } um espao vetorial, natural
perguntar se podemos definir uma norma em F 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 k f k = sup | f (t)|.
t[ a,b]
Vale
fn f k f n f k 0,
pois k f n f k e se, e somente se, | f n (t) f (t)| e para todo t [ a, b]. Por esse
motivo, k k chamada norma da convergncia uniforme. Uma outra notao usual
para k k k ksup .

Exemplo 1.32 No mesmo espao C [ a, b], R tratado no Exemplo anterior, considere-
mos a questo: existe alguma norma k k nesse espao que produza a convergncia
pontual, isto , existe k k tal que

k fn f k 0 f n (t) f (t), t [ a, b] ?

Para responder a essa pergunta, consideremos [ a, b] = [0, 1] e a seqncia de

funes gn : [0, 1] R definida por

2n t, se 0 t 2n ,
gn ( t ) = 2 2 t, se 2n t 21n ,
n

0, nos demais casos.

gn.t/ 6

1 D
 D
 D
 D
 D
 D
 D
 D
 D
 D -
1 t
2n
Figura 1.2: A seqncia gn : [0, 1] R converge pontualmente para g 0.

Para todo t [0, 1] temos que gn (t) 0. De fato, se t > 0, temos que gn (t) = 0
sempre que 21n < t. Assim, gn (t) 0 para todo t > 0. Por outro lado, gn (0) = 0 para
todo n, o que completa a prova de nossa afirmao.
Consideremos ento essa norma arbitrria em C [0, 1], R . Como gn 6= 0 para todo
n N, temos k gn k = cn > 0. Definimos ento f n = gn /k gn k. A funo f n tem grfico
semelhante ao da funo gn , de modo que f n ( x ) 0 para todo x [0, 1]. Claramente
k f n k = 1, de modo que f n no converge
na norma k k para a funo 0. Isso mostra
que no existe uma norma k k 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 e > 0, tome n0 N tal que k f n ( x ) f ( x )k < e/3 para todo
n n0 e x A. Como f n contnua no ponto a A, existe > 0 tal que
e
xA e k x ak < k f n ( x ) f n ( a)k < .
3
Logo, se x A e k x ak < , vale

k f ( x ) f ( a)k k f ( x ) f n ( x )k + k f n ( x ) f n ( a)k + k f n ( a) f ( a)k

e e e
< + + = e,
3 3 3
desde que tomemos n n0 . 2

Exemplo 1.34 Considere a seqncia f n (t) = tn , 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

0, se t [0, 1);
f (t) =
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

Definio 1.35 Uma seqncia ( xn ) num espao normado X de Cauchy se, para todo e > 0
dado, existir n0 N tal que

m, n n0 k xm xn k < e.

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 ( xn ) A for uma seqncia de Cauchy, ( f ( xn )) Y
de Cauchy.

Demonstrao: Seja ( xn ) uma seqncia de Cauchy em A. Dado e > 0, o fato de

f ser uniformemente contnua garante a existncia de > 0 tal que, se x, y A e
k x yk < , ento k f ( x ) f (y)k < e. Como ( xn ) de Cauchy, existe n0 N tal que
m, n n0 implica k xm xn k < . Portanto,

n, m n0 k f ( xm ) f ( xn )k < e. 2
12 CAPTULO 1. ESPAOS NORMADOS

Definio 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 Rn com qualquer de suas normas habituais (introduzidas no Exemplo 1.8), verificamos
que esse espao completo, pois essas coordenadas tambm so seqncias de Cauchy.

2
A identificao de ( x, y) R com x + iy C nos permite concluir que C, | |
completo e, como no caso do Rn , vemos que Cn completo com qualquer das normas
do Exemplo 1.8. Assim, para todo n N, conclumos que Kn completo com qualquer de
suas normas habituais.

Observao 1.39 Considerando uma seqncia ( xn ) em Kn com uma norma arbitrria,

(ainda) no podemos concluir que cada uma das coordenadas de ( xn ) tambm uma
seqncia de Cauchy. Por esse motivo, o Exemplo 1.38 exige que a norma considerada
em Kn 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 ( xn ) F for uma seqncia de Cauchy, ( xn ) converge
para x0 X. Como F fechado, x0 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 k Tx k Mk x k para todo x X;

(ii ) T lipschitziana: k Tx Tyk Mk x yk;
(iii ) T contnua na origem;
(iv) T limitada: sup k Tx k = M < .
k x k1

Demonstrao: Como k Tx Tyk = k T ( x y)k Mk x yk, vemos que (i ) implica

(ii ). claro que (ii ) implica (iii ). Se T for contnua na origem, existe > 0 tal que
k Tyk 1, para kyk . Se k x k 1, ento kx k e, portanto, k T (x )k 1. Isso
garante que k Tx k (1/), provando (iv). Finalmente, se x 6= 0, ento x/k x k tem
norma 1 e, portanto, T ( x/k x k) M. Da segue-se que k Tx k Mk x k 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 definio 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. Definimos, para
p R[t],
k pk = sup | p(t)|.
t[0,1/2]

O Teorema Fundamental da lgebra garante que k k uma norma em R[t].

Definimos agora : (R[t], k k) (R, | |) por ( p) = p(1). Claramente linear.
Mas descontnua no polinmio p = 0. De fato, tomando e = 1, consideremos o
polinmio pn (t) = tn . (Compare com o Exemplo 1.34.) Claramente k pn 0k = 1/2n ,
enquanto |( pn ) 0| = 1 para todo n N.

Corolrio 1.44 Seja T : X Y uma aplicao linear sobrejetora. Ento, T um

homeomorfismo4 linear (isto , uma bijeo linear contnua com inversa contnua) se, e
somente se, existirem constantes > 0 e > 0 tais que

k x k k Tx k k x k.

Demonstrao: Se T for um homeomorfismo linear, existem > 0 e > 0 tais

que k Tx k k x k e k T 1 yk kyk. Mas Tx = y se, e somente se, x = T 1 y.
Assim, a ltima desigualdade o mesmo que k x k k Tx k, com = 1 . Reci-
procamente, a desigualdade k Tx k k x k garante que a aplicao linear T contnua.
Mas k x k k Tx k garante que T injetora. Como T sobrejetora, existe T 1 : Y X.
Assim, k x k k Tx k se, e somente se, k T 1 yk 1 kyk, 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 finita, B = { x1 , . . . , xn } uma base de

X e k k uma n
n em K . Consideremos, como no nExemplo 1.8, a aplicao
norma
I : X, k k X K , k k definida por I x = [ x ]B K , em que k k X denota a
norma
n por k k. A aplicao I um homeomorfismo linear entre os espaos
induzida
X, k k X e K , k k , pois kI x k = k x k 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 define, 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 significado da palavra isomorfismo 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 isomorfismo.
5 Note que conceitos como conjunto limitado, fechado, aplicao contnua etc, so todos dependentes

da topologia considerada.
14 CAPTULO 1. ESPAOS NORMADOS

Definio 1.46 Duas normas k k0 e k k1 num espao X so equivalentes, se a aplicao

identidade I : ( X, k k0 ) 7 ( X, k k1 ) for um homeomorfismo. Em outras palavras, quando
existirem constantes > 0 e > 0 de modo que

k x k0 < k x k1 k x k0 .

Resulta dessa definio que um conjunto aberto na topologia gerada pela norma
k k0 um conjunto aberto na topologia gerada pela norma k k1 , e vice-versa. Assim,
as duas topologias definem os mesmos conjuntos abertos. (Veja o Exerccio 19.)

Exemplo 1.47 Sejam X, Y espaos normados. fcil verificar que o produto cartesiano
X Y um espao vetorial. Podemos imitar as normas definidas no espao Kn (veja o
Exemplo 1.8) e introduzir diferentes normas em X Y. De fato,
q
k( x, y)k = k x k2 + k y k2 ,
k( x, y)ks = k x k + kyk,

k( x, y)k = max k x k, kyk ,

so normas em X Y, como verificamos facilmente. (A desigualdade triangular, no

caso da norma k k, 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

k( x, y)k k( x, y)k k( x, y)ks 2k( x, y)k ,

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 X1 Xn de n espaos
normados. Como consequncia, as normas habituais do espao Kn , definidas 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 finita. Se X tiver dimenso finita, 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 (zk ) C,
identificamos zk = ( xk , yk ). A seqncia real ( xk ) limitada6 e possui, portanto,
uma subseqncia convergente ( xk j ). Por sua vez, a subseqncia real (yk j ) tambm
limitada e possui, assim, uma subseqncia convergente (yk j ). Logo, (zk j ) =
` `
(( xk j , yk j )) uma subseqncia convergente. Escolhida uma base do espao de
` `
dimenso finita X, podemos generalizar esse resultado para X com qualquer 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.) Alm disso, conjuntos
limitados e fechados K X so compactos: dada uma seqncia ( xn ) em K, ela possui
uma subseqncia convergente ( xn j ). Como K fechado, xn j x K. Temos, assim:
Teorema 1.48 (Bolzano-Weierstra - Verso Preliminar)
Seja X um espao de dimenso finita 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 finita 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 finita so equivalentes.

Demonstrao: Seja k k uma norma arbitrria no espao X. Escolha uma base

B = { x1 , . . . , xn } em X e considere x = 1 x1 + . . . + n xn X. Como j vimos no
Exemplo 1.8, k x ks = in=1 |i | define uma norma em X.
Vamos mostrar que as normas k k e k ks so equivalentes. Temos que

n n n

k x k = i xi |i | k xi k max k xi k |i | = k x ks , (1.2)
i =1 i =1 1 i n i =1

em que = max k xi k. Essa desigualdade mostra que a aplicao identidade

1in
I : X, k ks X, k k contnua.
Resta mostrar que k x ks k x k para algum > 0. Suponhamos que essa
desigualdade no se verifique. Ento, para cada n N, poderamos encontrar
xn X tal que k xn ks > nk xn k e, definindo un = xn /k xn ks , teramos que (un ) uma
seqncia tal que kun ks = 1. De acordo com o Teorema de Bolzano-Weierstra (verso
preliminar), existiria uma subseqncia (un j ) que convergiria para u em X, k ks .
Como kun j ks = 1, teramos que kuks = 1. Por outro lado, com relao norma k k,
valeria kun k = k xn k/k xn ks < 1/n e, portanto,
1
k u k k u u n j k + k u n j k k u u n j ks + .
nj

O lado direito da desigualdade tende a zero quando j , o que implica que kuk = 0
e, portanto, u = 0. Isso uma contradio, pois kuks = 1. 2

Corolrio 1.51 Todo espao normado de dimenso finita completo.

Demonstrao: De fato, normas equivalentes geram as mesmas sequncias de Cauchy.
Assim, se xn x0 em uma norma, ento xn x0 na outra norma. Como j vimos que
Kn completo com qualquer norma das normas definidas no Exemplo 1.8, ele tambm
completo com uma norma arbitrria k k.
Tendo em vista o Exemplo 1.45, isso significa que ( X, k k X ) completo. Mas,
como todas as normas em X so equivalentes, o espao X completo com uma norma
arbitrria k k. 2
16 CAPTULO 1. ESPAOS NORMADOS

Corolrio 1.52 (Bolzano-Weierstra) Conjuntos limitados e fechados de um espao

normado de dimenso finita 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

infinita
no
so, necessariamente, compactos. Consideremos, por exemplo, o espao
C [0, 1], R com a norma k k , tal qual no Exemplo 1.31. A bola B1 (0) C [0, 1], R
um conjunto limitado e fechado, mas no compacto. Com efeito, considere a
n
seqncia ( f n ) B1 (0), em que f n (t) = t . Como a convergncia em C [0, 1], R
uniforme, o Teorema 1.33 garante que ( f n ) no possui subseqncia convergente.
Compare o que fizemos aqui com o Exemplo 1.32.

Corolrio 1.54 Sejam X, Y espaos normados sobre o corpo K. Se X tiver dimenso finita,
ento toda aplicao linear T : X Y contnua.

Demonstrao: Considere x = 1 x1 + . . . + n xn , em que { x1 , . . . , xn } uma base de X.

Ento
n n
k Tx k = |i k k xi k 1max
i n
k Txi k |i | = k x ks ,
i =1 i =1

em que = max1in k Txi k e k x ks = in=1

|i | uma norma em X. Como todas as
normas em X so equivalentes, o resultado est provado. 2

Definio 1.55 Seja X um espao normado e A X um subconjunto no vazio arbitrrio.

Definimos a distncia do ponto x0 X ao conjunto A, denotada dist ( x0 , A), por

dist ( x0 , A) = inf k x0 ak : a A .
a A

Teorema 1.56 (F. Riesz)

Seja Y X um subespao fechado de um espao normado X, com Y 6= X. Ento, dado
0 < e < 1, existe xe X, com k xe k = 1, tal que dist ( xe , Y ) > 1 e.

Demonstrao: Escolha arbitrariamente x X tal que x 6 Y. Seja = dist ( x, Y ).

De acordo com o Exerccio 24, temos > 0. Dado e > 0, escolha y0 Y tal que
k x y0 k (1 + e). Definimos ento

x y0
xe = .
k x y0 k

Vale k xe k = 1 e, para todo y Y,

y0 x 1

ky xe k = y + = y k x y k + y x
k x y0 k k x y0 k
0 0

> 1 e.
k x y0 k (1 + e )
1.11. O TEOREMA DE ARZEL-ASCOLI 17

(A primeira desigualdade conseqncia de yk x y0 k + y0 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 finita, ento podemos
tomar e = 0. Diferindo bastante de nossa concepo usual do espao Kn , o mesmo
pode no acontecer em um espao normado de dimenso infinita: dado um subespao
fechado Y de um espao de Banach X, pode no existir um ponto x B1 (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 finita.

Demonstrao: Suponhamos que X no tenha dimenso finita. Tome 0 < e < 1. A

aplicao do Teorema 1.56 garante ento a existncia de uma seqncia xn X, com
k xn k = 1 e k xn xm k > 1 e para m 6= n. De fato, escolha x1 com norma unitria
e, supondo escolhidos indutivamente x2 , . . . , xn , defina Y como o espao vetorial de
dimenso finita gerado por x1 , . . . , xn . Como Y fechado, podemos tomar um vetor
unitrio xn+1 X com dist ( xn+1 , Y ) > 1 e. Ento k xn+1 xm k dist ( xn+1 , Y ) >
1 e para m = 1, . . . , n. A seqncia assim escolhida limitada, mas no possui
subseqncia convergente.
Por outro lado, se dim X = 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, dim X <
;

(ii ) se r > 0, a bola Br (0) em X compacta se, e somente se, dim X < .

Uma conseqncia importante do Corolrio 1.57 que, em um espao de dimenso

infinita, 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 infinita 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 Banach7

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, definida por

v x ( f ) = f ( x ) satisfaz

k f gksup < kv x ( f ) v x ( g)k = k f ( x ) g( x )k < .

Definio 1.60 Um subconjunto A C(S, Y ) equicontnuo em um ponto x0 S se, dado

e > 0 existir > 0 tal que

x S, k x x0 k < k f ( x ) f ( x0 )k e, f A.
O subconjunto A equicontnuo, se for equicontnuo em cada um de seus pontos.
O conjunto A uniformemente equicontnuo se, dado e > 0, existir > 0 tal que

x, y S, k x yk < k f ( x ) f (y)k < e, f A.

Lema 1.61 Seja A C(S, Y ) um subconjunto equicontnuo. Ento A uniformemente

equicontnuo.

Demonstrao: Caso contrrio, existiriam e > 0, sequncias ( x j ), (y j ) S, com

k x j y j k 1/n e uma sequncia ( f j ) em A, tais que
k f j ( x j ) f j (y j )k e.
Como S compacto, passando a uma subsequncia, podemos supor que x j x0 e,
portanto, y j x0 . Mas ento

e k f j ( x j ) f j ( x0 )k + k f j ( x0 ) f j (y j )k,

o que contradiz a equicontinuidade de A no ponto x0 . (Note que no estamos supondo

que ( f j ) convirja!) 2

Definio 1.62 Um subconjunto A de um normado X totalmente limitado se, para todo

e > 0 dado, existirem pontos x1 , . . . , xm A tais que
m
[
A Be ( xi ).
i =1

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 e > 0 e uma seqncia ( xn ) em K com
k xi x j k e para i 6= 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 finito Fn T tal que

supy Fn k x yk < 1/n. Seja F = nN Fn . Ento F enumervel e denso em T. 2

Teorema 1.66 (Arzel-Ascoli)

Um subconjunto 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 definida 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 e > 0, existem funes f i tais que
ne
[
E Be/3 ( f i ).
i =1

Assim, para todo f E, existe i tal que

e
k f f i ksup <
3
e, para todos x, x0 S, temos

| f ( x ) f ( x0 )| | f ( x ) f i ( x )| + | f i ( x ) f i ( x0 )| + | f i ( x0 ) f ( x0 )|
e
2 + max | f i ( x ) f i ( x0 )|.
3 1 i n e

Como cada funo f i uniformemente contnua, existe > 0 tal que k x x0 k <
implica k f i ( x ) f i ( x0 )k < e/3 para todo 1 i ne , o que garante que E
equicontnuo.
Reciprocamente, seja R1 = { f 11 , f 12 , . . . , f 1n , . . .} uma sequncia arbitrria em E.
De acordo com o Lema 1.65, existe um conjunto D = { x1 , . . . , xn , . . .} S denso
em S. Por hiptese, o conjunto R1 ( x1 ) = { f 11 ( x1 ), . . . , f 1n ( x1 ), . . .} relativamente
compacto em Y. Assim, existe uma subseqncia R2 = { f 21 , f 22 , . . . , f 2n , . . .} de
R1 tal que ( f 2n ( x1 )) converge em Y. Consideremos ento a seqncia R2 ( x2 ) =
{ f 21 ( x2 ), f 22 ( x2 ), . . . , f 2n ( x2 ), . . .}. Como antes, nossa hiptese garante a existncia
de uma subseqncia R3 = { f 31 , . . . , f 3n , . . .} de R2 tal que ( f 3n ( x2 )) converge.
Continuando dessa maneira, obtemos, para todo k N, uma subsequncia Rk de Rk1
tal que ( f kn ( xk1 )) converge em Y. Definimos 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 e > 0, queremos mostrar a existncia de n0 N
tal que k f m f n ksup e para quaisquer m, n n0 . Seja y S arbitrrio.
De acordo com o Lema 1.61, ( f k ) uniformemente equicontnua em S. Assim, existe
> 0 tal que

x, y S, ky x k < k f (y) f ( x )k < e/3, f E.

20 CAPTULO 1. ESPAOS NORMADOS

Tome x D tal que k x yk < . Como ( f k ( x )) de Cauchy, existe n0 tal que

m, n n0 k f m ( x ) f n ( x )k < e/3.

Logo,

k f m (y) f n (y)k k f m (y) f m ( x )k + k f m ( x ) f n ( x )k + k f n ( x ) f n (y)k

e e e
< + + = e.
3 3 3
Consequentemente,

k f m f n ksup = sup k f m (y) f n (y)k e,

yS

como queramos demonstrar. 2

Corolrio 1.67 Se dim Y < , ento E C(S, Y ) relativamente compacto se, e somente se,
E for equicontnuo e limitado.

Demonstrao: A afirmao 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

Definio 1.68 Seja X, k k um espao normado. Definimos o completamento X, e T de

e k k0 e uma aplicao linear
X como um par consistindo de um espao de Banach X,

e
T: X X

que preserva a norma, isto ,

k Tx k0 = k x k, x X,
e
e tal que T ( X ) denso em X.

Teorema 1.69 Todo espao normado ( X, k k) 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
definidos! Para defini-los, temos que considerar uma seqncia de Cauchy como algo
intrinsecamente ligado ao ponto para o qual ela vai convergir. Mas isto coloca um outro
problema, de fcil resoluo: podemos ter duas seqncias convergindo para o mesmo
ponto! Igualamos estas seqncias ao definirmos 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: Definimos

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

Em X , consideramos a relao de equivalncia:

( x j ) (y j ) lim k x j y j k = 0.
j

(No contexto da Anlise Matemtica, usual denotar a relao por =).

Tomamos ento o espao quociente X e = X /. Em outras palavras, consideramos

a partio de X gerada por essa relao de equivalncia. Denotamos por [ ] a classe
de equivalncia de = ( xk ). Assim, se (yk ) e (zk ) so dois representantes da classe
[ ], ento limk kyk zk k = 0. O conjunto X e o conjunto das classes de equivalncia
(disjuntas) de X .
e se ( x j ) e (y j ) so representantes de [ ] e [ ], respectivamente, definimos
Em X,

[ ] + [ ] = [ x j + y j ] e c[ ] = [cx j ].

e um espao
fcil verificar que essas operaes esto bem definidas e que, com elas, X
vetorial.
O espao X e torna-se um espao normado ao definirmos

[ ] = lim k x j k. (1.3)
0 j

Como a aplicao k k : X R uniformemente contnua (veja o Exemplo 1.28), a

Proposio 1.36 garante que (k x j k) uma seqncia de Cauchy em R. Portanto, o

limite em (1.3) existe. fcil verificar que [ ]0 independe do representante escolhido
de [ ]; assim, k k0 est bem definida. claro que k k0 define uma norma em X. e
Seja T : X X e definida por Tx = [( x )], em que ( x ) designa a seqncia cujos
termos so todos iguais a x. A aplicao T linear e preserva normas. Afirmamos que
T ( X ) denso em X. e De fato, seja [ ] X
e e ( xn ) um representante de [ ]. Como ( xn )
de Cauchy, dado e > 0, existe n0 tal que k xn xn0 k < e, para todo n n0 . Assim,

[ ] Txn = [ xn xn ] = lim k xn xn k e,
0 0 0 0 0
n

provando o afirmado.
Resta provar que X e completo. Para isto, dado e > 0, consideremos uma seqncia
de Cauchy ([ ]n ) de elementos de X. e Fixado n, cada elemento [ ]n representado por
n
uma seqncia de Cauchy ( xi ) de elementos de X e, para este valor de n, existe yn X

tal que [ ]n Tyn 0 < e/3,pois T ( X ) denso em X. e Afirmamos que a seqncia (yn )
assim formada uma seqncia de Cauchy em X. De fato, temos

kyn ym k = k Tyn Tym k0 Tyn [ ]n 0 + [ ]n [ ]m 0 + [ ]m Tym 0 .

Como ([ ]n ) de Cauchy, existe n0 tal que m, n n0 implica [ ]n [ ]m 0 < e/3. Da
segue-se o afirmado.
Seja = (yn ). Afirmamos que ([ ]n ) converge a [ ] em ( X, e k k0 ). De fato, dado
> 0, temos
[ ]n [ ] = [ ]n Tyn ,
0 0
22 CAPTULO 1. ESPAOS NORMADOS

que tende a zero quando n tende a infinito. 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 dificuldade na utilizao do Teorema 1.69 na construo dos
espaos L p consiste em identificar 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 L( X, Y ) o espao das aplicaes
lineares contnuas de X para Y. Nesse conjunto, dado T L( X, Y ), definimos

k T k = sup k Tx k.
k x k=1

Assim, como conseqncia da prova do Teorema 1.41, temos que k Tx k k T k k x k para

todo x X.
Verifica-se facilmente que L( X, Y ) um espao normado. Denotamos por X 0 =
L( X, K) o espao dual 8 de X e L( X, X ) por L( X ).
Afirmamos que, se Y for um espao completo, ento L( X, Y ) um espao de
Banach.
Com efeito, consideremos uma seqncia de Cauchy ( Tn ) em L( X, Y ). Logo, dado
e > 0, existe n0 tal que m, n n0 implica k Tn Tm k e. Da segue-se que, para todo
x X,
k Tn x Tm x k = k( Tn Tm ) x k k Tn Tm k k x k,

mostrando que ( Tn x ) uma seqncia de Cauchy no espao completo Y. Assim, est

bem definido limn Tn x.
Definimos, para todo x X, T : X Y por Tx = limn Tn x. Vamos mostrar
que T L( X, Y ). A linearidade de T decorre de propriedades do limite. Portanto,
para garantir que T L( X, Y ), basta provar que T limitada. Como ( Tn ) de Cauchy,
existe M tal que k Tn k M para todo n. Da segue-se que k Tn x k Mk x k. Tomando o
limite quando n nessa desigualdade, conclumos que k Tx k M k x k.
Agora vamos mostrar que Tn T em L( X, Y ), isto , que k Tn T k 0 quando
n . Dado e > 0 e escolhido n0 como acima, temos k Tn x Tm x k ek x k
para m, n n0 . Tomando o limite quando n nessa ltima desigualdade, vem
k Tx Tm x k ek x k. Assim, para todo m > n0 temos k T Tm k e, completando a
demonstrao de nossa afirmao.

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, definimos a norma9
Z b
k f k L1 = | f ( x )|dx.
a

Denotamos por CL1 [ a, b], K o espao vetorial C [ a, b], K com a norma k k L1 .
Uma vez que esse espao no completo (veja o Exerccio 39), consideramos o seu
completamento com a norma k k L1 . Esse espao completo ser denotado por L1 [ a, b]
ou, simplesmente, L1 .
Pode-se mostrar que o conjunto L1 constitudo por (classes de equivalncia) de
funes f : [ a, b] K, com a identificao 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 L1 que podemos integrar explicitamente so basicamente aquelas que integrvamos
nos cursos de Clculo.11 A importncia do espao L1 deve-se riqueza de suas opera-
es com limites, apresentadas em um curso de integrao.
Uma vez construdo o espao L1 , podemos construir outros espaos por meio de
uma modificao da norma k k L1 .
Seja 1 < p < . Para f C [ a, b], K , definimos
Z b
1/p
p
k f kLp = | f ( x )| dx .
a

Definimos tambm
k f k L = k f k = sup | f ( x )|.
x [ a,b]

A desigualdade triangular no caso de k k L p conhecida como desigualdade de

Minkowsky e ser provada no Teorema 1.74. Como consequncia, k k L p uma norma,
se 1 p < .
Com a norma k k L p e 1 p < , denotamos o espao vetorial C [ a, b], K por

CL 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 .
9A integral denota a integral de Riemann dos cursos de Clculo.
10 Um conjunto U [ a, b] tem medida nula se, dado e > 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 e. O exemplo bsico o conjunto Q dos racionais em [0, 1]: tome uma enumerao
{q1 , . . . , qn , . . .} desses racionais, considere os intervalos (qi e/2i , qi + e/2i ), que cobrem Q. A soma total
dos comprimentos desses intervalos justamente e, 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 L1 . Assim, duas funes em L p so iguais

se diferem apenas em um conjunto
de medida nula.
A definio 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 k k L . (Justifique!)
1.13.3 Espaos de Sequncias
Consideremos o espao ` de todas as seqncias em K, introduzido no Exemplo
1.4. Em ` definimos !1/p

k( xn )k p = | xn | p ,
n =1

em que 1 p < .
Denotamos por ` p o conjunto de todas as seqncias ( xn ) tais que k( xn )k p < .
Considerando tambm o espao ` , definido no exemplo 1.10, obtemos os conjuntos
` p , 1 p . Veremos que os conjuntos ` p so espaos de Banach. (A demonstrao
de que k k p uma norma decorre do Teorema 1.74.)
1.13.4 As Desigualdades de Hlder e Minkowsky
Definio 1.70 Dado 1 p , denotaremos por p0 o elemento de [1, ] tal que

1 1
+ 0 = 1.
p p

Dizemos ento que p e p0 so expoentes conjugados.

Lema 1.71 (Desigualdade de Young)

Suponha que 1 < p < . Ento, para quaisquer a, b 0, vale:

1 p 1 0
ab a + 0 bp .
p p

Demonstrao: Basta considerar o caso a > 0 e b > 0. Usando a concavidade da funo

logaritmo,12 obtemos

1 p 1 p0 1 p 1 p0
ln( ab) = ln a + ln b = ln a + 0 ln b ln a + 0b .
p p p p

O resultado obtido ao se tomar a exponencial em ambos os lados da desigualdade.

2

Teorema 1.72 (Desigualdade de Hlder)

Considere expoentes conjugados p, p0 [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 verifica, dizemos que a funo cncava. Verifique que a funo logaritmo
ln : (0, ) R cncava!
1.13. EXEMPLOS DE ESPAOS DE BANACH 25

0
(i ) se x = ( xn ) ` p e y = (yn ) ` p e 1 < p < , ento
!1/p !1/p0

p p0
| xn yn | | xn | |yn |
n =1 n =1 n =1

e, se p = 1, !

| xn yn | | xn | sup |yn |.
n =1 n =1 nN

(ii ) Dados f , g C [ a, b], K , ento k f gk L1 k f k L p k gk L p0 , isto ,
se 1 < p < ,
Z b Z b
1/p Z b
1/p0
p p0
| f ( x ) g( x )|dx | f ( x )| dx | g( x )| dx
a a a

se p = 1, Z
Z b b
| f ( x ) g( x )|dx | f ( x )|dx sup | g( x )|.
a a x [ a,b]

Demonstrao: (i ) O caso p = 1 evidente. Da mesma forma, podemos supor x 6= 0 e

y 6= 0. Aplicando a desigualdade de Young aos pares

| xn | |yn |
an = e bn = (n = 1, . . . , n)
kxk p k y k p0

obtemos 0
| xn yn | 1 | xn | p 1 |yn | p
p + 0 .
k x k p k y k p0 p kxk p p k x k p00
p

Somando membro a membro todas as desigualdades obtidas, vem

| xn yn | 1 1 0 1 1
k x k p k y k p0 p k x k p | xn | p + p0 | xn | p = + 0 = 1,
n =1 p n =1 p k x k p 0 n =1 p p

seguindo-se da o afirmado.
(ii ) O resultado evidente para p = 1 ou p = . Para 1 < p < , o resultado
claramente vlido se f 0 ou g 0. Defina ento

| f ( x )| | g( x )|
a( x ) = e b( x ) = .
k f kLp k f k L p0

Aplicando a desigualdade de Young, segue-se da que

0
| f ( x ) g( x )| 1 | f ( x )| p 1 | g( x )| p
p + 0 .
k f k L p k g k L p0 p k f kLp p k g k p0 0
p L

Integrando essa desigualdade em [ a, b] obtemos, como antes, o resultado. 2

26 CAPTULO 1. ESPAOS NORMADOS

Observao
p
1.73 No caso 1 < p < , a demonstrao apresentada continua vlida no
espao L [ a, b], K .

Teorema 1.74 (Desigualdade de Minkowsky)

Sejam p [1, ] e p0 seu expoente conjugado. Ento

(i ) Para quaisquer x, y ` p , temos k x + yk p k x k p + kyk p ;

(ii ) Para quaisquer f , g C [ a, b], K , temos k f + gk L p k f k L p + k gk L p .

Em particular, k k p e k k 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 , afirmamos inicialmente que x + y ` p . De fato, se x = ( xn ) e y = (yn ), vale
para todo n que13 | xn + yn | 2 max{| xn |, |yn |} e, portanto,
| xn + yn | p 2 p max{| xn | p , |yn | p } 2 p (| xn | p + |yn | p ).

Assim, !

| xn + yn | p 2 p | xn | p + |yn | p < . (1.4)
n =1 n =1 n =1

Temos ento

| xn + yn | p = | x n + y n | p 1 | x n + y n |
n =1 n =1

| x n + y n | p 1 | x n | + | x n + y n | p 1 | y n |
n =1 n =1
! 10 ! 1p
p
( p 1) p 0 p
| xn + yn | | xn |
n =1 n =1
! 10 ! 1p
p
( p 1) p 0
+ | xn + yn | |yn | p
n =1 n =1
!1 1p

= | xn + yn | p (k x k p + kyk p ). (1.5)
n =1

Note que a ltima igualdade, na qual usada a relao ( p 1) p0 = p, justifica a

aplicao da desigualdade de Hlder.
Logo, cancelando p
n=1 | xn + yn | em ambos os lados da desigualdade (1.5),
provamos a desigualdade de Minkowsky; a verificao de que k k p define uma norma
, ento, imediata.
(ii ) A prova anloga. 2

Observao 1.75 A demonstrao apresentada da desigualdade de Minkowsky no

espao CL 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 ( xm ) uma seqncia de Cauchy em ` p , com xm =

( xm1 , xm2 , . . . , xmi , . . .). Para todo i N temos
p
| xmi xni | p k xm xn k p ,

o que garante que ( xmi )mN uma seqncia de Cauchy em K. Assim, para cada i N,
existe ai = lim xni . Dado e > 0, tome n0 N tal que k xm xn k p < e para quaisquer
n
m, n n0 . Suponhamos p [1, ). Temos ento, para qualquer k N fixo e m, n n0
temos
k
|xmi xni | p < e p .
i =1

Se k e n n0 so mantidos fixos, tomando o limite com m na desigualdade acima,

obtemos que
k
|ai xni | p e p .
i =1

Fazendo agora k , obtemos

|ai xni | p e p (1.6)
i =1

para todo n n0 . Isso garante que a xn ` p se n n0 . Mas ento a = ( a xn ) + xn

` p . Uma vez que (1.6) significa que a = lim xn em ` p , mostramos que esse espao
n
completo.
A demonstrao, no caso de p = , o Exerccio 43. 2

Note que, por definio, 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 infinita,

mostre que X tem dimenso infinita.

3. Seja X um conjunto no vazio qualquer. Mostre que { f : X K} um espao

vetorial de dimenso infinita se, e somente se, X for um conjunto com infinitos
elementos.

4. Seja k k uma norma em K. Mostre que existe k > 0 tal que k k = k| |, isto ,
toda norma em K um mltiplo positivo do valor absoluto.

Definio 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) = k x yk define 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. O subespao ker T o ncleo, enquanto

imT a imagem da aplicao T.

7. Mostre que k k uma norma no espao B( X, K), introduzido no Exemplo 1.10.

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

Mostre que a bola fechada Br ( x ) e a esfera Sr ( 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 6= 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 Br ( a) A =
{ a}. (Dizemos que a um ponto isolado do conjunto A.) Verifique 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 ( xn ), (yn ) seqncias em X. Suponha que

lim xn = x e lim yn = y. Suponha tambm que (n ), ( n ) sejam seqncias
n n
de escalares tais que lim n = e lim n = . Mostre que
n n

(a) k x k kyk k x yk;
(b) lim (n xn + n yn ) = x + y;
n
(c) lim k xn k = k x k.
n

Conclua que so contnuas as aplicaes x 7 k x k, ( x, y) 7 x + y X e

K X 3 (, x ) 7 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 fixado x0 X, mostre que para todo e > 0
existe > 0 tal que

x X, k x x0 k < k f ( x, t) f ( x0 , t)k < e, t K.

17. Sejam X, Y espaos normados e f : A X Y uma aplicao. Mostre que f

uniformemente contnua se, e somente se,

( xn ), (yn ) em A, lim ( xn yn ) = 0 lim k f ( xn ) f (yn )k = 0.

n n

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 k k0 e k k1 duas normas equivalentes no espao X. Mostre que um

conjunto aberto na norma k k0 se, e somente se, for aberto na norma k k1 .

20. Considere as normas k k, k ks e k k definidas no Exemplo 1.47. Mostre que

vale
k( x, y)k k( x, y)k k( x, y)ks 2k( x, y)k ,
de modo que essas normas so equivalentes. Generalize para o produto
cartesiano de n espaos normados. Quaisquer normas em X1 Xn so
equivalentes?

21. Mostre que as normas k k, k ks e k k , definidas no espao Kn (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 ( x0 , A) dist (y0 , A)| k x0 y0 k

para quaisquer x0 , y0 X. Assim, a funo dist (, A) : X R+ uniformemente

contnua.

24. Sejam K, F X, em que X um espao normado, Kum compacto e F um fechado.

Defina dist (K, F ) = inf kk f k : k K, f F . Mostre que, se K F = ,
ento dist (K, F ) > 0. (Note que, em particular, podemos tomar K = { x0 }, para
x0 X.)

25. Sejam K, F X, em que X um espao normado de dimenso finita, K um

compacto e F um fechado. Mostre que existem k0 K e f 0 F tais que
dist (K, F ) = kk0 f 0 k.

26. Seja X um espao normado de dimenso finita. Mostre que, para todo subespao
Y 6= X, existe x B1 (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 B1 (0) X tal que dist ( x, Y ) = 1.

28. Considere o espao de Banach X = C [0, 1], R com a norma k k . Seja A X
um conjunto convexo completo e = inf k ak. D exemplos de subconjuntos A,
a A
tais que

(a) existem infinitos pontos a A tais que k ak = ;

(b) existe uma seqncia ( an ) em A tal que k an k , mas nenhuma de suas
subsequncias de Cauchy;
(c) no existe a A tal que k ak = .

29. Seja X um espao normado. Mostre que, se B1 (0) no for compacta, ento Br ( x )
no compacta para todo r > 0.

30. Mostre as equivalncias afirmadas na Observao 1.58.

31. Mostre que, em um espao normado de dimenso infinita, 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 finita. 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
e
seguinte sentido: se X, T e X, S so ambos completamentos de X, ento existe
um isomorfismo linear contnuo entre Xe e X. Para isso, faa uso do Exerccio 32.
1.14. EXERCCIOS 31

35. Seja X 6= um conjunto qualquer e Y um espao de Banach. Defina, 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
k f ksup = sup k f ( x )k.
xX

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) Tn T em L( X, Y ) implica Tn x Tx para todo x X;

(b) se X tiver dimenso finita, ento Tn x Tx para todo x X implica Tn T
em L( X, Y );
(c) d um exemplo mostrando que, em espaos de dimenso infinita, (b) pode
ser falso.
(d) Sejam X, Y, Z espaos normados. Se S L(Y, Z ) e T L( X, Y ), mostre que
S T = ST L( X, Z ) e kST k kSk k T k.
(e) Sejam X, Y, Z espaos normados, com Y, Z completos. Suponha que Sn S
em L( X, Y ) e Tn T em L(Y, Z ). Mostre que Tn Sn TS L( X, Z ).

38. Sejam X, Y espaos normados e T L( X, Y ). Suponha que X 6= {0}. Mostre que

k Tx k
k T k = sup k Tx k = sup .
k x k=1 x 6 =0 kxk

39. Mostre que o espao CL1 [ a, b], R das funes contnuas f : [ a, b] R com a

norma k k L1 no completo. Mostre tambm que CL2 [ a, b], R com a norma
k k L2 no completo.

40. Mostre que a norma k k p (do espao ` p ) define uma norma no espao Kn . (Voc
consegue deduzir isso imediatamente do que j foi feito?) Obtenha relaes entre
as normas k k p (para diferentes valores de p) e as normas usuais do Kn .

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 definida por f n ( x ) = enx . 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 k k L2 . A funo f
pertence a L2 [0, 1], R ?
32 CAPTULO 1. ESPAOS NORMADOS

45. Seja X um espao de Banach e f : X [ a, b] Rn uma aplicao contnua. Defina,

para todo x X,
Z b
( x ) = f ( x, t)dt.
a

Mostre que contnua.

Definio 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 0 X, y, y0 Y e R, vale:

(i ) B( x + x 0 , y) = B( x, y) + B( x 0 , y);

(ii ) B( x, y + y0 ) = B( x, y) + B( x, y0 );

De maneira anloga define-se uma aplicao n-linear.

46. Sejam X1 , . . . , Xn e Y espaos normados e T : X1 Xn Y uma aplicao

n-linear. Se ( x1 , . . . , xn ) X1 Xn , mostre que so equivalentes as
propriedades:

(a) T contnua;
(b) T contnua na origem;
(c) sup k T ( x1 , . . . , xn )k = M < (T limitada);
k x1 k=...=k xn k=1,

(d) existe C > 0 tal que k T ( x1 , . . . , xn )k M[k x1 k k xn k] para todo

( x 1 , . . . , x n ) X1 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 finita. Mostre que

toda aplicao bilinear B : X Y Z contnua. Generalize para aplicaes
n-lineares.

Definio 1.79 Sejam X, Y, Z espaos normados. Denotamos por L( X, Y; Z ) o espao de todas

as aplicaes bilineares e contnuas B : X Y Z. Em L( X, Y; Z ) definimos

k Bk = sup k B( x, y)k,
k x k=kyk=1

de modo que
k B( x, y)k k Bk k x k kyk, ( x, y) X Y.
Se X = Y, usual denotar L( X, X; Z ) por L2 ( X; Z ).

48. Mostre que se Z for um espao de Banach, ento L( X, Y; Z ) um espao

de Banach. Generalize a definio anterior e esse exerccio para o espao
L( X1 , . . . , Xn ; Y ) de todas as aplicaes n-lineares T : X1 Xn Y
contnuas.
1.14. EXERCCIOS 33

Definio 1.80 Sejam X um espao normado e F X. Uma cobertura aberta de F uma

coleo de conjuntos abertos { A : } tal que
[
F A .

Uma subcobertura de F uma coleo { A : 0 , 0 6= } tal que

[
F A .
0

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

[ m
[
F A F Ai , i .
i =1

49. Seja X um espao normado. Mostre que so equivalentes as seguintes afirmaes

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 afirmaes

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 e > 0, exista um

subconjunto totalmente limitado K X tal que dist ( a, K ) e 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 e > 0, existir um subconjunto finito F N tal
que, para todo x K, valha i6 F | xi | p e p .

Definio 1.81 Sejam X um espao normado e ( xn ) uma seqncia em X. A srie xi
i =1
n
convergente, se a seqncia de somas parciais sn = xi convergir para x X.
i =1

Se a srie numrica k xi k for convergente, dizemos que ( xn ) absolutamente
i =1
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 xi uma srie absolutamente convergente.

Defina yi = x(i) . Mostre que i=1 yn absolutamente convergente e i=1 yi =
i=1 xi , 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

k f ( x ) f (y)k k x yk x, y F,

em que 0 < < 1 uma constante.

Mostre que f tem um nico ponto fixo x F (quer dizer, f ( x ) = x ), que
obtido como limite da seqncia definida indutivamente por xn+1 = f ( xn ) =
f n ( x0 ), em que x0 F um ponto arbitrrio e f 2 ( x0 ) = f ( f ( x0 )), f 3 ( x0 ) =
f ( f 2 ( x0 )) e f n ( x0 ) = f ( f n1 ( x0 )) para n {2, 3, . . .}.

56. Seja I = [0, a] R, em que a > 0. Considere uma aplicao f : I Rn Rn

satisfazendo

k f (t, x ) f (t, y)k k x yk (t, x ), (t, y) I Rn ,

em que > 0 uma constante. Mostre que o problema de valor inicial

x 0 = f (t, x ), x (0) = x0 Rn

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, Rn da equao integral
Z t
x ( t ) = x0 + f (s, x (s))ds, t I.
0

(b) Definindo g como o lado direito da equao integral anterior, obtenha a

estimativa
k g( x ) g(y)k ak x yk,
de modo que o Teorema do Ponto Fixo de Banach s pode ser aplicado de
ka < 1;

(c) Defina k x k = max I k x (t)ket , em que > 0 uma constante. Verifique
que k k define uma norma equivalente norma k k.
(d) Verifique a estimativa

k g( x )(t) g(y)(t)k k x yk et .

(e) Conclua que k g( x ) g(y)k k x yk 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. Auflage, Springer, Berlin, 1992.

[3] G. Bachman e L. Narici: Functional analysis, Academic Press, New York, 1966.

[4] H. Brezis: Analyse fonctionelle - thorie et applications, Masson, Paris, 1983.

[5] H.P. Bueno: lgebra Linear, um segundo curso, SBM, Rio de Janeiro, 2006.

[6] E.A. Coddington e N. Levinson: Theory of ordinary differential equations,

McGraw-Hill, New York, 1955.

[7] L. Debnath e P. Mikusinski: Introduction to Hilbert spaces with applications,

Academic Press, Boston, 1990.

[8] K. Deimling: Nonlinear functional analysis, Springer-Verlag, Berlin, 1985.

[9] J. Dugundji: Topology, Allyn Bacon, Boston, 1966.

[10] D.G. de Figueiredo: Positive solutions of semilinear elliptic problems, Lecture Notes in
Mathematics 957 (1982), Springer-Verlag, Berlin, 34-87.

[11] L.C. Evans: Partial Differential Equations, Graduate Studies in Mathematics v. 19,
American Mathematical Society, Providence, Rhode Island, 1991.

[12] S. Goldberg: Unbounded Linear Operators, McGraw-Hill, New York, 1966.

[13] Halmos, Nave Set Theory. (CORRIGIR)

[14] G. Helmberg: Introduction to Spectral Theory in Hilbert Space, North-Holland,

Amsterdam, 1969.

[15] C.S. Hnig: Anlise Funcional e o Problema de Sturm-Liouville, Ed. Edgard

Blcher-Ed. da USP, So Paulo, 1978.

[16] C.S. Hnig: Anlise Funcional e Aplicaes, IME-USP, So Paulo, 1970.

[17] C. A. Isnard e B. F. Svaiter: On Zorns Lemma, Informes de Matemtica 146, Impa,

Rio de Janeiro, 1997.

[18] L. Jantscher: Hilbertrume, Akademische Verlagsgesellschaft, Wiesbaden, 1977.

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 Rn , Editora Universidade de Braslia/Editora Edgar

Blcher Ltda, 1970.

[25] E.L. Lima: Curso de Anlise, volume I, IMPA, Rio de Janeiro, 1976.

[26] E.L. Lima: Espaos Mtricos, IMPA, Rio de Janeiro, 1977.

[27] :M. Reed and B. Simon: Methods of Modern Mathematical Physics, v. 1, Academic
Press, New York, 1972.

[28] H. L. Royden: Real Analysis, 2nd. Edition, Macmillan Publishing Co., Inc., New
York, 1968.

[29] W. Rudin: Real and Complex Analysis, 3rd. Edition, McGraw-Hill International
Editions, New York, 1987.

[30] W. Rudin: Functional Analysis, 2nd. Edition, McGraw-Hill, New York, 1991.

[31] R. J. Santos: lgebra Linear e Aplicaes, Departamento de Matemtica da UFMG,

Belo Horizonte, 2004.

[32] R. J. Santos: Teorema de Aproximao 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 first course in partial differential equations with complex
variables and transform methods, Blaisdell, New York, 1965.

[37] A. Wilansky: Functional Analysis, Blaisdell, New York, 1964.

[38] R.L. Wheeden e A. Zygmund: Measure and Integral, Marcel Dekker, New York,
1977.
NDICE REMISSIVO

seqncia , 2 relativamente compacto, 7

separvel, 6
aplicao totalmente limitado, 18
aberta, 28 uniformemente equicontnuo, 18
bilinear, 32 contrao, 34
contnua, 6 convergncia pontual, 9
contnua em um ponto, 6 convergncia uniforme, 9
uniformemente contnua, 8 norma da, 10
aplicao linear
imagem de uma, 28 desigualdade
ncleo de uma, 28 de Hlder, 24
de Minkowsky, 26
base de um espao vetorial de Young, 24
cannica do Kn , 2 triangular, 3
de Hamel, 2 distncia
bola aberta de um ponto a um conjunto, 16
em um espao normado, 5
bola fechada esfera
em um espao normado, 5 em um espao normado, 5
espao
Cantor L1 ([ a, b]), 23
mtodo diagonal de, 19 ` p , 24
centro das aplicaes lineares contnuas, 22
de bolas e esferas, 5 dual, 22
cobertura aberta, 33 mtrico, 28
subcobertura, 33 normado, 3
finita, 33 completamento, 20
conjunto espao complexo, 2
aberto, 5 espao de Banach, 12
aberto em um subconjunto, 6 espao normado
compacto, 7 bola aberta em um, 5
completo, 12 bola fechada em um, 5
convexo, 24 completo, 12
de medida nula, 23 conjunto aberto em um, 5
equicontnuo, 18 conjunto fechado em um, 5
equicontnuo em um ponto, 18 conjunto limitado em um, 5
fechado, 5 esfera em um, 5
fechado em um subconjunto, 6 espao real, 2
limitado, 4 espao vetorial
linearmente independente, 2 base de um, 2

37
38 NDICE REMISSIVO

complexo, 2 teorema
de dimenso finita, 2 da extenso limitada, 30
de dimenso infinita, 2 de Bolzano-Weierstra, 15
real, 2 de F. Riesz, 16
espaos vetoriais topologia produto, 14
isomorfos, 3
normados
homeomorfismo de, 13
expoentes conjugados, 24

funo
cncava, 24
convexa, 24

homeomorfismo, 13

imagem, 28
isomorfismo
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 Kn , 4
normas
equivalentes, 14
habituais do Kn , 3
habituais do espao de dimenso
finita 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