Análise Funcional 1

Anotacoes
funcional .
sobre Analise
Rodrigo Carlos Silva de Lima
rodrigo.uff.math@gmail.com

Sumario
1 Analise
funcional
1.1
Notacoes
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2
Revisao
sobre Norma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1
Angulo
entre dois vetores . . . . . . . . . . . . . . . . . . . . . . .
Revisao
. . . . . . . . . . . . . . . . . . . . . . . .
sobre espacos metricos
p
Revisao
sobre espacos L . . . . . . . . . . . . . . . . . . . . . . . . . . . .
9
10
1.4.1
15
1.4.2
Desigualdade de Holder
. . . . . . . . . . . . . . . . . . . . . . . .
Desigualdade de Cauchy-Schwarz . . . . . . . . . . . . . . . . . . .
1.4.3
Desigualdade de Minkowski . . . . . . . . . . . . . . . . . . . . . .
17
1.4.4
(L (), || p ) e um espaco vetorial normado. . . . . . . . . . . . . .

(Lp (), || .||p ) e um espaco de Banach . . . . . . . . . . . . . . . . .
20
Espaco de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
26
1.3
1.4
1.4.5
1.5
1.5.1
1.5.2
1.6
1.7
O produto cartesiano de dois espacos de Banach e um espaco

de Banach. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17
22
26
30
1.5.3
Equivalencias
para aplicacoes
lineares . . . . . . . . . . . . . . . .
Se F e completo entao
L(E, F) e completo. . . . . . . . . . . . . . .
1.5.4
B(V) e Cb (V) sao

Banach. . . . . . . . . . . . . . . . . . . . . . .
33
Espacos de dimensao
finita . . . . . . . . . . . . . . . . . . . . . . . . . . .
35
1.6.1
Convergencia
fraca e forte sao
equivalentes em dimensao
finita.
39
1.6.2
42
1.6.3
Espaco de Banach com base nao-enumer

avel
. . . . . . . . . . . .
Espaco de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . .
42
1.6.4
Topologia definida por uma famlia de seminormas . . . . . . . .
42
Teorema de Hahn-Banach . . . . . . . . . . . . . . . . . . . . . . . . . . .
44
1.7.1
44
Espacos quocientes . . . . . . . . . . . . . . . . . . . . . . . . . . .
32
SUMARIO
1.7.2
Convergencia
absoluta em espacos de Banach . . . . . . . . . . .
49
1.7.3
Norma no espaco quociente . . . . . . . . . . . . . . . . . . . . . .
51
56
1.8
Soma direta topologica

. . . . . . . . . . . . . . . . . . . . . . . . .
Lema de Zorn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.9
Corolarios
do Teorema de Hahn-Banach . . . . . . . . . . . . . . . . . .
61
1.9.1
Extensao
que preserva a norma . . . . . . . . . . . . . . . . . . . .
61
Exemplo de L : X K, linear, nao

contnua. . . . . . . . . . . .
1.10 Exemplos de espacos duais . . . . . . . . . . . . . . . . . . . . . . . . . . .
63
66
1.10.1 Duais dos espacos lp (N). . . . . . . . . . . . . . . . . . . . . . . . .
66
1.11 Teorema de Hahn-Banach versao

. . . . . . . . . . . . . . . .
geometrica
70
1.12 Convergencia
fraca e fraca estrela . . . . . . . . . . . . . . . . . . . . . .
1.13 Topologia fraca e fraca estrela . . . . . . . . . . . . . . . . . . . . . . . . .
78
1.7.4
1.9.2
57
80
Captulo 1
Analise
funcional
1.1
Notac oes
m N, 1 , , n V , r > 0, definimos
z+r
1.2
(1 , , n ) = {x V : | < x z, k > | < r, k = 1, , n}.
sobre Norma
Revisao
Definic ao
1 (Espaco vetorial normado). Um espaco vetorial V e dito ser
normado se para cada elemento v de V e associado um numero

real kvk tal que
valem as propriedades:
1.
Positividade kvk = 0 v = 0.
2.
Produto por constante kavk = |a|kvk.
3.
Desigualdade triangular ku + vk kuk + kvk.
CAPITULO 1. ANALISE
FUNCIONAL
sendo u V e a um escalar. Nesse caso dizemos que (V, k k) e um espaco

vetorial normado.
b Propriedade
1. Vale k vk = kvk para todo v V.
Demonstrac ao.
k vk = | 1|kvk = kvk.
b Propriedade
2. Vale kxk 0 para todo x V .
Pela desigualdade triangular

Demonstrac ao.
ku + vk kuk + kvk
tomando u = x e v = x segue
kx xk = 0 kxk + k xk = 2kxk
da kxk 0.
b Propriedade
3. Vale que
| ||x|| ||y|| | ||x y||, x, y V.

Pela desigualdade triangular, temos que
Demonstrac ao.
||x|| ||y|| + ||x y||,

||y|| ||x|| + ||x y||,
| {z }
=||yx||
por isso temos que ||x y|| | ||x|| ||y|| |.
m Definic ao
2. Seja V um espaco com produto interno h, i, definimos a norma
(ou comprimento) de um vetor v em relacao

a esse produto interno por
kvk :=
p
hv, vi.
CAPITULO 1. ANALISE
FUNCIONAL
Definic ao
3. Se kvk = 1 v e chamado vetor unitario
e dizemos que v esta
normalizado.
A seguir propriedades validas
para quaisquer v, w em um espaco vetorial V com
produto interno e a R.
b Propriedade
4. kvk 0 e kvk = 0 v = 0.
Temos
Demonstrac ao.
kvk =
e como hv, vi 0 segue
b Propriedade
p
hv, vi
hv, vi 0 e hv, vi = 0 v = 0, segue
p
hv, vi = 0 v = 0.
5.
kavk = |a| kvk.
Demonstrac ao.
kavk =
b Propriedade
p
p
p
hav, avi = a2 hv, vi = |a| hv, vi = |a| kvk.
6 (Desigualdade de Schwarz).
kwk kvk |hv, wi|.

Para v = 0 vale a igualdade, pois kvk = 0 e h0, wi = 0. Seja
Demonstrac ao.
v 6= 0, para qualquer t real vale

htv + w, tv + wi 0
logo
t2 hv, vi + 2thv, wi + hw, wi 0

como hv, vi e sempre positivo, temos que ter o discriminante negativo, logo
4hv, wi2 4hv, vi hw, wi 0
CAPITULO 1. ANALISE
FUNCIONAL
de onde segue
kwk kvk |hv, wi|.

Se hv, wi 0 temos
kwk kvk hv, wi

se hv, wi < 0 ainda temos
kwk kvk hv, wi

pois a norma e um numero
nao
negativo.
b Propriedade
7. Vale a seguinte identidade
ku + vk2 = kuk2 + kvk2 + 2hu, vi.
Demonstrac ao.
ku + vk2 =
p
2
hu + v, u + vi = hu + v, u + vi = hu, ui + 2hu, vi + hv, vi =
= kuk2 + kvk2 + 2hu, vi.
b Propriedade
8 (Desigualdade triangular).
kuk + kvk ku + vk
Da identidade
ku + vk2 = kuk2 + kvk2 + 2hu, vi

e da desigualdade
kuk kvk hu, vi

segue
ku + vk2 = kuk2 + kvk2 + 2hu, vi kuk2 + kvk2 + 2kuk kvk = (kuk + kvk)2
logo
(kuk + kvk)2 ku + vk2
CAPITULO 1. ANALISE
FUNCIONAL
de onde segue
kuk + kvk ku + vk.
1.2.1 Angulo
entre dois vetores
A desigualdade de Schwarz nos possibilita definir angulo
entre vetores nao
nulo
em um espaco vetorial V munido de um produto interno, da desigualdade de Schwarz
temos
|hv, wi|
1
kvk kwk
de onde temos se hv, wi < 0
hv, wi
1
kvk kwk
hv, wi
1
kvk kwk
e se hv, wi > 0
hv, wi
1
kvk kwk
logo
hv, wi
1
kvk kwk
portanto existe angulo

em [0, ] tal que
cos =
hv, wi
.
kvk kwk
Propriedade 9. Se vw, temos hv, wi = 0 logo cos = 0 em [0, ] entao
= /2, isto e , se os vetores sao

entre eles e de /2.
ortogonais entao
angulo
m Definic ao
4 (Domnio). Um domnio e qualquer conjunto aberto conexo de
um espaco vetorial de dimensao

finita .
CAPITULO 1. ANALISE
FUNCIONAL
m Definic ao
5 (Topologia-Por vizinhanca). Seja X um conjunto. Uma topologia
sobre X e uma aplicacao

que associa a cada a X um conjunto Va de partes de
X, chamadas vizinhanca de a, em que valem as propriedades:

X Va .
Se V Va e U Va entao
V U Va .
Se V Va e V U X entao
U Va .
Se V Va entao
a V.
Para cada V Va existe W Va tal que V Vx para cada x W.
1.3
sobre espacos
Revisao
metricos
m Definic ao
a
6 (Metrica).
Seja M um conjunto, dizemos que uma metrica
d e
uma funcao
de M M em [0, ) que a cada par de elementos x, y M associa
um numero
real denotado por d(x, y) chamado de distancia
de x ate y (ou de y
ate x), tais que sejam validas

as seguintes propriedades para quaisquer x, y, z M
d1) Positividade d(x, y) 0 e d(x, y) = 0 x = y.

d2) Simetria d(x, y) = d(y, x)
d3) Desigualdade Triangular d(x, y) + d(y, z) d(z, x).
a
O matematico
Maurice Frechet
introduziu o conceito de espaco metrico
em seu trabalho:Sur
quelques points du calcul fonctionnel
m Definic ao
7 (Espaco metrico).
Um espaco metrico
e um par (M, d), onde M
e um conjunto e d uma metrica.

Chamaremos os elementos do espaco metrico
de
CAPITULO 1. ANALISE
FUNCIONAL
10
pontos e simplificaremos a notacao

(M, d) para M quando estiver subentendida
a metrica
usada. Chamaremos sempre os elementos de um espaco metrico
como
pontos de M, isto e,
se x M entao
x e um ponto de M.
b Propriedade
10. Todo espaco vetorial normado (V, k k) e um espaco metrico
com a metrica
d(x, y) = kx yk com x, y V.
Demonstrac ao.
1. Vale a positividade, pois d(x, y) = kx yk = 0 x y = 0, x = y e vale
tambem
d(x, y) = kx yk 0.
2. Vale a simetria, pois d(x, y) = kxyk e d(y, x) = kyxk = | 1|kxyk = d(x, y).
3. Vale a desigualdade triangular
d(x, y) + d(x, z) = kx yk + k x + zk kz yk = d(z, y).
m Definic ao
8 (Sequencia
de Cauchy). Uma sequencia
(xn ) num espaco metrico
M e uma sequencia
da Cauchy quando
> 0, n0 > 0 | m, n > n0 d(xm , xn ) < .
Definic ao
9 (Espaco metrico
completo). Um espaco metrico
M e completo
quando toda sequencia

de Cauchy em M e convergente.
Estamos considerando aqui corpo R ou C.
1.4
sobre espacos
Revisao
Lp
Iremos relembrar algumas propriedades dos espacos Lp .
11
CAPITULO 1. ANALISE
FUNCIONAL
Definic ao
10 (Espacos Lp ). Seja (X, A, ) espaco de medida, se p [1, )
definimos
Lp (X, A, ) = {f : X R, C | f e mensuravel
e ||f||p < },
onde
||f||p =
Z
p1
|f(x)| d ,
p
X
p
com convencao
que duas funcoes
iguais q.s definem o mesmo elemento de L e
p
p
p
p = . Podemos usar tambem
as notacoes
L (), L (X), L , quando ficar claro
no contexto a medida e o espaco que estamos tomando .
m Definic ao
11. Se e a medida de Lebesgue em Rn escrevemos Lp (Rn ).
Definic ao
12. O espaco Lp (N, P(N), ) onde e a medida de contagem e
denotado por lp . O espaco l1 e o espaco das sequencias

cuja serie
e absolutamente
convergente.
m Definic ao
13 (Espaco L ). Definimos
L (X 0 , A, ) = {f : X 0 R, C : f e mensuravel
e : |f|| < },
onde
||f|| = inf {a > 0 | (x X 0 : |f(x)| > a) = 0},

ainda com a convencao
iguais q.s , definem o mesmo
de que duas funcoes
elemento de L . Aqui tambem

usamos a definicao
inf () = , pois e uma
cota inferior de , pois caso contrario
haveria x no vazio menor que o infinito,
12
CAPITULO 1. ANALISE
FUNCIONAL
mas o vazio nao

possui elementos . Alem
disso e a maior cota inferior na reta
estendida, pois nao
existe elemento maior que ele, portanto e o nfimo.
b Propriedade
11. O nfimo e atingido na norma ||f|| , isto e,

se
b = ||f|| = inf {a > 0 | (x X 0 | |f(x)| > a) = 0},

0
entao
(x X | |f(x)| > b) = 0.
Primeiro observeramos que

Demonstrac ao.
{x X | |f(x)| > b} =
0
{x X 0 | |f(x)| > b +
k=1
1
}
n
e a uniao
de conjuntos de medida nula logo tambem
enumeravel
possui medida nula.

Como b e nfimo, dado qualquer > 0 , existe c no conjunto tal que b c < b+ , por
isso ({x X 0 | |f(x)| > c}) = 0 e temos que {x X 0 | |f(x)| > b+} {x X 0 | |f(x)| > c}
logo ({x X 0 | |f(x)| > c}) = 0 ({x X 0 | |f(x)| > b + }) = 0 e da cada conjunto
1
{x X 0 | |f(x)| > b + } possui medida nula.
n
m Definic ao
14 (Supremo essencial). Chamamos ||f|| de supremo essencial e
escrevemos
||f|| = esse sup |f(x)|.

xX 0
Propriedade 12. Os elementos de L sao

essencial funcoes
mensuraveis
mente limitadas .
Demonstrac ao.
Se f L , existe uma funcao
limitada g tal que f = g q.s,
por exemplo, g = fXE onde
E = {x X 0 | |f(x)| ||f|| }.
Segue da definicao
que ||f|| b |f(x)| b q.s .
13
CAPITULO 1. ANALISE
FUNCIONAL
15 ( L (Rn ). ). Denotamos por L (Rn ) a classe de funcoes
Definic ao
essencialmente limitas com respeito a medida de Lebesgue de Rn .
m Definic ao
16 (l ). Denotamos por l a classe de sequencias

limitadas . Pois
ser essecialmente limitada e o mesmo de ser limitada, visto que todo conjunto nao
vazio tem medida nao-nula

