Está en la página 1de 41

MMAF: Espacios normados y espacios de Banach

Licenciatura en Estadstica
R.

Alvarez-Nodarse
Universidad de Sevilla
Curso 2011/2012
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Espacios vectoriales
Denicion
Sea V un conjunto de elementos sobre el cual estan denidas las
operaciones suma + de dos elementos x, y de V y
multiplicacion de un escalar (n umero real) por un elemento
de V. V es un espacio vectorial si
1
x, y V, el vector suma, w = x + y V y se cumple que:
1 x + y = y + x
2 (x + y) + z = x + (y + z)
3 Existe un elemento nulo de V, tal que x + 0 = 0 + x = x
4 Cualquiera sea el vector x de V, existe el elemento (x)
opuesto a x, tal que x + (x) = (x) + x = 0.
2
x V, el vector w = x V y se cumple que:
1 (x + y) = x + y
2 ( +) x = x + x
3 ( x) = () x
4 1 x = x
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Ejemplos de espacios vectoriales
1
El conjunto de los vectores de R
n
cuando la suma de dos
vectores y la multiplicacion por un escalar es la estandard.
2
El conjunto R
mn
de las matrices m n cuando la suma de
dos matrices y la multiplicacion por un escalar es la estandard.
3
El conjunto P
n
de los polinomios de grado a lo sumo n
P
n
= {p
n
(t) = a
0
+a
1
t+ +a
n
t
n
, a
0
, ..., a
n
n umeros reales.},
donde denimos
p(t) = a
0
+ a
1
t + + a
n
t
n
, q(x) = b
0
+ b
1
t + + b
n
t
n
,
(p + q)(t) p(t) + q(t) = (a
0
+ b
0
) + (a
1
+ b
1
)t + + (a
n
+ b
n
)t
n
,
( p)(t) p(t) = (a
0
) + (a
1
)t + + (a
n
)t
n
.
Ademas, p
n
= 0, si y solo si a
0
= a
1
= = a
n
= 0.
4
El conjunto C
[a,b]
de las funciones continuas en [a, b]
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Subespacios vectoriales
Denicion
Sea V un espacio vectorial. Diremos que un subconjunto H de
elementos de V es un subespacio vectorial de V si H es a su vez
un espacio vectorial respecto a las mismas operaciones suma + y
multiplicacion que V.
Ejemplos.
1
Dado un espacio vectorial V, son subespacios vectoriales
triviales los subespacios H = {0} (conjunto que tiene como
unico elemento, el nulo) y H = V (el mismo espacio
vectorial).
2
Para V = C
[a,b]
, H = P
n
es un subespacio vectorial, para
cualquier n = 0, 1, 2, ... entero.
3
Para V = P
n
, H = P
k
es un subespacio vectorial para todo
k < n.
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Subespacios vectoriales
Teorema
Un subconjunto H de elementos de V es un subespacio vectorial
de V si y solo si se cumple que
Para todos x e y, vectores de H y , R el vector
w = x +y tambien es un vector de H.
Al vector v = x
1
v
1
+ x
2
v
2
+ + x
p
v
p
, x
1
, . . . , x
p
R,
se le denomina combinacion lineal de los vectores v
1
, v
2
, ..., v
p
.
Sea span (v
1
, v
2
, ..., v
p
) el conjunto de todas las combinaciones
lineales de los vectores v
1
, v
2
, ..., v
p
V
Teorema
span (v
1
, v
2
, ..., v
p
) es un subespacio vectorial de V.
Dicho subespacio vectorial com unmente se denomina subespacio
generado por los vectores v
1
, v
2
, ..., v
p
.
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Subespacios vectoriales
Teorema
Un subconjunto H de elementos de V es un subespacio vectorial
de V si y solo si se cumple que
Para todos x e y, vectores de H y , R el vector
w = x +y tambien es un vector de H.
Al vector v = x
1
v
1
+ x
2
v
2
+ + x
p
v
p
, x
1
, . . . , x
p
R,
se le denomina combinacion lineal de los vectores v
1
, v
2
, ..., v
p
.
Sea span (v
1
, v
2
, ..., v
p
) el conjunto de todas las combinaciones
lineales de los vectores v
1
, v
2
, ..., v
p
V
Teorema
span (v
1
, v
2
, ..., v
p
) es un subespacio vectorial de V.
Dicho subespacio vectorial com unmente se denomina subespacio
generado por los vectores v
1
, v
2
, ..., v
p
.
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Subespacios vectoriales
Teorema
Un subconjunto H de elementos de V es un subespacio vectorial
de V si y solo si se cumple que
Para todos x e y, vectores de H y , R el vector
w = x +y tambien es un vector de H.
Al vector v = x
1
v
1
+ x
2
v
2
+ + x
p
v
p
, x
1
, . . . , x
p
R,
se le denomina combinacion lineal de los vectores v
1
, v
2
, ..., v
p
.
Sea span (v
1
, v
2
, ..., v
p
) el conjunto de todas las combinaciones
lineales de los vectores v
1
, v
2
, ..., v
p
V
Teorema
span (v
1
, v
2
, ..., v
p
) es un subespacio vectorial de V.
Dicho subespacio vectorial com unmente se denomina subespacio
generado por los vectores v
1
, v
2
, ..., v
p
.
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Conjuntos linealmente independientes
Denicion
Un conjunto de vectores v
1
, v
2
, ..., v
p
de un espacio vectorial V se
denomina linealmente independiente si la ecuacion vectorial
x
1
v
1
+ x
2
v
2
+ + x
p
v
p
= 0, x
1
, x
2
, , x
p
R
tiene como unica solucion la trivial x
1
= = x
p
= 0.
Denicion
Un conjunto de vectores v
1
, v
2
, ..., v
p
se denomina linealmente
dependiente si existen x
1
, x
2
, , x
p
R no todos iguales a cero
tales que se verique la ecuacion vectorial
x
1
v
1
+ x
2
v
2
+ + x
p
v
p
= 0.
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Conjuntos linealmente independientes
Denicion
Un conjunto de vectores v
1
, v
2
, ..., v
p
de un espacio vectorial V se
denomina linealmente independiente si la ecuacion vectorial
x
1
v
1
+ x
2
v
2
+ + x
p
v
p
= 0, x
1
, x
2
, , x
p
R
tiene como unica solucion la trivial x
1
= = x
p
= 0.
Denicion
Un conjunto de vectores v
1
, v
2
, ..., v
p
se denomina linealmente
dependiente si existen x
1
, x
2
, , x
p
R no todos iguales a cero
tales que se verique la ecuacion vectorial
x
1
v
1
+ x
2
v
2
+ + x
p
v
p
= 0.
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Importancias de los vectores li: Bases
Denicion
Sea H un subespacio vectorial del espacio vectorial V. El conjunto
de vectores B = {b
1
, b
2
, ..., b
p
} de V es una base de H si
i) B es un conjunto de vectores linealmente independientes
ii) H = span (b
1
, b
2
, ..., b
p
), o sea, B genera a todo H.
En particular si H coincide con V, entonces B es una base de todo
el espacio vectorial V.
Ejemplo 1: Las n columnas a
1
, ..., a
n
de una matriz invertible
n n, son li y ademas R
n
= span (a
1
, ..., a
n
). Por tanto
B = a
1
, ..., a
n
es una base de R
n
. Si A = I
n
, es la matriz identidad
n n, las columnas e
1
, e
2
, ..., e
n
de la misma son la base canonica
de R
n
.
Ejemplo 2: El conjunto de vectores S = {1, t, t
2
, ..., t
n
} P
n
es
li, ademas span (1, t, t
2
, ..., t
n
) = P
n
. Luego S es una base de P
n
(canonica).
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Importancias de los vectores li: Bases
Denicion
Sea H un subespacio vectorial del espacio vectorial V. El conjunto
de vectores B = {b
1
, b
2
, ..., b
p
} de V es una base de H si
i) B es un conjunto de vectores linealmente independientes
ii) H = span (b
1
, b
2
, ..., b
p
), o sea, B genera a todo H.
En particular si H coincide con V, entonces B es una base de todo
el espacio vectorial V.
Ejemplo 1: Las n columnas a
1
, ..., a
n
de una matriz invertible
n n, son li y ademas R
n
= span (a
1
, ..., a
n
). Por tanto
B = a
1
, ..., a
n
es una base de R
n
. Si A = I
n
, es la matriz identidad
n n, las columnas e
1
, e
2
, ..., e
n
de la misma son la base canonica
de R
n
.
Ejemplo 2: El conjunto de vectores S = {1, t, t
2
, ..., t
n
} P
n
es
li, ademas span (1, t, t
2
, ..., t
n
) = P
n
. Luego S es una base de P
n
(canonica).
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Importancias de los vectores li: Bases
Denicion
Sea H un subespacio vectorial del espacio vectorial V. El conjunto
de vectores B = {b
1
, b
2
, ..., b
p
} de V es una base de H si
i) B es un conjunto de vectores linealmente independientes
ii) H = span (b
1
, b
2
, ..., b
p
), o sea, B genera a todo H.
En particular si H coincide con V, entonces B es una base de todo
el espacio vectorial V.
Ejemplo 1: Las n columnas a
1
, ..., a
n
de una matriz invertible
n n, son li y ademas R
n
= span (a
1
, ..., a
n
). Por tanto
B = a
1
, ..., a
n
es una base de R
n
. Si A = I
n
, es la matriz identidad
n n, las columnas e
1
, e
2
, ..., e
n
de la misma son la base canonica
de R
n
.
Ejemplo 2: El conjunto de vectores S = {1, t, t
2
, ..., t
n
} P
n
es
li, ademas span (1, t, t
2
, ..., t
n
) = P
n
. Luego S es una base de P
n
(canonica).
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Bases y dimensi on del espacio
Teorema
Si un espacio vectorial V tiene una base de n vectores
B = {b
1
, b
2
, ..., b
n
}, entonces cualquier conjunto con mas de n
vectores de V es linealmente dependiente. Ademas, si un espacio
vectorial V tiene una base de n vectores B = {b
1
, ..., b
n
}, entonces
cualquier otra base de V tendra que tener n vectores de V.
El menor n umero de vectores linealmente independientes que
generan un espacio vectorial es una propiedad intrnseca de dicho
espacio y se denomina dimension del espacio vectorial.
Un espacio vectorial V es de dimension nita n si V esta
generado por una base de n elementos en cuyo caso dimV = n.
El espacio nulo {0} tiene dimension 0.
Si V no puede ser generado por una base nita, entonces V es
de dimension innita: dimV = .
Ejemplos: dimR
n
= n, dimP
n
= n + 1, dimC
[a,b]
= .
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Bases y dimensi on del espacio
Teorema
Si un espacio vectorial V tiene una base de n vectores
B = {b
1
, b
2
, ..., b
n
}, entonces cualquier conjunto con mas de n
vectores de V es linealmente dependiente. Ademas, si un espacio
vectorial V tiene una base de n vectores B = {b
1
, ..., b
n
}, entonces
cualquier otra base de V tendra que tener n vectores de V.
El menor n umero de vectores linealmente independientes que
generan un espacio vectorial es una propiedad intrnseca de dicho
espacio y se denomina dimension del espacio vectorial.
Un espacio vectorial V es de dimension nita n si V esta
generado por una base de n elementos en cuyo caso dimV = n.
El espacio nulo {0} tiene dimension 0.
Si V no puede ser generado por una base nita, entonces V es
de dimension innita: dimV = .
Ejemplos: dimR
n
= n, dimP
n
= n + 1, dimC
[a,b]
= .
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Bases y dimensi on del espacio
Teorema
Si un espacio vectorial V tiene una base de n vectores
B = {b
1
, b
2
, ..., b
n
}, entonces cualquier conjunto con mas de n
vectores de V es linealmente dependiente. Ademas, si un espacio
vectorial V tiene una base de n vectores B = {b
1
, ..., b
n
}, entonces
cualquier otra base de V tendra que tener n vectores de V.
El menor n umero de vectores linealmente independientes que
generan un espacio vectorial es una propiedad intrnseca de dicho
espacio y se denomina dimension del espacio vectorial.
Un espacio vectorial V es de dimension nita n si V esta
generado por una base de n elementos en cuyo caso dimV = n.
El espacio nulo {0} tiene dimension 0.
Si V no puede ser generado por una base nita, entonces V es
de dimension innita: dimV = .
Ejemplos: dimR
n
= n, dimP
n
= n + 1, dimC
[a,b]
= .
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Bases y dimensi on del espacio
Teorema
Si un espacio vectorial V tiene una base de n vectores
B = {b
1
, b
2
, ..., b
n
}, entonces cualquier conjunto con mas de n
vectores de V es linealmente dependiente. Ademas, si un espacio
vectorial V tiene una base de n vectores B = {b
1
, ..., b
n
}, entonces
cualquier otra base de V tendra que tener n vectores de V.
El menor n umero de vectores linealmente independientes que
generan un espacio vectorial es una propiedad intrnseca de dicho
espacio y se denomina dimension del espacio vectorial.
Un espacio vectorial V es de dimension nita n si V esta
generado por una base de n elementos en cuyo caso dimV = n.
El espacio nulo {0} tiene dimension 0.
Si V no puede ser generado por una base nita, entonces V es
de dimension innita: dimV = .
Ejemplos: dimR
n
= n, dimP
n
= n + 1, dimC
[a,b]
= .
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Bases y dimensi on del espacio
Teorema
Si un espacio vectorial V tiene una base de n vectores
B = {b
1
, b
2
, ..., b
n
}, entonces cualquier conjunto con mas de n
vectores de V es linealmente dependiente. Ademas, si un espacio
vectorial V tiene una base de n vectores B = {b
1
, ..., b
n
}, entonces
cualquier otra base de V tendra que tener n vectores de V.
El menor n umero de vectores linealmente independientes que
generan un espacio vectorial es una propiedad intrnseca de dicho
espacio y se denomina dimension del espacio vectorial.
Un espacio vectorial V es de dimension nita n si V esta
generado por una base de n elementos en cuyo caso dimV = n.
El espacio nulo {0} tiene dimension 0.
Si V no puede ser generado por una base nita, entonces V es
de dimension innita: dimV = .
Ejemplos: dimR
n
= n, dimP
n
= n + 1, dimC
[a,b]
= .
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Bases y dimensi on del espacio
Teorema
Si un espacio vectorial V tiene una base de n vectores
B = {b
1
, b
2
, ..., b
n
}, entonces cualquier conjunto con mas de n
vectores de V es linealmente dependiente. Ademas, si un espacio
vectorial V tiene una base de n vectores B = {b
1
, ..., b
n
}, entonces
cualquier otra base de V tendra que tener n vectores de V.
El menor n umero de vectores linealmente independientes que
generan un espacio vectorial es una propiedad intrnseca de dicho
espacio y se denomina dimension del espacio vectorial.
Un espacio vectorial V es de dimension nita n si V esta
generado por una base de n elementos en cuyo caso dimV = n.
El espacio nulo {0} tiene dimension 0.
Si V no puede ser generado por una base nita, entonces V es
de dimension innita: dimV = .
Ejemplos: dimR
n
= n, dimP
n
= n + 1, dimC
[a,b]
= .
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Espacios normados y de Banach
Denicion
Un espacio vectorial X se denomina espacio normado si para todo
x X existe un n umero real denominado norma, y que
denotaremos por x, que cumple con las condiciones
1
x X, x 0 y si x = 0 entonces x = 0.
2
x X y R, x = ||x.
3
x, y X, se tiene la des. triang. x + y x +y.
Si en un espacio normado X denimos la func. (x, y) = x y,
esta satisface los axiomas de la denicion de espacio metrico, i.e.,
todo espacio normado es un espacio metrico. La anterior se
denomina metrica inducida por la norma.
Denicion
Un espacio normado completo (en la metrica inducida por la
norma) se denomina espacio de Banach.
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Espacios normados y de Banach
Denicion
Un espacio vectorial X se denomina espacio normado si para todo
x X existe un n umero real denominado norma, y que
denotaremos por x, que cumple con las condiciones
1
x X, x 0 y si x = 0 entonces x = 0.
2
x X y R, x = ||x.
3
x, y X, se tiene la des. triang. x + y x +y.
Si en un espacio normado X denimos la func. (x, y) = x y,
esta satisface los axiomas de la denicion de espacio metrico, i.e.,
todo espacio normado es un espacio metrico. La anterior se
denomina metrica inducida por la norma.
Denicion
Un espacio normado completo (en la metrica inducida por la
norma) se denomina espacio de Banach.
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Espacios normados y de Banach
Denicion
Un espacio vectorial X se denomina espacio normado si para todo
x X existe un n umero real denominado norma, y que
denotaremos por x, que cumple con las condiciones
1
x X, x 0 y si x = 0 entonces x = 0.
2
x X y R, x = ||x.
3
x, y X, se tiene la des. triang. x + y x +y.
Si en un espacio normado X denimos la func. (x, y) = x y,
esta satisface los axiomas de la denicion de espacio metrico, i.e.,
todo espacio normado es un espacio metrico. La anterior se
denomina metrica inducida por la norma.
Denicion
Un espacio normado completo (en la metrica inducida por la
norma) se denomina espacio de Banach.
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Ejemplos
Ejemplo
X = R
n
(C
n
), con la norma x =
_

