Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Marzo, 2019
Cuarta versión
Prefacio
El presente documento pretende ser un texto guı́a para el curso de Análisis Matemático
II el cual está contemplado en las mallas curriculares 2010 y 2012 de la Carrera de
Matemática de la Facultad de Ciencias de la Escuela Politécnica Nacional y que actual-
mente se sigue impartiendo.
La idea fundamental para crear estos apuntes es facilitar a los alumnos el estudio de
los tópicos abordados en esta asignatura, ya que para lograr este objetivo se ha utilizado
un número significativo de referencias bibliográficas, procurando rescatar de cada una de
ellas, los mejores enfoques de los temas a estudiar.
• N = {1, 2, 3, . . .}.
• N0 = N ∪ {0}.
• K denotará al campo R o al campo C.
• L (E, F ) designará el espacio normado de las aplicaciones lineales y acotadas (o
continuas) del espacio normado E en el espacio normado F .
II
Por último, tenga en cuenta que estos apuntes son preliminares, por lo tanto,
cualquier observación, corrección y/o sugerencia, será más que bienvenida, y
agradeceré realizarlo a través del correo electrónico paul.acevedo@epn.edu.ec.
Paul Acevedo
Contenido
A Apéndice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157
A.1 Relación de orden sobre conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157
A.2 Operaciones sobre subespacios vectoriales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
A.3 Espacios vectoriales topológicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
A.4 Categorı́as de Baire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161
A.5 Espacios de sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163
A.5.1 Notación utilizada para representar una sucesión de sucesiones . . . 164
A.5.2 Inyecciones contınuas en los espacios `p (K) . . . . . . . . . . . . . . . . . . . . 164
A.6 Espacio normado de las aplicaciones multilineales y continuas . . . . . . . . . . 165
Bibliografı́a . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171
es una cota superior para F pues G ∈ M (ya que G es l.i. debido a que F es totalmente
ordenado) y F ( G para todo F ∈ F. Por tanto, por el Lema de Zorn, M posee al menos
un elemento maximal, al que denotaremos B.
Finalmente, probemos que B es precisamente una base de Hamel para E. Puesto que
B es l.i., basta probar que span (B) = E. Razonemos por contradicción y supongamos
que span (B) ( E. Ası́, existe w ∈ E \ span (B). Definamos el conjunto W := B ∪ {w}.
Notar que W es l.i. pues w ∈ / span (B) y por tanto, W ∈ M. Además, B ( W lo cual
contradice el hecho de que B es un elemento maximal de M. Por lo tanto, span (B) = E
y con eso el resultado está probado.
Ahora que ya conocemos que todo espacio vectorial posee una base de Hamel, pode-
mos mostrar que existen funcionales lineales no nulos definidos sobre cualquier espacio
vectorial no nulo. En efecto, sea vi i∈I ( E una base de Hamel para el espacio vectorial
no nulo E. Para cualquier k ∈ I fijo, se define el funcional
2 Sean E un K - espacio vectorial y {vi }i∈I ( E, con I cualquier familia de ı́ndices. Se dice que {vi }i∈I
es una base de Hamel (o base algebraica) de E si para todo u ∈ E, existen J ⊆ I finito y únicos
escalares {αj }j∈J ( K tales que
X
u= αj v j .
j∈J
En otras palabras, {vi }i∈I es una base de Hamel de E si es linealmente independiente (todo subcon-
junto finito de la familia {vi }i∈I es linealmente independiente) y span {vi }i∈I = E. Recuerde que
los conceptos: independencia lineal y generador o span de un conjunto, son considerados en el sentido
algebraico usual. Además, tenga en consideración que para que una base de Hamel pueda generar
cualquier elemento del espacio mediante un número finito de elementos, usualmente necesita poseer
un número extraordinariamente grande de elementos.
1.1 Teorema de Hahn-Banach 3
donde δik es la delta de Kronecker3 . Puesto que vi i∈I es una base de Hamel de E,
para todo x ∈ E, existe una única familia αj j∈J ( K, con J ⊆ I finito tal que
X
x= αj vj . (1.1)
j∈J
(Cuando usamos esta técnica para extender funcionales a todos los elementos del espacio
de manera lineal, se suele ocupar la expresión: por linealidad.) Notemos que ψk ası́
definido es un funcional lineal no trivial sobre E. En efecto, sean x, y ∈ E y λ ∈ K.
Entonces existen únicas familias αj j∈J1 , βj j∈J2 ( K, con J1 , J2 ⊆ I finitos tales que
X X
x= αj vj y y= β j vj .
j∈J1 j∈J2
c : J1 ∪ J2 −→ K
λαj
si j ∈ J1 \ J2 ,
j 7−→ c(j) = βj si j ∈ J2 \ J1 ,
λαj + βj si j ∈ J1 ∩ J2 .
i) f |F = g
ii) f (x) ≤ p(x) para todo x ∈ E.
S
h: i∈I Dom(ψi ) −→ R
x 7−→ h(x) = ψi (x), con x ∈ Dom(ψi ).
k : Dom(k) −→ R
y + tx 7−→ k(y + tx) = f (y) + tα,
ya que f ∈ M .
• t > 0 : Dividiendo (1.4) para t, se sigue que
y y
f +α≤p +x , ∀y ∈ Dom(f ).
t t
y
Luego, definiendo u := ∈ Dom(f ), se tiene que
t
f (u) + α ≤ p(u + x), ∀u ∈ Dom(f ),
y por tanto, para que se verifique la condición (1.4), α debe verificar (1.7). Sin embargo,
podrı́a ocurrir que ni siquiera se cumpla que
con lo cual ya no se cumplirı́a (1.7). Veamos que en efecto se verifica (1.8). Sean u, v ∈
Dom(f ). Gracias a que f ∈ M y a la sublinealidad de p, se tiene que
f (u) + f (v) = f (u + v)
≤ p(u + v)
8 1 Teoremas fundamentales del Análisis Funcional Lineal
y por lo tanto,
i) f |F = g
ii) Re (f (x)) ≤ p(x) para todo x ∈ E.
g1 (x) ≤ p(x), ∀x ∈ FR ,
y ası́, por el teorema Teorema 1.4, existe f1 : ER → R funcional R - lineal tal que
• f1 |FR = g1
• f1 (x) ≤ p(x) para todo x ∈ ER .
f : E −→ C
x 7−→ f (x) := f1 (x) − if1 (ix).
Notar que f es R - lineal y puesto que de la definición misma de f se tiene que f (ix) =
if (x) para todo x ∈ E, entonces f es también C - lineal. Además, claramente f |F = g y
Re(f (x)) ≤ p(x) para todo x ∈ E.
Observación 3. (a) Tanto el Teorema 1.4 como el Corolario 1.5 pueden ser considerados
de tipo puramente algebraico debido a que los espacios que definen a los funcionales
sólamente necesitan tener una estructura vectorial para poder realizar la extensión a
todo el espacio.
(b) Lo esencial del teorema de Hahn-Banach forma analı́tica no radica en la posibilidad de
extender funcionales lineales a todo el espacio, ya que esto se puede conseguir usando
el lema de Zorn (ver Ejercicio 1), sino en el hecho de que dicha extensión seguirá
siendo dominada por el funcional sublineal p, lo que permitirá extender funcionales
lineales de manera continua.
(c) Existe una versión del Corolario 1.5 para el caso en que p es una seminorma (ver
Ejercicio 3).
Ejemplo 2. Sean V un espacio normado sobre K y {vi }i∈I una base de Hamel, con
I una familia de ı́ndices no contable. Sin pérdida de generalidad
n podemos
o asumir que
kvi k = 1, para todo i ∈ I, pues sino consideramos la familia kvvii k . Consideremos
i∈I
{vjn }n∈N ( {vi }i∈I una subfamilia contable.
Definamos un funcional ϕ como aquel que
n, si i = j ,
n con n ∈ N
ϕ(vi ) :=
0, si i 6= jn ,
Es fácil ver que ϕ es lineal (ver lo hecho para el funcional definido en (1.2)) y que ϕ
es no acotada pues para x = vjn , kvjn k = 1 y
|ϕ(vjn )| = n.
?????????????????????????????????????????????????????????????????????????
i) f |F = g
ii) kf kE ∗ = kgkF ∗ .
Ahora, definamos
p : E −→ R
x 7−→ p(x) = kgkF ∗ kxk.
Notar que p es una seminorma y |g(x)| ≤ p(x) para todo x ∈ F por (1.9).
1.1 Teorema de Hahn-Banach 11
y por tanto,
|f (x)| ≤ p(x) = kgkF ∗ kxk para todo x ∈ E.
≤ kf kE ∗ ,
Observación 4. El Corolario 1.6 es referido como de tipo topológico pues las extensiones
lineales son además continuas bajo las hipótesis de este resultado.
Corolario 1.7. Sea E un espacio normado sobre K. Para todo x ∈ E, existe f ∈ E ∗ tal
que
2
f (x) = kxk y kf kE ∗ = kxk .
g : F −→ K
2
αx 7−→ g(αx) = α kxk .
= kxk , (1.10)
lo que implica que g es acotada, es decir, g ∈ F ∗ . Entonces, por el Corolario 1.6, existe
f ∈ E ∗ tal que
f |F = g y kf kE ∗ = kgkF ∗ .
Ası́, como x ∈ F , se tiene que
2
f (x) = f (1 · x) = g(1 · x) = kxk
f (x) 6= f (y).
Ası́, todo espacio de Hilbert es estrictamente convexo. Para más detalles ver [3, p. 3].
1.1 Teorema de Hahn-Banach 13
|f (x)| ≤ kf kE ∗ kxkE .
|f (x)|
sup ≤ kxkE . (1.11)
f ∈E ∗ kf kE ∗
f 6=0
|g(x)|
= kxkE ,
kgkE ∗
lo que indica que el supremo en (1.11) se alcanza (siendo el máximo) y es igual a kxkE .
(b) Los teoremas de Hahn-Banach juegan un rol fundamental dentro del estudio de la
dualidad de espacios normados, pues permiten deducir relaciones importantes entre
un espacio normado y su dual, ası́ como determinar los espacios duales de subespacios
y espacios cocientes.
Motivación. En las secciones precedentes vimos que todo espacio vectorial no nulo E
posee dos espacios duales: el algebraico (E × - funcionales lineales sobre E) y el topológico
(E ∗ - funcionales lineales y continuos sobre E), los cuales están conformados por un
número bastante grande de elementos no nulos. Conocemos que estos espacios duales son
a su vez espacios vectoriales con las operaciones de suma de funciones y producto por
un escalar. Además, E ∗ ⊆ E × , siendo la inclusión estricta cuando E es de dimensión
infinita, mientras que si E es de dimensión finita, ambos espacios coinciden.
La forma en que conocemos a estos espacios duales es desde un punto de vista
analı́tico-algebraico (nociones de linealidad y continuidad), por tanto,
Q: ¿ Existe un ente matemático tal que pueda dividir al espacio normado E en dos
semiespacios de tal forma que A se encuentre en uno de ellos y B en el otro ?
11 Se dice que C es un conjunto convexo si para todo x, y ∈ C y para todo escalar α ∈ [0, 1], se tiene
que (1 − α)x + αy ∈ C.
1.1 Teorema de Hahn-Banach 15
Ver Apéndice A.5 para la definición y propiedades del espacio c00 . Claramente, A y
B son conjuntos no vacı́os, convexos y disjuntos; no obstante, no es posible separar A
y B mediante un hiperplano. En efecto, razonando por contradicción y sin pérdida de
generalidad, supongamos que existe f : c00 → R funcional lineal no nulo tal que
f {xn } ≥ 0 para todo {xn } ∈ A.
Además, sea {en }n∈N una base de Hamel para c00 donde en = (0, . . . , 1, 0, . . .) la sucesión
cuyos términos son ceros, excepto en la n-ésima posición. Notar que {en }n∈N ( A, con
lo cual f (en ) ≥ 0 para todo n ∈ N. Más aún, como para todo λ ∈ R y para todo n ∈ N,
λen + en+1 ∈ A, entonces f (λen + en+1 ) ≥ 0. Esto implica que
Puesto que f (en ) ≥ 0 para todo n ∈ N y esta última desigualdad debe ser válida para
cualquier n ∈ N y λ ∈ R12 , se sigue que f (en ) = 0 para todo n ∈ N y por tanto, f = 0
lo que es una contradicción.
4
La siguiente proposición muestra que los funcionales lineales y continuos son el equiv-
alente a hiperplanos cerrados en un espacio normado.
pues si x ∈ B(x0 , R) y como B(x0 , R) = {x0 } + R B(0, 1), entonces existe z ∈ B(0, 1)
tal que x = x0 + R z. Luego,
12 Como f es no nulo, entonces es posible considerar que existe m ∈ N tal que f (em ) 6= 0 y si λ <
f (em+1 )
−2 f (e )
, el lado izquierdo de la desigualdad es negativo.
m
16 1 Teoremas fundamentales del Análisis Funcional Lineal
α − f (x0 )
f (z) < . (1.13)
R
Ahora, como z ∈ B(0, 1), entonces −z ∈ B(0, 1) y por un razonamiento similar a lo
anterior obtenemos que
α − f (x0 )
− f (z) < . (1.14)
R
Por (1.13) y (1.14), se sigue que
α − f (x0 )
|f (z)| < .
R
Notar que como x ∈ B(x0 , R) es arbitrario, entonces z ∈ B(0, 1) también lo será, con lo
cual
α − f (x0 )
|f (z)| < para todo z ∈ B(0, 1).
R
Tomando el supremo sobre z a la última desigualdad se concluye que
α − f (x0 )
kf kE ∗ = 13 sup |f (z)| ≤ =: C,
kzk<1 R
y ası́
α − f (x0 )
t= .
f (x1 ) − f (x0 )
α − f (x0 )
Puesto que f (x0 ) < α < f (x1 ), tenemos que 0 < < 1. Ası́, existe t ∈ (0, 1)
f (x) − f (x0 )
tal que f (wt ) = α, y por tanto se ha llegado a una contradicción.
Cuando E es un espacio normado complejo, la demostración es análoga al caso real
y se deja al lector su realización.
Una vez conocido que los hiperplanos cerrados son los equivalentes geométricos de
los funcionales lineales y continuos, veamos cuáles son las condiciones suficientes para
separar dos conjuntos no vacı́os, disjuntos y convexos a través de un hiperlano cerrado.
Esto nos lleva a los famosos teoremas de Hahn-Banach formas geométricas.
Empecemos con la siguiente definición.
13 Es un buen ejercicio mostrar que la norma de un operador lineal T : E → F también está dada por
kT k = sup kT xkF .
kxkE <1
1.1 Teorema de Hahn-Banach 17
El siguiente lema nos brinda condiciones suficientes para asegurar que el funcional
de Minkowski pC sea un funcional sublineal. Esto nos indica que podemos construir
funcionales sublineales a partir de un conjunto no vacı́o y convexo.
Lema 1.13. Sean E un espacio normado real y C ⊆ E no vacı́o, convexo y abierto tal
que 0 ∈ C. Entonces pC es un funcional sublineal finito. Además,
C = x ∈ E : pC (x) < 1
Proof.
• pC es finito. En efecto, note que la única opción para que pC sea infinito es que el
conjunto {α > 0; x ∈ α C} sea vacı́o pues inf ∅ = +∞. Veamos entonces que dicho
conjunto es no vacı́o. Como C es un conjunto abierto tal que 0 ∈ C, entonces C es
absorbente14 , es decir, [
E= α C.
α>0
{α > 0 : x ∈ α C} =
6 ∅.
ϕy : R −→ E
t 7−→ ϕy (t) = ty.
1
pC (x) = inf{α > 0 : x ∈ α C} ≤ < 1.
1+δ
(⊇) Sea x ∈ E tal que pC (x) < 1. Esto implica que existe 0 < α < 1 tal que x ∈ α C.
Ası́, como C es convexo y 0 ∈ C, entonces
x
x=α + (1 − α)0 ∈ C.
α
kxk
α> ⊆ {α > 0 : x ∈ α C} .
R
Tomando el ı́nfimo sobre α en ambos conjuntos, se sigue que
kxk kxk
pC (x) = inf{α > 0 : x ∈ α C} ≤ inf α > = .
R R
1
Finalmente, tomando M = R, se tiene el resultado.
El lema siguiente nos brinda las condiciones para separar un punto y un conjunto no
vacı́o y convexo.
Lema 1.14. Sean E un espacio normado real, C ⊆ E no vacı́o, abierto, convexo tal que
/ C. Entonces existe f ∈ E ∗ no nulo tal que
0 ∈ C y x0 ∈
Proof. Idea: Usar el teorema de Hahn-Banch forma analı́tica caso real y el Lema 1.13.
Consideremos F = span ({x0 }) = Rx0 y
g : F −→ R
tx0 7−→ g(tx0 ) = t.
Además, como C es abierto, existe r > 0 tal que BE (x, r) ( C. Ası́, considerando ε = r, se sigue
que existe δr > 0 tal que para todo t ∈ [1 − δr , 1 + δr ], se tenga que ϕx (t) ∈ BE (ϕx (1), r) ( C. Por
tanto, tomando t = 1 + δr , se tiene que ϕx (1 + δr ) ∈ C, lo que implica que (1 + δr )x ∈ C.
• La justificación anterior sigue siendo válida en el caso de considerar a E como un espacio vectorial
topológico en lugar de un espacio normado.
1.1 Teorema de Hahn-Banach 19
donde pC es el funcional de Minkowski del Lema 1.13. En efecto, consideremos los sigu-
ientes casos:
• Si t ≤ 0, entonces
g(tx0 ) = t ≤ 0 ≤ pC (tx0 ).
y como x0 ∈
/ C, entonces
pC (x0 ) ≥ 1 = g(x0 ).
Ası́,
Veamos que f es continua. Nuevamente, por el Lema 1.13, existe M > 0 tal que
Más aún,
f (x) ≤ M kxk ∀x ∈ E,
con lo cual f ∈ E ∗ . Finalmente, puesto que f es una extensión de g, se sigue que
f (x0 ) = g(x0 ) = 1,
Esto nos permite concluir que existe un hiperplano cerrado H = [f = f (x0 )] tal que
separa {x0 } y C.
Una vez que hemos probado los dos lemas previos, enunciamos a continuación el
teorema de Hahn- Banach primera forma geométrica.
Teorema 1.15 (Teorema de Hahn-Banach. Primera forma geométrica. Caso
real). Sean E un espacio normado real, A, B ( E, conjuntos no vacı́os, convexos y
disjuntos. Si A es abierto en E, entonces existe un hiperplano cerrado H = [f = α] que
separa a los conjuntos A y B.
20 1 Teoremas fundamentales del Análisis Funcional Lineal
C := A − B + b0 − a0 ,
es un abierto en E.
• 0 ∈ C pues como a0 ∈ A y b0 ∈ B, entonces 0 = a0 − b0 + b0 − a0 .
Si en lo anterior fijamos b ∈ B, f (b) es una cota superior para f (A), por lo que
Ahora, como supa∈A f (a) es una cota inferior para f (B), se sigue que
C := A − B + b0 − a0 ,
y por linealidad de f
Además, dado que z ∈ B(0, 1), entonces −z ∈ B(0, 1), y por tanto
con lo cual
f (a − b) ≤ −r|f (z)| ∀(a, b) ∈ A × B, ∀z ∈ B(0, 1).
Si fijamos (a, b) ∈ A × B, notemos que −f (a − b) es una cota superior para r|f (B(0, 1))|,
con lo cual
−f (a − b) ≥ r sup |f (z)|,
z∈B(0,1)
Luego,
r r
f (a) + kf kE ∗ ≤ f (b) − kf kE ∗ ∀(a, b) ∈ A × B,
2 2
y por tanto,
r r
f (a) < sup f (a) + kf kE ∗ ≤ inf f (b) − kf kE ∗ < f (b) ∀(a, b) ∈ A × B.
a∈A 2 b∈B 2
Proof. Idea: Usar el teorema de Hahn-Banach primera forma geométrica caso real.
Consiremos como ER al espacio normado E junto con el campo de escalares R. Apli-
cando el Teorema 1.15, se sigue que existen α ∈ R y f1 : ER → R funcional lineal continuo
no nulo tales que
f1 (a) ≤ α ≤ f1 (b) ∀(a, b) ∈ A × B.
Finalmente, la función definida por
f : E −→ C
x 7−→ f (x) := f1 (x) − if1 (ix)
Proof. • Caso K = R.
Idea: Usar el teorema de Hahn-Banach segunda forma geométrica caso real.
Sea x0 ∈ E \ F . Consideremos A = F y B = {x0 }. Notar que A y B son conjuntos
no vacı́os, convexos y disjuntos tales que A es cerrado y B es compacto. Ası́, por el
Teorema 1.16, existen α ∈ R y f ∈ E ∗ no nulo tales que
en particular,
f (x) < α ∀x ∈ F.
Como F es un s.e.v. de E, entonces para todo λ ∈ R, λx ∈ F , y por tanto
f (λx) < α ∀λ ∈ R, ∀x ∈ F.
α
Ası́, considerando λ = para cualquier ε > 0, se tiene que
ε
|f (x)| < ε ∀x ∈ F,
∀f ∈ E ∗ f = 0 sobre F =⇒ f = 0 sobre E =⇒ F = E.
F = E =⇒ ∀f ∈ E ∗ f = 0 sobre F =⇒ f = 0 sobre E .
24 1 Teoremas fundamentales del Análisis Funcional Lineal
Demostración del Teorema 1.20. Idea: Demostrar la Proposición 1.21 construyendo una
sucesión de Cauchy en X y probando que el lı́mite de dicha sucesión verifica lo requerido.
T
Debemos probar que para todo U 6= ∅ abierto en X, U ∩ n∈N On 6= ∅.
Ası́, sea U un conjunto abierto no vacı́o en X. Luego, existen u0 ∈ U y r0 > 0 tal que
B(u0 , r0 ) ( U 18 .
B(u1 , r1 ) ( B(u0 , r0 ) ∩ O0 ,
r0
con 0 < r1 < .
2
De nuevo, por densidad B(u1 , r1 ) ∩ O1 6= ∅, y al ser un conjunto abierto, existen
u2 ∈ B(u1 , r1 ) ∩ O1 y r2 > 0 tales que
B(u2 , r2 ) ( B(u1 , r1 ) ∩ O1 ,
r1 r0
con 0 < r2 < < 2.
2 2
De forma recursiva, se contruyen sucesiones {un }n∈N ( X y {rn }n∈N ( R+ tales que
18 Esto es posible puesto que todo espacio métrico X es un espacio normal, es decir, para todo F
cerrado en X y para todo U abierto en X tales que F ( U , existe un conjunto abierto V en X
tal que F ( V ( V ( U . Recuerde además que, en general, se tienen las siguientes inclusiones:
B(x, r) ⊆ B(x, r) ⊆ B(x, r), donde B(x, r) es la clausura de la bola abierta B(x, r) y B(x, r) es la
bola cerrada. Por ejemplo, considere en el espacio métrico discreto X, B(x, 1) = {x} y B(x, 1) = X,
pero B(x, r) = {x}. Sin embargo, en espacios normados se tiene que B(x, r) = B(x, r).
26 1 Teoremas fundamentales del Análisis Funcional Lineal
Corolario 1.22. Sean X, d un espacio métrico completo no vacı́o y Fn n∈N una
sucesión de cerrados en X tales que
[
X= Fn .
n∈N
Motivación. Sea {fn }n∈N una sucesión de funciones reales de variable real. Supongamos
que {fn }n∈N está acotada puntualmente, es decir, para todo x ∈ R,
No necesariamente.
Note que {fn }n∈N es una sucesión de funciones uniformemente continuas. En efecto, para
cualquier ε > 0
si x = y = 0 o x = y = n1 o x, y ∈ n2 , +∞
0,
|fn (x) − fn (y)| =
n2 |x − y|, si x, y ∈ 0, 1 o x, y ∈ 1 , 2 ,
n n n
ε
lo que implica que si se toma δ < n2 , entonces |fn (x) − fn (y)| < ε. Además, para cada
x ∈ [0, +∞)
1.3 Teorema de Banach-Steinhaus 27
pero
sup sup |fn (x)| = +∞ pues sup |fn (x)| = n.
n∈N x∈[0,+∞) x∈[0,+∞)
El ejemplo anterior muestra que una sucesión de funciones puede estar acotada pun-
tualmente y, sin embargo, no estar acotada uniformemente.
Si extendemos esta situación a una familia de operadores definidos sobre espacios
normados, entonces estamos interesados en conocer cuáles son las condiciones suficientes
para que acotamiento puntual de dicha familia implique su acotamiento uniforme.
?????????????????????????????????????????????????????????????????????????
kTi xkF ≤ Mx ∀i ∈ I.
int En0 6= ∅.
B(x0 , r0 ) ( int(En0 ),
kTi xkF ≤ n0 ∀i ∈ I.
T : E −→ F
x 7−→ T x := lim Tn x.
n→+∞
kT xkF ≤ C kxkE ,
Ası́,
kT xkF ≤ lim inf kTn kL (E,F ) kxkE ∀x ∈ E,
n→+∞
Tu : E ∗ −→ K
f 7−→ Tu (f ) := f (u).
Luego,
30 1 Teoremas fundamentales del Análisis Funcional Lineal
|f (u)| ≤ C kf kE ∗ ∀u ∈ U, ∀f ∈ E ∗ ,
|f (u)|
kukE = sup ≤C ∀u ∈ U,
f 6=0 kf kE ∗
Tf : E −→ K
x 7−→ Tf (x) := f (x).
puntualmente.
Ası́, gracias al Teorema 1.23, Tf f ∈U ∗ es acotado uniformemente, es decir, existe
C > 0 tal que
|Tf (x)| ≤ C kxkE ∀f ∈ U ∗ , ∀x ∈ E.
Luego,
|f (x)| ≤ C kxkE ∀f ∈ U ∗ , ∀x ∈ E,
con lo cual
kf kE ∗ ≤ C ∀f ∈ U ∗ .
Q: ¿ T −1 es lineal ?
Q: ¿ T −1 ∈ L (F, E) ?
1.4 Teorema de la aplicación abierta 31
Ejemplo 6. Sea
T: c00 −→ c00
n xn o
{xn }n∈N 7−→ T {xn }n∈N = .
n n∈N
Es simple ver que T es lineal. Además, T es continua pues
T −1 : c00 −→ c00
{yn }n∈N 7−→ T −1 {yn }n∈N = {nyn }n∈N .
Sin embargo, note que T −1 no es acotada pues si se considera {yn }n∈N = (0, . . . , 0, 1, 0, . . .),
donde el término no nulo de la sucesión se encuentra en la posición n-ésima, se tiene que
−1
T ({yn }
n∈N ) `∞ = sup n = +∞.
n∈N
?????????????????????????????????????????????????????????????????????????
BF (y, r) ( T (U ). (1.17)
Notar que para cada y ∈ T (U ), existe x ∈ U tal que y = T (x), y dado que U es abierto,
entonces existe R > 0 tal que BE (x, R) ( U . Luego, T (BE (x, R)) ( T (U ), y gracias a
(1.17), notamos que basta mostrar que existe r > 0 tal que
Además, notar que por traslación y linealidad, es suficiente probar que existe r > 0 tal
que
32 1 Teoremas fundamentales del Análisis Funcional Lineal
y por tanto
δ
BF 0, ( T (BE (0, 1)).
m
Notar que si probamos que existe α > 0 tal que
19 Esta es la razón por la cual es frecuente encontrar en la literatura que la consecuencia del teorema de
la aplicación abierta es que exista ρ > 0 tal que BF (0, ρ) ( T (BE (0, 1)).
1.4 Teorema de la aplicación abierta 33
1
ksn − sn−1 kE = kxn kE < <ε
2n−1
para un n suficientemente grande.
Puesto que E es un espacio de Banach, (sn )n∈N converge a x ∈ E, es decir,
∞
X
x= xn .
n=1
con lo cual, haciendo n → +∞, se sigue que kxkE ≤ 2 < 3 y por lo tanto, x ∈ BE (0, 3).
Finalmente, tomando α = 3, se sigue que y ∈ T (BE (0, α)).
kxk2 ≤ M1 kxk1 ,
kxk1 ≤ M2 kxk2 .
34 1 Teoremas fundamentales del Análisis Funcional Lineal
kxk1 ≤ M2 kxk2 .
Sin embargo, en Análisis Matemático es usual encontrar operadores lineales que no son
acotados.
Ejemplo 7. Sea el operador
?????????????????????????????????????????????????????????????????????????
Para introducir el primer concepto de esta sección es importante tener en cuenta que
es frecuente considerar operadores lineales definidos sobre subespacios vectoriales de un
espacio normado. Ası́, si E es un espacio normado, entonces el subespacio vectorial de E
será denotado por Dom(T ), con lo cual el operador T estará definido como T : Dom(T ) ⊆
E → F.
Proof.
21 El espacio vectorial E × F es un espacio normado con la norma k(x, y)kE×F = kxkE + kykF . Además,
notar que las siguientes normas:
1
k(x, y)kp = kxkpE + kykpF p , con 1 ≤ p < +∞ y k(x, y)k∞ = max{kxkE , kykF }
id : V −→ V
x 7−→ x,
O : V −→ V
,
x 7−→ 0
Q: ¿ Existen condiciones suficientes bajo los cuales un operador lineal cerrado sea con-
tinuo, y viceversa ?
Los siguientes resultados (uno de los cuales es el teorema del grafo cerrado) nos dan
una respuesta afirmativa a esta interrogante.
Además, puesto que por hipótesis Dom(T ) es cerrado en E, se sigue que Dom(T ) es
completo.
Con esto, se define la siguiente aplicación
S : Graf(T ) −→ Dom(T )
(x, T x) 7−→ x.
Es fácil ver que S es un operador lineal y biyectivo. Veamos que S es continuo. Sea
x ∈ Dom(T ), entonces
Gracias al Corolario 1.29, se tiene que S −1 es acotado. Ası́, existe M > 0 tal que
−1
S x
E×F
≤ M kxkE ∀x ∈ Dom(T ),
con lo cual
kT xkF ≤ M kxkE ∀x ∈ Dom(T ).
Ası́, T es acotado.
xn → x en E y T xn → y en F .
El siguiente resultado se puede ver como el recı́proco del teorema del grafo cerrado.
Proposición 1.35 (Recı́proco del teorema del grafo cerrado). Sean E, F espacios
normados y T : Dom(T ) ⊆ E → F un operador lineal continuo y cerrado. Si F es de
Banach, entonces Dom(T ) es cerrado en E.
Proof. Sea xn n∈N ( Dom(T ) tal que xn → x en E. Notemos que T xn n∈N es de
Cauchy pues dado que T es acotado, existe C > 0 tal que
kT xn − T xm kF ≤ C kxn − xm kE ,
y como xn n∈N converge, entonces xn n∈N es de Cauchy. Luego, puesto que F es de
Banach, T xn → y en F y ya que T es un operador cerrado, se sigue que x ∈ Dom(T ), lo
que implica que Dom(T ) es cerrado en E.
38 1 Teoremas fundamentales del Análisis Funcional Lineal
Es fácil ver que T es lineal. Además, de (1.20) se tiene que T es acotado. Luego, como
Dom(T ) = `2 C es cerrado en sı́ mismo, se sigue que T es un operador cerrado.
Por otro lado, veamos que T no es una aplicación cerrada. Para esto basta ver que
T (`2 C ) = Img(T ) no es cerrado en `2 C .
En efecto, primero veamos que Img(T ) 6= `2 C , es decir, veamos que T no es so-
breyectiva. Por contradicción, supongamos que T es sobreyectiva. Entonces para
todo {yn }n∈N ∈ `2 C , existe {xn }n∈N ∈ `2 C tal que {yn } = xnn , es de-
1
cir, xn = nyn . Ahora, tomando {yn } = n , se tiene que {yn }n∈N ∈ `2 C
/ `2 C . Por lo tanto, para {yn } = n1 , no existe ningún
pero {xn }n∈N = {1} ∈
{xn } ∈ `2 C tal que {yn } = T ({xn }), lo que lleva a una contradicción.
Ahora, veamos que el subespacio vectorial Img(T ) es denso en `2 C . En efecto, sea
∗
f ∈ `2 C tal que f |Img(T ) = 0. Consideremos para cada n ∈ N
1
vn = 0, . . . , 0, , 0, . . . .
n
|{z}
n-ésima
posición
Notar que vn ∈ `2 C para todo n ∈ N. Más aún, vn ∈ Img(T ) para todo n ∈ N pues
considerando para cada n ∈ N, en = {δmn }m∈N ∈ `2 C , donde δmn es la función
delta de Kronecker, se tiene que vn = T en para todo n ∈ N. Ası́, se tiene que para
todo n ∈ N
f (vn ) = 0.
Por otro lado, puesto que `2 C es un espacio de Hilbert, por el teorema de repre-
sentación de Riesz, existe un único u = {un } ∈ `2 C tal que
X
wn un ∀w = {wn } ∈ `2 C ,
f (w) = hw, ui 2 =
` C
n∈N
y kf k = kuk.
1.6 Ejercicios 39
1.6 Ejercicios
(a) Muestre que BW puede ser completado a una base de Hamel para E.
ϕ : C 0 ([0, 1]) −→ R
+∞
X
f 7−→ ϕ(f ) = (n + 1)ϕn (f )
n=0
1. p(0) = 0.
2. −p(−x) ≤ p(x) para todo x ∈ E.
3. −p(y − x) ≤ p(x) − p(y) ≤ p(x − y) para todo (x, y) ∈ E × E. Además, muestre
que si p(−x) = p(x) para todo x ∈ E, entonces p(x) ≥ 0 para todo x ∈ E y
|p(x) − p(y)| ≤ p(x − y) para todo (x, y) ∈ E × E.
Ejercicio 5. Sean E un espacio vectorial sobre K, C ⊆ E no vacı́o, convexo y abierto
tal que 0 ∈ C. Para cada vector x ∈ E, se define
pC : E −→ R
x 7−→ pC (x) := inf α > 0 : x ∈ αC .
p : `∞ (C) −→ R
{xn } 7−→ p({xn }) := lim sup Re(xn )
n→+∞
es sublineal.
1.6 Ejercicios 41
2. Muestre que existe un funcional lineal f : `∞ (C) → R tal que para todo {xn }n∈N ∈
`∞ (C)
lim inf Re(xn ) ≤ f {xn } ≤ lim sup Re(xn ).
n→+∞ n→+∞
g : c0 −→ R
{xn } 7−→ g({xn }) := lim xn .
n→+∞
1. ψ(x0 ) = dist(x0 , F ),
2. ψ|F = 0 y
3. kψkE ∗ = 1.
Ejercicio 9. Sean E un espacio normado sobre K cuya dimensión es mayor o igual que
n
n y vj j=1 ( E un conjunto linealmente independiente. Muestre que dado un conjunto
n
de escalares no todos nulos αj j=1 ( K, existe f ∈ E ∗ no nulo tal que
f (vj ) = αj ∀j ∈ {1, . . . , n} .
n
Además, pruebe que es posible elegir αj j=1 ( K tal que kf k ≤ 1.
Hint: Use el siguiente resultado: Sean E un espacio normado sobre K y {vk }nk=1 ( E
un conjunto linealmente independiente. Entonces existe C > 0 tal que para cualquier
conjunto de escalares {λk }nk=1
n
n
X
X
λk v k
≥ C |λk | .
k=1 k=1
Hint: (⇐=) Use el hecho que H = e + ker(f ), con e ∈ E tal que f (e) = α y muestre
que para cualquier u ∈ E, la sucesión un = u − ff(x
(u)
n)
xn , donde {xn }n∈N es una sucesión
en E que verifica que xn → 0 y |f (xn )| ≥ ε > 0, está en ker(f ) y que converge a u.
span (A) = E.
Muestre que A es fundamental en E si, y sólo si, para cualquier ϕ ∈ E ∗ tal que
ϕ|A = 0, implica que ϕ = 0 en E.
Hint: Use el hecho de que el espacio dual topológico de `p (R) es isomorfo isométricamente
a `q (R), con 1 < q < +∞ tal que p1 + 1q = 1 [(`p (R))∗ ∼ = `q (R)]. Además, considere la
1 , 0, . . .} para cada n ∈ N.
sucesión {xn } = e1 − en , donde en = {0, . . . , 0, |{z}
n-ésima
posición
Ejercicio 14. Muestre que todo subespacio vectorial propio de un espacio normado tiene
interior vacı́o.
Ejercicio 15. Muestre que todo espacio de Banach de dimensión infinita tiene una base
de Hamel no contable.
P
Muestre que n∈N |yn | converge.
Tn x → T x,
donde T ∈ L (E, F ) .
Ejercicio 18. Sean E, F espacios de Banach y Tn n∈N ( L (E, F ) . Muestre que las
Ejercicio 19. Sean E, F espacios de Banach y Tn n∈N ( L (E, F ) . Suponga que para
xn → x en E, entonces Tn xn → T x en F .
a: E × F → R
Observación 11. El resultado sigue siendo cierto si sólo uno de los espacios es de
Banach.
Ejercicio 21.
hT x, xiE ∗ ,E ≥ 0 ∀x ∈ E.
min J(x),
x∈C
La respuesta a esta pregunta es bien conocida: SÍ. De hecho, la curva plana buscada
es el segmento de recta que conecta dichos puntos.
Pues bien, este problema puede formularse a través de un problema de minimización
donde la función objetivo J(f ) a minimizar es la longitud de una curva 2 de ecuación
y = f (x). En otras palabras
Z xf q
2
min J(f ) := 1 + (f 0 (x)) dx
x0
f ∈ C 1 ([x0 , xf ])
s.a con f (x0 ) = y0 y f (xf ) = yf .
min J(f ),
f ∈C
donde C = f ∈ C 1 ([x0 , xf ]) : f (x0 ) = y0 , f (xf ) = yf y E = C 1 ([x0 , xf ]). 4
1 Rama de las matemáticas que estudia la optimización (maximización o minimización) de un funcional
(función de funciones a valores reales), donde las funciones que definen el funcional pueden estar
sujetas a ciertas restricciones de tipo igualdad y/o desigualdad.
2 Se anima al lector a deducir la fórmula de longitud de una curva plana usando para ello el famoso
teorema del valor medio.
46 2 Tópicos complementarios en espacios de Hilbert
Intentemos reescribir el problema anterior para obtener uno equivalente. Para esto,
tomemos x = y −c, con c ∈ E tal que T c = −b. Ası́, resolver el problema anterior equivale
a resolver el siguiente problema
min ky − ck
E
s.a y ∈ ker(T ).
Q: ¿Existe y0 ∈ M tal que ky0 − ckE sea mı́nimo? Y si es ası́, ¿es único?
2.1 Teorema de la proyección 47
Notar que dist(c, M ) = inf dist(y, c) = inf ky − ckE , con lo cual se puede replantear
y∈M y∈M
la pregunta de la siguiente manera:
En general, esta clase de problemas puede tener una única solución, infinitas soluciones
o ninguna solución. Esto dependerá de las propiedades topológicas que posea el conjunto
M. 4
ku − vk = dist(u, M ). (2.2)
Proof. Idea: El elemento que minimiza la distancia es el lı́mite de una sucesión de Cauchy
adecuada.
Existencia: Notemos que el caso cuando u ∈ M es trivial, pues tomando v = u se
cumple lo requerido. Ası́, sea u ∈ E \ M . Puesto que M es no vacı́o y completo, se tiene
que dist(u, M ) > 0. Luego, gracias a la caracterización de ı́nfimo, existe una sucesión
{vn }n∈N ( M 3 tal que
ku − vn k → dist(u, M ).
Ası́, {vn }n∈N es de Cauchy y como M es completo, entonces existe v ∈ M tal que
vn → v.
Por tanto,
ku − vn k → ku − vk
ku − wk = dist(u, M ).
= 0,
y por tanto, v = w.
o
Re hu − PM (u), w − PM (u)i ≤ 0 ∀w ∈ M (K = C).
hu − v, w − vi ≤ 0 ∀w ∈ M (K = R),
4 En la literatura es frecuente encontrar la notación argmin para denotar al o los elementos de E que
minimizan un funcional. En este contexto, notar que PM (u) es el único elemento que minimiza a
dist(u, M ) y por tanto, PM (u) = argmin(ku − vk).
v∈M
5 Que el signo del producto escalar de los vectores u − PM (u) y w − PM (u) sea no positivo, indica que
el ángulo formado entre ellos está comprendido entre π2 y 32 π.
2.1 Teorema de la proyección 49
o
Re hu − v, w − vi ≤ 0 ∀w ∈ M (K = C),
entonces v = PM (u).
Proof. Caso K = R.
(=⇒) Sea u ∈ E. Gracias al Teorema 2.1, existe un único v = PM (u) ∈ M tal que
ku − PM (u)k = dist(u, M ).
Sea w ∈ M . Como M es convexo, se sigue que
z = (1 − λ)PM (u) + λw ∈ M,
que es equivalente a
2
2 hu − PM (u), w − PM (u)i − λ kw − PM (u)k ≤ 0 ∀λ ∈ (0, 1).
hu − PM (u), w − PM (u)i ≤ 0 ∀w ∈ M.
ku − PM (u)k ≤ ku − wk ∀w ∈ M.
ku − PM (u)k ≤ ku − wk ∀w ∈ M.
y
hu2 − PM (u2 ), w − PM (u2 )i ≤ 0 ∀w ∈ M. (2.4)
con lo cual
2
hu1 − u2 , PM (u1 ) − PM (u2 )i − kPM (u1 ) − PM (u2 )k ≥ 0.
hu − v, wi = 0 ∀w ∈ M,
hu − PM (u), wi = 0,
hu − v, wi = 0 ∀w ∈ M. (2.5)
hu − v, w − vi = 0 ∀w ∈ M.
Proof. (=⇒) Supongamos que PM es lineal. Notar que PM es sobreyectivo por el teorema
de la proyección. Luego, PM (E) = M es un subespacio vectorial por ser la imagen directa
de un espacio vectorial a través de una aplicación lineal.
(⇐=) Supongamos que M es un subespacio vectorial de E. Sean α ∈ K, u1 , u2 ∈ E.
Gracias a la caracterización de la proyección de un punto sobre un subespacio, se tiene
que
hαu1 − αPM (u1 ), wi = 0 ∀w ∈ M
y
hu2 − PM (u2 ), wi = 0 ∀w ∈ M.
lo que implica que kPM kL (E,M ) ≤ 1. Finalmente, tomando u ∈ M tal que kuk = 1, se
sigue que kPM (u)k = kuk = 1, con lo cual kPM kL (E,M ) = 1.
2.1 Teorema de la proyección 53
Proof. Supongamos que M = E. Sea x ∈ E tal que hx, yi = 0 para todo y ∈ M . Existe
entonces {xn }n∈N ( M tal que xn → x en E. Gracias a la continuidad del producto
interno se tiene que
0 = hxn , xi → hx, xi .
Ası́ hx, xi = 0, lo cual implica que x = 0, i.e., M ⊥ = {0}.
Ahora, consideremos que E es un espacio de Hilbert y M ⊥ = {0}. Por contradicción,
suponemos que M 6= E. Ası́, consideremos x0 ∈ E \ M . Se define x := x0 − PM (x0 ).
Claramente, x 6= 0. Además, por la Proposición 2.4, se sigue que hx, yi = 0 para todo
y ∈ M . Entonces, x ∈ (M )⊥ y como (M )⊥ = M ⊥ , se concluye que x = 0, lo que es una
contradicción.
E = M ⊕ M ⊥.
Proof. Puesto que tanto M como M ⊥ son subespacios de E cuyo único elemento en
común es el 0, entonces basta probar que E ⊆ (M + M ⊥ ). Ası́, para cualquier u ∈ E,
notar que u = PM (u) + (u − PM (u)). Como PM (u) ∈ M , entonces u − PM (u) ∈ M ⊥ . En
efecto, gracias a la caracterización de un punto sobre un subespacio (Proposición 2.4), se
tiene que
hu − PM (u), vi = 0
para todo v ∈ M . Por lo tanto, u − PM (u) ∈ M ⊥ .
Observación 18.
PM ⊥ : E −→ M ⊥
u 7−→ PM ⊥ (u) := u − PM (u),
54 2 Tópicos complementarios en espacios de Hilbert
E = M ⊕ M ⊥ = M ⊥ ⊕ (M ⊥ )⊥ ,
E = M ⊕ M ⊥.
Es claro que una condición necesaria para que f posea un mı́nimo local en u0 ∈ (a, b) es
que f 0 (u0 ) = 0. Pero
Una desigualdad como la dada en (2.7) es conocida como una desigualdad variacional.
En general, se puede definir el siguiente problema de desigualdad variacional : sea E
un espacio de Banach, K ⊆ E un conjunto no vacı́o y T : K → E ∗ un operador. Estamos
interesados en hallar u ∈ K tal que resuelva la siguiente desigualdad variacional 7
a(u, w) = hw, zu i ∀w ∈ H.
A : H −→ H
u 7−→ Au := zu .
Gracias al teorema de representación de Riesz este operador está bien definido y satisface
que
a(u, w) = hw, Aui ∀w ∈ H. (2.9)
y
a(u2 , w) = hw, Au2 i ∀w ∈ H. (2.11)
Como a(·, ·) y h·, ·i son formas sesquilineales, de (2.10),(2.11) y (2.12), se tiene que
w, λAu1 + Au2 − A (λu1 + u2 ) = 0 ∀w ∈ H.
Con esto, concluimos que A ∈ L (H, H). Además, gracias a (2.9) y a la coercividad de
Re (a(·, ·)), se tiene que
2
Re (hu, Aui) ≥ αkuk ∀u ∈ H. (2.14)
Gracias a (2.9) y a (2.15) podemos concluir que demostrar (2.8) es equivalente a de-
mostrar que existe un único u ∈ K tal que
S : K −→ K
v 7−→ Sv := PK (βx − βAv + v).
Si logramos mostrar que el operador S posee un único punto fijo en K, el resultado estará
probado.
Como K es cerrado, entonces K es un espacio métrico completo. Ahora, para cualquier
v1 , v2 ∈ K, se tiene que
2 2
kSv1 − Sv2 kH = kPK (βx − βAv1 + v1 ) − PK (βx − βAv2 + v2 )kH
2
≤ kβA(v2 − v1 ) − (v2 − v1 )kH
2 2
= β 2 kA(v2 − v1 )kH − 2 Re(hβA(v2 − v1 ), v2 − v1 i) + kv2 − v1 kH ,
Finalmente, por el teorema de punto fijo de Banach, S posee un único punto fijo u ∈
K.
donde
1
J(v) = a(v, v) − Re(hϕ, viH ∗ ,H ),
2
es decir, {u} = argmin J(v).
v∈K
En efecto, gracias a que a(·, ·) es simétrica si K = R o hermitiana si K = C, entonces
a(·, ·) define un nuevo producto escalar sobre H, el cual induce una norma denotada por
k·ka . Notar que gracias a la continuidad y la coercividad de a(·, ·), se tiene que
√ √
α kukH ≤ kuka ≤ C kukH ∀u ∈ H,
con lo cual k·kH y k·ka son normas equivalentes en H. Luego, como H es un espacio
de Hilbert para la norma k·kH , entonces H también será un espacio de Hilbert para
58 2 Tópicos complementarios en espacios de Hilbert
Re(a(g − u, v − u)) ≤ 0 ∀v ∈ K.
Ası́,
1 2 1 1 2
kg − vka = a(v, v) − Re(hϕ, viH ∗ ,H ) + kgka
2 2 2
1 2
= J(v) + kgka ,
2
2
y como kgka no depende de v, entonces
1 2
min kg − vka ⇐⇒ 11 min kg − vka ⇐⇒ min J(v).
v∈K 2 v∈K v∈K
11 Usando la caracterización del mı́nimo es posible mostrar que min(A2 ) = (min(A))2 , donde A es un
subconjunto de reales no negativos y A2 = {a2 : a ∈ A}.
2.2 Teorema de Stampacchia y lema de Lax-Milgram 59
con Ω = (0, L). Si la fuente de calor f ∈ C 0 ([0, L]), de la teorı́a clásica de EDOs
conocemos que existe una única función u ∈ C 2 ([0, L]) que satisface (P). Sin embargo,
si f es una función discontinua en [0, L], por ejemplo, piense en la función
si x ∈ 0, L2
x 2 ,
f (x) = (2.16)
−x χ
Q∩[ L
2 ,L ]
(x), si x ∈ L2 , L ,
entonces ya no podemos asegurar la existencia de una función u ∈ C 2 ([0, L]) que resuelva
el problema (P).
A pesar de esto, podemos mostrar que dado f como en (2.16), existe una única
solución u (que se encuentra en cierto espacio funcional) para el problema (P). Cabe
destacar que la noción de solución referida anteriormente para dicho problema, ya no es
en el sentido clásico, es decir, ya no es una función en C 2 ([0, L]) que verifica puntualmente
la EDO. De esta manera, la nueva noción de solución que debemos tener en mente es en
un sentido débil.
Ası́, dado f ∈ L2 (Ω) (como la función f en (2.16)), se dice que u ∈ H01 (Ω) es una
solución débil para (P) si para cualquier v ∈ H01 (Ω) se verifica que
Z Z
u0 (x)v 0 (x) dλ(x) = f (x)v(x) dλ(x), (2.17)
Ω Ω
donde a(·, ·) es la forma bilineal continua y coerciva sobre H01 (Ω) definida por
60 2 Tópicos complementarios en espacios de Hilbert
F : H01 (Ω) −→ R Z
v 7−→ F (v) = f (x)v(x) dλ(x).
Ω
En este punto es donde haremos uso del clásico lema de Lax-Milgram para resolver este
problema variacional y ası́ asegurar la existencia de una única solución débil para la
ecuación (P).
?????????????????????????????????????????????????????????????????????????
Teorema 2.9 (Lema de Lax-Milgram). Sean H un espacio de Hilbert sobre K y
a : H × H → K una forma sesquilineal, acotada y con parte real α−coerciva sobre H.
Entonces para todo ϕ ∈ H ∗ , existe un único u ∈ H tal que
Observación 20.
donde
1
J(v) = a(v, v) − Re hϕ, viH ∗ ,H .
2
En efecto, notar que para cualesquier u, v ∈ H se tiene que
1
J(u + v) = a(u + v, u + v) − Re hϕ, u + viH ∗ ,H
2
1 1
= a(u, u) + Re(a(u, v)) + a(v, v) − Re hϕ, uiH ∗ ,H − Re hϕ, viH ∗ ,H
2 2
1
= J(u) + Re a(u, v) − hϕ, viH ∗ ,H + a(v, v).
2
Ası́, si u ∈ H resuelve (2.18), entonces para todo v ∈ H
1 α 2
J(u + v) = J(u) + a(v, v) ≥ J(u) + kvk ,
2 2
y por tanto, para cualquier v 6= 0, se sigue que
puede ser escrito de forma única como una combinación lineal finita de elementos de
dicha base. Sin embargo, desafortunadamente tales bases no pueden ser construidas en
general (exceptuando el caso en que E es finito dimensional donde siempre es posible
obtener explı́citamente una base algebraica de dicho espacio). Esto implica que su utili-
dad práctica es bastante limitada pues la existencia de dichas bases de Hamel dependen
del axioma de elección. Esto hablando netamente sobre espacios con sólamente una es-
tructura algebraica.
Supongamos ahora que E posee además una estructura topológica, es decir, consid-
eremos E un espacio de Banach sobre K infinito dimensional. En este caso, es conocido
que toda base de Hamel de E es no contable (ver ejercicio 29 capı́tulo 1), por tanto, esto
nos indica que no será posible construir una base de Hamel para este tipo de espacios.
Surge entonces la siguiente pregunta natural:
Q: ¿ Existe entonces en la práctica algún conjunto que permita representar a cada ele-
mento de un espacio de Banach en algún sentido ?
Resulta que SÍ. El punto principal de la respuesta es que puesto que ahora conta-
mos con una norma, no existe ninguna razón por la cual nos restrinjamos sólamente a
combinaciones lineales finitas. Podrı́amos considerar “combinaciones lineales infinitas”.
En efecto, se dice que una sucesión {un }n∈N de un espacio de Banach E es una base de
13
Schauder X si para todo u ∈ E, existe una única sucesión de escalares {αn }n∈N ( K tal
que u = αn un . Notar que la convergencia de la serie es con respecto a la norma en
n∈N
E.
Resulta ser que si un espacio de Banach E posee una base de Schauder, entonces E
es un espacio separable debido a que el conjunto de combinaciones lineales finitas con
escalares racionales (o partes real e imaginaria racionales si los escalares son complejos)
constituye un conjunto denso numerable de E. Ahora, surge las siguiente pregunta
Q: ¿ Todo espacio de Banach separable posee una base de Schauder ?
Para abordar esta sección se requerirán ciertos conceptos que se describen a contin-
uación.
Sean E un espacio vectorial sobre K con producto interno h·, ·i (o espacio pre-
hilbertiano sobre K) y {ei }i∈I ( E una familia arbitraria.
Definición 2.10. Se dice que ei i∈I es una familia ortogonal si hei , ej i = 0 para
todo (i, j) ∈ I × I, con i 6= j. Además, si hei , ei i = 1 para todo i ∈ I, entonces se dice que
ei i∈I es una familia ortonormal. En este caso, hei , ej i = δij para todo (i, j) ∈ I × I,
donde δij es la función delta de Kronecker.
Observación 21.
Proposición 2.12 (Condición suficiente para que una familia sea maximal).
Sean E un espacio con producto interno h·, ·i sobre K y ei i∈I ( E una familia ortonor-
mal. Si span ({ei }i∈I ) = E,16 entonces la familia ei i∈I es maximal.
Puesto que J es cualquier subconjunto finito, podemos considerar J = {i}. Ası́, se sigue
que
⊥
x ∈ (span ({ei }i∈I )) ⇐⇒ hx, ei i = 0 ∀i ∈ I.
⊥
⊥
Por lo tanto, si x ∈ (span ({ei }i∈I )) = span ({ei }i∈I ) = E ⊥ = {0}, lo que implica
que x = 0.
16 Se dice que {ei }i∈I es un conjunto fundamental o total en E. Ver Ejercicio 12.
64 2 Tópicos complementarios en espacios de Hilbert
El siguiente resultado nos brinda una propiedad interesante sobre cualquier espacio
con producto interno.
Teorema 2.14. Sea E un espacio pre-hilbertiano sobre K. Entonces E posee una familia
ortonormal maximal.
En el caso en que E sea un espacio con producto interno separable se tiene el siguiente
resultado interesante.
Proposición 2.15. Sea E un espacio pre-hilbertiano sobre K separable. Entonces toda
familia ortonormal (maximal o no) es finita o infinita contable.
Proof. Sea {ei }i∈I una familia ortonormal de E. Note que para todo (i, j) ∈ I × I con
i 6= j, se cumple que
√
kei − ej k = 2. (2.19)
Esto se tiene gracias a que
2 2 2
kei − ej k = kei k − hei , ej i − hej , ei i + kej k .
Mostremos que existe una función Ψ : I → N inyectiva y con esto probamos lo requerido.
[
Como E es separable, entonces existe una sucesión {gk }k∈N ( E tal que {gk } = E.
k∈N
Luego, por densidad, para todo i ∈ I existe ki ∈ N tal que
√
2
kei − gki k ≤ .
3
Con esto, si i 6= j se sigue que
kei − ej k ≤ kei − gki k +
gki − gkj
+
gkj − ej
√
2
≤2 +
gki − gkj
,
3
lo que implica, gracias a (2.19), que
√
gki − gkj
≥ 2
,
3
y por tanto ki 6= kj pues si fueran iguales se tendrı́a que gki = gkj y por tanto se llegarı́a
a una contradicción de la última desigualdad.
Finalmente, note que gracias a lo realizado anteriormente, existe una función
Ψ : I −→ N
i 7−→ Ψ (i) = ki
Hemos visto hasta el momento que todo espacio con producto interno posee una familia
ortonormal maximal. En esta sección veremos que cuando el espacio es completo, entonces
dicha familia posee una propiedad fundamental que permite expresar cualquier elemento
del espacio como una suma generalizada de elementos de una familia ortonormal maximal.
Definición 2.16. Sea H un espacio pre-hilbertiano sobre K. Se dice que una familia
ei i∈I ( H es una base de Hilbert o base ortonormal si ei i∈I es una familia
ortonormal maximal de H tal que para todo x ∈ H existe una única familia de escalares
αi i∈I ( K tal que
X
x= αi ei .17
i∈I
(La serie dada se la conoce como serie de Fourier de x y a los coeficientes hx, en i
se los denomina coeficientes de Fourier de x relativos a la base en n∈N .)
2. Se verifica la identidad de Parseval
2
X
kxkH = | hx, en i |2 .
n∈N
17 Notar que la suma es sobre una familia arbitraria de ı́ndices. Para mayores detalles ver Ejercicio 43.
2.3 Bases ortonormales en espacios con producto interno 67
n
X
PSn x = hx, ek i ek .18
k=0
y por tanto X
x= hx, en i en . (2.21)
n∈N
con lo cual
n
2
X
[hx, ek i − αk ]ek
−→ 0.
n→+∞
k=0 H
Luego, * +
n
X n
X
[hx, ek i − αk ]ek , [hx, em i − αm ]em −→ 0
n→+∞
k=0 m=0
n X
X n
[hx, ek i − αk ][hx, em i − αm ] hek , em i −→ 0
n→+∞
k=0 m=0
n
X 2
0≤ |hx, ek i − αk | −→ 0
n→+∞
k=0
18 Se deja como ejercicio al lector mostrar esta igualdad. Ver Ejercicio 41.
68 2 Tópicos complementarios en espacios de Hilbert
n
2 n
X
X
2
ksn − sm kH =
hx, ek i ek
= | hx, ek i |2 . (2.22)
k=m+1 H k=m+1
X n
X
2 2
con lo cual se concluye que la serie |hx, en i| converge pues la sucesión |hx, ek i|
n∈N k=0
es no decreciente y acotada superiormente. Con esto se tiene la siguiente desigualdad
importante conocida como la desigualdad de Bessel:
X 2 2
|hx, en i| ≤ kxkH .
n∈N
Retornando a (2.22), se sigue que la sucesión {sn }n∈N es de Cauchy pues la serie
P 2
n∈N |hx, en i| es convergente. Por tanto, como H es de Hilbert, entonces existe
y ∈ H tal que y = lim sn , es decir,
n→+∞
n
X
y = lim hx, ek i ek .
n→+∞
k=0
hx − y, en i = 0 ∀n ∈ N.
hx − y, en i = lim hx − sm , en i
m→+∞
* m
+
X
= lim x− hx, ek i ek , en
m→+∞
k=0
m
X
= hx, en i − lim hx, ek i hek , en i .
m→+∞
k=0
2.3 Bases ortonormales en espacios con producto interno 69
y por tanto X
2 2
kxkH = |hx, en i| .
n∈N
lim hx, en i = 0.
n→+∞
Para resolver este problema veamos cómo un operador lineal y acotado de E en F tiene
asociado de forma natural un operador lineal y acotado de F ∗ en E ∗ .
Por la definición de T ∈ L (E, F ), tenemos que para todo x ∈ E, T x ∈ F y gracias
al teorema de Hahn-Banach, sabemos que F ∗ posee un número bastante extenso de
funcionales lineales y acotados sobre F . Ası́, para cualquier ϕ ∈ F ∗ , se sigue que ϕ(T x) =
(ϕ ◦ T )x, lo que implica que para cualquier ϕ ∈ F ∗ , existe un único20 Ψ ∈ E ∗ tal que
Ψ (x) = ϕ(T x). De esta forma, se puede definir el operador S : F ∗ → E ∗ por Sϕ = Ψ , el
cual verifica que
Este operador S será conocido como el operador adjunto de T , y será denotado por
S = T ×.
Una vez introducido de forma natural el operador T × , cabe notar que para que nuestro
problema clásico (2.23) posea una solución, y0 al menos debe pertenecer a Img(T ). Luego,
de la relación (2.24), se sigue que
×
T ϕ, x0 E ∗ ,E = hϕ, y0 iF ∗ ,F .
Esta última igualdad nos indica que una condición necesaria para que y0 ∈ Img(T ) es
⊥
que para todo ϕ ∈ ker(T × ), hϕ, y0 iF ∗ ,F = 0, es decir, y0 ∈ (ker(T × )) . Surge, entonces,
una pregunta natural:
19 Este problema es análogo al mencionado en el Ejemplo 11, sin considerar la restricción de norma
mı́nima.
20 Refiérase al apartado 2.4.1 para la justificación de la unicidad.
2.4 Operadores adjunto, adjunto de Hilbert, autoadjunto, unitario y normal 71
T × : Dom (T × ) ⊆ F ∗ −→ E ∗
ϕ 7−→ T × ϕ = Ψ
con Ψ a precisar y
g : Dom(T ) ⊆ E −→ K
u 7−→ g(u) := hϕ, T uiF ∗ ,F .
Es claro que g es lineal pues tanto ϕ como T son lineales. g es continua pues ϕ ∈
Dom(T × ). Ası́, g ∈ (Dom(T ))∗ . Luego, por el teorema de Hahn-Banach forma topológica
(Corolario 1.6), existe Ψ ∈ E ∗ tal que
Ψ |Dom(T ) = g y kΨ k = kgk .
Notar que como Dom(T ) = E, entonces dicha extensión es única. En efecto, supongamos
que existe χ ∈ E ∗ tal que
Ası́, Ψ = χ en Dom(T ). Sea x ∈ E, entonces existe {xn }n∈N ( Dom(T ) tal que xn → x.
Considerando
|Ψ (x) − χ(x)| ≤ |Ψ (x) − Ψ (xn )| + |Ψ (xn ) − χ(x)|
se sigue, gracias a la continuidad de Ψ y χ, y haciendo n → +∞, que
Ψ (x) = χ(x),
para todo x ∈ E.
Esto nos dice que T × está bien definido21 . Además, gracias a que Ψ = g en Dom(T ),
T y T × verifican la siguiente relación fundamental
21 Esta es la razón por la cual se define operadores adjuntos de operadores definidos densamente.
72 2 Tópicos complementarios en espacios de Hilbert
×
T (αf + g) , u E ∗ ,E = hαf + g, T uiF ∗ ,F
= αhf, T uiF ∗ ,F + hg, T uiF ∗ ,F
= α T × f, u E ∗ ,E + T × g, u E ∗ ,E
= αT × f + T × g, u E ∗ ,E ,
y por tanto
×
T (αf + g) − αT × f + T × g , u E ∗ ,E = 0 ∀u ∈ Dom(T ).
T × (αf + g) = αT × f + T × g.
= lim T × ϕn , u E ∗ ,E
n→+∞
= hΨ, uiE ∗ ,E ,
con lo cual
hϕ, T uiF ∗ ,F ≤ kΨ kE ∗ kukE ∀u ∈ Dom(T ),
y por tanto T × ϕ = Ψ.
Dom(T × ) = F ∗
2.4 Operadores adjunto, adjunto de Hilbert, autoadjunto, unitario y normal 73
y por tanto,
×
T ϕ
≤ kϕk kT k ∀ϕ ∈ F ∗
kT uk ≤
T ×
kuk
∀u ∈ Dom(T )
Observación 24. El hecho de que el operador adjunto sea acotado bajo las hipótesis
de la Proposición 2.20 se lo puede probar de manera directa usando el teorema del grafo
cerrado. Sin embargo, este teorema no provee la igualdad de las normas entre el operador
y su adjunto. Ası́ que es ineludible realizar el procedimiento descrito en la demostración
anterior.
22 Considere por ejemplo dos funciones lineales las cuales están definidas en Q e I, respectivamente. Es
claro que están definidas densamente y sin embargo, Q ∩ I 6= R.
74 2 Tópicos complementarios en espacios de Hilbert
Sin embargo, podrı́a resultar un tanto engorroso trabajar con este tipo de dominio para
el adjunto de la suma de dos operadores, pues en general Dom ((T1 + T2 )× ) ⊆ F ∗ . Es por
eso que es frecuente encontrar en la literatura que la definición de operador adjunto se
lo hace para operadores lineales y continuos sobre todo un espacio normado E, es decir,
se considera T ∈ L (E, F ) y se define el operador adjunto de T como aquel operador
T × : F ∗ → E ∗ lineal y acotado (T × ∈ L (F ∗ , E ∗ )) que verifica la relación fundamental
(2.25) para todo ϕ ∈ F ∗ y para todo u ∈ E.
Consecuentemente, para formular las operaciones con los operadores adjuntos y sus
propiedades, suponemos E, F, G espacios normados sobre K, T, T1 , T2 ∈ L (E, F ) y
S ∈ L (F, G). Ası́, se cumple lo siguiente:
Definición 2.21. Sean H1 , H2 espacios de Hilbert con productos internos h·, ·iH1 y
h·, ·iH2 , respectivamente, y T ∈ L (H1 , H2 ). Se define el operador adjunto de Hilbert
de T , denotado como T ∗ , por T ∗ : H2 → H1 tal que
23 ST representa la composición S ◦ T .
2.4 Operadores adjunto, adjunto de Hilbert, autoadjunto, unitario y normal 75
H1 T H2
S1 S2
H1 ∗ T× H2 ∗
donde S1 ∈ L (H1 ∗ , H1 ) y S2 ∈ L (H2 ∗ , H2 ) son los operadores definidos gracias al
teorema de representación de Riesz, con lo cual S1 y S2 son isomorfismos isométricos.
Del diagrama anterior podemos definir el siguiente operador
S := S1 ◦ T × ◦ S2−1 .
hu, SviH1 = u, S1 ◦ T × ◦ S2 −1 v H1
= u, S1 ◦ T × ϕv H1
= u, S1 T × ϕv H ,
1
u, S1 T × ϕv
H1
= u, wT × ϕv H ∀u ∈ H1
1
y por tanto
T ∗ = S = S1 ◦ T × ◦ S2−1 . (2.27)
Además, kT k = kT ∗ k. En efecto, por (2.27) se sigue que kT ∗ k ≤ kT × k = kT k; y por otro
lado, gracias a (2.26) se sigue que kT k ≤ kT ∗ k.
Observación 26. (a) Es sencillo ver que el operador adjunto de Hilbert es único.
(b) Notar que gracias a la simetrı́a conjugada del producto interno, entonces
T ∗ T = T T ∗ = id,
hT ∗ T u, vi = hT u, T vi ,
= hT ∗ u, T ∗ vi ,
= hT T ∗ u, vi ,
con lo cual
h(T ∗ T − T T ∗ ) u, vi = 0, ∀u, v ∈ H,
y por tanto
T ∗T = T T ∗.
T ∗ = −2i id = −T.
T ∗ T = (−2i id)T
= 4 id.
lo que implica que T es normal. Sin embargo, es claro que T no es unitario ni autoad-
junto.
El siguiente lema provee una caracterización de los operadores nulos en espacios pre-
hilbertianos complejos.
hS(αu + v), αu + vi = 0
S : R2 −→ R2
(x, y) 7−→ S(x, y) = (−y, x).
Esta aplicación rota π2 radianes a un vector de R2 . Notemos que para todo (x, y) ∈ R2
tenemos que hS(x, y), (x, y)i = 0 y, sin embargo, S 6= 0.
hT u, ui = hu, T ui = hT u, ui ∀u ∈ H.
Por tanto, hT u, ui ∈ R.
(⇐=) Supongamos que hT u, ui ∈ R para todo u ∈ H. Luego
hT u, ui = hT u, ui = hu, T ui = hT ∗ u, ui
(⇐=) Supongamos que para todo u ∈ H, kT uk = kT ∗ uk. Por tanto, para todo
u∈H
hT T ∗ u, ui = hT ∗ u, T ∗ ui = hT u, T ui = hT ∗ T u, ui ,
hT T ∗ (u + v), u + vi = hT ∗ T (u + v), u + vi
2 Re h(T T ∗ − T ∗ T )u, vi = 0.
Por lo tanto, T T ∗ = T ∗ T .
3. (=⇒) Supongamos que T es un operador unitario. Entonces T es biyectiva, y por
tanto, sobreyectiva. Además, para cualquier u ∈ H, se sigue que
2 2
kT uk = hT u, T ui = hu, T ∗ T ui = hu, ui = kuk
con lo cual h(T ∗ T − id)u, uiH = 0 para todo u ∈ H. De igual manera que en la
demostración del operador normal, para cualesquier u, v ∈ H, se sigue que
2 Re h(T ∗ T − id)u, vi = 0,
2.4 Operadores adjunto, adjunto de Hilbert, autoadjunto, unitario y normal 79
T T ∗ = T T ∗ (T T −1 ) = T (T ∗ T )T −1 = T (id)T −1 = id,
Luego,
Por tanto, para todo u, v ∈ H tal que kuk = kvk = 1, se sigue que
2
D E
hT (u + v), u + vi = ku+vk2 hT (u + v), u + vi ku + vk2 T ku+vk
u+v u+v
24
= , ≤
H ku+vk H ku+vk
H
ku + vk2 supkwk=1 hT w, wiH .
80 2 Tópicos complementarios en espacios de Hilbert
con θ ∈ arg {hT u, viH }. Ası́ para todo u, v ∈ H tal que kuk = kvk = 1, se tiene que
= Re T u, eiθ v H
Por tanto,
y por tanto
kT k ≤ sup |hT w, wi| .
kwk=1
Proof. Notemos que (ST )∗ = T ∗ S ∗ = T S por ser operadores autoadjuntos, con lo cual
se concluye que
(ST )∗ = ST si, y sólo si, ST = T S.
kT ∗ − T k ≤ kT ∗ − Tn k + kTn − T k
= kT ∗ − Tn∗ k + kTn − T k
= k(T − Tn )∗ k + kTn − T k
2.5 Ejercicios 81
= kT − Tn k + kTn − T k
= 2 kT − Tn k .
1. T −1 es un operador unitario.
2. T S es un operador unitario.
Proof.
2.5 Ejercicios
Ejercicio 30. Considere Rn equipado con el producto interno euclideano hx, yiRn = xT y.
Sean a ∈ Rn un vector unitario y V el hiperplano definido por
V = v ∈ Rn : aT v = 0 .
M = v = (v1 , v2 , . . . , vn ) ∈ Rn : ai ≤ vi ≤ bi ,
con ai , bi ∈ R ∀i ∈ {1, . . . , n} .
Ejercicio 32. Considere a Rm equipado con la norma euclidiana k·kRm y sean A ∈ Rm×n
una matriz y b ∈ Rm un vector dados.
82 2 Tópicos complementarios en espacios de Hilbert
b) Muestre que x ∈ Rn satisface (P) si, y sólo si, x ∈ Rn es una solución al sistema
lineal AT Ax = AT b.
Ejercicio 33. Sea H un espacio de Hilbert sobre K con producto interno h·, ·i.
Ejercicio 35. (a) Sean H un espacio de Hilbert sobre K y {Vn }n∈N una sucesión de
subconjuntos de H no vacı́os, convexos y cerrados, la cual es decreciente. Dado u ∈ H,
se define vn := PVn u para cada n ∈ N.
\
• Muestre que si V := Vn 6= ∅, entonces vn −→ v, donde v = PV u.
n→+∞
n∈N
• Muestre que si V = ∅, entonces kvn − uk −→ +∞.
n→+∞
(b) Considere ahora que la sucesión {Vn }n∈N es creciente. Muestre que vn −→ v, donde
n→+∞
[
v = PZ u, con Z := Vn .
n∈N
Ejercicio 36. El objetivo de este ejercicio es mostrar el lema de Lax-Milgram sin hacer
uso del teorema de Stampacchia. Para alcanzarlo, siga el siguiente procedimiento:
u0 := v0 y un := vn − Pn vn para n ≥ 1,
donde Pn denota el operador proyección definido de E sobre span ({v0 , . . . , vn−1 }). Defina
la sucesión {ûn }n∈N como ûn := kuunn k para todo n ∈ N.
(a) Indique por qué la sucesión {ûn }n∈N está bien definida.
(b) Muestre que la sucesión {ûn }n∈N es ortonormal.
(c) Muestre que span {ûn }n∈N = span {vn }n∈N .
(d) Pruebe que la sucesión {un }n∈N se puede definir recursivamente por
n−1
X hvn , uk i
u0 := v0 y un := vn − 2 uk para n ≥ 1.
k=1
kuk k
84 2 Tópicos complementarios en espacios de Hilbert
Ejercicio 39. Sin necesidad de usar el lema de Zorn, muestre que todo espacio pre-
hilbertiano separable de dimensión infinita posee una familia ortonormal maximal infinita
contable.
Ejercicio 40. Sea H un espacio de Hilbert sobre K que posee una familia ortonormal
maximal finita o infinita numerable. Muestre que H es separable.
Ejercicio 41. Sean E un espacio pre-hilbertiano sobre K y {en }n∈N ( E una familia
ortonormal.
(b) Sea x ∈ E y considere {e0 , e1 , . . . , em } ( {en }n∈N , con m ∈ N arbitrario pero fijo.
Muestre que la forma
f: Km+1 −→ R
m
X
(α0 , . . . , αm ) −
7 → f (α0 , . . . , αm ) =
x − α k ek
k=0
alcanza su mı́nimo absoluto si, y sólo si, αk = hx, ek iE para todo k ∈ {0, . . . , m}.
Ejercicio 42. Sean H un espacio de Hilbert separable sobre K y {en }n∈N una familia
ortonormal en H. Muestre que las siguientes propiedades son equivalentes:
(a) Sea E un espacio pre-hilbertiano sobre K y {ui }i∈I una familia en E. Se dice que la
P
familia {ui }i∈I es sumable con suma u, denotado por i∈I ui = u, si para todo
ε > 0, existe J0 ⊆ I finito tal que para todo J ⊆ I finito con J0 ⊆ J
X
u − uj
< ε.
j∈J
Ejercicio 45. Sean H un espacio de Hilbert separable sobre K y {en }n∈N una familia
ortonormal maximal de H. Considere el operador T : H → H definido de tal forma que
T en = en+1 para todo n ∈ N. Encuentre ker(T ), Im(T ), kT k y T ∗ .
Ejercicio 46. Conteste las siguientes preguntas, bien con una demostración en el caso
afirmativo o con un contraejemplo en el caso negativo.
Sea H un espacio de Hilbert sobre K.
Ejercicio 47. Sea H un espacio de Hilbert sobre K con producto interno h·, ·iH .
(a) Se dice que un operador A ∈ L (H, H) es no negativo (denotado por A ≥ 0) si A es
autoadjunto y hAu, uiH ≥ 0 para todo u ∈ H.
Muestre que si A ≥ 0, entonces
2
|hAu, viH | ≤ hAu, uiH hAv, viH ∀u, v ∈ H
86 2 Tópicos complementarios en espacios de Hilbert
y
2
kAuk ≤ kAk hAu, uiH ∀u ∈ H.
Hint: Para mostrar la primera desigualdad realice una demostración similar a la
dada para la desigualdad de Cauchy-Schwarz.
(a) Muestre que para un operador A ∈ L (H, H) tal que kAk < R, la serie
+∞
X
cn An u
n=0
Esta pregunta está motivada por el ejemplo que vimos en la introducción del capı́tulo
2, donde consideramos el problema de encontrar la curva plana suave de menor longitud
que una dos puntos dados en el plano, es decir,
Z xf q
2
min J(f ) := 1 + (f 0 (x)) dx
x0
1
f ∈ C ([x0 , xf ])
s.a con f (x0 ) = y0 y f (xf ) = yf .
Notar que si fuera posible definir la derivada del funcional J, el cual está definido en un
espacio de dimensión infinita, entonces podrı́amos utilizar criterios análogos conocidos
para el caso de dimensión finita, y ası́ hallar un minimizador de J.
Con esto en mente, la idea es extender la noción de derivada definida sobre espa-
cios de dimensión finita a espacios de dimensión infinita. Por tanto, para lograr dicho
objetivo se empezará introduciendo el concepto de curvas tangentes en R2 , el cual nos
permitirá introducir el concepto de derivada para funciones definidas en espacios infinito
dimensionales.
88 3 Cálculo diferencial en espacios normados
0 = f 0 (x0 ) − g 0 (x0 )
f (x0 + h) − f (x0 ) − g(x0 + h) + g(x0 )
= lim
h→0 h
f (x0 + h) − g(x0 + h)
= lim
h→0 h
f (x) − g(x)
= lim .
x→x0 x − x0
Ası́,
|f (x) − g(x)|
f 0 (x0 ) − g 0 (x0 ) = 0 ⇐⇒ lim = 0.
x→x0 |x − x0 |
Notar que de la definición de lı́mite de una función, se dirá que f y g son curvas tangentes
en x0 si, y sólo si,
(∀ε > 0)(∃δ = δ(ε) > 0)(∀x ∈ R : 0 < |x − x0 | < δ ⇒ |f (x) − g(x)| < ε|x − x0 |).
Lo hecho anteriormente sugiere lo siguiente: si f y g son dos funciones que satisfacen que
|f (x) − g(x)|
lim = 0,
x→x0 |x − x0 |
entonces f − g es continua en x0 y además, se concluye que si una de las funciones es
continua en x0 , entonces la otra lo es también en x0 .
Veamos que implicaciones tiene la realizado anteriormente para generalizar la definición
de derivada para funciones definidas en cualesquier espacio normado.
?????????????????????????????????????????????????????????????????????????
3. Considere que E está dotado de dos normas equivalentes k·k1 y k·k2 , y F también
está dotado de dos normas equivalentes k·k3 y k·k4 . Si f Ru0 g respecto a las normas
k·k1 y k·k3 , entonces f Ru0 g respecto a las normas k·k2 y k·k4 , y viceversa.
4. Si f Ru0 g y una de las funciones es continua en u0 , entonces la otra función también
lo será en u0 .
Ψ : U −→ F
u 7−→ Ψ (u) = f (u0 ) + Tu0 (u − u0 ).
kf (u) − Ψ (u)kF
f R u0 Ψ ⇐⇒ f (u0 ) = Ψ (u0 ) y lim =0
u→u0 ku − u0 kE
lo cual es equivalente a
que es equivalente a
que equivale a
f (u0 + h) − f (u0 ) − Tu0 h
lim = 0. (3.1)
h→0 khkE
La aplicación Tu0 será conocida como la diferencial de Fréchet de la función f en el
punto u0 y será denotada por Tu0 := Df (u0 ) ∈ L (E, F ).
90 3 Cálculo diferencial en espacios normados
Observación 29. (a) Tenga en cuenta que cuando trabajamos con la definición de
Fréchet diferenciabilidad dada en (3.1), debemos asegurar que exista f (u0 + h), lo
cual se tiene siempre y cuando u0 + h ∈ U . Este requisito siempre se cumple pues al
ser U un abierto de E, entonces existirá una vecindad abierta de u0 , contenida en U ,
tal que la función f esté definida en todo punto de dicha vecindad. Ası́, puesto que
h → 0, f (u0 + h) existirá para todo h en alguna vecindad de cero.
(b) Si f es diferenciable en todo u ∈ U , se dice que f es diferenciable en U .
(c) Sea A ⊆ E cualquier conjunto. Se dice que f es diferenciable en A si f puede ser
extendida a una función diferenciable sobre algún conjunto abierto que contiene al
conjunto A.
Proof. Supongamos que existe D̂f (u0 ) otra diferencial de Fréchet de f en u0 , i.e.
y por tanto
Df (u0 )w − D̂f (u0 )w
= 0 ∀w ∈ E
F
con lo cual
Df (u0 )w = D̂f (u0 )w ∀w ∈ E.
Df : U −→ L (E, F )
u 7−→ Df (u).
Note que Df está bien definida por la Proposición 3.4 y asocia a cada punto u donde
f es diferenciable, la diferencial de Fréchet de f en dicho punto. A esta aplicación se
le suele llamar la derivada de Fréchet de f .
(b) Es importante recalcar que si bien es cierto que para cada u ∈ U , Df (u) : E → F es
una aplicación lineal y continua por definición de Fréchet diferenciabilidad, esto NO
implica que la aplicación Df sea lineal o continua.
para todo h en alguna vecindad de cero, donde eu0 : E → F es una función continua en
0 ∈ E y e(0) = 0, es decir, lim eu0 (h) = 0.
h→0
Observación 31. (a) Si definimos la función ru0 : E → F por ru0 (h) := khkE eu0 (h),
entonces
f (u0 + h) = f (u0 ) + Df (u0 )h + ru0 (h),
ru0 (h)
con ru0 (0) = 0 y lim = 0. ru0 es conocida como función resto o residuo.
h→0 khkE
Proof. Sea ε > 0. Puesto que f es diferenciable en u0 , entonces existe δ1 = δ1 (ε, u0 ) > 0
tal que para todo u ∈ B(u0 , δ1 ) se tiene que kf (u) − Ψ (u)kF < ε ku − u0 kE . Tomando
δ = min{δ1 , 1}, se tiene que
f (u0 + h) = f (u0 ) + Df (u0 ) h + khkE eu0 (h) con lim eu0 (h) = 0,
h→0
Proof. Como Df (u0 ) es lineal, basta mostrar que existe C > 0 tal que
De la hipótesis tenemos que dado un ε > 0, entonces existe δ1 = δ1 (ε) > 0 tal que
para todo h ∈ E que satisface khkE < δ1 implique que keu0 (h)kF < 2ε .
Además, como f es continua en u0 , se tiene que existe δ2 = δ2 (ε) > 0 tal que para
todo h ∈ E que cumple que khkE < δ2 implique que kf (u0 + h) − f (u0 )kF < 2ε .
Luego,
Ası́, tomando δ = min{δ1 , δ2 , 1} se tiene que para todo h ∈ E tal que khkE < δ
entonces
kDf (u0 )hkF < ε.2
2 Esta desigualdad indica que Df (u0 ) es continua en 0 ∈ E y como ésta es lineal se concluye que
Df (u0 ) es continua en todo E. Con esto se evita realizar el escalamiento realizado posteriormente
para pasar a todo elemento w ∈ E.
3.1 Funciones Fréchet y Gâteaux diferenciables 93
2ε
Por lo tanto, tomando C = , se tiene que para todo w ∈ E, kDf (u0 )wkF ≤ C kwkE .
δ
La siguiente proposición nos indica que si una función es difereciable respecto a una
norma, será diferenciable en cualquier norma equivalente a ésta. La demostración de
este resultado se sigue de inmediato de la propiedad de funciones tangentes con normas
equivalentes (ver Proposición 3.2).
Proposición 3.8. Considere que E está dotado de dos normas equivalentes k·k1 y k·k2 ,
y F también está dotado de dos normas equivalentes k·k3 y k·k4 . Si f es diferenciable
respecto a las normas k·k1 y k·k3 , entonces f será diferenciable respecto a las normas
equivalentes k·k2 y k·k4 , y viceversa.
f : U −→ F
u 7−→ f (u) = k,
f (u + h) − f (u) = k − k = 0F .
Notar que para poner en la forma dada en Proposición 3.5 (caracterización de Fréchet
diferenciabilidad), consideramos la aplicación lineal y continua nula 0 : E −→ F y ası́,
Df (u) = 0 ∈ L (E, F ) y eu = 0, la cual verifica que eu (h) → eu (0) = 0 cuando h → 0.
Por tanto,
f (u + h) − f (u) = 0 (h) + khk 0 (h) .
Df (u) = f y eu = 0.
fa : Rn −→ R
u 7−→ fa (u) = aT u.
fa (u + h) − fa (u) = aT (u + h) − aT u = aT h.
Considerando
Dfa (u)h = aT h y eu = 0,
se tiene que fa es diferenciable en Rn y Dfa (u) = aT ∈ L (Rn , R) para todo u ∈ Rn .
4
Ejemplo 15. Sean A ∈ Rn×n una matriz fija y
fA : Rn −→ R
u 7−→ fA (u) = uT Au.
La última expresión sugiere que los candidatos para las aplicaciones DfA (u) y eu son
1
DfA (u)h = uT A + A> h, eu (h) = hT Ah
si h 6= 0 y eu (0) = 0.
khkRn
Basta comprobar que e(u,v) (h, k) → e(u,v) (0, 0) = 0 cuando (h, k) → 0. Para alcanzar
este objetivo, usaremos el hecho de que las siguientes normas en E × F son equivalentes:
Luego, debido a la Proposición 3.8, utilizaremos la norma k(u, v)k∞ para mostrar que
e(u,v) (h, k) → 0 cuando (h, k) → 0.
Puesto que B es continua, entonces se sigue que
J : E −→ R
2
u 7−→ J (u) = kukE .
J : E −→ R
u 7−→ J (u) = kukE .
Ası́, khkE = T0 (h) + o (khkE ) y khkE = −T0 (h) + o (khkE ). Sumando las dos expresiones
anteriores, se tiene khkE = o (khkE ), lo cual es una contradicción.
4
Una de las reglas de derivación que es muy usada para funciones diferenciables de R
en R es la famosa regla de la cadena. A continuación se presenta la versión de ésta para
funciones definidas sobre espacios normados cualesquiera.
3.1 Funciones Fréchet y Gâteaux diferenciables 97
ya que f es diferenciable en u0 y kDg(f (u0 ))k < ∞ pues Dg(f (u0 )) ∈ L (F, G).
R1 :
• Para los puntos h ∈ E tales que f (u0 +h) = f (u0 ), el resultado se tiene de inmediato,
es decir, kR1 k −→ 0.
h→0
• Para los puntos h 6= 0 tales que f (u0 + h) 6= f (u0 ), se sigue que
kg(f (u0 + h)) − g(f (u0 )) − Dg(f (u0 ))(f (u0 + h) − f (u0 ))k kf (u0 + h) − f (u0 )k
kR1 k = .
kf (u0 + h) − f (u0 )k khk
98 3 Cálculo diferencial en espacios normados
donde lim eu0 (h) = 0. Ası́, tomando h = tv, con t → 0, se tiene que tv → 0 y por tanto,
h→0
lim eu0 (tv) = 0, con lo cual
t→0
f : R2 −→ R
x2 y
si (x, y) 6= (0, 0)
x2 + y2
(x, y) 7−→ f (x, y) =
0 si (x, y) = (0, 0)
Veamos que f posee todas las derivadas direccionales en el punto (0, 0). Sea (u, v) ∈ R2 .
u2 v
si (u, v) 6= (0, 0)
u2 + v 2
f 0 ((0, 0); (u, v)) =
0 si (u, v) = (0, 0).
Sin embargo, puesto que f 0 ((0, 0); (u, v)) no es una aplicación lineal respecto a (u, v),
entonces f no es Gâteaux diferenciable en (0, 0). Aun ası́, la función f sı́ es continua en
(0, 0). En efecto, sea ε > 0. Puesto que para todo x, y ∈ R, |xy| ≤ 21 (x2 + y 2 ), se sigue
que
|x||xy| |x|(x2 + y 2 ) 1 1 δ
|f (x, y)| = 2 ≤ = |x| ≤ k(x, y)k < .
x + y2 2(x2 + y 2 ) 2 2 2
Tomando δ = 2ε, se sigue el resultado.
4
h3 k
= lim √ .
(h,k)→(0,0) (h4 + k 2 ) h2 + k 2
h5 h
lim √ = lim √ .
h→0 2h4 h2 + h4 h→0 2|h| 1 + h2
Veamos que f posee todas sus derivadas direccionales en el punto (0, 0).
Por tanto, f posee todas sus derivadas direccionales en (0, 0), pero no es continua ya que
si consideramos la dirección x = y 2
y4 1
lim =
y→0 2y 4 2
y si consideramos la dirección x = 2y 2
2y 4 2
lim 4
=
y→0 5y 5
con lo que se concluye que no existe lim f (x, y) y por lo tanto, f posee una discon-
(x,y)→(0,0)
tinuidad esencial en (0, 0) pues no se puede redefinir la función f de tal forma que sea
continua en (0, 0). 4
f : R2 −→ R
x6
si (x, y) 6= (0, 0)
x8 + (y − x2 )2
(x, y) −
7 → f (x, y) =
0 si (x, y) = (0, 0)
x6 1
lim = lim 2 = +∞,
x→0 x8 + (x2 − x2 )2 x→0 x
con lo cual se concluye que no existe lim f (x, y) y ası́, f posee una discontinuidad
(x,y)→(0,0)
esencial en (0, 0). 4
f : R −→ R2 g : R2 −→ R
y
x 7−→ f (x) = (x2 , x) (x, y) 7−→ g(x, y) = x χ A
(x, y),
donde A = {(x, y) : x = y 2 } y χ A
es la función caracterı́stica sobre el conjunto A.
Note que f es Fréchet diferenciable en R, en particular en x = 0, con lo cual Df (0) =
(0, 1). Por otra parte, g es Gâteaux diferenciable en (0, 0), con diferencial de Gâteaux
igual a la aplicación nula DG g(0, 0) = O ∈ L R2 , R ∼
= R2 . Además, g no es Fréchet
diferenciable en (0, 0) pues el residuo en la definición de Fréchet diferenciabilidad no
tiende a cero. Sin embargo, la composición g ◦ f está dado por (g ◦ f )(x) = x para
todo x ∈ R y por tanto, es Fréchet diferenciable en R, en particular en x = 0. Ası́,
D(g ◦ f )(0) = 1, con lo cual no es posible aplicar la regla de la cadena pues si ası́ lo
hiciéramos obtendrı́amos la contradicción 1 = 0. 4
Motivación. Uno de los resultados que reviste gran importancia en el estudio de fun-
ciones diferenciables reales a valores reales es el teorema del valor medio, el cual dice
lo siguiente: sea f : [a, b] → R una función continua4 en [a, b] y diferenciable en (a, b).
Entonces existe c ∈ (a, b) tal que
Geométricamente, el teorema del valor medio indica que siempre existe al menos un
punto en el intervalo abierto (a, b) donde la pendiente de la recta tangente a la función
en dicho punto es igual a la pendiente de la recta que une los puntos extremos de la
función (a, f (a)) y (b, f (b)).
Por otro lado, cabe destacar que el teorema del valor medio no se verifica para fun-
ciones a valores vectoriales ni para funciones a valores complejos. Por ejemplo, considere
las funciones definidas por
4 Es importante que la función sea continua en un intervalo cerrado [a, b] pues en el caso en
que la función sea discontinua en x = a o x = b, podrı́a ocurrir que no exista ningún
punto c ∈ (a, b) que verifique el teorema del valor medio. Por ejemplo, considere la función
f : [−1, 1] −→ R
x si x ∈ (−1, 1),
x 7−→ f (x) =
0 si x = −1 = 1.
104 3 Cálculo diferencial en espacios normados
Lo anterior nos indica que la igualdad del teorema del valor medio ya no se preserva si
trabajamos con funciones cuyas imágenes sean subconjuntos de espacios vectoriales de
dimensión mayor que 1 o del campo de los números complejos. De inmediato esto nos
indica que cuando trabajamos con funciones a valores en cualquier espacio normado, no
deberı́amos esperar la igualdad. Por tanto, surge la siguiente pregunta:
Q: ¿ Existe algún resultado similar al teorema del valor medio para funciones definidas
sobre cualquier espacio normado a valores en cualquier otro espacio normado ?
Proof. Idea: Usar el teorema del valor medio para funciones reales a valores reales.
Se define la función
g : [0, 1] −→ R
λ 7−→ g(λ) = f (u + λ(v − u)).
6
Es fácil ver que g es continua en [0, 1] y diferenciable en (0, 1) (a través de la regla de
la cadena) con derivada
para todo λ ∈ (0, 1). Luego, por el teorema del valor medio, existe θ ∈ (0, 1) tal que
y por tanto,
f (v) − f (u) = Df (u + θ(v − u))(v − u)
para algún θ ∈ (0, 1). Finalmente, tomando w = u + θ(v − u), se sigue el resultado.
5 [u, v] = {u + λ(v − u) : 0 ≤ λ ≤ 1} representa el segmento de recta que une el punto inicial u con el
punto final v, incluyendo éstos dos puntos.
6 Considerar una sucesión {λn }n∈N en [0, 1] tal que λn → λ en [0, 1] y se prueba que g(λn ) → g(λ)
gracias a que f es diferenciable en U
3.2 Teorema de los incrementos finitos 105
entonces
kf (b) − f (a)kF ≤ M (b − a).
gε : [a, b] −→ R
x 7−→ gε (x) = kf (x) − f (a)kF − (M + ε)(x − a).
que es equivalente a
Ası́, c ∈ (a, b]. Más aún, por caracterización de supremo, existe {xn }n∈N en Aε (gε (xn ) ≤ ε
para todo n ∈ N) tal que xn → c y puesto que gε es continua en [a, b], se sigue que
gε (c) ≤ ε. Por tanto, c ∈ Aε .
Para concluir veamos que c = b. En efecto, supongamos que c < b. Por un lado, como
c ∈ Aε , se tiene que
kf (c) − f (a)kF − (M + ε)(c − a) ≤ ε. (3.2)
Por otro lado, como c < b, entonces existe t ∈ (c, b) tal que
ya que f es diferenciable en (a, b). Por tanto, usando la desigualdad triangular, la de-
sigualdad triangular inversa en (3.3), la hipótesis sobre kDf (x)kL (R,F ) y (3.2), se sigue
que
≤ M (t − c) + ε(t − c) + (M + ε)(c − a) + ε
= (M + ε)(t − a) + ε,
ϕ : [0, 1] −→ F
t 7−→ ϕ(t) = f (u + t(v − u)).
7 f es Lipschitz continua en U si existe M > 0 tal que para todo u, v ∈ U se verifica que
kf (u) − f (v)kF ≤ M ku − vkE .
3.3 Aplicaciones del teorema de los incrementos finitos 107
para todo t ∈ (0, 1). Además, para todo t ∈ (0, 1), se tiene que
V = {x ∈ U : f (x) = f (a)}
≤ 0.
El siguiente resultado nos dá las condiciones suficientes para que una función Gâteaux
diferenciable sea Fréchet diferenciable.
Proof. Sea ε > 0. Mostremos que existe δ = δ(ε) > 0 tal que para todo h ∈ E que verifica
que khk < δ, se tenga que
Para alcanzar lo requerido, se mostrará primero lo siguiente: para todo a, b ∈ Vu tal que
a 6= b y [a, b] ⊆ Vu ,
kf (b) − f (a) − DG f (a)(b − a)kF ≤ sup k[DG f (a + α(b − a)) − DG f (a)](b − a)kF .
α∈[0,1]
g : [0, 1] −→ K
α 7−→ g(α) = ϕ(f (a + α(b − a)) − DG f (a)(a + α(b − a))).
Notar que g es diferenciable en (0, 1). En efecto, para cualquier α ∈ (0, 1) se tiene que
g(α + h) − g(α) 1
= [ϕ(f (a + (α + h)(b − a)) − DG f (a)(a + (α + h)(b − a)))
h h
−ϕ(f (a + α(b − a)) − DG f (a)(a + α(b − a)))] ,
|g(α) − g(0)| = |ϕ(f (a + α(b − a)) − DG f (a)(a + α(b − a))) − ϕ(f (a) − DG f (a)a)|
≤ kϕkF ∗ kf (a + α(b − a)) − f (a) − [DG f (a)(a + α(b − a)) − DG f (a)a]kF
f (a + α(b − a)) − f (a)
=
α − [αD G f (a)(b − a)]
.
α
F
|g(α) − g(1)| = |ϕ(f (a + α(b − a)) − DG f (a)(a + α(b − a))) − ϕ(f (b) − DG f (a)b)|
≤ kϕkF ∗ kf (a + α(b − a)) − f (b) − [DG f (a)(a + α(b − a)) − DG f (a)b]kF
f (b + (1 − α)(a − b)) − f (b)
=
(1 − α)
− [(1 − α)DG f (a)(a − b)]
.
1−α F
• Si F es un espacio normado real (K = R), por el teorema del valor medio se sigue
que existe α0 ∈ (0, 1) tal que
Por lo tanto,
Una vez demostrado este resultado, considerando h ∈ E tal que [u, u + h] ⊆ Vu , se tiene
que
110 3 Cálculo diferencial en espacios normados
y puesto que DG f es continua en u, existe δ = δ(ε) > 0 tal que si khkE < δ, entonces
kDG f (u + αh) − DG f (u)kL (E,F ) < ε,
con lo cual,
kf (u + h) − f (u) − DG f (u)hkF < ε khkE .
El próximo resultado nos brinda, en cierto sentido, las condiciones suficientes bajo
las cuales el lı́mite de una sucesión convergente de funciones Fréchet diferenciables, es
Fréchet diferenciable. Este resultado está motivado por lo siguiente:
Motivación. En Análisis Matemático es usual trabajar con sucesiones de funciones las
cuales están formadas por términos que poseen alguna propiedad, como por ejemplo,
acotamiento, continuidad, integrabilidad, diferenciabilidad, etc. Si una sucesión de fun-
ciones es convergente, donde cada término de la sucesión posee una propiedad especı́fica,
es natural preguntarse si la función lı́mite de dicha sucesión posee la misma propiedad.
Por ejemplo, si consideramos una sucesión de funciones acotadas {fn }n∈N tal que con-
verge puntualmente a una función f , entonces
Q: ¿ f es una función acotada ?
En general, NO. Por ejemplo, considere la sucesión de funciones {fn }n∈N definida
por
fn : (0, 1) −→ R
n
x 7−→ fn (x) =
.
nx + 1
Note que para cada n ∈ N, fn es acotada en (0, 1) y converge puntualmente a la función
f (x) = x1 , la cual no es acotada. Sin embargo, si la sucesión de funciones acotadas
{fn }n∈N converge uniformemente hacia f , entonces f es una función acotada.8
Si consideramos ahora una sucesión de funciones continuas {fn }n∈N tal que converge
puntualmente a una función f , entonces nuevamente surge la pregunta
Q: ¿ f es una función continua ?
En general, NO. Por ejemplo, considere la sucesión de funciones {fn }n∈N definida
por
fn : R −→ R
1
1,
si x ≥ n
x 7−→ fn (x) = 1
nx, si 0 < x < n
0, caso contrario.
gn : [0, 1] −→ R
1, si x ∈ {q , q , . . . , q }
0 1 n
x 7 → gn (x) =
−
0, caso contrario,
donde {qn }n∈N representa una enumeración ordenada (de alguna forma) de los racionales
en el intervalo cerrado [0, 1]. Se tiene que {gn }n∈N converge puntualmente a la función
de Dirichlet g definida por
g : [0, 1] −→ R
1, si x ∈ Q ∩ [0, 1]
x 7 → g(x) =
−
0, caso contrario.
En el caso en que la sucesión de funciones Riemann integrables {gn }n∈N converja uni-
formemente a g, entonces g es necesariamente Riemann integrable.10
Ahora, veamos que pasa cuando consideramos una sucesión de funciones diferenciables
{hn }n∈N . Si {hn }n∈N converge puntualmente a una función h, entonces
Q: ¿ h es diferenciable ?
h : (0, +∞) −→ R
0,
si 0 < x < 1
x 7−→ h(x) = 1
, si x = 1
2
1, caso contrario,
hn : [−1, 1] −→ R
r
1
x 7−→ hn (x) = + x2 .
n2
Notar que {hn }n∈N es una sucesión de funciones diferenciables que converge uniforme-
mente a la función h(x) = |x| en [−1, 1] pues
1
0 ≤ |hn (x) − |x|| ≤ ,
n
para todo x ∈ [−1, 1]. Sin embargo, h no es diferenciable en x = 0.
Por otro lado, considere la siguiente sucesión de funciones diferenciables
ϕn : R −→ R
x
x 7−→ ϕn (x) = .
1 + nx2
{ϕn }n∈N converge uniformemente a la función ϕ = 0 en R pues
√
n|x| t
|ϕn (x)| = √ 2
=√
n(1 + nx ) n(1 + t2 )
√ t 1
donde t = n|x|. Note que 1+t 2 ≤ 2 para todo t ∈ R, con lo cual
1
|ϕn (x)| ≤ √ para todo x ∈ R.
2 n
1
Ası́, tomando N = 4ε2 , se sigue que |ϕn (x)| < ε para todo n ≥ N y para todo x ∈ R.
Además,
1 − nx2
ϕ0n (x) =
(1 + nx2 )2
1, si x = 0
converge puntualmente a la función α(x) =
0, caso contrario.
Por tanto, ϕn −→ 0 uniformemente, pero ϕ0n (0) −→ 1 cuando n → +∞. Esto dice
que lim ϕ0n (0) 6= ϕ0 (0).
n→+∞
3.3 Aplicaciones del teorema de los incrementos finitos 113
El siguiente resultado nos dá respuesta a lo preguntado, pero para ello necesitamos
fortalecer las hipótesis requiriendo que la convergencia de las derivadas sea uniforme, en
lugar de sólo puntual.
?????????????????????????????????????????????????????????????????????????
Teorema 3.20. Sean E, F espacios normados con F espacio de Banach, U ⊆ E un
conjunto abierto y convexo, y {fn }n∈N una sucesión de funciones diferenciables de U en
F . Si se verifica que
(i) existe a ∈ U tal que fn (a) n∈N converge en F , y
(ii) existe una función g : U → L (E, F ) tal que Dfn n∈N converge uniformemente a g
en U ,
1. fn → f puntualmente en U
2. fn → f uniformemente en todo subconjunto acotado de U, y
3. f es diferenciable en U y Df = g.
Proof. Para mostrar que para todo u ∈ U, fn (u) → f (u), basta ver que fn → f uni-
formemente sobre cualquier subconjunto acotado de U , ya que todo singulete {u} es un
conjunto acotado.
Consideremos entonces V un subconjunto acotado de U , por tanto, existe M > 0 tal
que V ( B(a, M ). Sea ε > 0. Puesto que F es un espacio de Banach, podemos usar
el criterio de Cauchy para convergencia uniforme, es decir, debemos probar que existe
N = N (ε) ∈ N tal que para todo n, m ≥ N y para todo u ∈ V
Notemos que
kfn (u) − fm (u)kF = kfn (u) − fm (u) − fn (a) + fn (a) − fm (a) + fm (a)kF
≤ k(fn − fm )(u) − (fn − fm )(a)kF + kfn (a) − fm (a)kF .
Luego, aplicando el TIFG, se sigue que
kfn (u) − fm (u)kF ≤ sup kDfn (z) − Dfm (z)kL (E,F ) ku − akE + kfn (a) − fm (a)kF .
z∈[a,u]
Ahora, puesto que {Dfn }n∈N converge uniformemente en U , entonces es de Cauchy para
la norma de la convergencia uniforme, por tanto, existe N1 = N1 (ε) ∈ N tal que para
todo n, m ≥ N1 se verifica
114 3 Cálculo diferencial en espacios normados
ε
kDfn − Dfm k∞ := sup kDfn (z) − Dfm (z)kL (E,F ) <
z∈U 2M
Por otro lado, gracias a que {fn (a)}n∈N converge en F , existe N2 = N2 (ε) ∈ N tal que
para todo n, m ≥ N2 se verifica
ε
kfn (a) − fm (a)kF < .
2
Ası́, tomando N = max{N1 .N2 }, se obtiene que para todo n, m ≥ N
para todo u ∈ V . Con esto se ha probado que la sucesión {fn }n∈N converge uniformemente
sobre todo subconjunto acotado de U , lo que implica la convergencia de la sucesión
{fn (u)}n∈N para todo u ∈ U . Entonces, se define la función f : U → F como
k(fn − fm )(v) − (fn − fm )(u)kF ≤ sup kDfn (z) − Dfm (z)kL (E,F ) kv − ukE
z∈[u,v]
y puesto que {Dfn }n∈N converge uniformemente en U , existe M1 = M1 (ε) ∈ N tal que
para todo n, m ≥ M1
ε
sup kDfn (z) − Dfm (z)kL (E,F ) <
z∈[u,v] 3
con lo cual
ε
k(fn − fm )(v) − (fn − fm )(u)kF ≤
kv − ukE .
3
Además, como Dfn → g uniformemente en U , entonces existe M2 = M2 (ε) ∈ N tal que
para todo m ≥ M2
3.4 Funciones definidas sobre un campo 115
ε
kDfm (u) − g(u)kL (E,F ) < .
3
Por otra parte, como fn es diferenciable en U , en particular lo es en u ∈ U . Ası́,
fijando m ∈ N tal que m ≥ max{M1 , M2 }, se tiene que existe η = η(ε) > 0 tal que si
kv − ukE < η, entonces
ε
kfm (v) − fm (u) − Dfm (u)(v − u)kF < kv − ukE .
3
Por lo tanto, para todo n ≥ max{M1 , M2 } y para todo v ∈ U tal que kv − ukE < η
Tomando δ = η y gracias a que fn (v) → f (v), fn (u) → f (u) en F , se sigue que haciendo
n → +∞
kf (v) − f (u) − g(u)(v − u)kF < ε kv − ukE .
Motivación. Sea f : R → R una función. Del curso de cálculo en una variable real,
sabemos que f es diferenciable en x ∈ R si
f (x + h) − f (x)
f 0 (x) := lim (3.4)
h→0 h
existe (es finito). A este lı́mite se lo conoce como la derivada de f en el punto x y se dice
que f es derivable en x.
Por otro lado, de la sección de funciones Fréchet diferenciables sabemos que si f es
diferenciable en x, entonces existe una aplicación lineal y continua Df (x) ∈ L (R, R) tal
que
f (x + h) − f (x) − Df (x)(h)
lim = 0.
h→0 h
Puesto que Df (x) es lineal, entonces Df (x)(h) = hDf (x)(1) para todo h ∈ R. Ası́,
f (x + h) − f (x)
lim = Df (x)(1). (3.5)
h→0 h
Comparando (3.4) y (3.5), se tiene que por un lado f 0 (x) ∈ R y Df (x) ∈ L (R, R).
Esto nos sugiere que de algún modo existe una relación entre el campo R y el espacio
L (R, R).
Además, note que h · 1 = h y ası́
f (x + h · 1) − f (x)
lim = Df (x)(1)
h→0 h
116 3 Cálculo diferencial en espacios normados
Ψ : F −→ L (K, F )
v 7−→ Ψ (v) = ϕv
donde ϕv (t) = tv para cada t ∈ K. Note que Ψ está bien definido (¿por qué?). Además,
claramente Ψ es lineal y es una isometrı́a, es decir, kΨ (v)kL (K,F ) = kvkF . Por tanto, Ψ
es inyectiva.
Finalmente, veamos que Ψ es sobreyectiva. Sea γ ∈ L (K, F ). Tomando v = γ(1) ∈ F ,
se sigue que para cualquier t ∈ K
El siguiente resultado muestra que para funciones definidas sobre el campo R, consid-
erado como espacio normado sobre sı́ mismo, Gâteaux diferenciabilidad implica Fréchet
diferenciabilidad.
πi : F1 × F2 −→ Fi
(u1 , u2 ) 7−→ πi (u1 , u2 ) = ui
i1 : F1 −→ F1 × F2 i2 : F2 −→ F1 × F2
v 7−→ i1 (v) = (v, 0) v 7−→ i2 (v) = (0, v)
Observación 35.
(a) Note que las proyecciones canónicas πi son funciones sobreyectivas tales que πi ∈
L (F1 × F2 , Fi ) y kπi kL (F1 ×F2 ,Fi ) = 1.
(b) Note que las inyecciones canónicas ij son funciones inyectivas tales que ij ∈
L (Fj , F1 × F2 ).
Df
U L (E, F1 × F2 )
Dfi Ψ
donde
Df = Ψ −1 ◦ Φ1 ◦ Df1 + Ψ −1 ◦ Φ2 ◦ Df2
y
Dfi = Pi ◦ Ψ ◦ Df,
donde
Pi : L (E, F1 ) × L (E, F2 ) −→ L (E, Fi )
,
(T1 , T2 ) 7−→ Pi (T1 , T2 ) = Ti
con i = 1, 2. Ası́, para probar lo deseado bastarı́a ver que Ψ es un homeomorfismo, y que
Φi y Pi son continuas para cada i = 1, 2.
Por un lado, es claro que tanto Φi como Pi son aplicaciones lineales y continuas.
Por otro lado, veamos que Ψ es más que un homeomorfismo, es un isomorfismo
topológico13 . En efecto, claramente Ψ es lineal e inyectiva (Ψ (R) = (0, 0) implica que
R1 = 0 y R2 = 0). Además, Ψ es sobreyectiva pues dado (S, T ) ∈ L (E, F1 ) × L (E, F2 ),
tomando R(x) = (S(x), T (x)) ∈ F1 × F2 para todo x ∈ E, se sigue que Ψ (R) = (S, T ).
Ası́, Ψ es biyectiva con inversa Ψ −1 dada por
Ψ −1 : L (E, F1 ) × L (E, F2 ) −→ L (E, F1 × F2 )
(L1 , L2 ) 7−→ Ψ −1 (L1 , L2 ) = L,
donde L(x) = (L1 (x), L2 (x)) ∈ F1 × F2 para todo x ∈ E. Finalmente, haciendo uso de
la definición de norma de un operador lineal y acotado, cualquier norma equivalente en
el espacio producto y la Observación 35, se prueba que tanto Ψ como Ψ −1 son acotadas.
13 Se dice que un operador T : (X, k·kX ) → (Y, k·kY ) es un isomorfismo topológico si T es lineal, biyec-
tiva y un homeomorfismo. En este caso se dice que los espacios normados X e Y son isomorfos
topológicamente.
120 3 Cálculo diferencial en espacios normados
El siguiente resultado muestra una primera relación entre la diferencial de una función
diferenciable y sus diferenciales parciales.
n
Y
Proposición 3.28. Sea f : U ⊆ Ei → F una función diferenciable en a ∈ U . En-
i=1
tonces existen todas las diferenciales parciales de f en el punto a y en este caso
n
X
Df (a) (h1 , . . . , hn ) = Di f (a)hi .
i=1
ϕi : Ui −→ F
x 7−→ ϕi (x) = f (a1 , . . . , ai−1 , x, ai+1 , . . . , an )
ψi : Ui −→ U
x 7−→ ψi (x) = (a1 , . . . , ai−1 , x, ai+1 , . . . , an ),
es decir, ϕi = f ◦ ψi , para i ∈ {1, . . . , n}. Note que ψi es dif erenciable en Ui , pues cada
componente de ψi es diferenciable en Ui (refiérase al Teorema 3.26 y a la Observación 36).
Además, para cada ai ∈ Ui ,
n
Y
14 Se anima al lector demostrarlo. Además, note que en general los conjuntos Ui y U no son com-
i=1
parables. Por ejemplo, considere U como la unión disjunta de las bolas abiertas en R2 , B((1, 2); 1) y
B (3, 3); 21 , y (a1 , a2 ) = (1, 2) ∈ U . Ası́, U1 = (0, 2) y U2 = (1, 3) son intervalos abiertos. Es claro
i=1
3.6 Aplicaciones definidas sobre un abierto de un espacio producto 121
Observación 38. Si f posee todas sus derivadas parciales en un punto a, esto no implica
que f sea dif erenciable en a.
Ejemplo 24. Sea la función
f : R2 −→ R
xy
x2 +y 2 si (x, y) 6= (0, 0),
(x, y) 7−→ f (x, y) =
0 si (x, y) = (0, 0).
Sea a = (0, 0). Las aplicaciones parciales de f respecto a x e y en el punto (0, 0) son:
ϕ1 : R −→ R ϕ2 : R −→ R
y
x 7−→ ϕ1 (x) = f (x, 0) y 7−→ ϕ2 (y) = f (0, y).
Q: ¿ Existen condiciones suficientes que nos permitan concluir que la existencia de las
diferenciales parciales de una función en un punto implique que dicha función sea difer-
enciable en dicho punto ?
Proposición 3.29. Sean Ei , con i ∈ {1, . . . , n}, y F espacios normados. Sean, además,
n
Y
U ⊆ Ei un abierto, a = (a1 , ..., an ) ∈ U y f : U → F una función. Si f posee todas
i=1
las derivadas parciales en U y éstas son continuas en a, entonces f es diferenciable en
a.
Proof. Supongamos que para todo i ∈ {1, . . . , n}, Di f existen en U y son continuas en
a = (a1 , . . . , an ). Sea ε > 0. Debemos mostrar que existe δ = δ(ε, a) > 0 tal que si
k(u1 , . . . , un ) − (a1 , . . . , an )k < δ, entonces
n
X
f (u1 , . . . , un ) − f (a1 , . . . , an ) − Di f (a) (ui − ai )
< ε k(u1 , . . . , un ) − (a1 , . . . , an )k .
i=1
Note que
n
X
f (u1 , . . . , un ) − f (a1 , . . . , an ) − Di f (a) (ui − ai ) =
i=1
Definamos
g : Ei −→ F
ξ 7−→ g (ξ) = f (a1 , . . . , ai−1 , ξ, ui+1 , . . . , un ) − Di f (a) (ξ − ai ) .
Como para todo i ∈ {1, . . . , n}, Di f es continua en a se tiene que existe δi = δi (ε, a) > 0
tal que
Finalmente, tomando δ = min δi , y usando (3.7) en (3.6), se concluye que para todo
1≤i≤n
u = (u1 , . . . , un ) tal que k(u1 , . . . , un ) − (a1 , . . . , an )k < δ,
n
X
f (u1 , . . . , un ) − f (a1 , . . . , an ) − Di f (a) (ui − ai )
< ε k(u1 , . . . , un ) − (a1 , . . . , an )k .
i=1
A continuación, se verá un resultado bastante útil, el cual nos ayudará más adelante a
caracterizar las funciones de clase C 1 mediante las derivadas parciales de dicha función.
n
Y
Proposición 3.30. Sea f : U ⊆ Ei → F una función diferenciable en U .
i=1
f es de clase C 1 sobre U si, y sólo si, Dj f es continua en U para todo j ∈ {1, . . . , n}.
124 3 Cálculo diferencial en espacios normados
n
!
Df Y
U L Ei , F
i=1
Dj f Tj
L (Ej , F )
donde !
n
Y
Tj : L Ei , F −→ L (Ej , F )
i=1
ϕ 7−→ Tj (ϕ) = ϕ ◦ ij ,
n
Y
con ij la inyección canónica de Ej en Ei . Se puede ver sin dificultad que
i=1
Dj f = Tj ◦ Df.
Basta mostrar que Tj es una función continua para concluir que Dj f es continua por
composición de funciones continuas.
n
!
Y
Claramente, Tj es lineal. Además, Tj es acotada. En efecto, sea ϕ ∈ L Ei , F .
i=1
Entonces
kxj kEj
= kϕkL (Ej ,F ) sup
(x1 ,...,xn )6=0 k(x1 , . . . , xn )kQn Ei
i=1
= kϕkL (Ej ,F ) ,
lo que implica que Sj es acotada, y por tanto, continua. Finalmente, gracias a (3.8), se
puede ver que
Xn
Df = Sj ◦ Dj f, (3.9)
j=1
f es de clase C 1 sobre U si, y sólo si, para todo j ∈ {1, . . . , n}, Dj f existe y es
continua en U .
16 Existe una vecindad abierta alrededor de un punto donde la función, restringida a dicha vecindad,
posee inversa.
3.7 Teorema de la función inversa 127
en dicho intervalo), y además, como f 0 (0) = 32 , existe una vecindad abierta alrededor
de x = 0 donde la función f es estrictamente monótona, y por tanto, existe la función
inversa de f sobre dicha vecindad. Para finalizar con la resolución de este problema, surge
entonces la siguiente pregunta natural:
f : R −→ R
1
x + 2x2 sin
x , si x 6= 0
x −
7 → f (x) =
0, si x = 0,
de x = 0.
Por otro lado, si una función posee derivada nula en un punto, esto no implica que
la función no sea inyectiva en algún intervalo que contiene a dicho punto. Por ejemplo,
note que la función f (x) = x3 es inyectiva y diferenciable en todo R, pero f 0 (0) = 0.
?????????????????????????????????????????????????????????????????????????
Observación 39.
f : (−π/2, π/2) −→ R
x 7−→ f (x) = tan(x)
f : R −→ R
x 7−→ f (x) = x3
y
Df −1 (f (u)) ◦ Df (u) = idE .
Por tanto, Df (u) es biyectiva para cada u ∈ U , y gracias a 3.10 se tiene (Df (u))−1 ∈
L (F, E) pues f es un difeomorfismo.
17 f −1 no es necesariamente diferenciable.
3.7 Teorema de la función inversa 129
b ⊆ E −→ E
fb: U
x 7−→ fb(x) := (Df (a))−1 (f (a + x) − f (a)),
g : U −→ E
x 7−→ g(x) = x − f (x).
1
con lo cual kg(x)k < 2 kxk < r y ası́,
y por la continuidad de g en U ,
Además, como la bola cerrada coincide con la clausura de la bola abierta en espacios
normados, se concluye que
Por otro lado, para cada y ∈ B(0, r), se define hy (x) = g(x) + y.
Notar que hy (x) = x es equivalente a que y = f (x). Además, para todo x ∈ B(0, 2r),
khy (x)k ≤ kg(x)k + kyk < r + r = 2r y por tanto, hy (B(0, 2r)) ⊆ B(0, 2r) ⊆ B(0, 2r).
Ası́, hy : B(0, 2r) → B(0, 2r).
Veamos que hy es una contracción sobre B(0, 2r). Sean x1 , x2 ∈ B(0, 2r). Luego,
Ası́, tomando U0 := B(0, 2r) ∩ f −1 (B(0, r)) (pues y = f (x) ∈ B(0, r)), se sigue que
U0 es una vecindad abierta de 0, V0 = f (U0 ) = B(0, r) es una vecindad abierta de 0
y f : U0 → V0 es una biyección (pues hy posee un único punto fijo).
U0
3.7 Teorema de la función inversa 131
−1
f (y1 ) − f −1 (y2 )
≤ 2 ky1 − y2 k .
Para w ∈ B(0, r), se tiene que existe x1 ∈ U0 tal que w = f (x1 ). Ası́
−1
f (w) − f −1 (y) − (Df (x))−1 (w − y)
=
x1 − x − (Df (x))−1 (f (x1 ) − f (x))
kx1 − xk
· .
kx1 − xk
Observación 40. (a) El teorema de inversión local es usado para asegurar que, en sen-
tido local, f es una función invertible y f −1 es diferenciable, con lo cual, sin necesidad
de conocer de forma explı́cita la función inversa f −1 , podemos obtener información
de su derivada debido a que Df −1 (v) = (Df (u))−1 , con v = f (u).
(b) En dimensión finita, es posible reemplazar la hipótesis de que la aplicación Df (a)
sea un isomorfismo por el hecho de que la matriz Df (a) sea no singular.
Corolario 3.35 (Teorema de la función inversa global o teorema de inversión
global). Sean E, F espacios de Banach, U ⊆ E un abierto y f : U → F una función de
clase C 1 sobre U .
f (U ) es un abierto de F y f es un difeomorfismo de clase C 1 de U sobre f (U ) si, y
sólo si, f es inyectiva y para todo x ∈ U , Df (x) ∈ Isomorf(E, F ).
Precisamente, existen condiciones suficientes bajo las cuales podemos garantizar que
la respuesta es SÍ. Además, estas condiciones nos aseguran también que dicha función es
diferenciable en algún abierto.
El resultado que nos permite garantizar la existencia de dicha función es conocido
como el teorema de la función implı́cita. Por lo tanto, una vez que justificamos que existe
134 3 Cálculo diferencial en espacios normados
una función diferenciable g tal que y = g(x), podemos utilizar la técnica de la derivación
dy
implı́cita para hallar dx .
√ √
2 2
Por ejemplo, en nuestro caso, si consideramos (x0 , y0 ) = 2 , 2 y el intervalo
√
abierto U = (0, 1), entonces y = 1 − x2 para todo x ∈ (0, 1). Esto quiere decir que
√
g(x) = 1 − x2 es una función implı́cita definida por la ecuación x2 + y 2 = 1 en la
vecindad (0, 1) × (0, 1). Ası́, podemos calcular y 0 (x) para cualquier x ∈ (0, 1). Note
además, que para los puntos (−1, 0) y (1, 0), no es posible encontrar funciones implı́citas
para y.
?????????????????????????????????????????????????????????????????????????
ϕ : U ⊆ E × F −→ E × G
(x, y) 7−→ ϕ(x, y) = (ϕ1 (x, y), ϕ2 (x, y)) := (x, f (x, y)).
Por lo tanto, por el teorema de inversión local, existe V(a,b) ⊆ U vecindad abierta de
(a, b) en E × F tal que Wϕ(a,b) = ϕ(V(a,b) ) es una vecindad abierta de ϕ(a, b) en E × G y
3.8 Teorema de la función implı́cita 135
ϕ : V(a,b) → Wϕ(a,b)
V(a,b)
de tal forma que la función inversa de ϕ debe tener la forma ψ(x1 , y1 ) = (x1 , ξ(x1 , y1 )),
con ξ : Wϕ(a,b) → F una función de clase C 1 sobre Wϕ(a,b) . Note que ϕ(a, b) = (a, 0) y
como ψ(a, 0) = (a, ξ(a, 0)), se tiene, por lo tanto, que ξ(a, 0) = b.
Considere ahora el conjunto
Wa = x ∈ E : (x, 0) ∈ Wϕ(a,b) .
Note que Wa 6= ∅ pues (a, 0) ∈ Wϕ(a,b) = W(a,0) . Además, es sencillo ver que Wa es un
abierto de E.19
Finalmente, se define
g : Wa −→ F
x 7−→ g(x) = (ξ ◦ i1 )(x) = ξ(x, 0),
donde i1 es la inyección canónica definida por i1 (x) = (x, 0) para todo x ∈ E. Se tiene
que g es de clase C 1 sobre Wa pues es la composición de funciones de clase C 1 sobre Wa
y que g(a) = ξ(a, 0) = b.
Veamos que se cumple la equivalencia requerida. Recordando que ψ = ϕ−1 , se sigue
que
Observación 41.
(a) De la equivalencia del teorema de la función implı́cita, se sigue que f (x, g(x)) = 0
para todo x ∈ Wa . Luego, utilizando la regla de la cadena, se tiene que para todo
x ∈ Wa
D1 f (x, g(x)) + D2 f (x, g(x)) ◦ Dg(x) = 0 ⇐⇒ D2 f (x, g(x)) ◦ Dg(x) = −D1 f (x, g(x))
f (x, y) = 0, (3.12)
Df : U → L (E, F ) ,
D2 f : U → L (E, L (E, F )) ,
en u0 . Ası́ mismo, si f es tres veces diferenciable en U , quiere decir que f es tres veces
diferenciable en todo punto de U .
Si f es tres veces diferenciable en U , entonces existe la aplicación
F0 = F
Fn = L (E, Fn−1 ) para todo n ≥ 1.
Por otro lado, se dice que f es de clase C n sobre U si Dn−1 f es de clase C 1 sobre U ,
y f es de clase C ∞ sobre U 20 si f es de clase C n sobre U para todo n ≥ 1 entero21 .
Al conjunto de las funciones n veces continuamente diferenciables del abierto U al
espacio F se lo denotará como C n (U ; F ). Además, note que
\
C ∞ (U ; F ) = C n (U ; F ) .
n≥0
M L (E1 × . . . × Em , M L (Em+1 × . . . × En , F )) ∼
= M L (E1 × . . . × En , F )
20 A las funciones de clase C ∞ se las conoce como funciones suaves, o smooth, en habla inglesa.
21 En algunas ocasiones se suele decir que f es de clase C 0 sobre U cuando f es continua en U , reflejando
el uso de la notación C n .
138 3 Cálculo diferencial en espacios normados
∼
=L (E1 , L (E2 , L (E3 , . . . , M L (En−1 , M L (En , F )))))
=L (E1 , L (E2 , L (E3 , . . . , L (En−1 , L (En , F ))))) .
M L (E1 , M L (E2 × . . . × En , F )) ∼
= M L (E1 × . . . × En , F )
y por tanto
M L (E1 × . . . × En , F ) ∼
= L (E1 , L (E2 , L (E3 , . . . , L (En−1 , L (En , F ))))) .
Df : E −→ L (E, F )
u 7−→ Df (u) = f.
Df (u + h) − Df (u) = f − f = 0 + khk 0
y por tanto, Df es diferenciable en E y D2 f = 0. Luego, Dn f = 0 para todo n ≥ 2 y
ası́, f es de clase C ∞ sobre E. 4
Ejemplo 28. Sea Ψ ∈ B (E × F, G), con E, F, G espacios normados. Sabemos que Ψ es
diferenciable en E × F , y su diferencial viene dada por
≤ 2 kΨ k (k(u1 − u, v1 − v)kE×F ),
ε
donde se ha considerado que k(u, v)kE×F = kukE + kvkF . Tomando δ = 2kΨ k , se tiene
que para todo (u, v) ∈ E × F tal que k(u − u1 , v − v1 )kE×F < δ, se sigue que
Wn := {f : U → F : f es n veces diferenciable en u0 ∈ U
(resp. n veces diferenciable en U , resp. de clase C n sobre U )}
D2 f (u0 ) ∈ M L s E 2 , F .
Como por hipótesis f es dos veces diferenciable en u0 , entonces existe r > 0 tal que f es
diferenciable en B (u0 , r) ( U .
Ahora, sean u, v ∈ B 0, 2r . Se define
Ası́,
y por tanto,
Luego, con la idea de utilizar la estimación (3.15), podemos reescribir la última expresión
de la siguiente forma:
sup kDg (z)k = sup kDg (λv)k ≤ 2ε sup (kuk + kλvk) = 2ε (kuk + kvk) .
z∈[0,v] 0≤λ≤1 0≤λ≤1
2
= 3ε kuk kvk + 2ε kvk
3 2
= 2ε kuk kvk + kvk
2
2
≤ 2ε (kuk + kvk) .
2
D f (u0 ) (u, v) − D2 f (u0 ) (v, u)
≤
D2 f (u0 ) (u, v) − F (u, v)
+
2 2
≤ 2 (kuk + kvk) + 2 (kuk + kvk)
2
= 4 (kuk + kvk) . (3.18)
Note que se llegó al resultado requerido, pero sólamente para los u, v ∈ B 0, η2 . Para
2
D f (u0 ) (u, v) − D2 f (u0 ) (v, u)
=
η2
2
D f (u0 ) (h1 , h2 ) − D2 f (u0 ) (h2 , h1 )
16 kh1 k kh2 k
2
≤ 4ε (kuk + kvk)
η η 2
= 4ε + .
4 4
Finalmente,
2
D f (u0 ) (h1 , h2 ) − D2 f (u0 ) (h2 , h1 )
≤ 16ε kh1 k kh2 k .
n
Y
Sean E1 , . . . , En , F espacios normados, U ⊆ Ei un abierto y f : U → F una función
i=1
dos veces diferenciable en a = (a1 , . . . , an ) ∈ U .
Por la Observación 42, se sigue que existe una vecindad abierta de a, digamos Va ,!tal
Yn
que f es diferenciable en Va . Por tanto, existe la función Df : Va → L Ei , F y
i=1
ası́, la segunda derivada de f está bien definida en Va .
Por otro lado, sabemos que en todo punto de Va , la derivada de f coincide con la suma
de las derivadas parciales de f , es decir, para todo x ∈ Va y para todo h = (h1 , . . . , hn ) ∈
Yn
Ei
i=1
n
X
Df (x) (h1 , . . . , hn ) = Di f (x) hi ,
i=1
n
X
D2 f (a) (k1 , . . . , kn ) = Dj (Df ) (a) kj ,
j=1
n
!!
Y
donde Dj (Df )(a) ∈ L Ej , L Ei , F es la derivada parcial de Df respecto a la
i=1
j-ésima componente en el punto a.
Análogamente a lo visto con la diferencial de f , podemos expresar a la función D2 f (a)
como
Xn
D2 f (a) = Dj (Df )(a) ◦ πj .
j=1
Con el fin de comprender como son las derivadas parciales Dj (Df ), se emplearán las
aplicaciones parciales de la función Df en el punto a, las cuales están dadas por
144 3 Cálculo diferencial en espacios normados
n
!
Y
Ψj : (Va )j −→ L Ei , F
i=1
x 7−→ Ψj (x) = Df (a1 , . . . , aj−1 , x, aj+1 , . . . , an ).
n
Y
Definición 3.39 (Segundas derivadas Parciales). Sea f : U ⊆ Ei → F una
i=1
función dos veces diferenciable en a ∈ U . Diremos que las funciones Dj (Di f )(a) son las
segundas derivadas parciales de f en a y las notaremos de la siguiente forma:
2
Dij f (a) := Dj (Di f )(a).22
Tener en cuenta que ası́ como es posible expresar las derivadas parciales a partir de
la diferencial de la función, las segundas derivadas parciales pueden ser vistas como
2
Dij f (a)kj hi = D2 f (a)(0, . . . , kj , . . . , 0)(0, . . . , hi , . . . , 0).
2 2
Dij f (a)kj hi = Dji f (a)hi kj .
2
Dij f (a)kj hi =D2 f (a)(0, . . . , kj , . . . , 0)(0, . . . , hi , . . . , 0)
=D2 f (a)(0, . . . , hi , . . . , 0)(0, . . . , kj , . . . , 0) = Dji
2
f (a)hi kj .
El contrarecı́proco de esta proposición es muy útil para demostrar que una función
no es dos veces diferenciable en un punto. Si las segundas derivadas parciales de f en a
no son simétricas, inmediatamente concluimos que f no es dos veces diferenciable en a.
∂2f ∂2f
y
∂xj ∂xi ∂xi ∂xj
∂2f ∂2f
(a) = (a).
∂xj ∂xi ∂xi ∂xj
Podrı́amos pensar que el Teorema 3.40 sustituye al Teorema 3.41, pues el Teorema 3.40
no requiere que las segundas derivadas parciales sean continuas en a para que coincidan.
Sin embargo, lo cierto es que son resultados distintos.
Para el Teorema 3.40, una de las hipótesis es que la función f sea dos veces diferencia-
ble en el punto a. De esta forma se garantiza la simetrı́a de todas las segundas derivadas
parciales, pero note que no se exige nada de la continuidad de las mismas. Por otra parte,
el Teorema 3.41 nos otorga la simetrı́a de una sola dupla de segundas derivadas parciales.
Es más, ni siquiera pide que la función f sea dos veces diferenciable en el punto a. Por
tanto, los dos resultados poseen su propia importancia.
146 3 Cálculo diferencial en espacios normados
Puesto que f es al menos dos veces diferenciable en a, existe una vecindad de a, Ua , tal
que f es diferenciable en Ua . Luego, existe Df : Ua → L (E, F ). Además, por hipótesis
f es m veces diferenciable en a, por tanto Df es m − 1 veces diferenciable en a. Por
hipótesis de inducción, se sigue que para todo ε > 0, existe δ = δ(ε) > 0 tal que para
todo x ∈ E con a + x ∈ Ua y kxk < δ se tiene que
m−1
X 1
m−1
k+1 k
Df (a + x) − Df (a) − D f (a)(x )
< ε kxk .
k!
k=1
Note que para todo h ∈ E tal que khk < δ y para todo 0 ≤ t ≤ 1, se tiene que a+th ∈ Ua ,
kthk < δ y
m−1
X tk
m−1
Df (a + th) − Df (a) − Dk+1 f (a)(hk )
< εtm−1 khk . (3.20)
k!
k=1
ϕ : [0, 1] −→ F
m k
X t
t 7−→ ϕ(t) = f (a + th) − Dk f (a)(hk ).
k!
k=1
Notar que ϕ es continua en [0, 1], diferenciable en (0, 1) y para todo t ∈ (0, 1)
m
X tk−1 k
ϕ0 (t) = Df (a + th)h − k D f (a)(hk )
k!
k=1
m
X tk−1
= Df (a + th)h − Df (a)h − Dk f (a)(hk )
(k − 1)!
k=2
m−1
X k t k+1
= Df (a + th)h − Df (a)h − D f (a)(hk+1 ).
k!
k=1
y por tanto,
m
X 1 k
m
f (a + h) − f (a) − D f (a)(hk )
< ε khk .
k!
k=1
Ψ : [0, 1] −→ F
n
X (1 − t)k
t 7−→ Ψ (t) = f (a + th) + Dk f (a + th)(hk ).
k!
k=1
148 3 Cálculo diferencial en espacios normados
Notar que Ψ es continua en [0, 1], diferenciable en (0, 1) y para todo t ∈ (0, 1)
(1 − t)n n+1
Ψ 0 (t) = D f (a + th)(hn+1 ).
n!
Además,
(1 − t)n n+1
kΨ 0 (t)k ≤
sup
Dn+1 f (a + th)
khk
.
n! 0≤t≤1
n+1
Denotando como M = sup
Dn+1 f (a + th)
khk
, se define la función
0≤t≤1
g : [0, 1] −→ R
t
(1 − s)n
Z
t 7−→ g(t) = M ds.
0 n!
23
Luego, kΨ (1) − Ψ (0)k ≤ g(1) − g(0), y por tanto,
n Z 1
X 1 k
k
(1 − s)n
f (a + h) − f (a) − D f (a)(h )
≤M ds
k!
0 n!
k=1
(1 − s)n+1 1
=−M
(n + 1)! 0
M
=
(n + 1)!
n+1
khk
sup
Dn+1 f (a + th)
.
=
(n + 1)! 0≤t≤1
3.12 Ejercicios
Ejercicio 50. Sea H un espacio pre-hilbertiano con k·k la norma inducida por el pro-
ducto escalar en H.
(a) Si H es real, entonces muestre que k·k es diferenciable en H \ {0} y halle su derivada.
Si, además, T ∈ L (H, H), entonces muestre que el funcional
J : H −→ R
r
u 7−→ J(u) = kT uk ,
23 Esto es gracias al siguiente resultado que se anima al lector a probarlo usando una demostración
análoga a la dada para el TIFv2: Sean F un espacio normado, f : [a, b] → F y g : [a, b] → R funciones
continuas en [a, b] y diferenciables en (a, b). Si
kDf (x)k ≤ g 0 (x) para todo x ∈ (a, b),
entonces
kf (b) − f (a)k ≤ g(b) − g(a).
3.12 Ejercicios 149
2
(b) Si H es complejo, entonces muestre que tanto k·k como k·k no son diferenciables en
H.
Ejercicio 51. Sean E, F espacios normados, U ⊆ E un abierto y f : U → F una función
tal que f (U ) ⊆ F1 , donde F1 es un subespacio vectorial cerrado de F . Si f es diferenciable
en u0 ∈ U , muestre que Df (u0 ) ∈ L (E, F1 ) .
Ejercicio 52. Considere el espacio vectorial C 0 ([a, b]) de las funciones continuas del
intervalo cerrado [a, b] en R el cual está equipado con la norma kf k = sup |f (x)|. Sea
x∈[a,b]
el operador
T : C 0 ([a, b]) −→ C 0 ([a, b])
f 7−→ T f
Rb
definido por T f (x) := f (x) a K(x, t)f (t) dt, donde K(x, t) es una función continua en
[a, b] × [a, b]. Muestre que T es diferenciable en C 0 ([a, b]) y halle su derivada.
Ejercicio 53. Sean U ⊆ C un abierto y f : U → C una función compleja. Considere que
f (x + iy) = u(x, y) + iv(x, y), para (x, y) ∈ V , donde V = {(x, y) ∈ R2 : x + iy ∈ U }.
Muestre que V es un abierto de R2 y que:
f es C-diferenciable en z = x + iy ∈ U si, y sólo si, la aplicación Ψ (x, y) =
(u(x, y), v(x, y)) es Fréchet diferenciable en V y f satisface las ecuaciones diferenciales
de Cauchy-Riemann en V .
Ejercicio 54. Sean E, F espacios normados, U ⊆ E abierto, f : U → F y α : U → R
funciones diferenciables en a ∈ U . Si α(a) 6= 0, entonces muestre que la función αf es
diferenciable en a y su diferencial está dada por
f α(a)Df (a) − Dα(a)f (a)
D (a) = .
α α(a)2
Ejercicio 55 (Regla de Leibniz). Sean E, F1 , F2 , G espacios normados, U ⊆ E, V1 ⊆
F1 , V2 ⊆ F2 abiertos, f1 : U → F1 y f2 : U → F2 funciones diferenciables en a ∈ U
tales que f1 (U ) ⊆ V1 y f2 (U ) ⊆ V2 . Considere, además, B : V1 × V2 → G una aplicación
bilineal y continua. Muestre que la función
h : U −→ G
x 7−→ h(x) = B(f1 (x), f2 (x))
es diferenciable en a y halle su derivada en dicho punto.
Ejercicio 56. Sean y ∈ Rn (conocida como la variable a explicar, de interés, de respuesta
o dependiente) y X ∈ Rn×n (conocido como el conjunto de variables explicativas o
regresoras) un vector y una matriz conocidas, respectivamente. El modelo de regresión
lineal múltiple que relaciona y y X está dado por
y = X β + ε,
(a) Sea a ∈ I. Muestre que para todo (x, y) ∈ I × I, con x 6= y, se tiene que
1
x − y (f (x) − f (y)) − Df (a)
≤ sup kDf (z) − Df (a)k .
z∈[x,y]
(b) Sea
g : I × I −→ E
1
(f (x) − f (y)) si x 6= y
(x, y) −
7 → g(x, y) = x − y
Df (x) si x = y.
Hint:
1. Use la función
f (z) − f (y) − (z − y)Df (a)
F (z) =
x−y
definida para cualquier a, x, y ∈ I con x 6= y, conjuntamente con el teorema de los
incrementos finitos.
2. Escriba g como la composición de las funciones
G1 (x, y) = (f (x) − f (y), x − y) definida sobre I ×I \∆
y
u
G2 (u, t) = definida sobre E × R∗ .
t
Ejercicio 64. Sean E, F, G espacios normados, U ⊆ E un abierto, V ⊆ F un abierto,
f : U → F y g : V → G dos funciones tales que f (U ) ⊆ V . Si f es G-diferenciable en
u0 ∈ U y g es F-diferenciable en f (u0 ) ∈ V , entonces muestre que g ◦f es G-diferenciable
en u0 y
DG (g ◦ f ) (u0 ) = Dg (f (u0 )) ◦ DG f (u0 ) .
f : R2 −→ R
y 2 sin x
en R2 \ A,
(x, y) −
7 → f (x, y) = y
0
en A,
con A = R × {0}.
152 3 Cálculo diferencial en espacios normados
1. Si ∂f
∂y (x, y) = 0 para todo (x, y) ∈ U , entonces ¿f no depende de la variable y en su
definición sobre el abierto U ?
∂f ∂f
2. Si ∂x (x, y) =0y ∂y (x, y) = 0 para todo (x, y) ∈ U , entonces ¿f es constante en U ?
el cual representa el paso de coordenadas polares (r, θ) a coordenadas rectangulares (x, y).
1. Diga por qué la transformación que permite pasar de (r, θ) a (x, y) no es biyectiva
como función de R2 en R2 .
2. Muestre que en una vecindad de (r0 , θ0 ), con r0 6= 0, las coordenadas polares (r, θ)
pueden ser expresadas como una función diferenciable de (x, y), el cual permite calcu-
∂r ∂r
lar ∂x y ∂y en función de (r0 , θ0 ). Especifique los valores de dichas derivadas parciales
en (r0 , θ0 ).
3. Dé expresiones explı́citas de una vecindad abierta V(r0 ,θ0 ) , de una función difer-
enciable
f definida sobre V(r0 ,θ0 ) , de Img(f ) = f (V(r0 ,θ0 ) ) y de la función inversa
−1
f .
f (V(r0 ,θ0 ) )
p : C 2 ([0, 1]) −→ R
u 7−→ p(u) = |u0 (0)| + ku00 k∞ ,
3.12 Ejercicios 153
Dado el punto (u, v) cerca de (u0 , v0 ) = (2, sin(1) + cos(1)), ¿es posible hallar un único
(x, y) cerca de (x0 , y0 ) = (1, 1) tal que satisfaga (S)? Además, muestre que existen campos
escalares h(u, v) y k(u, v) tales que satisfacen
2 2
∂h ∂h ∂k
4 (u0 , v0 ) − (u0 , v0 ) + 2 (u0 , v0 ) = 0.
∂u ∂v ∂u
Ejercicio 71. Muestre que para cualquier A ⊆ Wa abierto y conexo que contiene al
punto
a, la función implı́cita dada en el Teorema 3.36 restringida al conjunto A, es decir
g : A → F , es única.
A
Ejercicio 72. Calcule la recta tangente en el punto (1, 1, 1) a la curva C generada por
la intersección de las superficies:
x2 + y 2 + z 2 = 3,
2x2 − y 2 − z = 0.
Dado (x0 , y0 , u0 , v0 ) = (2, −1, 2, 1), solución para (P), muestre que existe r > 0 tal que
para todo (x, y) ∈ B((2, −1); r), se satisface la siguiente ecuación diferencial parcial no
lineal:
∂u ∂u
u(9uv 2 − 2) + + 6(x − y)v 2 = x + 2y,
∂x ∂y
donde B((2, −1); r) es la bola abierta en R2 de centro (2, −1) y radio r.
154 3 Cálculo diferencial en espacios normados
F : Ω × Ω −→ Rn
(x, y) 7−→ F (x, y) = g(x)(f (y)) + f (x).
Ejercicio 75.
(b) Usando el literal anterior, concluya que se tienen las mismas propiedades anteriores
para los espacios
f : U → F : f es n veces diferenciable en U
y
f : U → F : f es de clase C n sobre U .
Dn f (u0 ) ∈ M L s (E n , F ) .
D2 f (0)(u, u) = 2f (u).
3.12 Ejercicios 155
(a) Para cada u ∈ E, defina ϕu como ϕu (t) = f (tu) con t ∈ R. Muestre que ϕu es de
clase C 2 sobre R.
(b) Hallar la primera y la segunda derivadas de ϕu para todo t ∈ R.
(c) Para cada u ∈ E, defina Ψu como Ψu (t) = t2 f (u) con t ∈ R. Muestre que Ψu es dos
veces diferenciable en todo t ∈ R y halle su primera y segunda derivadas.
(d) Concluya lo requerido.
2 2 2
f (0, 0) = 0, Df (0, 0) = 0, D11 f (0, 0) = D22 f (0, 0) = 0, D12 f (0, 0) = 1.
(a) Escriba el desarrollo de Taylor en (0, 0) de mayor orden posible para las funciones f
y Df . Deduzca que para todo (x, y) ∈ R2
1
3
2f (x, y) − Df (x, y)(x, y) + D3 f (0, 0)((x, y), (x, y), (x, y)) = o k(x, y)k .
6
(b) Sea
ϕ : R2 −→ R
f (x,y)−xy , si (x, y) 6= (0, 0),
x2 +y 2
(x, y) 7−→ ϕ(x, y) =
0, si (x, y) = (0, 0).
Mediante el cálculo de D2 f (0, 0)((x, y), (x, y)), muestre que ϕ es una función continua
sobre R2 .
Ejercicio 79. Encuentre la aproximación de Taylor del orden indicado para la función
dada alrededor del punto (0, 0):
2
• f (x, y) = ex +y
; orden: 3
−(x2 +y 2 )
• f (x, y) = e ; orden: 2
f : R2 −→ R
y 2 sin x
en R2 \ A,
(x, y) −
7 → f (x, y) = y
0
en A,
∂2f ∂2f
con A = R × {0}. Muestre que (0, 0) y (0, 0) existen pero no tienen el mismo
∂x∂y ∂y∂x
valor. Indique si las derivadas parciales mixtas son continuas o no en (0, 0). ¿Qué se
puede concluir respecto a la existencia de la segunda derivada de f en el punto (0, 0)?
156 3 Cálculo diferencial en espacios normados
Ejercicio 81. El objetivo del siguiente ejercicio es observar que el Teorema de Schwarz
representa una condición necesaria pero no suficiente para que una función sea n veces
diferenciable en un punto.
Considere el campo escalar
f : R2 −→ R
x3 sin 1
en R2 \ B,
(x, y) −
7 → f (x, y) = x
0
en B,
con B = {0} × R. Muestre que las derivadas parciales mixtas en todo punto de B son
iguales y que f no es dos veces diferenciable en B.
A
Apéndice
Además, si todos los elementos de X son comparables (i.e., para todo x, y ∈ X, xRy o
yRx), entonces se dice que R es una relación de orden total .
Si R es una relación de orden parcial sobre X, se dirá que X es un conjunto parcial-
mente ordenado con ésta relación de orden. Más aún, si R es una relación de orden total
sobre X, entonces se dirá que X es un conjunto totalmente ordenado con dicha relación
de orden.
Ejemplo 29.
P(A) = {∅, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, A}.
Es fácil probar que x|y es una relación de orden parcial y por tanto N es un conjunto
parcialmente ordenado. Sin embargo, no es totalmente ordenado pues si consideramos
158 A Apéndice
Es claro que x ≤ y es una relación de orden total y por lo tanto, con esta relación N
ya es un conjunto totalmente ordenado.
Es usual asignar a una relación de orden R la notación ≤, aun cuando ésta no nece-
sariamente represente a la relación de orden usual sobre R.
Sean X un conjunto parcialmente ordenado con la relación ≤ y A ⊆ X. Se dice que
un elemento x ∈ X es una cota superior de A si
a ≤ x para todo a ∈ A.
a∗ ≤ x∗ para todo x∗ ∈ A∗ ,
es decir, no existe ningún elemento del conjunto que sea mayor que el elemento maximal
(nuevamente, mayor respecto a la relación de orden ≤).
Observación 44.
Sea A = {2, 3, 4, 8}. El conjunto de cotas superiores de A es {24k : k ∈ N}, por tanto,
A está acotado superiormente y sup A = 24 ∈ / A. Ası́, A no tiene máximo. Además, note
que los elementos maximales de A son 3 y 8. 4
Sean V y W dos subespacios vectoriales del espacio vectorial E. Se definen las siguientes
operaciones:
V ∩ W := {z ∈ E : z ∈ V y z ∈ W }
V ∪ W := {z ∈ E : z ∈ V o z ∈ W }
V + W := {v + w : v ∈ V, w ∈ W }
+ : E × E −→ E · : K × E −→ E
(x, y) 7−→ x + y (α, x) 7−→ α · x
son continuas.
El siguiente resultado nos dice que tanto las traslaciones como las dilataciones sobre
espacios vectoriales topológicos son homeomorfismos. Para su demostración ver [15, p.
8].
Proposición A.4. Sea E un espacio vectorial topológico. Para cada x0 ∈ E y λ ∈ K\{0},
se definen la aplicación traslación por x0 como
Tx0 : E −→ E
x 7−→ Tx0 (x) = x + x0
Dλ : E −→ E
x 7−→ Dλ (x) = λ · x.
Usando la definición de compacidad junto con lo anterior, se puede mostrar las sigu-
ientes proposiciones.
Se puede probar, fácilmente, que Ext (A) = Int (Ac ) y que (Int (A))c = Ac .
La siguiente proposición, cuya demostración es sencilla a partir de las definiciones
dadas previamente, nos permite caracterizar a los conjuntos densos en ninguna parte.
Proposición A.13.
Con lo visto previamente, es posible definir una clase importante de espacios topológicos,
los cuales poseen abiertos que, topológicamente hablando, son grandes.
Definición A.16. Un espacio topológico X es llamado un espacio de Baire si todo
subconjunto no vacı́o y abierto de X es de segunda categorı́a en X.
Para mayor información respecto a los espacios de Baire, refiérase a [2, p.190-195].
A.5 Espacios de sucesiones 163
Definición A.19. Sea p ∈ [1, +∞). Se define el espacio vectorial `p (K) como
( )
X
p N p
` (K) := {xn }n∈N ∈ K : |xn | < ∞ ,
n∈N
Nótese que los elementos de este espacio son sucesiones y no escalares. Por ejemplo,
la sucesión dada por
1 1 1
{xn }n∈N = 1, , , . . . , , . . .
2 3 n
X 1
es un elemento del espacio vectorial `2 (R) pues la serie converge.
n2
n∈N
El espacio `p (K) es un espacio normado dotado de la norma
! p1
X
p
{xn } |xn |
n∈N p = .
n∈N
Este espacio está formado por todas las sucesiones acotadas. Por ejemplo, toda
sucesión constante es elemento de `∞ (K) , al igual que toda sucesión convergente.
De igual forma, el espacio `∞ (K) es un espacio normado dotado de la norma
{xn }
n∈N ∞ = sup |xn |.
n∈N
Con las normas dadas anteriormente, se tiene que los espacios `p (K), con 1 ≤ p < +∞,
y `∞ (K) son espacios de Banach.
Considere el subespacio vectorial c00 de las sucesiones que son cero finalmente,
es decir,
c00 = {xn }n∈N ∈ KN : Card{n ∈ N : xn 6= 0} < +∞
y el subespacio vectorial c0 de las sucesiones que convergen a cero, es decir,
N
c0 = {xn }n∈N ∈ K : xn −→ 0 en K .
n→+∞
2. c00 es isomorfo, como espacio vectorial, al espacio vectorial de los polinomios con
coeficientes en K.
3. c00 no es cerrado en `p (K) para todo 1 ≤ p ≤ +∞. Más aún, c00 es denso en `p (K)
para todo 1 ≤ p < +∞.
4. c0 es cerrado en `∞ (K).
5. c00 no es cerrado en c0 pero es denso en c0 para la norma de `∞ .
6. c00 tiene dimensión algebraica infinita contable y no existe ninguna norma que lo
haga completo.
Observación 48. El espacio de sucesiones `2 (K) posee una estructura peculiar que lo
hace único dentro de los espacios `p (K). Esto se debe a que `2 (K) es, además, un espacio
de Hilbert equipado con el producto escalar
X
h{xn }n∈N , {yn }n∈N i = xn yn .
n∈N
Si x = {xn }n∈N es una sucesión de valores en K, entonces usaremos la notación {x(k) }k∈N
para denotar a una sucesión de sucesiones. Es decir, para todo k ∈ N, x(k) representará
la sucesión definida por
n o
(k) (k) (k)
x(k) = x(k)
n = {x1 , x2 , x3 , . . .},
n∈N
(k)
con xn ∈ K para todo n, k ∈ N.
Usando esta notación, podemos probar que los espacios `p (K) son espacios de Banach
para todo 1 ≤ p ≤ +∞.
1. E es un subconjunto de F .
2. La aplicación lineal identidad
id : E −→ F
x 7−→ x
es contınua, es decir, si existe C > 0 tal que para todo x ∈ F
kxkF ≤ C kxkE .
A.6 Espacio normado de las aplicaciones multilineales y continuas 165
Con la definición previa se tiene el siguiente resultado importante que relaciona a los
espacios `p (K).
Cabe notar que, al igual que ocurre para los operadores lineales, se tiene que si T es
una aplicación multilineal, entonces
Observación 49.
(a) Note que L (E1 × . . . × En , F ) 6= M L (E1 × . . . × En , F ). El único caso en que son
iguales es cuando n = 1.
(b) Para el caso n = 2, se tiene que M L (E1 × E2 , F ) = B (E1 × E2 , F ).
(c) Si F es un espacio de Banach, entonces M L (E1 × · · · × En , F ) también lo es.
M L (E1 × . . . × Em , M L (Em+1 × . . . × En , F )) ∼
= M L (E1 × . . . × En , F ) .
kΨ (T )(x1 , . . . , xn )kF
kΨ (T )k = sup n
{xi 6=0 ∀i} Y
kxi kEi
i=1
kT (x1 , . . . , xm )(xm+1 , . . . , xn )kF
= sup n
{xi 6=0 ∀i} Y
kxi kEi
i=1
n
Y
kT (x1 , . . . , xm )k kxi kEi
i=m+1
≤ sup n
{xi 6=0 ∀i} Y
kxi kEi
i=1
m
Y n
Y
kT k kxi kEi kxi kEi
i=1 i=m+1
≤ sup n
{xi 6=0 ∀i} Y
kxi kEi
i=1
= kT k . (A.1)
kT (x1 , . . . , xm )k
kT k = sup m . (A.2)
{xi 6=0 ∀i} Y
kxi kEi
i=1
m
Y
kΨ (t)k kxj kEj
j=1
kT k ≤ sup m
{xi 6=0 ∀i} Y
kxi kEi
i=1
y ası́,
kT k ≤ kΨ (T )k (A.3)
y por tanto
Ψ (T ) = S.
M L s (E n , F ) = {ϕ ∈ M L (E n , F ) : ∀(x1 , . . . , xn ) ∈ E n , ∀τ ∈ Sn ,
ϕ(x1 , . . . , xn ) = ϕ(xτ (1) , . . . , xτ (n) ) ,
Ψτ : M L (E n , F ) −→ M L (E n , F )
ϕ 7−→ Ψτ (ϕ)
168 A Apéndice
y como
n
Y n
Y
kxi kE =
xτ (i)
E
y {xi 6= 0 ∀i} es equivalente a {xτ (i) 6= 0 ∀i},
i=1 i=1
entonces
kΨτ (ϕ)k = kϕk .
Además, Ψτ es sobreyectiva, pues si S ∈ M L (E n , F ), se considera
Ası́,
gτ : M L (E n , F ) −→ M L (E n , F )
ϕ 7−→ gτ (ϕ) = ϕ − Ψτ (ϕ).
ker(gτ ) = {ϕ ∈ M L (E n , F ) : ϕ − Ψτ (ϕ) = 0}
[16] J. Simon. Banach, Fréchet, Hilbert and Neumann Spaces, volume 1 of Mathematics
and Statistics Series. Analysis for PDEs Set. Wiley, 2017.
Índice analı́tico
Aplicación de Bessel 68
abierta 31 variacional 54
cerrada 38 Difeomorfismo 127
componente 117 de clase C 1 127
multilineal 165
acotada 165 Elemento maximal de un conjunto 158
parcial 119 Espacio
de Baire 162
Base estrictamente convexo 12
de Hamel 2 vectorial topológico 159
de Hilbert 66 Espesor de un conjunto 17
Schauder 62 Exterior de un conjunto 161
Conjunto Fórmula
absorbente 160 de Taylor-Lagrange 147
acotado superiormente 158 de Taylor-Young 145
convexo 14 Familia
de primera categorı́a o meager 162 maximal 63
de segunda categorı́a 162 ortogonal y ortonormal 63
denso y denso en ninguna parte 161 Forma bilineal
fundamental o total 42 acotada 55
residual 162 coerciva 55
Cota superior de un conjunto 158 Función
Curvas tangentes 88 acotada 34
continuamente diferenciable 98
Delta de Kronecker 3 diferenciable
Derivada Fréchet 89
de Fréchet 91 Gâteaux 98
de Gâteaux 99 implı́cita 135
de orden superior 136 resto 91
direccional 98 suave 136
parcial 120 Funcional
Desigualdad K - lineal 8
174 Índice analı́tico
Hiperplano 14 Seminorma 5
Homeomorfismo diferenciable 127 Separación
de conjuntos 14
Identidad de Parseval 66
de puntos 12
Inyección
Serie de Fourier 66
canónica 117
Sucesión minimizante 47
continua 164
Supremo de un conjunto 158
Isomorfismo topológico 128