1.
Com isso temos que lp (N) = {X = (xn ) KN | ||X||p < }.
||X||p =
b Propriedade
!1/p
|xk |p
, se p [1, ),
k=1
sup |xn |,
se p = .
nN
13. Se f L entao
|f(x)| ||f|| q.s em X .
Demonstrac ao.
Como ||f|| e nfimo de um conjunto, entao
existe uma
sequencia
decrescente (an ) tal que an ||f|| e para todo n N, |f(x)| an q.s em
[
0
c
X . Portanto, |f(x)| an para x En , onde (En ) = 0. Denotanto E =
Ek , logo
k=1
(E) = 0 e para todo n N , |f(x)| an x Ec . Portanto, |f(x)| ||f|| x Ec

pela passagem de limite.
b Propriedade
14. L (X, A 0 , ) e espaco vetorial normado .
Sejam f, g L e c R.
Demonstrac ao.
0
1. Desigualdade triangular . Por definicao
, existem A, B A tais que (A) =
(B) = 0 e |f(x)| ||f|| x Ac e |g(x)| ||g|| x Bc . Seja E = A B,
(E) (A) + (B) = 0 e para todo x Ec = Ac Bc Ac , Bc tem-se

|f(x) + g(x)| |f(x)| + |g(x)| ||f|| + ||g|| < ,
logo f + g L e
||f + g|| ||g|| + ||f||
14
CAPITULO 1. ANALISE
FUNCIONAL
2. Para todo x
/ A tem-se |cf(x)| = |c||f(x)| |c|||f|| , logo cf L e vale
||cf|| |c|||f|| .
Se c = 0 vale a igualdade. Se c 6= 0 aplicamos a desigualdade para a =
g = cf, assim
o que implica |c| ||f||
1
e
c
1
||f|| = ||ag|| |a|||g|| = | | ||cf||
c
||cf|| , portanto junto com a outra desigualdade, tem-se
a igualdade
||cf|| = |c| ||f|| .

3. Vale que ||f|| = 0 f = 0 q.s em X . pois ||f|| = 0 |f| 0 q.s f = 0 q.s .
m Definic ao
17 (Expoentes conjugados). Dados Lp () e Lq () , os expoentes,

1
1
p e q sao
ditos conjugados se p + q = 1.
b Propriedade
15 (Desigualdade de Young). Sejam p, q reais positivos, con-
jugados, isto e,
1
1
+ = 1,
p q
entao
para quaisquer a, b positivos tem-se
a.b
ap bq
+ .
p
q
Demonstrac ao.[1-Usando
convexidade]
Temos que
1
a.b = eln(a.b) = eln(a)+ln(b) = e p p ln(a)+ q q ln(b)

1
1
usando o fato que ex define funcao
convexa e p + q = 1, tem-se
1 ln(ap ) 1 ln(aq ) ap bq
e
+ e
=
+ .
p
q
p
q
15
CAPITULO 1. ANALISE
FUNCIONAL
concavidade] Sejam x e y positivos, t (0, 1), a
funcao
da temos que
ln e concava,
t ln(x) + (1 t) ln(y) ln(tx + (1 t)y),

usando que a exponencial e crescente, segue que
et ln(x)+(1t) ln(y) = et ln(x) e(1t) ln(y) tx + (1 t)y,

segue que
xt .y1t tx + (1 t)y.
1
1
Tomando finalmente t = , 1 t = , x = ap , y = bq , temos
p
q
a.b
ap bq
+ .
p
q
TVM] Suponha que b > a > 0 e a funcao
f :
[a, b] R com f(t) = t1t , onde t (0, 1). Tal funcao
Pelo teorema do
e derivavel.
valor medio,
existe c (a, b) tal que
b1t a1t = (b a)(1 t)ct ,

t
t
t
t
como c > a entao
c > a que implica a > c e da
b1t a1t < (b a)(1 t)at ,

multiplicando ambos lados por at , segue que
at b1t a < (b a)(1 t) at b1t < ta + (1 t)b,

conclumos entao
que
at b1t < ta + (1 t)b,

de onde a desigualdade segue como na demontracao
anterior.
1.4.1
Desigualdade de H
older
Propriedade 16 (Desigualdade de Holder).

Sejam as funcoes
f Lp () ,
1
1
1
g Lq () e q o expoente conjugado de p, isto e,
p + q = 1, entao
f.g L () e
Z
|f.g|dx ||f||Lp () ||g||Lq () .
16
CAPITULO 1. ANALISE
FUNCIONAL
Em l1 , a desigualdade diz que, se (an ) lp e (bn ) lq sao

positivas,
sequencias
entao
ak bk
k=0
ou
X
k=0
!1/p
apk
!1/q
bqk
k=0
k=0
X
ak bk
1
ak bk ||(an )||p ||(bn )||q .
||(an )||p ||(bn )||q
k=0
Ja sabemos que f.g e mensuravel

Demonstrac ao.
, se p = ,
|f(x).g(x)| ||f|| |g(x)| q.s.

integrando dos dois lados, obtemos que
||fg||1 ||f|| .||g||1 ,

se p = 1 entao
q = e podemos usar o mesmo argumento. Suponha agora que
p (1, ) o resultado e trivial se ||f||p = ||g||q = 0, pois neste caso f.g = 0 q.s
e o termo da esquerda e nulo . Alem
disso o resultado segue se ||f||p = ou
||g||q = , logo, suponha que 0 < ||f||p , ||g||q < . Usando a desigualdade de Young
|f(x)|
|g(x)|
com a =
, b=
, temos que
||f||p
||g||q
|f(x)|p |g(x)|p
|f(x)| |g(x)|
.
+
,
||f||p ||g||q
p||f||pp
q||g||pq
integrando de ambos lados, tem-se
|f(x)g(x)|1
1
1
+ =1
||f||p ||g||q
p q
|f(x)g(x)|1 ||f||p ||g||q ,
como queramos demonstrar.
p
Demonstrac ao.[Demonstra
cao
direta para o caso de l .] A demonstracao
do
caso lp esta contida no caso anterior, porem
iremos apresentar tambem
uma prova
direta. p = 1 q = , neste caso temos que
bk sup ||bn ||, k,

n
multiplicando por ak e somando, segue que
X
k=0
ak bk sup ||bn ||
n
X
k=0
ak ,
17
CAPITULO 1. ANALISE
FUNCIONAL
e o resultado esta provado. Caso 1 < p, q < conjugados e
||(an )||p = ||(bn )||q = 1,

pela desigualdade de Young,
apk bqk
ak bk
+ ,
p
q
somando, segue que
ak bk
k=0
X
ap
k
k=0
X
bq
k
k=0
1
1
+ = 1 = ||(an )||p ||(bn )||q ,
p q
como queramos demonstrar. No caso geral, podemos assumir ||(an )||p , ||(bn )||q nao
nulos (pois se nao

possui todos elementos nulos e a igualdade vale).
uma sequencia
Definindo
xn :=
an
bn
, yn =
,
||(an )||p
||(bn )||q
o que implica ||(xn )||p = ||(yn )||q = 1, pelo que percebemos no argumento anterior,
temos que
xk y k 1,
k=0
o que equivale
X
k=0
X
ak bk
1
ak bk ||(an )||p ||(bn )||q ,
||(an )||p ||(bn )||q
k=0
1.4.2
Desigualdade de Cauchy-Schwarz
$ Corolario
1 (Desigualdade de Cauchy-Schwarz). Se p = q = 2, entao
||f.g||1 ||f||2 .||g||2 .
1.4.3
Desigualdade de Minkowski
F Teorema 1 (Desigualdade de Minkowski). Sejam p [1, ], f, g Lp (), entao
18
CAPITULO 1. ANALISE
FUNCIONAL
f + g Lp () e
||f + g||p ||f||p + ||g||p .
Demonstrac ao.[1-Caso
geral]
Se f, g Lp () entao
|f(x) + g(x)|p (2 max{|f|, |g|})p 2p (|f(x)|p + |g(x)|p )

o que implica que f + g Lp () . A desigualdade e trivial se p = 1 ou p = , pois
|f(x) + g(x)| |f(x)| + |g(x)|

1
1 1
ou f+g = 0 q.s, caso contrario
1 < p < , da < 1, existe entao
q tal que + = 1.
p
q p
|f + g|p = |f + g||f + g|p1 (|f| + |g|)(|f + g|p1 ) = |f||f + g|p1 + |g||f + g|p1 ,
integrando dos dois lados,
Z
Z
Z
p
p1
|f + g| d |f||f + g| d + |g||f + g|p1 d
usando a desigualdade de Holder
tem-se
||f||p || (|f + g|)p1 ||q + ||g||p ||(|f + g|p1 ) ||g

Z
1
(||f||p + ||g||p ) ( |f + g|(p1)q ) q
1
1
1
1
p1
p
+ =1 =1 =
p = q(p 1) e = p 1,
p q
q
p
p
q
Z
1
(||f||p + ||g||p ) ( |f + g|p ) q
1
||f + g||pp ( ||f||p + ||g||p ) ||f + g||p/q
= ( ||f||p + ||g||p ) ||f + g||p
p
p ,
o que implica finalmente
||f + g||p ||f||p + ||g||p ,

lp ] Caso p = 1. Sejam X = (xn ), Y = (yn ) l1 .
||x + y||1 =
X
k=1
|xk + yk |
X
k=1
|xk | +
X
k=1
|yk | = ||x||1 + ||y||1 .
19
CAPITULO 1. ANALISE
FUNCIONAL
Caso p = . Temos que
|xk + yk | |xk | + |yk | ||X|| + ||Y|| ,

como supremo e a menor das cotas superiores, temos que
||X + Y|| ||X|| + ||Y|| .

1
1 1
Assumimos entao
p (1, ), da p < 1, existe entao
q tal que q + p = 1. Obtemos
que
|xk + yk |p = |xk + yk |p1 |xk + yk | |xk + yk |p1 (|xk | + |yk |) ,

somando temos
|xk + yk |
p
k=0
p1
|xk ||xk + yk |
k=0
aplicando a desigualdade de Holder
!
!1/q
1/p
X
X
|xk |p
|xk + yk |(p1)q
+
k=0
usando que
que
k=0
|yk ||xk + yk |p1
k=0
!1/p
|yk |p
k=0
!1/q
|xk + yk |(p1)q
k=0
1
1
1
1
p1
p
+ =1 =1 =
p = q(p 1) e = p 1, conclumos
p q
q
p
p
q
||(xn + yn )||pp ( || (xn ) ||p + || (yn ) ||p ) || (xn + yn ) ||p/q

p ,
1
||(xn + yn )||pp ( || (xn ) ||p + || (yn ) ||p ) || (xn + yn ) ||p
p
o que implica
||(xn + yn )||p || (xn ) ||p + || (yn ) ||p ,

Z Exemplo 1. A desigualdade nao

vale para p < 1 .
Suponha que a, b > 0 e
p (0, 1), para t > 0,

(t)p1 > (t + a)p1 ,
pois p 1 < 0, integrando de 0 ate b tem-se
bp
(b + a)p ap
>
ap + bp > (b + a)p .
p
p
1
Se E e F sao
conjuntos disjuntos com medida positiva finita em X e a = (E) p
20
CAPITULO 1. ANALISE
FUNCIONAL
e b = (F) p , entao
Z
||XE + XF ||p = (
Z
(XE + XF ) ) = (
p
(E\F)(F\E)
1
1
p
1
XpE ) p
XpF ) p
(E\F)
(F\E)
= ((E) + (F)) p = (ap + bp ) p > a + b = ||XE ||p + ||XF ||p ,

1
pois ( XpE ) p = (E) p , neste caso temos entao

que
||XE + XF ||p > ||XE ||p + ||XF ||p .
1.4.4 (Lp (), ||
Propriedade
p)
e um espaco
vetorial normado.
17. Para 1 p , (Lp (), ||
p)
e um espaco vetorial
normado.
Sejam f, g Lp () e c R ou C . Se p = ja provamos que
Demonstrac ao.
o espaco possui norma, vejamos agora os outros casos . Suponha que 1 p < .
1. Pela desigualdade de Minkowski temos que f + g Lp e vale a desigualdade
triangular
||f + g||p ||f||p + ||g||p .

2. Temos que
Z
Z
Z
1
1
1
p
p
p
||cf||p = ( |cf| d) p = ( |c| |f| d) p = |c|( |f|p d) p = |c| ||cf||p ,
portanto ||cf||p = |c| ||cf||p .

3. Vale que ||f||p = 0 f = 0 q.s .
Z
||f||p = 0 |f|p d = 0 |f|p = 0 q.s f = 0 q.s.
Lembrando que os espacos Lp nao
sao
espacos cujos elementos sao
funcoes
e
sim espacos cujos elementos sao
de funcoes.
classes de equivalencia
Demonstrac ao.[2]
Daremos uma demonstracao
direta para o caso de l se-
paradamente, K sendo um corpo, X = (xn ).
21
CAPITULO 1. ANALISE
FUNCIONAL
1. ||(xn )||p = 0 implica que
!1/p
|xk |p
= 0 xk = 0, k,
k=0
pois, se para algum k tivessemos

xk 6= 0, entao
|xk | 6= 0 e ||(xn )||p |xk | > 0,

contradicao
.
2. x X, K,
||X||p =
!1/p
|xk |p
||p
k=0
!1/p
|xk |p
= ||||X||p .
k=0
3. Segue da desigualdade de Minkowski.
Definic ao
18 (Convergencia
de sequencias
em Lp ). Seja 1 p .
Dizemos que uma sequencia

(fn ) converge em Lp para uma funcao
f se > 0
existe n0 N tal que para todo n > n0 temos
||fn f||p < .
b Propriedade
18. Vale que ||fn f|| 0 existe E A com (Ec ) = 0 tal
que fn f x Ec .
Demonstrac ao.
Definic ao
19 (Sequencia
de Cauchy em Lp .). Seja 1 p . Dizemos
que uma sequencia

(fn ) e de Cauchy em Lp se > 0 existe n0 N tal que para
todos m, n > n0 temos
||fn fm ||p < .
22
CAPITULO 1. ANALISE
FUNCIONAL
Propriedade 19. Se (fn ) converge para f em Lp entao

de
(fn ) e sequencia
Cauchy em Lp .
Demonstrac ao.
Dado
> 0 existe n0 N tal que para n > n0 vale
2
||fn f||p < e com m > n0 tem-se ||fm f||p < somando e usando a desigualdade
2
2
de Minkowski tem-se
||fn fm ||p ||fn f||p + ||fm f||p

+ = ,
2 2
de onde segue que (fn ) e de Cauchy .
1.4.5 (Lp (), || .||p ) e um espaco

de Banach
F Teorema
2 (Riez -Ficher). (Lp (), || .||p ) e um espaco de Banach quando
1 p . Isto e,
de Cauchy e convergente.
toda sequencia
geral] Considere (fn ) de Cauchy em Lp . Primeiro
veremos o caso de p < . Por termos sequencia
de Cauchy temos que k N existe
nk N tal que
||fn fm || <
1
, n, m nk .
2k
Consequentemente podemos construir uma subsequencia

(fnk ) com ndices n1 < n2 <
tal que
1
||fnk+1 fnk ||p < k , k 1.
2
Definimos as funcoes
g(x) =
|fnk+1 fnk |, gn (x) =
k=1
n
X
|fnk+1 fnk |,
k=1
segue da desigualdade de Minkowski que ||gn ||p 1 pois
||gn ||p = ||
n
X
|fnk+1 fnk | ||p
k=1
n
X
||fnk+1 fnk ||p
k=1
X
1
= 1.
2k
k=1
X
k=1
||fnk+1 fnk ||p
23
CAPITULO 1. ANALISE
FUNCIONAL
p
p
Alem
disso gn g de forma crescente o que implica |gn (x)| |g(x)| e da segue
do teorema da convergencia
monotona
que
= |g| = lim |gn |p d 1
||g||pp
com isto g L () e existe E A com (Ec ) = 0 e tal que |g(x)| < x E.
X
Com isso a serie
fnk+1 fnk = g(x) converge absolutamente x E e portanto
k=1
converge . Definimos
f(x) =
fn (x) +
fnk+1 fnk , x E
1
k=1
0 , x Ec
como temos por soma telescopica

que
fn1 (x) +
s1
X
fnk+1 fnk = fn1 (x) + fns fn1 = fns ,
k=1
por isso temos que f(x) = lim fns q.s X. Dado > 0 existe n0 N tal que
s
||fn fm ||p < n, m n0 , para todo m > n0 segue do lema de Fatou que
Z
Z
Z
p
p
|f fn | = lim inf |fnk fn | lim inf |fnk fn |p p
k
logo f fn Lp () f Lp e ||f fn ||p 0.

O segundo caso p = . Dada (fn ) de Cauchy em L definimos n, m, N,
An = {x X : |fn (x)| > ||fn || }

e
Bm,n = {x X : |fn (x) fm (x)| > ||fn fm || },

temos que (An ) = (Bm,n ) = 0 m, n N, se
E=(
nN
An ) (
Bn,m ),
nN
c
entao
(E) = 0 e x E tem-se
|fn (x) fm (x)| ||fn fm || , m, n N.

c
Logo (fn (x)) e sequencia
de funcoes
de Cauchy em R para cada x E , sendo de