n
k=1
|x
k
|
2
, es un espacio de
Banach.
Ejercicio
Que ocurre con X = R
n
(C
n
) si usamos las normas
x = (

n
k=1
|x
k
|
p
)
1/p
, p 1? Y con la norma
x = max
k=1,...,n
|x
k
|?
Ejemplo
Sea X = C
[a,b]
y denamos la norma f =
_
_
b
a
|f (x)|
p
_
1/p
,
p 1. Este espacio es un espacio normado pero no de Banach
(por que?).
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Ejemplos
Ejemplo
X = R
n
(C
n
), con la norma x =
_

n
k=1
|x
k
|
2
, es un espacio de
Banach.
Ejercicio
Que ocurre con X = R
n
(C
n
) si usamos las normas
x = (

n
k=1
|x
k
|
p
)
1/p
, p 1? Y con la norma
x = max
k=1,...,n
|x
k
|?
Ejemplo
Sea X = C
[a,b]
y denamos la norma f =
_
_
b
a
|f (x)|
p
_
1/p
,
p 1. Este espacio es un espacio normado pero no de Banach
(por que?).
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Ejemplos
Ejemplo
X = R
n
(C
n
), con la norma x =
_

n
k=1
|x
k
|
2
, es un espacio de
Banach.
Ejercicio
Que ocurre con X = R
n
(C
n
) si usamos las normas
x = (

n
k=1
|x
k
|
p
)
1/p
, p 1? Y con la norma
x = max
k=1,...,n
|x
k
|?
Ejemplo
Sea X = C
[a,b]
y denamos la norma f =
_
_
b
a
|f (x)|
p
_
1/p
,
p 1. Este espacio es un espacio normado pero no de Banach
(por que?).
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Ejemplos
Ejemplo
Sea X = C
[a,b]
. Denamos la norma f = max
x[a,b]
|f (x)|. Este
espacio es un espacio de Banach.
Ejemplo
Sea ahora X el espacio de todas las sucesiones
x = (x
1
, x
2
, . . . , x
n
, . . .) reales t.q.

