1 Espacios normados.

A lo largo del curso indica el cuerpo de escales que será ó . La mayoría de

las veces no hay diferencia si  ó , pero en ocasiones si será importante destacar
cual es el cuerpo.
Definición.- Sea E un espacio vectorial sobre . Una norma ||. || sobre E es una
función real ||. ||: E  tal que para todo x, y  E y todo   se tiene:
(a) ||x|| 0, y si ||x|| 0 entonces x  0,
(b) ||x|| ||||x||,
(c) ||x  y|| ||x||||y|| (desigualdad triangular).
[Usaremos algunas veces la notación ||. || E para enfatizar el espacio E. ]

Al par E, ||. || se le llama un espacio normado.

Si E, ||. || es un espacio normado, entonces E tiene asociada de forma natural la
distancia
dx, y  ||x  y||, x, y  E.
Eso permite aplicar todas las nociones y propiedades topológicas que conoceis para
espacios métricos a los espacios normados. En particular:
- Decimos que x n  converge a x (lo que se indica por x n  x si ||x  x n || 0 cuando
n  . Es decir, si para todo   0, existe N  tal que siempre que n  N se tiene
||x  x n || .
- Decimos que x n  es de Cauchy si ||x n  x m || 0 cuando n, m  .
- Hablaremos de conjuntos abiertos, cerrados o compactos en E si lo son en el
espacio métrico E, d. Igualmente, hablaremos de funciones continuas entre espacios
normados si lo son para las distancias asociadas a las normas.

Ejemplo 1. Los espacios  , |. | y  , |. | son normados.

n n
Ejemplo 2. De forma más general, si n  , el espacio vectorial , es decir ó
n
, de todas las n-uplar de escalares con
n
|| 1 , . . . ,  n || || 1 , . . . ,  n || 2  | j | 2  1/2
j1
n
es un espacio normado. (En Cálculo Diferencial se estudió en detalle el caso de . El
de n es análogo.)

Si conocemos una norma ||. || sobre un espacio vectorial E entonces podemos definir
muchas otras. Por ejemplo, si r  0 entonces ||x|| r  r||x|| es otra norma sobre E. Puede
haber también normas de otro tipo. Así en n sabemos que también son normas
 n
|| 1 , . . . ,  n || 1  | j | , || 1 , . . . ,  n ||   max| j |.
1jn
j1

Nos preguntamos ahora cuando dos normas tienen las mismas suceciones
convergentes, las mismas sucesiones de Cauchy y las mismas funciones continuas. Es
decir, cuando definen la misma topología en E.
Definición .- Dos normas ||. || , |||. ||| en un espacio vectorial E se dicen equivalentes si
existen números positivos m, M tales que para cada x  E se tiene
m||x|| |||x||| M||x||.
Claramente si ||. || y |||. ||| son equivalentes, entonces se cumple que si x n  x para ||. ||,
también lo hace para |||. |||. Seguramente en Cálculo Diferencial visteis que las normas
||. || 2 , ||. || 1 y ||. ||  son equivalentes en n .

Definición .- Un espacio normado E, ||. || se dice completo si toda sucesión de
Cauchy en E es convergente a algún vector de E.
A los espacios normados y completos se les llama espacios de Banach.

n
Ejemplo 3.  , ||. || 2  es un espacio de Banach.

Ejemplo 4. Sean a, b  con a  b. Ponemos

Ca, b  f : a, b  : f es continua 
(si consideramos funciones continuas con valores reales, entonces tenemos un
espacio vectorial real; si consideramos funciones complejas entonces resulta un espacio
que se puede considerar tanto como un espacio vectorial complejo como real).
Pongamos
||f|| max|ft|: t  a, b.
Se comprueba sin dificultad que ||. || es una norma en Ca, b. Veamos que es
completo: Si f n  es una sucesión de Cauchy en Ca, b, dado cualquier   0 existe un
N  tal que si n, m  N entonces
 |f n t  f m t|  para todo t  a, b.
Así f n t es de Cauchy en para todo t  a, b y podemos definir una función
f : a, b  poniendo ft  lim n f n t. Pasando al límite en  cuando m   se
sigue que cualquiera que sea   0 existe N  tal que si n  N entonces
  |f n t  ft|  para todo t  a, b.
Es decir, f es el límite uniforme de la sucesión de funciones continuas f n  y así es
continua. Luego f  Ca, b. Además, por  , se tiene que f n  f en Ca, b.

Ejemplo 5. Sea   el conjunto de las sucesiones acotadas de escalares

      m   : sup| m |  .
m

Si    m ,    m     y   , ponemos
      m   m  ,    m 
y con estas operaciones   resulta un espacio vectorial sobre . El funcional
||||   || 1 ,  2 , . . . ||   sup| m |: m  
define una norma en   como se comprueba sin dificultad. Veamos que   es
completo con esa norma.
Sea  n  una sucesión de Cauchy con  n   nm . Para todo   0, existe N  tal
que si k, n  N entonces
 || k   n ||   sup| km   nm |: m    .
Si fijamos m  , se sigue de  que  nm  n es de Cauchy en . Sea
 m  lim n  nm . Pongamos    m  m . Por  si k, n  N entonces
| km   nm |  para todo m  .
Pasando al límite cuando k   resulta que si n  N entonces
  | m   nm |  para todo m  .
Así
| m | | m   Nm || Nm |   || N ||  para todo m  .
Esto prueba que  es acotada. Finalmente   da que para todo   0 existe
N  tal que si n  N se tiene ||   n ||   .

Ejemplo 6. Para 1  p  , sea  p el conjunto de todas las sucesiones de escalares


   n  tales que  n1 | n | p  . La suma y el producto por escalares en  p se definen
como en el caso de   . En las hojas de problemas se pide demostrar que

|||| p  | n | p  1/p
n1

es una norma en  p y que  p , ||. || p  es un espacio de Banach.

Ejemplo 7. Dado un espacio de medida , , si habeis cursado Teoría de la

Medida, seguramente habreis trabajado con los espacios de Lebesgue L p  formados
por las (clases de equivalencia de) funciones medibles que son integrables al tomarlas
en módulo a la potencia p. Si ponemos
||f|| p   |f| p d 1/p si 1  p  , y


||f||   ess sup|fx|: x   si p  ,

p
resulta que L , ||. || p  es un espacio normado y completo.
Los espacios de sucesiones  p son un caso especial de este ejemplo, donde se toma
  con  la medida de contar (es decir, si A  , A  #A es el número de
elementos que tiene A).

Antes de dar otro ejemplo, veamos un resultado general. Sea E, ||. || un espacio
normado y sea F  E un subespacio vectorial. Dotamos a F de la norma inducida y así
F, ||. || es también un espacio normado. Se tiene:
Teorema .- Sea E, ||. || un espacio normado y sea F  E un subespacio.
(a) Si F, ||. || es un espacio de Banach, entonces F es cerrado en E.
(b) Si E, ||. || es un espacio de Banach y F es cerrado en E, entonces F, ||. || es
también un espacio de Banach.
Demostración. (a) Sea y n   F tal que y n  y en E. Veamos que entonces y  F.
Como y n  es convergente, y n  es de Cauchy. Por ser F completo, existe x  F tal que
y n  x en F y así en E. Por lo tanto, en el espacio E se tiene que y n  y y también
y n  x. Como en un espacio métrico el límite de una sucesión si existe es único, resulta
que y  x. Por lo tanto, y  F.
(b) Sea y n  una sucesión de Cauchy en F, ||. ||. Se tiene que y n  también es de
Cauchy en el espacio completo E, ||. ||. Existe entonces y  E tal que y n  y en E. Por
ser F cerrado y y n   F, resulta que y  F y así y n  y en F, lo que prueba la
completitud de F, ||. ||. 

Ejemplo 8. Sea c 0 el subespacio de   formado por las sucesiones    n  tales que

lim n  n  0. Dotamos a c 0 de la norma inducida por  
||||   sup| n |: n    max| n |: n   cuando   c 0 .
El subespacio c 0 es cerrado en   pues si  n    nm   c 0 con  n     m  en
  , dado   0 existe   tal que si n   entonces | nm   m | /2 para todo m  .
Como    c 0 , existe N  tal que si m  N es | m | /2. Por lo tanto, para ese N si
m  N se tiene
| m | | m   m || m |     .
2 2
Esto prueba que c 0 es un subespacio cerrado de   . El Teorema da entonces que
c 0 , ||. ||   es un espacio de Banach.