Tema 2

Ejemplos de espacios normados

A continuacin presentamos una amplia coleccin de espacios que permiten ilustrar los
conceptos y resultados expuestos hasta ahora, as como los que van a aparecer ms adelante.
Empezamos con unas desigualdades que tendrn un papel clave en lo que sigue:
2.1. Desigualdades de Young, Hlder y Minkowski
Dado un nmero real p mayor que 1 (en adelante escribiremos simplemente 1 < p < )
denimos su exponente conjugado p

mediante la igualdad
1
p
+
1
p

= 1 y observamos que tam-

bin 1 < p

<, as como que la relacin entre p y p

es simtrica: (p

= p.
Pues bien, para cualesquiera a, b R
+
se tiene:
ab
a
p
p
+
b
p

(Desigualdad de Young).
La prueba de esta desigualdad es una fcil consecuencia de la convexidad de la funcin
exponencial real. De la desigualdad de Young se deduce sin gran dicultad la siguiente:
N

k=1
a
k
b
k

_
N

k=1
a
k
p
_
1/p
_
N

k=1
b
k
p

_
1/p

(Desigualdad de Hlder),
vlida para 1 < p <, cualquier N N y cualesquiera a
1
, a
2
, . . . , a
N
, b
1
, b
2
, . . . , b
N
R
+
.
A partir de la desigualdad de Hlder no es difcil deducir:
_
N

k=1
(a
k
+b
k
)
p
_
1/p

_
N

k=1
a
k
p
_
1/p
+
_
N

k=1
b
k
p
_
1/p
(Desigualdad de Minkowski),
igualmente vlida para 1 < p <, N N y a
1
, a
2
, . . . a
N
, b
1
, b
2
, . . . , b
N
R
+
.
5
2. Ejemplos de espacios normados 6
2.2. Algunos espacios de dimensin nita
Para 1 p < y x =
_
(x(1), x(2), . . . , x(N)
_
K
N
, denimos:
x
p
=
_
N

k=1
|x(k)|
p
_
1/p
Merece la pena admitir tambin el valor p =, en cuyo caso escribimos
x

= m ax{|x(k)| : k = 1, 2, . . . , N}.
La notacin se justica por el hecho de que lm
p
x
p
=x

para todo x K
N
.
Para comprobar que
p
es una norma (1 p ), dos de las condiciones a vericar
son evidentes y slo la desigualdad triangular merece comentario. Tanto para p = 1 como para
p = dicha desigualdad es inmediata, mientras que para 1 < p < es claramente equivalente
a la desigualdad de Minkowski. Observemos que la desigualdad de Hlder toma la forma:
N

k=1
|x(k)| |y(k)| x
p
y
p
(1 < p <, x, y K
N
)
y si adoptamos el convenio de que p

= cuando p = 1 y (coherentemente) p

= 1 cuando
p =, la desigualdad resulta tambin cierta para p = 1, .
La siguientes guras muestran la bola unidad en R
2
con la norma
p
para distintos valores
de p:
p = 1 1 < p < 2 p = 2 p > 2 p =
Todas las normas recin denidas en K
N
son equivalentes, como se deduce de las siguientes
desigualdades de comprobacin inmediata:
x

x
p
x
1
Nx

(1 p , x K
N
).
As pues, todas estas normas generan la topologa producto en K
N
y todas ellas son completas.
El espacio de Banach que obtenemos dotando a K
N
de la norma
p
suele denotarse por l
N
p
,
notacin que se entender mejor enseguida.
2. Ejemplos de espacios normados 7
2.3. Algunos espacios de sucesiones
Consideremos el espacio vectorial producto K
N
, cuyos elementos son todas las sucesiones
de escalares, es decir, todas las funciones de N en K, con operaciones denidas puntualmente
o, si se quiere, trmino a trmino:
[x +y](n) = x(n) +y(n); [x](n) =x(n) (n N, x, y K
N
, K)
Vamos a considerar una amplia gama de subespacios de K
N
que, dotados de la norma apropiada
en cada caso, se convertirn en importantes ejemplos de espacios de Banach.
2.3.1. Los espacios l
p
(1 p <)
Fijado 1 p <, denotaremos por l
p
al conjunto de las sucesiones x K
N
tales que la serie

n1
|x(n)|
p
es convergente, abreviadamente:
l
p
=
_
x K
N
:

n=1
|x(n)|
p
<
_
(1 p <).
Por ejemplo, l
1
est formado por los trminos generales de las series de escalares absolutamente
convergentes.
Pasando al lmite cuando N en la desigualdad de Minkowski, obtenemos que
_

k=1
(a
k
+b
k
)
p
_
1/p

k=1
a
k
p
_
1/p
+
_

k=1
b
k
p
_
1/p
para cualesquiera sucesiones {a
k
} y {b
k
} de nmeros reales positivos y 1 p <. A partir de
esta desigualdad de Minkowski para series, es fcil deducir que l
p
es un subespacio vectorial
de K
N
y que deniendo
x
p
=
_

n=1
|x(n)|
p
_
1/p
(x l
p
),
se obtiene una norma en l
p
.
Vamos ahora a probar que l
p
es un espacio de Banach. Sea {x
n
} una sucesin de Cauchy en
l
p
y, jado k N, consideremos la sucesin de escalares {x
n
(k)}. Para cualesquiera m, n N es
claro que |x
n
(k) x
m
(k)| x
n
x
m

p
, as que {x
n
(k)} es una sucesin de Cauchy en K, luego
convergente. Deniendo, para cada k N, x(k) = lm
n
x
n
(k) obtenemos una sucesin x K
N
.
Nuestro objetivo es comprobar que x l
p
y que {x
n
x
p
} 0, concluyendo la demostracin.
Para ello, empezamos jando >0 y usando que {x
n
} es una sucesin de Cauchy en l
p
para
encontrar un n
0
N tal que, para n, m n
0
se tenga x
n
x
m

p
< . Por tanto, para cualquier
N N, tendremos
N

k=1
|x
n
(k) x
m
(k)|
p
(x
n
x
m

p
)
p
<
p
.
2. Ejemplos de espacios normados 8
Fijado un natural n n
0
, la desigualdad anterior, vlida para m n
0
nos permite escribir
N

k=1
|x
n
(k) x(k)|
p
= lm
m
N

k=1
|x
n
(k) x
m
(k)|
p

p
y, puesto que N N era arbitrario, deducimos que

k=1
|x
n
(k) x(k)|
p

p
Hemos probado que x
n
x l
p
, luego tambin x = x
n
(x
n
x) l
p
, pero entonces la ltima
desigualdad nos dice que x
n
x
p
. Como esto ltimo es vlido para n n
0
, tenemos que
la sucesin {x
n
} converge a x, como queramos.
Analizamos ahora brevemente la relacin entre los espacios l
p
para distintos valores de
p. Si tomamos 1 p < q < y jamos una sucesin x l
p
, como quiera que lm
n
x(n) = 0,
tendremos |x(n)|
q
|x(n)|
p
para n sucientemente grande, con lo que el criterio de comparacin
para series de trminos positivos nos dice que x l
q
. La implicacin contraria no es cierta:
la sucesin {n
1/p
} est en l
q
pero no en l
p
. En resumidas cuentas, el conjunto l
p
se agranda
estrictamente al aumentar p.
2.3.2. Los vectores unidad en l
p
Para cada n N denotemos por e
n
a la sucesin cuyo n-simo trmino es 1 y los dems se
anulan, es decir, e
n
(n) = 1 y e
n
(k) = 0 para k = n. Fijado 1 p < es obvio que e
n
l
p
, de
hecho con e
n

p
=1 y decimos que e
n
es el n-simo vector unidad en l
p
. As pues, tenemos en
l
p
la sucesin {e
n
} de vectores unidad que claramente son linealmente independientes, lo que
prueba que l
p
tiene dimensin innita. Vamos ahora a observar con detenimiento el subespacio
engendrado por los vectores unidad.
En general, dado un subconjunto E de un espacio vectorial X, denotaremos por LinE al
subespacio vectorial de X engendrado por E, es decir, el conjunto de todas las combinaciones
lineales de elementos de E. Volviendo al caso que nos interesa, para X = l
p
podemos empezar
jando un N Ny observando el subespacio engendrado por los N primeros vectores unidad, es
decir, X
N
=Lin{e
1
, e
2
, . . . , e
N
}. Es evidente que X
N
, con la norma que hereda de l
p
, se identica
totalmente con el espacio normado que hemos llamado l
N
p
. Podemos por tanto ver cada espacio
l
N
p
como un subespacio N-dimensional de l
p
, lo que justica hasta cierto punto la notacin.
Consideremos ahora el subespacio de l
p
engendrado por todos los vectores unidad, es decir,
Lin{e
n
: n N}, que evidentemente tiene dimensin innita numerable. Este espacio vectorial,
un subespacio de K
N
que obviamente es el mismo para todos los valores de p, se denota por
K
(N)
. Deniendo el soporte de una sucesin x K
N
como el conjunto {n N : x(n) = 0}, es
claro que K
(N)
est formado por las sucesiones de soporte nito, es decir, sucesiones cuyos
trminos se anulan todos a partir de uno en adelante.
Vamos a ver ahora que K
(N)
es denso en cada uno de los espacios l
p
con 1 p <. Para ello
basta pensar en la forma ms natural de aproximarnos a una sucesin mediante sucesiones de
2. Ejemplos de espacios normados 9
soporte nito. Ms concretamente, dado un x l
p
podemos considerar la serie

n1
x(n)e
n
, una
serie de vectores de l
p
. Para cada n N la n-sima suma parcial de dicha serie es una sucesin
de soporte nito, cuyos n primeros trminos coinciden con los de x y el resto se anulan. Como
la intuicin nos hace pensar, la serie dada converge efectivamente a x, pues para n N tenemos
_
_
x
n

k=1
x(k)e
k
_
_
p
=

k=n+1
|x(k)|
p
,
y usando que el resto de una serie convergente ha de tender a cero, deducimos que
x =

n=1
x(n)e
n
(x l
p
, 1 p <),
como queramos.
Queda as de maniesto que K
(N)
es un subespacio denso de l
p
que no es el total. Dicho de
manera equivalente, si consideramos en K
(N)
la norma que hereda de l
p
, tenemos un ejemplo de
espacio normado no completo, cuya completacin es precisamente l
p
. Abundando en la misma
idea, tomemos 1 p < q < y veamos a l
p
como un subespacio vectorial de l
q
; entonces en
l
p
, adems de la norma propia
p
, que le convierte como sabemos en un espacio de Banach,
disponemos de la norma que hereda de l
q
, que podemos seguir llamando
q
. Con esta segunda,
l
p
es un subespacio propio denso en l
q
, ya que contiene al subespacio denso K
(N)
; por tanto, es
tambin un espacio normado no completo cuya completacin vuelve a ser l
q
. Deducimos que
en l
p
las normas
p
y
q
no son equivalentes, puesto que una es completa y otra no.
Volviendo al desarrollo en serie obtenido anteriormente, con muy poco esfuerzo adicional se
puede comprobar que, siempre para 1 p < y cualquier x l
p
, la serie

n1
x(n)e
n
converge
incondicionalmente. Por otra parte, es claro que x(n)e
n

p
= |x(n)| para todo n N, luego
dicha serie converger absolutamente si, y slo si x l
1
. Por tanto, tomando 1 < p < y una
sucesin x l
p
tal que x / l
1
, deducimos que la serie

n1
x(n)e
n
converge incondicionalmente
en l
p
pero no converge absolutamente. Por ejemplo, para 1 < p < , la serie

n1
e
n
n
converge
incondicionalmente en l
p
pero no converge absolutamente.
2.3.3. Bases de Schauder y espacios de Banach separables
Observemos la sucesin {e
n
} de los vectores unidad en cualquiera de los espacios l
p
con
1 p < . Se trata, como ya se ha dicho, de un conjunto de vectores linealmente indepen-
dientes, pero no forman una base algebraica de l
p
, el subespacio que engendran es K
(N)
, que
es denso en l
p
pero no es el total. Sin embargo, cada vector x l
p
se expresa como una es-
pecie de combinacin lineal innita de los trminos de nuestra sucesin, ms concretamente,
x =

n=1
x(n)e
n
, serie que converge (incluso incondicionalmente) en la topologa de la norma del
espacio l
p
. Adems, no es difcil convencerse de que dicha expresin es nica, es decir, si para
2. Ejemplos de espacios normados 10
una sucesin de escalares {
n
} tuvisemos tambin x =

n=1

n
e
n
, se tendra obligadamente

n
= x(n) para todo n N. Podramos decir que la sucesin {e
n
: n N} se comporta como
una especie de base de l
p
, siempre que no nos limitemos a hacer combinaciones lineales nitas
sino que admitamos sumas de series del tipo que venimos manejando. Ello motiva la siguiente
denicin.
Se dice que una sucesin {u
n
} en un espacio de Banach X es una base de Schauder de X
cuando para cada vector x X existe una nica sucesin {
n
} de escalares tal que
x =

n=1

n
u
n
As pues, nuestras consideraciones anteriores se resumen diciendo que {e
n
} es una base de
Schauder de l
p
para 1 p < . Se dice que {e
n
} es la base de vectores unidad de l
p
. El
concepto de base de Schauder es muy til en el estudio de los espacios de Banach.
Notemos que los vectores de una base de Schauder {u
n
}, en cualquier espacio de Banach X,
siempre son linealmente independientes. El subespacio engendrado, Y = Lin{u
n
: n N}, tiene
dimensin innita numerable, luego como espacio vectorial es isomorfo a K
(N)
; claramente Y
es denso en X y se comprueba sin mucha dicultad que no puede coincidir con X. As pues,
todo espacio de Banach que admita una base de Schauder contiene un subespacio denso de
dimensin numerable. Deducimos que X, como espacio topolgico, es separable, es decir,
existe un conjunto numerable denso en X. En efecto, sea un conjunto numerable denso en K:
si K=R podemos tomar =Q; si K=C, sirve =Q+iQ. Consideramos el conjunto de las
combinaciones lineales de trminos de la sucesin {u
n
} con coecientes en :
E =
_
N

k=1

k
u
k
: N N,
1
,
2
, . . . ,
N

_
.
Es fcil ver que E es un subconjunto numerable de Y; adems, usando que es denso en K, se
comprueba tambin sin dicultad que toda combinacin lineal de trminos de la sucesin {u
n
}
se aproxima por elementos de E, esto es, que Y est contenido en el cierre de E. Puesto que Y era
denso en X, deducimos que tambin E es denso en X y tenemos el conjunto numerable denso en
X que buscbamos. Obsrvese que en el ltimo razonamiento no hemos usado la complitud del
espacio X, sino solamente el hecho de que Y tiene dimensin numerable y es denso en X. As
pues, cualquier espacio normado que contenga un subespacio denso de dimensin numerable
es separable. El recproco es evidente, si un conjunto numerable E es denso en un espacio
normado X, entonces LinE es un subespacio de dimensin numerable denso en X. Resaltemos
que los espacios l
p
con 1 p < son espacios de Banach separables.
Durante algn tiempo, en todos los espacios de Banach separables conocidos se dispona de
una base de Schauder. Ello motiv a Stefan Banach a preguntar en 1932 si en todo espacio de
Banach separable se puede encontrar una base de Schauder. El problema fue resuelto en 1973
por el matemtico sueco Per Eno, construyendo una gama de espacios de Banach separables
sin base de Schauder.
2. Ejemplos de espacios normados 11
2.3.4. Espacios de sucesiones acotadas
En la discusin anterior hemos excluido siempre el caso p =, que ahora vamos a estudiar.
Recordemos que l
N

denotaba el espacio de Banach que se obtiene dotando a K

N
de la norma
del mximo

. Est claro cmo podemos extender esta norma haciendo que tenga sentido
para una sucesin de escalares: la sucesin deber estar acotada y, como pudiera no tener un
trmino con mdulo mximo, usamos el supremo. Denotaremos por l

el subespacio de K
N
formado por todas las sucesiones acotadas de escalares, abreviadamente:
l

=
_
x K
N
: sup{|x(n)| : n N} <
_
.
Se comprueba sin dicultad que l

, con la norma denida por

x

= sup{|x(n)| : n N} (x l

)
es un espacio de Banach.
Hacemos aqu un inciso para comentar que, al igual que la desigualdad de Minkowski,
tambin la desigualdad de Hlder tiene su versin para series. Concretamente, tomando x l
p
e y l
p
con 1 p ,
1
p
+
1
p

= 1 y los convenios ya adoptados de que p

= cuando p = 1
y p

= 1 cuando p =, tenemos:

n=1
|x(n)| |y(n)| x
p
y
p
.
Subespacios destacados de l

son el espacio c
0
de las sucesiones convergentes a cero y
el espacio c de las sucesiones convergentes. Es fcil comprobar que ambos son subespacios
cerrados de l

y por tanto espacios de Banach con la norma

que ambos heredan de l

.
Observemos tambin que c se obtiene aadiendo una recta a c
0
o, con ms precisin, c
0
es un
hiperplano en c. Concretamente, si denotamos por u a la sucesin constantemente igual a 1, es
claro que c = c
0
Ku.
Prestemos atencin a los vectores unidad {e
n
: n N} que obviamente estn todos en c
0
.
El subespacio que engendran (que como espacio vectorial sigue obviamente siendo K
(N)
), visto
ahora como subespacio de c
0
, suele denotarse por c
00
. Pues bien, otra vez c
00
es denso en c
0
;
ms an, {e
n
} es una base de Schauder de c
0
, ya que es fcil comprobar que
x =

n=1
x(n)e
n
(x c
0
),
la serie converge incondicionalmente (pero no siempre absolutamente) y se tiene tambin la uni-
cidad del desarrollo. En particular, c
0
vuelve a ser un espacio de Banach separable. No es difcil
comprobar que, aadiendo a {e
n
} la sucesin u constantemente igual a 1, o ms rigurosamente,
tomando e
0
= u, se obtiene una base de Schauder {e
n
: n 0} del espacio c de las sucesiones
convergentes, espacio que tambin resulta ser separable.
Por el contrario l

no es separable. Para comprobarlo, como casi siempre que se quiere

probar que un espacio mtrico no es separable, bastar encontrar un subconjunto no numerable
2. Ejemplos de espacios normados 12
A l

tal que, para algn >0, se tenga ab cualesquiera sean a, b A con a =b. Pues
bien, sea P(N) el conjunto de todas las partes de N que, como bien sabemos, no es numerable;
para cada E P(N) sea x
E
la funcin caracterstica de E, es decir, x
E
(n) = 1 cuando n E y
x
E
(n) = 0 cuando n / E. Es claro que si E, F P(N) y E = F, entonces x
E
x
F

= 1, con
lo que tomando A = {x
E
: E P(N)} obtenemos un subconjunto no numerable de l

tal que
cualesquiera dos elementos distintos de A estn a distancia 1. Intuitivamente l

es mucho ms
grande que c
0
o que c, no posee ningn subespacio denso de dimensin numerable.
Tal vez merezca la pena observar las relaciones de inclusin entre todos los espacios de
sucesiones que han aparecido. Para 1 < p < q < , como espacios vectoriales (prescindiendo
de normas) tenemos:
c
00
l
1
l
p
l
q
c
0
c l

,
inclusiones todas estrictas. La sucesin
_
1
log(n+1)
_
est en c
0
pero no en l
p
para p <.
2.4. Espacios de funciones continuas
Es fcil generalizar la denicin del espacio l

considerando, en vez de sucesiones acotadas,

funciones acotadas en un conjunto arbitrario. Ms concretamente, si es un conjunto no vaco,
consideramos el espacio vectorial producto K

, formado por todas las funciones de en K,

con operaciones denidas puntualmente:
[x +y]() = x() +y(); [x]() =x() ( , x, y K

, K)
Denotaremos por l

al conjunto de todas las funciones acotadas de en K, que evidentemente

es un subespacio vectorial de K

:
l

=
_
x K

: sup{|x()| : } <
_
Es fcil ver que deniendo
x

= sup{|x()| : }
_
x

_
se obtiene una norma en l

y que la convergencia en esta norma equivale a la convergencia

uniforme en . Se puede comprobar entonces sin dicultad que l

es un espacio de Banach.
Como casos particulares ya conocidos tenemos obviamente l

(cuando =N) y l
N

(cuando
es nito con N elementos). Nos interesan ahora determinados subespacios de l

que aparecen de
forma natural cuando est provisto de una topologa que asegure la abundancia de funciones
continuas de en K.
Si L es un espacio topolgico localmente compacto y de Hausdorff, denotamos por C
00
(L) al
subespacio de
L

formado por las funciones continuas de soporte compacto, esto es funciones

continuas f : L K tales que el conjunto
sop( f ) ={t L : f (t) = 0},
2. Ejemplos de espacios normados 13
llamado soporte de la funcin f , es compacto. Es claro que una tal funcin est acotada y, de
hecho su valor absoluto (o mdulo) alcanza un valor mximo en algn punto de L:
f

= m ax{| f (t)| : t L} ( f C
00
(L)).
En general, C
00
(L) puede no ser un subespacio cerrado de l
L

(es lo que ocurre, por ejemplo,

cuando L = R) pero en cualquier caso podemos describir el cierre de C
00
(L). Denotamos por
C
0
(L) al subespacio de l
L

formado por las funciones continuas que se anulan en el innito.

Decimos que una funcin f : L Kse anula en el innito cuando, para todo >0, el conjunto
{t L : | f (t)| } es compacto. Si recordamos la compactacin por un punto

L = L{},
nuestra terminologa resulta coherente, ya que una funcin continua f : L K se anula en
el innito cuando lm
t
f (t) = 0, equivalentemente, cuando f puede extenderse a una funcin
continua en

L deniendo f () = 0.
Pues bien, no es difcil comprobar que el cierre de C
00
(L) en l
L

es precisamente C
0
(L). Por
una parte, es evidente que si una funcin continua f : L K tiene soporte compacto, entonces
f se anula en el innito, ya que para todo > 0, el conjunto {t L : | f (t)| } es cerrado y
est contenido en el soporte de f . Por otra parte, se comprueba sin dicultad que C
0
(L) es un
subespacio cerrado de l
L

, luego es un espacio de Banach. Tenemos as asegurada la inclusin

C
00
(L) C
0
(L). La otra inclusin es un buen ejercicio de aplicacin del Lema de Urysohn.
En particular, tomando L = N con la topologa discreta, cuyos nicos subconjuntos com-
pactos son los nitos, reaparecen el espacio c
00
de las sucesiones de soporte nito y el espacio
c
0
de las sucesiones convergentes a cero.
El caso ms interesante se presenta cuando tenemos de hecho un espacio topolgico com-
pacto de Hausdorff K. Es claro que entonces C
00
(K) =C
0
(K) es el espacio de Banach de todas
las funciones continuas en K con valores escalares, al que denotamos simplemente por C(K),
dotado por supuesto con la norma del mximo. Si de nuevo tomamos en N la topologa discreta
y K es la compactacin por un punto de N, entonces C(K) no es otra cosa que el espacio c de
las sucesiones convergentes.
Es claro que aqu tenemos una amplsima gama de espacios de Banach, entre los que cabe
destacar por ejemplo el espacio C[0,1] de las funciones continuas en el intervalo [0, 1] con
valores reales o complejos. Es sabido (Teorema de Weierstrass) que toda funcin continua de
[0, 1] en R es lmite uniforme de una sucesin de funciones polinmicas, luego C[0, 1] tiene un
subespacio denso de dimensin numerable, es decir, es un espacio de Banach separable.
En Anlisis de Fourier tiene inters el espacio C(T) de todas las funciones continuas en
la circunferencia unidad, T = {z C : |z| = 1}, con valores complejos. En lugar de funciones
denidas en T, vemos los elementos de este espacio como funciones peridicas en R. Ms
concretamente, cada f C(T) se identica con la funcin

f : RC denida por

f (t) = f (e
it
)
para t R, que es una funcin continua en R con periodo 2. As pues, podemos considerar
C(T) como el espacio de todas las funciones continuas y 2-peridicas de R en C, que es un
espacio de Banach con la norma
g

= m ax{|g(t)| : t R} (g C(T)).
2. Ejemplos de espacios normados 14
2.5. Espacios de funciones integrables
Sea un subconjunto medible de R
N
con medida (de Lebesgue) positiva. Para N = 1 los
casos ms frecuentes son = [0, 1] (o cualquier intervalo compacto), = R
+
y = R; para
N > 1, es frecuente tomar como cualquier subconjunto compacto (con medida positiva) o
cualquier subconjunto abierto (no vaco) de R
N
. Trabajaremos con funciones medibles de en
K identicando dos funciones que coincidan casi por doquier (c.p.d.), esto es, que coincidan
salvo en un conjunto de medida nula. Denotaremos por L() al espacio vectorial formado por
tales funciones. Rigurosamente hablando, los elementos de este espacio son clases de equiva-
lencia, pero es mucho menos engorroso y ms intuitivo pensar que los elementos de L() son
funciones, con las debidas precauciones.
2.5.1. Desigualdades integrales de Hlder y Minkowski
A partir de la desigualdad de Young, obtenemos fcilmente que si f , g L(), 1 < p <
y, como siempre,
1
p
+
1
p

= 1, entonces:
_

| f (t)g(t)|dt
_
_

| f (t)|
p
dt
_
1/p
_
_

|g(t)|
p

dt
_
1/p

A partir de esta desigualdad integral de Hlder, obtenemos sin dicultad la correspondiente

desigualdad integral de Minkowski:
_
_

| f (t) +g(t)|
p
dt
_
1/p

_
_

| f (t)|
p
dt
_
1/p
+
_
_

|g(t)|
p
dt
_
1/p
vlida tambin para cualesquiera f , g L() y 1 < p <.
2.5.2. Los espacios L
p
()
Todo est ya preparado para una nueva e importante gama de espacios de Banach. Fijado,
una vez ms, 1 p <, denimos:
L
p
() =
_
f L() :
_

| f (t)|
p
dt <
_
.
La desigualdad de Minkowski nos asegura claramente que L
p
() es un subespacio vectorial de
L() y que, deniendo
f
p
=
_
_

| f (t)|
p
dt
_
1/p
( f L
p
()),
se obtiene una norma en L
p
(). Conviene resaltar que la identicacin de funciones que coin-
ciden c.p.d. es esencial para poder deducir de f
p
= 0 que f = 0. La complitud de L
p
() es
2. Ejemplos de espacios normados 15
un importante teorema en teora de la integracin. Al menos en el caso = R
N
, este teorema
debe ser conocido y la demostracin es casi literalmente la misma en cualquier otro caso:
Teorema de Riesz-Fisher. Para cualquier conjunto medible R
N
de medida positiva y
1 p <, L
p
() es un espacio de Banach.
Conviene resaltar dos cuestiones importantes relacionadas con la demostracin del teorema
anterior. En primer lugar, dicha demostracin aprovecha la caracterizacin de la complitud en
trminos de series comentada en el tema anterior, se prueba que en L
p
() toda serie absoluta-
mente convergente es convergente. De hecho, para probar en general dicha caracterizacin lo
que se hace simplemente es observar que la idea usada por Riesz en el caso de L
p
() puede
usarse en cualquier espacio normado. La otra cuestin a resaltar es la relacin entre la conver-
gencia en L
p
() y la convergencia casi por doquier, que se pone de maniesto en la prueba
del teorema anterior: si una sucesin {f
n
} en L
p
() converge a f L
p
(), entonces existe una
sucesin parcial {f
(n)
} que converge a f casi por doquier en .
Comparemos de nuevo los espacios L
p
() para distintos valores de p. La situacin es muy
distinta (en algn caso la opuesta) de la que tenamos para los espacios de sucesiones. Concre-
tamente, dados 1 p < q <, no es demasiado difcil comprobar las siguientes armaciones:
Si tiene medida nita (por ejemplo, si est acotado), entonces L
q
() est estricta-
mente contenido en L
p
().
Si tiene medida innita (por ejemplo = R
N
), los conjuntos L
p
() y L
q
() no son
comparables, es posible encontrar funciones de cualquiera de ellos que no estn en el
otro.
Concretando al caso en que es un abierto de R
N
, conviene observar que el espacio vec-
torial C
00
(), de las funciones continuas de soporte compacto, est contenido de forma natural
en L
p
(). En efecto: por una parte, es claro que si f C
00
(), entonces
_

| f (t)|
p
dt < ; por
otra, hay que pensar que un conjunto de medida nula tiene forzosamente interior vaco y, por
tanto, dos funciones continuas en que coincidan casi por doquier, han de ser idnticas. Pues
bien, otro importante teorema en teora de la integracin asegura que C
00
() es denso en L
p
()
para 1 p <. De hecho, con cierto esfuerzo adicional, se puede demostrar que toda funcin
de L
p
() se puede obtener como lmite en dicho espacio de una sucesin de funciones de clase
C

con soporte compacto contenido en . As pues, siempre para 1 p < y cualquier abierto
R
N
, la situacin de C
00
() en L
p
() es enteramente anloga a la que tena c
00
dentro de
l
p
. Para destacar otro caso importante, cuando = [0, 1], tambin es cierto que C[0, 1] es un
subespacio denso de L
p
[0, 1] para 1 p <.
2.6. Funciones esencialmente acotadas
Sea como antes un subconjunto medible de R
N
con medida positiva. Decimos que una
funcin f : K est esencialmente acotada cuando existe una constante M 0 tal que
| f (t)| M para casi todo t , abreviadamente: | f | M c.p.d. Denotamos por L

() al
2. Ejemplos de espacios normados 16
espacio vectorial formado por todas las funciones medibles y esencialmente acotadas de en
K, en el que seguimos identicando funciones que coincidan c.p.d. Denimos en dicho espacio:
f

= ess sup| f | = mn{M 0 : | f | M, c.p.d.} ( f L

()).
Es fcil comprobar que el conjunto de constantes que aparece en el ltimo miembro de la
igualdad anterior (los mayorantes esenciales de | f |) tiene efectivamente un mnimo, al que
es lgico llamar supremo esencial de | f |. Seguidamente, tambin resulta fcil comprobar que
mediante este supremo esencial se consigue efectivamente una norma en L

(). Una sucesin

{f
n
} converge en L

() si y slo si, converge uniformemente c.p.d. en , cosa que requiere

una explicacin: lo que se quiere decir es que, eligiendo para cada n N cualquier funcin
n
que represente a la clase de equivalencia f
n
, existe un conjunto de medida nula E tal que
la sucesin {
n
} converge uniformemente en \ E. A partir de aqu se puede deducir ya sin
dicultad que L

() es un espacio de Banach.
Comparamos ahora L

() con L
p
() para 1 p <. Es fcil comprobar:
Si tiene medida nita, entonces L

() est contenido estrictamente en L

p
().
Si tiene medida innita, entonces L

() y L
p
() no son comparables.
As pues, tomando por ejemplo el caso especialmente interesante = [0, 1], para 1 < p <q <,
tenemos las siguientes inclusiones, todas ellas estrictas:
C[0, 1] L

[0, 1] L
q
[0, 1] L
p
[0, 1] L
1
[0, 1].
Ntese que C[0, 1] s se identica totalmente con un subespacio cerrado de L

[0, 1].