k=1
|x
k
|
p
< + con la norma
x = (

k=1
|x
k
|
p
)
1/p
, p 1. Dicho espacio lo denotaremos por
l
p
y es un espacio de Banach.
Ejercicio
Decide si el espacio X de todas las sucesiones reales
x = (x
1
, x
2
, . . . , x
n
, . . .) acotadas con la metrica x = sup
kN
|x
k
|,
es un espacio de Banach.
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Ejemplos
Ejemplo
Sea X = C
[a,b]
. Denamos la norma f = max
x[a,b]
|f (x)|. Este
espacio es un espacio de Banach.
Ejemplo
Sea ahora X el espacio de todas las sucesiones
x = (x
1
, x
2
, . . . , x
n
, . . .) reales t.q.

k=1
|x
k
|
p
< + con la norma
x = (

k=1
|x
k
|
p
)
1/p
, p 1. Dicho espacio lo denotaremos por
l
p
y es un espacio de Banach.
Ejercicio
Decide si el espacio X de todas las sucesiones reales
x = (x
1
, x
2
, . . . , x
n
, . . .) acotadas con la metrica x = sup
kN
|x
k
|,
es un espacio de Banach.
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Ejemplos
Ejemplo
Sea X = C
[a,b]
. Denamos la norma f = max
x[a,b]
|f (x)|. Este
espacio es un espacio de Banach.
Ejemplo
Sea ahora X el espacio de todas las sucesiones
x = (x
1
, x
2
, . . . , x
n
, . . .) reales t.q.