Cauchy em R ela converge . Definimos entao
24
CAPITULO 1. ANALISE
FUNCIONAL
f(x) =
lim fn (x), x Ec
0, x E
Dado > 0 existe n0 N tal que n, m > n0 N tem-se
||fn fm || < ,
entao
lim |fm (x) fn (x)| = |f(x) fn (x)| lim ||fn fm || , x Ec , n > n0 ,

m
tambem
temos que
|f(x)| |f(x) fn (x)| + |fn (x)| + ||fn || x Ec ,

portanto f L pois e arbitrariamente pequeno . Por outro lado, temos tambem
que ||f fn || , n > n0 portanto fn f em L . Como queramos demonstrar.
particular] Seja (Xn ) lp , uma sequencia
de Cauchy,
onde dado n fixo, Xn e uma sequencia.

Por hipotese
de termos sequencia
de Cauchy,
> 0 existe n0 N tal que m, n > n0 , temos

!1/p
X
np
||Xm Xn ||p =
|xm
< .
k xk |
k=0
Iremos denotar Xn = (xnk )kN Lp (N). Para cada n, fixe k, vale que
n
m
n
|xm
k xk | ||X X ||p < .
n
Se n, m > n0 , entao
de Cauchy no corpo K considerado.
(xk )nN e uma sequencia
n
Da, existe xk K, tal que lim xk = xk . Definimos X = (xk ). Seja p [1, ), temos
n
que para todo > 0, existe n0 N, tal que n, m > n0

b
X
np
|xm
k xk |
k=0
tomando n , segue que
np
p
|xm
k xk | < ,
k=0
b
X
p
p
|xm
k xk | ,
k=0
e agora tomando b segue
||Xm X||p ,
25
CAPITULO 1. ANALISE
FUNCIONAL
p
n
n
logo (Xn ) converge para X com a norma de lp e alem
disso X l , pois X e X X
p
sao
elementos de l , logo tambem
sua soma que e X. Caso p = , > 0, existe n0
natural, tal que n, m n0 implica
|xnk xm
k | , k N,
por aplicacao
ser de Cauchy, tomando m ,
do supremo e condicao
da sequencia
segue que |xnk xk | , k N e da e sempre uma cota superior, da segue por

propriedade do supremo que
||Xn X|| < ,

e a sequencia
converge na norma, o fato de X l , segue da mesma maneira que
no argumento anterior.
m Definic ao
20. Definimos os conjuntos com elementos em um corpo K (R ou
C):
c como conjunto de todas sequencias
convergentes .
c0 como conjunto de todas sequencias

que convergem para zero.
c00 como conjunto de todas sequencias

que se anulam a partir de certa
ordem.
Temos que
C00 c0 c l .
b Propriedade
20. Vale que (c0 .|| . ||) e um espaco de Banach.
Primeiro notamos que lim x(t) = 0 para todo > 0 existe

Demonstrac ao.
n0 N tal que t > n0 implica |x(t)| , que tambem

equivale a sup |x(t)| .
t>n0
Como l e completo e c0 l temos que uma sequencia

de Cauchy em c0 converge
para x(t), temos que mostrar que lim x(t) = 0, da o espaco sera fechado. Dada a
t
convergencia
em l , existe n0 N tal que para m > n0 , temos
sup |xm (t) x(t)|

tN
,
2
26
CAPITULO 1. ANALISE
FUNCIONAL
logo dado n natural arbitrario

vale tambem
que sup |xm (t) x(t)| 2 . De desigualt>n

dade triangular para o supremo, temos que
sup |x(t)| sup |xm (t) x(t)| + sup |xm (t)|
t>n
t>n
t>n
+ sup |xm (t)|.

2 t>n
Dado m > n0 fixado, como lim xm (t) = 0, sup |xm (t)| pode ser tomado menor que
t
t>n
para n suficientemente grande, logo
,
2
sup |x(t)| ,
t>n
e temos a convergencia
requerida.
1.5
Espaco
de Banach
Sejam E, F espacos vetoriais normados. Usaremos a notacao

L(E, F) para designar
o conjunto das funcoes
lineares contnuas de E em F. K ira denotar o corpo dos
reais, ou dos complexos.
Definic ao
21 (Espaco de Banach). Um espaco de Banach e um espaco
vetorial normado completo .
1.5.1
O produto cartesiano de dois espacos
de Banach e um
espaco
de Banach.
Propriedade
21. O produto cartesiano de dois espacos de Banach e um
espaco de Banach. Considere A e B dois espacos de Banach e o seu produto

cartesiano munido da norma da soma
|(u, v)| = |u|A + |v|B .
Demonstrac ao.
Seja (zn ) sequencia
de Cauchy em A B, entao
zn = (xn , yn ), onde xn A, yn
B n N. Logo, > 0 existe n0 N tal que n, m > n0 , implica

|zn zm | = |xn xm |A + |yn ym |B < ,
27
CAPITULO 1. ANALISE
FUNCIONAL
entao
de Cauchy nos espacos completos A e B, por isso
(xn ) e (yn ) sao
sequencias
existem x A, y B, tais que

lim xn = x, lim yn = y.
Temos que zn (x, y) = z em A B, pois
lim |zn z| = lim |xn x| + |yn y| = 0.
n
m Definic ao
22. Seja X um conjunto. Definimos B(X, K) = {f : A K | f limitada em K}.
Que poderemos simbolizar tambem

por B(X) quando ficar claro o corpo K. Definimos a norma
||f||B(X) = sup |f(y)|.

yX
b Propriedade
22. B(A, R) = {f : A R | f limitada em A} com
d(f, g) = sup{|f(x) g(x)|, x A}

e metrica
em B(A, R).
Tal metrica
Demonstrac ao.
e proveniente da norma do sup ||f|| = sup |f(x)|.
xA
1. Vale a positividade pois |f(x) g(x)| 0 para todo x se existe x1 A tal que
f(x1 ) 6= g(x1 ) entao

|f(x1 ) g(x1 )| := b > 0 e o supremo nao
sera zero pois 0 nao
e cota superior do elemento b, logo para que o supremo seja zero e necessario
que f(x) = g(x), x A, assim as funcoes

sao
iguais.
2. A simetria mais uma vez se da pela presenca do modulo
d(f, g) = sup{|f(x) g(x)|, x A} = sup{| 1||g(x) f(x)|, x A} =

= sup{|g(x) f(x)|, x A} = d(g, f).
3. Provamos para a norma, pois temos
sup |f(x) + g(x)| sup |f(x)| + sup |g(x)|
xA
por propriedade de supremo.
xA
xA
28
CAPITULO 1. ANALISE
FUNCIONAL
m Definic ao
23. Seja (X, d) um espaco metrico.

Definimos
Cb (X) = {f : X K | F e contnua e limitada }.
b Propriedade
23. Cb (X) e subespaco vetorial de B(X) e Cb (X) e fechado com
a norma || . ||B(X) .
Demonstrac ao.
Seja (fn ) Cb (X) tal que fn f com a norma || . ||B(X) .,
queremos provar que f e contnua. Temos por desigualdade triangular que
||ffn ||B(X)
}|
{
z
|f(x) f(y)| |f(x) fn (x)| +
continuidade de
}|
{
z
|fn (x) fn (y)|
fn
||ffn ||B(X)
z
}|
{
+ |fn (y) f(y)|,
o que implica
|f(x) f(y)| 2||f fn ||B(X) + |fn (x) fn (y)|.
Dado > 0, para n > n0 , podemos tomar ||f fn ||B(X) < , como fn e contnua, existe
4
> 0 tal que d(x, y) implica |fn (x) fn (y)| , portanto

2
|f(x) f(y)|

+ = ,
2 2
e portando f e contnua.
Propriedade 24. Um subespaco fechado F de um espaco metrico

completo
M e completo.
Demonstrac ao.
Dada uma sequencia
de Cauchy (xn ) em F, existe lim xn =
a M, como F e fechado em M, segue que a F. Logo F e completo.
$ Corolario
2. Cb (X) e um espaco de Banach.
29
CAPITULO 1. ANALISE
FUNCIONAL
m Definic ao
24. Definimos sobre Cb (x),
||f||1 =
b Propriedade
Z1
0
|f(x)|dx.
25. (C[0, 1], || . ||1 ) e um espaco vetorial normado. Porem

nao
e completo.
Demonstrac ao.
O espaco nao
de funcoes
e completo, pois, tome a sequencia
dada por
fn (t) =
1
0 se t [0, ]
2
nt
1 1
1
n
se t [ , + ]
2
2 2 n
1
1
+
2 n
(fn ) e uma sequencia
de Cauchy na norma || . ||1 . Primeiro notamos que
1 se t
|fn (t) fm (t)| |fn (t)| + |fn (t)| 2,

1
1
1
1
>
e da
+ >
logo o supremo existe e e limitado. Tomamos m > n, logo
n
m
n 2
1
1
+ . Agora dividimos a integral
m 2
Z1
0
z
Z1
|fn (t) fm (t)|dt =
}|
|fn (t) fm (t)|dt +
Z 1+ 1
2
1
2
|fn (t) fm (t)|dt +
zZ
1
1
+1
2 n
}|
|fn (t) fm (t)|dt
1
sup |fn (t) fm (t)|,
n t[0,1]
que pode ser tomado arbitrariamente pequeno, logo temos sequencia

de Cauchy. Seja
0 se t [0, 2 ]
g(t) =
1 se t ( 1 , 1].
2
Vale que ||fn g||1 0, pois
Z1
Z 1+ 1
Z1
2
2 n
|fn (t) g(t)| dt +
|fn (t) g(t)|dt +
|fn (t) g(t)| dt
{z
}
{z
}
1
1
0 |
+1 |
0
30
CAPITULO 1. ANALISE
FUNCIONAL
1
sup |fn (t) g(t)|,
n t[0,1]
como sup |fn (t) g(t)| e um numero

real, pois |fn (t) g(t)| e limitado segue a
t[0,1]
convergencia.
Assim uma sequencia
de funcoes
contnuas, converge para uma funcao
que nao
e contnua. O espaco nao
e fechado.
Exemplo 2. Se (X, d) e espaco metrico,

Cb (X) e subespaco de L (X) e
||f||B(X) = ||f||L , onde f Cb (X).
1.5.2
Equivalencias para aplicac oes

lineares
b Propriedade
26. Sejam (E, || . ||) e (F, || . ||) espacos vetoriais normados. Seja
L : E F uma aplicacao
linear. Entao
as seguintes condicoes
sao
equivalentes.
1. L e uniformemente contnua.
2. L e contnua.
3. L e contnua em 0.
4. Existe c > 0 tal que ||L(x)||F C||x||E , x E.
A cadeia de implicacoes
Demonstrac ao.
(1) (2) (3) e direta.
(3) (4). Tome = 1, L e contnua em 0, entao
existe > 0, tal que
||L(y) L(0) ||F 1,

|{z}
0
se ||y 0||E . Dado x E \ {0} arbitrario,

definindo y =
||y||E = ,
o que implica ||L(y)||F 1 e da
||L(x)||F
||x||E
, x E \ {0},
para x = 0 tambem
vale, entao
vale para todo x E.
x
, entao
||x||E
31
CAPITULO 1. ANALISE
FUNCIONAL
(4) (1). Temos que
||L(x) L(y)||F = ||L(x y)||F C||x y||E .

Dado > 0 escolhendo =
, com ||x y||E implica

C
||L(x) L(y)||F C||x y||E
C
= ,
C
da segue a continuidade uniforme.
m Definic ao
25. Seja L L(E, F), definimos
||L(x)||F
.
xE\{0} ||x||E
||L||L(E,F) = sup
Tal valor e finito por (4) do item anterior.
b Propriedade
27. A aplicacao
que a cada A L(E, F) kAk = sup
kA(x)k
kxk
R e uma norma em L(E, F), isto e,

satisfaz as condicoes
1.
kAk 0, kAk = 0 A = 0.
2.
kcAk = |c|kAk.
3.
kA + Bk kAk + kBk.
Demonstrac ao.
1. O operador nulo tem norma nula, pois
||0|| = sup
Vale tambem
que ||A|| = sup
|0(x)|
= sup{0} = 0.
|x|
|A(x)|
|A(x)|
0 pois temos sempre
0.
|x|
|x|
32
CAPITULO 1. ANALISE
FUNCIONAL
Se ||A|| = 0 entao
|A(x)|
= 0 x 6= 0 |A(x)| = 0 A(x) = 0 A 0
|x|
A e identicamente nula.
2.
||cA|| = sup
|cA(x)|
|A(x)|
= |c| sup
= |c| ||A||
|x|
|x|
por propriedade de supremo.

3.
kA + Bk = sup
sup
|A(x)| + |B(x)|
|A(x) + B(x)|
sup
|x|
|x|
|A(x)|
|B(x)|
+ sup
= ||A|| + ||B||,
|x|
|x|
novamente por propriedade de supremo, assim L(E, F) e um espaco vetorial

normado, em particular e um espaco metrico.
1.5.3
L(E, F) e completo.
Se F e completo entao
b Propriedade
28. Se F e completo entao

L(E, F) e completo. Consideramos a
norma
||L(x)||
.
xE\{0} ||x||
||L|| = sup
Demonstrac ao.
Seja uma sequencia
de Cauchy (fn ) em L(E, F) = V . Dado
> 0 existe n0 N tal que para n, m n0 , e x V

||fn (x) fm (x)||F
||fn fm ||v ,
||x||E
(1.1)
logo ||fn (x) fm (x)||F ||x||E , para x fixado, portanto (fn (x))n e sequencia
de Cauchy
em F, que e um espaco completo, logo existe lim fn (x) = f(x). Queremos mostrar que
n
f V e temos a convergencia
fn f em V . Primeiro mostrar que f e linear.
Sejam x1 , x2 E, c K, entao
f(cx1 + x2 ) = lim fn (cx1 + x2 ) = lim cfn (x1 ) + lim fn (x2 ) = cf(x1 ) + f(x2 ).
n
Entao,
f e linear.
CAPITULO 1. ANALISE
FUNCIONAL
33
Como (fn ) e de Cauchy em V , entao

ela e limitada, por isso, existe c > 0 tal que
sup ||fn ||V c,
nN
logo de
||fn (x)||F ||fn ||V ||x||E c||x||E ,

tomando n segue que
||f(x)||F c||x||E ,
por isso f L(E, F), isto e,
f e contnua. Agora vamos mostrar que fn f em V .
Temos da primeira desigualdade (1.1), que
||fn (x) fm (x)||F

,
||x||E
logo tomando m , segue que
||fn (x) f(x)||F

,
||x||E
e tomando o supremo
sup
x
||fn (x) f(x)||F

,
||x||E
da fn f em V ; Logo a sequencia
de Cauchy converge para elemento de V o espaco
e entao
completo.
b Propriedade
||L||L(E,F) =
29. Vale que

sup
xE, ||x||E =1
||L(x)||F = inf {c > 0 | ||L(x)||F C||x||E , x E}.
Demonstrac ao.
1.5.4
Banach.
B(V) e Cb (V) sao
b Propriedade
30. Seja (T, d) um espaco metrico.

Definimos B(V) e Cb (V) por
B(V) = {f : V K | f e limitada},
Cb (V) = {f B(V) | f e contnua},
CAPITULO 1. ANALISE
FUNCIONAL
34
com a norma ||f||B(V) = sup |f(x)| . Entao

Cb (V) e B(V) sao
espacos de Banach.
xV
Demonstrac ao.
1. Seja (fn ) sequencia
de Cauchy em B(V), existe m0 N, tal que para m, n m0
vale para todo x V , que
|fn (x) fm (x)| ||fn fm || ,

logo (fn (x))n e sequencia
de Cauchy em K, logo converge. Definimos f(x) =
lim fn (x), x V. Vamos verificar que f B(V) e que fn f em B(V). Da

n
desigualdade anterior tomando m e n fixado, temos que
|fn (x) f(x)| , x V,

da por desigualdade triangular, temos
|f(x)| |fn (x) f(x)| + |fn (x)| + |fn (x)| + ||fn (x)||,
logo f e limitada e portanto pertence a B(V). Ainda da primeira desigualdade,
tomando m , tem-se que
|fn (x) f(x)| |fn (x) f(x)| ||fn f|| ,

