Академический Документы
Профессиональный Документы
Культура Документы
ANÁLISIS FUNCIONAL
Práctica Dirigida
kx + U k = inf fkx + uk : u 2 U g
X
es una norma en el espacio cociente U:
n
[
6. En un e.n. (X; kk) suponga que B(0,1) B(xi ; 12 ), para ciertos
i=1
x1 ; :::; xn en X. Mostrar que dim X < 1:
7. Mostrar que todo espacio métrico compacto es separable. (Sug: Usar que
todo compacto es totalmente acotado).
8. En l1 (R) mostrar qu el conjunto
1
M= (an ) 2 B(0; 1) : jan j < ; 8n = 1; 2; 3; :::
n
no es compacto.
9. Sea un e.n. (X; kk) y f : X ! R un transformación lineal no nula.
Mostrar que f es continua si y solo si N uc(f ) es cerrado.
10. Sea T : (X; kk) ! (Y; kk) una trans.lineal. Mostrar que T es acotada si
y solo si T (B) es acotado en Y , para todo B acotado en X:
an
11. Sea T : l1 (R) ! l1 (R) tal que T (an ) = n . Mosrar que T es una
trans.lineal acotada.
1
12. Sea T : (X; kk) ! (Y; kk) una trans.lineal sobreyectiva y acotada tal
que 9b > 0 veri…cando kT xk b kxk ; 8x 2 X. Mostrar que 9T 1 : (Y; kk) !
(X; kk) y que es acotada.
13. Mostrar con un ejemplo que la inversa de una trans. lineal acotada no
tiene porque ser acotada.
14. Sea f : C [a; b] ! R tal que f (x(t)) = x(a) + x(b), donde y son
reales …jos. Mostrar que f es una transf. lineal acotada. En C [a; b] considere
la norma del max :
15. Sea Tn ! T en B(X; Y ). Mostrar que dado " > 0; 9N 2 N tq
kTn x T xk < "; 8n N y todo x en cualquier bola cerrada de centro cero.
16. Mostrar que el dual topológico de l1 es l1 (mas precisamente es isomorfo
1
a l ).
17. Mostrar que el dual topológico de c0 (el espacio de las sucesiones reales
que convergen a cero) es l1 :
18. Sea (X; kk) e.n. con dim X = 1. Mostrar que el dual topológico X 0 es
diferente al dual algebraico X :
19. Sea (X; kk) e.n. y M un subconjunto no vacío de X. Sea
M a = ff 2 X 0 : f (m) = 0; 8m 2 M g
2
4. (Compacto ) Tot. actd, y completo): Veamos primero la completitud.
Sea (xn ) de Cauchy en K, entonces, dado " > 0 existe L 2 N tq d(xn ; xm ) <
"
2 ; 8n:m L. Como K compacto existe una subsuc. (xnj ) (xn ) tq xnj !
x 2 K, asi existe J 2 N tq d(xnj ; x) < 2" ; 8j J. Ya que nJ J; para
n max fL; nJ g tenemos
3 3
x+U = (x + U )
4 4
3 3
= kx + U k =
4 4
3
Sea z + U = 4 x + U . Asi
3
1> = kz + U k = inf kz + uk
4 u2U
3
y por def. de inf., existe u0 2 U tq kz + u0 k < 1, asi z + u0 2B(0,1) y por tanto
z + u0 2 B(xi ; 12 ), para algun i = 1; :::; n. Tenemos
1
> k(z + u0 ) xi k
2
= z + (u0 xi )
| {z }
2U
inf kz + uk
u2U
3
= kz + U k =
4
un absurdo. Por tanto X = U y asi X es …nito dimensional.
8. Sugerencia: Considere la sucesión (xn ) donde
1 1
x1 = ; ; 0; 0; 0; :::
2 2
1 1 1 1
x2 = ; ; ; ; 0; 0; :::
4 4 4 4
1 1 1 1 1 1 1 1
x3 = ; ; ; ; ; ; ; ; 0; 0; :::
8 8 8 8 8 8 8 8
..
.
Mostrar que (xn ) es una suc. en M y que
kxn xm k 1; 8m > n:
v
f (u1 ) = f z
f (v)
1
= f (v) f (z)
f (v)
= 1 1=0
v
asi u1 2 U y por tanto f (v) = kz + u1 k ", de donde
1
jf (v)j kvk
"
4
para cualq v 2= U , pero es claro que la desigualdad tambien se cumple si v 2
U = N uc(f ). Probendo asi que f es acotada.
10. Sea B acotado en X, entonces 9M > 0 tal que kuk M; 8u 2 B, Como
T es acotada, 9c > 0 tal que kT uk c kuk ; 8u 2 B, asi kT uk cM; 8u 2 B.
Por tanto T (B) es acotado en Y:
Recíprocamente, si T no es acotada, para cada n 2 N; 9xn 2 X tal que
kxn k = 1 y kT xn k > n. Luego, si B = fxn : n 2 Ng tenemos que B es acotado,
pero T (B) no lo es. Una contradicción con la hipótesis. Por tanto T es acotada.
11. Sea (an ) cualq’en l1
an
kT (an )k =
n
X1
an
=
n=1
n
X1
1
= jan j
n=1
n
1
X
jan j
n=1
= k(an )k
kT e1 k = ke1 k = 1
de donde kT k = 1:
12. Note primero que T es inyectiva, pues si x 2 N uc(T ), se tiene por hip.
0 = kT xk b kxk
asi kxk = 0 y por tanto x = 0: Ta que T es sobre, por hip., se sigue que T
es biyectiva y por tanto 9T 1 : Y ! X, mas aun, por Algebra Lineal, T 1 es
también una trans. lineal. Veamos que T 1 es acotada, sea y 2 Y cualquiera,
entonces, y = T x, para algun x 2 X, asi
1
T y = kxk
1
(hip) kT xk
b
1
= kyk
b
1
asi T 1 y b kyk ; 8y 2 Y , mostrando asi que T
1
es acotada.
13. Sugerencia: Considere T : l (R) ! l (R) de (11) y de…na L : l1 (R) !
1 1
l1 (R) como
L(an ) = (nan ) :
5
14. Claramente f es lineal. Para ver que es acotada, por (9) bastará
probar que N uc(f ) es cerrado. Sea x 2 N uc(f ), entonces, 9 (xn ) N uc(f ) tq
xn ! x. Ya que la norma del max implica la convergencia puntual, se sigue que
xn (t) ! x(t); para cada t en [a; b]. En particular xn (a) ! x(a) y xn (b) ! x(b):
Ahora, f (xn (t)) = 0, entonces
xn (a) + xn (b) = 0
entonces
kTn x T xk = k(Tn T ) xk
kTn T k kxk
"
: ="
16. Recuerde que una Base Shauder para l1 es fe1 ; e2 ; e3 ; :::g donde en =
1 ; 0; 0; :::). Asi, pra cada x 2 l1 existen únicos n reales tq x =
(0; :::; 0; |{z}
lugar n
P1 0
n=1 n en . Sea f 2 l1 , por la continuidad y linealidad de f tenemos
1
!
X
f (x) = f n en
n=1
1
X
n f (en )
n=1
jf (en )j kf k ; 8n = 1; 2; 3; ::: ( )
6
P1
pongamos g(x) = n=1 an bn . Claramente g es lineal, veamos que es acotada
1
X
jg(x)j = an bn
n=1
1
X
jan j jbn j
n=1
1
X
(sup jan j) jbn j
n=1
= (sup jan j) kxk
0
asi g 2 l1 . Podemos establecer la aplicación
0
: l1 ! l1
(an ) 7 ! g
Calculémos
(' ) (an ) = ' ( (an ))
= ' (g)
= (g(en ))
= (an )
( ') (f ) = ('(f ))
= (f (en ))
= g
P1
donde g(x) = n=1 f (en )bn , para x = (bn ) en l1 : Asi
g(en ) = f (en ); 8n = 1; 2; :::
Siendo fe1 ; e2 ; :::g base de Shauder de l1 se sigue que g = f: Asi hemos
mostrado que ' = id y ' = id, lo que nos dice que ' y son isomor…smos
(ambos son lineales).
0
Resta ver que ' preserva norma. Sea f 2 l1 , de ( ) sabemos que jf (en )j
kf k ; 8n, asi
kf k sup jf (en )j
= k(f (en ))k
= k'(f )k
P1
por tanto k'(f )k kf k. De otro lado, para x = n=1 n en en l1 note que
1
X
x= n en =( n) ( )
n=1
7
asi
1
X
jf (x)j = n f (en )
n=1
1
X
j n j jf (en )j
n=1
1
X
de ( ) (sup jf (en )j) j nj
n=1
de ( ) = k(f (en ))k kxk
= k'(f )k kxk
T vn = n; 8n = 1; 2; :::
jT xj c kxk ; 8x 2 X
N = jT vN j c kvN k = c
8
un absurdo, pues kmk < 1. Por tanto M a es cerrado.
20. Como X es completo, bastará mostrar que (xn ) es de Cauchy en X.
Note primero que
1 1
kxn + xm k = 2 xn + xm
2
| {z 2 }
2M convx
2d (#)
l2 = Y Y?
Veamos, entonces que Y es cerrado. Sea (bn ) 2 Y , para un " > 0 arbirario,
existe (an ) 2 Y tal que k(bn ) (an )k < ". Asi
2
1
X 2
b2n a2n jbn an j < "2
|{z}
=0 n=1
de donde 0 jb2n j < ". Como " es cualquier, b2n = 0; 8n, por tanto (bn ) 2 Y ,
mostrando asi que Y es cerrado. De otro lado, es claro que
Z = (bn ) 2 l2 : b2n 1 = 0; 8n
es un subespacio tq
l2 = Y Z
?
entonces, por el Teo. mencionado Z = Y :