k=1
|x
k
|
p
< + con la norma
x = (

k=1
|x
k
|
p
)
1/p
, p 1. Dicho espacio lo denotaremos por
l
p
y es un espacio de Banach.
Ejercicio
Decide si el espacio X de todas las sucesiones reales
x = (x
1
, x
2
, . . . , x
n
, . . .) acotadas con la metrica x = sup
kN
|x
k
|,
es un espacio de Banach.
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Todo espacio metrico es normado?
Sea X el espacio de todas las sucesiones reales
x = (x
1
, x
2
, . . . , x
n
, . . .) con la metrica
(x, y) =

j =1
1
2
j
|x
j
y
j
|
1 +|x
j
y
j
|
.
Esta metrica no puede ser inducida por ninguna norma ya que de
ella nunca podremos obtener la propiedad x X y R,
x = ||x, de la norma.
Lema
Sea X un espacio normado. Entonces, la metrica inducida por la
norma satisface las condiciones
1
(x + z, y + z) = (x, y),
2
(x, y) = ||(x, y).
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Todo espacio metrico es normado?
Sea X el espacio de todas las sucesiones reales
x = (x
1
, x
2
, . . . , x
n
, . . .) con la metrica
(x, y) =

j =1
1
2
j
|x
j
y
j
|
1 +|x
j
y
j
|
.
Esta metrica no puede ser inducida por ninguna norma ya que de
ella nunca podremos obtener la propiedad x X y R,
x = ||x, de la norma.
Lema
Sea X un espacio normado. Entonces, la metrica inducida por la
norma satisface las condiciones
1
(x + z, y + z) = (x, y),
2
(x, y) = ||(x, y).
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Espacios normados vs Espacios metricos
En los espacios normados podemos denir la conv. de sucesiones,
suc. de Cauchy, etc. Basta considerarlos como espacios metricos
con la metrica inducida por la norma: (x, y) = x y.
Algunas deniciones son algo mas sutiles:
Denicion
Sea X un espacio normado y sea M un subespacio vectorial de X.
Si M es un espacio normado con la norma de X restringida a M se
dice que M es un subespacio de X. Si M es cerrado en X entonces
se dice que es un subespacio cerrado.
Denicion (En los espacios normados podemos denir las series:)
Sea una suc. (x
n
)
n
de un espacio normado X deniremos la
sucesion (s
n
)
n
de sumas parciales por s
n
=
n

