Tema 2

Ejemplos de espacios normados y espacios

de Banach
A continuacin vamos a presentar una amplia coleccin de espacios que nos van a permitir
ilustrar los conceptos y resultados que hemos expuesto hasta ahora, as como los que aparezcan
ms adelante. Empezamos presentando unas desigualdades que tendrn un papel clave en todo
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 o (equivalentemente) de la concavidad del logaritmo.
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
+
.
6
2. Ejemplos de espacios normados y espacios de Banach 7
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)| : 1 k 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 esfera 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, pues se comprueba fcilmente
que:
x

x
p
x
1
Nx

(1 p , x K
N
),
as que todas 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 cuando presentemos versiones innito-dimensionales de estos espacios.
2. Ejemplos de espacios normados y espacios de Banach 8
2.3. Bases y dimensin algebraica
Vamos a recordar algunas nociones elementales de lgebra lineal, expresndolas de forma
que tengan perfecto sentido en cualquier espacio vectorial. Dado un subconjunto no vaco E
de un espacio vectorial X, denotaremos por Lin(E) al subespacio engendrado por E, es de-
cir, la interseccin de todos los subespacios de X que contienen a E o, equivalentemente, el
mnimo subespacio de X que contiene a E. Es claro que Lin(E) est formado por todas las
combinaciones lineales (nitas) de elementos de E, es decir,
Lin(E) ={
1
x
1
+
2
x
2
+
N
x
N
: n N,
1
,
2
, . . . ,
N
K, x
1
, x
2
, . . . , x
N
E}.
Cuando Lin(E) = X decimos que E es un sistema de generadores del espacio vectorial X,
puesto que cada vector de X se puede expresar como combinacin lineal de vectores de E. Esta
expresin ser nica cuando los vectores de E sean linealmente independientes. Dado un sub-
conjunto no vaco F (no necesariamente nito) de nuestro espacio vectorial X, decimos que los
vectores de F son linealmente independientes cuando ninguno de ellos puede obtenerse como
combinacin lineal de los restantes, equivalentemente, cuando ninguna combinacin lineal no
trivial de vectores de F puede anularse:

1
,
2
, . . . ,
N
K
x
1
, x
2
, . . . , x
N
F

1
x
1
+
2
x
2
+
N
x
N
= 0
_
_
_
=
1
=
2
= . . . =
N
= 0.
Un sistema de generadores linealmente independientes del espacio vectorial X es lo que
denominamos base algebraica de X.
Dado un conjunto no vaco arbitrario , podemos considerar el espacio vectorial producto
K

, de todas las aplicaciones de en K, cuyas operaciones son fciles de adivinar:

[x +y]() = x() +y() ; [x]() =x() ( , x, y K

, K).
En este momento nos interesa sobre todo el subespacio vectorial de K

formado por las

funciones llamadas casi-nulas, porque se anulan salvo en un conjunto nito, es decir, aplica-
ciones x K

tales que el conjunto { : x() = 0} es nito (conjunto que evidentemente

no ser el mismo para diferentes funciones x). Este nuevo espacio vectorial, que puede verse
como una suma directa de tantas copias del cuerpo escalar como indique el cardinal del con-
junto , suele denotarse por K
()
. Ntese que, si el conjunto es nito, tenemos evidentemente
K

= K
()
= K
N
donde N es el nmero de elementos de , pero cuando es innito, K

es
"mucho ms grande" que K
()
. Por ejemplo, K
N
es el espacio de todas las sucesiones de es-
calares, mientras que en K
(N)
slo tenemos las sucesiones casi-nulas, que se anulan a partir de
un cierto trmino en adelante. As pues, queda claro que existe gran diferencia entre un producto
innito y la correspondiente suma directa.
De nuevo para un conjunto no vaco arbitrario , es fcil encontrar una base algebraica del
espacio K
()
. En efecto, jado un , podemos considerar la aplicacin e

K
()
que se
anula en todo el conjunto salvo precisamente en el punto , donde toma el valor 1. Es bastante
evidente que el conjunto {e

: } es una base algebraica de K

