Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Resumen
Apuntes de Análisis Funcional del curso 2015/2016 en la
UAM. Cubren una base de espacios métricos y topología
(capítulo I), espacios de Banach (capítulo II), topologías
débiles (capítulo III) y espacios de Hilbert (capítulo IV).
Además, se incluye un pequeño resumen (apéndice A) y
algunos ejercicios resueltos (apéndice C).
Nota/aviso: ni los apuntes ni los ejercicios están ni
mucho menos completos ni exentos de errores.
Índice general
II Espacios de Banach 16
II.1 Introducción y motivación . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
II.2 Aplicaciones entre espacios normados . . . . . . . . . . . . . . . . . . . . 18
II.3 Topología métrica en espacios de Banach . . . . . . . . . . . . . . . . . . 22
II.4 Teorema de la acotación uniforme . . . . . . . . . . . . . . . . . . . . . . 24
II.5 Teorema de la aplicación abierta . . . . . . . . . . . . . . . . . . . . . . . 26
II.6 Teorema de la gráfica cerrada . . . . . . . . . . . . . . . . . . . . . . . . . 28
II.7 Teorema de Hahn-Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
II.7.1 Consecuencias del Teorema de Hahn-Banach . . . . . . . . . . . . 32
II.8 Espacio cociente en espacios de Banach . . . . . . . . . . . . . . . . . . . 33
II.8.1 Compleción de un espacio normado . . . . . . . . . . . . . . . . . 35
A Resumen rápido 66
A.1 Espacios métricos completos . . . . . . . . . . . . . . . . . . . . . . . . . . 66
A.2 Espacios de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
A.2.1 Teoremas importantes sobre espacios de Banach . . . . . . . . . . 67
A.2.2 Espacio cociente en espacios de Banach . . . . . . . . . . . . . . . 67
A.3 Topologías débiles y dualidad en espacios de Banach . . . . . . . . . . . 67
A.3.1 Determinación de espacios duales . . . . . . . . . . . . . . . . . . 68
B Otros conceptos 69
0
Documento compilado el 14 de junio de 2016 a las 12:48
1 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
C Ejercicios 71
C.1 Hoja 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
C.2 Hoja 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
C.3 Hoja 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
C.4 Exámenes resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
C.4.1 Junio 2015 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
Bibliografía 112
2 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Capítulo I
Métrica Definición I.1 Métrica. Una métrica d en un espacio X es una función d : X × X 7−→ R+
que cumple las siguientes propiedades:
Espacio mé- Definición I.2 Espacio métrico. Un espacio topológico (X, T ) es un espacio métrico si la
trico topología T está dada por una métrica d. Es decir, que U ⊂ X es abierto (U ∈ T ) si y sólo si
∀x ∈ U ∃δ > 0 con Bδ (x) ⊂ U , siendo Bδ (x) la bola abierta1 de radio δ centrada en x.
Sobre espacios métricos podemos definir sucesiones, y a su vez ver cuáles de estas
convergen para encontrar el espacio métrico completo. Normalmente, la definición de
convergencia requiere saber el límite y demostrar que la sucesión converge a él.
Sucesión Definición I.3 Sucesión convergente. Sea {xn }n≥1 una sucesión en un espacio métrico
convergente (X, d). Entonces diremos que xn tiene límite x (equivalentemente, lı́mn→∞ xn = x) si ∀ε > 0
existe un N > 0 tal que si n ≥ N entonces d(x, xn ) < ε o, en otras palabras, que xn ∈ Bε (x).
Proposición I.1. Dado (X, d) un espacio métrico, se cumple que si xn −−−→ x, y, entonces
n→∞
x = y (es decir, el límite es único). De forma equivalente, se cumple que la topología T inducida
por la métrica es Hausdorff2 .
1
Por recordar, Br (x0 ) = x ∈ X d(x, x0 ) < r .
2
Recordando Topología [JM14]: Si x 6= y hay entornos de x e y con intersección vacía. En este caso, se
3 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Sin embargo, hay otra noción de convergencia que podemos usar y que es más fácil
de manejar, basada en sucesiones de Cauchy.
Sucesión de Definición I.4 Sucesión de Cauchy. Sea {xn }n≥1 una sucesión en un espacio métrico (X, d).
Cauchy Diremos que es de Cauchy si ∀ε > 0 existe un N ∈ N tal que dados m, n ≥ N , entonces
d(xm , xn ) < ε.
Lo interesante de esta definición es que es “bastante” equivalente a la definición de
convergencia.
Proposición I.2. Si una sucesión {xn }n≥1 tiene límite, entonces es de Cauchy.
Demostración. Sea x = lı́mn→∞ xn . Entonces, ∀ε > 0 existe un N > 0 tal que si n ≥ N
entonces d(xn , x) ≤ ε/2. Si tomamos m, n ≥ N , entonces usando la desigualdad
triangular tenemos que d(xm , xn ) ≤ d(xm , x) + d(x, xn ) ≤ ε.
Espacio Definición I.5 Espacio métrico completo. Un espacio métrico (X, d) se dice completo si toda
métrico sucesión de Cauchy tiene exactamente un punto de acumulación. En otras palabras, si toda
completo
sucesión de Cauchy converge en el espacio.
Por ejemplo, R con la distancia habitual es completo (toda sucesión de Cauchy en
R tiene límite en R). Sin embargo, si tomásemos los racionales con la misma métrica no
sería completo (es trivial hacer una sucesión de racionales que converja a un número
real).
También es importante ver que la noción de convergencia es métrica, no topológica.
Por ejemplo, (0, 1) y R son homeomorfos pero (0, 1) no es un espacio completo.
Un ejemplo muy simple de espacio métrico (Rn , d(x, y) = kx − yk), que es completo.
Una pequeña variante sería tomar Cn , pero nada cambiaría esencialmente.
Podemos construir espacios algo menos triviales. Sea [a, b] ⊂ R un intervalo cerrado
y acotado. Consideramos (C[a,b] , d(f, g) = kf − gk∞ ) el espacio de funciones continuas
de [a, b] a C con la norma del supremo (esto es, kf k∞ = supx∈[a,b] |f |). Este es un
espacio métrico completo. Además, se daría que fn −−−→ f en este espacio si y sólo si
n→∞
kf − fn k∞ −−−→ 0 o, en otras palabras, si fn −−−→ f uniformemente en [a, b].
n→∞ n→∞
4 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
definiciones:
Conjunto Definición I.6 Conjunto denso. Dado un espacio métrico (X, d) y sea Y ⊂ X. Se dice que Y
denso es denso si para cualquier x ∈ X y ∀ε > 0 se cumple que Bε (x) ∩ Y 6= ∅.
Como ejemplo canónico, Q es denso en R. También podemos ver que con x0 ∈ X,
entonces Y = {x0 }c = R \ {x0 } es un abierto denso en R.
Vamos ahora con unas cuantas definiciones útiles para categorizar conjuntos en
espacios topológicos.
Conjunto Definición I.9 Conjunto diseminado. Dado (X, d) un espacio métrico y Y ⊂ X, se dice que
diseminado c
es residual o diseminado si X es denso en X.
Conjunto de Definición I.10 Conjunto de 1ª categoría de Baire. Dado (X, d) un espacio métrico y
1ª categoría Y ⊂ X, se dice que Y es de 1ª categoría de Baire si Y es una unión numerable de conjuntos
de Baire
diseminados.
Conjunto de Definición I.11 Conjunto de 2ª categoría de Baire. Dado (X, d) un espacio métrico y
2ª categoría Y ⊂ X, se dice que Y es de 2ª categoría de Baire si no es de 1ª categoría.
de Baire
Con esto, ya podemos ir a por el teorema, que a pesar de lo que pueda parecer
en un primer momento es un teorema muy fuerte: nos va a decir que los espacios
métricos completos no pueden ser una simple unión numerable de puntos. Gracias
a ello, podremos probar teoremas fundamentales del análisis funcional en el próximo
tema.
Teorema I.4 (Teorema de categoría de Baire). Sea (X, d) un espacio métrico completo.
Entonces:
5 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Una aplicación de esto es que nos permite probar la existencia de una función
f ∈ C[0,1] no diferenciable en ningún punto x ∈ [0, 1]. De hecho, hay un Gδ denso
en C[0,1] con esas características. Para ello, tomamos el espacio C[0,1] con la distancia del
supremo.
En otras palabras, lo que podemos decir con eso es que las funciones diferenciables
son un conjunto despreciable (en el sentido topológico) dentro de todas las funciones
continuas. Sin embargo, necesitaremos ver algunos conceptos nuevos para poder
demostrarlo.
4
Complicándonos un poco la vida, porque no sabemos cuál es la intersección de todos los Xn y por lo
tanto no podemos ver directamente si es densa o no. Por ejemplo, podría ocurrir que la intersección de
dos Xn fuese vacía, así que no podemos decir simplemente que Bε (x) ∩ W es no vacía porque es no vacía
con cada uno de los Xn .
6 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Función Definición I.12 Función uniformemente continua. Sea (X, d) un espacio métrico y f :
unifor- X 7−→ C continua. f se dice uniformemente continua si y sólo si ∀ε > 0 existe un δ > 0 tal
memente
que d(x, y) < δ =⇒ f (x) − f (y) < ε, con δ escogido independientemente de x e y.
continua
Familia uni- Definición I.13 Familia uniformemente equicontinua. Sea (X, d) métrico y F ⊂ C(X)
formemente
equiconti-
una familia de funciones continuas en X. Entonces F es una familia equicontinua si ∀ε >
0 ∃δ > 0 tal que si d(x, y) < δ, entonces f (x) − f (y) < ε para toda función f ∈ F.
nua
Vamos a hacer ahora la demostración rigurosa de esa proposición.
Demostración. [Lema
R I.7] Fijamos η ∈ Cc1 (R) (continua, derivable y de soporte
compacto) y con η = 1. Consideramos
ηj (x) = jη(jx)
f derivable ∈ En
Para n = 1, 2, . . . podemos construir conjuntos de la forma
n o
En = f ∈ C[0,1] ∃t ∈ [0, 1] , f (t) − f (s) ≤ n |t − s| ∀t, s ∈ [0, 1]
5
Ver [JM16, Def. III.11]: se trata de una familia de funciones con soporte cada vez más comprimido que
convergen a la delta de Dirac, y que por lo tanto f ∗ ηj −−−→ f .
j→∞
7 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Juntando ambas cosas y tomando el máximo de las cotas, lo que hemos hecho ha
sido demostrar que cualquier función que sea diferenciable en al menos
n un punto
o se
2kf k∞
puede acotar y por lo tanto que está en algún En para un n > máx M, δ .
Así, lo que tenemosSes que el conjunto de funciones diferenciables en algún punto
es un subconjunto de n≥1 En .
Con esto, lo que vamos a ver es que los En son cerrados y diseminados en C[0,1] ,
y por lo tanto Enc , que es el conjunto de funciones no diferenciables en ningún punto,
es un abierto denso.
En es cerrado
Para demostrar que En es cerrado, tomamos fj j≥1 una sucesión en En y
fj −−−→ f en C[0,1] . Queremos comprobar que f ∈ En , y para ello vemos primero que
j→∞
esa sucesión es una familia uniformemente equicontinua
esto es, que ∀ε > 0
(I.13),
existe un δ > 0 tal que si |t − s| < δ, entonces fj (t) − fj (s) < ε para cualquier j.
Esto lo demostraremos más tarde.
Como fj ∈ En , ∃tj ∈ [0, 1] tal que fj (x)− f j (tj ) ≤ n x − tj ∀x ∈ [0, 1]. Como
[0, 1] es compacto, existe una subsucesión tjk convergente a un cierto s ∈ [0, 1].
Consideramos entonces la subsucesión gk = fjk , que tiene que converger a f igual
que lo hace fj . Lo que hemos ganado es que en este caso los puntos sk = tjk
convergen igualmente.
Con esto podemos tratar de evaluar la diferencia entre f (x) y f (t0 ). Podemos
reescribirlo simplemente sumando y restando cosas, y después aplicando la
desigualdad triangular:
f (x) − f (t0 ) =
= f (x) − gk (x) + gk (x) − gk (sk ) + gk (sk ) − gk (t0 ) + gk (t0 ) − f (t0 )
≤ f (x) − gk (x) + gk (x) − gk (sk ) + gk (sk ) − gk (t0 ) + gk (t0 ) − f (t0 )
≤kf −gk k∞ ≤n|x−sk | ≤kf −gk k∞
≤ 2kf − gk k∞ + gk (sk ) − gk (t0 ) + n |x − sk |
→0 (gk →f unif.) →0 →n|x−t0 |
−−−→ n |x − t0 |
k→∞
, donde para decir que gk (sk ) − gk (t0 ) usamos la equicontinuidad de
la sucesiónde
funciones: sabemos que ∀ε > 0 ∃δ > 0 tal que si |x − t| < δ entonces gk (x) − gk (t) <
ε; por lo que si fijamos un ε > 0, como sk → 0 entonces |sk − t0 | < δ para un k
lo suficientemente grande y finalmente gk (sk ) − gk (t0 ) < ε, por lo que haciendo
tender ε a 0 ya tenemos que esa resta se va a cero igualmente.
Resumiendo: hemos probado que f (x) − f (t0 ) → n |x − t0 |, por lo que ese
límite f estará en En igualmente, así que los En son cerrados y por lo tanto sus
complementarios Enc son abiertos.
8 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Enc es denso
Ahora consideramos ϕ(x) la función que nos da la distancia de x al entero más
próximo. Analíticamente, sería una función períodica de período uno que podemos
definir en [0, 1] como (
x 0 ≤ x ≤ 1/2
ϕ(x) = 1
2 −x
1/2 ≤ x ≤ 1
h i
1+k 1+k+1
Es fácil ver que si x, y ∈ Ik = 2 , 2 con k ∈ Z, entonces ϕ(x) − ϕ(y) =
|x − y|.
Podemos definir adicionalmente para λ > 0 funciones ϕλ (x) = λ1 ϕ(λ2 x), que
1
cumple que kϕλ k∞ ≤ 2λ ∀λ > 0. Estas funciones lo que hacen es aumentar las
oscilaciones (ϕ es una especie de diente de sierra) y reducir su magnitud. En estas
funciones,se cumple que si |x − y| ≤ 2λ1 2 con λ2 x, λ2 y ∈ Ik , entonces
ϕλ (x) − ϕλ (y) = 1 λ2 x − λ2 y = λ |x − y|
λ
Con estas funciones, queremos ver que si λj > Cj+n entonces fj + ϕλj ∈ / En . Si
1
que si tenemos |x − y| ≤ 2λ2 entonces
(fj + ϕλj )(x) − (fj + ϕλj )(y) = (ϕλj (x) − ϕλj (y)) + (fj (x) − fj (y))
≥ ϕλj (x) − ϕλj (y) − fj (x) − fj (y))
≥ (λj − Cj ) |x − y|
Lema I.8 (Lema de Weierstrass). Sea (X, d) un espacio métrico compacto y f : X 7−→ R
continua. Entonces existe una cierta función ϕ : [0, ∞) 7−→ [0, ∞) no decreciente y con la
propiedad de que ϕ(t) & 0 cuando t & 0 (esto es, ϕ(t) va monótonamente
a 0 cuando t va
monótonamente a 0), de modo que ∀x, y ∈ X tengamos que f (x) − f (y) ≤ ϕ(d(x, y)).
En particular, f es una función uniformemente continua (I.12).
9 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Lema I.9 (Lema de Ascoli-Arzelá). Sea (X, d) un espacio métrico compacto y {fn }n≥1 una
sucesión de funciones continuas que convergen uniformemente en X. Entonces la familia de
todas esas funciones es una familia uniformemente equicontinua (I.13) y equiacotada.
Es decir, que ∀ε > 0 existe un δ > 0 tal que ∀n ∈ N se cumple que si d(x, y) ≤ δ, entonces
fn (x) − fn (y) ≤ ε (equicontinuidad).
Demostración.
Equiacotación
Obvio: tenemos una sucesión convergente en un espacio métrico, luego ha de ser
acotada.
Equicontinuidad
Sea f = lı́mn→∞ fn . Por ser la convergencia uniforme y las fn continuas, tenemos
que f es continua en X. Por el Lema de Weierstrass (I.8), tenemos que además f es
uniformemente continua.
Sean x, y ∈ X y n ∈ N: vamos a ver que podemos controlar fn (x) − fn (y) en
función de la distancia entre x e y. Podemos reescribir y agrupar:
fn (x) − fn (y) = fn (x) − f (x) + f (x) − f (y) + f (y) − fn (y)
≤ fn (x) − f (x) + f (x) − f (y) + f (y) − fn (y)
kf −fn k∞ kf −fn k∞
≤ 2kf − fn k∞ + f (x) − f (y) (I.1)
Vamos a acotar los dos sumandos. Para f (x) − f (y), dado f es uniformemente
continua,
tenemos
que ∀ε > 0 existe un δ1 > 0 tal que si d(x, y) ≤ δ, entonces
f (x) − f (y) ≤ ε/3.
10 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
fn (x) − fn (y) ≤ ε. Lo que haremos será tomar el mínimo de esos δ(ε, n) de cada
función
δ2 = δ(ε) = mı́n δ(ε, n) > 0
1≤n≤N
, cosa que podemos hacer sin problemas por considerar sólo una cantidad finita.
Finalmente, sólo tenemos que tomar δ = mı́n {δ1 , δ2 }, y entonces cumpliremos
la
condición de equicontinuidad: si d(x, y) ≤ δ, hemos demostrado que
fn (x) − fn (y) ≤ ε.
Corolario I.10. Si {fn }n≥1 ⊂ C(X) es una familia de funciones continuas en un espacio
métrico compacto (X, d), entonces si fn tiene algún punto de acumulación en C(X) la familia
es equiacotada y equicontinua.
Punto aisla- Definición I.14 Punto aislado. Dado (X, T ) un espacio topológico y x0 ∈ X. Se dice que x0
do es aislado si existe un entorno U de x0 tal que U = {x0 } o, en otras palabras, que {x0 } es un
abierto.
Teorema I.11. Si (X, d) es un espacio métrico completo y sin puntos aislados, entonces
ningún conjunto denso y numerable puede ser un Gδ .
Corolario I.12. Si (X, d) es un espacio métrico completo y sin puntos aislados, entonces X es
no numerable.
11 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Espacio se- Definición I.15 Espacio separable. Sea (X, d) un espacio métrico. Diremos que X es separable
parable si y sólo si existe un E ⊂ X numerable y denso.
Un ejemplo sencillo de espacio separable es Rn , con Qn ⊂ Rn como subconjunto
denso y numerable. Pero también lo son las funciones continuas C[a,b] con la norma
d(f, g) = kf − gk∞ .
Aplicación Definición I.16 Aplicación contractiva. Una aplicación F : (X, dX ) 7−→ (Y, dy ) se dice
contractiva contractiva si ∀x1 , x2 ∈ X se tiene que dY (F (x1 ), F (x2 )) < dX (x1 , x2 ).
Aplicación Definición I.17 Aplicación estrictamente contractiva. Una aplicación F : (X, dX ) 7−→
estric- (Y, dy ) se dice contractiva si existe una constante 0 ≤ λ ≤ 1 tal que ∀x1 , x2 ∈ X con x1 6= x2
tamente
se tiene que dY (F (x1 ), F (x2 )) < λ dX (x1 , x2 ).
contractiva
Teorema I.13 (Teorema del punto fijo de Banach). Sea (X, d) un espacio métrico
completo y F : X 7−→ X una aplicación contractiva (I.16). Entonces F tiene a lo más
un punto fijo x0 para el cual F (x0 ) = x0 .
Si además F es estrictamente contractiva, entonces F tiene exactamente un punto fijo.
12 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
, donde cada distancia se podrá estimar como d(xi+1 , xi ) ≤ λi d(x1 , x0 ), así que nos
quedaría una suma infinita que podemos calcular por ser λ ∈ [0, 1)
l−1 l−1
X X 1
d(xl , x0 ) ≤ d(xi+1 , xi ) ≤ d(x1 , x0 ) λi = d(x1 , x0 )
1−λ
i=0 i=0
λk
d(xk+l , xl ) ≤ d(x1 , x0 ) ∀k, l ∈ N
1−λ
Como λk −−−→ 0 por ser λ ∈ [0, 1), tenemos que la sucesión {xk }k≥1 es de
k→∞
Cauchy en X, y por ser este espacio completo existirá el límite x = lı́m xk ∈ X.
Sólo nos falta ver que ese x es un punto fijo.
Lo primero es ver que, por ser F contractiva, ha de ser continua. Además, la
distancia también es continua como consecuencia de la desigualdad triangular.
Con todo eso podemos escribir
Conjunto Definición I.18 Conjunto relativamente compacto. Sea (X, T ) un espacio topológico y sea
relativa- K ⊂ X un subconjunto de K. K se dice relativamente compacto si K es compacto.
mente
compacto Por ejemplo, Q ∩ [0, 1] es relativamente compacto: si lo cerramos, nos queda [0, 1]
que es compacto en R.
Conjunto Definición I.19 Conjunto totalmente acotado. Sea (X, d) un espacio métrico y K ⊂ X. Se
totalmente dice que KSestá totalmente acotado si y sólo si ∀ε > 0 existe una sucesión x1 , . . . , xN ∈ X tales
acotado
que K ⊆ N j=1 Bε (xj ).
Es fácil ver que si un conjunto es totalmente acotado, está también acotado. Además,
en Rn con la métrica usual, un conjunto acotado es equivalente a ser totalmente acotado
y a ser relativamente compacto.
No es difícil de demostrar: si K ⊂ Rn es acotado, entonces existe un 0 < R < ∞ tal
que K ⊆ BR (0) ⊆ BR (0). Como BR (0) es compacta, para cualquier recubrimiento por
bolas de radio ε podremos encontrar un subrecubrimiento finito y por lo tanto estará
totalmente acotado. Por otra parte, si ya está acotado, su cierre será cerrado y por lo
tanto compacto en Rn , luego K es relativamente compacto.
La idea de que un conjunto en Rn es compacto si es cerrado y acotado tiene una
13 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Demostración.
14 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Demostración.
15 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Capítulo II
Espacios de Banach
Como decíamos al principio de estos apuntes, una forma de estudiar las funciones
es tratarlas como espacios vectoriales. Por ejemplo, ya habíamos visto que C 1 [a, b] con la
norma del supremo es un espacio vectorial. Vamos a tratar de expandir esos conceptos
y enlazarlos con lo que veíamos antes de topología.
Norma Definición II.1 Norma. Sea V un espacio vectorial sobre un cuerpo K (para nosotros, K = R o
C). Una funciónk·k : V 7−→ R+ = [0, ∞) es una norma si cumple las siguientes propiedades:
Espacio Definición II.2 Espacio vectorial normado. El par (V,k·k) de un espacio vectorial con la
vectorial norma es un espacio vectorial normado.
normado
La norma nos define automáticamente una distancia d(u, v) = ku − vk, de tal forma
que todo espacio vectorial normado es un espacio métrico y por lo tanto también
topológico.
Si omitimos la condición de positividad en la definición de
norma, lo que tenemos
Seminorma es una Seminorma. En ese caso, el espacio dado por W = v ∈ V kvk = 0 es un
subespacio vectorial1 ).
¿Cómo podemos usar esto? Antes hemos visto que C 1 ([a, b]) se puede considerar
como espacio vectorial, pero es quizás demasiado restrictivo porque sólo vemos
funciones continuas y derivables. Lo que podemos hacer es construir un espacio
de funciones más genérico y que además en el futuro nos resultará más flexible.
Consideraremos (X, X ) un espacio de medida, y estudiaremos las funciones medibles
ahí. Para eso, primero damos una definición de la norma de una función:
Norma p Definición II.3 Norma p. Dado (X, X , µ) un espacio de medida y f : X 7−→ C, entonces
1
Prueba rápida: si w ∈ W entonces kλwk = 0 luego λw ∈ W ; y si u, v ∈ W entonces 0 ≤ ku + vk ≤
kuk +kvk ≤ 0, luegoku + vk = 0 y u + v ∈ W .
16 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Espacio Definición II.4 Espacio Lp (X). Dado (X, X , µ) un espacio de medida, definimos el espacio de
Lp (X) funciones p-integrables como
n o
Lp (X) = f : X 7−→ C kf kp < ∞
La cuestión es que sobre este espacio, la p-norma no es una norma sino una
seminorma: una función que no es nula sólo en un conjunto de medida 0 tiene p-
norma 0, pero no es la función 0. Para salvar este problema, definimos una relación
de equivalencia ∼ de la siguiente forma:
f ∼ g ⇐⇒ kf − gkp = 0 (II.2)
En otras palabras, consideramos que dos funciones son la misma si son iguales salvo
en un conjunto de medida 0. Ahora podemos tomar el cociente y definir el espacio Lp
con el que trabajaremos habitualmente.
Espacio Definición II.5 Espacio Lp (X). Dado (X, X , µ) un espacio de medida y ∼ la relación de
Lp (X) equivalencia de (II.2), definimos
p
Lp (X) = L (X) /∼
o, en otras palabras, el espacio de clases de funciones que sólo difieren en un conjunto de medida
0.
Ahora, la p-norma sí es una norma (kf kp = 0 si y sólo si f (x) = 0 en casi todo punto,
que es un único elemento en Lp ) y por lo tanto Lp (X) es un espacio normado.
Con esto, podemos ir a definir lo que es un espacio de Banach:
17 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Una vez que vez que tenemos los espacios a estudiar, nos interesará conocer
también las aplicaciones que puedan llevarnos de uno a otro, y ver qué podemos sacar
de interesante sobre ellos. Como siempre, empezamos definiendo las aplicaciones que
estudiaremos, que serán las aplicaciones lineales y continuas.
Morfismo Definición II.7 Morfismo de espacios normados. Sean (V,k·kV ) y (W,k·kW ) dos espacios
de espacios normados y sea T : V 7−→ W lineal, con T ∈ Lalg (V, W ). Si T es continua, entonces T es un
normados
morfismo de espacios normados. El espacio de todos estos morfismos es
L(V, W ) = T ∈ Lalg (V, W ) T continua (II.3)
¿Por qué hacer esta distinción entre aplicaciones lineales y aplicaciones lineales
y, además, continuas? La razón es sencilla: aunque en espacios de dimensión finita
las aplicaciones lineales son siempre continuas, en espacios infinitos (como los de
funciones) no tienen por qué serlo2 . Por ejemplo, en C 1 ([0, 1]) con la norma del supremo
podemos definir el operador que saca la derivada en un punto como
T (f ) = f 0 (0)
Proposición II.1. Sean (V,k·kV ) y (W,k·kW ) dos espacios normados sobre un mismo cuerpo
K. Sea A ∈ Lalg (V, W ) aplicación lineal entre V y W . Entonces son equivalentes:
a. A ∈ L(V, W ).
b. A es continua en 0 ∈ V .
c. A es continua en todo V .
d. ∃C < ∞ independiente de v ∈ V tal que
A(v)
W ≤ CkvkV .
Demostración.
Que A ∈ L(V, W ) implica que sea continua en 0 ∈ V es obvio. Vamos con el resto.
18 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Linealidad
↓
dW (A(v), A(v0 )) =
A(v) − A(v0 )
=
A(v − v0 )
W
, es decir, v 0 ∈ Bρ (0).
En ese caso, podemos aplicar la cota de antes y tenemos que
0
A lineal
t
t
1 > A(v ) W =
A(v)
=
A(v)
kvkV
kvkV W
W
Lo que nos queda es que
A(v)
W < 1t kvkV y, haciendo tender t → ρ− por la
con C = ρ−1 . Esto se cumple incluso aunque v = 0, así que hemos probado esta
implicación.
A acotada =⇒ A continua
Una vez hemos demostrado
que A está acotada, entonces la continuidad sigue
0
de manera sencilla: si v − v
V < ε, entonces
19 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
(W,k·kW ) dos espacios normados sobre un mismo cuerpo K. Entonces L(V, W )3 es normado
si definimos
def
A(v)
W
kAk = sup (II.4)
v∈V \{0} kvkV
Tenemos que comprobar ahora las propiedades de la norma (ver definición II.1).
El producto por un escalar es sencillo, viendo que (λA)(v) = λ · A(v) y que sale fuera
de la norma y del supremo como |λ|.
La desigualdad triangular también sale, aunque yo no lo voy a copiar y lo dejo
como ejercicio al lector, porque sale muy fácil. Y la positividad igual.
Proposición II.3. Sean (V,k·kV ) y (W,k·kW ) dos espacios normados sobre un mismo cuerpo
K. Entonces, si W es Banach entonces L(V, W ) también lo es con la norma definida en (II.4).
Demostración. Sea {An }n≥1 una sucesión de Cauchy en L(V, W ). Pretendemos definir
el límite An → A como
A(v) = lı́m An (v)
n→∞
Para ver que esta definición tiene sentido lo que juega un papel fundamental es
ver que el espacio de llegada, W , es un espacio de Banach. Dado v ∈ V , entonces
(II.4)
An (v) − Am (v)
=
(An − Am )(v)
≤ kAn − Am kkvkV
W W
20 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
, por lo que A está acotado. La cota C se podría afinar un poco, aunque no lo vamos
a probar, con
kAk ≤ lı́m supkAn k
n→∞
Ese V ∗ es, tal y como la notación indica, el espacio dual topológico. Lo definiremos
por si acaso, pero sigue la misma idea que la de definición II.7.
Espacio dual Definición II.8 Espacio dual topológico. Dado un espacio normado V sobre K, se define el
topológico espacio dual topológico como
Normamlmente, uno no le daría más vueltas a ver cómo se aplican los elementos del
dual, pero se ve que aquí nos importa por alguna razón, así que definimos el producto
de dualidad.
Producto de Definición II.9 Producto de dualidad. Sea V un espacio normado sobre K, y sean v ∈ V y
dualidad v ∈ V ∗ . Entonces se define el producto dualidad como
h·, ·i : V ∗ × V 7−→ K
hv ∗ , vi 7−→ v ∗ (v)
21 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Antes de empezar con los teoremas fuertes, vamos a dar un pequeño repaso a la
topología que induce una norma en un espacio de Banach.
Norma Definición II.10 Norma dominante. Consideremos V un espacio vectorial sobre un cuerpo K
dominante y dos normas k·kA , k·kB en V . Diremos que k·kA domina a k·kB si cuando kvkA → 0, entonces
kvkB → 0.
Norma equi- Definición II.11 Norma equivalente. Dos normas son equivalentes si una domina a la otra y
valente viceversa, es decir, quekvkA → 0 ⇐⇒ kvkB → 0.
Esta noción cualitativa de equivalencia tiene un análogo cuantitativo:
Proposición II.5. Sea V normado y seank·kA yk·kB dos normas en él. Son equivalentes
Demostración.
La implicación b =⇒ a es trivial, así que vamos a demostrarlo al otro lado.
Definimos dos espacios X = (V,k·kB ), Y = (V,k·kA ) y una aplicación identidad I de
X en Y . Entoncesk·kA domina ak·kB si y sólo si I es continua.
Usando
-
(d), esto equivale a que exista una C < ∞ tal que
la propiedad II.1
I(v)
≤ Ckvk , y como
I(v)
= kvk ya tenemos la demostración.
B A B B
Una observación rápida es que sik·kA domina ak·kB , entonces la topología generada
por la norma de A es más fina, esto es, TB ⊂ TA .
Ejemplo: Tomamos V = C 1 ([a, b]), funciones continuas y con derivada continua en [a, b].
Podemos definir dos normas
kf kA = kf k∞ +
f 0
∞
kf kB = kf k∞
Proposición II.6. Sea (V,k·k) un espacio normado, entonces la topología es compatible con la
estructura de espacio vectorial de V sobre K:
4
Esto es, podemos separar dos puntos distintos con abiertos disjuntos. Lo que viene siendo una
topología razonable, vamos.
22 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Demostración.
Continuidad de la suma
En V × V podemos dar una norma que induce la topología producto:
(u, v)
V ×V
= máx kuk ,kvk
Con esto, podemos ver cuánto vale la norma producto de la suma dados (u, v)
(u0 , v 0 )
cuando esos elementos están cerca.
Si tomamos ε > 0 y
u − u0
V ,
v − v
0
V < ε/2, entonces según la definición de
la norma nos queda que
(u, v) − (u0 , v 0 )
V ×V < ε/2. Por otra parte, acotamos en la
imagen y vemos que
(u + v) − (u0 + v 0 )
=
(u − u0 ) + (v − v 0 )
≤
u − u0
+
v − v 0
< ε
V V V V
=
(λ − λ0 )v
V +
λ0 (v − v 0 )
V
= λ − λ0 kvkV + λ0
v − v 0
V
Queremos dar un criterio que nos sirva para decidir cuándo un espacio normado es
de Banach, que nos servirá para cuando veamos el espacio cociente.
Demostración.
Vamos a tratar de ver que la sucesión es de Cauchy y por lo tanto converge si X
es completo. Dados N, N 0 con N ≤ N 0 , vemos que
N0 N
X X
X
X X
kvN − vN k =
0
xn − xn
=
xn
≤ kx n k ≤ kxn k
n=1 n=1
N <n≤N 0
N <n≤N 0 n>N
, que tenderá a cero cuando N → ∞ dado que suponemos que la suma de todos los
xn es finita.
23 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
PN
, luego SN = k=1 xk converge.
Lo cierto es que no tengo muy claro por dónde está llevando la demostración así
que yo simplemente voy a copiar y espero que en algún momento esto sea salvable.
Pero
N
X
SN = (vNk+1 − vNk )
k=1
es una serie telescópica, y entonces Sk = vNk+1 − VN1 , luego VNk+1 = Sk + vN1 , donde
Sk converge a S y vN1 es un vector fijo, luego la subsucesión vNk k≥1 es convergente
en X.
En las siguientes secciones vamos a ver varios teoremas fundamentales del análisis
funcional. El primero es el Teorema de la Acotación uniforme, que dice que para los
operadores lineales continuos cuyo dominio es un espacio de Banach, la convergencia
puntual es equivalente a la convergencia uniforme.
5
Recordamos la definición de Conjunto Gδ (I.8): intersección numerable de abiertos.
24 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
La primera demostración será ver que esos conjuntos son abiertos para poder
trabajar con ellos bien. Para la segunda aprte lo que haremos será trabajar en
términos de la densidad de los Vn y jugando con las dos posibilidades que hay: o
bien son todos densos o no lo son y existe alguno que no es denso.
Vn es abierto ∀n ∈ N
Para esta demostración, vamos a ver que dado un x ∈ Vn existe una bola abierta
contenida en Vn .
Si x ∈ Vn , entonces existe un cierto α0 ∈ A tal que
Tα0 (x)
Y > n.
De hecho,
podemos “aumentar” un poco ese límite: hay un ε > 0 tal que Tα0 (x)
Y > n + ε.
Dado que
Tα0 es continua,
para
ese mismo
ε > 0 existe un δ > 0 tal que si y ∈ Bδ (x)
entonces Tα0 (x) − Tα0 (y) = Tα0 (x − y)
< ε.
Con esto podemos tratar de ver que la norma de Tα0 (y) sigue siendo mayor que
n:
Tα (y)
=
Tα (x) − Tα (x − y)
≥
Tα (x)
−
Tα (x − y)
> (n + ε) − ε = n
0 0 0 0 0
Eso nos da acotación uniforme en una bola cerrada, de tal forma que lo único
que hace falta para demostrar la acotación en todo X es mover de manera inteligente
cualquier vector de x a esa bola.
El primer paso será “centrar” la bola en 0. Dado y ∈ Br (0), podemos escribir
y = x − x0 para algún x ∈ Br (x0 ). Ahora, dado un α0 ∈ A hacemos la cota de la
siguiente forma:
Tα (x)
=
Tα ((x − x0 ) + x0 )
=
Tα (x − x0 ) + Tα (x0 )
0 0 0 0
≥
Tα0 (x − x0 )
−
Tα0 (x0 )
Tα (x)
+
Tα (x0 )
≥
Tα (x − x0 )
0 0 0
2N ≥
Tα0 (y)
25 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
El siguiente teorema nos va a dar una condición suficiente para ver cuando un
operador lineal continuo es una aplicación abierta: simplemente necesitaremos la
sobreyectividad.
26 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
1
T (B1 (0)) ⊃ B4c (0) = B2c (0) (II.5)
2
. Para demostrarlo, tomamos y ∈ Y con kykY < c, esto es, yBc (0). Queremos
encontrar x ∈ X conkxkX < 1 y T (x) = y.
Por (II.5),
dado y ∈ Y con kykY < c, ∀ε > 0 existe un z ∈ B1 (0) ⊂ X con
y − T (z)
< 2ε, ya que y ∈ T (B1 (0)).
Y
Partimos de ε = c > 0. Escogemos z1 ∈ B1 (0) con
y − T (z1 )
Y < c/2. Sea
y1 = y − T (z1 ). Entoncesky1 kY < c/2 =⇒ y1 ∈ Bc/2 (0) ⊂ Y . Como T (B1 (0)) ⊃ B2c (0)
entonces T (B1/2 (0)) ⊃ Bc (0) por ser T lineal.
De aquí concluimos que ∃z2 ∈ B1/2 (0) con
T (z2 ) − y1
< c
Y
(II.7)
22
Continuando este
proceso indefinidamente
tendremos una sucesión {zi }ni=1 con
1
zi ∈ B1/2i (0) ⊂ X y
y − (T (z1 ) + · · · + T (zn ))
< c 2n . Sean xn = z1 + · · · zn entonces
X
X 1
zj
< =1
X 2i
n≥1 n≥1
T es abierta
Sea U ⊂ X abierto e y ∈ T (U ), entonces y = T (x) para algún x ∈ U . Por ser
U abierto, ∃δ > 0 tal que x + Bδ (0) = Bδ (x) ⊂ U . Luego T (U ) ⊃ T (Bδ (x)) =
T (x)+T (Bδ (0)) = T (x)+δT (B1 (0)) ⊃ y+δBc (0) = Bδc (y), luego T (U ) es abierto.
27 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
T −1 ∈ L(Y, X).
Corolario II.12. Sea X un espacio vectorial con dos normas k·k1 , k·k2 tales que (X,k·k1 ) y
(X,k·k2 ) son ambos espacios de Banach. Si ∃C < ∞ tal quekxk2 ≤ Ckxk1 ∀x ∈ X (también
llamado Norma dominante (II.10)) entonces ∃C 0 > 0 tal quekxk1 ≤ C 0 kx2 k ∀x ∈ X.
Pasamos ahora a un teorema que posiblemente ya se haya visto en otros cursos más
básicos. Simplemente nos dice que la gráfica de un operador lineal continuo es cerrada,
aunque de forma muy general.
Consideramos ahora
I : X 7−→ G(T )
x 7−→ (x, T (x))
que es una isometría entre X con la norma kxk2 = kxkX +
T (x)
Y y G(T ) con la
norma del espacio producto.
Como el espacio de llegada de I es Banach e I es una isometría, entonces (X,k·k2 )
es también un espacio de Banach8 .
Claramente, kxk2 ≥ kxkX luego esta segunda norma domina en X a su norma
kxk
inicial. Usando el corolario II.12, existe una constante C finita tal que
2 ≤
CkXkX
∀x
∈ X. Esto lo que nos dice es que ∀x ∈ X entonces T (x)
Y ≤
kxkV +
T (x)
Y = kxk2 ≤ CkxkX luego T ∈ L(V, W ) con norma ≤ C.
28 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
a. V es un subespacio denso de X.
b. T es acotado en V .
Entonces existe una única extensión T̃ : X 7−→ Y lineal y con
T̃
= kT kL(V,Y ) .
L(X,Y )
Demostración. Sea x ∈ X. Como V es denso hay una sucesión {xn }n∈N ⊂ V con
límite x. La aplicación extendida se define como el límite de T de los elementos de la
sucesión, esto es,
T̃ (x) = lı́m T (xn )
n→∞
lı́mn→∞ T (xn ) = lı́mn→∞ T (x0n ). Operando ambos límites tendremos que nos sale
que son lo mismo: sabemos que
para todo ε > 0 existe un n0 tal que si n > n0 ,
entonceskxn − xk < ε y
x0n − x
< ε. Ahora operamos con los límites:
, que se irá a cero cuando ε → 0. Así, si T (xn ) − T (x0n ) → 0, los límites son iguales y
nuestra extensión está bien definida.
Hay que demostrar además que el límite existe. Para ello, vamos a demostrar
primero que la sucesión T (xn ) n∈N ⊂ Y es de Cauchy, y al ser Y Banach
sabremos que el límite existe. Simplemente hay que ver que
T (xn ) − T (xm )
=
kT kkxn − xm k ≤ kT k ε por ser {xn } de Cauchy9 .
Vamos a ver ahora que es lineal. Sea x límite de xn ∈ V y sea T ∈ K: queremos
ver que T̃ (T x) = T T̃ (x). Como las operaciones del espacio vectorial son compatibles
con la topología, entonces T x = lı́m T xn . Así podemos tomar T en ambos lados y ver
que es lineal. Por otra pLuego sean x, y ∈ X con sus respectivos límites definidos, y
queremos ver que T̃ (x + y) = T̃ (x) + T̃ (y). Haciendo cuentas sale que es lineal de
nuevo, usando que T es lineal en V .
Nos falta ver que es acotada y que preserva la norma. Lo primero es recordar la
definición de norma de un operador que dábamos en (II.4), y operar con ella
lı́m T (vn )
T̃ (v)
def
n→∞
T (vn )
T̃
= sup = sup
= sup lı́m =
v∈X\{0} kvk v∈X\{0} v∈X\{0} n→∞ kvn k
lı́m vn
{vn }⊂V, vn →v
n→∞
{vn }⊂V, vn →v
kT kkvn k
≤ sup lı́m = kT k
v∈X\{0} n→∞ kvn k
{vn }⊂V, vn →v
29 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Por otra parte, dado que T̃ es extensión de T , es igual en los puntos en los que
coinciden, por lo que ese supremo de la norma sobre X \ {0} tiene que ser mayor o
igual que el considerado sobre V \ {0}, al ser V subespacio de X. Más formalmente:
T̃ (v) T̃ (v)
T (v)
T̃
= sup ≥ sup = sup = kT k
v∈X\{0} kvk v∈V \{0} kvk v∈V \{0} kvk
Así,
T̃
= kT k y por lo tanto está acotado y conserva la norma del operador
original.
El siguiente paso es ver si podemos lograr extensiones con la misma norma cuando
el subespacio no es denso. Podremos demostrar que existe una extensión a todo el
espacio bajo ciertas condiciones (este será el Teorema de Hahn-Banach (II.16)), pero
primero nos plantearemos un objetivo menos ambicioso: extenderlo a un subespacio
algo ampliado.
K=R
Supongamos primero que K = R, y sin pérdida de generalidad que kλkE ∗ = 1.
Queremos probar que λ(x1 + µx0 ) ≤ kx1 + µx0 k para todos x1 ∈ E, µ ∈ R. Tras
una serie de manipulaciones, un cambio y = x1 , una división entre µ cuando µ 6= 0,
otro cambio z = µy y al final llegamos a que tenemos que demostrar que
K=C
Si u = Re λ, entonces u es un funcional lineal sobre E y
30 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
que kλkE ∗ = kukE ∗ . Y si λ está dado por lo que decíamos antes, entonces es R-lineal
y C-lineal. Para verlo basta ver que λ(ix) = iλ(x).
Como u(x) = Re λ(x), entonces
u(x)
≤
λ(x)
=⇒ kukE ∗ ≤ kλkE ∗ y por otra
parte si x ∈ E, entonces ∃α ∈ C con |α| = 1 y αλ(x) = λ(x), con α = λ(x)
cuando
|λ(x)|
λ(x) 6= 0 (si λ(x) = 0 cualquier α nos vale); y entonces
λ(x) = αλ(x) = λ(αx) = u(αx) ≤ kuk ∗ · |α|kxk
E
31 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Λ̃ : S̃ 7−→ K
x 7−→ Λ(x) si x ∈ S, (Λ, S) ∈ P
Lo primero que hay que hacer es comrpobar que está bien definido. No es difícil
de ver: de nuevo como tenemos un subconjunto totalmente acotado, tenemos que en
cualquier punto todos los Λ van a coincidir por ser uno la restricción de otro.
Con esto, está claro que (Λ̃, S̃) es un maximal de P. Así, podemos aplicar el lema
de Zorn y por lo tanto U admite elementos maximales respecto de un orden.
Si (Λ0 , S0 ) es un elemento maximal de U, para probar Hahn-Banach basta probar
que S0 = V . Supongamos que no lo es, de tal forma que ∃x0 ∈ V \ S0 . Procediendo
como en el lema II.15, podría construir (Λ1 , S1 )
(Λ0 , S0 ) con S1 = S0 + span {x1 },
pero esto contradice la maximalidad de (Λ0 , S0 ).
λ : E 7−→ K
tx0 7−→ tkx0 kX
con t ∈ K.
Vemos que λ(tx0 ) = ktx0 k, luego λ es acotado en E y con norma 1.
Usando Hahn-Banach, podemos extender λ a un funcional acotado X y
conservando la norma.
Queremos que
i(x0 )
X ∗∗ = kx0 kX . Usando el λ ∈ X ∗ que hemos producido
Espacio re- Definición II.12 Espacio reflexivo. Si i : V 7−→ V ∗∗ es una isometría sobreyectiva, se dice
flexivo que X = (V,k·k) es reflexivo.
Por ejemplo, los espacios Lp con 1 < p < ∞ son reflexivos.
Proposición II.18. Sea X = (V,k·kV ) un espacio normado y x ∈ X. Entonces
kxkX = sup hλ, xi
λ∈X ∗ \{0}
kλkX ∗ ≤1
10
(Λ, S) ≤ (Λ0 , S 0 ), (Λ, S) ≥ (Λ0 , S 0 ) =⇒ (Λ, S) = (Λ0 , S 0 ).
32 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
λ : E 0 7−→ K
x + tx0 7−→ t
x, y ∈ X x ∼ y ⇐⇒ x − y ∈ E
Norma Definición II.13 Norma cociente. Dado X un espacio Banach y E ⊂ X un subespacio cerrado,
cociente
33 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Seminorma
Sea λ ∈ K \ {0}, x ∈ X. Entonces
kλxkX/E = ı́nf kλx + yk = ı́nf kλx + λyk = |λ| ı́nf kx + yk = |λ|kxkX/E
y∈E y∈λ−1 E y∈λ−1 E
Norma si E es completo
Si E es cerrado, entonces E = E, luego X se anula sólo en E. Se cumple entonces
la condición de positividad (kxkX/E = 0 ⇐⇒ x = [0]), así que es una norma.
34 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
tal que:
a. T̃ es un isomorfismo lineal.
b. Si en img T se da la
inducida por Y , entonces T̃ ∈ L(X/ker T , img T ) y
norma
además se verifica que
T̃
≤ kT k.
Compleción Definición II.14 Compleción de un espacio normado. Sea X0 = (V0 ,k·kX0 ) tal que X0
de un es espacio vectorial normado. Entonces X = (V,k·kX ) se denomina compleción de X0 si existe
espacio
una aplicación I : V0 7−→ V isométrica y con I(V0 ) denso en V , y además, X es completo.
normado
Por ejemplo, (C[a, b],k·kp ) no es completo y su compleción es Lp [a, b].
Proposición II.23. Dado X0 espacio normado, existe un X compleción de X y además la
compleción es esencialmente única. Si hay dos compleciones, son isomorfas.
Además, las aplicaciones L(X0 , Y ) se pueden extender a aplicaciones L(X, Y ) (Propiedad
Propiedad functorial).
functorial
Demostración. Vamos a demostrar que la compleción es única salvo isomorfismos.
Sean X, X 0 compleciones de X con isometrías I, I 0 . Sea ahora x ∈ X. Como I(X0 ) es
denso en X, entonces existe una sucesión {xn } ⊂ X tal que I(xn ) → x.
Definimos I 00 de la siguiente forma:
I 00 : X 7−→ X 0
x 7−→ lı́m I 0 (xn )
n→∞
35 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Propiedad functorial
36 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Capítulo III
Topología Definición III.1 Topología débil. Si X es un espacio de Banach con dual topológico X ∗ ,
débil entonces se define la topología débil en X, denotada por σ(X, X ∗ ), como la topología más débil
en X que hace que todos los funcionales λ ∈ X ∗ sean continuos en esa topología.
Para poder describir bien esta topología, daremos su base. Si U ⊂ K es un abierto y
λ ∈ X ∗ , entonces λ−1 (U ) debe ser un abierto en la topología débil. Del mismo modo, si
U1 , . . . , Un ⊂ K son abiertos y λ1 , . . . , λn ∈ X ∗ , entonces el conjunto
def
\
Ω(U1 , . . . , Un ; λ1 , . . . , λn ) = λj −1 (Uj )
1≤j≤n
B = Ω(U1 , . . . , Un ; λ1 , . . . , λn ) U1 , . . . , Un ⊂ K abiertos, λ1 , . . . , λn ∈ X ∗
37 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Topología Definición III.2 Topología débil-∗. Sea X un espacio de Banach dual (esto es, X = Y ∗ con
débil-∗ Y otro espacio de Banach). Entonces, la topología débil-∗ en X, denotada por σ(X ∗ , X), es la
topología más débil que hace que todos los elementos y ∈ Y considerados como elementos del
doble dual Y ∗∗ sean funcionales lineales y continuos en X.
Dado que tenemos la inyección isométrica Y ,→ Y ∗∗ , todo y ∈ Y se puede
intentificar con un elemento de Y ∗∗ . Así, si x ∈ X podemos considerar la aplicación
lineal y continua
x : Y 7−→ K
x 7−→ hx, yi = x(y)
Esas aplicaciones son las que han de mantenerse continuas por la topología débil-∗.
Algunas observaciones: si X = X ∗∗ (X es reflexivo), entonces la topología débil-∗
coincide con la débil. Si por el contrario X ( X ∗∗ , la topología débil-∗ es más débil
que la topología débil. Por último, para poder definir la topología débil-∗, necesitamos
obviamente que el espacio X sea dual.
La cuestión es que hay muchos espacios naturales que no son duales. Por ejemplo,
ni L1 ([0, 1]) ni C 0 ([0, 1]) son duales.
Por suerte, los espacios Lp son duales con 1 < p < ∞, y de hecho reflexivos. Para
p = ∞, se puede ver que (L1 )∗ = L∞ cuando el espacio de medida es σ-finito. Todo
esto lo veremos en la sección III.3.
Antes de seguir, vamos a dar una propiedad básica de estas topologías: que son
Hausdorff. Es decir, vamos a comprobar que son topologías razonables y que al menos
tenemos unicidad en los límites.
, contradicción.
38 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Convergencia Definición III.3 Convergencia débil. Sea X un espacio de Banach y {xn }n∈N una sucesión
débil en X. Entonces se dice que xn converge a x débilmente (xn −−−* x) si y sólo si ∀λ ∈ X ∗ ,
n→∞
hλ, xn i −−−→ hλ, xi.
n→∞
Convergencia Definición III.4 Convergencia débil-∗. Sea X = Y ∗ un espacio de Banach dual y {xn }n∈N
débil-∗ ∗
una sucesión en X. Entonces se dice que xn converge a x débilmente-∗ (xn −−−* x) si y sólo
n→∞
si ∀y ∈ Y , hxn , yi −−−→ hx, yi.
n→∞
a. Si xn → x en norma, entonces xn −
* x débilmente.
b. Si xn −
* x débilmente, entonces supkxn k < ∞ (la sucesión está acotada) y además
kxk ≤ lı́m infkxn k.
* x débilmente y λn → λ en norma, donde {λn }n∈N es una sucesión en X ∗ ,
c. Si xn −
entonces hλn , xn i → hλ, xi.
Demostración.
III.3 - (a): xn → x =⇒ xn −
*x
39 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Fijamos un λ ∈ X ∗ y entonces
hλ, xi − hλ, xn i = hλ, x − xn i ≤ kλk ∗ kx − xn k → 0
X X
→0
III.3 - (b): xn −
* x =⇒ supkxn k < ∞ ∧kxk ≤ lı́m infkxn k
III.3 - (c) xn −
* x, λn → λ =⇒ hλn , xn i → hλ, xi
40 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
que supkxn kX < ∞. Además, hxn , yi ≤ kxn kX para todo y ∈ Y con kyk Y ≤ 1.
Como en la demostración para la topología débil, podemos concluir que hx, yi ≤
lı́m inf n→∞ kxn kX y listos.
Al principio del capítulo decíamos que para algunas demostraciones nos van a
hacer falta argumentos de compacidad, y que para eso introducíamos las topologías
débiles. En esta sección vamos a demostrar precisamente que las topologías débiles nos
dan compactos útiles, y empezaremos con uno de los teoremas más importantes: el que
nos dice que la bola unidad es compacta.
ω : Y 7−→ K
y 7−→ ω(y) ∈ Ωy ; ω(y) ≤ kyk
Y
BX = {ϕ ∈ Ω ϕ es lineal}
41 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Cada uno de los conjuntos Ay,y0 , Bλ,y son cerrados en Ω respecto de la topología
producto. Así, BX es una intersección de cerrados dentro de un compacto y por tanto
es un compacto.
con {yn }n≥1 = BY . Es obvio que es una seminorma, y también se puede ver que
kxk∗ = 0 si y sólo si x = 0, luego sería una norma.
Afirmamos que la métrica que define esta norma induce la topología débil-∗
sólo en BX . Dado que ambas topologías están generadas por una base de abiertos,
podemos demostrar que son la misma demostrando que cada abierto V en la
topología débil corresponde a otro abierto Bε en la topología de la norma que hemos
definido en (III.1).
Empezamos definiendo, obviamente, la bola de radio ε:
def
Bε (0) = x ∈ X kxk∗ < ε
V ⊆ Bε (0)
Dado un ε > 0, fijamos N tal que 2−N < 2ε . Sea
V = Vy1 ,...,yN ;ε/2 = f ∈ X hf, yn i < ε/2, n = 1, . . . , N
42 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Bε (0) ⊆ V
Sea ahora f ∈ Bε (0). El abierto donde f estará metido será V = Vz1 ,...,zN ;δ
definido de la misma forma que antes, con z1 , . . . , zN ∈ Y arbitrarios. Sigue siendo
un entorno básico en la topología débil-∗, que podemos escribir alternativamente
z
como V = Vz10 ,...,x0N ;δ0 tomando zj0 = zj , δ 0 = zδ y z = máxi=1,...,N kzi k, de tal forma
que zj0 ∈ BY . Así pues, podemos suponer adicionalmente que z1 , . . . , zN ∈ BY (si no
están, dividimos entre la constante de antes y listos).
Puesto que {yn }n≥1 es denso en BY , podemos aproximar cada zj por elementos
yn , así que ∀j = 1, . . . , N existe un nj ∈ N tal que
zj − ynj
Y < δ/2. Sea n =
máx {n1 , . . . , nN } y tomamos ε = 2−(N +1) δ. Si f ∈ BXP ∩ Bε (0), entonces lo que vamos
−n
a tener es que ε > kf k∗ por necesidad, y comokf k∗ = n≥1 2 hf, yn i tenemos que
a su vez es ε > 2−n
hf, yn i para todo n ≥ 1. En particular, hf, yn i < 2nk ε ∀k =
k
1, . . . , N y hf, ynk i < 2N ε = 2δ para k = 1, . . . , N .
Entonces
hf, zj i = hf, yn i + hf, zj − yn i ≤ δ/2 + kf k ∗
z j − y nj ≤ δ
j j
Y
≤1 ⇐= f ∈BX δ
≤2
y con esto f ∈ V .
Como X es reflexivo, basta ver que la fuerte y la débil son iguales porque la débil
y la débil-∗ coinciden.
0 ∗ 0 ∗
Pn 0
Como X = X , entonces xj ∈ X y ahora sea kxk∗ = j=1 hxj , xi con x ∈ X,
que es una norma porque x0j son base del dual. Como en un espacio de dimensión
finita todas las normas son equivalentes pues ya está, entonces inducen la misma
topología.
Vamos a dar una definición general de lo que son topologías débiles en un espacio
vectorial.
Topología Definición III.5 Topología débil-∗. Sea X un espacio vectorial sobre K = R ó C, y sea Y ⊂ X 0
débil-∗
43 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Por ejemplo, si tomamos Y = X ∗ lo que nos dice esta proposición es que los
funcionales contiuos con la topología fuerte son los mismos que los que hay con la
topología débil-∗, es decir, que esta topología no nos mete funcionales adicionales.
44 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Esta última desigualdad es la que vamos a demostrar, utilizando para ello el lema
de Helly.
P
P
Nos basta probar que nj=1 βj hξ, λj i ≤
nj=1 βj λj
∗∗ .
X
Pn Pn
Pn
1 βj hξ, λj i = hξ, 1 βj λj i ≤ kξkX ∗∗ 1 βj λj X ∗
Sabemos que Φ es lineal. Con esta aplicación, la propiedad III.14 - (a) dice
exactamente que (α1 , . . . , αn ) ∈ Φ(BX ).
Vamos a hacer la prueba por reducción al absurdo y supongamos que III.14 - (b)
/ Φ(BX ) ⊂ Kn .
se cumple pero III.14 - (a) no, por lo que (α1 , . . . , αn ) ∈
Como Φ es lineal y BX es convexo, entonces Φ(BX ) es convexo y su cierre también
lo es. Así, existe un hiperplano E ⊂ Kn que separa a Φ(BX ) y a = (α1 , . . . , αn ). Ese
hiperplano será un conjunto de ecuación b·a = c, con b ∈ Kn fijo y a ∈ Kn arbitrario.
Suponemos K = R. En este caso, podemos suponer b · y < b · a si y ∈ Φ(BX ). De
hecho, podemos considerar los conjuntos
Ac = {y ∈ Rn b · y < c}
Bc = {y ∈ Rn b · y > c}
Así pues, ∀x ∈ BX
Xn n
X
h βj λj , xi < c βj αj = ba
j=1 j=1
45 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Por ejemplo, los espacios Lp con 1 < p < ∞ son uniformemente convexos y por lo
tanto reflexivos.
46 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Sikλk ≤ 1, entonces
x + y
> hξ, λi − δ
2
2
y tomando el supremo en λ lo que sacamos es que
x+y δ
2
> 1 − 2 , y contradice la
convexidad uniforme.
Demostración.
Reflexivo =⇒ BX compacta
Si X es reflexivo, entonces i(BX ) = BX ∗∗ , y como BX ∗∗ es compacta en la
topología débil-∗ de X ∗∗ , basta ver que i−1 : X ∗∗ 7−→ X es continua si en X ∗∗ damos
la topología débil-∗ y en X la débil.
Por la descripción de cómo son las topologías débiles, entonces basta ver que si
λ ∈ X ∗ entonces la aplicación ξ 7−→ hλ, i−1 (ξ)i con ξ ∈ X ∗∗ es continua en X ∗∗
con la topología débil-∗. Pero por definición hλ, i−1 (ξ)i = hξ, λi que es continuo en la
topología débil-∗ por la propia definición de topología débil-∗ (ver proposición III.9
donde dijimos que los funcionales continuos son los del dual y ninguno más).
Reflexivo ⇐= BX compacta
Fijado un funcional λ ∈ X ∗ , entonces la aplicación x 7−→ hi(x), λi = hλ, xi para
x ∈ X es continua en la topología débil.
Si BX es compacta en la topología débil de X, entonces i(BX ) ⊂ B X ∗∗ es un
subconjunto compacto y por lo tanto cerrado. Así, como i(BX ) = B X ∗∗ entonces
i(BX ) = B X ∗∗ luego i es sobreyectiva por ser lineal y listos, por la proposición que
veremos ahora, creo.
47 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Demostración.
Resumen para la semana que viene: dualidad en espacios Lp . Serán reflexivos con
(Lp )∗
= p0 , con p0 = 2. Si p = 1 y el espacio de medida es σ-finito, entonces el dual es
L∞ .
Teorema III.19. Sea (X, X , µ) un espacio de medida y un exponente 1 < p < ∞. Entonces
el dual del espacio Lp (X, X , µ) es Lq (X, X , µ) con 1 < q < ∞ tal que p1 + 1q = 1.
Si p = 1 y además (X, X , µ) es un espacio de medida σ-finita (B.1) también tenemos
que L1 (X, X , µ)∗ = L∞ (X, X , µ).
Por último, el dual de L∞ (X, X , µ) contiene estrictamente a L1 (X, X , µ) savo en casos
triviales.
48 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Aunque aquí hemos puesto los espacios de medida explícitamente, los omitiremos
y daremos por supuesto para no recargar demasiado las definiciones.
Para la demostración necesitaremos la desigualdad de Hölder1 .
kf gk1 ≤ kf kp kgkq
ap bq
ab < +
p q
Demostración. De nuevo, en el caso p = 1 esto es trivial. Para 1 < p < ∞, vemos que
49 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Con esto ya estamos muy cerca de probar que los espacios Lp son espacios de
Banach. Vamos a ello.
p=∞
Sea {fn }n≥1 una sucesión de Cauchy en L∞ (X, X , µ). Es decir, que para todo
k ∈ N existe un Nk ∈ N tal que si m, n ≥ Nk entonceskfm − fn k∞ ≤ 1/k.
Con esto podemos construir los conjuntos
Ek = x ∈ X fn (x) − fm (x) ≤ 1/k
, medibles y con µ(Xkc ) = 0 (si el complementario no tuviese medida cero entonces
kfm − fn k∞ sería mayor que 1/k).
T
Consideramos la intersección de todos ellos: sea X0 = k≥1 Xk . De ahí podemos
acotar la medida del complementario:
[ X
0 ≤ µ(X0c ) = µ X0c ≤ µ(Xkc ) = 0
k≥1 k≥1
, luego µ(X0c ) = 0.
Con esto podemos ver que las sucesiones numéricas fn (x) n≥1 con x ∈ X0 son
de Cauchy, ya que ∀k ∈ N y m, n ≥ Nk sabemos que fm (x) − fn (x) ≤ 1/k ya que
x ∈ Xk ∀k ≥ 1.
Definimos entonces la función
lı́m fn (x) x ∈ X0
f (x) = n→∞
0 x ∈ X0c
50 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
, donde ese último límite existe y es finito por ser la sucesión de normas kfn k∞ de
Cauchy en R.
Dado que hemos podido acotar todos los puntos que se nos podrían ir (si x ∈ X0c
no hay nada que acotar), lo que tenemos es que f ∈ L∞ .
Falta demostrar que esa f es efectivamente el límite de las fn . Para eso, miramos
a los x ∈ X0 (el complementario tiene medida 0 y lo que pase ahí no influye) y vemos
que, dado un n fijo,
1≤p<∞
Si {fn }n≥1 es de Cauchy en Lp , basta ver que una subsucesión fnk k≥1 converge
en Lp .
Escogeremos inductivamente 1 ≤ n1 < n2 < · · · < nk → ∞ de tal forma que
gk = fnk cumpla quekgk+1 − gk kp ≤ 21k para k ∈ N, cosa que podemos hacer por ser
{fn } de Cauchy en Lp .
Sea ahora
n
X
Gn (x) = gk+1 (x) − gk (x) n∈N
k=1
Luego lo que estamos diciendo es que la sucesión g(x) n≥1 es de Cauchy en K
si G(x) < ∞. Así, podemos definir la función
(
lı́mn→∞ gn (x) G(x) < ∞
f (x) =
0 G(x) = ∞
51 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
que
es medible por un límite
de funciones medibles, y además podemos dar una cota
f (x) − gk (x) = lı́mn→∞ gn (x) − gk (x) ≤ G(x) − Gn−1 (x) ≤ G(x), donde G(x) es
finito en µ-ctp.
Con
esto podremos
p aplicar el Teorema de convergencia dominada (B.1): sabemos
que f (x) − gk (x) ≤ G(x)p ∈ L1 y que f (x) − gk (x) → 0 si G(x) < ∞, luego en
resumidas cuentas
Z
L1
|f − gk |p dµ −−−→ 0 =⇒ |f − gk |p −−−→
X k→∞ k→∞
λg : Lp 7−→ K
Z
f 7−→ gf dµ
X
La norma del funcional será
λg
(Lp )∗ ≤ kgkq con igualdad cuando 1 < p ≤ ∞.
y es obvio que es perfectamente lineal. Esto además da una acotación para la norma
del funcional:
λg
q ∗ ≤ kgk (III.2)
(L ) q
1
e interpretando además p−1 = 0 si p = ∞.
p
Esta función está en Lp , ya que |f |p = |g| p−1 = |g|q ∈ L1 .
Con esto, podemos calcular λg (f ):
Z Z Z
1 1
1+
λg (f ) = |g| p−1 g sign g dµ = |g| p−1 dµ = |g|q dµ = kgkqq
X X X
|g|
3
Abreviación: Casi todo punto con respecto a la medida µ.
52 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
def
Recordamos ahora la definición de la norma de un funcional (II.4): kAk =
kA(v)k
supv∈V \{0} kvk W . Luego como
V
λg (f ) kgkqq
= q
= kgkq
kf kp kgkq/p
y ya teníamos una cota superior en (III.2), lo que tenemos es que
λg
(Lq )∗ = kgkq y
por lo tanto la inyección
es isométrica.
Una cosa que querremos ver es que esa inyección (III.3) es sobreyectiva si 1 < p <
∞, y que por lo tanto (Lp )∗ = Lq .
Teorema III.24. Sea 1 < p < ∞. Entonces, (Lp )∗ = Lq con q el exponente conjugado de
p ( p1 + 1q = 1).
Demostración. Para la demostración usaremos que L2 (X, XS, µ)∗ = L2 (X, X , µ). Como
(X, X , µ) es de medida σ-finita, podremos escribir X = n≥1 Xn donde los Xn son
medibles, disjuntos dos a dos y con µ(Xn ) < ∞.
Sea λ ∈ L1 (X, X , µ)∗ . Queremos encontrar u ∈ L∞ de tal forma que podamos
expresar Z
λ(f ) = uf dµ ∀f ∈ L1
X
53 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Lo primero que haremos será demostrar que, si ese u existe, es único. RSi existiesen
R 1 2 que cumpliesen la representación del funcional, esto es, λ(f ) = X u1 f dµ =
u , u
X u2 f dµ, entonces ha de ser
Z
0= u1 − u2 f dµ ∀f ∈ L1
X
ũ
Sea f = sign ũ, que no tiene por qué ser derivable. Pero si tomamos4 fn =
sign(ũ)1Xn ∈ L1 ∩ L∞ , entonces
Z Z
0= ũ sign(ũ)1Xn dµ = |ũ| dµ
X Xn
αn 1Xn
X
Ω= αn > 0 ∀n
n≥1
, de tal forma que Ω(x) = αn si x ∈ Xn (los Xn son disjuntos y cubren todo X), y en
particular Ω > 0. Si calculamos la norma de esa función, tenemos que
Z X X Z
αn 1Xn dµ = 1Xn dµ =
2
X
2
kΩk2 = αn2 αn2 µ(Xn )
X n≥1 n≥1 X n≥1
Como µ(Xn ) < ∞, entonces podemos tomar αn de forma adecuada para que la
suma infinita converja.
Sea ahora
λ̃ : L2 7−→ K
f 7−→ λ(Ωf )
∗
Esto nos dice que λ̃ ∈ L2 = L2 , luego ∃ ! v ∈ L2 tal que λ̃(f ) =
R
X vf dµ para
toda f ∈ L2 .
v(x)
Definimos entonces u(x) = Ω(x) , que está bien definida por ser Ω > 0 y es medible
por ser cociente de medibles.
Si f ∈ L1 y está soportada en un conjunto Xn , entonces f ∈ L2 de nuevo por la
desigualdad de Schwarz. Ahora podemos escribir entonces
Z Z
f f f
λ(f ) = λ Ω = λ̃ = v dµ = uf dµ
Ω Ω X Ω X
f
Necesitamos saber, eso sí, si Ω ∈ L2 para poder meterlo al funcional λ̃. Pero como
f
f está soportado en Xn , entonces Ω = α1n f que está en L2 de nuevo.
54 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
claramente medible y queremos ver que µ(A) = 0, que es equivalente a ver que
µ(A ∩ Xn ) = 0 por ser (X, X , µ) de medida σ-finita.
Consideramos fn = sign(u)1A∩Xn ∈ L1 ∩ L∞ . Si evaluamos λ sobre fn , tenemos
que
|u| > c
Z Z Z ↓
λ(fn ) = ufn dµ = u sign(u)1A∩Xn dµ = |u| dµ ≥ cµ(A ∩ Xn )
X X A∩Xn
Si x ∈ A ∩ Xn entonces u(x) 6= 0 y por lo tanto sign u(x) = 1 luego al final ahí
hay cosas finitas así que al final al final al final al final al final al final nos queda que
(c −kλk(L1 )∗ )µ(A ∩ Xn ) ≤ 0
pero como c − kλk(L1 )∗ > 0 entonces sólo puede ser µ(A ∩ Xn ) = 0∀n luego la
conclusión es que u ∈ L∞ porque está acotada conkuk∞ ≤ kλk(L1 )∗ .
4
Recordamos que 1E (x) = 1 si x ∈ E, 0 en otro caso.
55 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Capítulo IV
Hasta ahora hemos estado trabajando con espacios normados, que en cierto sentido
se parecen a los espacios vectoriales habituales de álgebra lineal. La cuestión es que
nos falta un ingrediente más. Querríamos, por ejemplo, poder dar una base, tener una
noción de “funciones independientes” o incluso ver si se pueden trasladar conceptos
como los de ortogonalidad que sí tenemos en espacios de dimensión finita.
El resultado son los espacios de Hilbert, espacios de Banach que además se les
equipa con un producto escalar que, como veremos en este capítulo, nos permitirán
definir todas esas nociones extra.
Espacio de Definición IV.1 Espacio de Hilbert. Un espacio de Hilbert H es un espacio de Banach equipado
Hilbert con un producto escalar h·, ·i : H × H 7−→ K = R ó C que cumple:
Además,
p ha de ser tal que la norma del espacio de Banach coincide con la del producto escalar:
kxk = hx, xi.
Sobre los espacios de Hilbert se pueden demostrar varias propiedades ya conocidas
sobre espacios vectoriales.
Proposición IV.1 (Desigualdad de Schwarz). Sea (H, h·, ·i) un espacio de Hilbert y sean
x, y ∈ H. Entonces
hx, yi ≤ kxkkyk
56 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Proposición IV.2 (Desigualdad de Minkowsky). Sea (H, h·, ·i) un espacio de Hilbert y sean
x, y ∈ H. Entonces
kx + yk ≤ kxk +kyk
Proposición IV.3 (Identidad del paralelogramo). Sea (H, h·, ·i) un espacio de Hilbert y
sean x, y ∈ H. Entonces
Proposición IV.4 (Identidad de polarización). Sea (H, h·, ·i) un espacio de Hilbert sobre K
y sean x, y ∈ H. Entonces, si K = R tenemos que
y si K = C entonces
Proposición IV.5 (Proyección a un convexo cerrado). Sea (H, h·, ·i) un espacio de Hilbert
y sea E ⊂ X un convexo cerrado y no vacío. Entonces existe un único x ∈ E que minimiza la
funciónkxk.
Es decir, que hay un punto único que es el más cercano a 0 dentro de E.
Demostración.
Unicidad
Sea 0 ≤ L = ı́nf x∈E kxk < ∞. Supongamos que esto se cumple para dos puntos
x0 , x1 ∈ E tales quekx0 k = kx1 k = L. La identidad del paralelogramo (IV.3) nos dice
entonces que
luego x0 = x1 forzosamente.
Existencia
57 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Subespacio Definición IV.2 Subespacio perpendicular. Sea (H, h·, ·i) un espacio de Hilbert y M ⊂ H
perpendicu- un subespacio cerrado. Entonces se define el subespacio perpendicular M ⊥ de la siguiente forma
lar
M ⊥ = x ∈ H hx, yi = 0 ∀y ∈ M
a)
Tomamos x2 el elemento único que minimizak·k en x + M (proposición IV.5), que
es convexo y cerrado si y sólo si M lo es. Esto así mismo determina unívocamente a
x1 tomando x = x1 + x2 . Vamos a ver que hx1 , x2 i = 0 (esto es, que x1 ⊥ x2 ).
Sea z = x2 + y con y ∈ M , tenemos quekx2 k2 ≤ kzk2 = kx2 k2 +kyk2 + 2 Rehx2 , yi.
Sustituyendo y por ty con t ∈ R, obtenemos que
0 ≤ t2 kyk2 + 2t Rehx2 , yi
0 ≤ t2 kyk2 + 2 Imhx2 , yi
que sólo se cumple para todo t ∈ R si Imhx2 , yi. En definitiva, hx2 , yi = 0 para todo
y ∈ M , luego x2 ∈ M ⊥ y listos1 .
b)
Trivial.
e)
Sí porque M ∩ M ⊥ = {0} y PM + PM ⊥ = Id.
58 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Conjunto Definición IV.3 Conjunto ortonormal. Sea H un espacio de Hilbert y B = {ϕα }α∈A ⊂ H.
ortonormal Diremos que B es ortonormal si y sólo sikϕα k = 1 ∀α ∈ A y ϕα ⊥ αβ si α 6= β.
hx, ϕα i2
X
x ∈ span B ⇐⇒ kxk2 =
α∈A
α∈A
Demostración. Consideramos Vn = span ϕα1 , . . . , ϕαn y entonces
⊥ ⊥
∩ · · · ∩ span {ϕαn }⊥
Vn = span ϕα1
lo que nos dice que es cerrado, y luego aplicamos los lemas anteriores.
Base hilber- Definición IV.4 Base hilbertiana. Sea H un espacio de Hilbert y B = {ϕα }α∈A un conjunto
tiana ortonormal. Entonces, diremos que es una base hilbertiana si es maximal (esto es, que si existe
otro conjunto ortonormal B 0 ⊃ B entonces B 0 = B).
a. ∀x ∈ H,kxk2 = hx, ϕα i2 .
P
α∈A
P
b. ∀x, y ∈ H, hx, yi = α∈A hx, ϕa ihy, ϕα i.
c. La aplicación
1
En realidad él ha dado algunos pasos más pero me los he perdido.
59 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Demostración.
0?
Si F = B 0 ⊃ B B 0 es ortonormal , es no vacío, con un orden parcial y cota
superior (unión de todos los elementos). Entonces podemos aplicar el Lema de Zorn
y nos sale.
En particular, todo espacio de Hilbert admite bases hilbertianas.
a)
2
Si ∃x ∈ H con kxk2 >
P
α∈A hx, ϕα i , implicaría por la proposición IV.9 que
x ∈/ span B 0 = V0 . Ahora descomponemos x = x0 + x1 con x1 = PV ⊥ (x), que
0
forzosamente es no nulo porque x ∈ / V0 .
n o
Tomamos entonces B 00 = B 0 kxx00k , con B 0 ( B 00 y además ortonormal. Pero esto
contradice la maximalidad de B 0 , luego x1 = 0 y x ∈ V0 .
b)
Consecuencia directa de la identidad anterior y la Identidad de polariza-
ción (IV.4).
c)
Reformulación de la segunda afirmación. Una vez que sabemos escribir los
productos escalares vemos que tienen que ser cuadrado-sumables (si no x tendría
norma infinita). Además, vemos que
X
hx, yi = x̂(α)ŷ(α)
α∈A
Operador Definición IV.5 Operador compacto. Sea H un espacio de Hilbert y k : H 7−→ H lineal. Se
compacto dice que es compacto si, dada una sucesión xn −
* x entonces k(xn ) → k(x) con convergencia
fuerte.
Como notación, diremos que k ∈ Comp H.
Otra notación: L(H) ≡ L(H, H).
60 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
a. k ∈ Comp H =⇒ k ∈ L(H).
b. k ∈ Comp H, A ∈ L(H) =⇒ Ak, kA ∈ Comp H.
c. Si {kn }n∈N ⊂ Comp H y kn → k en L(H), entonces k ∈ Comp H.
Demostración.
a)
Trivial por la definición de convergencias nosequé xn −
* x =⇒ k(xn ) −
* k(x).
b)
Supongamos xn −
* x y A ∈ L(H), de tal forma que A(xn ) −
* A(x). Así,
k(A(xn )) → k(A(x) por ser k compacto, luego kA es compacto.
En el otro sentido sabemos que k(xn ) → k(x), así que A(k(xn )) → A(k(x)) por
ser A acotado, así que Ak también es compacto.
c)
Sea xj −
* x. Entonces kn (xj ) → kn (x) para todo n = 1, 2, . . . . Vamos a tratar de
evaluar la norma siguiente:
k(x) − k(xj )
=
(k(x) − kn (x)) + (kn (x) − kn (xj )) + (kn (xj ) − k(xj ))
≤
k(x) − kn (x)
+
kn (x) − kn (xj )
+
kn (xj ) − k(xj )
≤kk−kn kkxk ≤kk−kn kkxj k
≤ kk − kn k (kxk +
xj
) +
kn (x) − kn (xj )
Una nota: al espacio L(H) se le puede dar estructura de álgebra (más concretamente,
Álgebra de de Álgebra de Banach2 ) y entonces Comp H es un ideal dentro de ese álgebra.
Banach
Operador Definición IV.6 Operador adjunto. Sea H un espacio de Hilbert y A ∈ L(H). Entonces
adjunto
2
Un álgebra de Banach es espacio con una suma, producto asociativo y producto por escalares, y con
61 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
definimos su adjunto A∗ como el operador lineal tal que para cualesquiera x, y ∈ H tenemos
que
hA∗ (x), yi = hx, A(x)i
a)
Vemos que A∗ (x) está bien definido. Fijamos x ∈ H, entonces la aplicación
y → hx, A(y)i es antilineal y continua.
Ahora aplicamos el Teorema de representación de Riesz (B.4), que nos identifica
H ∗ = H y nos dice que existe un único elemento A∗ (x) ∈ H con hA∗ (x), yi =
hx, A(y)i.
Que A∗ es lineal es trivial. En cuanto a la acotación, podemos darla usando el
Teorema de Hahn-Banach (II.16) por alguna parte como
∗
A (x)
= sup hA∗ (x), yi = sup hy, A(x)i ≤ kAkkxkkyk ≤ kAkkxk
y∈BH y∈BH
b)
Sean x, y ∈ H cualesquiera. Entonces
c)
Si xn −
* x, entonces
Si A es compacto, entonces AA∗ es compacto por la propiedad IV.11 - (b) así que
2
2
hAA∗ (xn ), xn i → hAA∗ (x), x)i =
A∗ (x)
, lo mismo con hAA∗ (x), xn )i →
A∗ (x)
.
62 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
d)
Se deja como ejercicio.
Operador Definición IV.7 Operador autoadjunto. Sea H un espacio de Hilbert y A ∈ L(H). Se dice
autoadjunto que es autoadjunto si A = A∗ .
Por ejemplo, si V ⊂ H es un subespacio cerrado, entonces PV es autoadjunto. Sólo
hay que ver que PV · PV = PV y con eso operar en el producto escalar.
Operador Definición IV.8 Operador positivo. Sea H un espacio de Hilbert y A ∈ L(H). Diremos que
positivo A es positivo si hA(x), xi ≥ 0 para todo x ∈ H.
Autovalor Definición IV.9 Autovalor. Sea A ∈ L(H) un operador lineal. Diremos que λ ∈ C es un
autovalor de A si y sólo si ∃x 6= 0 tal que A(x) = λx.
Autovector Igual que en otros casos, x será el Autovector correspondiente.
Rango de un Definición IV.10 Rango de un operador. Sea A ∈ L(H). Se define su rango como R(A) =
operador img A.
Proposición IV.15. Si A ∈ L(H)H y A es de rango finito (dim R(A) < ∞), entonces A es
un operador compacto (IV.5).
Demostración. Sea xn −
* x en H. Como A(xn ) ∈ R(A) y dim R(A) es de dimensión
finita, entonces la topología fuerte y la débil coinciden (proposición III.8), tenemos
que A(xn ) −* A(x) por ser A acotado y eso es equivalente a que A(xn ) → x.
Espacio Definición IV.11 Espacio de Hilbert separable. Se dice que un spacio de Hilbert es separable
de Hilbert si y sólo si admite una base ortonormal numerable.
separable
63 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Proposición IV.17. Si A ∈ L(H) es autoadjunto, entonces R(A) y ker A son invariantes por
A y H = ker A ⊕ R(A).
j=1
≤M 2
64 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
con λ1 , . . . , λn ∈ R autovalores de A y ϕj j≥1 una base ortonormal de R(A).
Además, supj≥1 λj = máxj≥1 λj = kAk.
Por último, cada autovalor λj tiene multiplicidad finita y λj −−−→ 0.
j→∞
Demostración. [Idea] Fijamos ϕj j≥1 base ortonormal de R(A), y consideramos
An = Pn APn con Pn = PVn y Vn = span {ϕ1 , . . . , ϕn }. Estos An son autoadjuntos
y de rango finito, así que aplicamos el Teorema espectral (rango finito) (IV.18), y por
cada n existe un ϕn conkϕn k = 1 y An (ϕn ) = ±kAn k ϕn .
65 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Apéndice A
Resumen rápido
66 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
que nos lleva a poder decir que el espacio L(X, Y ) es Banach si Y es Banach
(proposición II.3). También se define el espacio dual topológico (II.8) que usaremos para
muchas demostraciones, que es una noción equivalente al dual de álgebra lineal pero
obligando a que las aplicaciones sean además continuas.
A lo largo del resto del capítulo se tratan varios teoremas importantes sobre espacios
de Banach, a saber:
Una pequeña mezcla entre análisis y álgebra: se puede definir el espacio cociente de
un espacio de Banach X/E con E un subespacio cerrado. Lo más relevante es que hay
un Teorema de isomorfía para espacios de Banach (II.21).
67 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
es reflexivo; y el Teorema de Kakutani (III.16) que nos dice que es reflexivo si y sólo si
BX es compacta en la topología débil.
A lo largo de la sección III.3 se trabaja en concreto con los espacios Lp y sus duales.
El teorema importante es el teorema III.19, que nos dice que (Lp )∗ = Lq cuando
1 < p < ∞ y p1 + 1q = 1. Cuando p = 1, el dual es L∞ si el espacio es de medida
σ-finita (definición B.1).
Para las demostraciones es especialmente importante la Desigualdad de
Hölder (III.20), que dice quekf gk1 ≤ kf kp kgkq con p, q exponentes conjugados.
En esta sección también se trabaja en la demostración de que Lp es Banach
(teorema III.22) y enRla identificación de funcionales del dual de Lp con funciones Lq
de la forma λg (f ) = gf dµ (ver lema III.23).
68 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Apéndice B
Otros conceptos
Teorema B.1 (Teorema de convergencia dominada). [JM16, Teorema I.18] Dada una
sucesión fn −−−→ f en casi todo punto, si existe una función g integrable y no negativa
n→∞
tal que |fn | ≤ g entonces Z Z
lı́m fn dµ = lı́m fn dµ
X n n
Medida Definición B.1 Medida σ-finita. [JM16, Def. II.9] Dado un espacio medible (X, X ) y una
σ-finita medida µ, se dice que µ es σ-finita si y sólo si existe un conjunto numerable U ⊆ X tal que su
unión recubre todo X y µ(U ) < ∞ para todo U ∈ U.
Supremo Definición B.2 Supremo esencial. [JM16, Def I.9] Sea f : X 7−→ R una función y (X, X , µ)
esencial
69 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
En otras palabras, es el mayor valor de f tal que por encima sólo hay un conjunto de valores
de medida cero.
Φ : H 7−→ H ∗
x 7−→ ϕx : H 7−→ K
y 7−→ hy, xi
Esto es, Φ es una aplicación antilineal (lineal con la suma y Φ(λx) = λΦ(x)), isométrica
y biyectiva.
En otras palabras, este teorema asegura que todo funcional en un espacio de Hilbert es
en realidad un producto escalar por un elemento del mismo espacio.
70 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Apéndice C
Ejercicios
Los ejercicios marcados con (†) están marcados como de “dificultad especial” en las
hojas.
C.1. Hoja 1
Ejercicio 1.1:
a) Probar, usando el Teorema de categoría de Baire (I.4), que I = x ∈ R x ∈
/ Q 6=
∅ y que, de hecho, I es un conjunto Gδ (I.8).
b) Probar que R no es numerable.
c) Sea X = Z con d(x, y) = |x − y|. Probar que (X, d) es un espacio métrico completo
y que, sin embargo, es numerable. ¿Por qué no contradice esto al Teorema de Baire?
A PARTADO A )
Sabemos que Q es numerable, así que podemos enumerar todos los racionales en
una serie q1 , q2 , . . . , qn , . . . ∈ Q. Definimos entonces Xn = R \ {qn } como una serie
de conjuntos abiertos y densos. La intersección de todos ellos son todos los x ∈ R no
racionales, que es el conjunto I que buscábamos. Además, por el Teorema de categoría
de Baire (I.4), esa intersección es un Gδ denso en R, y por eso mismo es no vacío.
A PARTADO B )
Si R fuese numerable, entonces podríamos enumerarlo: R ≡ {x1 , x2 , . . . , xn , . . . }.
Por otra parte, los conjuntos formados
S por un único punto son diseminados, por lo
que podríamos definir que R = n≥1 {xn }. Sin embargo, esto entraría en contradicción
con el Teorema de Baire, que nos dice que no podemos escribir X como una unión
numerable de conjuntos diseminados.
A PARTADO C )
Para que (X, d) sea un espacio métrico completo, toda sucesión de Cauchy (I.4) ha
de converger en el espacio. Que una sucesión sea de Cauchy implica que ∀ε > 0 existe
un N ∈ N tal que si m, n ≥ N , entonces d(xm , xn ). La cuestión es que, como estamos
71 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Ejercicio 1.2: (†) Sean {an }n ≥ 1, {bn }n≥1 dos sucesiones de números reales y an
absolutamente convergente. Probar que:
a) Sea f dada por X
f (x) = an ϕ(bn )
n≥1
con (
[x] 0 ≤ [x] ≤ 12
ϕ(x) =
1 − [x] 12 ≤ [x] ≤ 1
siendo [x] la parte decimal de x.
Demostrar que f es continua y f ∈ C[0,1] . Además, la serie que define a f (x) es
absolutamente convergente.
b) Sea an = 2−n , bn = 2n , y hm = εn 2−m con εm = ±1 para todo m. Probar que
m−1
f (x + hm ) − f (x) X
2m−n ϕ(2n (x + hm )) − ϕ(2n x)
= εm
hm
n=1
−k
P
c) Si escribimos x = [x] + k>0 αk 2con αk ∈ {0, 1}, entonces
X
ϕ(2n x) = ϕ αn+l · 2−l
l≥1
y X X
εm 2n−m + αn+l · 2−l = 0
αn+l · 2−l
k≥1 l≥1
0
, siendo αn+l = αn+l + δm−n,k εm , con δi,j la delta de Kronecker2 .
1
Cosa que no sé si podemos hacer.
72 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Indicación: Dado 0 < |h| ≤ 1, existe un único k ∈ N con 2−k−1 < |h| ≤ 2−k .
Entonces estimar f (x + h) − f (x) dividiendo la suma en los términos n < k y n ≥ k y
estimando cada suma por separado.
A PARTADO A )
A PARTADO B )
A PARTADO C )
A PARTADO D )
A PARTADO E )
Lo que está diciendo es que el módulo de continuidad de esta función es sólo un
poquito peor que Lipschitz.
Para demostrarlo, vemos que existe un único k ∈ N tal que 2−k−1 < |h| ≤ 2−k . En
1
otros términos, k es la parte entera de log2 |h| . Entonces podemos escribir
X −n n n n
f (x + h) − f (x) = 2 [2 x + 2 h] − [2 x]
n≥1
X
2−n [2n x + 2n h] − [2n x]
≤
n≥1
X X −n n
2−n [2n x + 2n h] − [2n x] + 2 [2 x + 2n h] − [2n x]
=
1≤n≤k n≥k
| {z } | {z }
A B
2
Esto es, δi,j = 1 si i = j, y 0 si i 6= j.
73 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Ejercicio 1.3: Sea (X, d) un espacio métrico compacto. Probar que es completo. ¿Es
cierto el recíproco?
Sea {xn } una sucesión de Cauchy en X, y sea {εn } otra sucesión que tiende a 0.
Por ser {xn } de Cauchy, para cada εn existe un Mn ∈ N tal que si m, n ≥ Mn entonces
d(xm , xn ) < εn . Equivalentemente, para todo n ∈ N tendremos que xn ∈ BSεn (xMn ) =
Bn . Entonces, por ser X compacto existe un subrecubrimiento finito Bni de Bn .
Por ser un subrecubrimiento, tendremos que a partir de un cierto n suficientemente
grande, las bolas Bεn (xMn ) que definíamos antes están estrictamente contenidas en él,
por lo que el límite debe de estar ahí también.
Ejercicio 1.4: (†) Sea {fn }n∈N una familia uniformemente acotada de funciones
diferenciables en [a, b], un intervalo compacto de R, y cuyas derivadas están uniformemente
acotadas.
n o
a) Probar que cierta subsucesión fnj converge uniformemente a una función f
Lipschitz. ¿Es cierto que f es necesariamente diferenciable en todo [a, b]?
b) Probar que si se omite la condición de que la familia sea uniformemente acotada, existe
una sucesión de constantes cn tales que fn − cn converge uniformemente a una función f
Lipschitz continua.
Figura C.1: La idea de la función Lipschitz es que siempre hay un doble cono (el verde) que
contiene a toda la función.
Función Definición C.1 Función Lipschitz continua. Una función f : (X, dX ) 7−→ (Y, dY ) entre
Lipschitz dos espacios métricos se dice Lipschitz continua si existen una constante C ∈ R, C ≥ 0 tal que
continua
para todos x1 , x2 ∈ X se tenga que
A PARTADO A )
Si la familia de funciones está uniformemente acotada, eso significa que tenemos
una cota 0 ≤ C0 < ∞ tal que C0 > fn ∀n ∈ N. Igualmente, si sus derivadas están
uniformemente acotadas tenemos que fn0 < C1 .
El espacio C[a,b] con la norma del supremo, que es donde vive esta sucesión, es
n o
un espacio métrico completo, por lo que existe una subsucesión fnj convergente
uniformemente a f ∈ C[a,b] . Vamos a demostrar ahora que esa f es Lipschitz.
74 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Por otra parte, como las fn tienen derivada acotada por C1 , podemos decir
que
son funciones Lipschitz con cota C1 . Vemos ahora qué ocurre con f (x) − f (y) para
y ∈ [a, b]. Fijando
x, un ε > 0, podemos encontrar un n0 ∈ N tal que si n > n0 entonces
fn (x) − f (x) < ε por ser las fn convergentes a f . Sumando y restando:
j
f (x) − f (y) = f (x) − fn (x) + fn (x) − f (y) + fn (y) − fn (y)
≤ f (x) − fn (x) + f (y) − fn (y) + fn (x) − fn (y)
≤ ε + ε + C1 |x − y|
, por lo que haciendo tender ε → 0 tenemos que f es Lipschitz con la misma cota C1 de
las funciones de la sucesión.
Sin embargo, f no tiene por qué ser necesariamente diferenciable: f sólo es Lipschitz
pero Lipschitz no implica diferenciable en todo punto. Por ejemplo, f (x) = |x| es
continua Lipschitz pero no es derivable en x = 0.
A PARTADO B )
Tomamos cn = fn (a), ya que por el teorema del valor medio tenemos que
fn (x) − cn = fn (x) − fn (a) ≤ C |x − a| ≤ C |b − a| < ∞
A PARTADO A )
Fácil: una sucesión de Cauchy en K es convergente en X por ser X completo. Como
K es cerrado, el límite de la sucesión ha de estar en K, así que K es completo.
A PARTADO B )
Recordamos el Teorema de Heine-Borel (I.14), que nos dice que un subconjunto
K ⊂ X es compacto si y sólo si es cerrado y totalmente acotado. Partimos de que
K es completo y totalmente acotado, por lo que sólo necesitamos probar que además
es cerrado.
Ahora bien, esto es sencillo de probar: por ser K completo, podemos tomar una
sucesión de Cauchy {xn } ⊂ K, que convergerá a un x ∈ K. Por lo tanto K es cerrado y
podemos demostrar el ejercicio aplicando Heine-Borel.
75 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
R ρn = 1.
Esta definición nos vale igualmente para una familia no numerable. Es fácil ver que
ηt son una familia de aproximaciones de la identidad, aunque en este caso miramos el
límite t → ∞ en lugar de t → 0. No es un cambio relevante.
Vamos ahora con la demostración.
A PARTADO A )
Demostramos primero que las ηt mantienen la misma integral sobre R que η:
y = tx
↓
Z Z Z Z
1
ηt (x) dx = tη(tx) dx = t · · η(y) dy = η(y) dy = 1
R R R t R
Por ser f continua podremos acotar su valor en entornos pequeños, esto es, que
∀ε > 0 existe un δ > 0 tal que f (y) ∈ Bε (f (x)) si x − y ∈ Bδ (0). Además, dado que las ηt
tienen un soporte cada vez más pequeño, esto es, sop ηt −−−→ {0}, podemos encontrar
t→∞
un tε suficientemente grande tal que sop ηt ⊆ Bδ (0) si t > tε . En este caso podemos
acotar y ver que, si t > tε , entonces
Z
ft (x) = f (x − y)ηt (y) dy
ZR
= f (x − y)ηt (y) dy
Bδ (0)
Z
≤ (f (x) ± ε)ηt (y) dy
Bδ (0)
Z
= (f (x) ± ε) ηt (y) dy = f (x) ± ε
Bδ (0)
76 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
A PARTADO B )
Vamos a usar una propiedad de la convolución, y es la siguiente: dadas f, g,
entonces
df ∗ g df dg
= ∗g =f ∗
dx dx dx
Esto nos permitirá sacar la derivada de la convolución aprovechando que η es
derivable. Calculamos su derivada:
ηt0 (x) = t2 η 0 (tx)
, lo que nos deja que
Z
ft0 (x) = f ∗ ηt0 (x) = f (x − y)t2 η 0 (tx) dy
R
Ahora vamos a tratar de acotar esta integral acotando las dos funciones que
tenemos. η 0 está acotada por ser η derivable, y f también está acotada por ser continua
en un compacto. Llamaremos Kf , Kη a las respectivas cotas para f y η 0 .
El siguiente paso es ver que, dado que tanto f como η (y por lo tanto ηt0 ) tienen
soporte compacto, no tenemos que evaluar la integral en todo R sino sólo donde alguna
de las dos funciones sea distinta de cero. Podemos suponer que siempre hay un soporte
contenido en el otro (si no, la intersección será más pequeña que cualquiera de los dos
y la cota será menor).
Empezaremos viendo qué ocurre cuando sop ηt0 ⊆ sop f (x − y). En este caso,
tendremos que
Z Z Z
2 0 2 0 2
f (x − y)t η (tx) dy = f (x − y)t η (tx) dy ≤ t Kf Kη dy
R
sop ηt0 sop ηt0
Nos falta ver el caso contrario: qué ocurre cuando sop f (x − y) ⊆ sop ηt0 . De manera
análoga, nos quedaría que
Z
f (x − y)t2 η 0 (tx) dy ≤ Kf Kη t2 · m(sop f (x − y))
sop f (x−y)
Ahora bien, este caso (sop f (x − y) ⊆ sop ηt0 ) ocurre sólo cuando t es pequeño
(para t grande el soporte de ηt se hace tan pequeño como queramos y acabará estando
contenido en el de f (x − y)). Luego en este caso tendremos t acotado y por lo tanto
podremos decir que
Kf Kη t2 · m(sop f (x − y)) ≤ C2
con C2 ∈ R independiente de t. Sumando ambas cotas, tenemos que ft0 ≤ C1 t + C2 , y
tomando C = máx {C1 , C2 } nos queda que ft0 ≤ Ct + C = C(1 + t).
77 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
C.2. Hoja 2
c) Si xn → x en X, entonceskxn k → kxk.
d) Dado E ⊂ X definamos d(x, E) = ı́nf kx − yk y ∈ E . Entonces d(x, E) es
también Lipschitz continua de constante 1.
A PARTADO A )
Sea U ⊂ X. Ya hemos visto que x + U es un abierto para un x ∈ V ⊂ U. Si tomamos
entonces z ∈ x + U, existirá un y ∈ U con z = x + y. Como U es abierto, podemos tomar
una bola Bδ (y) ⊂ U y entonces x + Bδ (x) ⊂ x + U, luego efectivamente x + U es abierto.
Un argumento similar valdrá para demostrar que rU es abierto. No merece
demasiado la pena pararse en ello.
A PARTADO B )
Sumando y restando, podemos ver que
kxk =
(x + y) − y
≤ kx − yk +kyk
A PARTADO C )
Se resuelve simplemente por continuidad de la norma.
A PARTADO D )
Si d(x, E) es Lipschitz de constante 1, entonces lo que queremos ver es que
d(x, E) − d(x0 , E) ≤ x − x0
78 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Esto se puede entender como una generalización del apartado B, si en ese caso
tomábamos E = {0}.
Para demostrarlo, tomamos x, x0 ∈ V y ε > 0. Entonces existen y, y 0 ∈ E con
d(x, E) ≤ kx − yk ≤ d(x, E) + ε
d(x0 , E) ≤
x0 − y 0
≤ d(x0 , E) + ε
, de tal forma que nos acercan todo lo que queramos a esa distancia3 . Además, podemos
hacer dos estimaciones adicionales por ser la distancia el ínfimo:
d(x0 , E) ≤
x0 − y
d(x, E) ≤
x − y 0
Supongamos además sin pérdida de generalidad que d(x, E) ≥ d(x0 , E). Entonces
A + A = {x + y x, y ∈ A} = 2A = {2x x ∈ V }
A PARTADO A )
Está claro que 2A = {x + x x ∈ A} ⊂ A + A, y para esto no necesitamos para
nada la convexidad. La inclusión no será demasiado complicada.
Sea z ∈ A + A. Entonces z = x + y con x, y ∈ A. Dividiendo por dos,
1 1 1
z = x+ y
2 2 2
3
No tiene por que ser igual porque está definido como el ínfimo, no tiene por qué alcanzarse.
79 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
, que está en A por ser convexo. Luego si 12 z ∈ A, sólo queda ver que z ∈ 2A.
A PARTADO B )
Tomamos T en (1 − t)x + ty ∈ A y listos, podemos hacerlo por linealidad.
A PARTADO C )
Empezamos primero con la bola cerrada. Tomamos p, q ∈ Br (x) y 0 ≤ t ≤ 1.
Entonces
(1 − t)p + tq − x
=
(1 − t)(p − x) + t(q − x)
≤
≤ (1 − t)kp − xk + (t)kq − xk ≤ (1 − t)r + t(r) = r
, así que como
((1 − t)p + tq) − x
≤ r, tenemos que (1 − t)p + tq ∈ Br (x).
Para la bola abierta se hace igual, sólo que aparece un menor estricto en kp − xk <
r,kq − xk < r y nos sale.
A PARTADO D )
Sean x, y ∈ A y t ∈ [0, 1]. Por ser A cerrado, existirán sendas sucesiones {xn } , {yn } ⊂
A que convergen respectivamente a x e y. Consideramos ahora los puntos (1 − t)xn +
tyn ∈ A por ser A convexo. Como A es cerrado, la sucesión de esos puntos tenderá a
(1 − t)x + ty que está en A.
A PARTADO A )
Podemos hacer la siguiente estimación:
Z Z
1 1
Z 1
λf (g) = f (x)g(x) dx ≤ f (x) g(x) dx ≤ kgk∞ f (x) dx = kf k kgk
0 1 ∞
0 0
, luego λf ∈ X ∗ .
A PARTADO B )
Si f ∈ C([0, 1]), entonces
λf
X ∗ ≥ kf k1 . Supongamos que f ∈ C([0, 1]) y f 6≡ 0.
80 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Consideramos
|f (x)|
f (x) f (x) 6= 0
g(x) = sign f (x) =
0 f (x) = 0
Entonces Z 1 Z 1
λf (g) = f (x) sign f (x) dx = f (x) dx = kf k
1
0 0
6 0, por lo que kgk∞ = 1 y
Además, como f 6≡ 0, g(x) 6= 0 y g(x) = 1, si g(x) =
entonces
λf (g) kf k
1
= = kf k1 =⇒
λf
X ∗ ≥ kf k1
kgk∞ 1
Supongamos adicionalmente que sop f ⊆ [ε, 1 − ε] para cierto 0 < ε < 1/2, y
que entonces tendremos sop g = sop f . Ahora vemos que sop gt = sop g + sop θt =
[ε − t, 1 − ε + t] ⊂ [0, 1] si 0 < t ≤ ε.
Calculamos ahora λf (gt ) con t ∈ (0, ε], ya que esta gt siempre será continua para
t > 0.
Z 1
λf (gt ) = f (x)(g ∗ θt )(x) dx =
Z0
= f (x)(g ∗ θt )(x) dx =
R
Z Z
= f (x) g(y)θt (x − y) dy dx =
R
R
Z Z
= g(y) f (x) θt (x − y) dx dy =
R R
=θt (y−x)
Z
= g(y)(f ∗ θt )(y) dy
R
L∞
Como f ∈ C[0, 1], entonces f ∗ θt −−→ f , luego podemos la integral converge
t→0
igualmente: Z Z
g(y)(f ∗ θt )(y) dy −−→ g(y)f (y) dy
R t→0 R
4
Familia de aproximaciones de la identidad (C.2)
81 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Lo único que nos falta ver es que kgt k∞ −−→ 1. Sabemos que kgt k∞ ≤ kgk∞ = 1,
t→0
como consecuecnia de que θ ≥ 0 y kθk1 = 1. Pero si f 6≡ 0, entonces g es de módulo 1
y continua en cualquier abierto donde f 6= 0, y entonces gt (x) −−→ g(x). Para verlo, si
t→0
g es continua en x pues sale, y si no el módulo es exactamente 1, y juntándolo tenemos
que la norma infinito converge hacia uno cuando t se hace pequeñito. Y juntando de
nuevo esto con otra cosa, juraría que lo de la norma de antes, entonces nos queda que
λf (gt ) lı́m inf t→0
λf (gt )
λf
∗ ≥ lı́m inf = = kf k1
X t→0 kgt k∞ lı́m inf t→0 kgt k∞
Y ya casi lo hemos probado si sop f ∈ [ε, 1 − ε]. Nos queda probarlo para el
último caso de f ∈ C([0, 1]). Sea ε > 0. Consideramos fε como una versión truncada,
formalmente
f (x) x ∈ [ε, 1 − ε]
f (ε) 1 − 2 ε−x
x ∈ [ /2, ε]
ε
fε (x) = ε
1−ε−x
f (1 − ε) 1 − 2 1−ε x ∈ [1 − ε, 1 − ε/2]
0 x ∈ [0, ε/2] ∪ [1 − ε/2, 1]
kf − fε k1 ≤ · · · ≤ 2εkf k1
Ejercicio 2.4: Dada f ∈ C([−1/2, 1/2]) (que entenderemos extendida por periodicidad
de período 1 a todo R), sus coeficientes de Fourier son
Z 1/2
def
fˆ(n) = f (x)e−2πinx dx n∈Z
−1/2
82 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
def
X
SN f (x) = fˆ(n)e2πinx N ∈N
|n|≤N
Demostrar que:
def
e2πint el llamado Núcleo de Dirichlet., entonces
P
a) Dado DN (t) = |n|≤N
Z 1/2
b) Probar que
sin 2πt(N + 1/2)
DN (t) =
sin πt
Indicación: las sumas 1≤n≤N e2πint y −N ≤n≤−1 e2πint son ambas geométricas y
P P
conjugadas entre sí. Además, según la notación del ejercicio 2.2, SN (f )(0) = λDN (f ).
c) Probar que existe C > 0 tal que
1 1
Indicación: si |t| ≤ 1/2, entonces sin πt − πt = O(1).
d) Usar el ejercicio 2.2 y los apartados anteriores para concluir que existe una f ∈
C([−1/2, 1/2]) cuya serie de Fourier diverge en x = 0; y que de hecho existe todo un Gδ
denso de funciones con esa propiedad.
A PARTADO A )
Los núcleos de Dirichlet están dados por
def
X
DN (t) = e2πint
|n|≤N
Podemos pasar e2πinx dentro de la integral por ser constante con respecto a y, y
dado que la suma que estamos haciendo es finita, podemos pasar el sumatorio dentro
de la integral por linealidad de ésta, y lo que nos queda es que
!
X Z 1/2 Z 1/2 X
−2πiny
f (y)e dy e2πinx
= f (y) · e−2πiny · e2πinx =
|n|≤N −1/2 −1/2 |n|≤N
Z 1/2 X Z 1/2 X
= f (y)e2πn(x−y) dy = f (y) e2πn(x−y) = (DN ∗ f )(x)
−1/2 |n|≤N −1/2 |n|≤N
DN (x−y)
83 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
A PARTADO B )
Definimos
def def
X X
+ −
DN (t) = e2πint DN (t) = e2πint
1≤n≤N −N ≤n≤−1
+ − + + +
DN (t) = DN (t) + DN (t) + e2πit·0 = DN (t) + DN (t) + 1 = 2 Re DN (t) + 1
+
Dado que DN (t) es una suma geométrica, podemos hallar su valor:
A PARTADO C )
Una primera observación es que podemos reducirnos a estudiar la integral en el
intervalo [0, 1/2], ya que el valor absoluto del seno es una función par:
Z 1/2 Z 1/2
1/2)
sin 2πt(N + 1/2) sin 2πt(N +
kDN kL1 [−1/2,1/2] = dt = 2 dt (C.1)
−1/2
sin πt
0 sin πt
1 1
Usando la sugerencia, sabemos que sin πt − πt = O(1) cuando |t| ≤ 1/2, luego
Hay dos problemas que sortear en la integral: por un lado, la indeterminación
cuando t → 0 y el valor absoluto en el numerador. Podemos dividir el intervalo de
integración en subintervalos en los que el numerador no cambie de signo, y además
84 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
h
1
Integral en I0 El primer intervalo a resolver será I0 = 0, 2(N + 1/2) , que es donde
L’Hopital
sin 2πt(N + 1/2) ↓ 2π(N + 1/2) · cos 2πt(N + 1/2)
lı́m = lı́m = 2(N + 1/2)
t→0 sin πt t→∞ π · cos πt
sin πt · cos 2πt(N + 1/2) − cos πt · sin 2πt(N + 1/2) sin πt(1 − 2N − 1)
f 0 (t) = 2 =
sin πt sin2 πt
sin −2πtN − sin 2πtN 1
= 2 = 2 ≤ 0 ∀t ∈ 0,
sin πt sin πt 2(N + 1/2)
Z
sin 2πt(N + 1/2)
Z
1 1 1
dt = sin(2πt(N + 1/2)) · −
sin πt πt πt dt =
+
Ik sin πt Ik
≤1
≤M
Z k+1 k+1
2(N +1/2) 1 M log t 2(N +1/2)
≤ M+ dt = + =
k πt 2(N + 1/2) π t= k
2(N +1/2) 2(N +1/2)
M log(k + 1) − log k
= +
2(N + 1/2) π
Como los logaritmos tienen signo alternado, se van a cancelar al sumar las integrales
de intervalos sucesivos y por lo tanto quedará
N −1 Z
X M (N − 1) log N − log 1 1
0≤ f (t) dt ≤ + = O(1) + log N (C.3)
Ik 2N + 1 π π
k=1
85 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
P −1
Falta ahora una cota inferior para comprobar que efectivamente N k=1 = O(1) +
1
C log N . Para ello, observamos dos cosas: que sin πt ≤ πt cuando |t| ≤ 1/2 y que πt es
monótona decreciente. Entonces podemos operar y ver que
Z Z Z
sin 2πt(N + 1/2) sin 2πt(N + 1/2) sin 2πt(N + 1/2)
dt ≥ dt ≥ dt =
Ik sin πt Ik πt Ik π 2(Nk+1
+1/2)
1 2(Nk+1
+1/2)
2
= 2 cos 2πt(N + 1/2)t= = 2
k
π k 1
2(N + /2) π k
para alguna constante 0 < C < ∞ (de hecho, según estos cálculos, C debería de estar
entre π22 y π1 ).
h i
Integral en IE La función en este intervalo IE = 2(NN+1/2) , 21 es continua y por lo
tanto acotada, y como la medida del intervalo m(IE ) −−−−→ 0 se va a cero, es fácil ver
N →∞
que Z
f (t) dt = O(1) (C.6)
IE
A PARTADO D )
Según
la notación
del ejercicio 2.2, λDN (f ) = SN f (0), con λDN un operador acotado.
De hecho,
λDN
L(X,R) = kDN k1 , y λDN ∈ L(X, R) donde X = (C([−1/2, 1/2],k·k∞ ) que
es un espacio Banach y R normado.
Como los funcionales λDN N ≥1 no están acotados uniformemente (kDN k1 −−−−→
N →∞
∞ según hemos demostrado en (C.7)), el Teorema de acotación uniforme de Banach-
Stainhaus nos dice que existe un conjunto B Gδ denso en X tal que
sup
λDN (f )
R = sup
SN f (0)
R = ∞ ∀f ∈ B (C.8)
N ≥1 N ≥1
86 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
, luego la única posibilidad para que (C.8) se cumpla es que
SN f (0)
R diverja para
f ∈ B, siendo B un Gδ denso en X, tal y como se pedía demostrar.
A PARTADO A )
Como la dimensión de X es finita, podemos fijar B = {e1 , . . . , en } base de X y
∗ ∗ ∗
la base dual algebraica B = e1 , . . . , en , ambas ortonormales. Con estas dos bases
podemos expresar cualquier elemento x ∈ X como
n
X
x= e∗i (x)ei
i=1
Dado que la suma de los A(ei ) es finita y cada uno de los sumandos es finito (si no,
A no sería lineal) esa norma es finita y ya tenemos la cota que buscábamos.
A PARTADO B )
87 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
A PARTADO A )
La existencia de la inversa viene por el hecho de que la aplicación sea biyectiva.
Tenemos que demostrar que es lineal y acotada.
Para la linealidad, por un lado T −1 (x + y) = c ⇐⇒ T (c) = x + y. Como T es
biyectiva, existen a, b ∈ X tales que T (a) = x, T (b) = y, luego T (c) = T (a) + T (b) =
T (a + b), luego c = a + b por ser inyectiva y T −1 (x + y) = a + b = T −1 (x) + T −1 (y).
Por otro, T −1 (λy) = a ⇐⇒ λy = T (a). Como T es biyectiva, existe b ∈ X tal que
T (b) = y, luego λT (b) = T (a) =⇒ T −1 (λy) = λT −1 (y).
Para la acotación, por el Teorema de la aplicación abierta (II.10) sabemos
que
∃δ > 0
tal que T (B1 (0)) ⊃ Bδ (0). Sea ahora y ∈ Y , y queremos demostrar que
T (y)
< C
para una cota C > 0. Lo que hacemos es “reescalar” y: y 0 = 2kyk δ
y, de tal forma que
0 −1 0 −1
y ∈ Bδ (0) ⊂ Y . Así, T (y ) ∈ B1 (0) ⊂ X. Ahora bien, como T es lineal entonces
T −1 (y 0 ) = 2kyk
δ
T −1 (y), luego
δ
−1
T (y)
≤ 1
2kyk
−1
2kyk
T (y)
≤
δ
−1
2
T
≤
δ
así que ya tenemos la acotación que buscábamos.
A PARTADO B )
Sik·k1 domina ak·k2 , entonces (proposición II.5) existe una constante C < ∞ tal que
∀x ∈ X kxk1 ≤ Ckxk2 . Denotamos entonces X = (V,k·k1 ) e Y = (V,k·k2 ), y definimos
la aplicación identidad entre ellos, que es obviamente una biyección y una aplicación
lineal acotada (norma 1).
Ahora sólo falta ver que
T (x)
2 = kxk1 = kxk2 y listos.
88 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
A PARTADO A )
Sea {yn }n≥1 ⊂ Y una sucesión de Cauchy. Como I es sobreyectiva, existe otra
sucesión {xn }n≥1 ⊂ X tal que I(xn ) = yn ∀n ≥ 1. Vamos a ver que xn es de Cauchy:
sabemos que ∀ε > 0 existe un N > 1 tal que si n, m ≥ N entonceskyn − ym k < ε. Ahora
podemos ver que
kxn − xm k =
I(xn − xm )
=
I(xn ) − I(xm )
= kyn − ym k < ε
A PARTADO B )
A PARTADO C )
Dado que las isometrías son inyectivas y nos dicen que es sobreyectiva, entonces
I es biyectiva y por lo tanto es un isomorfismo lineal. Que la inversa es isometría es
trivial.
A PARTADO D )
Nota: Voy a suponer que dice isometría de X en X
Tenemos dimensión n finita, luego podemos dar una base {e1 , . . . , en } para X.
89 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Para que sea sobreyectiva, vemos que podemos construir una base de forma
recursiva. Como I(e1 ) ∈ X podemos expresarlo como suma de elementos de la base,
esto es,
I(e1 ) = α1 e1 + · · · + αn en
y despejar:
I(e1 ) − α2 e2 − · · · − αn en
e1 =
α1
Repitiendo, llegaremos a que I(e1 ), . . . , I(en ) es una base y por lo tanto ya
tenemos la sobreyectividad.
Por el camino me he dejado ver qué pasa si alguno de los coeficientes es 0 y no
podemos despejar.
A PARTADO E )
La aplicación que “desplaza” una sucesión es lineal e isometría pero no
sobreyectiva:
T (x1 , x2 , . . . ) = (0, x1 , x2 , . . . )
Ejercicio 2.9: Sean X e Y espacios de Banach y {Tn }n≥1 ⊂ L(X, Y ) tales que
def
∀x ∈ X existe el límite lı́mn→∞ Tn (x) = T (x). Demuestra que
a) supn≥1 kTn k < ∞.
b) T ∈ L(X, Y ).
c)kT k ≤ lı́m supn→∞ kTn k.
A PARTADO A )
Suponemos que que exista el límite implica que es finito. En ese caso, aplicamos el
Teorema de acotación uniforme de Banach-Stainhaus (II.8), y como el límite siempre es
finito entonces están uniformemente acotadas.
A PARTADO B )
Cuentas.
90 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
A PARTADO A )
A PARTADO B )
Tomamos un x ∈ X con kxkX < r, y suponemos sin pérdida de generalidad que
C(x). Por el apartado anterior,
εn kfn kX + C(x) εn kfn kX C(x)
hgn , xi ≤ = + <
1 + εn kfn kX ∗ 1 + εn kfn kX ∗ 1 + εn kfn kX ∗
<1 <C(x)
A PARTADO C )
Si efectivamente las fn no
estuviesen
acotadas, entonces existiría una sucesión
n1 < n2 < · · · con lı́mj→∞
fnj
X ∗ = ∞. Así, para un x ∈ X podemos ver que
hfnj , xi = (1 + εnj
fnj
X ∗ )hgnj , xi. Tomando valores absolutos, podemos estimar y
ver que
hfnj , xi = (1 + εnj
fnj
X ∗ )hgnj , xi ≤
≤ (1 + εnj
fnj
X ∗ )
gnj
X ∗ kxkX ≤
≤ (1 + εnj
fnj
X ∗ )CkxkX
hfnj , xi
≤ CkxkX
1 + εnj
fnj
X ∗
hϕnj , xi
1
≤ CkxkX
1 + εnj
fn
j X∗
definiendo
def fnj ∗
ϕnj =
fn
∗ ∈ B1 (0) ⊂ X
j X
El denominador de ahí se irá a cero,a así que para cada j elegimos un xj con
xj
= 1, y el producto escalar es mayor que un medio y al final contradicción.
X
91 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
al absurdo suponiendo que xn → x0 y supn
A(xn )
X ∗ = ∞ y aplicar el ejercicio
anterior.
b) Deducir que si T : X 7−→ X ∗ es lineal con la propiedad
hT (x), x)i ≥ 0 ∀x ∈ X
entonces T es acotado.
c) Mostrar mediante un ejemplo que si T es como en el apartado anterior pero sólo en
un subespacio D(T ) la conclusión ya no es válida, incluso aunque D(T ) sea denso.
A PARTADO A )
λ : E 7−→ C
{µn }n≥1 7−→ lı́m µn
n→∞
92 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
A PARTADO A )
Es claro que
X X X
λ({an }) = a n n ≤
µ |an | |µn | ≤ an sup µn = kan k1 kµn k∞
n≥1 n≥1 n≥1
A PARTADO B )
Operando por linealidad de λ, vemos que
X X X
an µn = λ(en an ) = λ en an = λ({an })
n≥1 n≥1 n≥1
A PARTADO C )
El conjunto A ⊂ `∞ de sucesiones que sólo constan
de ceros 5
y unos es no
numerable, y dos sucesiones distintas cumplen que
{an } − {bn }
∞ = 1. Para ver
que es no numerable simplemente hay que fijarse que ese espacio de sucesiones es
isomorfo a P (N) (cada sucesión {an } se corresponde con un conjunto B ∈ P(N) donde
k ∈ B ⇐⇒ ak = 1), que es no numerable.
Por otra parte, para demostrar que `1 sí es separable, damos el siguiente conjunto6
de sucesiones de racionales con una cantidad finita de elementos no nulos:
Q = {xn }n∈N ⊂ Q ∃N ∈ N, ∀n ≥ N xn = 0
A PARTADO D )
Que el funcional es
n acotado
o es trivial. Que no existe una sucesión que nos valga es
fácil. Definimos ak ≡ akn como la sucesión con los k primeros términos nulos y el
n≥1
resto 1, por ejemplo: n o
a4n = {0, 0, 0, 0, 1, 1, . . . }
n≥1
Está claro que
ak
= 1 y que λ(ak ) = 1. Supongamos que ahora existe una
∞
sucesión {αn }n≥1 ⊂ `1 que representa a λ. Pero entonces vemos que, para todo k,
5
Idea: Math.SX.
6
Idea: Math.SX de nuevo.
93 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Haciendo este procedimiento, tenemos que αn = 0 ∀n ∈ N, pero está claro que esa
sucesión no representa al funcional, luego λ no se corresponde con ningún elemento de
`1 .
a(x, ·) ∈ F ∗ ∀x ∈ E
a(·, y) ∈ E ∗ ∀x ∈ F
(en otras términos, bilineal y continua en cada variable implica continua conjuntamente).
x
Dado que x 6= 0 y a es lineal en x, podemos ver que a(x, ·) = kxkE a kxkE , · y
entonces lo que nos queda es que
!
a(x, w) ≤
a x
kxk , ·
kxk kwk
E F
E
∗
F
Podremos estimar esa cantidad tomando entonces el supremo para todos los z ∈
B1 (0), y entonces tendremos que
n
o
a(x, w) ≤ sup
a(z, ·)
∗ z ∈ B1 (0) ⊂ E ·kxkE kwkF (C.11)
F
94 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Supongmaos que ese supremo de ahí sea infinito. Como F es completo, usando el
Teorema de acotación uniforme de Banach-Stainhaus (II.8) existiría un cierto conjunto
F0 n⊂ F , un Gδ contenido en Fo y tal que para cualquier w ∈ F0 se tenga que
sup
a(z, w)
F ∗ z ∈ B1 (0) ⊂ E = ∞. Pero dado un w0 ∈ F0 , si consideramos
n o
la aplicación a(·, w0 ) ∈ E ∗ tendríamos que sup a(z, w0 ) z ∈ B1 (0) ⊂ E = ∞,
A PARTADO A )
El operador es obviamente lineal y la cota de la norma se cumple trivialmente.
Tendríamos problemas si estuviésemos trabajando con L∞ porque ahí no tenemos bien
definido el valor de la función en un único punto (dos funciones equivalentes pueden
tener valores distintos en un conjunto de medida cero de puntos), pero como estamos
con funciones continuas no hay ningún problema.
A PARTADO B )
El núcleo de δx0 es ker δx0 = f ∈ C([0, 1]) f (x0 ) = 0 , que es cerrado porque
f (x0 ) = 0 es cerrado y el funcional es continuo.
A PARTADO C )
Se puede ver que X/ker δx0 ∼ = C, ya que las funciones están determinadas por el
valor en x0 , que es cualquiera dentro de C.
95 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
c) Si X = (L2 (Ω, A, µ),kk2 ) con (Ω, A, µ) un espacio de medida, demostrar que para
f, g ∈ X entonces
f + g
2
f − g
2 kf k22 +kgk22
2
2
=
+
2 2 2
Espacio es- Definición C.3 Espacio estrictamente convexo. Un espacio de Banach X se dice
trictamente estrictamente convexo si dados x, y ∈ X con kxk = kyk = 1 y x 6= y, entonces
convexo
(1 − t)x + ty)
< 1 ∀t ∈ (0, 1).
Espacio uni- Definición C.4 Espacio uniformemente convexo. Un espacio de Banach X se dice
formemente uniformemente convexo si dados x, y ∈ X conkxk = kyk = 1 y x 6= y y ∀ε > 0, sikx − yk > ε
convexo
entonces existe un δ > 0 tal que
x + y
2
<1−δ
Lema C.1. Sea ϕ : [a, b] 7−→ R convexa con ϕ(a) = ϕ(b) = L. Si ∃c ∈ (a, b) con ϕ(c) ≥ L,
entonces ϕ es constante en [a, b].
Demostración. Lo primero que vamos a ver es que no puede ser que ϕ(c) > L, sólo
que ϕ(c) = L. Dado que c ∈ (a, b) podemos escribirlo como c = (1 − t)a + tb para
algún t ∈ (0, 1).
Como ϕ es convexa, entonces
ϕ convexa
↓
L ≤ ϕ(c) = ϕ((1 − t)a + tb) ≤ (1 − t)ϕ(a) + tϕ(b) = L
, luego ϕ(c) = L.
Sea ahora a < x < c, y supongamos que ϕ(x) < L. Como c ∈ (x, b), entonces
podemos escribir c = (1 − s)x + sb para s ∈ (0, 1) y haciendo lo mismo que antes
En otras palabras, este lema dice que si la función es convexa (es decir, que se va
hacia abajo y luego sube) y en algún punto alcanza L, entonces la única posibilidad es
que sea constante. Ver dibujito correspondiente.
A PARTADO A )
Consideramos ϕ(t) =
z(t)
con t ∈ [0, 1] y z(t) = (1 − t)x + ty. Está claro que
ϕ(0) = ϕ(1) = 1. Vamos a demostrar que ϕ es convexa.
96 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
A PARTADO B )
A PARTADO C )
Vemos que
Z Z Z
kf ± gk22 = |f ± g|2 = (f ± g)(f ± g) = |f |2 + |g|2 ± (gf + gf )
Ω Ω
C.3. Hoja 3
p(tx) = tp(x) x ∈ X, t ≥ 0
p(x + y) ≤ p(x) + p(y)x, y ∈ X
97 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
A PARTADO A )
Sean x, y ∈ Eα . Para demostrar que Eα es convexo hay que demostrar que ∀t ∈ [0, 1]
se tiene que (1 − t)x + ty ∈ Eα . Si x, y ∈ Eα entonces λ(x) = λ(y) = α, y por lo tanto
λ (1 − t)x + ty = λ((1 − t)x) + λ(ty) = (1 − t)λ(x) + tλ(y) = α
A PARTADO B )
/ R, entonces es de la forma α = reiθ con r > 0 y θ ∈ (0, 2π). En ese caso,
Si α ∈
podemos multiplicar el funcional λ por el escalar τ = eiθ , de tal forma que λ̃(x) = τ λ(x)
y λ̃−1 ατ = λ−1 (α), con ατ = re0 ∈ R.
El funcional
λ̃
es simplemente
una
rotación de λ: sigue manteniendo la misma
iθ
norma: (x) = e λ(x) = 1 · λ(x)
. Al ser una multiplicación por un escalar sigue
λ̃
manteniendo las propiedades de linealidad de λ.
A PARTADO C )
Para demostrar que Eα es cerrado, se puede ver que su complementario c
c
α ha de
E
ser abierto. Tomamos x ∈ Eα tal que λ(x) 6= α. Sea ε > 0 tal que ε < λ(x) − α. Por ser
λ continuo, existe un δ > 0 tal que si y ∈ Bδ (x) entonces λ(x) − λ(y) < ε < λ(x) − α.
Es decir, que λ(y) 6= α (si fuera igual, ε sería 0 y hemos dicho que es estrictamente
positivo) y entonces y ∈/ Eα .
98 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
En resumen, para cualquier x ∈ Eαc podemos encontrar una bola abierta Bδ (x) con
δ > 0 tal que Bδ (x) ⊂ Eαc , luego Eαc es abierto y por lo tanto Eα es cerrado.
A PARTADO D )
Si Eα = ∅, entonces es cerrado y no hace falta probar nada. Si no es vacío, entonces
∃a ∈ Eα con λ(a) = α, y podemos expresar Eα = E0 + a, que es cerrado.
A PARTADO E )
Vamos a hacer la caracterización por sucesiones, buscando ver que no existen
sucesiones cuyo límite está fuera de Eα cuando lo miramos dentro de V 0 . Las únicas
sucesiones problemáticas son las que convergen fuera de V (si alguna convergiese con
V y no tuviese límite en Eα entonces éste no sería cerrado).
A PARTADO F )
Recordando el Teorema de isomorfía para espacios de Banach (II.21), lo que tenemos
es que E = E0 = ker λ y por lo tanto tenemos que λ̃ es un isomorfismo lineal y continuo
con la norma de K.
Por ser λ̃ isomorfismo, tenemos que al menos λ es sobreyectivo. El resto no lo veo
claro y no sé si me falta alguna condición.
Demuestra que:
a) Si t ≥ 0, p(tx) = tp(x) para el gauge de un conjunto C absorbente con 0 ∈ C. Si
además C es balanceado, entonces p(tx) = |t| p(x) para cualquier escalar t.
b) Si C es convexo, probar que p(x + y) ≤ p(x) + p(y) para cualesquiera x, y ∈ V .
Sugerencia: Probar que si λ, µ > 0 y C es convexo entonces λC + µC = (λ + µ)C.
c) Si A = x ∈ V p(x) < 1 y B = x ∈ V p(x) ≤ 1 , entonces se cumple que
A ⊂ C ⊂ B.
d) Ver que si X = (V,k·k) es normado, C abierto y absorbente y 0 ∈ C entonces
tenemos que
C = x ∈ V p(x) < 1 C = x ∈ V p(x) ≤ 1
A PARTADO A )
Si C es absorbente, su unión es todo el espacio luego para un α suficientemente
grande, x ∈ αC. Como además 0 ∈ C, ha de existir un β ∈ (0, 1] βx ∈ C, ya que si no
existiese nunca podríamos “hacer crecer” C y llegar a cubrir todo V .
En particular, tomamos β como el supremo de todos los valores que cumplen esa
condición. En ese caso, p(x) = β1 , y p(tx) = βt luego la igualdad sale directamente.
99 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
A PARTADO B )
Seguimos la sugerencia y vemos que si λ, µ > 0 entonces λC + µC = (λ + µ)C con
C convexo.
Sea entonces x ∈ λC + µC, que será de la forma x = λc1 + µc2 con c1 , c2 ∈ C.
Consideramos ahora c0 = c1 +c
2 , que está en C por ser convexo. No sé seguir.
2
A PARTADO C )
Voy a suponer que C tiene que seguir siendo convexo, porque entonces es falso de falsísima
falsedad.
Vamos por partes. Si x ∈ A, entonces eso significa que existe un c ∈ C tal que8
x = λc con 0 < λ < 1. No sé seguir.
El otro caso es más sencillo: si c ∈ C, entonces en particular c ∈ 1C luego p(x) ≤ 1
obligatoriamente.
A PARTADO D )
λ(x) ≤ α ∀x ∈ A
λ(x) ≥ α ∀x ∈ B
λ(x) ≤ α − ε ∀x ∈ A
λ(x) ≥ α + ε ∀x ∈ B
7
Voy a simplificar: sé que pone el ínfimo en la definición del gauge pero voy a hacer como si no. Si
queremos ponernos formales, en lugar de decir que x ∈ λC hay que sustituir por x ∈ (λ + ε)C para ε → 0,
pero en el fondo es lo mismo.
8
Ver la nota anterior: sé que es un ínfimo y no tiene por qué ser x = λc, pero para la demostración
puedo pasarlo por alto porque todo sigue valiendo si lo hacemos formalmente y es menos lío de escribir.
100 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
A PARTADO A )
Veamos que son convexos: sean x, y ∈ Aα y t ∈ [0, 1]. Queremos ver que tx + (1 −
t)y ∈ Aα . Operamos y vemos que
A PARTADO B )
Ejercicio 3.4: Pretendemos probar la segunda versión del teorema anterior, siguiendo
los siguientes pasos que siguen seguidamente:
a) Sea A0 = A − B. Probar que A0 es convexo y cerrado y que 0 ∈
/ A0 . Concluir que
∃r > 0 tal que Br (0) ⊂ (A0 )c .
b) Usando el Teorema de Hahn-Banach (Primera forma geométrica) (C.2), demuestra
que Br (0) y (A0 )c pueden ser separados por un hiperplano y por tanto existe un funcional
101 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
A PARTADO A )
Vamos a ver primero que A0 es convexo. Sean x1 = a1 − b1 y x2 = a2 − b2 elementos
de A0 , con ai ∈ A y bi ∈ B. Vamos que ver que ∀t ∈ [0, 1] se tiene que tx1 + (1 − t)x2 . Lo
tenemos simplemente operando:
tx1 + (1 − t)x2 = ta1 − tb1 + (1 − t)a2 − (1 − t)b2 = ta1 + (1 − t)a2 − tb1 + (1 − t)b2
∈A ∈B
Para ver que es cerrado, tomamos {xn }n∈N una sucesión de Cauchy en A0 que
converja a x ∈ V . Podemos escribir entonces cada elemento o xn = an − bn .
n como
Como B es compacto, podemos encontrar una subsucesión bnj convergente a
n o j≥1
b ∈ B. La subsucesión xnj seguirá convergiendo a x. Ahora vemos que anj =
n j≥1o
xnj + bnj −−−→ x + b. Como anj es una sucesión convergente en A y A es cerrado,
j→∞ j≥1
entonces a = x + b ∈ A, y por lo tanto x = a − b ∈ A0 .
/ A0 . Si estuviese, 0 = a − b =⇒ a = b, luego A y B no
Por último, es fácil ver que 0 ∈
serían disjuntos. Juntando esto con que A0 es cerrado, tenemos que podemos encontrar
un r > 0 tal que Br (0) ∩ A0 = ∅.
A PARTADO B )
Lo cierto es que no tengo claro que pueda usar el teorema anterior porque veo muy,
muy dudoso que (A0 )c sea convexo.
102 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
e) Si 1 < p ≤ ∞, usar que Lp ([0, 1]) ⊂ L1 ([0, 1]) para deducir el caso general.
f) Probar que si p = 1 y consideramos L1 (R) se sigue verificando que eλ −−−−→ 0.
|λ|→∞
A PARTADO A )
Es trivial ver que eλ (x) = 1 y por lo tanto la normakeλ kp = 1 ∀p, λ.
A PARTADO B )
Siguiendo la sugerencia, integramos por partes. Tomamos u, v de la siguiente forma:
u = g =⇒ du = g 0 dx
1
dv = eiλx dx =⇒ v = eiλx
iλ
1
Acotamos esa última integral
0 en valor absoluto. Como g ∈ C , tenemos que
supx∈[0,1] g (x) = M < ∞, y eiλx = 1 luego
Z Z
1 1 1
M M
iλx 0
e g (x) dx ≤ dx =
0 iλ |i| |λ| |λ|
0
103 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
A PARTADO C )
Ya demostrado directamente en el primer apartado.
A PARTADO D )
Como X es denso en L1 ([0, 1]), para todo ε > 0 podemos encontrar una gε ∈ X tal
quekg − gε k1 < ε. Ahora operamos aprovechando la desigualdad de Schwarz (IV.1):
A PARTADO E )
Pues eso.
A PARTADO F )
Si consideramos el espacio Cc1 (R) de funciones derivables de soporte compacto
podemos seguir aplicando la integración por partes y el argumento de densidad y todo
se mantiene.
Ejercicio 3.9: Sea X ∗ un espacio de Banach dual con predual X separable. Sea
{xn }n≥1 una sucesión en X acotada, tal que ∃C < ∞ conkxn k X ∗ ≤ C ∀n ≥ 1.
n o
Demuestra que entonces existe una subsucesión xnj y un x ∈ X tal que
j≥1
xnj −−−* x. Sugerencia: Recordar que BX es compacta y metrizable en la topología
j→∞
débil-∗.
Ejercicio 3.13: Sea X = (L∞ (R),k·k∞ ). Sabemos que X es el dual de (L1 (R),k·k1 ).
a) Sea ( )
C0 (R) = f : R 7−→ C f continua, lı́m f (x) = 0
|x|→∞
104 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Demuestra que fε −−−−* f , que fε ∈ C0 (R) y concluir que C0 (R) es denso en L∞ (R)
ε→0+
con la topología débil-∗.
d) Explicar por qué la densidad de C0 (R) en L∞ (R) con la topología débil-∗ implica
que tal topología no es metrizable, a pesar de que su restricción a la bola unidad sí lo sea.
A PARTADO A )
Para demostrar que es cerrado, tomamos {fn }n≥1 ⊂ C0 (R) una sucesión de Cauchy
que convergerá fn −−−→ f ∈ L∞ , y buscamos demostrar que f ∈ C0 (R).
n→∞
En la topología de la normak·k∞ , la convergencia es la convergencia uniforme, luego
si fn son continuas convergerán a una función continua, así que f es continua.
L∞
Por otra parte, como fn −−−→ f y tanto fn como f son continuas, sabemos que
n→∞
0 = sup f (x) − fn (x) ≥ lı́m sup f (x) − fn (x) ≥
x∈X |x|→∞
≥ lı́m sup f (x) − lı́m fn (x) ≥ lı́m sup f (x)
|x|→∞ |x|→∞ |x|→∞
con τ > 0 fijo y ρτ un regularizador apropiado que haga los (q · 1[−r,r] ) continuos y tales
9
Recordamos que 1A (x) es 1 si x ∈ A y 0 en otro caso.
105 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
que
ρ
τ ∗ (q · 1[−r,r] ) − q · 1
[−r,r]
<τ
∞
S
Finalmente, construiremos el espacio de todos esos polinomios: Q = τ ∈Q+ Qτ . Es
claro que Q es numerable por serlo Q[x], y que además Q ⊂ C0 (R).
Vamos a dar ahora la forma de aproximar una f ∈ C0 (R) a una
distancia
dada de
ε > 0. Como f se desvanece en infinito, existe un c ∈ Q tal que
f − f 1[−c,c]
< ε/3.
∞
Por comodidad, denotamos ahora g = f 1[−c,c] .
El Teorema de aproximación de Stone-Weierstrass asegura la existencia de
un polinomio q ∈ Q[x] tal que kg − qk∞ < ε/3 en C([−c, c]). Si en lugar
de q tomamos la regularización
y restricción ρε/3 ∗ (q · 1[−N,N ] ), tendremos que
g − ρε/3 ∗ (q · 1[−N,N ] )
< 3 . Finalmente, como kf − gk∞ < 3ε , podemos sustituir
2ε
∞
g por el polinomio regularizado y tenemos que
f − ρε/3 ∗ (q · 1[−N,N ] )
<ε
∞
A PARTADO B )
∗
Para tratar la convergencia débil-∗, consideramos un g ∈ L1 (R), ya que L1 (R) =
L∞ (R). Vamos a ver que hf − fn , gi → 0. Operando
Z Z −n Z ∞
hf − fn , gi = (f − fn ) g dµ = (f − fn )g dµ + (f − fn )g dµ
R −∞ n
=0 en [−n,n]
Como R |g| 1[−n,n] ≥ 0 tiende a kgk1 , sólo queda que kγn k1 → 0, por lo que
R
hf − fn , gi → 0 y fn −
* f.
débil-∗.
A PARTADO C )
En primer lugar probamos que fε es continua. Dado un η > 0, sean a, b ∈ R. Vamos a
buscar una restricción en la distancia de a−b para dar la continuidad. Para ello, usamos
106 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
que f ∗ θε = θε ∗ f y operamos:
Z Z
fε (a) − fε (b) = f (y)θε (a − y) dy − f (y)θε (b − y) dy =
ZR R
= θε (a − y) − θε (b − y) f (y) dy
ZR
≤ θε (a − y) − θε (b − y) f (y) dy
R
A PARTADO D )
En el apartado anterior hemos visto que C0 (R) es denso en L∞ si lo consideramos
con la topología débil-∗, pero en el primer apartado habíamos visto que no es denso en
L∞ con la topología de la norma. Como todas las topologías métricas son equivalentes,
se sigue directamente que la topología débil-∗ no puede ser metrizable porque si no
C0 (R) no podría ser denso en una y no serlo en otra.
107 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
c) Sea λ ∈ X ∗ tal que hλ, f i = f 0 (0). Ver que efectivamente λ es continuo pero no de
la forma dada en (C.14).
d) Sea V = f ∈ C 1 ([0, 1]) f (0) = f 0 (0) = 0 . Ver que V es un subespacio cerrado
A PARTADO A )
Basta ver que dada una sucesión {fn }n≥1 de Cauchy en X converge a f ∈ X.
Definimos el límite como el límite puntual de las funciones:
def
f (x) = lı́m fn (x)
n→∞
lo que a su vez implica que ambos sumandos tienen límite cero por separado.
Entonces lo que tenemos es tanto las funciones como sus derivadas convergen
uniformemente en [0, 1], y por lo tanto el límite existe y es una función continua:
f ∈ C([0, 1]).
Falta ver que f es diferenciable. Como fn0 es una sucesión que converge
uniformemente, podemos decir que ∃g ∈ C([0, 1]) tal que fn0 → g uniformemente en
[0, 1], y queremos ver que g = f 0 .
Para ello, usamos el Teorema Fundamental del Cálculo, y reescribimos fn (x) con
0 ≤ x ≤ 1 como
Z x →g(t)
fn (x) = fn (0) + fn0 (t) dt → f (x)
0
→f (0)
con g ∈ C([0, 1]), y por el Teorema Fundamental del Cálculo, vemos que la derivada f 0
es precisamente g(x).
A PARTADO B )
Es obvio ver que λϕ es lineal, y la acotación también sale directamente:
Z Z
1 0 1 Z 1
0
λϕ (f ) = ϕf ≤ |ϕ| f
≤ kf kX |ϕ| = kϕk1 kf kX
0 0 0
≤kf 0 k∞
luego λϕ ∈ X ∗ .
108 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
A PARTADO C )
Es obviamente lineal y obviamente acotado por la definición de la norma, que
implica que la derivada (que es continua) está acotada.
R1
Supongamos ahora que existe una función ϕ ∈ L1 ([0, 1]) tal que hλ, f i = 0 ϕf 0 para
toda f ∈ X. Vamos a tratar de ver que essop ϕ = ∅ (equivalentemente, ϕ(x) = 0 en casi
todo punto de [0, 1]).
Supongamos que dado δ > 0 existe un A ⊂ [δ, 1 − δ] medible y con µ(A) > 0 tal que
ϕ(x) 6= 0 si x ∈ A. Buscaremos csonstruir una función f ∈ C([0, 1]) que cumpla
0
ϕ(x)f (x) ≥ 0 ∀x ∈ [0, 1]
ϕ(x)f 0 (x) > 0 x ∈ A
f 0 (0) = 0
A PARTADO D )
Tanto f (0) como f 0 (0) se pueden considerar dos funcionales continuos, y sus
núcleos son subespacios cerrados10 , luego la intersección de ambos es V que será
cerrado.
Para ver la dimensión del espacio cociente aplicamos el Teorema de isomorfía para
espacios de Banach (II.21). Sea
π : X 7−→ C2
f 7−→ (f (0), f 0 (0))
que es claramente sobreyectiva11 . Por otra parte, ker π = V obviamente, así que el
Teorema de isomorfía nos dice que X/V ∼ = C2 , luego la dimensión es 2.
10
Lol wtf.
11
Si (a, b) ∈ C2 , damos f = bx + a por ejemplo.
109 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
A PARTADO A )
Para ver que es convexo, tomamos x, y ∈ E y t ∈ [0, 1]. Entonces es fácil ver que
tx + (1 − t)y − x0
≤ tkx − x0 k + (1 − t)ky − x0 k ≤ tR + (1 − t)R = R
luego tx + (1 − t)y ∈ E.
Para ver que es cerrado, lo mejor es ver que su complementario es abierto.
Para eso,
vemos que si x ∈ E c , entonceskx − x0 k > R así que tomamos 0 < δ < kx − x0 k − R y
es obvio ver que Bδ (x) ∩ E = ∅.
A PARTADO B )
Sea f ∈ E, entonces
Z 1
Z 1
kf k1 = (f − 2) + 2 ≥ 2 − |f − 2| ≥ 2 − 1 = 1
0 0
≥2−|f −2|
≤1
A PARTADO C )
Sea f ∈ E conkf − 2k1 = 1 y |f | = 2 − |f − 2|. En particular, si 0 ≤ f ≤ 2 esa última
desigualdad se cumple.
Fijando A ⊂ [0, 1] medible y con µ(A) = 1/2, tomamos f = 1A − 1Ac + 1, es fácil ver
que 0 ≤ f ≤ 2, y a su vez |f − 2| = 1 luego f ∈ E.
A PARTADO D )
Como E = λϕ −1 (1) con ϕ ∈ L1 [0, 1], se deduce inmediatamente que E es convexo y
cerrado (ver ejercicio 3.2).
R
1
Para lo del ínfimo, sabemos que 0 ϕf ≤ kϕk1 kf k∞ . Sabiendo que kϕk1 = 1 e
R1
imponiendo la condición del enunciado de 0 ϕf = 1, tenemos que 1 ≤ kϕk1 kf k∞ ≤
kf k∞ .
R1
Si escogemos f0 = ϕ, tendríamos que 0 ϕf0 = 1. El problema es que f0 no es
continua, aunque de nuevo podemos suavizarla un poquito y hacerla continua, de tal
forma que fε → f0 y por lo tanto el ínfimo es 1.
A PARTADO E )
Supongamos que hay elementos
de norma 1 en E. Si f ∈ E minimiza el ínfimo
del apartado anterior, entonces f (x) ≤ 1 para todo x ∈ [0, 1]. Ahora operamos con la
integral:
Z 1 Z 1/2 Z 1
1= ϕf = f− f
0 0 1/2
110 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
En valor absoluto, esas dos integrales son ≤ 1/2. La única posibilidad entonces es
que valgan 1/2 y − 1/2 respectivamente, y eso llevaría a que f = ϕ, que no es continua.
F 0 = {x + λx0 x ∈ F, λ ∈ K}
A PARTADO A )
Como x0 ∈ F construimos una sucesión de Cauchy {xn }n∈N ⊂ F con xn → x0 .
Como ϕ es continuo en X, entonces ϕ(xn ) → ϕ(x0 ) y como ϕ(xn ) = 0 ∀n pues
simplemente ϕ(x0 ) = 0.
A PARTADO B )
Simplemente vemos que ϕ es lineal porque la descomposición de un y ∈ F 0 como
y = x + λx0 con x ∈ F es única (porque x0 ∈
/ F ).
A PARTADO C )
c
Obvio porque es una reformulación de que F es abierto.
A PARTADO D )
Vemos que ϕ(x + λx0 ) = |λ|. Si λ = 0, ciertamente (C.15) se cumple. Si λ 6= 0,
entonces
−1
kx + λx0 k =
λ(x0 + λ x)
A PARTADO E )
Extendemos el funcional a un ϕ ∈ X ∗ , así que ϕ|F = 0 por construcción y ϕ(x0 ) = 1
(hemos encontrado un ϕ ∈ X ∗ que no se anule en x0 ).
12
¿Recíproca de qué?
111 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Bibliografía
[Bre10] Haim Brezis. Functional analysis, Sobolev spaces and partial differential equations.
Springer Science & Business Media, 2010.
[Fol99] Gerald B. Folland. Real analysis. Modern techniques and their applications. Pure
and Applied Mathematics, 1999.
[RS80] Michael Reed and Barry Simon. Methods of modern mathematical physics:
Functional analysis, volume 1. Gulf Professional Publishing, 1980.
[Rud91] Walter Rudin. Functional analysis. McGraw-Hill, Inc., New York, 1991.
112 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Índice alfabético
Álgebra de Banach, 17
de Banach, 61 de Hilbert, 56
de Hilbert separable, 63
Aplicación dual topológico, 21
contractiva, 12 estrictamente convexo, 96
estrictamente contractiva, 12 métrico, 3
Autovalor, 63 métrico completo, 4
Autovector, 63 reflexivo, 32
separable, 12
Base
uniformemente convexo, 96
hilbertiana, 59
vectorial normado, 16
Compleción
Familia
de un espacio normado, 35
de aproximaciones de la identidad, 76
Componente
uniformemente equicontinua, 7
de Fourier, 59
Función
Conjunto
Lipschitz continua, 74
Fσ , 5
uniformemente continua, 7
Gδ , 5
Funcional
de 1ª categoría de Baire, 5
de gauge, 97
de 2ª categoría de Baire, 5
de Minkowsky, 99
denso, 5
diseminado, 5 Identidad
ortonormal, 59 de polarización, 57
relativamente compacto, 13 del paralelogramo, 57
totalmente acotado, 13
Convergencia Lema
débil, 39 de Ascoli-Arzelá, 9
débil-∗, 39 de Goldstine, 44
de Helly, 45
Desigualdad de Riemann-Lebesgue, 103
de Bessel, 59 de Weierstrass, 9
de Hölder, 49
de Minkowsky, 49, 57 Métrica, 3
de Schwarz, 56 Medida
triangular, 16 σ-finita, 69
Morfismo
Espacio de espacios normados, 18
Lp (X), 17
Lp (X), 17 Núcleo
absorbente, 99 de Dirichlet, 83
balanceado, 99 Norma, 16
cociente, 33 p, 16
113 de 114
Análisis Funcional - 15/16 C2 - UAM Guillermo Julián Moreno
Producto
de dualidad, 21
Propiedad
functorial, 35
Propiedades de la convergencia débil, 39
Proposición
Milman-Pettis, 46
Proyección
a un convexo cerrado, 57
Punto
aislado, 11
Rango
de un operador, 63
Seminorma, 16
Subespacio
perpendicular, 58
Sucesión
convergente, 3
de Cauchy, 4
Supremo
esencial, 69
Teorema
de acotación uniforme de Banach-
Stainhaus, 24
de Ascoli-Arzelá, 15
de Banach-Alaoglu, 41
de categoría de Baire, 5
de convergencia dominada, 69
de convergencia monótona, 69
de Hahn-Banach, 31
de Hahn-Banach (Primera forma geo-
métrica), 101
de Hahn-Banach (Segunda forma geo-
métrica), 102
de Heine-Borel, 14
de isomorfía para espacios de Banach,
35
de Kakutani, 47
114 de 114