UNIVERSIDADE FEDERAL DO PARA

INSTITUTO DE CIENCIAS EXATAS E NATURAIS

PROGRAMA DE MESTRADO E DOUTORADO EM MATEMATICA

UFPA/UFAM
Prof. Joelma Morbach - Data: 13/10/2014
4a Lista de exerccios de An
alise Funcional
Teorema de Hahn-Banach e Aplicac
oes
1a Quest
ao: Seja G um subespaco fechado proprio de um espaco de Banach X. Defina
H = x0 + G, onde x0 e um elemento de X. Mostre que existem f X e R tais que
H {x X; f (x) = }.
2a Quest
ao: Seja X um espaco normado. Mostre que se x; y X sao tais que x = y,
entao existe f X tal que f (x) = f (y).
3a Quest
ao: Seja X um espaco vetorial normado. Dizemos que uma sequencia (xn ) X
converge fraco para x X e denotamos por xn x, quando f (xn ) f (x) para toda
f X . Mostre que:
a) o limite fraco, quando existe, e u
nico;
b) se xn x entao xn x
c) a recproca do item (b) e verdadeira? Justifique.
4a Quest
ao: Sejam X um espaco vetorial normado e M um subespaco de X. Fixado
x0 em X tal que d = d(x0 ; M ) > 0. Mostre que existe f X tal que f (x0 ) = d, f = 1
e f (x) = 0 para todo x M .
5a Quest
ao: Sejam X um espaco vetorial normado e M um subespaco fechado de X.
Suponha que existe x0 em X verificando a seguinte condicao: se f X se anula em M
entao f (x0 ) = 0. Mostre que x0 M .
6a Quest
ao:
conjuntos

Mostre que nao existe um hiperplano que separa no sentido estrito os

A = {(x, y) R2 ; x > 0 e y

1
}
x

B = {(x, y) R2 ; x > 0 e y 0}.

7a Quest
ao: Sejam X um espaco vetorial normado, M um subespaco de X e N um
subespaco de X . Definimos
M = {f X ; f (x) = 0 para todo x M }

N = {x X; f (x) = 0 para todo f N }.

Mostre que:
a) M X e subespaco fechado.
b) N X e subespaco fechado.
c) (M ) = M
d) N (N )
8a Quest
ao: Seja N X um subespaco de dimensao p. Mostre que N tem codimensao
p, isto e, a dimensao do espaco quociente X/(N e p.
9a Quest
ao: Sejam X um espaco vetorial normado e M um subespaco de X. Mostre
que M e denso em X se, e somente se, para todo funcional linear contnuo f X , tal
que, f (x) = 0 para todo x M , podemos concluir que f 0.
10a Quest
ao: Sejam X um espaco normado e C X. Dizemos que H e um hiperplano
tangente a x0 C se existe um funcional linear nao-nulo f : X R tal que f (x) f (x0 )
para todo x C. Mostre que qualquer ponto da esfera unitaria S de X admite um
hiperplano tangente.