()
. El siguiente enunciado
clasica, salvo isomorsmos, todos los espacios vectoriales sobre K y pone de maniesto que,
2. Ejemplos de espacios normados y espacios de Banach 9
tambin salvo isomorsmos, no hay ms espacios vectoriales sobre Kque los de la forma K
()
.
Por isomorsmo entre espacios vectoriales entendemos naturalmente una biyeccin lineal.
Teorema.
(i) Todo espacio vectorial admite una base algebraica. Ms concretamente, todo conjunto de
vectores linealmente independientes de un espacio vectorial est contenido en una base
algebraica del espacio.
(ii) Todas las bases algebraicas de un espacio vectorial X tienen el mismo cardinal, que
recibe el nombre de dimensin algebraica de X.
(iii) Dos espacios vectoriales sobre el mismo cuerpo K son isomorfos si, y slo si, tienen la
misma dimensin algebraica.
Aunque no vamos a exponer la demostracin de este teorema, conviene resaltar que la
primera armacin requiere usar de manera esencial el Lema de Zorn. En la prctica esto sig-
nica que, aunque conozcamos la dimensin algebraica de un espacio vectorial, rara vez vamos
a disponer explcitamente de una base algebraica del espacio, salvo que la dimensin algebraica
sea nita o, al menos, numerable. Para la segunda armacin del teorema se usan resultados no
triviales de la teora de cardinales y la tercera es prcticamente evidente.
Puede merecer la pena recapitular toda la discusin anterior. A cada conjunto no vaco
, hemos asociado un espacio vectorial K
()
, que admite como base algebraica el conjunto
{e

: }, luego la dimensin algebraica de K

()
es el cardinal del conjunto . Recproca-
mente, dado un espacio vectorial X, podemos encontrar en X una base algebraica, que tendr la
forma {x

: } para algn conjunto no vaco , con lo que X resulta ser isomorfo a K

()
.
Finalmente los espacios K
()
y K
()
son isomorfos si, y slo si, los conjuntos y tienen el
mismo cardinal, es decir, existe una biyeccin de uno sobre otro. Conviene hacer una precisin,
pues la discusin anterior excluye al espacio vectorial trivial X ={0}; para incluirlo basta asig-
narle dimensin 0. Por otra parte, conviene saber que toda la discusin es vlida para espacios
vectoriales sobre un cuerpo conmutativo arbitrario, aunque aqu slo nos interesen los espacios
vectoriales reales o complejos.
2.4. Espacios de sucesiones
Tengamos presente la denicin del espacio vectorial producto K
N
(todas las sucesiones de
escalares) y de la suma directa K
(N)
(sucesiones casi-nulas). En este apartado vamos a consi-
derar una amplia gama de subespacios de K
N
que contienen a K
(N)
y que, dotados de la norma
apropiada en cada caso, se convertirn en importantes ejemplos de espacios de Banach.
2. Ejemplos de espacios normados y espacios de Banach 10
2.4.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
:

k=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
=
_

k=1
|x(n)|
p
_
1/p
(x l
p
),
se obtiene una norma en l
p
. Para comprobar su complitud, sea {x
n
} una sucesin de Cauchy
en l
p
. Fijado k N, tenemos claramente que |x
n
(k) x
m
(k)| x
n
x
m
, para cualesquiera
n, m N, 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
. No es difcil comprobar que
x l
p
y que {x
n
x
p
} 0, es decir, {x
n
} converge a x en l
p
. Habremos comprobado as que
l
p
es un espacio de Banach.
Podemos analizar 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 espacio l
p
se agranda
estrictamente al aumentar p.
2.4.2. Los vectores unidad en l
p
Observemos que, para cualquier p, siempre con 1 p < , el espacio vectorial K
(N)
est
contenido estrictamente en l
p
, aunque evidentemente, la norma que K
(N)
hereda de l
p
es distin-
ta para distintos valores de p. De hecho, vamos a darnos cuenta de que K
(N)
es un subespacio
denso de l
p
. En efecto, recordemos la base algebraica de K
(N)
denida anteriormente, concre-
tamente {e
n
: n N} donde, para cada n N, e
n
es la sucesin cuyo n-simo trmino es 1 y los
dems son 0. Viendo a e
n
como elemento de l
p
, decimos que e
n
es el n-simo vector unidad
2. Ejemplos de espacios normados y espacios de Banach 11
de l
p
. Dado un x l
p
podemos considerar la serie

n1
x(n)e
n
, una serie de vectores de l
p
cuyas
sumas parciales pertenecen evidentemente al subespacio K
(N)
. Fijado cualquier nmero natural
N, tenemos claramente:
_
_
x
N

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

k=N+1
|x(n)|
p
,
y usando que el resto de una serie convergente ha de tender a cero, deducimos que la serie
considerada converge a x en l
p
. En resumen:
x =

