Escolar Documentos
Profissional Documentos
Cultura Documentos
Espacios de Banach1
1. Introducción
Frecuentemente estamos interesados en ”qué tan grande”es una función. Esto conduce natu-
ralmente a la noción de espacios funcionales normados. Hay muchas maneras de definir el tamaño
de una función. Supongamos que R(t) es la cantidad de lluvia que cae medida en centı́metros por
hora. Si uno es un chacarero
R estará probablemente preocupado por el total de lluvia que cae. Una
gran lluvia tiene una gran dı́as |R(t)|dt. Si uno es un ingeniero estará preocupado por la capacidad
del sistema de desague pluvial de una ciudad para drenar el agua de lluvia, uno estará interesado
en el máximo valor de R(t), y por lo tanto, una gran lluvia será una con un gran sup |R(t)|.
Vimos anteriormente que un espacio métrico no tiene ninguna
clase de estructura algebraica asociada. En muchas aplicaciones,
sin embargo, el espacio métrico tiene una métrica derivada de una
norma que da el ”tamaño”de un vector. Tales espacios se llaman
espaciones lineales normados. Es muy importante y natural tra-
bajar en espacios completos: tratar de hacer análisis funcional en
espacios no completos es como tratar de hacer análisis elemental
sobre los racionales. Cuando el espacio normado es completo se lo
llama espacio de Banach. La teorı́a de estos espacios fue comple-
tada por el matemático polaco Stefan Banach en 1932.
3. Espacios de Banach
Definición: Un espacio de Banach es un espacio vectorial normado que es un espacio métrico
completo respecto a la métrica derivada de su norma.
1
donde x = (x1 , x2 , · · · , xn ) ∈ Rn .
Para p = ∞ definimos la norma del máximo mediante
Para p = ∞ el espacio L∞ ([a, b]) consiste de todas las funciones medibles según Lebesgue
f : [a, b] → R tal que son esencialmente acotadas en [a, b], es decir, que f es acotada en [a, b]
excepto posiblemente en un subconjunto de medida nula. La norma en L∞ ([a, b]) es la norma
del supremo esencial
2
Esta es una sucesión de Cauchy porque (si M > N )
M
X ∞
X
1 1
d(pN , pM ) = kpN − pM k = <
k! k!
k=N +1 k=N +1
diferencia que es tan pequeña como uno quiera si N es lo suficientemente grande. Por otro lado,
la sucesión no puede converger a ningún polinomio con p(x) = a0 + a1 x + · · · + an xn con un
determinado n ya que
para cualquier n fijo. Como n es siempre finito, el miembro derecho de la ecuación anterior es
siempre mayor a cero, por lo cual, pN no puede converger a ningún polinomio.
Si bien el espacio de polinomios no es completo, por el teorema de la aproximación de Weierstrass
sabemos que es denso en C([a, b]).
gk = |fˆk − fˆk+1 |;
3
entonces µZ ¶1/p
1
kgk k = |fˆk − fˆk+1 |p dx = kfˆk − fˆk+1 k < k .
X 2
Gracias a la desigualdad triangular vale
1 1 1
kg1 + g2 + · · · + gn k ≤ kg1 k + · · · + kgn k < + 2 + · · · + n < 1.
2 2 2
Esto implica que la función G definida mediante
n
X ∞
X
G(x) = lı́m gk (x) ≡ gk (x)
n→∞
k=1 k=1
por lo cual las condiciones del teorema de la convergencia monótona son satisfechas; además
Z Z ¯¯X∞
¯p
¯ Z ¯¯Xn
¯p
¯
¯ ¯ ¯ ¯
|G|p dx = ¯ gk (x)¯ dx = lı́m ¯ gk ¯ dx
X X ¯ ¯ n→∞ X ¯ ¯
k=1 k=1
p
= lı́m (kg1 + · · · + gn k) .
n→∞
Aquı́, debido a la ecuación (??), el miembro de la derecha es finito, por lo tanto, como fue dicho,
|G| es de potencia p integrable. Abandonamos ahora nuestra notación gk , y reescribimos
∞
X
G≡ |fˆk − fˆk+1 | ∈ Lp (X). (1)
k=1
es de potencia p integrable. Esto implica que F (x) debe ser finita c.t.p. Pero entonces, c.t.p. tenemos
∞
X
F (x) = lı́m (fˆk (x) − fˆk+1 (x)) = lı́m (fˆ1 (x) − fˆn+1 (x))
n→∞ n→∞
k=1
4
Introduciendo la notación
f (x) = fˆ1 (x) − F (x), (3)
vemos que
lı́m fˆn (x) = f (x)
n→∞
donde f (x), el lı́mite puntual de {fˆk } c.t.p., es de potencia p integrable. Esto sigue a partir de
(??),
|f |p = |fˆ1 − F |p ≤ 2p (|f1 |p + |F |p )
y ambos |f1 |p , F |p son integrables.
Resumiendo hasta ahora: la subsucesión {fˆn } de una dada sucesión de Cauchy {fn } converge
puntualmente c.t.p. a una función f ∈ Lp . Este, en sı́ mismo, es un resultado interesante, pero por
supuesto todavı́a no podemos decir que {fˆn } es convergente según la norma, como debe suceder
si Lp es completo. Sin embargo, este comportamiento esperado, aunque no es obvio, es verdadero.
Para ver esto, notemos que (usando la ecuación (??))
¯ ¯
¯n−1 ¯ n−1
ˆ ˆ ¯X ˆ ˆ ¯ X ˆ
|f1 − fn | = ¯ (fk − fk+1 )¯ ≤ |fk − fˆk+1 |
¯ ¯
k=1 k=1
∞
X
≤ |fˆk − fˆk+1 | = G.
k=1
o
|f − fˆn |p ≤ 2p |G|p .
Como G ∈ Lp , notamos que la sucesión |f − fˆn |p para n ∈ N está dominada por una función
integrable.
Además, debido a la convergencia puntual c.t.p. fˆn (x) → f (x),
Por lo tanto las condiciones del teorema de la convergencia dominada de Lebesgue son satisfechas
y tenemos Z Z
lı́m ˆ p
|f − fn | dx = 0dx = 0.
n→∞
Pero esto simplemente significa que kf −fˆn k → 0 cuando n → ∞, es decir, la sucesión {fˆn } converge
según la norma a la función f , la cual hemos demostrado que pertenece a Lp . La convergencia de
la sucesión {fˆk } implica la convergencia de la sucesión de Cauchy original {fn }. Por lo tanto, Lp
es un espacio de Banach. ♣.
5
5. Series en espacios de Banach
P
P∞Definición: Decimos que la serie n=1 ∞xn es absolutamente convergente si la serie real
n=1 kxn k converge.
{rN } es una sucesión convergente y por lo tanto es de Cauchy. Veamos que {sN } también es de
Cauchy:
M
X XM
ksM − sN k = k xn k ≤ kxn k = |rM − rN |.
N +1 N +1
P∞
Como el espacio X es completo, entonces {sN } converge, es decir, existe n=1 xn .
⇐) Sea ahora {xn } una sucesión de Cauchy. Elejimos n1 ∈ N tal que para n ≥ n1 se satisfaga
1
kxn − xn1 k <
2
Luego elejimos n2 > n1 tal que para n ≥ n2 valga
1
kxn − xn2 k < .
22
Repitiendo este procedimiento nos generamos una subsucesión {xnk } tal que
1
kxnk+1 − xnk k ≤ .
2k
Entonces
∞
X ∞
X 1
kxnk+1 − xnk k ≤ = 1,
2k
k=1 k=1
P∞
por lo cual la serie k=1 (xnk+1 −xnk ) es absolutamente convergente, y por hipótesis es convergente.
Sea
∞
X
x = lı́m (xnk+1 − xnk ) = lı́m (xnN +1 − xn1 ),
N →∞ N →∞
k=1
entonces lı́mN →∞ xnN = x + xn1 y resulta que {xnk } es convergente. Como la sucesión origi-
nal {xn } es de Cauchy y contiene una subsucesión convergente, entonces la propia sucesión es
convergente. ♣.
6. Operadores lineales
Un operador lineal T entre espacios vectoriales X e Y es una función T : X → Y tal que cumple
6
Si T : X → Y es biyectiva decimos que T es no singular o inversible y definimos el operador inverso
T −1 : Y → X mediante T −1 (y) = x sı́ y sólo si T x = y, es decir T.T −1 = T −1 T = I. La linealidad
de T implica la linealidad de T −1 .
Sea X = C ∞ ([0, 1]) el espacio de todas las funciones suaves en [0, 1] que tienen derivadas
continuas a todos los órdenes, equipado con la norma del máximo. El espacio X es normado,
pero no es un espacio de Banach porque es incompleto. El operador diferenciación Du = u0 es un
operador lineal no acotado D : X → X. Por ejemplo, la función u(x) = eλx es una autofunción
de D para cualquier λ ∈ R, es decir, satisface Du = λu. Por lo tanto kDuk/kuk = |λ| puede
ser arbitrariamente grande. El carácter no acotado de los operadores diferenciales es la dificultad
fundamental para sus estudios.
Teorema: Un operador lineal es acotado sı́ y sólo si es continuo.
Demostración: Supongamos que T : X → Y es acotado. Entonces, para todos x, y ∈ X vale
kT x − T yk = kT x − T yk ≤ M kx − yk,
7
donde M = 1/δ. Por lo tanto, T es acotado. ♣.
La demostración anterior nos dice que si T es continua en 0 entonces es continua en todo
el espacio. Un operador no lineal puede ser acotado pero discontinuo, o continuo en cero pero
discontinuo en otros puntos.
define una norma en B(X, Y ) y por lo tanto B(X, Y ) resulta ser un espacio normado.
La composición de dos operadores lineales es lineal y el siguiente teorema nos dice que la
composición de operadores acotados es acotado.
Teorema:Sean X, Y y Z espacios normados. Si T ∈ B(X, Y ) y S ∈ B(Y, Z), entonces ST ∈
B(X, Z) y vale
kST k ≤ kSk.kT k.
[S, T ] = ST − T S.
lı́m kTn − T k = 0
n→∞
8
lo que muestra que {Tn x} es una sucesión de Cauchy en Y . Como Y es completo, existe y ∈ Y tal
que T xn → y. Es simple chequear que T x = y define un operador lineal T : X → Y . Ahora vamos
a mostrar que T es acotado. Para cada ² > 0, sea N² tal que kTn − Tm k²/2 para todos n, m ≥ N² .
Tomemos n ≥ N² , luego para cada x ∈ X existe un m(x) ≥ N² tal que kTm(x) x − T xk ≤ ²/2. Si
kxk = 1, tenemos
kTn x − T xk ≤ kTn x = Tm(x) xk + kTm(x) x − T xk ≤ ². (4)
Resulta que si n ≥ N² , entonces
kT xk ≤ kTn xk + kT x − Tn xk ≤ kTn k + ²
para todos los puntos x con kxk = 1, por lo cual T es acotado. Finalmente, por la desigualdad (??)
vale lı́mn→∞ kTn − T k = 0. Luego, Tn → T en la norma operador. ♣.
Como aplicación de la idea de convergencia de operadores, definimos la exponencial de un
operador, y la usamos para resolver una ecuación de evolución lineal. Si A : X → X es un
operador lineal acotado en un espacio de Banach X, por analogı́a con la expansión en series de ex
definimos
1 1
eA = I + A + A2 + · · · + An + · · · .
2 n!
Como la serie real
1 1
ek Ak = 1 + kAk + kAk2 + · · · + kAkn + · · · .
2 n!
es convergente, entonces la serie de eA tes absolutamente convergente en B(X) y es por lo tanto
convergente. Además se tiene
keA k ≤ ekAk .
8. Operadores compactos
Una clase particularmente importante de operadores lineales es la de los operadores compactos.
El porqué de esta importancia se verá cuando estudiemos el problema de autovalores y autovectores
de operadores (teorı́a espectral).
Definición: Un operador lineal T : X → Y es compacto si la clausura de T (B) es un subcon-
junto compacto de Y para todo subconjunto acotado B de X.
Una formulación equivalente es la siguiente: T es compacto sı́ y sólo si para cada sucesión
acotada {xn } en X tiene una subsucesión {xnk } tal que T xnk converge en Y . No pedimos que el
rango de T sea cerrado, por lo cual T (B) no necesita ser compacto aún si B es un conjunto cerrado
y acotado.
Teorema: (a) Un operador compacto es acotado.
(b) La composición de un operador compacto con un operador acotado, en cualquier orden, es
9
compacto.
(c) El lı́mite uniforme de una sucesión de operadores compactos es compacto.
(d) Un operador acotado con un rango de dimensión finita es compacto.
Demostración: (a) La clausura de la imagen a través del operador compacto T de un sub-
¯ es compacto, por lo tanto es acotado. T (B) ⊂ T (B)
conjunto acotado cualquiera B ⊂ X, T (B) ¯
también es acotado. Por lo tanto
kT k = sup kT xk < ∞.
kxk≤1
10