Escolar Documentos
Profissional Documentos
Cultura Documentos
Os Teoremas Fundamentais
Teorema 2.1. (de Baire) Seja M um espaco metrico completo. Entao cada aberto de M
e de segunda categoria em M . Em particular, M e de segunda categoria em si proprio.
27
28 MAT5721 - Leonardo Pellegrini
(a) p e contnua;
Demonstracao. A unica implicacao que nao e imediata e (c) (a). Para demonstra-la,
xy
suponha que p(x) M para x B[0, r]. Entao, se x, y X, temos que p r xy M e
1
portanto p x y M r x y. Entao
() = {x X : p(x) }.
Claramente X = nN n(/2), pela propriedade N1) de semi-norma. Pelo teorema de
Baire, para algum n, n(/2) = n(/2) tem interior nao vazio. Consequentemente
(/2) tambem tem interior nao vazio (pois sao homeomorfos). Entao existe uma bola
B(x0 , r ) (/2). Como (/2) e simetrico,
ou seja, () contem uma bola centrada na origem B(0, r ). Podemos supor que r .
Entao, denindo o conjunto
def
A() = B(0, r ) (),
temos que A() e um subconjunto denso em B(0, r ) ().
Como a famlia e pontualmente limitada, tal supremo e nito. Ainda, pela linearidade de
T vemos que p e uma semi-norma. Para mostrar que p e enumeravelmente sub-aditiva,
suponha que seja dada uma serie convergente n=1 xn de termos em X. Para cada T F
xado,
T xn = T (xn ) T (xn ) p(xn ).
n=1 n=1 n=1 n=1
30 MAT5721 - Leonardo Pellegrini
Portanto, p x
n=1 n n=1 p(xn ). Assim, p e uma semi-norma enumeravelmente
sub-aditiva denida no espaco de Banach X. Entao p e contnua, pelo Lema de Zabreko.
Logo, para = 1, existe > 0 tal que x p(x) 1. Assim, se x BX , x
e portanto p(x) 1, o que implica p(x) 1 . Vemos entao que, para cada x BX
xado, T (x) sup{T (x) : T F} 1 , donde segue que T 1 , T F.
Logo, sup{T : T F} < .
Demonstracao. Claramente T e linear. Como (Tn (x))n converge entao, para cada x X
a sequencia (Tn (x))n e limitada. Pelo princpio da Limitacao Uniforme, existe M tal que
Tn M , n N. Seja x BX . Dado > 0, existe N N tal que TN (x) T (x) < ,
e portanto
T (x) TN (x) T (x) + TN (x) < + M, > 0.
Teorema 2.7. (da Aplicacao Aberta) Toda transformacao linear contnua e sobrejetora
entre dois espacos de Banach e uma aplicacao aberta.
Como > 0 era arbitrario, segue que p y
n=1 n n=1 p(yn ), e portanto p e
uma semi-norma enumeravelmente sub-aditiva. Como esta denida no espaco de Banach
Y p e contnua pelo Lema de Zabreko. Assim, como T (UX ) = {y Y : p(y) < 1} =
p1 (] , 1[), segue que T (UX ) e aberto em Y .
Corolario 2.8. Toda bijecao linear contnuas entre dois espacos de Banach e um isomor-
smo.
Demonstracao. Pois tal bijecao sera aberta pelo teorema anterior, o que implica a con-
tinuidade de sua inversa.
32 MAT5721 - Leonardo Pellegrini
Demonstracao. Seja S : X/Ker T T (X) a aplicacao obtida pelo Teorema 1.50 com
M = Ker T . Entao pelo referido teorema, S e uma bijecao linear contnua. Como T (X)
e Banach pois e fechado em Y , segue que S e um isomorsmo.
n=1 T (xn ) converge. Logo, como a serie absolutamente convergente n=1 T (xn )
m (m)
esta denida num espaco de Banach, converge. Note que n=1 xn n=1 xn
m m (m)
e que T xn = T (xn ) n=1 T (xn ). Vemos entao que a sequencia
m n=1
m n=1
n=1 xn , T xn m pertence ao graco de T e converge, na topologia produto de
n=1
X Y , para ( n=1 xn ,
n=1 T(xn ))m . Como o graco de T e fechado em X Y , segue
que n=1 T (xn ) = T n=1 xn , o que implica que
p xn = T xn = T (xn ) T (xn ) = p(xn ).
n=1 n=1 n=1 n=1 n=1
Observacao 2.12. Para mostrar que uma aplicacao T : X Y entre espacos normados
e contnua, em princpio temos que mostrar que
xn x = T (xn ) y e y = T (x).
O Teorema do Graco fechado diz que se X e Y forem espacos de Banach, entao basta
mostrar que
xn x e T (xn ) y = y = T (x).
O exemplo seguinte, apesar de articial, mostra que nao podemos tirar a hipotese
Banachdo contra-domnio de T . Nos execcios ha um exemplo que mostra o analogo
para o domnio.
Exemplo 2.13. Seja (X, ) um espaco de Banach separavel de dimensao innita. Por
exemplo, X pode ser 1 ou c0 . Tome uma base algebrica {xi : i I} normalizada de X.
Entao I e nao enumeravel (veja os exerccios). Cada x X se escreve de maneira unica
na forma x = i xi (soma nita). Dena uma outra norma em X pondo x0 = |i |.
Temos que
x |i |xi = |i | = x0 .
Logo, a identidade Id : X, 0 X, e contnua e portanto seu graco e
fechado, pela observacao feita pouco antes do teorema. Claro que o graco de Id1
tambem e fechado. Porem, Id1 nao pode ser contnua, pois se fosse, a identidade seria
um isomorsmo e X, 0 seria tambem separavel, um absurdo, pois para i = j,
xi xj 0 = 2 e ha uma quantidade nao enumeravem de xi s.
34 MAT5721 - Leonardo Pellegrini
e portanto
(x1 ) p(x1 y) p(y + x2 ) (x2 ).
Assim, sup {(x) p(x y)} inf {p(y + x) (x)}. Seja R qualquer satisfazendo
xM xM
sup {(x) p(x y)} inf {p(y + x) (x)}. Entao, pelo modo que foi escolhido,
xM xM
Vejamos agora o caso geral. Na demonstracao usaremos o Lema de Zorn cujo enunci-
ado destacaremos a seguir. Lembramos que um elemento m de um conjunto parcialmente
ordenado P e dito maximal se m x implica m = x, para qualquer x P.
Teorema 2.16. (de Hahn-Banach para espacos vetoriais reais) Sejam X um espaco ve-
torial sobre R, p : X R sublinear e M um subespaco X. Se e um funcional linear
em M com
(x) p(x), x M,
entao existe X # tal que
M = e (x) p(x), x X.
Demonstracao. Seja P a famlia de todos os pares N, tais que N e um subespaco de X
que contem M e e um funcional linear em N tal que M = e (x) p(x), x N.
Note que P e nao vazia, pois M, P. Denimos em P a seguinte ordem parcial
N1 , 1 N2 , 2 N1 N2 e 2 = 1 .
N1
Usaremos o Lema de Zorn para mostrar que P possui um elemento maximal. Seja C
um cadeia (subconjunto totalmente ordenado) em P. Denimos N = Ni e N #
iI
denido por (x) = i (x), se x Ni . Note que como C e totalmente ordenado, N e um
subespaco de X e esta bem denida. Obviamente N , P e e uma cota superior
de C. Pelo Lema de Zorn, P possui um elemento maximal N, . Vamos mostrar que
N = X.
Vejamos agora uma versao do teorema anterior valida para espacos complexos. Seja
X um espaco vetorial complexo. Restringindo a operacao de multiplicacao por escalar de
C para R, X pode ser visto como um espaco vetorial real. Denotaremos tal espaco por
XR . Diremos que um funcional u : X R denida em um espaco vetorial complexo X e
R-linear se e um funcional em XR . Ou seja, se a denicao de linearidade e satisfeita para
os escalares reais.
Por outro lado, dado X # denimos u(x) como sendo a parte real de (x). Entao
claramente u e R-linear. Como a parte imaginaria de um numero complexo e a parte
real de i, temos tambem que
Teorema 2.18. (de Hahn-Banach para espacos vetoriais) Sejam X um espaco vetorial
sobre K e M um subespaco de X. Suponha que : M K seja um funcional linear e
que p : X R seja uma semi-norma tais que |(x)| p(x), para todo x M . Entao
existe X # tal que
M = e |(x)| p(x), x X.
Demonstracao. Suponha primeiramente que X seja um espaco vetorial real e seja como
na hpotese do teorema. Para x M , (x) |(x)| p(x). Entao pelo Teorema de
Hahn-Banach real existe X tal que M = e (x) p(x), x X. Mas como
(x) = (x) p(x) = p(x), segue que |(x)| p(x), x X.
Suponha agora que X seja complexo. Pela proposicao anterior podemos escrever
(x) = u(x) iu(ix), x M , com u R-linear. Note que |u(x)| |(x)| p(x).
2.2. O Teorema de Hahn-Banach 37
|(x)|0
i i i i
|(x)| = e (x) = (e x) = U (e x) iU (ie x) = U (ei x) p(ei x) = p(x),
Teorema 2.19. (de Hahn-Banach para espacos normados) Sejam X um espaco vetorial
sobre K, M um subespaco de X e : M K um funcional linear contnuo em M . Entao
existe X tal que
= e = .
M
Pelo Teorema de Hahn-Banach, existe X tal que M = e = . Entao
(x0 ) = (x0 ) = x0 e = 1.
38 MAT5721 - Leonardo Pellegrini
x = sup |(x)|,
BX