k=1
x
k
, n N. Si
s
n
s X (en norma), diremos que la serie es converge en X y s
es su suma. La serie converge absolutamente si

n
k=1
x
k
< +.
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Espacios normados vs Espacios metricos
En los espacios normados podemos denir la conv. de sucesiones,
suc. de Cauchy, etc. Basta considerarlos como espacios metricos
con la metrica inducida por la norma: (x, y) = x y.
Algunas deniciones son algo mas sutiles:
Denicion
Sea X un espacio normado y sea M un subespacio vectorial de X.
Si M es un espacio normado con la norma de X restringida a M se
dice que M es un subespacio de X. Si M es cerrado en X entonces
se dice que es un subespacio cerrado.
Denicion (En los espacios normados podemos denir las series:)
Sea una suc. (x
n
)
n
de un espacio normado X deniremos la
sucesion (s
n
)
n
de sumas parciales por s
n
=
n

k=1
x
k
, n N. Si
s
n
s X (en norma), diremos que la serie es converge en X y s
es su suma. La serie converge absolutamente si

n
k=1
x
k
< +.
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Espacios normados vs Espacios metricos
En los espacios normados podemos denir la conv. de sucesiones,
suc. de Cauchy, etc. Basta considerarlos como espacios metricos
con la metrica inducida por la norma: (x, y) = x y.
Algunas deniciones son algo mas sutiles:
Denicion
Sea X un espacio normado y sea M un subespacio vectorial de X.
Si M es un espacio normado con la norma de X restringida a M se
dice que M es un subespacio de X. Si M es cerrado en X entonces
se dice que es un subespacio cerrado.
Denicion (En los espacios normados podemos denir las series:)
Sea una suc. (x
n
)
n
de un espacio normado X deniremos la
sucesion (s
n
)
n
de sumas parciales por s
n
=
n