por propriedade do supremo, entao
fn f em B(V).
2. Provaremos que Cb (V) e fechado, sendo subespaco de B(V) que e completo, ele
tambem
mostraremos que f = lim fn na
sera completo. Seja x0 V arbitrario,
norma do supremo ( que e da convergencia

uniforme) e contnua em x0 , com
efeito, seja > 0, pela convergencia

uniforme de (fn ) para f, existe m N tal
que |fm (x) f(x)| < para todo x V. Como fm e contnua em x0 , existe r > 0
3
tal que a relacao

x B(x0 , r) implica |fm (x) fm (x0 )| < 3 e pela convergencia
pontual de fm para f temos |fm (x0 ) f(x0 )| < , somando as desigualdades

3
segue
|f(x)f(x0 )|
|fm (x0 ) f(x0 )|

+
|fm (x) fm (x0 )|
+
|fm (x) f(x)|
<
|
{z
}
|
{z
}
|
{z
}
convergencia
de fm (x0 ) continuidade de fm em x0 Convergencia
uniforme
logo a funcao
e contnua em x0 o espaco e portanto fechado e da completo.
35
CAPITULO 1. ANALISE
FUNCIONAL
b Propriedade
31. Se M e completo entao

Bg (A, M) e completo.
Demonstrac ao.
Z Exemplo 3. R
e um espaco de Banach.
F Teorema 3. Todo espaco vetorial normado de dimensao

finita e de Banach.
Z Exemplo 4. O conjunto P[0, 1] das funcoes

polinomiais p : [0, 1] R e um
espaco vetorial. Tomando a norma kpk = sup |p(t)|. Com essa norma o espaco
t[0,1]
P[0, 1] nao
de polinomios
pn =
e completo pois a sequencia
x
a funcao
contnua e que nao
e um polinomio.
Definic ao
n
X
xk
k=0
k!
converge para
26 (Espaco dual). Dado um espaco vetorial V sobre um corpo
K, chamamos de espaco dual de V , o conjunto dos funcionais lineares contnuos

f : V K e o denotamos por V , ou por V 0 .
Sendo L V 0 , consideramos tal espaco munido da norma
|L(x)|
= sup |L(x)| = sup |L(x)|.
||x||=1
||x||1
xV\{0} ||x||
||L||V 0 = sup
0
L(x) tambem
pode ser denotado por L(x) =< L, x > L V , x V. Chamamo
<, > de colchete de dualidade.
b Propriedade
32. V 0 e um espaco de Banach.
Demonstrac ao.
1.6
finita
Espacos
de dimensao
Nessa secao
iremos considerar em geral espacos vetoriais V de dimensao
finita.
36
CAPITULO 1. ANALISE
FUNCIONAL
b Propriedade
33. Um subconjunto A fechado e limitado de V e compacto.
Demonstrac ao.
Vamos mostrar um sequencia
qualquer (xn ) em A possui
subsequencia
convergente. Temos que ||xt || m, e a base, B = {e1 , , en } de V ..
n
X
xt =
ak (t)ek ,
k=1
por limitacao
temos que
|ak (t)| ||
n
X
ak (t)ek || m,
k=1
portanto (ak (t))t e limitada, por isso

(a1 (t))t possui subsequencia
convergente (a1 (t))tN1 .
(a2 (t))tN1 possui subsequencia

