Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Prologo 3
1. Espacios de Hilbert 7
1.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2. Productos escalares. Espacios prehilbertianos . . . . . . . . . . 8
1.3. Distancia cuadratica. Espacios de Hilbert . . . . . . . . . . . . 11
1.4. Convexidad. Proyecciones. Teorema de Riesz . . . . . . . . . . 16
1.5. Ortonormalidad. Problema de aproximacion . . . . . . . . . . 20
1.6. Espacios de Hilbert complejos . . . . . . . . . . . . . . . . . . 28
Ejercicios y Problemas . . . . . . . . . . . . . . . . . . . . . . . . . 29
2. Espacios normados 33
2.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.2. Espacios normados y espacios de Banach . . . . . . . . . . . . 34
2.3. Operadores lineales continuos. Normas equivalentes. Espacio
dual . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.4. Espacios normados de dimension nita . . . . . . . . . . . . . 42
Ejercicios y Problemas . . . . . . . . . . . . . . . . . . . . . . . . . 45
3. Teorema de Hahn-Banach 51
3.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
3.2. El Teorema de Hahn-Banach . . . . . . . . . . . . . . . . . . . 52
3.3. Consecuencias del Teorema de Hahn-Banach . . . . . . . . . . 54
1
2 Bernal Gonzalez y Domnguez Benavides
Bibliografa 87
Indice alfabetico 89
Prologo
3
4 Bernal Gonzalez y Domnguez Benavides
La obra contiene una cantidad notable de ejemplos que ilustran los con-
ceptos y resultados que van surgiendo, as como una moderada pero variada
cantidad de ejercicios propuestos, al nal de cada captulo, que estan dirigi-
dos o bien a aplicar la materia impartida o bien a introducir conceptos nuevos
y teoremas complementarios. Al nal se ofrece una bibliografa para que el
estudiante interesado ample conocimientos. El ndice alfabetico esta orga-
nizado de modo que se indica la pagina donde aparece por primera vez la
denicion de un concepto o la formulacion de un resultado.
Los autores
Captulo 1
Espacios de Hilbert
1.1. Introduccion
7
8 Bernal Gonzalez y Domnguez Benavides
n n
n
|xi ||yi | ( |xi |2 )1/2 ( |yi |2 )1/2 ( |xi |2 )1/2 ( |yi |2 )1/2 < +.
i=1 i=1 i=1 i=1 i=1
Ya que esto es valido para todo n, la serie i=1 |xi yi | es convergente. Por
tanto,
|xi + yi |
2
|xi | +
2
|yi | + 2
2
|xi yi | < +.
i=1 i=1 i=1 i=1
As que 2 es un espacio vectorial. Facilmente se observa que (x|y) :=
i=1 xi yi
es un producto escalar al que corresponde la norma x = ( i=1 |xi |2 )1/2 .
as que (A) = 0.
de donde d(fm , fn ) < . Luego (fn ) es una sucesion de Cauchy. Sin embargo,
no existe f C([0, 1]) tal que fn f en norma cuadratica. En efecto,
razonando por reduccion al absurdo, supongamos que tal f existe. Fijemos un
punto t0 [0, 1/2). Si f (t0 ) = 0, existira por continuidad un (0, 1/2 t0 )
tal que |f (t)| > |f (t0 )|/2 =: c > 0 para todo t [0, t0 + ]. Entonces si n es
tal que 1/2 1/n > t0 + se tiene que
1 t0 + t0 +
|fn f |
2
|fn f | =
2
|0 f |2 c2 .
0 t0 t0
As, hemos llegado a que fn f c para todo n sucientemente grande,
luego fn f . Por tanto, debe ser f (t0 ) = 0 para todo t0 [0, 1/2). Analoga-
mente se prueba que f (t0 ) = 1 para todo t0 (1/2, 1], lo que nos conduce a
una contradiccion con la continuidad de f en el punto 1/2.
N
|in im |2 < 2 (n, m n0 ).
i=1
N
|i im |2 2 (m n0 ) (1)
i=1
m n0 jo, obtenemos
b
fm f =
2
|f fm |2 (m n0 ),
a
y/2, obtenemos
1 1 1
x + y
2
2 2 2
x y = x + y
.
4 2 2 2
Como x+y
2
C, tenemos
P (x + y) + Q(x + y) = x + y,
(P x + Qx) = x, (P y + Qy) = y.
P (x + y) P x P y + Q(x + y) Qx Qy = 0,
de donde
M P (x + y) P x P y = Q(x + y) Qx Qy M .
Esto fuerza a que ambos miembros sean cero, de donde se deduce (d). 2
a0
f (t) + (an cos nt + bn sen nt).
2 n=1
Las normas de los vectores del subespacio generado por un sistema ortonor-
mal son especialmente sencillas de manejar. Lo establecemos en la siguiente
proposicion, cuya prueba es inmediata y se deja como ejercicio.
n
n
n
x +
2
(2k 2k ck ) = x
2
c2k + (k ck )2 ,
k=1 k=1 k=1
Nota 1.5.6. Con las notaciones y condiciones del teorema anterior, sea
M = span{uk }nk=1 . De acuerdo con el Teorema de la Proyeccion, el vec-
tor nk=1 (x|uk )uk es la proyeccion ortogonal de x en M . Por tanto, x
n n
k=1 (x|uk )uk = d(x, M ) . Puesto que x k=1 (x|uk )uk = x
2 2 2 2
n n
k=1 (x|uk ) = x d(x, M ) .
2 2 2 2
k=1 (x|uk ) , se obtiene
(d) {un }
n1 = {0}.
donde se ha usado que (Sn |up ) = (x|up ) para cada n p. Por tanto x y
{un }
n1 = {0}, luego x y = 0. Se deduce que x = y = n=1 (x|un )un , lo
cual es (b). 2
2).
f 2 f g2 + g h2 + h < ,
Ejercicios y Problemas
1.- Sea {e } un sistema ortonormal en un espacio prehilbertiano H. Probar
que para cada x H el conjunto { : (x|e ) = 0} es numerable.
E = {x = (n ) 2 : 31 = 42 }.
13.- Sean (xn ) e (yn ) dos sucesiones en la bola unidad cerrada de un espacio
prehilbertiano tales que (xn |yn ) 1. Probar que si (xn ) converge,
entonces (yn ) converge al mismo lmite.
32 Bernal Gonzalez y Domnguez Benavides
Espacios normados
2.1. Introduccion
33
34 Bernal Gonzalez y Domnguez Benavides
n
|xi ||yi | n
n = ui vi1
i=1
( k=1 |xk |p )1/p ( nk=1 |yk |q )1/q i=1
n
n
n
(ui + (1 )vi ) = ui + (1 ) vi = 1,
i=1 i=1 i=1
n
n
|xi + yi |p = |xi + yi |p1 |xi + yi |
i=1 i=1
n
n
n
|xi + yi | p1
(|xi | + |yi |) = |xi + yi | p1
|xi | + |xi + yi |p1 |yi |
i=1 i=1 i=1
( n )1/q ( )1/p ( n )1/q ( n )1/p
n
|xi + yi |(p1)q |xi |p + |xi + yi |p |yi |p
i=1 i=1 i=1 i=1
( )1/q ( n )1/p ( )1/p
n
n
= |xi + yi | p
|xi |p
+ |yi |p ,
i=1 i=1 i=1
36 Bernal Gonzalez y Domnguez Benavides
Observemos que |f + g| p1
Lq , porque |f + g|q(p1) = |f + g|p . Aplicando
la desigualdad de Holder a cada uno de los sumandos de (2), se obtiene
b ( b )1/q [( b )1/p ( b )1/p ]
|f + g|p |f + g|(p1)q |f |p + |g|p ,
a a a a
Para concluir, recordemos que todo producto escalar general una norma.
Surge entonces la pregunta de si cada norma proviene de algun producto
escalar. Puede probarse (cfr. Ejercicio 4) que, dada una norma sobre un
espacio vectorial X, existe un producto escalar (|) sobre X tal que =
(|)1/2 si y solo si cumple la identidad del paralelogramo. En tal caso, se
tiene la identidad de polarizacion:
1
(x|y) = (x + y2 x y2 ) (x, y X).
4
mx T x M x para todo x X.
Es facil ver que es es lineal. Basta ver que es una isometra, es decir,
que conserva las distancias, pues entonces tambien sera bicontinua, o sea,
continua ella y su inversa. Probemos pues que es una isometra. Ya que
es lineal, hay que probar que y = y para todo y H.
Para y = 0 es trivial. As pues, jemos y H \ {0}, y sea x H.
Entonces (y)x = |Ty (x)| = |(x|y)| yx, por la desigualdad de
Cauchy-Schwarz. Por la denicion de norma de una aplicacion lineal y con-
tinua, esto implica que y y. Ahora bien, para x = y se tiene
que (y)y = |(y|y)| = yy, luego (y)y/y = y. Por tanto
y y. 2
T : Y (Rn , 2 ).
Para nalizar este captulo, veremos que esta ultima propiedad caracteriza
los espacios normados de dimension nita. Antes necesitamos un resultado
auxiliar, que es interesante en s mismo.
x = 1 y x x para todo x X0 .
Teorema 2.4.7. Sea X un espacio normado tal que su bola unidad cerrada
es compacta. Entonces dim X < +.
Ejercicios y Problemas
1.- Demostrar que los espacios p (1 p < ) son completos.
3.- Sea el disco unidad cerrado del plano complejo y A() = la familia
de las funciones complejas continuas en y analticas en el interior de
. Probar que
f = maxz |f (z)|
dene una norma en este espacio. Probar que este espacio normado es
separable.
46 Bernal Gonzalez y Domnguez Benavides
4.- (a) Sea X un espacio normado, cuya norma satisface la identidad del
paralelogramo, esto es,
x + y2 + x y2 = 2(x2 + y2 )
8.- (a) Probar que, para cada p [1, ), el espacio p esta contenido en c0
y la inclusion i : p c0 es continua.
(b) Probar que la sucesion
( )
1 1 1
, ,...,
ln 2 ln 2 ln n
pertenece a c0 pero no pertenece a p para ningun p.
ESPACIOS NORMADOS 47
9.- Sea X = C 1 ([0, 1]), el espacio vectorial formado por todas las funciones
reales continuas y con derivada continua denidas en el intervalo [0, 1].
Denimos la siguiente norma en este espacio:
11.- Sea C([0, 1]) el espacio vectorial formado por todas las funciones reales
continuas denidas en el intervalo [0, 1], con la norma del maximo.
(a) Estudiar si las sucesiones de funciones denidas por xn (t) = tn tn+1
e yn (t) = tn t2n convergen en C([0, 1]).
(b) Consideremos el conjunto M = {f C([0, 1]) : f 1, f (0) =
f (1) = 0}. Estudiar si M es un subconjunto cerrado de C([0, 1]). Es
M compacto?
(a) Probar que la formula [x] = inf{y : y [x]} dene una norma
en X/E.
(b) Probar que X/E es de Banach si X lo es.
18.- Sea X un espacio normado. Probar que son equivalentes las siguientes
propiedades:
(a) Si (xn ) X es una sucesion tal que n=1 xn < +, entonces la
serie n=1 xn converge en X.
es continua.
Captulo 3
Teorema de Hahn-Banach
3.1. Introduccion
51
52 Bernal Gonzalez y Domnguez Benavides
donde c es un numero real jo, pero arbitrario. Vamos a elegir c tal que
h(z) p(z) para todo z H, con lo que llegaramos a contradiccion con la
maximalidad de g.
Necesitamos que se cumpla
Esto es equivalente a
(x ) (x )
1 1
g +cp +y ( > 0, x1 D(g)) y
( ) ( ) ( )
x2 1 (x2 + y) x2
g +c p = p y ( < 0, x2 D(g)),
lo cual a su vez equivale a
( ) ( ) (x ) (x )
x2 x2 1 1
p y + g cp +y g .
de donde resulta
y (x) = xk y k si x = (xk ).
k=1
Luego esta bien denida, pues cada y es, claramente, lineal, y es continua
con y yq . Si se aplica al vector x = (n ), dado por
|yn |q si y = 0
yn n
n =
0 si yn = 0,
( )1/p
= |yk |(q1)p yq = xp yq ,
k=1
( m )1/p ( m )1/p
|n |p = |yn |q .
n=1 n=1
Por tanto
( )1/q
m
|yn |q = constante < + para todo m N.
n=1
Luego n=1 |yn |q < +, as que y q . Es suciente mostrar que y =
. Esto es facil, pues ambas aplicaciones coinciden sobre A := {en : n
N} y, por linealidad, coinciden sobre span A. Finalmente, por continuidad,
coinciden sobre span A, que es todo p : en efecto, si x = (xn ) p , entonces
m
la sucesion de vectores de p dada por zm = n=1 xn en (m N) cumple
zm zpp = n=m+1 |xn |p 0 (m ), pues la ultima suma es el resto de
una serie convergente. En conclusion, es sobreyectiva, como se requera.
Puesto que la relacion de conjugacion de exponentes es simetrica, se de-
duce que q es isometricamente isomorfo a p , luego
p puede identicarse a
Ejercicios y Problemas
1.- Sean X, Y espacios de Banach, M un subespacio denso de X y T :
M Y un operador lineal y continuo. Probar que existe un unico
operador Te : X Y que extiende T , es decir, T x = Tex si x M , y
conserva la norma, es decir, T L(M,Y ) = T L(X,Y ) .
3.- (a) Probar que el dual de c0 puede ser identicado isometricamente con
1 y que el dual de 1 puede ser identicado isometricamente con .
(b) Probar que el espacio c0 no es reexivo.
5.- (a) Sea X un espacio de Banach reexivo. Probar que para cada X
se tiene
= max{|(x)| : x X, x 1}.
n
(x) = .
n=1
2n
6.- Sea X el espacio de Banach C([0, 1]) con la norma del supremo.
(a) Probar que la aplicacion : C([0, 1]) R dada por
0 1
(f ) = f (t) dt f (t) dt
1 0
TEOREMA DE HAHN-BANACH 61
(a) Probar que estas aplicaciones son continuas, y calcular sus normas.
(b) Determinar si las anteriores aplicaciones alcanzan o no sus normas
en la bola unidad cerrada de sus respectivos dominios. Concluir que 1
no es reexivo.
12.- (a) Encontrar todos los elementos del dual de c0 con norma 1 que
alcancen su norma en el punto x0 = (1, 1, 1/2, 1/3, 1/4, . . . ).
(b) Para cada elemento del dual de c0 con norma 1 que alcanza su
norma en x0 , determinar todos los vectores de la bola unidad cerrada
de c0 donde alcanza su norma.
(c) Es c0 estrictamente convexo?
(1/2n )n1 .
65
66 Bernal Gonzalez y Domnguez Benavides
puntual de otras.
0
raro o denso en ninguna parte cuando A = .
Entonces (b) implica (c), y (c) implica (a). Si, ademas, X es un espacio de
Banach, entonces las tres propiedades (a), (b) y (c) son equivalentes.
F (, n) = {x X : |(x)| n} ( A, n N).
Notemos que F (, n) es la preimagen por del intervalo [n, n], luego cada
F (, n) es cerrado, y as cada conjunto Fn := A F (, n) es cerrado en X.
Ahora bien, se observa sin dicultad que B = n=1 Fn . Por tanto, como B
f uniformemente en [0, 2]. Por otra parte, hay condiciones sucientes que
aseguran la convergencia puntual Sn (f, x) f (x) en un punto concreto x.
Nos preguntamos si sera cierto que, para toda funcion continua y periodica
f , se tiene que Sn (f, x) f (x). Usando el Principio de Acotacion Uniforme
vamos a dar una respuesta negativa. Antes necesitamos hacer algunas modi-
caciones en la serie de Fourier de f .
1 ikt ei(n+1)t 1 1
n
2ei(n+1)t 1 eit
+ e = =
2 k=1 eit 1 2 2(eit 1)
1
2ei(n+ 2 )t ei 2 ei 2 2ei(n+ 2 )t 2 cos 2t
1 t t
= = ,
2(ei 2 ei 2 ) 4i sen 2t
t t
1
n
sen 2n+1
2
t
+ cos kt = .
2 k=1 2 sen 2t
En consecuencia,
2 n
1 1 2
Sn (f, x) = f (t) dt + f (t)(cos kt cos kx + sen kt sen kx) dt
2 0 k=1
0
( )
1 2
1
n
= f (t) + cos k(t x) dt,
0 2 k=1
luego 2
1
Sn (f, x) = f (t)Dn (t x) dt,
2 0
72 Bernal Gonzalez y Domnguez Benavides
1 si x J
n
g(t) =
1 si x [0, 2] \ Jn .
PRINCIPIO DE ACOTACION UNIFORME 73
n
Por otra parte, |Dn (t)| = |1 + 2 k=1 cos kt| 2n + 1 para todo t [0, 2],
luego, por el Teorema de la Convergencia Dominada,
2 2
1 1
limk un (fk ) = limk fk (t)Dn (t) dt = g(t)Dn (t) dt = ln .
2 0 2 0
completo, por el Teorema de Baire existe k N tal que T (kAn ) tiene interior
no vaco. Ademas, gracias al Lema 4.3.2, obtenemos
1 1 1
T (An /2 ) = T ( kAn ) = T (kAn ) = T (kAn ).
2k 2k 2k
3
Usando de nuevo el Lema 4.3.2, T (An /2 ) tiene interior no vaco. Por tanto,
contiene algun abierto no vaco Vn . Tenemos entonces, gracias a la linealidad
de T y al Lema 4.3.3, lo siguiente:
Vamos a probar
B1 T (A ), (1)
Ejercicios y Problemas
1.- Supongamos que X es un espacio topologico, Y un espacio metrico y
f una funcion de X en Y . Para cada x X denimos
2.- Consideremos el espacio X = C([0, 1]) con la norma del supremo. Sea
c (0, 1). Para cada n N, denimos
f (x + h) f (x)
An = {f X : existe x [0, c] tal que n
h
para todo h (0, 1 c)}.
Probar lo siguiente:
(a) Los conjuntos An son cerrados.
PRINCIPIO DE ACOTACION UNIFORME 81
(b) Para cada funcion f X y cada > 0 existe una funcion continua
h, lineal a trozos, tal que f h < .
(c) Los conjuntos An tienen interior vaco.
(d) El subconjunto de X formado por las funciones que son derivables
por la derecha en algun punto de [0, c] es de primera categora en X.
(e) El subconjunto de X formado por las funciones que son derivables
por la derecha en algun punto de [0, 1) es de primera categora en X.
(f) El subconjunto de X formado por las funciones que son derivables
en algun punto de [0, 1] es de primera categora en X.
continua.
(b) Construir una sucesion (fn ) en X tal que el conjunto {fn (t) : n
N} es acotado para cada t [0, 1] pero el conjunto {fn : n N} es
no acotado.
(c) Utilizando el Ejercicio 5, probar que existen elementos de norma 1
en el dual de X que no son homomorsmos de evaluacion.
supn |n | < .
(c) Supongamos, por ultimo, que {n } es una sucesion de escalares tal
que n=1 n n es convergente para cada sucesion (n ) de c0 . Probar
que n=1 |n | < .
9.- Probar que no existe una sucesion de numeros reales {bn } tal que la
serie innita
n=1 an de numeros reales converge absolutamente si y
para todo x X.
11.- Sea una norma en C([0, 1]) que lo hace completo y tal que limn fn =
0 implica que {fn } tiende a 0 puntualmente. Probar que esta norma es
equivalente a , la norma del supremo.
12.- Sea c el espacio de Banach formado por las sucesiones (k ) tales que
existe limk k K, con la norma del supremo. Consideremos la apli-
cacion T : c c0 dada por
T (1 , 2 , . . . ) = (, 1 , 2 , . . . ).
T 0 = I, T 1 = T, T 2 = T T , etc.
sup{n : n N} < +.
19.- (a) Probar que en C 1 ([0, 1]) existen sucesiones que convergen uniforme-
mente en [0, 1] a funciones no derivables.
(b) Sea X el espacio (C 1 ([0, 1]), ), donde es una norma que
lo hace completo y tal que, para cada sucesion (fn ) C 1 ([0, 1]) con
fn 0, se tiene que fn (t) 0 para cada t [0, 1]. Probar que una
sucesion (fn ) converge a una funcion f en X si y solo si (fn ) converge a
f uniformemente en [0, 1] y (fn ) converge a f uniformemente en [0, 1]
(c) Concluir que C 1 ([0, 1]) con la norma del supremo no es completo.
20.- Sea p [1, +), y sea X el espacio p con una norma que lo hace
completo y cumple la siguiente propiedad:
(n)
Sea {xn = (m )m : n 1} p . Si xn 0 en X, entonces
(n)
tiende a 0 componente a componente, esto es, lmn m =
0 para cada m.
87
88 Bernal Gonzalez y Domnguez Benavides
A.E. Taylor and D.C. Lay, Introduction to Functional Analysis, John Wiley,
1980.
Adherencia, 12 de Holder, 35
Aplicacion de Minkowski, 35
abierta, 74 triangular, 9
continua, 13 triangular inversa, 9
lineal continua, 39 Distancia, 11
lineal uniformemente continua, 39 cuadratica, 12
entre dos conjuntos, 13
Base
entre un punto y un conjunto, 13
algebraica, 22
canonica, 42 Elemento maximal, 52
ortonormal, 26 Espacio
Bidual de un espacio normado, 57 L1 de Lebesgue, 10
Bola L2 de Lebesgue, 10
abierta, 12 Lp de Lebesgue, 36
cerrada, 67 RN , 9
2 , 10
Cadena, 52
, 36
Cierre, 12
p , 36
Clausura, 12
c0 , 36
Coecientes de Fourier, 21
c00 , 36
Conjunto parcialmente ordenado, 52
de Baire, 68
Constante de Lebesgue, 72
de Banach, 38
Desigualdad de funciones continuas, 10
de Bessel, 23 de Hausdor o separado, 78
de Cauchy-Schwarz, 9 de Hilbert, 13
89
90 Bernal Gonzalez y Domnguez Benavides