k=1
x
k
, n N. Si
s
n
s X (en norma), diremos que la serie es converge en X y s
es su suma. La serie converge absolutamente si

n
k=1
x
k
< +.
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Series en espacios normados
Teorema
Sea X un espacio de Banach (normado y completo). Entonces
toda serie absolutamente convergente es convergente.
El teorema anterior no es cierto si X no es completo.
Ejercicio
Prueba que si X es un espacio normado, entonces toda serie
absolutamente convergente es convergente si y solo si X es
completo.
Teorema (Todo espacio normado se puede completar!)
Sea (X, .) un espacio normado. Entonces existe un espacio de
Banach

X y una isometra A de X en W

X, tal que W es denso
en

X. Ademas,

X es unico excepto isometras.
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Series en espacios normados
Teorema
Sea X un espacio de Banach (normado y completo). Entonces
toda serie absolutamente convergente es convergente.
El teorema anterior no es cierto si X no es completo.
Ejercicio
Prueba que si X es un espacio normado, entonces toda serie
absolutamente convergente es convergente si y solo si X es
completo.
Teorema (Todo espacio normado se puede completar!)
Sea (X, .) un espacio normado. Entonces existe un espacio de
Banach

X y una isometra A de X en W

X, tal que W es denso
en

X. Ademas,