convergente (a1 (t))tN2 , , e assim continua
mos, encontrando, sequencia
de conjuntos
W := Nn Nn1 N1 ,
tal que cada (ak (t))tW e convergente, w = {v1 , , vn , }. Denotamos lim ak (vn ) =
n
n
X
ak . Vamos mostrar agora que (xvn )n converge para
ak ek , o que de fato ocorre
k=1
pois
||
n
X
k=1
ak (vn )ek
n
X
k=1
ak ek ||
n
X
z}|{
|ak (vn ) ak | ||ek || .
k=1
, m2 , tal que vn > m1

n
n
X
implica |a2 (vn ) a2 | < , e assim sucessivamente, tomando entao

v
>
mk ,
n
n
k=1
temos que |ak (vn ) ak | <

, k, disso segue que
mn
Existem m1 , tal que vn > m1 implica |a1 (vn ) a1 | <
n
X
|ak (vn ) ak | ,
k=1
e da temos a convergencia
que queramos provar. Como A e fechado, temos
n
X
que
ak ek A, por ser limite de uma sequencia
em A. Fica provado entao
k=1
que A e compacto, por caracterizacao

de compacto por meio de sequencia.
37
CAPITULO 1. ANALISE
FUNCIONAL
b Propriedade
34. As bolas fechadas
B := B[0, r] := {x v | ||x|| r},

sao
fechadas e limitadas, logo sao
compactas.
Demonstrac ao.
Seja (xn ) B, xn x, vamos mostrar que x B. Vamos
denotar
xt =
n
X
ak (t)ek x =
k=1
n
X
a k ek ,
k=1
para t suficientemente grande temos que
||
n
X
(ak (t) ak )ek || ,
k=1
logo por desigualdade triangular, segue que
||
n
X
k=1
ak ek || + ||
n
X
ak (t)ek || + r,
k=1
como pode ser tomado arbitrariamente pequeno ||
n
X
ak ek || nao
pode ser maior que
k=1
r.
Propriedade
35. As esferas s(0, r) = {x V | ||x|| = r} sao

conjuntos
limitados e fechados, pois
s(0, r) = B[0, r] \ B(0, r),

fechado menos um aberto. Como s(0, r) e fechado e limitado entao
e compacto.
Demonstrac ao.
m Definic ao
27 (Normas equivalentes). Duas normas ||; k|1 e ||; k|2 sao

equiva-
lentes em A se existem constantes c1 e c2 tais que vale
c1 ||xk|1 ||xk|2 c2 ||xk|1 x A.
38
CAPITULO 1. ANALISE
FUNCIONAL
b Propriedade
36. Todas as normas em V sao

equivalentes.
Demonstrac ao.
Seja B = {e1 , , en } uma base de V . Vamos mostrar que
uma norma qualquer || . || em V e equivalente a norma da soma
||x||s =
n
X
|ak |.
k=1
Seja f : S(0, 1)s R, com f(x) = ||x||, onde S(0, 1)s e a esfera com norma da
soma || . ||s . Tal conjunto e compacto f e contnua, logo assume um mnimo m e um
x
maximo
M, temos que x v (nao
nulo), tem-se ||x|| S(0, 1), logo aplicando f

s
segue que
||x||
x
)=
m M||x||s ||x|| m||x||s ,
M f(
||x||s
||x||s
m, M 6= 0 , pois ||x|| se anula apenas em x = 0. Portanto, temos que

m||x||s ||x|| M||x||s ,
(1.2)
e as normas sao
equivalentes.
Sendo ||x||1 , uma outra norma qualquer, temos que
m1 ||x||s ||x||1 M1 ||x||s ,

multiplicando a inequacao
por m.M e comparando com a primeira desigualdade de
equivalencia
(1.2), segue que
mm1 ||x|| mMm1 ||x||s mM||x||1 mMM1 ||x||s MM1 ||x||,

obtemos entao
mm1 ||x|| mM||x||1 MM1 ||x||,

dividindo por m.M em ambos lados, segue finalmente, que
m1
M1
||x|| ||x||1
||x||,
M
m
portanto as normas arbitrarias
| . ||1 e | . ||2 sao
equivalentes.
b Propriedade
37. Uma sequencia

converge em uma norma converge em
outra norma, sendo ainda para o mesmo limite. Vale tambem,

que uma sequencia
CAPITULO 1. ANALISE
FUNCIONAL
39
de Cauchy em um norma tambem

de Cauchy em outra norma distinta.
e sequencia
Dadas normas || . ||1 e || . ||2 , existem constantes m e M, tais

Demonstrac ao.
que
m||x||2 ||x||1 M||x||2 , x V.

Seja ||xn x||1 0, entao
m||xn x||2 ||xn x||1 ,

para n suficientemente grande, logo a convergencia
na norma || . ||1 implica
convergencia
na norma || . ||2 , para o mesmo limite.
Alem
disso, se (xn ) e de Cauchy com || . ||1 , entao
tambem
e de Cauchy com
|| . ||2 , pois para n, t suficientemente grandes
m||xn xt ||2 ||xn xt ||1 .

Supondo a convergencia
na norma || . ||2 , ||xn x||2 0, entao
||xn x||1 M||xn x||2 ,

para n suficientemente grande, logo a convergencia
na norma || . ||2 implica
convergencia
na norma || . ||1 , para o mesmo limite. Alem
disso, se (xn ) e
de Cauchy com || . ||2 , entao
tambem
e de Cauchy com || . ||1 , pois para n, t
suficientemente grandes
||xn xt ||1 M||xn xt ||1 .
1.6.1
equivalentes em dimensao
Convergencia fraca e forte sao

finita.
Dada uma norma || . || e (xn ) sequencia

em V , dizemos que xn x forte se
lim ||xn x|| = 0. Dizemos que xn x fraco se para todo T B(V, C) (funcional linear
n
contnuo de V em C), temos que T (xn ) T (x) em C.
40
CAPITULO 1. ANALISE
FUNCIONAL
Propriedade
38. Convergencia
fraca e convergencia
sao
equivalentes em
espacos de dimensao
finita.
Demonstrac ao.
Convergencia
fraca Convergencia
forte.
Tome uma base
(vk )m
k=1
de V , v =
m
X
cj vj V e defina as projecoes
k : V C,
j=1
k (v) = ck .
Defina a norma da soma
||v||S =
m
X
|cj | =
m
X
|j (v)|.
j=1
j=1
Vale que k e um funcional linear contnuo de V , logo temos por convergencia
fraca que, se vn v fraco, entao
k (vn ) k (v), k,
isto e,
|k (vn ) k (v)| 0, k, lim |k (vn ) k (v)| = 0.

n
Disso temos aplicando o limite em cada termo, que

lim ||vn v||S = lim
n
m
X
|k (vn ) k (v)|| = 0,
k=1
logo vn v na norma S. Como toda norma em espacos de dimensao

finita sao
equivalentes, entao
vn v forte, seja qual for a norma adotada em V .
Convergencia
forte Convergencia
fraca.
Seja T qualquer em B(V), e xn x, temos que
||T (xn ) T (x)|| = ||T (xn x)|| ||T || ||xn x|| 0,

logo T (xn ) T (x). Observe que aqui nao
usamos que dim(V) < . Esse resultado
vale em espacos de dimensao
infinita tambem.
41
CAPITULO 1. ANALISE
FUNCIONAL
b Propriedade
39. Todo espaco normado de dimensao

finita V e de Banach.
Demonstrac ao.
Como todas normas sao
equivalentes, vamos considerar a
norma da soma || . ||s . Seja (xt ) uma sequencia
de Cauchy em (V, || . ||),
xt =
n
X
ak (t)ek .
j=1
Pelo fato da sequencia

ser de Cauchy, existe n0 N, tal que para t, m > n0 , tem-se
|al (t) al (m)|
n
X
|ak (t) ak (m)| = ||xt xm ||s <
j=1
, l fixado .
n
(1.3)
Logo (al (t))t e de Cauchy em K, que e completo, logo existe lim al (t) = al . Definimos
t
x=
n
X
ak ek , x V.
k=1
Temos ainda da primeira desigualdade (1.3), que
|al (t) al (m)| <

tomando m , segue que
|al (t) al |
portanto
||xt x||s =
n
X
,
n
, l
n
|ak (t) ak | ,
k=1
logo temos mostramos que a sequencia

de Cauchy converge.
Demonstrac ao.[2]
De outra maneira, sequencias
de Cauchy sao
limitadas,
porem
limitadas em V possuem subsequencias
conver mostramos que sequencias
gente, mas temos tambem

e de Cauchy possui subsequencia
que se uma sequencia
convergente, ela converge para o limite de tal subsequencia,

o que mostra o resultado.
$ Corolario
3. V e fechado, pois todo sequencia
que converge e de Cauchy, e
limite e entao
elemento do espaco.
42
CAPITULO 1. ANALISE
FUNCIONAL
b Propriedade
40. Um subespaco proprio

S de V ( V nao
necessariamente de
dimensao
finita) possui interior vazio.
Demonstrac ao.
Suponha que S possua interior nao-vazio,
entao
ele contem
r
alguma bola B(x, r) . Seja z V , qualquer, tomando y = x +
z, temos que
2||z||
||y x|| =
r||z||
r
= ,
2||z||
2
como S e subespaco, temos que e elemento de S

2||z|| rz
2||z||
(y x) =
= z S,
r
r 2||z||
portanto um elemento arbitrario
de V e elemento de S, o que e absurdo, pois e
subcojunto proprio.
$ Corolario
4. Seja S um subespaco proprio
de um espaco vetorial V , entao
V \S
e denso em V . Seja x um ponto qualquer de V e r > 0 um numero

arbitrario,
entao,
como S possui interior vazio a bola B(x, r) possui elemento de V \ S, por
isso tal conjunto e denso.
1.6.2
Espaco
de Banach com base nao-enumer
avel
b Propriedade
41. Se a base de um espaco de Banach V e infinita entao

ela
e nao-enumer
avel.
Suponha que a base seja enumeravel

(ek )kN , definimos
Vn = [e1 , , en ]. Temos que
[
V=
Vk ,
Demonstrac ao.
k=1
porem
cada Vk e fechado (subespacos de dimensao
finita sao
fechados) e possuem
interior vazio (pois sao
distintos do espaco todo). Entao
conseguimos escrever um
aberto V , como uniao
de conjuntos fechados, que possuem interior vazio,
enumeravel
o que contraria o Teorema de Baire, para espacos completos, absurdo. Entao

a base
de V e nao-enumer
avel.
CAPITULO 1. ANALISE
FUNCIONAL
1.6.3
43
Espaco
de Hilbert
Definic ao
28 (Espaco de Hilbert). Um espaco vetorial H, munido de um
produto interno e completo em relacao

a norma definida por esse produto interno
e chamado de espaco de Hilbert.
1.6.4
Topologia definida por uma famlia de seminormas
Definic ao
29 (Seminorma). Seja E um espaco vetorial . Uma aplicacao
p : E R e dita uma seminorma em E se, para quaisquer x, y E, t K , as

seguintes condicoes
sao
satisfeitas
1. p(x) 0.
2. p(tx) = tp(x).
3. p(x + y) p(x) + p(y).
Se p(x) = 0 x = 0 entao
p e uma norma em E.
Propriedade 42. Se E e um espaco vetorial e e uma forma linear em E
entao
p(x) = |(x)|, x E e uma seminorma em E .
b Propriedade
43. Sejam X um conjunto e F(X, K) o espaco vetorial de todas
as funcoes
de X em K . Para cada x X, fixado, a aplicacao
px : F(x) R com
px (f) = |f(x)| e uma seminorma em F(X, K).
b Propriedade
44. Seja uma famlia de seminormas em um espaco vetorial
E . Para cada p in e r > 0 definimos
44
CAPITULO 1. ANALISE
FUNCIONAL
Bp,r = {y E | p(y) = r}.

A cada x E, associamos um conjunto V(x) de partes de E, definido por,
V V(x) existem (pk )m

1 e r > 0 tais que
x+
m
\
Bpk ,r V.
k=1
b Propriedade
45. Sejam E um espaco vetorial e uma famlia de seminormas
em E. Entao
topologia em E, tal que para cada x E, V(x) e
existe uma unica
m
\
o conjunto de todas vizinhancas de X por . As intersecoes
finitas
Bpk ,r , pk
k=1
, r > 0, formam um sistema fundamental de vizinhancas de 0 por .
m Definic ao
30 (Topologia definida pela famlia de seminormas ). A topologia
da propriedade anterior e dita a topologia definida pela famlia de seminormas

.
1.7
1.7.1
Teorema de Hahn-Banach
Espacos
quocientes
Seja V um espaco vetorial e H um subespaco de L.
m Definic ao
31 (Congruencia
modulo
H). Sejam a, b V , dizemos que
a b mod H a b H.
, caso contrario
denotamos a
/ b mod H .
45
CAPITULO 1. ANALISE
FUNCIONAL
b Propriedade
46. A congruencia
modulo
H e uma relacao
de equivalencia.
Demonstrac ao.
Vale a propriedade reflexiva a a mod H, pois a a = 0 H, pois H e
subespaco, logo contem
o vetor nulo .
Vale a propriedade de simetria, pois a b mod H significa que a b H,
como H e subespaco entao
de a b que e b a tambem
o elemento simetrico
pertence a` H, da b a mod H.
Vale a transitividade, se a b mod H e b c mod H devemos mostrar que
a c mod H, das hipoteses

tem-se a b = h e b c = h 0 somando h + h 0
segue que a b + b c = h + h 0 = a c como H e subespaco temos a soma

h + h 0 = h 00 H logo vale a c mod H
m Definic ao
32 (Classes de equivalencia.).
Classe de equivalencia
de a em V
a = {x V| x a mod H} = {x V| x a H} =
= {x V| x a = h H} = {x V| x = h + a, h H} = H + a.
A notacao
H+a por dar uma ideia intuitiva de que H+a e o conjunto formado
pela soma de a por todos os elementos de H.
m Definic ao
33 (Espaco quociente). Seja V um espaco vetorial e H 0 subespaco.
O conjunto de todas classes de equivalencia
mod H, se chama espaco quociente
de V segundo H, que denotaremos por V/H.
b Propriedade
47 (O espaco quociente e um espaco vetorial). O espaco quo-
ciente V/N = {N + a|a V} e um espaco vetorial com as operacoes

de adicao
(N + a) + (N + b) = N + (a + b),
CAPITULO 1. ANALISE
FUNCIONAL
46
e multiplicacao
por escalar
c(N + a) = N + ca.
Podemos denotar N+a como (a), sendo definida entao
uma funcao
: V V/N,
que e chamada de projecao
canonica.
Demonstrac ao.
Primeiro mostraremos que a operacao
independe dos representantes das classes.
1. Se N + a = N + c e N + b = N + d, entao
(N + a) + (N + b) = N + (a + b) = (N + c) + (N + d) = N + (c + d).
De N + a = N + c, temos que n1 + a = n2 + c, logo a c = n2 = n1 N, da
mesma forma, de N + b = N + d, temos que n3 + b = n4 + d e da b d =
n4 n3 N, isso implica por soma que a c + b d = a + b (c + d) N.

Vale que N + (a + b) = N + (c + d) , para cada n N existe n 0 N tal que
n + (a + b) = n 0 + (c + d) ( e para cada n 0 de modo semelhante) o que realmente

se verifica pois, isso equivale a existir n 0 N tal que n 0 = n + (a + b) (c + d),
que realmente e um elemento de N, pois mostramos que a + b (c + d) N.
2. Se N + a = N + b e c e um escalar, entao
c(N + a) = N + ac = c(N + b) = N + cb.

Para mostrar que N + ac = N + cb, devemos mostrar, de modo semelhante ao
item anterior, que para n N, existe n 0 N, tal que n + ac = n 0 + cb (e de
modo semelhante dado n 0 N, existe n N satisfazendo tal propriedade), o
que equivale a mostrar que n 0 = n+accb N. Porem
temos de N+a = N+b
que, existem n1 , n2 N tais que n1 + a = n2 + b, multiplicando por c e isolando
termos, segue que
ac bc = n2 c n1 c N,
0
como ac bc e elemento de N, entao
como queramos
n = n + ac cb tambem,
demonstrar.
Vamos demonstrar agora as propriedades de espaco vetorial.
CAPITULO 1. ANALISE
FUNCIONAL
47
Associatividade (N + a + N + b) + N + c = N + a + (N + b + N + c)
(N+a+N+b)+N+c = (N+a+b)+N+c = N+a+b+c = N+a+N+b+c = N+a+(N+b+N+c)

onde usamos associatividade em V .
Existencia
do elemento neutro O elemento neutro e N + 0 que simbolizaremos
por N, vale N + aN + 0 = N + a + 0 = N + a.
Existencia
de inverso O inverso de um elemento N + a e N + (a), pois temos
N + a + N + (a) = N + a + (a) = N + 0 = N.
Mostramos assim que um grupo em relacao
a` adicao.
Comutatividade . Vale que
N + a + N + b = N + b + N + a,
pois por comutatividade da adicao
no espaco vetorial, temos a + b = b + a, da
N + a + N + b = N + (a + b) = N + (b + a) = N + b + N + a.
Distributividade escalar. Dados escalares k1 , k2 , vale que
(k1 + k2 )(N + a) = k1 (N + a) + k2 (N + a),

pois
(k1 + k2 )(N + a) = N + (k1 + k2 )a = N + (k1 a + k2 a) =

= (N + k1 a) + (N + k2 a) = k1 (N + a) + k2 (N + a),
Distributividade vetorial. Vale que
k1 (N + a + N + b) = k1 (N + a) + k1 (N + b),
pois
k1 (N + a + N + b) = k1 (N + (a + b)) = N + k1 (a + b) = N + (k1 a + k1 b) =
(N + k1 a) + (N + k1 b) = k1 (N + a) + k1 (N + b).
48
CAPITULO 1. ANALISE
FUNCIONAL
Identidade escalar. Vale que

1(N + a) = N + a,
pois
1(N + a) = N + 1.a = N + a.
Associatividade do produto escalar. Vale que
k1 k2 (N + a) = k1 (k2 [N + a]),
pois
k1 k2 (N + a) = N + k1 k2 a = k1 (N + k2 a) = k1 (k2 [N + a]),
b Propriedade
0
48. Se L e de dimensao
n e L e subespaco de L , com dimensao
0
k, entao
L/L possui dimensao
n k.
Demonstrac ao.
Tome (x1 , , xk ) base de L 0 , complete para uma base de L,
0
(x1 , , xk , xk+1 , , xn ). Entao,
uma base de L|L e ((xk+1 ), , (xn )). Tal conjunto
gera L/L 0 , pois, dado a L, temos que
a=
n
X
ct xt ,
t=1
logo aplicando , segue que

L0
z }| {
k+1
n
n
n
X
X
X
X
(a) = (
ct xt ) = (
ct xt +
ct xt ) = (
ct xt ),
t=1
t=1
t=k+1
t=k+1
entao
o conjunto gera o espaco quociente. Agora vamos mostrar que e LI, suponha
n
X
(
ct xt ) = (0),
t=k+1
entao
n
X
ct xt L 0 e da, se escreve como
t=k+1
n
X
t=k+1
ct xt =
k+1
X
t=1
ct xt
n
X
ct xt = 0,
t=1
de onde segue que cada ct = 0 e portanto ((xk+1 ), , (xn )) e LI. Portanto temos
uma base.
49
CAPITULO 1. ANALISE
FUNCIONAL
Definic ao
34 (Codimensao).
Dados L espaco vetorial e L 0 um dos seus
0
0
subespacos, entao
do subespaco L .
a dimensao
de L/L e chamada de codimensao
Propriedade 49. Se L 0 L possui codimensao

n, podemos escolher em L
elementos x1 , , xn , de maneira que todo elemento x L pode ser representado

de maneira unica
da forma
x=
n
X
!
ck xk
+ y,
k=1
onde cada ck e escalar e y L 0 .
Demonstrac ao.
Propriedade
50. Se uma sequencia

de Cauchy possui uma subsequencia
convergente, entao
ela e convergente e converge para o mesmo limite da subsequencia.
Demonstrac ao.
Sejam (xn ) uma sequencia
de Cauchy em (xnk )k uma subsequencia
com lim xnk =
a. Vale lim xn = a pois
por (xn ) ser de Cauchy q N | m, n > q d(xm , xn ) <

2
e
tomando n0 = max p, q vale que n > n0 existe nk > n0 d(xnk , a) <
2
d(xn , xnk ) < e por desigualdade triangular

2

d(xn , a) d(xn , xnk ) + d(xn , a) < + =
2 2
logo lim xn = a.
> 0p N | nk > p d(xnk , a) <
1.7.2
Convergencia absoluta em espacos
de Banach
Lema 1 (Convergencia
absoluta). Seja N um espaco vetorial normado.
equivalentes as propriedades
Sao
50
CAPITULO 1. ANALISE
FUNCIONAL
1. N e um espaco de Banach.
2. (xn ) N , temos que a convergencia
de
||xk || < implica que
k=0
converge.
xk
k=0
Demonstrac ao.
n
X
1. (1) (2). Supondo que
||xk || converge, tal termo define uma sequencia

de
k=0
Cauchy, logo, dado > 0, existe n0 naturac tal que m, n > n0 implica
m
X
||xk || < ,
k=n+1
porem
vale com zm =
m
X
xk e desigualdade triangular, que
k=1
||
m
X
xk || = ||zm zn ||
k=n+1
m
X
||xk || < ,
k=n+1
portanto (zm ) e de Cauchy, como o espaco e completo, segue que (zn ) converge.
2. (2) (1) . Seja (xk ) uma sequencia
de Cauchy, vamos definir uma subsequencia
1
(xmk ) de (xk ) tal que vale ||xmk+1 xmk || k , k.
2
1
Definimos recursivamente. Dado , existe n01 tal que para m1 , m20 > n01
2
1
vale ||xm20 xm1 || , da fica definido xm1 .
2
1
Dado , existe n02 > n01 , tais que m2 , m30 > n02 > n01 , implicam
4
||xm2 xm1 ||
1
1
e ||xm2 xm30 || ,
2
4
entao,
temos definidos (xm1 ) e (xm2 ) e continuamos o processo recursivamente.
1
Vale entao
||xmk+1 xmk || < 2k k, disso segue que
X
k=1
||xmk+1 xmk || < ,
CAPITULO 1. ANALISE
FUNCIONAL
da pela hipotese
51
(xmk+1 xmk ) tambem

converge, porem
a soma finita resulta
k=1
em
n1
X
(xmk+1 xmk ) = xmn xm1 ,
k=1
que converge com n , logo (xn ), uma sequencia

de Cauchy, possui uma
subsequencia
convergente e portanto tambem
converge.
b Propriedade
51. : V V/N e uma aplicacao

linear sobrejetiva.
A linearidade da aplicacao
Demonstrac ao.
e dada pela definicao
da funcao.
1.7.3
Norma no espaco
quociente
b Propriedade
52. Sejam (V, || . ||) um espaco vetorial normado, N V , um
subespaco fechado, a projecao

entao
canonica,
||(x)||Q = inf {||x y|| | y N} = d(x, N),

e uma norma sobre V/N, chamada norma quociente (vamos suprimir em alguns
momentos o smbolo Q em ||(x)||Q quando se tratar da norma de (x) estaremos
tratando adiante da norma do quociente). Alem
disso, temos que
1. L(V, V/N) e |||| 1.
2. Se V e Banach entao
V/N tambem.
3. Se N e subespaco fechado proprio

de V entao
e uma aplicacao
aberta e
|||| = 1.
Primeiro vamos demonstrar que a norma esta bem definida,
Demonstrac ao.
isto e,
se (x) = (z), entao
suas normas sao
iguais. Supondo a igualdade, temos
0
que N + x = N + z, logo existe y N tal que z x = y 0 , z = x + y 0 , da os conjuntos
A1 = {||z y|| | y N} e A2 = {||x t|| | t N}, sao

iguais, pois, dado um elemento de
tN
z }| {
A1 , ele e da forma ||z y||, tomando z = x + y 0 , ele e do tipo ||x + y 0 y || = ||x t||,
CAPITULO 1. ANALISE
FUNCIONAL
52
da mesma maneira, um elemento de A2 e da forma ||x t||, da usando x = z y 0

yN
z }| {
segue que tal elemento e da forma ||z y 0 t ||, logo A1 = A2 e portanto seus nfimos
sao
iguais, de onde segue que
||(x)|| = ||(y)||.
Portanto a definicao
faz sentido. Vamos provar agora que || . ||Q e uma norma.
Suponha que ||(x)|| = 0, entao
inf {||x y|| | y N} = 0, portanto x N = N,
pois N e fechado, logo (x) = N + x = N, que e o elemento neutro da adicao
do espaco.
Sejam x V , c K \ {0}.
y
y
||(cx)|| = inf {||cxy|| | y N} = inf {|c| ||x || | y N} = |c| inf {||x || | y N}.
c
c
y
Basta mostrar entao
que os conjuntos A1 = inf {||x c || | y N}, A2 = inf {||x
t|| | t N} sao
iguais, de fato, pois um elemento de A1 tambem
e de A2 , pois
y
y
ele e da forma ||x ||, basta entao
tomar t = c e um elemento de A2 tambem
c
e elemento de A1 , pois elemento de A2 e da forma ||x t||, basta entao
tomar
y
tc
y = tc, da ||x || = ||x || = ||x t||, os conjuntos sao
iguais logo possuem
c
c
o mesmo nfimo e vale a igualdade como queramos mostrar.
Desigualdade triangular. Queremos provar que
||(x + y)|| = ||(x) + (y)|| ||(x)|| + ||(y)||.

Dado > 0 fixado, existem y1 , x1 N tais que
||x x1 || ||(x)|| + ,
2
||y y1 || ||(y)|| + ,
2
por propriedade do nfimo. Logo
||(x + y)|| ||x + y (x1 + y1 )|| ||x x1 || + ||y y1 || ||(x)|| + ||(y)|| + ,
como e arbitrario,
segue que
||(x + y)|| ||(x)|| + ||(y)||,

53
CAPITULO 1. ANALISE
FUNCIONAL
1. Seja x V , temos que ||(x)|| ||x||, por definicao

da norma do quociente, alem
disso a aplicacao
e linear, por propriedade que provamos, tal desigualdade
implica que ela e contnua, por isso L(V, V/N) e sua norma
||(x)||
1.
xV\{0} ||x||
|||| = sup
2. Vamos usar o lema de convergencia

absoluta. Seja ((xn )) (V/N)N , tal que
||(xk )|| < .
k=0
Por definicao
da norma, para todo k natural existe yk N, tal que
1
||xk yk || ||(xk )|| + k ,
2
portanto
X
1
||(xk )|| +
||xk yk ||
< .
2k
k=0
k=0
k=0
Como V e completo, sabemos do lema que
n
X
(xk yk ) converge em V , isto e,
k=0
existe algum x tal que
n
X
(xk yk ) x,
k=0
aplicando e usando a continuidade e linearidade, segue que
(xk yk ) =
k=0
(xk ) = (x),
k=0
portanto a serie
converge e pelo lema segue que V/N e de Banach.
3.
b Propriedade
53 (Levantamento). Sejam V e Z espacos vetoriais normados,
L L(V, Z) e N subespaco fechado de V , entao

sao
equivalentes,
1. N e subespaco de KerL = L1 ({0}).
2. Existe uma unica
L 0 : V/N Z linear, tal que
L(x) = L 0 ((x)), x V.
54
CAPITULO 1. ANALISE
FUNCIONAL
Nessas condicoes,
L e contnua L 0 e contnua, L e aberta L 0 e aberta. Vale
que L 0 L(V/N, Z) e ||L 0 || = ||L||. L 0 e linear e possui a mesma imagem que L.
Demonstrac ao.
Suponha as condicoes
satisfeitas. N Ker(L), L : V Z
linear. Defina L 0 : V/N Z com L 0 ((x)) = L(x) . L 0 esta bem definida. Sejam x1 e
x2 , tais que (x1 ) = (x2 ). Vamos mostrar que

L 0 ((x1 )) = L 0 ((x2 )).
Como (x1 ) = (x2 ), entao
existem n1 , n2 N , tais que n1 + x1 = n2 + x2 x1 =
n2 n1 + x2 , logo
L 0 ((x1 )) = L(x1 ) = L(x2 + n2 n1 ) = L(x2 ) + L(n2 n1 ) = L(x2 ) = L 0 ((x2 )).
0
Portanto aplicacao
esta bem definida. Alem
disso L e linear, pois, dados c K,
(x1 ), (x2 ) V/N, temos que
L 0 (c(x1 )+(x2 )) = L 0 ((cx1 +x2 )) = L(cx1 +x2 ) = cL(x1 )+L(x2 ) = cL 0 ((x1 ))+L 0 ((x2 )),
logo e linear, como queramos provar. L 0 possui mesma imagem que L, pois dado
L(x) z, temos que
L 0 ((x)) = L(x).
Alem
disso
||L 0 || =
Definic ao
sup
||(x)||Q =1
||L((x))||z =
35 (Soma direta de r subespacos vetoriais). Dizemos que os
subespacos (Uk )r1 de V sao

independentes ou definem uma soma direta se para
cada Uk temos
Uk (
r
X
Uj ) = {0}.
j=1,j6=k
Escrevemos nesse caso

r
M
k=1
Uk = U1 U2 Ur
55
CAPITULO 1. ANALISE
FUNCIONAL
no lugar da soma de espacos vetoriais

r
X
Uk .
k=1
b Propriedade
54. Dados (Uk )r1 subespacos de V =
r
X
Uk , sao
equivalentes:
k=1
1.
V=
r
M
Uk .
k=1
2. Se
r
X
uk = 0 com uk Uk entao
cada uk = 0.
k=1
3. Dado v V , ele se escreve de modo unico

como
v=
r
X
uk , uk Uk .
k=1
4.
Uk (
k1
X
Uk ) = {0} k
k=1
Demonstrac ao.
1) 2). Suponha
r
X
uk = 0 logo temos
k=1
uj =
r
X
uk
k=1,k6=j
r
X
logo uj Uj e ao conjunto
Uk , entao
uj = 0, como j e um ndice arbitrario
k=1,k6=j
segue que todos sao