n=1
x(n)e
n
(x l
p
, 1 p <).
Queda as de maniesto que K
(N)
es denso en l
p
. Dicho de manera equivalente, si considera-
mos en K
(N)
la norma que hereda de l
p
, tenemos un ejemplo de espacio normado no completo,
cuya completacin es precisamente l
p
. No debe extraarnos que un mismo espacio vectorial d
lugar a completaciones diferentes dependiendo de la norma con que lo dotemos. 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 espa-
cio 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 la primera es
completa y la segunda no lo es.
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.4.3. Bases de Schauder
Observemos la sucesin {e
n
} en cualquiera de los espacios l
p
con 1 p < . Se trata
evidentemente de una sucesin de vectores linealmente independientes, pero no forman una
base algebraica de l
p
, el subespacio engendrado es como sabemos K
(N)
, que es denso en l
p
pero
no es el total. Sin embargo, cada vector x l
p
se expresa como una especie 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 una sucesin de
2. Ejemplos de espacios normados y espacios de Banach 12
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 cada vector x X se expresa, de manera nica, como suma de una serie de la forma
x =

n=1

n
u
n
, para conveniente sucesin {
n
} de escalares. 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.
2.4.4. Espacios normados separables
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 innito-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, como K es separable, disponemos de un
conjunto numerable denso en K (si K = R podemos tomar = Q y, si K = C, entonces
=Q+iQ). Formamos ahora combinaciones lineales de los trminos de la sucesin {u
n
} con
coecientes en , es decir, consideramos el conjunto:
E ={
1
u
1
+
2
u
2
+. . . +
n
u
n
: 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. 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 S. 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 y espacios de Banach 13
2.4.5. 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 ellos 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 y espacios de Banach 14
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 hasta aqu. Para 1 < p < q <, como espacios vectoriales (pres-
cindiendo 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 est en ningn l
p
con
p <.
2.5. Espacios de familias sumables
Para presentar otra amplia gama de espacios de Banach, que incluir las estudiadas hasta
ahora y proporcionar nuevos ejemplos de espacios de Banach no separables, conviene precisar
el siguiente concepto.
2.5.1. Familias sumables de nmeros positivos
Sea {a

: } una familia de nmeros, con a

R y a

0 para todo . Con-

sideremos todas las posibles sumas (nitas) de elementos de la familia; ms concretamente,
denotando por F() el conjunto de todas las partes nitas de , formamos el conjunto
S ={

F
a

: F F()}.
Cuando S est acotado decimos que {a

: } es sumable y denimos su suma por:

= sup S,
es decir, el supremo de todas las posibles sumas nitas de elementos de la familia. Tambin es
costumbre escribir

< para indicar que la familia {a

: } es sumable. Veamos los

tres casos que pueden darse:
Cuando es nito, digamos ={1, 2, . . . , N}, no hemos inventado nada nuevo, cualquier
familia {a

: } va a ser sumable y, obviamente,

=
N

k=1
a
k
no es ms que una
suma nita.
2. Ejemplos de espacios normados y espacios de Banach 15
Cuando es innito-numerable, usando cualquier biyeccin de N sobre , es fcil
comprobar que la familia {a

: } es sumable si, y slo si, la serie

n1
a
(n)
es con-
vergente, en cuyo caso,

n=1
a
(n)
. Tampoco en este caso parece que hayamos
inventado nada nuevo. Sin embargo, cabe pensar que podemos tener = Z (o an peor,
= Q) y no necesitamos especicar ninguna biyeccin concreta de N sobre , que nos
permita formar la correspondiente serie, para denir de manera coherente la suma de la
familia.
Supongamos nalmente que el conjunto no es numerable. Aparentemente hemos po-
dido denir la suma de una familia no numerable, armacin que debe ser matizada. Si
=

<, para cada k Npodemos considerar el conjunto

k
=
_
: a

1
k
_
,
que ha de ser nito, ms concretamente su nmero de elementos no puede exceder de k,
pues de lo contrario tendramos sumas nitas de elementos de la familia mayores que ,
cosa que no puede ocurrir. Si ahora consideramos el conjunto
0
=

k=1

k
, es claro que

0
es numerable, as como que a

= 0 a menos que
0
. Por tanto, hemos denido la
suma de una familia no numerable de nmeros, pero la familia slo ser sumable cuando
todos ellos sean cero salvo un conjunto numerable, con lo que recaemos claramente en el
caso anterior ( numerable). Pensemos, sin embargo lo que ocurre cuando consideramos
muchas familias sumables simultneamente. Supongamos que, para cada i en un cier-
to conjunto de ndices I tenemos una familia sumable
_
a
(i)

:
_
; ciertamente, para
cada i I, el conjunto
_
: a
(i)

= 0
_
es numerable, pero dicho conjunto depende
obviamente de i, pudiendo ocurrir (si I no es numerable) que no podamos encontrar un
subconjunto numerable jo
0
tal que a
(i)

=0 para todo \
0
y todo i I. Enseguida
veremos abundantes ejemplos de esta situacin.
2.5.2. Los Espacios l

p
(1 p <)
Fijemos pues nuestro conjunto no vaco, pero por lo dems arbitrario, ; sea 1 p < y
consideremos el subconjunto del espacio vectorial producto K

dado por:
l

p
=
_
x K

|x()|
p
<
_
.
Es fcil ver, usando la desigualdad de Minkowski, que l

p
es un subespacio vectorial de K

y
que deniendo:
x
p
=
_

|x()|
p
_
1/p
(x l

p
),
se obtiene una norma en l

p
que lo convierte en un espacio de Banach. Los comentarios previos
sobre familias sumables nos permiten ahora considerar los siguientes casos particulares:
2. Ejemplos de espacios normados y espacios de Banach 16
Si es nito con N elementos, el espacio l

p
no es otra cosa que el espacio de dimensin
N que habamos denotado l
N
p
.
Si es innito numerable l

p
se identica totalmente (mediante una biyeccin lineal que
conserva la norma) con l
p
. Sin embargo, formalmente puede ser til, como se ver ms
adelante, considerar por ejemplo el espacio l
Z
p
.
Si no es numerable l

p
es, como veremos, un espacio de Banach no separable.
As pues, aparte de englobar ejemplos anteriores, aparecen nuevos ejemplos de espacios de Ba-
nach cuando no es numerable. Muchas de las armaciones hechas para espacios de sucesiones
tienen sus anlogas en este caso. Por ejemplo, l

p
se agranda estrictamente al aumentar p y K
()
es un subespacio denso de l

p
para 1 p <. Si consideramos nuevamente los vectores unidad
{e

: }, observamos que la distancia entre cualesquiera dos de ellos (distintos) es 2

1/p
, de
ah la armacin de que l

p
no es separable. Al igual que en el caso = N, cada vector x l

p
tiene un nico desarrollo en la forma x =

x()e

, pero este hecho requiere el concepto de

familia sumable de vectores en un espacio normado, que trataremos ms adelante.
2.6. Espacios de funciones continuas
En el apartado anterior hemos excluido intencionadamente el caso p = para el que la
nocin de familia sumable no se precisa; consideremos ahora este caso.
Dado nuevamente un conjunto no vaco , denotaremos naturalmente por l

al espacio
vectorial de todas las funciones acotadas de en K:
l

=
_
x K

: sup{|x()| : } <
_
,
dotado de la norma:
x

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

_
.
Es fcil comprobar que la convergencia en esta norma equivale a la convergencia uniforme
en , lo que nos lleva a probar sin dicultad que

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, C
00
(L) es por deni-
cin el 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},
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)).
2. Ejemplos de espacios normados y espacios de Banach 17
El cambio de notacin no habr pasado desapercibido: hasta el apartado anterior, traba-
jbamos con funciones denidas en un conjunto en el que no se tena en cuenta, aunque la
hubiera, ninguna estructura adicional, es decir, slo haca el papel de conjunto de ndices;
era lgico, por tanto, pensar en las funciones de en K como simples familias de nmeros
con subndices en y usar una notacin tpica de vectores x, y. . . Los espacios normados que
han ido apareciendo se denotaban con letras minsculas. Sin embargo, ahora hemos empezado
a considerar funciones que tienen alguna propiedad (continua, soporte compacto) relacionada
con una estructura del conjunto L donde estn denidas (una topologa); para resaltar este he-
cho, empezamos a usar una notacin tpica de funciones ( f , g. . .) y el espacio normado que
consideramos se denota con letra mayscula.
En general, C
00
(L) puede no ser un subespacio cerrado de l
L