X es unico excepto isometras.
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Series en espacios normados
Teorema
Sea X un espacio de Banach (normado y completo). Entonces
toda serie absolutamente convergente es convergente.
El teorema anterior no es cierto si X no es completo.
Ejercicio
Prueba que si X es un espacio normado, entonces toda serie
absolutamente convergente es convergente si y solo si X es
completo.
Teorema (Todo espacio normado se puede completar!)
Sea (X, .) un espacio normado. Entonces existe un espacio de
Banach

X y una isometra A de X en W

X, tal que W es denso
en

X. Ademas,

X es unico excepto isometras.
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Base de Schauder
Denicion
Sea X un espacio normado y sea M un subespacio vectorial de X.
Si M es un espacio normado con la norma de X restringida a M se
dice que M es un subespacio de X. Si M es cerrado en X entonces
se dice que es un subespacio cerrado.
Denicion
Sea X un espacio normado. Sea (e
n
)
n
una sucesi on de elementos
de X tal que, para todo x X, existe una unica sucesion de
escalares (
n
)
n
tales que x (
1
e
1
+ +
n
e
n

n
0. Dicha
sucesion se denomina base de Schauder.
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Base de Schauder y separabilidad
Ejemplo
Sea X el espacio l
p
de las sucesiones y sea (e
n
)
n
la sucesion
e
k
=
i ,k
, i.e., la sucesion de vectores de l
p
con 1 en la posicion
k y 0 en el resto. Probemos que dicha sucesion es una base de
Schauder. En efecto, para todo x l
p
tenemos
x = (x
1
, x
2
, x
3
, . . . , x
n
, . . . ). Sea s
n
=

n
k=1
x
k
e
k
. Como x l
p
,
entonces
lim
n
s
n
s = lim
n
_

k=n+1
|x
k
|
p
_
1/p
n
0.
Ejercicio
Prueba que si un espacio normado X tiene una base de Schauder,
entonces es separable.
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Base de Schauder y separabilidad
Ejemplo
Sea X el espacio l
p
de las sucesiones y sea (e
n
)
n
la sucesion
e
k
=
i ,k
, i.e., la sucesion de vectores de l
p
con 1 en la posicion
k y 0 en el resto. Probemos que dicha sucesion es una base de
Schauder. En efecto, para todo x l
p
tenemos
x = (x
1
, x
2
, x
3
, . . . , x
n
, . . . ). Sea s
n
=

n
k=1
x
k
e
k
. Como x l
p
,
entonces
lim
n
s
n
s = lim
n
_

k=n+1
|x
k
|
p
_
1/p
n
0.
Ejercicio
Prueba que si un espacio normado X tiene una base de Schauder,
entonces es separable.
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Espacios normados de dimension nita
Lema (Lema tecnico)
Sean n vectores cualesquiera x
1
, . . . , x
n
linealmente independientes
de un espacio normado X. Entonces, existe un n umero real c > 0
tal que cuales quiera sean los escalares
1
, . . . ,
n
,

1
x
1
+ +
n
x
n
c(|
1
| + +|
n
|).
Demostracion: Sea s = |
1
| + +|
n
|. Si s = 0 el lema es
trivial as que asumiremos s > 0. Dividiendo por s 2 se sigue que 2
es equivalente a probar que si x
1
, . . . , x
n
son linealmente
independientes, entonces existe un n umero real c > 0 tal que
cuales quiera sean los los escalares
1
, . . . ,
n
, con

n
k=1
|
k
| = 1

1
x
1
+ +
n
x
n
c.
La prueba sera por reduccion al absurdo.
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Prueba del Lema tecnico
Entonces ha de existir (por que?) una sucesion (y
m
)
m
X tal que
y
m
=
(m)
1
x
1
+ +
(m)
n
x
n
,
n

k=1
|
(m)
k
| = 1, y y
m

m
0.
De la condicion

n
k=1
|
(m)
k
| = 1 se sigue que las n sucesiones
numericas (
(m)
k
)
m
, k = 1, . . . , n, son acotadas.
Sea la sucesion (
(m)
1
)
m
acotada, entonces por el T de B-W de ella
se puede extraer una subsucesion convergente
(m
j
)
1
j

1
.
Escojamos de cada una de las sucesiones restantes (
(m)
k
)
m
,
k = 2, . . . , n, las subsucesiones denidas por los ndices m
j
.
Entonces (
(m
j
)
2
)
j
es acotada y por B-W y podemos extraer una
subsucesion convergente
(j
l
)
2
l

2
. Ademas, si escogemos los
ndices j
l
denidos, la subsucesion (
(j
l
)
1
)
j
l

1
(por que?).
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach
Prueba del Lema tecnico
Continuando este proceso n veces una subsucesion de ndices
l
i
t.q.
(l
i
)
k
i

k
, k = 1, 2, . . . , n. Ademas, dicha sucesion de
ndices dene una subsucesion (y
l
i
)
i
de (y
m
)
m
t.q.
y
l
i
=
n

k=1

(l
i
)
k
x
k
,
(l
i
)
k
i

k
lim
i
y
l
i
=
n

k=1

k
x
k
:= y,
n

k=1
|
k
| = 1.
De lo anterior se sigue que no todos los
k
= 0 al mismo tiempo.
Como los vectores x
1
, . . . , x
n
son li y = 0 (por que?). La
norma es una aplicacion continua
lim
i
y
l
i
= y lim
i
y
l
i
= y,
pero como y
m

m
0, entonces lim
i
y
l
i
= 0, luego
y = 0 de donde se sigue que y = 0 lo cual es una contradiccion.
R.

Alvarez-Nodarse Universidad de Sevilla MMAF: Espacios normados y espacios de Banach