nulos.
2) 3). Suponha v =
r
X
k=1
uk =
r
X
uk0 , vamos mostrar que a escrita e unica
k=1
r
X
(uk uk0 ) = 0
k=1
por 2) temos que uk = uk0 , entao

a escrita e unica.
56
CAPITULO 1. ANALISE
FUNCIONAL
3) 4) . Seja uk Uk (
k1
X
Uk ) = {0} k arbitrario
entao
k=1
uk =
k1
X
k1
X
us
s=1
us uk = 0 =
s=1
k
X
s=1
como a escrita e unica

segue que (us = 0)ks=1 , que mostra o desejado.
4) 5). Basta mostrar que (Uk )r1 sao

independentes , isto e,
r
X
Uk (
Us ) = {0} k.
s=1,s6=k
comecamos com k = r a condicao

4) ja nos fornece que
r
X
Ur (
Us ) = {0}.
s=1,s6=r
r
X
Se uj Uj (
Us ) entao
s=1,s6=j
uj =
r
X
r
X
us ur = uj +
s=1,s6=j
us
s=1,s6=j,s6=r
logo ur = 0, agora aplicamos o mesmo raciocnio para mostrar que ur1 = 0 e

assim por diante, no fim chegamos que cada uk = 0 k, em especial uj = 0.
1.7.4
Soma direta topologica
Definic ao
36 (Soma direta topologica).
Dizemos que V e soma direta to
pologica
de M e N. Se a aplicacao
linear betiva f : M N V , f(m, n) = m + n

e um isomorfismo de espacos vetoriais, isto e,
e uma becao
linear contnua com
M
inversa contnua. Neste caso escrevemos V = M
N, denotaramos a soma
M
algebrica
por A
B. Iremos considerar aqui M N munido da norma produto,
como por exemplo a norma do maximo
||(m, n)|| = max{||m||, ||n||}.
57
CAPITULO 1. ANALISE
FUNCIONAL
37. Considerando a definicao

as
anterior definimos tambem
Definic ao
projecoes,
PM : V M e PN : V N com PM (m + n) = m, PN (m + n) = n.
Com isso temos a inversa de f, f1 = (PM , PN ).
55. Nas hipoteses

acima, X = M
Propriedade
N vale uma das
projecoes
PM ou PN seja contnua.
Demonstrac ao.
b Propriedade
56. Com X = M
1
1
N, entao
M = PM ({0}) e N = PN ({0}) sao
subespacos fechados.
Demonstrac ao.
m Definic ao
38 (Suplementar topologico).
Seja (V, || . ||) de Banach, M subespaco
de fechado de V . Dizemos que M tem um suplementar topologico

se existe N
M
subespaco fechado de V tal que X = M
N.
Em geral nao
e verdade que um subespaco fechado possui um suplementar topologico.
Como pode-se mostrar l , mas por outro lado sempre pode-se trabalhar
com V/.
1.8
Lema de Zorn
Antes de apresentar uma demonstracao

do Teorema de Hahn-Banach, iremos
apresentar alguma teoria e conceitos que serao
usados.
m Definic ao
39 (Relacao
de ordem). Seja F um conjunto, uma relacao
sobre
F e dita de ordem se
1. x x x F. Reflexividade.
CAPITULO 1. ANALISE
FUNCIONAL
58
2. Se x y e y z entao
x z . Transitividade.
3. Se x y e y x entao
x = y.
Definic ao
40 (Relacao
de ordem total e parcial). Se todos elementos do
conjunto F sao
, isto e,
comparaveis
x, y F vale x y ou y x, entao
a relacao
e dita ser uma relacao
de ordem total e F e dito ser totalmente
ordenado, caso contrario
F e dito ser parcialmente ordenado.
m Definic ao
41 (Conjunto indutivo e cota superior). Se (f, ) e um conjunto
parcialmente ordenado, logo (f, ) e dito indutivo se T F com (T, ) totalmente ordenado existe x F tal que t x t T , nesse caso x e dito ser cota
superior de T .
m Definic ao
42 (Elemento maximal). Um elemento m F e dito maximal se o
unico
x em F tal que m x e x = m.
Propriedade 57 (Lema de Zorn). Seja 6= e (, ) um conjunto parci-
almente ordenado e indutivo. Logo possui pelo menos um elemento maximal.

Em outras palavras, se todo conjunto totalmente ordenado F possui uma cota
superior, entao
possui um elemento maximal.
F Teorema 4 (Teorema de Hahn-Banach). Sejam V um espaco vetorial sobre R,

uma funcao
p : V R satisfazendo
1.
p(cx) = cp(x), x V, c > 0,
59
CAPITULO 1. ANALISE
FUNCIONAL
2.
p(x + y) p(x) + p(y), x, y V.

Seja N subespaco de V , e g : N R funcional linear, tal que
g(x) p(x), x N.
Entao,
existe um funcional linear f definido em V , que estende g, tal que g(x) =
f(x), x N e
f(x) p(x), x V.
Demonstrac ao.[Caso
particular] Faremos o caso em que N possui codimensao
1, nesse caso existe x V , tal que
V=N
R.x,
em particular, t V , existe (y, x) N R, tal que
t = y + mx.
Definimos f : V R com
=:c
z}|{
f(y + mx) = g(y) + m f(x),
onde c sera escolhido. Por definicao
f e linear e sua restricao
a` N e g, pois nesse
caso m = 0, falta verificar a limitacao.
Deve valer que
g(y) + mc = f(y + mx) p(y + mx), y N, m R,

temos a validade para m = 0 por condicao
g(y) p(y), vericaremos entao
para
m 6= 0, analisamos os casos m > 0 ou m < 0. Basta verificar entao
que
g(y) + mc p(y + mx),

g(y) mc p(y mx), y N, m > 0.
Isso equivale, dividindo por m, que
g(
y
y
) + c p( + x),
m
m
60
CAPITULO 1. ANALISE
FUNCIONAL
g(
denotando
y
y
) c p( x), y N, m > 0,
m
m
y
como z, isso equivale a`
m
g(z) + c p(z + x),
g(z) c p(z x), z N,
o que equivale
g(z) p(z x) c p(z + x) g(z), z N.

Precisamos achar c R satifazendo tal desigualdade, sendo possvel se
sup {g(z) p(z x), z N} inf {p(z + x) g(z), z N},
{z
}
|
{z
}
|
A0
B0
basta verificar que a b, a A 0 , b B 0 , isto e,
g(z) p(z x) p(z 0 + x) g(z 0 ), z, z 0 N,

o que equivale
g(z + z 0 ) p(z x) + p(z 0 + x),

0
0
0
0
porem
g(z + z ) p(z + z ) = p(z x + z + x) p(z x) + p(z + x), entao
fica
demonstrada a existencia
da constante c e o teorema esta provado.
Demonstrac ao.[Caso
geral] Seja N 6= V e g : N R linear, com g(y)
p(y), y N. Definimos

=
(W, s) | N W V e s : W R linear, tal que s|N = g,

s(w) p(w), w W.
Em , definimos a ordem parcial (W1 , s1 ) (W2 , s2 ) se W1 W2 e s2 |W1 = s1 .

Queremos verificar as hipoteses
do Lema de Zorn. Temos que nao
e vazio, pois
(N, g) . Seja F um conjunto totalmente ordenado, ele e da forma F = {(Wk , sk ), k
I} , para alguma classe de ndices I. Definimos

U=
Wk ,
kI
e s : U R tal que s|Wk = sk , k I. Afirmamos que (U, s) e uma cota superior de F

e iremos verificar que
CAPITULO 1. ANALISE
FUNCIONAL
61
1. N U V , U sendo subespaco vetorial. Temos que N W V, W com
(W, s) , por definicao

do conjunto, logo por uniao
dos elementos, tambem
segue que N U V. Provamos agora que e subespaco. Sejam x, y U e

c R. Logo x Wi , y Wj , e cx Wi U. Podemos supor Wi Wj , logo
x + y Wj U.
2. s e bem definida e linear. Suponha x Wi Wj , i, j I. Podemos supor que
Wi Wj , logo sj |Wi = si e da
s(x) = sj (x) = si (x),

s esta bem definida. Alem
disso s e linear em U, pois dados cx1 + x2 , temos
cx1 Wi , x2 Wj , supondo sem perda de generalidade que Wi Wj , logo
cx1 + x2 Wj e
s(cx1 + x2 ) = sj (cx1 + x2 ) = csj (x1 ) + sj (x2 ) = cs(x1 ) + s(x2 ).
Pelo lema de Zorn possui um elemento maximal (W, s) . Afirmamos que W = V.
Por contradicao,
de V , existe x1 V \ W , entao
se W e subespaco proprio
pelo caso
e : W a Rx1 R linear tal que
particular do Teorema de Hahn-Banach, existe S

eW = s
S|
e
S(x)
p(x), x W a Rx1 .
e , mas da (W, s) = (W a Rx1 , S)

e , pois o
O que implica (W, s) (W a Rx1 , S)
elemento e maximal, e da x1 W o que e uma contradicao.
Entao
W = V e a
extensao
obtida funciona para o espaco todo.
1.9
1.9.1
Corolarios
do Teorema de Hahn-Banach
que preserva a norma
Extensao
b Propriedade
58 (Hahn-Banach-1). Sejam (V, || . ||) um K espaco vetorial, K
e V
sendo corpo real ou complexo, N subespaco de V e L N . Entao,
existe L
satisfazendo
e N = L. L
e e extensao
1. L|
de L .
62
CAPITULO 1. ANALISE
FUNCIONAL
e V = ||L||N .
2. ||L||
Caso K = R. Seja p(x) = ||L||N 0 ||x||. Isso implica
Demonstrac ao.
1. Vale p(cx) = cp(x), c > 0, x V, pois
p(cx) = ||L||N 0 ||cx|| = c||L||N 0 ||x||.

2. p(x + y) p(x) + p(y), x, y V, pois
p(x + y) = ||L||N 0 ||x + y|| ||L||N 0 ||x|| + ||L||N 0 ||y|| = p(x) + p(y).
Alem
disso
L(y) |L(y)| ||L||N 0 ||y|| = p(y), y N.

Estamos em condicoes
de aplicacao
do teorema de Hahn-Banach. Existe, entao
uma
e : V K linear, tal que L|
eN =L e
extensao
L
e
L(x)
p(x) = ||L||N 0 ||x||, x V.
Temos em particular que
e
e
e
L(x)
= L(x)
||L||N 0 ||x|| |L(x)|
||L||N 0 ||x||, x V.
Como L e linear e contnua entao
||L||N 0 e finito, pois existe C tal que |L(x)| C||x|| e
|L(x)|
e
possui supremo limitado e portanto da desigualdade |L(x)|
||L||N 0 ||x||, x
da
||x||
e
|L(x)|
e e contnua, por caracterizacao
V,
e limitado, portanto L
de operador contnuo,
||x||
e V 0 e por propriedade do supremo
entao
L
e V 0 ||L||N 0 .
||L||
Por outro lado,
=L(y)
e V0 =
||L||
sup
||x||1, xV
e
|L(x)|
sup
||y||1, yN
z}|{
e
| L(y)
| = ||L||N 0 ,
o que implica, das duas desigualdades, que
e V 0 = ||L||N 0 .
||L||
Agora vejamos o segundo caso, onde K = C. Sejam L(y) = S(y) + iT (y), onde
63
CAPITULO 1. ANALISE
FUNCIONAL
S, T : N R funcoes
R-lineares.
|S(y)| |L(y)| ||L||N 0 ||y||, y N.
Alem
disso, dado que L e C-linear, observamos que
L(iy) = S(iy) + iT (iy) =

= iL(y) = T (y) + iS(y),
como S e T assumem valores reais, igualando as partes reais, temos que T (y) =
S(iy), y N. Entao
L(y) = S(y) iS(iy), y N. Pelo primeiro caso, existe
0
e V , pois S e linear, assume valores em R, sendo tambem
S
limitada por p(x). Temos
que
eN = S
S|
e V 0 = ||S||N 0 .
||S||
e
e
e
e N = L, pois S|
e N = S e L(y) =
Definimos L(x)
= S(x)
iS(ix),
x V. Entao
vale L|
S(y) iS(iy). Temos entao
que
e e C linear, pois por propriedade da extensao,
e e R-linear e vale L(x)
e
1. L
=
S
e iS(ix)
e
e e R-linear, mas tambem
S(x)
da L
e linear sobre i, pois
e
e + S(ix),
e
iL(x)
= iS(x)
e
e
e
e
e
L(ix)
= S(ix)
iS(x)
= S(ix)
+ iS(x),
e
e
e e C-linear.
logo iL(x)
= L(ix).
Portanto L
e e contnua e ||L||
e V 0 ||L||N 0 . Pois, seja x V 0 . L(x)
e
2. L
C implica que existe
R tal que
i
e
e
e
e
= |L(x)|
L(x)
= |L(x)|e
ei L(x)
| {z }
e
L(ei x)
e da, por ser real a parte imaginaria

e nula, entao
e
e i x) = S(e
e i x) |S(e
e i x)| ||L||N 0 ||ei x||,
|L(x)|
= L(e
e e linear e contnua, pertencendo a V 0 , alem
e ||L||N 0 .
Por isso L
disso ||L||
64
CAPITULO 1. ANALISE
FUNCIONAL
1.9.2
contnua.
Exemplo de L : X K, linear, nao
Z Exemplo 5. Existem aplicacoes

L : X K que nao
sao
contnuas, quando X
0
possui dimensao
infinita. Por exemplo, considere X = C ([0, 1]) com || . ||1 , definida
pela integral, por
||f||1 =
Z1
0
|f(t)| dt.
Seja L : (X, || . ||) K, L(f) = f(0). L e linear, pois
L(cg + h) = cg(0) + h(0) = cL(g) + L(h).

1
Porem
nao
e contnua. Seja fn definida como fn (x) = 0 se x > n , fn (x) = 1 xn
1
quando x . Temos que
n
L(fn ) = fn (0) = 1 n N.
Porem
temos que
Z
||fn ||1 =
b Propriedade
1
n
1 xn dx =
1
1
1
1
1
n 2 =
=
0.
n
2n
n 2n
2n
59 (Hahn-Banach-2). Sejam X um K espaco vetorial, x0 X\{0}.
0
Entao
existe L0 X tal que
||L0 ||X 0 = ||x0 ||.

L0 (x0 ) = ||x0 ||2 .
Seja S0 : Kx0 K com S0 (cx0 ) = c||x0 ||2 . S0 e linear, pois
Demonstrac ao.
S0 (tc1 x0 +c2 x0 ) = S0 ([tc1 +c2 ]x0 ) = [tc1 +c2 ]||x0 ||2 = tc1 ||x0 ||2 +c2 ||x0 ||2 = tS0 (c1 x0 )+S0 (c2 ).
Temos tambem
que e contnua, pois
|S0 (cx0 )| = |c|||x0 ||2 = ||cx0 ||.||x0 ||
|S0 (cx0 )|
||x0 ||.
||cx0 ||
Portanto S0 (Kx0 ) 0 e ||S0 ||(Kx0 ) 0 = ||x0 || pois a cota superior ||x0 || e alcancada com
65
CAPITULO 1. ANALISE
FUNCIONAL
c = 1, em
|S0 (x0 )|
= ||x0 ||.
||x0 ||
Pelo Hahn-Banach-1. Existe L0 V 0 , tal que

L0 |kx0 = S0 ,
||L0 ||X 0 = ||S0 ||(Kx0 ) 0 .
Logo,
||L0 ||X 0 = ||S0 ||(Kx0 ) 0 = ||x0 ||.
L0 (x0 ) = S0 (x0 ) = ||x0 ||2 .
Propriedade 60 (Hanh-Banach-3). Seja V um k-espaco vetorial normado.
x V , temos que
||x|| =
sup
LV 0 , ||L||V 0 1
{|L(x)|} =
max
LV 0 , ||L||V 0 1
|L(x)|.
0
Se x = 0 o resultado vale. Seja entao
Demonstrac ao.
x V, x 6= 0. Se L V ,
com ||L||V 0 1 entao
|L(x)| ||L||V 0 .||x|| ||x||,

ou seja
||x||
sup
LV 0 , ||L||V 0 1
|L(x)|.
Pelo Hahn-Banach-2, segue que existe L0 V 0 , tal que

||L0 ||V 0 = ||x||,
L0 (x) = ||x||2 .
Definimos L1 =
1
L0 V 0 , vale em especial que
||x||
L1 (x) =
Tal funcional satisfaz ainda
1
||x||2
L0 (x) =
.
||x||
||x||
66
CAPITULO 1. ANALISE
FUNCIONAL
||L1 ||V 0 = 1
sup
LV 0 , ||L||V 0 1
|L(x)| ||x||, pois |L1 (x)| = ||x||.
Da outra desigualdade, isso implica que
sup
LV 0 , ||L||V 0 1
|L(x)| = ||x|| = |L1 (x)|. Como
queramos demonstrar.
0
Pela definicao
de norma em V ,
||L||V 0 := sup |L(x)|.

||x||V 1
Acabamos de ver que,
||x|| = sup |L(x)| = max |L(x)|.

||L||V 0 1
||L||V 0 1
1.10
Exemplos de espacos
duais
1.10.1
Duais dos espacos
lp (N).
Definic ao
43. Sejam V, Y , dois espacos vetoriais. Seja : X Y linear e
sobrejetiva. Dizemos que e uma isometria se
||(x)|| = ||x||, x V.
Neste caso e injetiva, logo e um isomorfismo de espacos vetoriais.
F Teorema
5. Sejam p, q [1, ], conjugados. Entao

existe uma isometria
: lq (lq ) (lp ) 0 , onde leva uma sequencia

em um funcional linear.
(z) : lp K, com z = (zn ), x = (xn ),

< (z), x >=
zk xk .
k=0
As vezes poderemos denotar < (z), x > como < z, x > . Alem
disso, se p [1, ),
p
q
0
1
e sobrejetiva, isto e,
l e isomorfo a l . Se p = , (l ) ) l .
Seja z lq e x lp . Por Holder,