(es lo que ocurre, por ejemplo,

cuando L = R). En cualquier caso, el cierre de C
00
(L) en l
L

es el espacio de Banach C
0
(L)
de las funciones continuas que se anulan en el innito. Decimos que una funcin continua
f : L K se anula en el innito si, para cada > 0, el conjunto {t L : | f (t)| } es com-
pacto. Si recordamos la compactacin por un punto

L = L{}, nuestra terminologa resulta
coherente, ya que una funcin continua f : L K pertenece a C
0
(L) si, y slo si lm
t
f (t) = 0,
equivalentemente, f se puede extender a una funcin continua en

L deniendo f () = 0.
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 . El hecho de que C
00
(L) es denso en C
0
(L) se deduce fcilmente
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 casi-nulas y el espacio c
0
de
las sucesiones convergentes a cero. En general, si es un conjunto arbitrario con la topologa
discreta, entonces C
00
() coincide con K
()
mientras que C
0
() est formado por las funciones
f K

tales que el conjunto { : | f (t)| } es nito para todo > 0.

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. Pero es claro que aqu tenemos una amplsima gama de espacios
de Banach, entre los que cabe destacar, por ejemplo a C[0,1].
2.7. 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
2. Ejemplos de espacios normados y espacios de Banach 18
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.7.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 fcilmente la correspondiente de-

