Beruflich Dokumente
Kultur Dokumente
ALISIS FUNCIONAL
Oscar Blasco
Contents
1 Introduccion a los espacios de Hilbert 5
1.1 Producto escalar: Propiedades y ejemplos . . . . . . . . . . . 5
1.2 Completitud y ortogonalidad . . . . . . . . . . . . . . . . . . . 9
1.3 Proyecciones ortogonales. . . . . . . . . . . . . . . . . . . . . . 12
1.4 Dualidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2 Introduccion a los espacios de Banach 19
2.1 Espacios normados: Propiedades y ejemplos . . . . . . . . . . 19
2.2 Completitud y separabilidad . . . . . . . . . . . . . . . . . . . 23
2.3 Espacios de Funciones. . . . . . . . . . . . . . . . . . . . . . . 27
3 Operadores lineales y continuos 39
3.1 Primeras deniciones y ejemplos . . . . . . . . . . . . . . . . . 39
3.2 El espacio L(X, Y ) . . . . . . . . . . . . . . . . . . . . . . . . 45
3.3 Espacios de Banach nito dimensionales . . . . . . . . . . . . 50
3.4 Dualidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.5 Operadores invertibles . . . . . . . . . . . . . . . . . . . . . . 57
3.6 Aplicaciones a ecuaciones integrales . . . . . . . . . . . . . . . 59
4 Ampliacion de espacios de Hilbert 69
4.1 Bases Ortonormales . . . . . . . . . . . . . . . . . . . . . . . . 69
4.2 Operador adjunto . . . . . . . . . . . . . . . . . . . . . . . . . 75
5 Teora espectral de operadores 81
5.1 Espectro de un operador . . . . . . . . . . . . . . . . . . . . . 81
5.2 Operadores compactos . . . . . . . . . . . . . . . . . . . . . . 84
5.3 Espectro de operadores compactos . . . . . . . . . . . . . . . . 88
5.4 Espectro de operadores autoadjuntos en espacios de Hilbert . . 93
5.5 El teorema espectral . . . . . . . . . . . . . . . . . . . . . . . 96
3
Chapter 1
Introducci on a los espacios de
Hilbert
1.1 Producto escalar: Propiedades y ejemp-
los
Denici on 1.1.1 Sea X un espacio vectorial sobre K (K = R o C). Una
aplicacion , ) : X X K se llama producto escalar si cumple las sigu-
ientes propiedades:
(i) x +y, z) = x, z) +y, z), x, y, z X.
(ii)x, y) = x, y), x, y X, K.
(iii) y, x) = x, y), x, y X.
(iv) x, x) > 0, x X, x ,= 0.
Nota 1.1.1 Se obtiene de manera inmediata que
(v) x, y +z) = x, y) +x, z), x, y, z X.
(vi) x, y) = x, y), x, y X, K.
Denici on 1.1.2 Un espacio (X, , )) dotado de un producto escalar se dice
espacio prehilbertiano. Denimos |x| =
_
x, x).
Ejemplo 1.1.1 R
n
= x = (x
1
, ..., x
n
) : x
i
R con
x, y) =
n
i=1
x
i
y
i
.
5
6 Chapter 1. Introducci on a los espacios de Hilbert
Ejemplo 1.1.2 C
n
= z = (z
1
, ..., z
n
) : z
i
C con
z, w) =
n
i=1
z
i
w
i
.
Ejemplo 1.1.3
2
= (z
n
)
nN
: z
n
C,
n=1
[z
n
[
2
< con
(z
n
), (w
n
)) =
n=1
z
n
w
n
.
Ejemplo 1.1.4 C([a, b]) espacio de funciones continuas (con valores en K)
con
f, g) =
_
b
a
f(t)g(t)dt.
Ejemplo 1.1.5 Sea R
n
medible Lebesgue. Considerar
L
2
() = f : K medibles :
_
[f(x)[
2
dm(x) < .
Diremos que f g si m(x : f(x) ,= g(x)) = 0, i.e. f = g en casi
todo punto y denimos L
2
() el espacio cociente L
2
()/ . Denimos el
producto escalar sobre este espacio
f, g) =
_
f(x)g(x)dm(x).
Proposicion 1.1.3 (Desigualdad de Cauchy-Schwarz) Sea (X, , )) un es-
pacio prehilbertiano. Entonces
[x, y)[ |x||y|, x, y X (1.1)
Demostraci
x, y) +
y, x) +[[
2
y, y)
= [[
2
|x|
2
+ 2'(
x, y)) +[[
2
|y|
2
.
Como x ,= 0 se puede elegir =
x,y)
|x|
2
y = 1 y se obtiene
0
[x, y)[
2
|x|
2
+|y|
2
.
Y por tanto [x, y)[
2
|x|
2
|y|
2
.
1.1. Producto escalar: Propiedades y ejemplos 7
Proposicion 1.1.4 (Desigualdad de Minkowski) Sea (X, , )) un espacio
prehilbertiano. Entonces
|x +y| |x| +|y|, x, y X (1.2)
Demostraci
Y es tambien un subespacio.
Demostraci
on: Si , K y x, y
Y existen (x
n
) e (y
n
) sucesiones en Y
tales que x
n
x e y
n
y.
Ahora por continuidad x
n
+y
n
Y y x+y = lim
n
(x
n
+y
n
)
Y .
on:
|x +y|
2
+|x y|
2
= |x|
2
+ 2'(x, y)) +|y|
2
+ |x|
2
2'(x, y)) +|y|
2
= 2(|x|
2
+|y|
2
).
on:
|x +y|
2
|x y|
2
= |x|
2
+ 2x, y) +|y|
2
(|x|
2
2x, y) +|y|
2
= 4x, y).
k=1
[x
k
[
2
)
1/2
, es un espacio
de Hilbert.
Demostraci
on: Sea (x
n
)
nN
una sucesion de Cauchy en
2
. Como
[x
m
k
x
n
k
[ |x
n
x
m
|
2
, k N
se concluye que (x
n
k
)
nN
es de Cauchy en K, y por ser K un espacio completo
lim
n
x
n
k
= x
k
para cada k N.
Veamos que x
m
converge a x = (x
1
, x
2
, ....) y x
2
.
Dado > o existe n
0
N tal que
k=1
[x
n
k
x
m
k
[
2
= |x
n
x
m
|
2
2
<
2
, n, m n
0
.
Fijemos N N. En particular
N
k=1
[x
n
k
x
m
k
[
2
<
2
. Pasando al lim
m
se tiene que
N
k=1
[x
n
k
x
k
[
2
2
, n n
0
.
Tomando supremos en N se concluye que |x
n
x|
2
para n n
0
. Esto
signica x
n
x. La desigualdad de Minkowskyi implica que
(
N
k=1
[x
k
[
2
)
1/2
(
N
k=1
[x
k
x
n
0
k
[
2
)
1/2
+ (
N
k=1
[x
n
0
k
[
2
)
1/2
+|x
n
o
|.
Tomando lim
N
se concluye que x
2
.
Proposicion 1.2.3 Sea C([0, 1]) el espacio de las funciones continuas en
[0, 1] con valores en R. Entonces C([0, 1]) no es un espacio de Hilbert respecto
al producto escalar
f, g) =
_
1
0
f(t)g(t)dt.
10 Chapter 1. Introducci on a los espacios de Hilbert
Demostraci
on: Sea
f
n
(t) =
_
_
0 0 t <
1
2
n(t
1
2
)
1
2
t <
1
2
+
1
n
1
1
2
+
1
n
t 1
.
Como 0 f
n
1, se tiene que para m n
|f
n
f
m
|
2
2
=
_
1
0
[f
n
(t) f
m
(t)[
2
dt =
_ 1
2
+
1
n
1
2
[f
n
(t) f
m
(t)[
2
dt
4
n
.
Por tanto f
n
es una sucesi on de Cauchy.
Supongamos que existe f C([0, 1]) tal que lim
n
|f
n
f|
2
= 0. Entonces
_
1
0
[f
n
(t) f(t)[
2
dt =
_
1/2
0
[f(t)[
2
dt
+
_
1/2+1/n
1/2
[f
n
(t) f(t)[
2
dt
+
_
1
1/2+1/n
[1 f(t)[
2
dt.
Tomando lim
n
se concluye que
_
1/2
0
[f(t)[
2
dt +
_
1
1/2
[1 f(t)[
2
dt = 0.
Como f es continua entonces f(t) = 0 para 0 < t < 1/2 y f(t) = 1 para
1/2 < t < 1. Como consecuencia f no es continua en t = 1/2.
Denici on 1.2.4 Sea (X, , )) un espacio prehilbertiano y sean x, y X.
Diremos que x e y son ortogonales , y denotaremos x y, si x, y) = 0.
Dado ,= M X denimos el conjunto ortogonal de M por
M
= x X : x, y) = 0 para todo y M.
Ejemplo 1.2.1 Sea X = R
n
y sean x = (1, 0, ..., 0) e y = (0, 1, 0....). En-
tonces x y.
Sea x
0
= (a
1
, ..., a
n
). Entonces (x
0
)
= (x
1
, ..., x
n
) :
n
k=1
a
i
x
i
= 0 es
un hiperplano de vector normal x
0
.
Ejemplo 1.2.2 Sea X =
2
y sean e
n
= (
n1
..
0, ..., 0, 1, 0..., 0) para n N.
Entonces e
n
e
m
si n ,= m.
Si x = (1, 1, 0, 0, ...) e y = (0, 0, 1, 1/2, 1/3, 1/4, ....) entonces x y.
1.2. Completitud y ortogonalidad 11
Si x = (1,
_
1/2,
_
1/4, ....,
_
1/2
n
, ...) e y = (1,
_
1/2,
_
1/4, ....,
_
1/2
n
, ...)
entonces x y.
Sea x = (1, 1/2, 1/4, ..., 1/2
n
, ....). Entonces
x
= (x
1
, ..., x
n
, ..) :
n=1
[x
n
[
2
< ,
n=1
x
n
2
n1
= 0.
Por ejemplo y
1
= (1, 0, ....) o y
2
= (0, 1/2, 1, 0, ....) pertenecen a x
.
Ejemplo 1.2.3 Sean X = L
2
([0, 1]), f(t) = sen(2t) y g(t) = cos(2t).
Entonces f g, pues
_
1
0
sen(2t)cos(2t)dt =
1
2
_
1
0
sen(4t) = 0.
En el caso complejo, sea
n
(t) = e
2int
para n Z. Entonces
n
m
si
n ,= m.
_
1
0
n
(t)
m
(t)dt =
_
1
0
e
2i(nm)t
dt
=
_
1
0
cos(2(n m)t)dt
+ i
_
1
0
sen(2(n m)t)dt = 0, n ,= m.
Si f
0
(t) = 1 entonces
(f
0
)
= f L
2
([0, 1]);
_
1
0
f(t) = 0.
Proposicion 1.2.5 Sea (X, , )) un espacio prehilbertiano y ,= M X.
Entonces
(i) M
= M
.
Demostraci
=
xM
x
= y M : x, y) = 0 = (
x
)
1
(0)
donde
x
(y) = x, y) es continua y lineal.
(ii) Se tiene que (
M)
ya que M
M. Dado ahora x M
y
dado y
M, existe y
n
M tal que y
n
y. Por tanto x, y
n
) x, y), y
como x, y
n
) = 0 entonces x y.
12 Chapter 1. Introducci on a los espacios de Hilbert
Proposicion 1.2.6 (Teorema de Pitagoras) Sea (X, , )) espacio prehilber-
tiano real y sean x, y X. Entonces
x y si y solo si |x +y|
2
= |x|
2
+|y|
2
.
Demostraci
. En particular
X = Y
Y
.
1.3. Proyecciones ortogonales. 15
Demostraci
observar que x = P
Y
x + (x P
y
x) y la
descomposici on es unica. En efecto, si x = y
1
+ z
1
= y
2
+ z
2
con y
1
, y
2
Y
y z
1
, z
2
Y
entonces y
1
y
2
= z
2
z
1
Y Y
= 0.
Teorema 1.3.6 Sea Y un subespacio cerrado de un espacio de Hilbert X.
Denimos P
Y
: X Y dada por x P
Y
x. Entonces
(i) P
Y
es una aplicacion lineal y continua con |P
Y
x| |x|.
(ii) P
2
Y
= P
Y
, Y = ImP
Y
, Y
= KerP
Y
.
Demostraci
.
Denici on 1.3.7 P
Y
se conoce como la proyeccion ortogonal de X sobre Y .
Proposicion 1.3.8 Sea Y subespacio de un Hilbert X.
(i) Y es cerrado Y = Y
.
(ii) Y es denso Y
= 0.
Demostraci
y si coinciden Y es el ortog-
onal de un conjunto y por tanto cerrado.
Suponiendo que Y es cerrado, usando el Teorema 1.3.5, dado x Y
se
tiene x = y + z con y Y y z Y
. Ahora bien z = x y Y
y
por tanto z = 0 y
x
= y Y .
(ii) Apliquemos el Teorema 1.3.5 al subespacio
Y . Se tiene que X =
Y +Y
y por tanto X =
Y Y
= 0.
Ejemplo 1.3.1 Calcular I = inf
a,bR
_
[sen(t) (a +bt)[
2
dt.
Demostraci
on: Consideremos X = L
2
([, ]), Y = a + bt : a, b
R. Claramente Y es un subespacio vectorial. Veamos que es cerrado. Sea
f
n
(t) = a
n
+b
n
t sucesi on convergente a f en L
2
([, ]).
En particular
2a
n
=
_
f
n
(t)dt,
2
3
3
b
n
=
_
tf
n
(t).
Por tanto (a
n
) y (b
n
) son sucesiones de Cauchy en R. Sean a = lima
n
y
b = limb
n
. La funcion f(t) = a +bt Y , ya que
(
_
t[f
n
(t) f(t)[
2
dt)
1/2
(
_
[a
n
a[
2
dt)
1/2
+ (
_
[(b
n
b)t[
2
dt)
1/2
= [a
n
a[(2)
1/2
+[b
n
b[(
2
3
3
)
1/2
.
Utilizando el Teorema de la proyecci on buscamos a, b R tales que
sen(t) (a +bt) Y
, es decir
_
(sen(t) (a +bt))dt = 0,
_
(sen(t) (a +bt))tdt = 0.
1.4. Dualidad 17
La primera ecuacion da a = 0 y la segunda b =
1
3
_
0
tsentdt.
Ejemplo 1.3.2 Sea X =
2
y denimos
Y = (x
n
)
2
:
n=1
x
n
= 0.
Probar que Y es denso en
2
.
Demostraci
= 0.
Supongamos que (y
n
) Y
n=1
y
n
x
n
= y
1
y
2
= 0. Por tanto y
1
= y
2
. Considerando
e
2
e
3
Y se obtiene y
2
= y
3
. En general, e
k
e
k+1
Y y por tanto
y
k
= y
k+1
. Ahora el vector y
2
y por tanto y
k
= 0 para todo k N.
1.4 Dualidad
Denici on 1.4.1 Sea X un espacio de Hilbert. Una aplicacion lineal con-
tinua de X en K se conoce como forma lineal continua. Denotamos X
t
=
: X K, lineal continua y le llamamos espacio dual de X.
Nota 1.4.1 Sea x
0
Y , la aplicacion
x
0
: X K dada por
x
0
(x) =
x, x
0
) pertenece a X
t
.
Teorema 1.4.2 (Teorema de Riesz-Frechet) Sea X un espacio de Hilbert.
Para toda X
t
existe un unico x
0
tal que
(x) = x, x
0
), x X.
Es decir, X
t
= X.
Demostraci
on: Sea Y =
1
(0) = Ker. Es un subespacio cerrado
de X. Si Y = X entonces tomamos x
0
= 0. Supongamos que Y X.
Escribimos X = Y
Y
. Fijemos v X Y , y denotemos w = v P
Y
v
Y
.
Comprobemos que (x) = x, x
0
) para todo x X.
18 Chapter 1. Introducci on a los espacios de Hilbert
Comprobemos, ahora, que x
0
es el elemento que buscabamos. En efecto,
(x
(x)
(w)
w) = 0 lo que implica que x
(x)
(w)
w Y . Por tanto
x, x
0
) = x
(x)
(w)
w, x
0
)
+
(x)
(w)
w, x
0
)
=
(x)
(w)
w,
(w)
|w|
2
w) = (x).
Para demostrar la unicidad, suponer que existen x
1
, x
2
X tales que
x, x
1
) = x, x
2
) = (x) para todo x X. Por tanto x, x
1
x
2
) = 0 para
todo x X, y tomando x = x
1
x
2
, se concluye x
1
= x
2
.
Chapter 2
Introducci on a los espacios de
Banach
2.1 Espacios normados: Propiedades y ejem-
plos
Denici on 2.1.1 Sea K = R o C y sea X un espacio vectorial sobre K.
Una norma sobre X es una aplicacion | | : X [0, ) vericando
(i) |x| 0 para todo x X y |x| = 0 si, y solo si, x = 0.
(ii)|x| = [[|x| para todo x X y todo K.
(iii) |x +y| |x| +|y| para todo x e y en X.
Un espacio vectorial (X, | |) se dice espacio normado si | | es una
norma sobre X.
Denici on 2.1.2 En K
n
denimos las siguientes normas:
|(x
1
, ..., x
n
)|
1
=
n
k=1
[x
i
[, (2.1)
|(x
1
, ..., x
n
)|
2
= (
n
k=1
[x
i
[
2
)
1/2
, (2.2)
|(x
1
, ..., x
n
)|
= sup
1kn
[x
i
[. (2.3)
Nota 2.1.1 La pruebas de (2.1) y (2.3) son elementales. El hecho de que
(2.2) es una norma se vio en el Capitulo anterior.
19
20 Chapter 2. Introducci on a los espacios de Banach
Denici on 2.1.3 Sea 1 < p < en K
n
denimos
|(x
1
, ..., x
n
)|
p
= (
n
k=1
[x
i
[
p
)
1/p
. (2.4)
Veamos que | |
p
es una norma. Para ello usaremos los siguientes lemas.
Lema 2.1.4 (Desigualdad de Young) Sea 1 < p < y
1
p
+
1
q
= 1. Entonces
ab
a
p
p
+
b
q
q
, a, b 0. (2.5)
Demostraci
x
p
+
y
q
, x y > 0.
Equivalentemente,
(
x
y
)
1/p
1
1
p
(
x
y
1), x y > 0.
Esto, denotando =
x
y
, se obtiene de la estimacion (que es consecuencia
teorema del valor medio aplicado a (t) = t
1/p
)
1/p
1
1
p
( 1), 1. (2.6)
.
Lema 2.1.5 (Desigualdad de Holder) Sea 1 < p < ,
1
p
+
1
q
= 1 y sean
(x
1
, ..., x
n
), (y
1
, ..., y
n
) K
n
. Entonces
n
k=1
[x
k
[[y
k
[ (
n
k=1
[x
k
[
p
)
1/p
(
n
k=1
[y
k
[
q
)
1/q
. (2.7)
Demostraci
n
k=1
[x
k
[
p
)
1/p
= (
n
k=1
[y
k
[
q
)
1/q
= 1.
Entonces de (2.5) se concluye que
[x
k
[[y
k
[
[x
k
[
p
p
+
[y
k
[
q
q
, 1 k n.
2.1. Espacios normados: Propiedades y ejemplos 21
Sumando sobre k y usando la hip otesis se obtiene
n
k=1
[x
k
[[y
k
[
1
p
+
1
q
= 1.
Denotemos x = (x
1
, ..., x
n
) e y = (y
1
, ..., y
n
). En el caso de que |x|
p
=
0 o bien |y|
q
= 0 la desigualdad es trivial. Supongamos entonces que
|x|
p
|y|
q
> 0. Deniendo x
t
k
=
x
k
|x|
p
e y
t
k
=
y
k
|y|
q
para 1 k n se tiene que
(
n
k=1
[x
t
k
[
p
)
1/p
= (
n
k=1
[y
t
k
[
q
)
1/q
= 1 y por tanto
1
|x|
p
|y|
q
n
k=1
[x
k
[[y
k
[ 1.
k=1
[x
k
+y
k
[
p
)
1/p
(
n
k=1
[x
k
[
p
)
1/p
+ (
n
k=1
[y
k
[
p
)
1/p
. (2.8)
Demostraci
k=1
[x
k
+y
k
[
p
=
n
k=1
[x
k
+y
k
[[x
k
+y
k
[
p1
k=1
[x
k
[[x
k
+y
k
[
p1
+
n
k=1
[y
k
[[x
k
+y
k
[
p1
.
Usando (2.7) y el hecho (p 1)q = p podemos escribir
n
k=1
[x
k
+y
k
[
p
(
n
k=1
[x
k
[
p
)
1/p
(
n
k=1
[x
k
+y
k
[
(p1)q
)
1/q
+ (
n
k=1
[y
k
[
p
)
1/p
(
n
k=1
[x
k
+y
k
[
(p1)q
)
1/q
= (
n
k=1
[x
k
+y
k
[
p
)
1/q
_
(
n
k=1
[x
k
[
p
)
1/p
+ (
n
k=1
[y
k
[
p
)
1/p
_
.
La desigualdad es trivial si
n
k=1
[x
k
+y
k
[
p
= 0 as que podemos suponer
n
k=1
[x
k
+y
k
[
p
> 0.
Esto nos permite despejar y se obtiene
(
n
k=1
[x
k
+y
k
[
p
)
11/q
(
n
k=1
[x
k
[
p
)
1/p
+ (
n
k=1
[y
k
[
p
)
1/p
.
p
= x = (x
n
)
nN
: x
n
K,
n=1
[x
n
[
p
<
y denotamos
|(x
n
)|
p
= (
n=1
[x
n
[
p
)
1/p
.
En el caso p = denimos
= x = (x
n
)
nN
: x
n
K, |(x
n
)|
= sup
nN
[x
n
[ < ,
c = x = (x
n
)
nN
: x
n
K, existe lim
n
x
n
y
c
0
= x = (x
n
)
nN
: x
n
K, lim
n
x
n
= 0.
La misma demostraci on que en el caso nito dimensional permite probar el
siguiente resultado:
Teorema 2.1.9 (
p
, | |
p
) es un espacio normado para 1 < p < .
Teorema 2.1.10 Sea 1 p
1
p
2
. Entonces
1
p
1
p
2
c
o
c
.
Ademas, si (x
n
)
1
entonces
|(x
n
)|
|(x
n
)|
p
2
|(x
n
)|
p
1
|(x
n
)|
1
.
Demostraci
, | |
), (c, | |
) y (c
0
, | |
2
y se deja al lector.
(ii) Sea (x
n
)
nN
una sucesion de Cauchy en
. Entonces (x
n
k
)
nN
es
de Cauchy en K para todo k N. Existe lim
n
x
n
k
= x
k
. Denimos
x = (x
k
)
kN
. Usando que sup
n
|x
n
|
. Por otro
lado como (x
n
)
nN
es de Cauchy, para cada > 0 existe n
0
N tal que
sup
kN
[x
n
k
x
m
k
[ < /2, n, m n
0
.
Pasando al limite cuando m se tiene
[x
n
k
x
k
[ /2, k N, n n
0
.
Lo que demuestra que |x
n
x|
< , n n
0
.
Es claro que c y c
0
son subespacios vectoriales de
. Demostremos que
c es cerrado en
.
Sea (x
n
) una sucesi on de elementos de c convergente en
. Sea x =
lim
n
x
n
. Por tanto existe n
0
tal que
|x
n
x|
= sup
kN
[x
n
k
x
k
[ < /3, n n
0
.
Hay que probar que x c. Por tanto veamos que existe lim
k
x
k
. Es
suciente ver que (x
k
) es de Cauchy. Por hipotesis (x
n
k
)
k
es de Cauchy para
todo n N. Por tanto existe k
0
tal que
[x
n
0
k
x
n
0
k
[ < . k, k
t
k
0
.
24 Chapter 2. Introducci on a los espacios de Banach
Ahora estimamos, para k, k
t
k
0
,
[x
k
x
k
[ [x
k
x
n
0
k
[ +[x
n
0
k
x
n
0
k
[ +[x
n
0
k
x
k
[
2|x
n
0
x|
+[x
n
0
k
x
n
0
k
[ < .
La misma demostracion sirve para c
0
.
Denici on 2.2.3 Sea (X, | |) un espacio normado y una sucesion (x
n
) de
elementos de X. Diremos que la serie
n
x
n
es convergente si la sucesion de
sumas parciales, s
n
=
n
k=1
x
k
es convergente en X, i.e. existe lim
n
n
k=1
x
k
.
A dicho valor se le llama suma de la serie x =
n=1
x
n
.
Una serie (formal) de elementos de un espacio normado se dice absolu-
tamente convergente si
n=1
|x
n
| < .
Nota 2.2.2 Sea X =
p
para 1 < p < . Consideremos x
n
= (0, ...,
1
n
, 0, ...).
La serie
n
x
n
es convergente a s = (1, 1/2, ..., 1/n, ...), pues
|s
n
k=1
x
k
|
p
p
=
k=n+1
1
k
p
.
Pero no absolutamente convergente, pues |x
n
|
p
=
1
n
.
Veamos una caracterizaci on de los espacios de Banach en terminos de
series.
Teorema 2.2.4 Sea (X, ||) un espacio normado. X es de Banach si, y solo
si, toda serie absolutamente convergente de elementos de X es convergente
en X.
Demostraci
k=1
x
k
m
k=1
x
k
|
n
k=m+1
|x
k
|
k=m+1
|x
k
|.
Usando que el resto m-esimo converge a cero se obtiene esta direcci on.
=) Sea (y
n
) una sucesion de Cauchy en X. Probemos que es conver-
gente. Dado = 1/2 existe n
1
N tal que |x
n
x
m
| 1/2 para n, m n
1
.
Dado = 1/4 existe n
2
> n
1
tal que |x
n
x
m
| (1/2)
2
para n, m n
2
.
Reiterando existe n
k
> n
k1
tal que |x
n
x
m
| (1/2)
k
para n, m n
k
.
2.2. Completitud y separabilidad 25
En particular se tiene que |x
n
k+1
x
n
k
| (1/2)
k
para todo k N. Por
tanto la serie
k=1
|x
n
k+1
x
n
k
| < .
Usando la hip otesis tenemos que
k=1
(x
n
k+1
x
n
k
) = y X. Veamos
que lim
n
x
n
= y +x
n
1
.
Por ser (x
n
) de Cauchy existe n
0
tal que |x
n
x
m
| < /2 para n, m n
0
.
Por otro lado, existe q
0
N tal que |
q
k=1
(x
n
k+1
x
n
k
) y| < /2 para
q q
0
.
Finalmente existe k
0
q
0
tal que n
k
n
0
para todo k k
0
. Y por tanto,
si n n
k
0
podemos escribir
|x
n
(y +x
n
1
)| |x
n
x
n
k
0
| +|x
n
k
0
x
n
1
y|
|x
n
x
n
k
0
| +|
k
0
1
k=1
(x
n
k+1
x
n
k
) y| < /2 +/2 = .
j=1
j
x
j
:
j
K, n N
es denso en X. Entonces X es separable.
26 Chapter 2. Introducci on a los espacios de Banach
Demostraci
j=1
q
j
x
j
: q
j
Q, n N.
Claramente D es numerable pues puede identicarse con un subconjunto
de
nN
A
n
donde A
n
= Q es numerable.
Dado > 0 y x X existe x
t
=
n
j=1
j
x
j
tal que |x x
t
| < /2.
Ahora encontramos q
j
Q tales que [
j
q
j
[ <
2n(|x
j
|+1)
y por consiguiente
x
tt
=
n
j=1
q
j
x
j
D y verica
|x x
tt
| |x x
t
| +
n
j=1
[
j
q
j
[|x
j
| < /2 +/2 = .
Corolario 2.2.7 c
0
y
p
para 1 p < son separables.
Demostraci
on: Considerar x
n
= e
n
= (
n1
..
0, ..., 0, 1, 0....). Denotemos c
00
=
LINe
k
: k N el espacio de las sucesiones nitamente no nulas.
Si y
p
(respect. y c
0
) se tiene que (y
1
, ..., y
n
, 0, ...) c
00
y claramente
|x
k=1
y
k
e
k
|
p
=
k=n+1
[y
k
[
p
0, n
(respect.
lim
n
|x
k=1
y
k
e
k
|
= lim
n
sup
kn+1
[y
k
[ = 0.)
Proposicion 2.2.8 Sea X un espacio normado tal que existe una familia de
abiertos no vacios (O
i
)
iI
tal que
(i) O
i
O
j
= si i ,= j
(ii) I es no numerable.
Entonces X es no separable.
2.3. Espacios de Funciones. 27
Demostraci
es no separable.
Demostraci
: |x e
A
|
< 1, pero, por otro lado tomando i que s olo pertenezca a uno de
los dos conjuntos se tendra |e
A
e
B
|
[e
A
(i) e
B
(i)[ = 1.
Corolario 2.2.10 c
00
no es denso en
. De hecho la clausura de c
00
en
coincide con c
0
.
2.3 Espacios de Funciones.
Denici on 2.3.1 Sea K un espacio topologico compacto. Denotemos
C(K) = f : K K : f continua
con |f|
= sup
tK
[f(t)[ si f C(K). Denotamos
C
0
(R
n
) = f : R
n
K : f continua, lim
[t[
[f(t)[ = 0
con |f|
= sup
tR
n [f(t)[.
LLamamos supp(f) a la clausura del conjunto x R
n
: f(x) ,= 0 y
denimos C
00
(R
n
) = f : R
n
K : f continua, supp(f) compacto .
Teorema 2.3.2 Entonces (C([0, 1]), | |
n,0
(x) = 0,
n,k
(x) = (n(x
k 1
n
)), x I
n,k
n,0
(x) = 2(x
1
2n
),
n,k
(x) = (n(x
2k 1
2n
)), x J
n,k
.
Por tanto
n,k
y
n,k
son continuas en [0, 1] y cumplen
n
k=0
(
n,k
(x) +
n,k
(x)) = 1 x [0, 1].
Probaremos que LIN
k,n
,
k,n
es denso en C([0, 1]).
Dado > 0 y f C([0, 1]) existe > 0 tal que [f(x) f(y)[ < para
todo x, y [0, 1] con [x y[ < . Sea n N tal que 1/n < . Consideremos
n,0
= 0,
n,k
= minf(x) : x I
n,k
= f(x
n,k
) para 1 k n y
n,k
=
minf(x) : x J
n,k
= f(x
t
n,k
) para 0 k n. Notese que entonces
[f(x)
n,k
[ = [f(x) f(x
n,k
)[ < , x I
n,k
y
[f(x)
n,k
[ = [f(x) f(x
t
n,k
)[ < x J
n,k
.
Sea
g(x) =
n
k=0
n,k
n,k
(x) +
n,k
n,k
(x).
Entonces
[f(x) g(x)[ = [
n
k=0
(f(x)
n,k
)
n,k
(x) + (f(x)
n,k
)
n,k
(x)[
2.3. Espacios de Funciones. 29
= [
n
k=0
(f(x)
n,k
)
n,k
(x) + (f(x)
n,k
)
n,k
(x)[
k=0
[f(x)
n,k
[
n,k
(x) +[f(x)
n,k
[
n,k
(x)
_
n
k=0
n,k
(x) +
n,k
(x)
_
= .
) y (C
0
(R
n
), | |
_
0 x < R 1
f(R)(x +R + 1) R 1 < x R
f(x) [x[ R
f(R)(x R 1) R x R + 1
0 x > R + 1
.
Es claro que g C
00
(R). Ademas
f(x) g(x) =
_
_
f(x) x < R 1
f(x) f(R)(x +R + 1) R 1 < x R
0 [x[ R
f(x) +f(R)(x R 1) R x R + 1
f(x) x > R + 1
.
Por tanto
sup
xR
[f(x)g(x)[ = sup
[x[R
[f(x)g(x)[ max/2, sup
R[x[<R+1
[f(x)g(x)[ .
Caso n > 1. Pongamos, para n N,
n
(t) =
_
_
1 0 t n
(t n 1) n t n + 1
0 t > n + 1
.
30 Chapter 2. Introducci on a los espacios de Banach
Denimos
n
(x) =
n
(|x|) para x R
n
. Si f C
0
(R
n
) se tiene que
f
n
C
00
(R
n
). Adem as
|f f
n
|
= sup
|x|>n
[f(x)[(1
n
(x)) sup
|x|>n
[f(x)[.
Con esto se concluye el resultado.
Vamos a denir ahora el espacio L
p
() para 1 p < . Sea R
n
medible Lebesgue. Considerar
L
p
() = f : K medibles :
_
[f(x)[
p
dm(x) < .
Diremos que f g si m(x : f(x) ,= g(x)) = 0, i.e. f = g en casi todo
punto, donde m es la medida de Lebesgue en R
n
.
Denici on 2.3.4 Sea 1 p < . Denimos L
p
() el espacio cociente
L
p
()/ , y su norma
|f|
p
= (
_
[f(x)[
p
dm(x))
1/p
.
Teorema 2.3.5 (L
1
(), | |
1
) es un espacio de Banach.
Demostraci
[[[f(x)[dx = [[|f|
1
y que
|f +g|
1
=
_
[f(x) +g(x)[dx
_
n=1
|f
n
|
1
=
n=1
_
[f
n
(x)[dx < .
Usando el teorema de la convergencia mon otona de Lebesgue se sabe que
n=1
_
[f
n
(x)[dx =
_
n=1
[f
n
(x)[dx < .
De esto deducimos que
n=1
[f
n
(x)[dx < en casi todo punto, i.e existe
un conjunto medible Lebegue de medida nula N tal que la serie
n=1
f
n
(x)
es absolutamente convergente en C para todo x / N. Por tanto deniendo
2.3. Espacios de Funciones. 31
f(x) =
n=1
f
n
(x) si x / N y f(x) = 0 si x N se tiene una funci on
f medible tal que
n=1
f
n
= f en casi todo punto. Veamos que
n=1
f
n
converge a f en L
1
().
|f
N
n=1
f
n
|
1
=
_
[f(x)
N
n=1
f
n
[dx
n=N+1
f
n
(x)[dx
n=N+1
_
[f
n
(x)[dx
n=N+1
|f
n
|
1
.
La convergencia absoluta de la serie nos lleva a concluir el resultado.
Proposicion 2.3.6 (Desigualdad de Holder)
(i) Sean 1 < p < y 1/p +1/q = 1. Si f L
p
() y g L
q
() entonces
fg L
1
().
Ademas |fg|
1
|f|
p
|g|
q
.
(ii) Sean 1 < p
1
, p
2
< y 1/p
1
+1/p
2
= 1/p
3
. Si f L
p
1
() y g L
p
2
()
entonces fg L
p
3
().
Ademas |fg|
p
3
|f|
p
1
|g|
p
2
.
Demostraci
[f(x)[[g(x)[dx
|f|
p
p
p
+
|g|
q
q
q
.
Si |f|
p
= |g|
q
= 1 entonces
_
on: Basta con usar (ii) Proposition 2.3.6, pues tenemos que
f L
p
2
() y
L
q
() para todo q 1. Pongamos 1/p
1
= 1/p
2
+ 1/q.
Entonces f
L
p
1
() y se tiene que
|f
|
p
1
|
|
q
|f|
p
2
= m()
1/p
1
1/p
3
|f|
p
2
.
Teorema 2.3.8 (L
p
(), | |
p
) es un espacio normado para 1 < p < .
Demostraci
on:
Sean f, g L
p
() y , K. Consideremos los representantes de las
clases de equivalencia f
1
, g
1
L
p
(), es decir f(x) = f
1
(x) salvo en un
conjunto N de medida nula y g(x) = g
1
(x) salvo en un conjunto M de
medida nula. Entonces f + g coincide con f
1
+ g
1
salvo en N M.
Adem as
[f
1
(x) +g
1
(x)[
p
2
p
([f
1
(x)[
p
+[g
1
(x)[
p
)
y por tanto f + g L
p
(). Esto demuestra que L
p
() es un espacio
vectorial.
Veamos ahora que es normado. Supongamos que |f|
p
p
=
_
[f(x)[
p
dx = 0
entonces f = 0 en casi todo punto, es decir f = 0.
2.3. Espacios de Funciones. 33
Adem as |f|
p
= (
_
[[
p
[f(x)[
p
dx)
1/p
= [[|f|
p
.
Finalmente, si f, g L
p
() y |f +g|
p
> 0, podemos razonar como en el
caso de sucesiones, es decir, usando la Desigualdad de H older,
|f +g|
p
p
=
_
[f(x) +g(x)[
p
dx
[f(x)[[f(x) +g(x)[
p1
dx +
_
[g(x)[[f(x) + g(x)[
p1
dx
(
_
[f(x)[
p
dx)
1/p
(
_
[f(x) + g(x)[
(p1)q
dx)
1/q
+ (
_
[g(x)[
p
dx)
1/p
(
_
[f(x) +g(x)[
(p1)q
dx)
1/q
= (|f|
p
+|g|
p
)|f +g|
p/q
p
.
Por tanto, despejando, |f +g|
p
|f|
p
+|g|
p
.
Teorema 2.3.9 (Teorema de Riesz-Fisher) Sea 1 p < y sea (f
n
) una
sucesion de Cauchy en L
p
(). Entonces existe una subsucesion f
n
k
y una
funcion no negativa g L
p
() tales que
(i) [f
n
k
(x)[ g(x) x ,
(ii) f
n
k
converge a f casi por todas partes,
(iii) (f
n
) converge a f en L
p
().
Demostraci
on:
Dado = 1/2
k
existe n
k
> n
k1
tal que
|f
m
f
n
|
p
< 1/2
k
, n, m n
k
.
Consideremos g
1
= [f
n
1
[ y denimos para k N,
g
k
= g
k1
+[f
n
k
f
n
k1
[ = [f
n
1
[ +[f
n
2
f
n
1
[ +... +[f
n
k
f
n
k1
[.
Es una sucesion creciente de funciones no negativas en L
p
(). Denimos
g(x) = lim
k
g
k
(x).
Usando la desigualdad triangular de Minkowski
|g
k
|
p
|f
n
1
|
p
+
k
i=2
|f
n
i
f
n
i1
|
p
|f
n
1
|
p
+
k
i=2
1/2
i1
|f
n
1
|
p
+ 1 < .
34 Chapter 2. Introducci on a los espacios de Banach
Usando el Teorema de la convergencia monotona de Lebesgue se obtiene que
g L
p
(), pues
_
g(x)
p
dx = lim
k
_
g
k
(x)
p
dx < .
Ahora se concluye que g(x)
p
< (y por tanto g(x) < ) en casi todo punto.
Claramente (i) queda probado ya que
[f
n
k
[ [f
n
k
f
n
k1
[ +... +[f
n
2
f
n
1
[ +[f
n
1
[ = g
k
g.
Por otro lado existe un conjunto N de medida nula tal que si x / N se
tiene
g(x) = lim
k
g
k
(x) = [f
n
1
(x)[ +
i=2
[f
n
i
(x) f
n
i1
(x)[ < .
Podemos concluir que la serie
i=2
(f
n
i
(x) f
n
i1
(x)) es convergente en casi
todo punto. Denimos
f(x) = f
n
1
(x) +
i=2
(f
n
i
(x) f
n
i1
(x))
y por tanto se cumple (ii).
Es claro que [f(x)[ g(x) en casi todo punto, y por tanto f L
p
().
Veamos nalmente que |f f
n
| 0 cuando n . Para cada n N, se
tiene que, si x / N,
lim
k
[f
n
(x) f
n
k
(x)[ = [f
n
(x) f(x)[.
Por otro lado, dado > 0 existen n
0
N tal que
_
[f
n
(x) f
m
(x)[
p
dx <
p
, n, m n
0
.
Usando que existe k
0
N tal que n
k
n
0
para k k
0
se concluye que
_
[f
n
(x) f
n
k
(x)[
p
dx <
p
, n n
0
, k k
0
.
Aplicando ahora el lema de Fatou se concluye que
_
[f
n
(x) f(x)[
p
dx liminf
k
_
[f
n
(x) f
n
k
(x)[
p
dx
p
, n n
0
.
Por tanto |f
n
f|
p
para n n
0
.
2.3. Espacios de Funciones. 35
Proposicion 2.3.10 (Densidad de las funciones escalonadas) Sea R
n
abierto no vaco y 1 p < . Si f L
p
() y > 0 entonces existe una
funcion escalonada g =
m
k=1
I
k
, donde I
k
son intervalos con
I
k
,
1 k m, tal que |f g|
p
< .
Demostraci
K
k
)
kN
es una sucesi on creciente de funciones
escalonadas, cumpliendo
[f
k
K
k
f[
p
0, en casi todo punto ,
y ademas
[f
k
K
k
f[
p
2
p
[f[
p
.
Por el teorema de la convergencia dominada se deduce que existe n
o
N
tal que |f f
k
K
k
|
p
< , k n
0
. Tomando g = f
n
0
K
n
0
=
m
k=1
I
k
se
obtiene el resultado (n otese que los intervalos I
k
K
n
0
).
Supongamos ahora que no es acotado y que f : C. Denimos
k
= x R
n
: |x| < k que cumple =
k=1
k
y, debido al Teorema
de la convergencia dominada de Lebesgue se tiene que
|f f
k
|
p
p
=
_
[f(x) f
k
[
p
dx 0, k .
Ahora descomponemos primero f
k
= ('f
k
)
+
('f
k
)
+i(f
k
)
+
i(f
k
)
. Y usando que L
p
(
k
) L
1
(
k
), podemos incluso descomponer
cada una de las funciones no negativas integrables anteriores en diferencia de
dos funciones superiores positivas. y aplicamos la aproximacion anterior en
cada pedazo y recomponemos la aproximacion de la funcion original.
Teorema 2.3.11 Sea R
n
un conjunto medible Lebesgue. Entonces
L
p
() es separable para 1 p < .
Demostraci
f|
L
p
()
< para alg un n N.)
Ahora consideremos D el conjunto de funciones caracterticas de interva-
los I = [a
1
, b
1
] ... [a
n
, b
n
] con extremos a
i
, b
i
Q. Este conjunto D es
separable, pues es equipotente con Q
2n
.
Usando Proposici on 2.3.10 si f L
p
(R
n
) y > 0 entonces existe una
funci on escalonada g =
m
k=1
I
k
, donde I
k
son intervalos, 1 k m, tal
que |f g|
p
< /2. Ahora podemos cada intervalo I
k
substituirlo por otro
J
k
con extremos racionales de modo que m
n
(I
k
J
k
) <
p
2
p
m([
k
[
p
+1)
. Ahora
h =
m
k=1
J
k
LIN(D) y se tiene que |g h|
p
< /2.
Finalicemos esta seccion con el espacio L
().
Denici on 2.3.12 Denotamos L
() = L
en casi todo
punto, i.e.
mx : [f(x)[ > |f|
= 0.
Demostraci
on: Sea C
k
> |f|
tal que C
k
|f|
=
k
A
k
.
Teorema 2.3.14 (L
(), | |
() es un espacio vectorial.
Veamos que | |
= 0, la Proposici on 2.3.13
implica f = 0 en casi todo punto.
Claramente si ,= 0
inf[[C 0 : m(x : [f(x)[ > C) = 0
= infD 0 : m(x : [f(x)[ > D) = 0 = |f|
.
Finalmente observemos que
x : [f(x) + g(x)[ > |f|
+|g|
y por tanto
m(x : [f(x) + g(x)[ > |f|
+|g|
) = 0
de donde se concluye que |f +g|
|f|
+|g|
.
Demostremos ahora la completitud. Sea (f
n
) una sucesion de Cauchy en
L
()
Dado k N existe n
k
tal que |f
n+l
f
n
|
k=1
n=n
k
l=1
A
k
n,l
que tiene medida nula. Entonces
[f
n+l
(x) f
n
(x)[ 1/k k, l N, n n
k
, x / A (2.9)
y por tanto (f
n
(x)) es de Cauchy. Pongamos f(x) = limf
n
(x) para x / A y
f(x) = 0 para x A. Veamos que f L
() y lim
n
|f
n
f|
= 0.
Como f es lmite de medibles es medible. Adem as si x / A,
[f
n
1
+l
(x)[ [f
n
1
+l
(x) f
n
1
(x)[ +[f
n
1
(x)[ 1 +[f
n
1
(x)[, l N
y tomando lmites cuando l se tiene que [f(x)[ 1 + [f
n
1
(x)[ en casi
todo x . Usando la desigualdad triangular |f|
1 +|f
n
1
|
.
Finalmente usando (2.9) se concluye jado k y n n
k
y tomando lmites
cuando l
[f(x) f
n
(x)[ 1/k x / A,
por tanto |f f
n
|
1/k para n n
k
y se tiene que (f
n
) converge a f en
L
().
Finalmente veamos la no separabilidad del espacio. Descomponemos =
k
donde
k
son disjuntos dos a dos y de medida positiva (basta con cortar
el espacio con una red de disjuntos de R
n
) Considerar A N y denotar
A
=
kA
k
. Poniendo
O
A
= f L
() : |f
A
|
< 1/2
se obtiene una colecci on no numerable de conjuntos disjuntos dos a dos, lo
que permite, usando la Proposicion 2.2.8, probar que L
() es no separable.
Chapter 3
Operadores lineales y continuos
3.1 Primeras deniciones y ejemplos
En esta seccion X e Y son espacios normados y no diferenciamos la no-
taci on de la norma en cada uno de los espacios, que ser a denotada en ambos
casos por | |, salvo que pueda llevar a confusion.
Comencemos con un resultado que motiva las deniciones siguientes.
Proposicion 3.1.1 Sea T : X Y una aplicacion lineal. Son equivalentes
(i) T es continua en x = 0.
(ii) T es uniformemente continua en X.
(iii) Existe una constante C 0 tal que |Tx| C|x| para todo x X.
Demostraci
on: (i) =(ii) Dado > 0 existe > 0 tal que si |u| <
implica que |Tu| < . Por tanto |Tx Ty| = |T(x y)| < siempre que
|x y| < .
(ii)=(iii) Como T0 = 0, poniendo = 1 existe > 0 con |Tx
1
Tx
2
| <
1 si |x
1
x
2
| < . Si x ,= 0, x
1
=
x
2|x|
y x
2
= 0 entonces |Tx
1
| < 1. Esto
implica que |Tx|
2
.
(iii) =(i) Es inmediato.
Denici on 3.1.2 Una aplicacion lineal y continua entre dos espacios nor-
mados T : X Y se denomina operador entre X e Y . Escribimos L(X, Y )
para el conjunto de los operadores de X en Y y denotamos L(X) = L(X, X).
Denimos, para T L(X, Y ),
|T| = infC 0 : |Tx| C|x| para todo x X.
39
40 Chapter 3. Operadores lineales y continuos
Proposicion 3.1.3 Si T L(X, Y ) entonces
|T| = sup|Tx| : |x| 1.
Demostraci
i=1
x
i
e
i
) =
m
j=1
(
n
i=1
a
ij
x
i
)e
j
=
m
j=1
y
j
e
j
.
Entonces T L(X, Y ), si 1/p
1
+ 1/q
1
= 1,
|T| (
m
j=1
(
n
i=1
[a
ij
[
q
1
)
p
2
/q
1
)
1/p
2
.
Demostraci
on: Como |
m
j=1
y
j
e
j
|
p
2
= (
m
j=1
[y
j
[
p
2
)
1/p
2
, estimaremos [y
j
[.
Usando la desigualdad de Holder, para cada j 1, ..., m, se tiene
[y
j
[ = [
n
i=1
a
ij
x
i
[ (
n
i=1
[a
ij
[
q
1
)
1/q
1
|x|
p
1
.
Ahora sumando en j se tiene
|Tx|
p
2
= (
m
j=1
[
n
i=1
a
ij
x
i
[
p
2
)
1/p
2
(
m
j=1
(
n
i=1
[a
ij
[
q
1
)
p
2
/q
1
)
1/p
2
|x|
p
1
.
x
0
(f) = f(x
0
).
Entonces
x
0
L(C
0
(R
n
), R) con |
x
0
| = 1.
Demostraci
.
Por tanto |
x
0
| 1. Para probar |
x
0
| = 1 es suciente encontrar f
C
0
(R
n
) tal que |f|
= 1 y [f(x
0
)[ = 1.
Tomemos
(t) =
_
_
1 0 t |x
0
| + 1
(|x
0
| + 2) t |x
0
| + 1 t |x
0
| + 2
0 t > |x
0
| + 2
.
Denimos f(x) = (|x|) para x R
n
. Es claro que f C
00
(R
n
), |f|
= 1
y
x
0
(f) = f(x
0
) = 1.
Ejemplo 3.1.4 Sean X =
p
, 1 < p < , Y =
1
y T :
p
1
dado por
T((x
n
)
nN
) = (
x
n
n
)
nN
.
Entonces T L(
p
,
1
) con |T| = (
n=1
1
n
q
)
1/q
donde 1/p + 1/q = 1.
Demostraci
on: En primer lugar hay que ver que esta bien denido. En
efecto si (x
n
)
nN
p
, como (
1
n
)
nN
q
(pues 1 < q < ), entonces
(
x
n
n
)
nN
1
.
42 Chapter 3. Operadores lineales y continuos
Claramente es lineal. Para ver que es continua usamos la desigualdad de
H older,
|T((x
n
)
nN
)|
1
=
n=1
[x
n
[
n
|(
1
n
)
nN
|
q
|(x
n
)
nN
|
p
.
Sea C
q
= (
n=1
1
n
q
)
1/q
. Para probar que |T| = C
q
es suciente encontrar
(x
n
)
nN
tal que |(x
n
)
nN
|
p
= 1 y |T((x
n
)
nN
)|
1
= C
q
.
Consideremos x
n
=
C
q/p
q
n
q1
, para n N. Es claro que
|(x
n
)
nN
|
p
= C
q/p
q
(
n=1
1
n
(q1)p
)
1/p
= 1.
Por otro lado
|T((x
n
)
nN
)|
1
=
n=1
C
q/p
q
n
q
= C
q/p
q
C
q
q
= C
q
.
,
denimos T
:
p
p
por
T
((x
n
)
nN
) = (
n
x
n
)
nN
.
Entonces T
L(
p
,
p
) con |T| = |(
n
)
nN
|
.
Demostraci
encontraremos para
cada > 0 una sucesion (x
n
)
nN
p
tal que |(x
n
)
nN
|
p
= 1 vericando que
|T
((x
n
)
nN
)|
p
+ > |(
n
)
nN
|
.
Para > 0 existe n
N tal que [
n
[ > |(
n
)
nN
|
. Tomar x
n
=
n
[
n
[
para n = n
y x
n
= 0 para n ,= n
((x
n
)
nN
)|
p
= [
n
[.
[f(x)[
p(q1)
dx)
1/p
= |f|
q/p
q
,
por tanto si tomamos g(x) = |f|
q/p
q
g
1
(x) que cumple |g|
p
= 1 y M
f
(g) =
|f|
q/p
q
[f[
q
. Por consiguiente |M
f
(g)|
1
= |f|
q
.
Ejemplo 3.1.7 Sean X = L
1
([0, 1]) e Y = C([0, 1]). El operador de Volterra
V : L
1
([0, 1]) C([0, 1]) viene dado por
V (f)(x) =
_
x
0
f(t)dt, x [0, 1].
Entonces V L(L
1
([0, 1]), C([0, 1])) con |V | = 1.
Demostraci
on: Como
[V (f)(x) V (f)(x
t
)[
_
[x,x
]
[f(t)[dt, 0 x x
t
1
se tiene que V (f) es continua si f es integrable. Luego V est a bien denido.
Por otro lado
|V (f)|
= sup
0x1
[
_
[0,x]
f(t)dt[ sup
0x1
_
[0,x]
[f(t)[dt =
_
[0,1]
[f(t)[dt = |f|
1
.
Esto prueba que |V | 1. Por otro lado cualquier f 0 con |f|
1
= 1 sirve
para alcanzar la norma, pues sup
0x1
[
_
[0,x]
f(t)dt[ = |f|
1
para f 0. Lo
que demuestra que |V | = 1.
Ejemplo 3.1.8 Sean X = Y = C([0, 1] y K : [0, 1] [0, 1] R una funcion
continua. Si denotamos T
K
: C([0, 1]) C([0, 1]) el operador integral dado
por
T
K
(f)(x) =
_
1
0
K(x, y)f(y)dy
entonces T
K
L(C([0, 1], C([0, 1])) con |T
K
| |K|
.
44 Chapter 3. Operadores lineales y continuos
Demostraci
sup
0y1
[K(x, y) K(x
t
, y)[.
Suponiendo que f ,= 0, como K es uniformemente continua en [0, 1] [0, 1],
dado > 0 existe > 0 tal que si [x x
t
[ < e [y y
t
[ < entonces
[K(x, y)K(x
t
, y
t
)[ < /|f|
. Por tanto [T
K
(f)(x)T
K
(f)(x
t
)[ < siempre
que [x x
t
[ < .
Por otro lado, si |K|
= sup
0x,y1
[K(x, y)[, entonces
sup
0x1
[T
K
(f)(x)[ sup
0x1
_
1
0
[K(x, y)[[f(y)[dy |K|
|f|
2
R una funcion medible y acotada. Si denotamos T
K
: L
p
(
1
) L
p
(
2
) el
operador integral dado por
T
K
(f)(y) =
_
1
K(x, y)f(x)dx, y
2
entonces T
K
L(L
p
(
1
), L
p
(
2
)) y
|T
K
| m(
1
)
1/q
m(
2
)
1/p
sup
x
1
,y
2
[K(x, y)[.
Demostraci
1
K(x, y)f(x)dx est a denido para
todo y
2
. Usando la desigualdad de Holder se tiene que
[T
K
(f)(y)[ (
_
1
[K(x, y)[
q
dx)
1/q
|f|
p
.
Por tanto se consigue
(
_
2
[T
K
(f)(y)[
p
dy)
1/p
(
_
2
(
_
1
[K(x, y)[
q
dx)
p/q
|f|
p
p
dy)
1/p
M|f|
p
m(
1
)
1/q
m(
2
)
1/p
.
Esto permite concluir el resultado.
3.2. El espacio L(X, Y ) 45
3.2 El espacio L(X, Y )
Teorema 3.2.1 Sean X e Y espacios normados sobre K.
(i) Entonces (L(X, Y ), | |) es un espacio normado.
(ii) Si el espacio Y es de un espacio de Banach entonces L(X, Y ) es
tambien un espacio de Banach.
Demostraci
= L(X, K) y le
llamamos espacio dual (o dual toplologico) de X. Los elementos X
se
llaman formas lineales (o funcionales lineales) sobre X.
Nota 3.2.2 Usando Teorema 3.2.1 X
Ejemplo 3.2.2 Sea X = C([0, 1]) y sea : C([0, 1]) K dada por
(f) = 2f(1/2) f(1/3).
Entonces X
t
con || = 3 .
Demostraci
.
Tomando f una funci on continua con |f|
.
Demostraci
|f|
1
.
Sea t
0
[0, 1] tal que |g|
= [g(t
0
)[ > 0 (supongamos 0 < t
0
< 1, siendo los
casos t
0
= 0 y t
0
= 1 una modicacion del argumento que sigue). Denimos
n
(g) =
_
[t
0
1/2n,t
0
+1/2n]
g(t)dt
que verica, por la continuidad de g, que lim
n
n
n
(g) = g(t
0
). Ahora consid-
erar f
n
(t) = n
n
(g)
[
n
(g)[
[t
0
1/2n,t
0
+1/2n]
. Es claro que f
n
L
1
([0, 1]), |f
n
|
1
= 1
y ademas
(f
n
) =
_
[0,1]
f
n
(t)g(t)dt = n
n
(g)
[
n
(g)[
_
[t
0
1/2n,t
0
+1/2n]
g(t)dt = n[
n
(g)[.
Luego lim
n
(f
n
) = [g(t
0
)[ = |g|
.
48 Chapter 3. Operadores lineales y continuos
Denici on 3.2.5 Sean X, Y espacios normados sobre el mismo cuerpo K y
T : X Y un operador en L(X, Y ). Diremos operador conjugado de T y lo
denotaremos T
t
a la aplicacion T
t
: Y
t
X
t
denida por T
t
() = T, i.e.
T
t
()(x) = (Tx).
Proposicion 3.2.6 Si T L(X, Y ) entonces T
t
L(Y
t
, X
t
) con |T
t
|
|T|.
Demostraci
on: Si y
1
, y
2
T(X) existen (y ademas unicos) x
1
, x
2
X
tales que T(x
1
) = y
1
e T(x
2
) = y
2
. Por tanto dados
1
,
2
K,
T
1
(
1
y
1
+
2
y
2
) = T
1
(
1
T(x
1
) +
2
T(x
2
))
= T
1
(T(
1
x
1
+
2
x
2
))
=
1
x
1
+
2
x
2
=
1
T
1
y
1
+
2
T
1
y
2
.
on: Sea T = id :
1
2
dada por T(x) = x. Es claro que
|Tx|
2
|x|
1
luego es lineal continua e inyectiva. Claramente T(
1
) =
1
y
T
1
: (
1
, | |
2
) (
1
, | |
1
) coincide con T
1
(x) = x. Sin embargo T
1
no
es continua, pues existe una sucesi on x
n
=
1
n
n
k=1
e
k
en
1
tal que
|x
n
|
2
0, |T
1
(x
n
)|
1
= 1, n N.
on: Denimos T : X X
t
dado por Tx =
x
donde
x
(y) =
y, x) para y X. Usando Teorema de Riesz-Frechet si X
t
entonces
existe x
0
X tal que (x) = x, x
0
). Luego T es suprayectiva. La linealidad
es inmediata en el caso K = R. Ademas, como se vi o en el Ejemplo 3.1.2),
|Tx| = sup[y, x)[ : |y| 1 = |x|.
.
En particular todas las normas sobre un espacio X nito dimensional son
equivalentes.
Demostraci
on: Sea e
1
, , e
n
una base (de Hamel) del espacio X. En
particular x X se puede escribir (de manera unica) x =
n
i=1
x
i
e
i
donde
x
i
K. Denimos T : K
n
X dado por
T((x
1
, , x
n
)) =
n
i=1
x
i
e
i
.
3.3. Espacios de Banach nito dimensionales 51
Claramente T L(K
n
, X) con |T|
n
i=1
|e
i
|, puesto que
|T((x
1
, , x
n
))| |
n
i=1
x
i
e
i
|
n
i=1
|e
i
|[x
i
[ (
n
i=1
|e
i
|) max
1in
[x
i
[.
Adem as T es biyeccion por ser (e
i
) una base. Como la esfera unidad de K
n
(x
1
, , x
n
))| m para todo x ,= 0. Lo que
permite concluir que
m|(x
1
, , x
n
)|
|T((x
1
, , x
n
))|, (x
1
, , x
n
) K
n
.
Probando la desigualdad que nos faltaba.
Corolario 3.3.2 (i) Todo espacio normado nito dimensional X es un es-
pacio de Banach.
(ii) Si Y es subespacio nito dimensional de un espacio normado X en-
tonces Y es cerrado.
(iii) Si X es un espacio normado nito dimensional, Y es un espacio
normado y T : X Y es lineal entonces T es continua.
Demostraci
isomor-
smo. Pasando por el isomorsmo anterior y usando que (K
n
, | |
) es
completo se obtiene el resultado.
(ii) se sigue usando que (Y, | |) es normado y el apartado (i).
(iii) Sea e
1
, , e
n
una base (de Hamel) del espacio X. En particular
x X se puede escribir (de manera unica) x =
n
i=1
x
i
e
i
donde x
i
K.
Luego
|T(x)|
n
i=1
[x
i
[|T(e
i
)| (
n
i=1
|Te
i
|) max
1in
[x
i
[.
Como max
1in
[x
i
[ B|x| se obtiene |T(x)| B(
n
i=1
|Te
i
|)|x|.
Teorema 3.3.3 (Riesz) Un espacio normado X es nito dimensional si, y
solo si, la bola unidad cerrada es compacta.
52 Chapter 3. Operadores lineales y continuos
Demostraci
X un isomorsmo entre ellos. Usando que
|T
1
|
1
|(x
1
, , x
n
)|
|x| |T||(x
1
, , x
n
)|
para x =
n
i=1
x
i
e
i
se obtiene que
x X : |x| 1 T((x
1
, , x
n
) K
n
: |(x
1
, , x
n
)|
|T
1
|).
Ahora usando que la bolas cerradas de K
n
|T
1
|) es compacto.
Finalmente todo cerrado en un compacto es tambien compacto, lo que prueba
que la bola unidad cerrada es compacto.
Supongamos ahora que la bola unidad
B
X
= x X : |x| 1 es
compacta. Consideremos un recubrimiento de la misma dado por B(y, 1/2) =
x X : |x y| < 1/2 con y B
x
. Existe entonces una colecci on nita
y
1
, .., y
n
B
X
tal que
B
X
n
i=1
B(y
i
, 1/2). Sea Y el subespacio vectorial
generado por y
1
, .., y
n
, que sabemos que es necesariamente cerrado en X.
Veamos que Y = X y por tanto X es de dimensi on nita.
Supongamos que existe x X Y . Como Y es cerrado se tiene que d =
d(x, Y ) > 0. Podemos entonces encontrar y Y tal que d |x y|
3
2
d.
Como z =
xy
|xy|
B
X
existir a y
k
Y tal que z B(y
k
, 1/2). Ahora bien,
x = y +|x y|z = y +|x y|y
k
+|x y|(z y
k
).
Como y +|x y|y
k
Y tenemos que
d |x (y +|x y|y
k
)| = |x y||z y
k
| <
1
2
|x y| <
3
4
d,
lo que lleva a una contradicci on.
Denici on 3.3.4 Sea X un espacio normado y A X. Diremos que A es
relativamente compacto si
A es compacto.
Corolario 3.3.5 Sea X un espacio normado. X es de dimension nita si,
y solo si, todo acotado es relativamente compacto.
Teorema 3.3.6 Sea 1 p y n N. El espacio dual de K
n
p
es
isometricamente isomorfo a K
n
q
donde 1 q con 1/p + 1/q = 1
3.4. Dualidad 53
Demostraci
i=1
[(e
i
)[
q
)
1/q
= (
n
i=1
[(e
i
)[
q1
i
(e
i
))
1/q
= (
n
i=1
[(e
i
)[
q1
i
e
i
))
1/q
||
1/q
|
n
i=1
[(e
i
)[
q1
i
e
i
|
1/q
= ||
1/q
(
n
i=1
[(e
i
)[
q
)
1/pq
.
Por tanto (
n
i=1
[(e
i
)[
q
)
1/q
||.
Por otro lado, es claro que
[(
n
i=1
i
e
i
)[
n
i=1
[
i
[[(e
i
)[ (
n
i=1
[
i
[
p
)
1/p
(
n
i=1
[(e
i
)[
q
)
1/q
,
luego || (
n
i=1
[(e
i
)[
q
)
1/q
.
Veamos nalmente que es suprayectiva. Dada (
1
, ,
n
) K
n
q
de-
namos
((
1
, ,
n
)) =
n
i=1
i
.
Es lineal y cumple que T() = (
1
, ,
n
).
Los casos p = 1 y p = se hacen de manera an aloga y se dejan como
ejercicios.
3.4 Dualidad
Hemos visto en Ejemplo 3.2.5 que, en el caso de espacios de Hilbert reales,
X
t
es isometricamente isomorfo a X. Para espacios de Hilbert cualesquiera
puede decirse lo siguiente:
54 Chapter 3. Operadores lineales y continuos
Teorema 3.4.1 Si X es un espacio de Hilbert con producto escalar , ),
y consideramos la aplicacion de Riesz J
X
: X X
t
dada por J
X
(x) =
x
denido por
x
(y) = y, x).
Entonces J
X
es una aplicacion biyectiva que cumple |J
X
(x)| = |x| y verica
J
X
(
1
x
1
+i
2
x
2
) =
1
J
X
(x
1
) +
2
J
X
(x
2
) para
1
,
2
K y x
1
, x
2
X.
Hemos visto tambien en Teorema 3.3.6 que (K
n
p
)
t
es isometricamente iso-
morfo a K
n
q
para 1 p y 1/p + 1/q = 1.
Veamos cual es la versi on innito dimensional de dicho resultado. La
demostraci on es similar a la presentada en Teorema 3.3.6 y se deja como
ejercicio.
Teorema 3.4.2 Sea 1 < p < y 1/p + 1/q = 1. Entonces (
p
)
t
es
isometricamente isomorfo a
q
.
Analicemos los casos p = 1 y q = 1.
Teorema 3.4.3 (
1
)
t
es isometricamente isomorfo a
.
Demostraci
on: Denimos T :
(
1
)
t
mediante la aplicacion
= (
1
, ,
n
, )
((
1
, ,
n
, )) =
n=1
n
.
Es claro que esta bien denida, pues
n=1
n
es convergente para toda
(
n
)
nN
1
y (
n
)
nN
((
n
)
nN
)[ (
n=1
[
n
[)(sup
nN
[
n
[) = |(
n
)
nN
|
|(
n
)
nN
|
1
.
Por otro lado, como (
n
)
nN
< [
m
[ +.
Se tiene que
m
[
m
[
e
m
1
, |
m
[
m
[
e
m
|
1
= 1 y
m
[
m
[
e
m
) = [
m
[ |(
n
)
nN
|
.
Esto demuestra que |
| = |(
n
)
nN
|
n
= (e
n
) para n N. Claramente sup
nN
[
n
[ ||. Ademas T() =
= .
En efecto,
((
1
, ,
n
, )) = lim
N
((
1
, ,
N
, 0, ))
= lim
N
N
i=1
i
(e
i
)
= lim
N
N
i=1
i
=
n=1
n
=
((
1
, ,
n
, )).
Teorema 3.4.4 (c
0
)
t
es isometricamente isomorfo a
1
.
Demostraci
on: Denimos T :
1
(c
0
)
t
mediante la aplicacion
= (
1
, ,
n
, )
((
1
, ,
n
, )) =
n=1
n
.
Es claro que esta bien denida, pues
n=1
n
es convergente para toda
(
n
)
nN
c
0
y (
n
)
nN
1
. Adem as T es lineal y cumple
[
((
n
)
nN
)[ (
n=1
[
n
[)(sup
nN
[
n
[) = |(
n
)
nN
|
1
|(
n
)
nN
|
.
Por otro lado, como (
n
)
nN
1
, para cada > 0 existe N N tal que
|(
n
)
nN
|
1
< |(
1
, ,
N
)|
1
+ =
N
n=1
[
n
[ +.
Sea
i
=
_
i
[
i
[
i 1, , N,
i
,= 0
0 otro caso
.
Se tiene que (
n
)
nN
c
00
, |(
n
)
nN
|
= 1 y
((
n
)
nN
) = |(
1
, ,
N
)|
1
|(
n
)
nN
|
1
.
56 Chapter 3. Operadores lineales y continuos
Esto demuestra que |
| = |(
n
)
nN
|
1
y por tanto T es una isometra.
Para nalizar hay que ver que T es suprayectiva. Dado (c
0
)
t
, considerar
n
= (e
n
) para n N. Se tiene que para todo N N
N
n=1
[
i
[ =
N
n=1
[(e
i
)[ = (
N
n=1
i
e
i
)
para cierta (
i
)
1iN
c
00
con |(
n
)
nN
|
= 1 (basta tomar
i
=
i
[
i
[
si
i
,= 0 y
i
= 0 en otro caso). Por tanto (
n
)
nN
1
. Ademas T((
n
)
nN
) =
= .
En efecto,
((
1
, ,
n
, )) = lim
N
((
1
, ,
N
, 0, ))
= lim
N
N
i=1
i
(e
i
)
= lim
N
N
i=1
i
=
n=1
n
=
((
1
, ,
n
, )).
().
(ii) (L
p
())
t
es isometricamente isomorfo a L
q
() si 1 < p < y 1/q +
1/p = 1.
Demostraci
2 pero L R ,= RL.
Denici on 3.5.2 Denimos el producto de operadores ST = S T para
S, T L(X). Esto permite dotar a L(X) de una estructura adicional
(algebra de Banach no conmutativa con identidad), es decir ademas de la es-
tructura de espacio vectorial con las operaciones (S, T) S +T y (, T)
T se tiene la ley interna (S, T) ST que cumple
(i) T
1
(T
2
T
3
) = (T
1
T
2
)T
3
, T
1
, T
2
, T
3
L(X),
(ii) S(
1
T
1
+
2
T
2
) =
1
ST
1
+
2
ST
2
,
1
,
2
K, S, T
1
, T
2
L(X),
(iii) SI
X
= I
X
S = S, S L(X),
(iv) |ST| |S||T|, S, T L(X).
58 Chapter 3. Operadores lineales y continuos
Teorema 3.5.3 (Criterio de invertibilidad) Sea X un espacio de Banach y
T L(X). Si la serie
n=0
T
n
(donde T
0
= I
X
) es convergente en norma
entonces I
X
T es invertible. Ademas
(I
X
T)
1
=
n=0
T
n
.
Demostraci
on: Sea S
n
=
n
k=0
T
k
y denotemos S =
k=0
T
k
. Entonces,
usando (iv) en la denici on anterior, la aplicaci on
T
: L(X) L(X) dada
por S ST es continua. Por tanto podemos escribir
ST = ( lim
n
S
n
)T = lim
n
S
n
T = lim
n
n
k=0
T
k+1
= lim
n
S
n+1
I
X
= S I
X
.
Esto permite despejar S(I T) = S ST = I
X
. An alogamente se concluye
que (I T)S = I
X
.
Corolario 3.5.4 Sea X un espacio de Banach y T L(X).
(i) Si |T| < 1 entonces I
X
T es invertible y |(I
X
T)
1
|
1
1|T|
.
(ii) Si |I T| < 1 entonces T es invertible y |T
1
| <
1
1|IT|
.
Demostraci
n=0
|T|
n
< y teniendo en
cuenta que |T
n
| |T|
n
se concluye que la serie
n=0
T
n
es absolutamente
convergente. Por tanto converge y debido al Teorema 3.5.3 existe (I
X
T)
1
.
Adem as
|(I
X
T)
1
| = lim
N
|
N
n=0
T
n
| lim
N
N
n=0
|T
n
|
n=0
|T|
n
1
1 |T|
.
(ii) Aplicar (i) a I
X
T.
Denotemos G(X, Y ) = T L(X, Y ) : T invertible .
Teorema 3.5.5 Sean X, Y son espacios de Banach y T G(X, Y ). Si S
L(X, Y ) es tal que |S T| <
1
|T
1
|
entonces S G(X, Y ). Ademas
(i) |S
1
|
|T
1
|
1|T
1
||ST|
,
(ii) |T
1
S
1
|
|T
1
|
2
|S
T
|
1|T
1
||ST|
.
3.6. Aplicaciones a ecuaciones integrales 59
Demostraci
on: Sea R = T
1
S. Se tiene que
|I
X
R| = |T
1
(T S)| |T
1
||T S| < 1.
Usando el Corolario 3.5.4 se tiene que R G(X, X) y adem as
|R
1
|
1
1 |I
X
R|
1
1 |T
1
||T S|
.
Teniendo en cuenta que S = TR se tiene que S G(X, Y ) con S
1
= R
1
T
1
.
Esto permite concluir que
|S
1
| |T
1
||R
1
|
|T
1
|
1 |T
1
||T S|
.
on:
Consideremos el operador integral Tx(s) =
_
1
0
sen(st)x(t)dt denido en
X = C([0, 1]). Por el Ejemplo 3.1.8 se tiene que T L(X) y
|T| sup
0s,t1
[sen(st)[ = sen1 < 1.
Usando el Corolario 3.5.4 se obtiene que I
X
T es invertible, luego para
todo y C([0, 1]) existe una unica solucion continua x tal que x Tx = y.
Adem as podemos calcularla explcitamente, pues
x = (I
X
T)
1
(y) =
n=0
T
n
y = lim
n
y +Ty +T
2
y +... +T
n
y.
Sea x
0
= y, x
n
= y +Tx
n1
= y +Ty +T
2
y +... +T
n
y se tiene que
x = lim
n
x
n
.
Incluso puede estimarse el error cometido en la aproximaci on, pues
|xx
n
|
k=n+1
|T
k
y|
k=n+1
|T|
k
|y|
|T|
n+1
1 |T|
|y|
(sen1)
n+1
1 sen1
|y|
.
(Ver Teorema 3.6.2 que para el c alculo exacto de la norma |T|.)
Denici on 3.6.1 Una ecuacion integral de Fredholm de segunda especie es
una ecuacion de la forma
x(s)
_
b
a
K(s, t)x(t)dt = y(s), s [a, b]
donde K : [a, b] [a, b] K es una funcion continua (denominado el n ucleo
de la ecuacion) y donde y C([a, b]).
Teorema 3.6.2 Sea K : [a, b] [a, b] R una funcion continua y
T
K
x(s) =
_
b
a
K(s, t)x(t)dt, x C([a, b]).
Entonces T
K
L(C([a, b])) y
|T
K
| = max
s[a,b]
_
b
a
[K(s, t)[dt.
3.6. Aplicaciones a ecuaciones integrales 61
Demostraci
_
b
a
[K(s, t)[dt M|x|
.
Esto prueba que |T
K
x|
M|x|
y por tanto |T
K
| M. N otese en
primer lugar que s
_
b
a
[K(s, t)[dt es una funci on continua (pues es la imagen
de T
[K[
(1) que se probo que estaba bien denido. Por tanto existe s
0
[a, b]
tal que M =
_
b
a
[K(s
0
, t)[dt. Sea
n
() =
_
_
1 1/n
n 1/n < < 1/n
1 1/n
.
Entonces t x
n
(t) =
n
(K(s
0
, t)) es continua para todo n N y
|x
n
|
1. Adem as lim
n
n
(K(s
0
, t)) = sgn(K(s
0
, t)) para todo t.
Por tanto
|T
K
)| sup
s[a,b]
[
_
b
a
K(s, t)x
n
(t)dt[ [
_
b
a
K(s
0
, t)x
n
(t)dt[
Y pasando al lmite se tiene |T
K
|
_
b
a
[K(s
0
, t)[dt = M.
Proposicion 3.6.3 Sean X = Y = C([0, 1]). Dados k
1
, k
2
C([0, 1])
[0, 1]) consideramos
T
i
(f)(x) =
_
1
0
k
i
(x, y)f(y)dy, i = 1, 2
para f C([0, 1]). Entonces
T
2
T
1
(f)(x) =
_
1
0
K(x, y)f(y)dy, K(x, y) =
_
1
0
k
2
(x, t)k
1
(t, y)dt.
Demostraci
, [x x
t
[ < ,
sup
t[0,1]
[k
1
(t, y) k
1
(t, y
t
)[ <
2|k
2
|
, [y y
t
[ < .
Por tanto, si [x x
t
[ < y [y y
t
[ < ,
[K(x, y) K(x
t
, y
t
)[ = [
_
1
0
k
2
(x, t)k
1
(t, y)dt
_
1
0
k
2
(x
t
, t)k
1
(t, y
t
)dt[
_
1
0
[k
2
(x, t)k
1
(t, y) k
2
(x
t
, t)k
1
(t, y
t
)[dt
_
1
0
[k
2
(x, t) k
2
(x
t
, t)[[k
1
(t, y)[dt
+
_
1
0
[k
1
(t, y) k
1
(t, y
t
)[[k
2
(x
t
, t)[dt
|k
1
|
_
1
0
[k
2
(x, t) k
2
(x
t
, t)dt
+ |k
2
|
_
1
0
[k
2
(x, t) k
2
(x
t
, t)[dt < .
<
1
ba
y K
n
son los n ucleos
iterados de (3.1) entonces la serie
n=1
K
n
converge en C([a, b] [a, b]).
Llamaremos a la funcion suma H =
n=1
K
n
el n ucleo resolvente de K.
Demostraci
n=1
|K
n
|
= sup
at,sb
[
_
b
a
K(s, u)K
n
(u, t)du[
sup
at,sb
_
b
a
[K(s, u)[[K
n
(u, t)[du
|K
n
|
sup
asb
_
b
a
[K(s, u)[du
|K
n
|
(b a)|K|
.
Por inducci on se tiene que
|K
n
| |K|
((b a)|K|
)
n1
, n N.
Como (b a)|K|
<
1
ba
. Para cada
y C([a, b]) existe una unica solucion x C([a, b]) tal que
x(s)
_
b
a
K(s, t)x(t)dt = y(s), s [a, b].
Dicha solucion viene dada por
x(s) = y(s) +
_
b
a
H(s, t)x(t)dt, s [a, b]
donde H(s, t) =
n=1
K
n
(s, t), (s, t [a, b]) es el n ucleo resolvente.
Demostraci
n=0
T
n
se puede escribir la solucion mediante la formula
x(s) = (I
X
T)
1
y(s)
64 Chapter 3. Operadores lineales y continuos
= y(s) +
n=1
_
b
a
K
n
(s, t)y(t)dt
= y(s) +
_
b
a
n=1
K
n
(s, t)y(t)dt
= y(s) +
_
b
a
H(s, t)y(t)dt.
(El paso de intercambio de serie e integral esta garantizado por la convergen-
cia absoluta de la serie involucrada como se prueba en Lema 3.6.5.)
Ejemplo 3.6.2 Calcular la solucion de la ecuacion
x(s)
1
3
_
1
0
(2 3(s +t) + 6st)x(t)dt = y(s), s [0, 1].
Demostraci
= sup
s,t[0,1]
[2 3(s +t) + 6st[.
Como
K
s
= 3+6t y
K
t
= 3+6s, el unico punto crtico es s = t = 1/2.
En la frontera de [0, 1] [0, 1] tenemos K(0, t) = 2/3 t, K(1, t) = 1/3 +t,
K(s, 0) = 2/3 s y K(s, 1) = 1/3 +s y por tanto
|K|
n=0
1
6
n
K(s, t)) =
5
6
K(s, t),
y la soluci on viene dada por
x(s) = y(s) +
2
5
_
1
0
(2 3(s +t) + 6st)y(t)dt.
Otro tipo de ecuaciones integrales que podemos abordar son las del tipo
Volterra.
Ejemplo 3.6.3 Dada y C([0, 1]) encontrar una solucion x C([0, 1]) de
la ecuacion integral
x(s)
_
s
0
x(t)dt = y(s), s [0, 1].
Demostraci
|x|
1
|x|
n=0
V
n
es convergente en L(C([0, 1]). En efecto
|V
n+1
| = sup
|x|
=1
sup
s[0,1]
[
_
s
0
(s u)
n
n!
x(u)du[
1
n!
.
66 Chapter 3. Operadores lineales y continuos
Usando el Teorema 3.5.3 se obtiene que I
X
V es invertible, luego para
todo y C([0, 1]) existe una unica soluci on continua x tal que x V x = y.
Adem as podemos calcularla explcitamente, pues
x = (I
X
V )
1
(y) =
n=0
V
n
y.
Para x C([0, 1]) tenemos
n=0
V
n
x(s) = x(s) +
n=0
_
s
0
(s u)
n
n!
x(u)du
= x(s) +
_
s
0
n=0
(s u)
n
n!
x(u)du
= x(s) +
_
s
0
e
(su)
x(u)du
= x(s) +e
s
_
s
0
e
u
x(u)du.
Por tanto la solucion es x(s) = y(s) +e
s
_
s
0
e
u
y(u)du.
T
K
)
n
=
T
K
n
para todo n N.
3.6. Aplicaciones a ecuaciones integrales 67
Demostraci
T
K
)
n+1
x(s) =
_
s
0
K(s, t)(
T
K
)
n
x(t)dt
=
_
s
0
K(s, t)(
_
t
0
K
n
(t, u)x(u)du)dt
=
_
s
0
(
_
s
u
K(s, t)K
n
(t, u)dt)x(u)du
=
_
s
0
K
n+1
(s, u)x(u)du
=
T
K
n+1
x(s).
n=1
K
n
converge en .
Llamaremos a la funcion suma
H(s, t) =
n=1
K
n
(s, t), (s, t)
el n ucleo resolvente de K.
Demostraci
n=1
|K
n
|
= sup
(s,t)
[K(s, t)[.
Es claro para n = 1. Suponerlo cierto para n. Usando (3.2) se tiene que
[K
n+1
(s, t)[ = [
_
s
t
K(s, u)K
n
(u, t)du[
_
s
t
[K(s, u)[[K
n
(u, t)[du
M
n
_
s
t
[K(s, u)[
(u t)
n1
(n 1)!
du
M
n+1
_
s
t
(u t)
n1
(n 1)!
du
= M
n+1
(s t)
n
n!
.
68 Chapter 3. Operadores lineales y continuos
Por tanto |K
n
|
M
n
(ba)
n1
(n1)!
y la serie
n=1
|K
n
|
< .
Teorema 3.6.10 Sea = (s, t) [a, b] [a, b] : t s y K : K.
Para cada y C([a, b]) existe una unica solucion x C([a, b]) tal que
x(s)
_
s
a
K(s, t)x(t)dt = y(s), s [a, b].
Dicha solucion viene dada por
x(s) = y(s) +
_
s
a
H(s, t)x(t)dt, s [a, b]
donde H(s, t) =
n=1
K
n
(s, t), (s, t ) es el n ucleo resolvente.
Demostraci
T
K
)
n
x(s) =
_
s
0
K
n
(s, t)x(t)dt y
por consiguiente
|(
T
K
)
n
x|
|x|
_
b
a
[K
n
(s, t)[dt
|x|
(b a)|K
n
|
M
n
|x|
(b a)
n
(n 1)!
.
Consecuentemente |(
T
K
)
n
| M
n
(sa)
n
(n1)!
. Esto garantiza la convergencia de
la serie
n=1
|(
T
K
)
n
| < .
Usando el Teorema 3.5.3 se concluye que I
X
T
K
es invertible. Como
sabemos que (I
X
T
K
)
1
=
n=0
(
T
K
)
n
se puede escribir la soluci on mediante
la formula
x(s) = (I
X
T
K
)
1
y(s)
= y(s) +
n=1
_
s
a
K
n
(s, t)y(t)dt
= y(s) +
_
s
a
n=1
K
n
(s, t)y(t)dt
= y(s) +
_
s
a
H(s, t)y(t)dt.
(El paso de intercambio de serie e integral esta garantizado por la convergen-
cia absoluta de la serie involucrada como se prueba en Lema 3.6.9.)
Chapter 4
Ampliaci on de espacios de
Hilbert
4.1 Bases Ortonormales
En el captulo primero vimos que la existencia de sucesiones (x
n
)
nN
tales
que las combinaciones lineales de los vectores x
n
es denso en X es una
condici on suciente para la separabilidad del espacio. En el caso X =
2
puede tomarse la sucesi on (e
n
), que adem as tiene la propiedad de ser or-
togonal. Nuestro objetivo ahora es probar que realmente en todo espacio
de Hilbert separable existen sucesiones (bases ortonormales) de modo que
LINx
n
: n N = X.
En este captulo (X, , )) denota siempre un espacio prehilbertiano.
Denici on 4.1.1 Un subconjunto M X se dice ortonormal si x, y) = 0
para x, y M, x ,= y y |x|
2
= x, x) = 1 para x M. Diremos que M es
una base ortonormal si M es ortonormal y X = LIN(M).
Ejemplo 4.1.1 En X = C
3
el conjunto M = e
1
, e
2
, e
3
donde e
1
= (1, 0, 0),
e
2
=
1
2
(1, 1, 0) y e
3
=
1
2
(1, 1, 1) forma una base ortonormal de C
3
.
Ejemplo 4.1.2 En X =
2
(R) = (x
n
)
nN
: x
i
R,
n=1
[x
n
[
2
< , la
sucesion
e
n
= (
n1
..
0, ..., 0, 1, 0, ...)
forma una base ortonormal.
69
70 Chapter 4. Ampliaci on de espacios de Hilbert
Ejemplo 4.1.3 En X = L
2
((, )) denido por funciones f : (, ) C
medible Lebesgue tales que
_
[f(t)[
2
dt < , la sucesion
n
(t) =
e
int
2
es un conjunto ortonormal.
Proposicion 4.1.2 Todo conjunto ortonormal M es un sistema linealmente
independiente.
Demostraci
on: Sean
1
, ...,
n
K y x
1
, ..., x
n
M tales que
n
i=1
i
x
i
=
0. Usando que
n
i=1
i
x
i
, x
k
) =
k
para k = 1, .., n se concluye que el
sistema es linealmente independiente
Proposicion 4.1.3 Si X es un espacio de Hilbert separable y M es un con-
junto ortonormal de X entonces M es, a lo sumo, numerable.
Demostraci
on: Sea X =
D donde D es numerable. Para cada x M
existe un y(x) D tal que |x y(x)| <
2
2
. Usando el teorema de Pitgoras
si x, x
t
M con x ,= x
t
se tiene que |x x
t
|
2
= 2. Por tanto la aplicaci on
x y(x) es inyectiva de M en D y se obtiene que M es numerable.
Teorema 4.1.4 (Proceso de ortogonalizacion de Gram-Schmidt) Si (x
n
)
nN
es una sucesion linealmente independiente en X entonces existe (y
n
)
nN
ortonor-
mal tal que
LIN(x
n
: n N) = LIN(y
n
: n N).
Demostraci
i=1
x
n+1
, y
i
)y
i
.
4.1. Bases Ortonormales 71
Como x
n+1
/ LIN(y
1
, ..., y
n
) se puede asegurar que x
t
n+1
,= 0 y denimos
y
n+1
=
x
n+1
|x
n+1
|
. Comprobemos que cumple las propiedades anteriores: En
primer lugar
LIN(x
1
, ..., x
n
, x
n+1
) = LIN(y
1
, ..., y
n
, x
n+1
)
= LIN(y
1
, ..., y
n
, x
t
n+1
)
= LIN(y
1
, ..., y
n
, y
n+1
).
Por otro lado para cada j 1, ..., n,
y
n+1
, y
j
) =
1
|x
t
n+1
|
_
x
n+1
, y
j
)
n
i=1
x
n+1
, y
i
)y
i
, y
j
)
_
= 0.
2
,P
1
(t) =
2
t, P
2
(t) =
8
(3t
2
1) y P
3
(t) =
8
(5t
3
3t).
Proposicion 4.1.5 Si X es un espacio de Hilbert sobre K de dimension n.
Entonces X es isometricamente isomorfo a K
n
2
.
Demostraci
on: Sean x
1
, ..., x
n
vectores linealmente independientes (y gen-
eradores de X). Por el proceso anterior existen e
1
, ..., e
n
vectores ortonor-
males (y por tanto base de X). Considerar T : X K
n
2
denido por
T(
n
i=
1
i
e
i
) = (
1
, ...,
n
).
Observar que por la ortonormalidad de (e
i
)
n
i=1
se tiene que
j
= x, e
j
).
Por tanto T es lineal y biyectiva. Ademas
|x|
2
= x, x) = x,
n
i=1
x, e
i
)e
i
) =
n
i=1
x, e
i
)x, e
i
) =
n
i=1
[x, e
i
)[
2
= |T(x)|
2
2
.
n=1
x, e
n
)e
n
siendo la convergencia de la serie en
2
, puesto que
|x
n
k=1
x, e
k
)e
k
|
2
2
=
k=n+1
[x, e
n
)[
2
0, n ,
es propia de todos los espacios de Hilbert separables, reemplazando la base
can onica de
2
por una base ortonormal cualquiera.
4.1. Bases Ortonormales 73
Denici on 4.1.7 Sea (e
n
)
nN
una sucesion ortonormal en X y sea x X.
La sucesion numerica de coecientes (en K) dada por (x, e
n
))
nN
se dicen
los coecientes de Fourier de x respecto la sucesion (e
n
)
nN
.
La serie (formal)
n=1
x, e
n
)e
n
se denomina la serie de Fourier de x
relativa a la sucesion (e
n
)
nN
.
Ejemplo 4.1.5 Sea X = L
2
((, )),
n
(t) =
1
2
e
int
, n Z. Para f
L
2
((, )) denotamos
f(n) = f,
n
) =
_
f(t)e
int
dt
2
a los coecientes de Fourier clasicos.
Teorema 4.1.8 (Desigualdad de Bessel) Sea (e
n
)
nN
una sucesion ortonor-
mal en un espacio prehilbertiano X. Para cada x X se cumple
n=1
[x, e
n
)[
2
|x|
2
.
Demostraci
n=1
[x, e
n
)[
2
|x|
2
, x X, N N.
Consideremos x
N
= x
N
n=1
x, e
n
)e
n
. Observemos que x
N
e
k
para
k = 1, ..., N. En efecto,
x
N
, e
k
) = x
N
n=1
x, e
n
)e
n
, e
k
)
= x, e
k
)
N
n=1
x, e
n
)e
n
, e
k
)
= x, e
k
) x, e
k
) = 0.
Por tanto, usando el teorema de Pitagoras,
|x|
2
= |x
N
+
N
n=1
x, e
n
)e
n
|
2
= |x
N
|
2
+
N
n=1
[x, e
n
)[
2
|e
n
|
2
n=1
[x, e
n
)[
2
.
74 Chapter 4. Ampliaci on de espacios de Hilbert
n=1
x, e
n
)e
n
converge a x en
X.
(3) Para todo x X se verica
|x|
2
=
n=1
[x, e
n
)[
2
(Identidad de Parseval).
Demostraci
N
n=1
x, e
n
)e
n
. Dado > 0 y x X, usando
que X = LIN(e
n
: n N), existe y =
N
0
n=1
n
e
n
tal que |x y| < .
Entonces, para N N
0
, teniendo en cuenta que x
N
(
N
n=1
x, e
n
)e
n
y),
y usando Pit agoras de nuevo,
|x
N
|
2
+|
N
n=1
x, e
n
)e
n
y|
2
= |x y|
2
En particular |x
N
| < para N N
0
.
(2) =(3) Aplicamos la continuidad la aplicacion y x, y). Puesto que
N
n=1
x, e
n
)e
n
converge a x podemos concluir que
|x|
2
= x, x) = lim
N
N
n=1
x, e
n
)x, e
n
) = lim
N
N
n=1
[x, e
n
)[
2
=
n=1
[x, e
n
)[
2
.
(3) =(2) Sea x X. Observar que x =
N
n=1
x, e
n
)e
n
+ x
N
para todo
N N. Ademas
N
n=1
x, e
n
)e
n
x
N
y por tanto
|x|
2
=
N
n=1
[x, e
n
)[
2
+|x
N
|
2
.
As que si suponemos que |x|
2
=
n=1
[x, e
n
)[
2
se tiene que |x
N
| 0
cuando N .
(2) =(1) Inmediato pues
N
n=1
x, e
n
)e
n
LIN(e
n
: n N).
4.2. Operador adjunto 75
Teorema 4.1.10 (Teorema de Riesz-Fisher) Sea (e
n
)
nN
una sucesion ortonor-
mal en un espacio de Hilbert X. La serie
n=1
n
e
n
converge a x si y solo
si
n=1
[
n
[
2
< . En tal caso
n
= x, e
n
).
Demostraci
k=n
k
e
k
|
2
=
m
k=n
[
k
[
2
.
En el supuesto de la convergencia, la continuidad del producto escalar permite
concluir
k=1
k
e
k
, e
n
) =
k=1
k
e
k
, e
n
) =
n
.
y), x X, y Y.
Ademas |T
| |T|.
76 Chapter 4. Ampliaci on de espacios de Hilbert
Demostraci
T,y
(x) = (Tx, y).
Es inmediato probar que
T,y
X
t
con |
T,y
| |T|. Usando el Teorema de
representaci on de Riesz-Frechet se obtiene un unico x
t
X tal que
T,y
(x) =
x, x
t
).
Denimos T
: Y X mediante la aplicaci on T
(y) = x
t
. Se cumple que
(Tx, y) =
T,y
(x) = x, T
y), x X.
Hemos de comprobar que T
L(Y, X).
Veamos la linealidad: Sean
1
,
1
K y y
1
, y
2
Y . Consideremos
T
(y
1
) = x
t
1
y T
(y
2
) = x
t
2
y T
(
1
y
1
+
2
y
2
) = x
t
. Para comprobar que
x
t
=
1
x
t
1
+
2
x
t
2
es sucente probar que
(Tx,
1
y
1
+
2
y
2
) = x,
1
x
t
1
+
2
x
t
2
), x X.
Sea x X tenemos
x,
1
x
t
1
+
2
x
t
2
) =
1
x, x
t
1
) +
2
x, x
t
2
)
=
1
(Tx, y
1
) +
2
(Tx, y
2
)
= (Tx,
1
y
1
) + (Tx,
2
y
2
)
= (Tx,
1
y
1
+
2
y
2
).
Veamos la continuidad: Usando que |x| = sup[v, x)[ : |v| 1 ten-
emos
|T
y| = sup[v, T
| |T|.
Finalmente veamos la unicidad del operador T
L(Y, X) tal que
(Tx, y) = x, T
y), x X, y Y.
Nota 4.2.1 Recordemos que el Teorema de Riesz-Frechet permite denir una
isometra J
X
: X X
dada por J
X
(x) =
x
denido por
J
X
(x)(y) = y, x), y X.
Entonces si T L(X, Y ) tenemos
T
= J
1
X
T
t
J
Y
Demostraci
: K
n
2
K
n
2
viene dado por la matriz conjugada de la
traspuesta (a
i,j
)
n
i,j=1
= ( a
j,i
)
n
i,j=1
.
Demostraci
i=1
i
e
i
) =
n
j=1
(
n
i=1
a
i,j
i
)e
j
.
Es decir, a
i,j
= T(e
i
), e
j
) y por tanto
a
i,j
= T
(e
i
), e
j
) = e
j
, T
(e
i
)) = T(e
j
), e
i
) = a
j,i
.
:
2
2
viene dado por S
((x
1
, x
2
, ...)) = (x
2
, x
3
, ...).
78 Chapter 4. Ampliaci on de espacios de Hilbert
Demostraci
(e
m
)).
Se deduce entonces que S
(e
m
) = e
m1
para m 2 y S
(e
1
) = 0. En
consecuencia
S
((x
1
, x
2
, ...)) =
m=1
x
m
S
(e
m
) =
m=1
x
m+1
e
m
= (x
2
, x
3
, ...).
K(x, y)f(y)dy.
Entonces T
K
: L
2
() L
2
() dado por T
K
= T
K
donde K
K
(g)(y) =
_
K(x, y)g(x)dx.
Demostraci
on: La f ormula T
K
(f), g) = f, T
K
(g)) se traduce, en este
caso, en
_
(
_
f(y)T
K
(g)(y)dy.
Usando el teorema de Fubini para f L
2
() y g L
2
() se tiene que
f(y) g(x) L
2
(), y por tanto [K(x, y)[[f(y)g(x)[ L
1
() de donde
se concluye que
_
(
_
(
_
K(x, y)g(x)dx)f(y)dy.
= T.
(ii) |T| = |T
|.
(iii) |T|
2
= |TT
| = |T
T| = |T
|
2
.
(iv) (T +S)
= T
+
S
.
(v) (RT)
= T
.
(vi) T es invertible si, y solo si, T
es invertible y (T
1
)
= (T
)
1
.
Demostraci
L(Y, X) entonces T
L(X, Y ). Fijamos
x X. Para cada y Y se tiene que
(T
x, y) = (y, (T
x) = T
y, x) = x, T
y) = (Tx, y).
Por tanto T
| |T
|.
(iii) Si x X podemos escribir
|Tx|
2
= (Tx, Tx) = x, T
Tx) |x||T
Tx| |T
T||x|
2
.
Tomando supremos en la bola unidad se tiene que |T|
2
|T
T| |T||T
| = |T|
2
.
Cambiando T por T
+
S
+
S
)y) = x, T
y) +x, S
y)
= (Tx, y) + (Sx, y)
= ((T +S)x, y).
80 Chapter 4. Ampliaci on de espacios de Hilbert
(v) Notese que RT L(X, Z). Para x X y z Z tenemos
[RTx, z] = (Tx, R
z) = x, T
(R
z)).
= T
.
(vi) Supongamos que existe T
1
L(Y, X) tal que TT
1
= I
Y
y T
1
T =
I
X
. Teniendo en cuenta que I
X
= I
X
e I
Y
= I
Y
y el apartado (v) entonces
T
(T
1
)
= I
X
y (T
1
)
= I
Y
. De donde se concluye que T
es invertible
y (T
)
1
= (T
1
)
.
Denici on 4.2.5 Sea X = Y espacio de Hilbert y T L(X). T se dice
autoadjunto si T
= T.
Nota 4.2.2 Si T L(X) entonces TT
=
T
= TT
.
Ejemplo 4.2.4 Si K L
2
( ) entonces T
K
es autoadjunto si y solo si
K(x, y) = K(y, x).
Para n ucleos reales ser autoadjunto equivale a ser simetrico, i.e. K(x, y) =
K(y, x).
Acabaremos este captulo con la relaci on existente entre el n ucleo de un
operador y la imagen del adjunto.
Proposicion 4.2.6 Sean X e Y espacios de Hilbert y T L(X, Y ). En-
tonces
(i) KerT = (ImT
, (KerT)
= ImT
.
(ii) KerT
= (ImT)
, (KerT
= ImT.
Demostraci
.
Por otro lado sabemos que (KerT)
= ((ImT
= ImT
.
(ii) Es consecuencia de (i) aplicado a T
.
Corolario 4.2.7 Sea T L(X, Y ).
(i) Si T es suprayectiva entonces T
es inyectiva.
(ii) Si T
p
(T) = K : Ker(T I) ,= 0
y le llamamos espectro puntual del operador.
Nota 5.1.1 Observar que
p
(T) implica que T I no es inyectiva, en
particular no es invertible.
Es bien sabido que si T : K
n
K
n
es lineal el hecho de ser inyectiva,
equivale a ser suprayectiva y equivale a ser invertible (con inversa continua).
Dicha condicion puede caracterizarse en terminos del det(A) ,= 0 siendo A la
matriz del operador. Por tanto el conjunto de valores propios
p
(T) coincide
con las soluciones de
det(A I) = 0,
es decir las raices del polinomio caracterstico.
81
82 Chapter 5. Teora espectral de operadores
Denici on 5.1.2 Sea T L(X). Un valor K se llama valor regular (o
valor resolvente) para T si (T I) es invertible en L(X). Denotamos
(T) = K : (T I)
1
L(X)
al conjunto de valores regulares, denominado el conjunto resolvente del op-
erador y (T) a su complementario, denominado el espectro del operador.
Es decir (T) = K (T) es el conjunto de valores no regulares (llamados
tambien valores espectrales).
Denimos el operador resolvente resolvente de T, denotado R
T
mediante
la aplicacion R
T
: (T) L(X) dada por
R
T
() = (T I)
1
.
Nota 5.1.2 Observar que
p
(T) (T).
Ejemplo 5.1.1 Sea S L(
2
) dado por S((
1
,
2
, ...)) = (0,
1
,
2
, ...). Ob-
servar que ImT = e
1
n
, (
n
)
nN
2
.
Luego (
1
,
2
, ...) Im(T I) implica que
n
k=1
k
=
n+1
1
es conver-
gente. En particular (
1
n
) / Im(T I).
Teorema 5.1.3 Si T L(X) entonces (T) es un conjunto compacto con-
tenido en K : [[ |T|.
5.1. Espectro de un operador 83
Demostraci
n=0
(n+1)
T
n
.
Ademas |R
T
()|
1
[[|T|
.
(ii) Si (T) entonces se tiene el desarrollo en serie de potencias
R
T
() =
n=0
( )
n
R
T
()
n+1
, [ [ <
1
|R
T
()|
.
Demostraci
n=0
n
T
n
.
84 Chapter 5. Teora espectral de operadores
Por tanto
R
T
() = (T I)
1
=
n=0
(n+1)
T
n
.
(ii) N otese que si (T) y [[ <
1
|R
T
()|
entonces (T). Adem as
T I = T I ( )I
= (T I)(I ( )(T I)
1
)
= (T I)(I ( )R
T
()).
Por consiguiente,
R
T
() = (I ( )R
T
())
1
R
T
() =
n=0
( )
n
R
n+1
T
().
1 es relativa-
mente compacto en C([a, b]). Usando el Teorema 5.2.1 hemos de ver que A
es acotado y equicontinuo. Es claro que A y C([a, b]) : |y|
|T
K
|.
Por otro lado, como K es uniformemente continua en [a, b] [a, b], para cada
> 0 existe > 0 tal que
[K(s, t) K(s
t
, t)[ <
(b a)
, [s s
t
[ < , t [a, b].
86 Chapter 5. Teora espectral de operadores
Por tanto
sup
|x|
1
[T
K
(x)(s)T
K
x(s
t
)[
_
b
a
[K(s, t)K(s
t
, t)[[x(t)[dt < , [ss
t
[ < .
i=1
i
(x)y
i
.
Demostraci
i
((
1
, ...,
n
)) =
i
para i = 1, ..., n. Entonces si Tx =
n
i=1
i
y
i
se tiene
que J
1
(Tx) = (
1
, ...,
n
) y por tanto
i
=
i
(x).
El recproco es inmediato.
Proposicion 5.2.6 Sean X, Y y Z espacios normados. Entonces
(i) F(X, Y ) K(X, Y ) L(X, Y ).
(ii) Si T F(X, Y ) (respect. T K(X, Y )) y S L(Y, Z) entonces
ST F(X, Z) (respect. ST K(X, Z)).
(iii) Si T L(X, Y ) y S F(Y, Z) (respect. T K(Y, Z)) entonces
ST F(X, Z) (respect. ST K(X, Z)).
Demostraci
i=1
i
(x)y
i
,
entonces
ST(x) =
n
i=1
i
(x)Sy
i
F(X, Z).
Si T K(X, Y ) entonces T(B
X
) es compacto, y como S es continua se
tiene que S(T(B
X
)) es compacto y ST(B
X
) S(T(B
X
)).
Teorema 5.2.7 Sea X un espacio normado e Y un espacio de Banach. En-
tonces K(X, Y ) es un subespacio cerrado de L(X, Y ).
Demostraci
on: Sea (T
n
)
nN
K(X, Y ) tal que T
n
T. Veamos que
T K(X, Y ). Sea (x
k
)
kN
una sucesion en X con sup
n
|x
n
| = M. Veamos
que existe una subsucesi on (x
t
k
)
kN
tal que (T(x
t
k
))
kN
es de Cauchy en Y .
Por ser T
1
compacto existe una subsucesi on, denotada (x
1,k
)
kN
tal que
(T
1
(x
1,k
))
kN
es convergente en Y . Aplicando que T
2
es compacto existe una
subsucesi on de (x
1,k
)
kN
, denotada (x
2,k
)
kN
tal que (T
2
(x
2,k
))
kN
es conver-
gente en Y . Reiterando el proceso existe una subsucesi on de (x
n1,k
)
kN
,
denotada (x
n,k
)
kN
tal que (T
n
(x
n,k
))
kN
es convergente en Y . Consideremos
ahora, x
t
k
= x
k,k
para k N. Es una subsucesi on de la original (x
k
)
kN
.
Veamos que verica que (T(x
t
k
))
kN
es convergente.
Al ser (x
t
k
)
kN
subsucesi on de (x
n,k
)
kN
para todo n N se tiene que
(T
n
(x
t
k
))
kN
converge para todo n N.
Dado > 0 existe n N tal que |T
n
T| < /(3M). En particular
|T
n
x
t
k
Tx
t
k
| |T
n
T|(sup |x
t
k
|) < /3, k N.
Por la compacidad de T
n
existe k
0
N tal que
|T
n
x
t
j
T
n
x
t
i
| < /3, i, j k
0
.
Por tanto, para i, j k
0
|Tx
t
j
Tx
t
i
| |Tx
t
j
T
n
x
t
j
| +|T
n
x
t
j
T
n
x
t
i
| +|T
n
x
t
i
Tx
t
i
| < .
on: Sea u Y
2
Y
1
. Como Y
1
es cerrado se tiene que d(u, Y
1
) =
d > 0. Por tanto existe y
Y
1
tal que
0 < d |u y
| <
d(u, Y
1
)
.
Consideremos y
2
=
uy
|uy
|
Y
2
con |y
2
| = 1 que cumple, para cada y Y
1
,
|y
2
y| = |
u y
|u y
|
y|
=
1
|u y
|
|u (y
+y|u y
|)|
1
|u y
|
d(u, Y
1
) > .
Otra importante observaci on, v alida para todos los operadores, es la sigu-
iente:
Lema 5.3.2 Sean
1
, ...,
n
p
(T) con
i
,=
j
si i ,= j y sean x
1
, ...x
n
vectores propios asociados a dichos valores propios. Entonces x
1
, ..., x
n
i=1
i
Tx
i
m
m1
i=1
i
x
i
=
m1
i=1
i
(
i
m
)x
i
.
Por independencia lineal se tiene que (
i
m
)
i
= 0 para 1 i m1, y
por tanto x
m
= 0 lo que contradice la hip otesis.
Teorema 5.3.3 Sea T K(X). Entonces
p
(T) es a lo sumo numerable y
su unico posible punto de acumulacion es el 0.
Demostraci
p
(T) 0 =
nN
p
(T) : [[ 1/n
es a lo sumo numerable.
Supongamos, por reducion al absurdo, que existe
0
> 0 tal que A =
p
(T) : [[
0
es innito. Podremos tomar una sucesion (
n
)
nN
A
de valores propios distintos. Sea (x
n
)
nN
una sucesi on de vectores propios
correspondiente a los valores propios anteriores. Sabemos que x
1
, x
2
, ... es
un conjunto linealmente independiente. Denotemos Y
n
= LINx
1
, ..., x
n
que cumple Y
n
Y
n+1
para todo n N y que T(Y
n
) Y
n
. Usando el
lema de Riesz anterior existe y
n+1
Y
n+1
con |y
n+1
| = 1 y d(y
n+1
, Y
n
)
1/2. Veamos que (T(y
n
))
nN
no tiene subsucesiones convergentes. Para ello
escribimos, para m < n,
T(y
n
) T(y
m
) =
n
y
n
(T(y
m
) T(y
n
) +
n
y
n
).
Comprobemos que u = T(y
m
) (T(y
n
)
n
y
n
) Y
n1
. Por un lado y
m
Y
m
Y
n1
y, por tanto T(y
m
) Y
n1
. Por otro lado si y
n
=
n
i=1
i
x
i
se
90 Chapter 5. Teora espectral de operadores
tiene que
T(y
n
)
n
y
n
=
n
i=1
i
Tx
i
i=1
i
x
i
=
n
i=1
i
(
i
n
)x
i
=
n1
i=1
i
(
i
n
)x
i
Y
n1
.
Por tanto
|T(y
n
) T(y
m
)| = |
n
y
n
u|
[
n
[|y
n
u
[
n
[
|
[
n
[d(y
n
, Y
n1
)
[
n
[/2
0
/2.
Esto impide que existan subsucesiones convergentes, y se obtiene una con-
tradicci on.
Corolario 5.3.4 Si X es un espacio normado innito dimensional y T
K(X) entonces se cumple una de las siguientes situaciones:
(i)
p
(T) 0 = .
(ii)
p
(T) 0 es un conjunto nito.
(iii)
p
(T) 0 es una sucesion que converge a 0.
Teorema 5.3.5 Sea X un espacio normado y T K(X). Si
p
(T)0
entonces Ker(T I) es nito dimensional.
Demostraci
i=1
i
y
i
= T(
n
i=1
i
x
i
) (
n
i=1
i
x
i
)
y por tanto
n
i=1
i
x
i
Ker(T I) = 0 de donde se concluye que
i
= 0
para 1 i n.
Probemos ahora que T(X
1
) X
1
. En efecto si x = T(z) z X
1
y
llamamos y = T(z) se tiene que
T(y) y = T
2
(z) T(z) = T(T(z) z) = T(x).
En particular T(x) Im(T I) = X
1
. Denotemos T
1
la restriccion de T
a X
1
y estamos en la situaci on anterior, un operador compacto T
1
L(X
1
)
y X
1
de dimensi on innita. Denimos X
2
= Im(T
1
I
X
1
) = Im((T
I
X
)
2
) X
1
. Se cumple que X
2
,= X
1
pues caso contrario dado x X
ponemos Tx x = x
1
X
1
= X
2
y por tanto existe x
t
1
X
1
tal que
Txx = T
1
(x
t
1
) x
t
1
= T(x
t
1
) x
t
1
y usando la inyectividad de T I se
tiene que x = x
t
1
X
1
. Razonando de manera recurrente se encuentra una
sucesi on de espacios cerrados X
n
, innito dimensionales tales que
... X
n
X
n1
... ...X
1
X
5.4. Espectro de operadores autoadjuntos en espacios de Hilbert 93
donde X
n
= Im(T I
X
)
n
, T
n
K(X
n
). Usando el lema de Riesz se obtiene
una sucesion (x
n
)
nN
tal que |x
n
| = 1, x
n
X
n
y d(x
n
, X
n+1
) 1/2.
Observemos que para n > m,
T(x
n
) T(x
m
) = x
m
+x
n
+ (T(x
n
) x
n
) (T(x
m
) x
m
).
Como x
n
X
n
X
m+1
, T(x
n
) x
n
Im(T
n
I
X
n
) = X
n+1
X
m+1
,
(T(x
m
) x
m
) X
m+1
entonces
|T(x
n
) T(x
m
)| = [[|x
m
u
m
| [[d(x
m
, X
m+1
)
[[
2
.
Esto conduce a una contradicci on puesto que (T(x
n
))
nN
no puede tener
subsucesiones convergentes. Por tanto Im(T I) = X.
Veamos la continuidad de la inversa T I
1
. Hemos de ver que existe
M > 0 tal que M |Tx x| para todo x X con |x| = 1. Supongamos
que existe una sucesion (x
n
)
nN
tal que |x
n
| = 1 con y
n
= Tx
n
x
n
tal que
|y
n
| < 1/n. Usando la compacidad existe una subsucesi on tal que (Tx
n
k
) es
convergente, y como
x
n
k
=
1
(T(x
n
k
) y
n
k
)
la sucesion x
n
k
tambien converge, digamos a x. Consecuentemente x = T(x)
y as x Ker(T I) lo que implica x = 0, pero |x| = lim
k
|x
n
k
| = 1.
, i.e.
Tx, y) = x, Ty), x, y X.
Una primera propiedad de estos operadores es que su norma se calcula
de una manera m as f acil.
94 Chapter 5. Teora espectral de operadores
Proposicion 5.4.1 Si T L(X) es autoadjunto entonces
|T| = sup[Tx, x)[ : |x| = 1.
Demostraci
= Im(T I).
Consecuentemente T I es suprayectiva e invertible, o equivalentemente
(T).
(ii) Veamos que m
T
(T) (el caso M
T
(T) es an alogo y se deja
como ejercicio). Si m
T
es un valor propio ya lo tenemos. Supongamos que
m
T
/
p
(T), es decir Ker(T m
T
I) = 0. Consideremos
(x, y) = (T m
T
I)x, y) = Tx, y) m
T
x, y).
Se cumple que (x, x) = Tx, x) m
T
|x|
2
0. Como tambien verica las
propiedes de un producto escalar sobre X (salvo (x, x) > 0 para x ,= 0)
entonces tenemos la validez de la desigualdad de Cauchy. Por tanto, para
x X e y = Tx m
T
x tenemos
|(T m
T
I)x|
4
= [Tx m
T
x, Tx m
T
x)[
2
= [(x, y)[
2
(x, x)(Tx m
T
x, Tx m
T
x)
(Tx, x) m
T
|x|
2
)(T m
T
)
2
x, Tx m
T
x)
(Tx, x) m
T
|x|
2
)|T m
T
|
3
|x|.
De esta estimaci on se tiene que, si consideremos una sucesi on (x
n
)
nN
con
|x
n
| = 1 tal que (Tx
n
, x
n
))
nN
converja a m
T
entonces ((T m
T
I)x
n
)
nN
converge a 0. Esto implica que m
T
(T), pues en caso contrario
1
|(T m
T
I)
1
|
|(T m
T
I)x
n
|, n N.
96 Chapter 5. Teora espectral de operadores
se concluye que
T(y), y) = lim
k
T(x
n
k
), x
n
k
) = ,= 0.
Por tanto y ,= 0 y T(y) = y.
5.5 El teorema espectral
Uno de los resultados importantes en la teora de matrices arma que
las matrices reales y simetricas tienen n valores propios reales y pueden di-
agonalizarse, encontrando una base de vectores propios respecto de la cual
5.5. El teorema espectral 97
la matriz es diagonal y tiene los valores propios en la diagonal. Veamos la
situaci on innito dimensional y la relaci on con la teora espectral.
Del contenido de las secciones precedentes se tiene que todo operador
compacto y autoadjunto T no nulo verica que (T) ,= 0 (pues siempre
|T| (T))y a lo sumo numerable. Adem as si 0 ,= (T) entonces
p
(T) y Ker(T I) es de dimensi on nita. Veamos que si ,
p
(T)
con ,= entonces Ker(T I) Ker(T I)
Lema 5.5.1 Sea T L(X) es autoadjunto y sean y valores propios
distintos del operador T. Si x e y son vectores propios asociados a y
respectivamente entonces x y.
Demostraci
on: Como
Tx = x, Ty = , Tx, y) = x, Ty),
se tiene que
x, y) = x, y).
As que x, y) = 0.
Ahora presentaremos el teorema espectral para operadores autoadjuntos
y compactos.
Teorema 5.5.2 (Hilbert-Schmidt) Sea X un espacio de Hilbert, y sea 0 ,=
T L(X) autoadjunto y compacto.
(i) Existe una base ortonormal de (KerT)
i=1
x, x
i
)x
i
+x
0
donde x
0
KerT. En particular T(x) =
n
i=1
i
x, x
i
)x
i
.
(iii) Si T K(X) F(X) entonces los distintos valores propios no nulos
de T forman una sucesion (
n
)
nN
de n umeros reales con lim
n
= 0, y existe
98 Chapter 5. Teora espectral de operadores
un conjunto ortonormal x
1
, ..., x
n
, ... donde x
n
es un vector propio asociado
a
n
para n N de manera que cada x X se puede escribir
x =
i=1
x, x
i
)x
i
+x
0
donde x
0
KerT. En particular T(x) =
i=1
i
x, x
i
)x
i
. (Los valores
i
aparecen repetidos en la serie una cantidad nita de veces en funcion de la
dimension del Ker(T
i
I).)
Demostraci
on:
(i) Denotemos (
t
k
) los valores propios no nulos y distintos de T y de-
notemos X
k
= Ker(T
t
k
I) (que tienen dimensi on nita). Considerar Y el
subespacio generado por
k=1
X
k
. Probemos que Y
= KerT.
Es claro que X
k
ImT (pues T(
x
) = x, para x X
k
) y por tanto Y
ImT. Como sabemos que KerT = (ImT)
.
Veamos ahora que T(Y
) Y
. Denimos T
0
la restriccion de T al subespacio Y
, T
0
:
Y
.
Comprobemos que T
0
= 0 (lo que es equivalente a (T
0
) = 0). Si
(T
0
) 0 entonces es valor propio de T
0
y por tanto
p
(T). Luego
existe x ,= 0 vector propio en Y
KerT.
Como
Y = (KerT)
1
, ...,
n
=
t
1
,
n
1
..
,
t
1
, ....,
t
k
,
n
k
..
,
t
k
son los valores propios no nulos de T contados cada uno tantas veces como
la dimension del espacio que genera
t
i
. Sea x
1
, ...., x
n
la base ortonormal
5.5. El teorema espectral 99
de (KerT)
de modo que Tx
i
=
i
x
i
. Usando el teorema de la proyeccion
ortogonal, para x X existe una unica descomposicion x = y + x
0
con
y (KerT)
y x
0
KerT. Como x
i
n
i=1
es ortonormal y x
i
, x
0
) = 0
para i = 1, ..., n se tiene y, x
i
) = x, x
i
) para i = 1, ..., n. Por consiguiente
y =
n
i=1
y, x
i
)x
i
=
n
i=1
x, x
i
)x
i
y, as
x =
n
i=1
x, x
i
)x
i
+x
0
.
(iii) Si T no tiene rango nito entonces hay una cantidad numerable de
valores propios no nulos distintos y la descomposicion se tiene del mismo
modo, pero con suma innita.
Una manera equivalente de escribir la descomposicion espectral es
x =
p
(T)\0
x
+x
0
siendo x
(x) = x
sobre el
subespacio Ker(T I), podemos reescribir el resultado como sigue:
Teorema 5.5.3 Si 0 ,= T es un operador autoadjunto y compacto sobre un
Hilbert X. Entonces
T =
(T)
P
.
(En caso numerable se entiende que los valores propios estan ordenados de
manera decreciente en modulo.)
Demostraci
[[>
P
(x)|
2
= |
[[
P
(x)|
2
2
[[
|P
(x)|
2
2
|x|
2
.
Tomando supremo en |x| = 1 se obtiene la convergencia en L(X).