Demonstrac ao.
temos que
X
k=0
|xk zk | ||x||p .||z||q .
67
CAPITULO 1. ANALISE
FUNCIONAL
Entao
< (z), x >=
xk zk , converge absolutamente, logo converge. Alem

disso
k=0
| < (z), x > |
|xk zk | ||x||p .||z||q .
k=0
p
p 0
E claro tambem
que (z) : l K e linear. (z) (l ) e ||(z)||(lp ) ||z||q . Pois,
| < (z), x > |

||z||q .
||x||p
Lembrando que
| < (z), x > |

.
||x||p
||(z)||(lp ) = sup
xlp
Agora vamos mostrar que e uma isometria .

Caso p (1, ) e ||z||q = 1. Dado z = (zn ) lq , definimos x = (xn ) por
xn = |zn |q/p eiarg(zn ) .

Lembrando que
1
1
+ = 1 multiplicando por q, segue que
p q
1+
q
q
=qq1= .
p
p
Lembramos que
z = |z|(cos() + isen()) = |z|ei ,

onde = arg(z). Por isso xn assume a seguinte forma
xn = |zn |q1 eiarg(zn ) =

Logo
< (z), x >=
|zn |q
xn .zn = |zn |q .
|zn |eiarg(zn )
X
k=0
xk zk =
|zk |q = 1.
k=0
q
Temos ainda que de q 1 = , multiplicando por p segue que qp = p + q, da
p
|xn |p =
|zn |pq
|zn |p+q
=
= |zn |q .
|zn |p
|zn |p
Logo ||xn ||p = 1 e
< (z), x >

= ||z||q = 1,
||x||p
o valor 1 e alcancado.
68
CAPITULO 1. ANALISE
FUNCIONAL
z
, vale que ||e
z||q = 1, logo pelo
||z||q
mesmo procedimento apresentado acima, temos que existe e
x lp com ||e
x||p = 1,
Caso p (1, ), z lq \ {0}. Definimos e