sigualdad 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 < . Nuevamente la desigualdad de
Minkowski es evidente para p = 1.
2.7.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
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.
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 o de
familias sumables. Concretamente, dados 1 p < q < , no es demasiado difcil comprobar
las siguientes armaciones:
2. Ejemplos de espacios normados y espacios de Banach 19
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.8. 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 , equivalentemente | f | M c.p.d. Denotamos por L

() al
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.
Conviene comentar la diferencia entre los espacios L

() y l

. Ntese que si f L

()
podemos modicar f en un conjunto de medida nula, obteniendo otra funcin

f , que hemos
identicado con f , y para la cual la desigualdad |

f | f

es vlida en todo punto de y no

slo c.p.d., con lo cual

f l

e incluso sup|

f | = ess sup| f |. Dicho de otra forma, cada clase de
equivalencia en L

() tiene un representante en l

con la misma norma. Esto no nos debe llevar

2. Ejemplos de espacios normados y espacios de Banach 20
a confundir ambos espacios: para empezar, en l

hay funciones que no son medibles; peor an,

una funcin no nula f l

podra anularse c.p.d. y cuando la vemos en L

() se hace cero;
en cualquier caso, para f l

el supremo esencial de | f | puede ser mucho ms pequeo que el

supremo usual.
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].
2.9. Los espacios L
p
()
La Teora de la Medida proporciona un marco general en el que encuentran su lugar la gran
mayora de los espacios de Banach que hemos considerado en este tema. Claro est que para
ello se necesitan algunos conocimientos bsicos de dicha teora.
Sea una medida (positiva, no necesariamente nita) en un conjunto arbitrario . Denote-
mos por L() al espacio vectorial de todas las funciones medibles de en K, identicando
funciones que coincidan c.p.d. con respecto a la medida . Podemos entonces denir, para
1 p <:
L
p
() =
_
f L() :
_

| f (t)|
p
d(t) <
_
.
Con la versin adecuada de la desigualdad de Minkowski, comprobamos que L
p
() es un sub-
espacio vectorial de L() que, con la norma:
f
p
=
_
_

| f (t)|
p
d(t)
_
1/p
( f L
p
())
se convierte en un espacio de Banach, pues el Teorema de Riesz-Fisher es igualmente vlido en
este ambiente ms general. Lo mismo ocurre en el caso p =, tomando
L

() =
_
f L() : ess sup| f | <
_
,
con la norma:
f

= ess sup| f | ( f L

()).
Como casos particulares tenemos:
2. Ejemplos de espacios normados y espacios de Banach 21
Sea un conjunto no vaco arbitrario y, para cada subconjunto E , sea (E) el nmero
de elementos de E, entendiendo que el conjunto vaco tiene 0 elementos y que (E) =
cuando E es innito. Obsrvese que todo subconjunto de es medible y que no tenemos
ms conjuntos de medida nula que el vaco. Por tanto, todas las funciones de en K son
medibles y dos funciones que coincidan c.p.d. son idnticas. Se comprueba sin mucha
dicultad que para 1 p , se tiene L
p
() = l

p
. En particular, como ya sabamos,
L
p
() = l
N
p
cuando es nito con N elementos y L
p
() = l
p
si es innito numerable.
Si es la medida de Lebesgue en un conjunto medible con medida positiva R
N
, es
claro que L
p
() = L
p
() para 1 p .
Los espacios de la forma L
p
() para alguna medida reciben el nombre genrico de espacios
L
p
o tambin espacios de Lebesgue (de ah la letra L), pues son las propiedades clave de la
integral de Lebesgue (concretamente el Teorema de la Convergencia Dominada) las que hacen
que estos espacios sean completos. Para los "hermanos pequeos" de la familia usamos la letra
minscula l.