z=
de modo que
z}|{
< (e
z), e
x >= 1 < (z), e
x >= ||z||q . ||e
x||p ,
logo o valor e alcancado e temos que (z) realmente define uma isometria.
p = 1, q = . Sejam z l , e(n) = (0, , 1, 0, ) lp , p sequencia
com
n-esima
coordenada 1 e todas outras nulas. Temos que
| < (z), e(k) > | = |zk | ||(z)||1
z }| {
||e(k)||,
isso implica que
||(z)||1 sup |zk | = ||z|| ,

kN
e da outra desigualdade que demonstramos segue a igualdade.

Caso p = e q = 1. Seja z l1 , definimos x = (xn ), por
zn , zn 6= 0
|zn |
xn =
1, z n = 0
Disso segue que x l e ||x|| = 1. Perceba tambem
que zk .xk = |zk |. Temos
ainda, que
X
< (z), x >=
|zk | = ||z||1 = ||z||1 ||x|| ,
k=0
logo atinge o sup, sendo portanto isometria.

{ Agora vamos provar que e sobrejetiva. Considere p [1, ). Seja T
p
(lp ), isto e,
um funcional, linear limitado de l em K, queremos achar
X
q
z l tal que T = (z), isto e,
xk zk , x lp .
T (x) =< (z), x >=
k=0
Definimos zk = T (e(k)), k N. Vamos provar que T = (z) e z lq . Seja
mN e
w(m) =
zk e(k) = (z1 , , zm , 0, ),
k=0
temos que
< (w(m)), x) >=
m
X
X
k=0
w(m)k xk =
m
X
k=0
z k xk =
m
X
k=0
T (ek )xk = T (
m
X
k=0
ek xk ),
69
CAPITULO 1. ANALISE
FUNCIONAL
o que implica
| < (w(m), x) > | = |T (
m
X
ek xk )| ||T ||p 0 ||a(m)||p = ||T ||p 0
m
X
!1/p
|xk |
k=0
k=0
| {z }
a(m)
(usamos a(m) = (x0 , x1 , , xm , 0, )
||T ||p 0 ||x||p .

Isso implica que
||(w(m))||p 0 = ||w(m)||q ||T ||p 0 ,

a igualdade com ||w(m)||q segue do fato de termos uma isometria.
Temos que ||w(m)||q =
m
X
!1/q
|zk |
, tomando m , segue que
k=0
||z||q ||T ||p 0 < ,

o que implica que o z escolhido pertence a` lq .
Vamos mostrar que T = (z) . Seja x lp , x = (xn ) . Definimos
u(m) =
m
X
xk e(k).
k=0
Pela definicao
de z, vale que
< (z), u(m) >=
m
X
zk xk = T (u(m)).
|{z}
k=0 T (e(k))
Afirmamos que u(m) x em lp , o que realmente e verdade pois

!1/p
X
||x u(m)||p =
|xk |p
0,
k=m+1
quando m , pois x lp e o resto de uma serie

convergente tende a zero
pelas somas parciais definirem uma sequencia

de Cauchy. Isso implica por
continuidade que
< (z), x >= T (x), x lp .

Logo a aplicacao
e sobrejetiva, como queramos demonstrar.
Considere aberto do Rn e medida de Lebesgue.
70
CAPITULO 1. ANALISE
FUNCIONAL
F Teorema 6. Sejam p e q conjugados em [1, ). Existe uma isometria linear

: Lq (Lq ()) (Lp ) 0 . Dada por (f), onde onde dado g Lp , temos
Z
< (f), g >=
fgd.
q
p 0
Alem
disso, se p [1, ), e sobrejetiva. (L ) e isomorfo a L . Se p = ,
L ) L1 .
1.11
geometrica
Teorema de Hahn-Banach versao
m Definic ao
44 (Hiperplano afim). Um hiperplano afim, de um espaco vetorial
real e um conjunto da forma
{x V, | L(x) = } := [L = ].
Onde R, L : V R e linear e L 6= 0 .
b Propriedade
61. O hiperplano [L = ] e fechado L V 0 .
Demonstrac ao.
). Se L V 0 , [L = ] = L1 () e fechado por ser imagem
inversa de um fechado .
c
). Suponha que [L = ] e fechado. Entao
o complementar [L = ] e aberto,
c
entao,
existe r > 0 tal que B(x0 , r) [L = ] . Assuma sem perda de generalidade
que L(x0 ) > . Entao

vale para todo y B(x0 , r) que, L(y) > . Nao
pode haver
y B(x0 , r) tal que L(y) = , pois B(x0 , r) [L = ]c . Se existisse y1 B(x0 , r), tal
que L(y1 ) < , considere g : [0, 1] B(x0 , r) com g(t) = y1 t + y(1 t), temos que g e
contnua, pois
||g(t) g(t0 )|| = ||y1 t + y(1 t) y1 t0 y(1 t0 )|| ||y1 || |t t0 | + ||y|| |t t0 |,

pode ser tomado arbitrariamente pequeno dado que |t t0 | seja pequeno. Como L e
contnua a composicao
h = L g : [0, 1] R e contnua, porem
temos que
h(0) = L(y) < , h(1) = L(y1 ) > ,
71
CAPITULO 1. ANALISE
FUNCIONAL
portanto por continuidade, existe c (0, 1) tal que h(c) = L(y1 c + y(1 c)) = o que
e absurdo, pois nenhum elemento da bola B(x0 , r) possui imagem por L resultando
em , absurdo. Dado x B(0, r), x + x0 B(x0 , r), logo
L(x + x0 ) = L(x) + L(x0 ) > L(x) > L(x0 ) = (L(x0 ) ), isto e c > L(x).
|
{z
}
c>0
Se x B(0, x) entao
x B(0, r), pois ||x|| = || x|| < r, da
L(x) > c c > L(x).

Portanto c > |L(x)|, x B(0, r). Agora seja x V, ||x|| 6= 0, temos que e
x=
B(0, r), logo

|L(e
x)| < c |L(x)| <
rx
2||x||
2c||x||
L V 0.
r
Como queramos demonstrar.
Definic ao
45 (Separacao
de pontos por hiperplano). Sejam (V, || . ||) um
R-espaco vetorial, R e L : V R, A, B V. Dizemos que

1. O hiperplano [L = ], separa A e B, no sentido amplo, se
L(a) L(b), a A, b B.
2. O hiperplano [L = ], separa A e B, no sentido estrito, se existe > 0, tal
que
L(a) + L(b), a A, b B.
Lema 2 (Funcional de Minkowski). Seja (V, || . ||, um espaco vetorial real, C V
convexo, aberto que contem
o ponto 0. Definimos
p(x) = inf { > 0 |
x
C} [0, ).
Entao,
valem as propriedades:
1. Existe M > 0, tal que p(x) M.x, x V .
72
CAPITULO 1. ANALISE
FUNCIONAL
2. p(rx) = rp(x), r 0.
3. p(x + y) p(x) + p(y).
4. C = {x V | p(x) < 1}.
Demonstrac ao.
(1). Como C e aberto, 0 C, existe r > 0, tal que B(0, r) = {y V | ||y|| r} C.
Se x V \ {0},
x
r x
=
B(0, r) C.
||x||
2 ||x||
2
| {zr }
=x
x
Como p(x) e o nfimo dos , tais que vale
C, com a observacao
anterior
percebemos que
2
p(x)
||x||,
r
|{z}
M
por propriedade do nfimo.

(4). Seja x C \ {0}, existe r > 0 tal que B(x, r) C. Definindo =
entao
r
> 0,
2||x||
x
rx
B(x, r) C.
= (1 + )x = x +
1
2||x||
+ }
|1 {z
1
< 1. Portanto C {x V | p(x) < 1}. Vamos
1+
provar agora que {x V | p(x) < 1} C. Seja x V tal que p(x) < 1, por
x
definicao
do nfimo, existe > 0 tal que C e p(x) < 1 . Alem
disso
como c e convexo, temos que
O que implica que p(x)
x
x = + (1 ).0 C,
por hipotese
de convexidade. Entao
temos que C {x V | p(x) < 1} e

{x V | p(x) < 1} C, disso segue a igualdade dos conjuntos.
(2). Para r = 0 e trivial. Seja entao
r > 0.
x
x
p(rx) = inf { > 0 | C} = inf {ru > 0 | C} =
u
r
r inf {u > 0 |
x
C} = rp(x).
u
73
CAPITULO 1. ANALISE
FUNCIONAL
(3) Sejam x y V e > 0. Por (4) temos

p(x)
x
x
=
<1
C.
p
p(x) +
p(x) +
p(x) +
O mesmo para y. De convexidade de C, dado [0, 1], temos que
x
p(x)+
y
p(y)+
1
C.
(1.4)
Procuramos [0, 1] tal que
p(y) +
p(x) +
=
(1)(p(x)+) = (p(y)+) (p(y)+p(x)+2) = p(x)+
1
=
p(x) +
p(y) +
[0, 1], 1 =
.
p(x) + p(y) + 2
p(x) + p(y) + 2
O que implica tambem
que
p(x) +
= p(x) + p(y) + 2, substituindo em (1.4) segue
x+y
C,
p(x) + p(y) + 2
logo a aplicacao
em tal valor por p e menor que um. O que implica
P(x + y) p(x) + p(y) + 2,
com arbitrario,
logo vale P(x + y) p(x) + p(y).
F Teorema 7 (Hahn-Banach-1 forma geometrica).

Sejam (V, || . ||) um espaco
vetorial real, A, B V , conjuntos nao-vazios,

convexos e disjuntos. Se, alem
disso A e aberto, entao

existe um hiperplano fechado que separa A e B no sentido
amplo.
Demonstrac ao.[Caso
1] Seja C conexo, aberto nao-vazio
e x0 V \ C. Entao,
existe L V 0 , tal que L(x) L(x0 ), x C. Em particular o hiperplano fechado
[L = L(x0 )] separa C e {x0 } no sentido amplo.

Basta provar o caso quando 0 C, pois C sendo nao-vazio,
existe x1 C, x1 6=
x0 . Definimos Tx1 : V V com Tx1 (x) = x x1 . Vale que Tx1 (C) e convexo,
aberto e 0 Tx1 (C). Tx1 e uma becao
contnua com inversa contnua, portanto
Tx1 (C) e aberto. Tx1 (C) e convexo pois, dado y1 , y2 Tx1 (C), entao
t [0, 1],
74
CAPITULO 1. ANALISE
FUNCIONAL
m = y1 t + y2 (1 t) Tx1 (C). Sabemos que y1 = z1 x1 , y2 = z2 x1 , z1 , z2 C,

logo
m = (z1 x1 )t + (z2 x1 )(1 t) = z1 t + z2 (1 t) x1 t + x1 t x1 = l x1 ,

|
{z
}
lC
onde usamos l C por convexidade de C, portanto m e imagem de um elemento

de C por Tx1 , logo Tx1 (C) e convexo. Vale tambem
que Tx1 (x1 ) = 0 Tx1 (C).
Supondo a validade para um espaco conexo, aberto, com 0 Tx1 (C), temos
x0 6 Tx1 (C) e existe L V 0 , tal que

L(y) < L(Tx1 (x0 )), y Tx1 (C).
Isto e,
x C,
L(x x1 ) < L(x0 x1 ) L(x) < L(x0 ).

Provamos o caso 0 nao
sendo elemento do aberto, convexo, usando a validade
para um aberto convexo, com 0 sendo elemento. Agora iremos provar o caso
0 C.
Pelo lema, existe p : V R, satisfazendo as (4) propriedades do lema. Definimos
L : Rx0 R com L(x0 ) = p(x0 ). R+ ,

L(x0 ) = L(x0 ) = p(x0 ).
Se < 0,
L(x0 ) = |{z}
p(x0 ) 0 p(x0 ).
| {z }
<0
Entao
para qualquer R temos L(x0 ) p(x0 ), R. Pelo teorema de Hahne : V R, tal que
Banach (forma analtica), existe uma extensao
L
e rx = L, L(x)
e
L|
p(x), x V.
0
Vale ainda que
e
e
e
L(x)
p(x) M||x||, x V, L(x)
= L(x)
M|| x|| = M||x||,
e
e V 0 . Pela propriedade (4) do Lema anterior,
da |L(x)|
M||x||, o que implica L
temos que x C, vale
e
e 0 ),
L(x)
p(x) < 1 p(x0 ) = L(x0 ) = L(x
pois x0
/ C. Entao
fica provado o resultado.
75
CAPITULO 1. ANALISE
FUNCIONAL
geral] Sejam A e B dois convexos, nao-vazios
e dis
juntos, A aberto, C = A B := {a b | a A, b B}. C e aberto, pois
[
C=
(A \ {b}),
bB
por ser uniao

de abertos. C e nao
vazio, pois A e B sao
disjuntos. C e convexo, pois
sejam x1 e x2 em C, queremos mostrar que
m = x1 t + (1 t)x2 C, t [0, 1].

Temos que x1 = a1 b1 , x2 = a2 b2 , a1 , a2 A, b1 , b2 B, A e B convexos. Temos
que
m = ta1 tb1 + (1 t)(a2 b2 ) =

= ta1 + (1 t)a2 [tb1 + (1 t)b2 ] = a3 b3 ,
{z
} |
{z
}
|
A
onde usamos que A e B sao

convexos, portanto C tambem
e convexo. Pelo caso
particular, existe L V 0 , tal que
L(z) L(0) = 0, z C,
como z = a b, a A, b B arbitrarios,
temos
L(a b) = L(a) L(b) 0 L(a) L(b), a A, b B.

De onde segue que existe R, tal que
sup L(a) inf L(b),
aA
bB
que implica finalmente
L(a) L(b), a A, b B,
F Teorema 8 (Hahn-Banach-Segunda forma geometrica).

Sejam V um espaco
vetorial real, A, B V convexos nao-vazios,

disjuntos. Se alem
disso A e fechado
e B e compacto, entao
existe um hiperplano fechado que separa A e B no sentido
estrito.
76
CAPITULO 1. ANALISE
FUNCIONAL
Existe 0 > 0 tal que d(A, B) = inf {d(x, y), x A, y B} = 0 .

Demonstrac ao.
Temos que B = K um compacto e A = F um fechado. Suponha que d(A, B) = 0, entao
1
conseguimos uma sequencia
(xn ) em K e (yn ) F tal que d(xn , yn ) < , como os
n
conjuntos sao
disjuntos entao
(xn ) possui infinitos elementos distintos e por isso,
possui subsequencia
que converge para um elemento L de K, por K ser compacto.
Passamos a subsequencia
se necessario,
ela converge para um ponto L K, porem
por desigualdade triangular
d(yn , L) d(xn , yn ) + d(xn , L)
1
+ d(xn , L)
n
logo yn tambem
converge para L, como F e fechado L F e L K, o que e absurdo
pois partimos que os conjuntos sao
disjuntos. Entao
fica provado o resultado.
d(A, B)
, definimos
Seja =
3
A = A + B(0, ) = {a + x | a A, x B(0, )},

e B = B + B(0, ) de modo similar. A e B sao
convexos. Pois a soma de dois
convexos, ainda e um conjunto convexo. Em geral, sejam A 0 e B 0 convexos, entao
0
0
C = A + B e convexo, pois sejam x1 e x2 em C, queremos mostrar que
m = x1 t + (1 t)x2 C, t [0, 1].

Temos que x1 = a1 + b1 , x2 = a2 + b2 , a1 , a2 A 0 , b1 , b2 B 0 , A 0 e B 0 convexos.
Temos que
m = ta1 + tb1 + (1 t)(a2 + b2 ) =

= ta1 + (1 t)a2 + [tb1 + (1 t)b2 ] = a3 + b3 ,
{z
} |
{z
}
|
A
onde usamos que A e B sao

convexos, portanto C tambem
e convexo. A bola e
convexa pois, dados x1 , x2 B(x0 , r), queremos mostrar que x1 t + x2 (1 t) B(x0 , r)
0
para t [0, 1]. Temos que (usando x0 = tx0 + (1 t)x0 )
||x1 t + x2 (1 t) x0 || t||x1 x0 || + ||x2 x0 ||(1 t) tr + (1 t)r = r,

logo x1 t + x2 (1 t) B(x0 , r) e provamos a convexidade.
Alem
disso A e B sao
abertos, pois
A =
[
kA
(B(0, ) + a) ,
77
CAPITULO 1. ANALISE
FUNCIONAL
uniao
de abertos e aberto e B(0, ) + a e um conjunto aberto, pois e imagem de
f : B(0, ) v com f(x) = x + a, que e contnua com inversa contnua, portanto a
imagem de um aberto B(0, ) e um conjunto aberto B(0, ) + a. Temos ainda que A
e B sao
nao
vazios, pois A, B nao
sao
vazios. Vale ainda que A B = , pois
supondo por absurdo que existe elemento z na intersecao,
entao
z = a + x1 = b + x2 , a A, b B, x1 , x2 B(0, ),
implica
2d(A, B)
< d(A, B),
3
o que nao
pode acontecer, portanto os conjuntos sao
disjuntos.
Pela primeira forma geometrica
do teorema de Hahn-Banach, existem L V 0 ,
||a b|| = ||x2 x1 || ||x2 || + ||x1 || 2 =
R, tais que
L(a ) L(b ), a A , b B ,
o que implica
L(a + x) = L(a) + L(x) L(b) + L(x) = L(b + x), a A, b B, x B(0, ).

Da, temos a principal desigualdade
L(a) + sup L(x) L(b) + inf L(x), a A, b B.

xB(0,)
xB(0,)
Vale que
L(x) |L(x)| ||L|| ||x|| ||L||, x B(0, ),

L(x) |L(x)| ||L|| ||x|| ||L||, x B(0, ).
Por isso temos que
||L|| inf L(x),

xB(0,)
sup L(x) ||L||.
xB(0,)
Suponha que a desigualdade seja estrita, logo existe > 0, tal que
sup L(x) + ||L|| = sup
xB(0,)
xV
da x B(0, ), y V , temos
L(x) +
|L(y)|
,
||y||
|L(x)|
,
||x||
(1.5)
78
CAPITULO 1. ANALISE
FUNCIONAL
1
cy
(1 ) B(0, ) onde c = 1 se L(y) > 0,
||y||
n
c = 1 se L(y) < 0, da cL(y) = |L(y)|, aplicando na desigualdade anterior, temos
porem
podemos tomar y V e x =
que
|L(y)|
1
|L(y)|
(1 ) +
.
||y||
n
||y||
Tomando n , temos que
|L(y)|
|L(y)|
+
,
||y||
||y||
o que nao
pode acontecer, pois > 0. Portanto vale que
sup L(x) = ||L||.
xB(0,)
Para o nfimo, usamos1 que inf (A) = sup(A), temos

inf {L(x) | x B(0, )} = sup{L(x) | x B(0, )} = ||L||.
Aplicando tais resultado a` desigualdade principal (1.5) com = ||L||, segue que
L(a) + L(b), a A, b B.
E assim fica provado o teorema.
1.12
Convergencia fraca e fraca estrela
Definic ao
46. (Convergencia
Fraca) Sejam E um espaco de Banach e (un )
0
uma sequencia
de E. Entao
un u se f(un ) f(u), para todo f E . Neste caso
dizemos que un converge fracamente para u e denotamos tal fato por un u .

w
Se xn x, tambem
podemos denotar por xn x ou wlimxn = x.
Seja a = sup A . Tem-se x a para todo x A, multiplicando por c segue cx ca para todo
d
x A. Entao
ca e uma cota inferior de cA. Se d > ca tem-se c < a como a e supremo, isso significa
d
que existe x A tal que
< x logo d > cx, assim esse d nao
e cota inferior, implicando que ca e a
c
menor cota inferior, entao
nfimo do conjunto.
79
CAPITULO 1. ANALISE
FUNCIONAL
Propriedade
62. Seja X um espaco de Banach reflexivo e suponhamos
que (um ) X e limitada, ou seja ||un ||X c. Entao

existe alguma subsequencia
(unk ) X e u X com unk u.
Demonstrac ao.
$ Corolario
5. No caso de Lp , conclumos que qualquer sequencia
(un ) Lp
limitada, com p (1, ) possui uma subsequencia

(unk ) fracamente convergente
para algum u Lp , ou seja, pelo teorema de representacao

de Riesz, para todo
v Lq conjugado de p, tem-se
Z
Z
unk vdx
m Definic ao
uvdx.
47. (Convergencia
Fraca Estrela) Sejam E um espaco de Banach,
f E 0 e (fn ) uma sequencia

de E 0 . Diz-se fn f fraca estrela se fn (u) f(u),
para todo u E.
A convergencia
fraca estrela pode ser escrita por meio da aplicacao
canonica,
como
b
lim Ju (fn ) = Ju (f) Ju E.
Denotaremos tambem
fraco estrela por w lim
a convergencia
b Propriedade
63. Se w 0 lim fn = f em N 0 entao

.
o limite f e unico
Demonstrac ao.
Suponha que w 0 lim fn = f e w 0 lim fn = f entao
lim fn (u) =
f(u) = g(u) u E portanto f = g .
Definic ao
48 (Convergencia
forte). A convergencia
na norma de E sera
chamada de convergencia
forte e indicada por xn x ou xn x, s lim xn = x.
CAPITULO 1. ANALISE
FUNCIONAL
80
Propriedade 64. Se lim xn = x entao

w lim xn = x, isto e,
se a sequencia
converge forte para x entao

ela converge fraco para x.
Demonstrac ao.
f linear vale que

|f(xn ) f(x)| ||f|| ||xn x||.
b Propriedade
65. Se wlimxn = x em E, entao

.
x e unico
0
Se wlimxn = x e wlimxn = y entao
Demonstrac ao.
f E tem-se
f(x y) = f(x) f(y) = lim f(xn ) f(yn ) = 0.

Portanto f(x y) = 0 f E entao
x y = 0.
b Propriedade
66. Se w lim xn = x entao

(xn ) e limitada .
Demonstrac ao.
1.13
Topologia fraca e fraca estrela
Propriedade
67. Numa topologia menos fina a nocao

e
de convergencia
mais fraca, isto e,

menor de condicoes
um numero
e imposto .
m Definic ao
49. Uma topologia 1 e dita ser menos fina do que a topologia 2
se 1 2 , ou seja, todo elemento de 1 pertence a 2 .
m Definic ao
50 (Topologia forte). A topologia forte em E e a topologia metrica
induzida pela norma de E. Uma base aberta de tal topologia e dada pelas bolas
CAPITULO 1. ANALISE
FUNCIONAL
81
abertas Br (x) com x E , r > 0.
Definic ao
51 (Topologia fraca). Seja E um espaco normado . A topologia
fraca definida em E por E 0 e denotada por (E, E 0 ) e a topologia definida de

seminormas
x E |(x)| R,
quando varia em E 0 .

Análise Funcional 1

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Análise Funcional 1

Caricato da

Copyright:

Formati disponibili

Anotacoes

Rodrigo Carlos Silva de Lima

(L (), || p ) e um espaco vetorial normado. . . . . . . . . . . . . .

O produto cartesiano de dois espacos de Banach e um espaco

B(V) e Cb (V) sao

Espaco de Banach com base nao-enumer

Topologia definida por uma famlia de seminormas . . . . . . . .

Norma no espaco quociente . . . . . . . . . . . . . . . . . . . . . .

Soma direta topologica

Exemplo de L : X K, linear, nao

1.10.1 Duais dos espacos lp (N). . . . . . . . . . . . . . . . . . . . . . . . .

1.11 Teorema de Hahn-Banach versao

1.13 Topologia fraca e fraca estrela . . . . . . . . . . . . . . . . . . . . . . . . .

(1 , , n ) = {x V : | < x z, k > | < r, k = 1, , n}.

1 (Espaco vetorial normado). Um espaco vetorial V e dito ser

normado se para cada elemento v de V e associado um numero

sendo u V e a um escalar. Nesse caso dizemos que (V, k k) e um espaco

1. Vale k vk = kvk para todo v V.

2. Vale kxk 0 para todo x V .

Pela desigualdade triangular

| ||x|| ||y|| | ||x y||, x, y V.

||x|| ||y|| + ||x y||,

por isso temos que ||x y|| | ||x|| ||y|| |.

2. Seja V um espaco com produto interno h, i, definimos a norma

(ou comprimento) de um vetor v em relacao

hv, vi 0 e hv, vi = 0 v = 0, segue

kavk = |a| kvk.

kwk kvk |hv, wi|.

v 6= 0, para qualquer t real vale

t2 hv, vi + 2thv, wi + hw, wi 0

kwk kvk |hv, wi|.

kwk kvk hv, wi

kwk kvk hv, wi

7. Vale a seguinte identidade

ku + vk2 = kuk2 + kvk2 + 2hu, vi.

ku + vk2 = kuk2 + kvk2 + 2hu, vi

kuk kvk hu, vi

(kuk + kvk)2 ku + vk2

kuk + kvk ku + vk.

de onde temos se hv, wi < 0

portanto existe angulo

Propriedade 9. Se vw, temos hv, wi = 0 logo cos = 0 em [0, ] entao

= /2, isto e , se os vetores sao

4 (Domnio). Um domnio e qualquer conjunto aberto conexo de

um espaco vetorial de dimensao

5 (Topologia-Por vizinhanca). Seja X um conjunto. Uma topologia

sobre X e uma aplicacao

X, chamadas vizinhanca de a, em que valem as propriedades:

ate x), tais que sejam validas

d1) Positividade d(x, y) 0 e d(x, y) = 0 x = y.

quelques points du calcul fonctionnel

e um conjunto e d uma metrica.

pontos e simplificaremos a notacao

10. Todo espaco vetorial normado (V, k k) e um espaco metrico

d(x, y) + d(x, z) = kx yk + k x + zk kz yk = d(z, y).

> 0, n0 > 0 | m, n > n0 d(xm , xn ) < .

quando toda sequencia

Estamos considerando aqui corpo R ou C.

Iremos relembrar algumas propriedades dos espacos Lp .

no contexto a medida e o espaco que estamos tomando .

11. Se e a medida de Lebesgue em Rn escrevemos Lp (Rn ).

denotado por lp . O espaco l1 e o espaco das sequencias

||f|| = inf {a > 0 | (x X 0 : |f(x)| > a) = 0},

elemento de L . Aqui tambem