Beruflich Dokumente
Kultur Dokumente
01 de octubre de 2018
3ra 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 estas notas 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.
Por otro lado, la mayorı́a de las secciones empiezan con una introducción motivacional
(etiqueta Motivación) que nos brinda una visión del por qué estudiar los resultados
vistos en dicha sección. Para lograr este cometido, se hace uso de preguntas naturales
referentes al tema tratado las cuales están etiquetadas con la letra Q. La finalización de
la parte motivacional se la explicita con una lı́nea continua de sı́mbolos ?.
Cabe mencionar que estas notas fueron desarrolladas usando mis apuntes de preparación
de este curso, los cuales empecé a realizarlos cuando dicté esta materia por primera vez
en septiembre de 2010. Sin embargo, el paso de estos apuntes por primera vez a formato
digital fueron realizadas en el semestre abril-septiembre de 2017. Por último, tener en
cuenta que estas notas son preliminares, ası́ que cualquier sugerencia, observación y/o
corrección será bienvenida.
Paul Acevedo
Contents
A Apéndice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
A.1 Relación de orden sobre conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
A.2 Operaciones sobre subespacios vectoriales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
A.3 Espacios vectoriales topológicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
A.4 Categorı́as de Baire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153
A.5 Espacios de sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
A.5.1 Notación utilizada para representar una sucesión de sucesiones . . . 156
A.5.2 Inyecciones contınuas en los espacios `p (K) . . . . . . . . . . . . . . . . . . . . 156
A.6 Espacio normado de las aplicaciones multilineales y continuas . . . . . . . . . . 157
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163
Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
1
1
Ver Apéndice A.1
2 1 Teoremas fundamentales del Análisis Funcional Lineal
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
(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 ).
6 1 Teoremas fundamentales del Análisis Funcional Lineal
Luego, como x ∈ Dom(ψi ) ∩ Dom(ψj ), entonces h(x) = ψi (x) = ψj (x), y por tanto,
h está bien definida.
2. Notemos que h ∈ M. En efecto, puesto que {ψi }i∈I es totalmente ordenado, se sigue
de inmediato que Dom(h) es un s.e.v. de E, (pues todos los Dom(ψi ) están incluidos
entre sı́) y h es lineal. Además, F ⊆ Dom(h) pues F ⊆ Dom(ψi ) para todo i ∈ I;
h|F = g pues ψi extiende a g para todo i ∈ I y h(x) ≤ p(x) para todo x ∈ Dom(h),
pues ψi (x) ≤ p(x) para todo x ∈ Dom(ψi ) y para todo i ∈ I.
3. h es una cota superior para {ψi }i∈I pues ψi ≤ h para todo i ∈ I por la definición
misma de h.
k : Dom(k) −→ R
y + tx 7−→ k(y + tx) = f (y) + tα,
5
Es decir, no depende del ı́ndice elegido
6
Se dará condiciones para α de tal manera que k ∈ M .
1.1 Teorema de Hahn-Banach 7
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)
≤ p(u + x) + p(v − x),
y por lo tanto,
i) f |F = g
ii) Re (f (x)) ≤ p(x) para todo x ∈ E.
g : F −→ C
x 7−→ g(x) = g1 (x) + ig2 (x),
g1 (x) ≤ p(x), ∀x ∈ FR ,
y ası́, por el teorema Teorema 1.2, existe f1 : ER → R funcional R - lineal tal que
• f1 |FR = g1
• f1 (x) ≤ p(x) para todo x ∈ ER .
7
Sea E un espacio vectorial sobre K y f : E → K un funcional. Se dice que f es K-lineal si
f (λx + y) = λf (x) + f (y) para todo x, y ∈ E y λ ∈ K. Notar que todo funcional C - lineal es
R - lineal pues todo espacio vectorial sobre C es un espacio vectorial sobre R. Sin embargo,
las recı́procas de ambas afirmaciones no son ciertas. Por ejemplo, R2 es un espacio vectorial
real pero no complejo y la aplicación F : R2 → R2 definida por F (x, y) = (x − y, x + y) es R
- lineal pero no es C - lineal aunque identifiquemos R2 con C de la manera usual.
8
VR denota al espacio vectorial real V (i.e., considerando que el campo de escalares sobre V
es R.)
1.1 Teorema de Hahn-Banach 9
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.2 como el Corolario 1.3 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 ésto 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.3 para el caso en que p es una seminorma (ver
Ejercicio 3).
Ejemplo 2. Sea 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
10 1 Teoremas fundamentales del Análisis Funcional Lineal
n, si i = jn , 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).
y por tanto,
|f (x)| ≤ p(x) = kgkF ∗ kxk para todo x ∈ E.
|g(x)|
kgkF ∗ = sup
x∈F kxk
x6=0
|f (x)|
= sup
x∈F kxk
x6=0
≤ kf kE ∗ ,
Observación 4. El Corolario 1.4 es referido como de tipo topológico pues las extensiones
lineales son además continuas bajo las hipótesis de este resultado.
Corolario 1.5. 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 .
|g(αx)|
kgkF ∗ = sup
αx6=0 kαxk
12 1 Teoremas fundamentales del Análisis Funcional Lineal
2
|α| kxk
= sup
αx6=0 |α| kxk
= kxk , (1.10)
lo que implica que g es acotada, es decir, g ∈ F ∗ . Entonces, por el Corolario 1.4, existe
f ∈ E ∗ tal que
f |F = g y kf kE ∗ = kgkF ∗ .
f (x) 6= f (y).
9
Se dice que un espacio normado V es estrictamente convexo si para todo x, y ∈ V , con
x 6= y y kxk = kyk = 1 y para todo 0 < t < 1 se tiene que
Ası́, todo espacio de Hilbert es estrictamente convexo. Para más detalles ver [3, p. 3].
1.1 Teorema de Hahn-Banach 13
(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: ¿ es posible dar una interpretación geomérica a los espacios duales ?
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
1.1 Teorema de Hahn-Banach 15
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 λ ∈ R11 , 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,
α − f (x0 )
|f (z)| < .
R
11
Como f es no nulo, entonces es posible considerar que existe m ∈ N tal que f (em ) 6= 0 y si
f (e )
λ < −2 f (em+1
m)
, el lado izquierdo de la desigualdad es negativo.
16 1 Teoremas fundamentales del Análisis Funcional Lineal
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 ∗ = 12 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.
Definición 4. Sean E un espacio vectorial real y C ⊆ E no vacı́o y convexo. A la
aplicación
pC : E −→ R ∪ {+∞}
x 7−→ pC (x) = inf α > 0 : x ∈ α C ,
la llamaremos espesor de C o funcional de Minkowski de C.
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.
12
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
Lema 2. 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
absorbente13 , es decir, [
E= α C.
α>0
{α > 0 : x ∈ α C} =
6 ∅.
ϕy : R −→ E
t 7−→ ϕy (t) = ty.
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.
18 1 Teoremas fundamentales del Análisis Funcional Lineal
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 3. 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 2.
Consideremos F = span ({x0 }) = Rx0 y
g : F −→ R
tx0 7−→ g(tx0 ) = t.
• Si t ≤ 0, entonces
g(tx0 ) = t ≤ 0 ≤ pC (tx0 ).
1.1 Teorema de Hahn-Banach 19
y como x0 ∈
/ C, entonces
pC (x0 ) ≥ 1 = g(x0 ).
Ası́,
Veamos que f es continua. Nuevamente, por el Lema 2, 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.8 (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.
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
Teorema 1.9 (Teorema de Hahn-Banach. Segunda forma geométrica. Caso real). Sean
E un espacio normado real, A, B ⊆ E no vacı́os, convexos y disjuntos. Si A es compacto y
B es cerrado, entonces existe un hiperplano cerrado H = [f = α] que separa estrictamente
los conjuntos A y B.
1.1 Teorema de Hahn-Banach 21
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
Tomando α tal que
r r
sup f (a) + kf kE ∗ ≤ α ≤ inf f (b) − kf kE ∗ ,
a∈A 2 b∈B 2
se tiene que existe un hiperplano H = [f = α] que separa estrictamente A y B.
22 1 Teoremas fundamentales del Análisis Funcional Lineal
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.8, 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.9, existen α ∈ R y f ∈ E ∗ no nulo tales que
en particular,
f (x) < α ∀x ∈ F.
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 .
15
Mas aún, estos conceptos son válidos en espacios topológicos.
24 1 Teoremas fundamentales del Análisis Funcional Lineal
Demostración del Teorema 1.13. Idea: Demostrar la Proposición 1.14 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 17 .
16
Llamado también teorema de las categorı́as de Baire, fue demostrado por el matemático
francés René-Louis Baire en su tesis doctoral en 1899.
17
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.
1.2 Teorema de Baire 25
B(u1 , r1 ) ( B(u0 , r0 ) ∩ O0 ,
r0
con 0 < r1 < .
2
De nuevo, por densidad B(u1 , r1 ) ∩ O1 6= ∅, y como éste conjunto es 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
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.
Notar que {fn }n∈N es una sucesión de funciones uniformemente continuas. Además, para
cada x ∈ [0, +∞[,
sup |fn (x)| < +∞,
n∈N∗
pero
sup sup |fn (x)| = +∞.
n∈N∗ 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,
|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.16, Tf f ∈U ∗ es acotado uniformemente, es decir, existe
C > 0 tal que
|Tf (x)| ≤ C kxkE ∀f ∈ U ∗ , ∀x ∈ E.
Luego,
30 1 Teoremas fundamentales del Análisis Funcional Lineal
|f (x)| ≤ C kxkE ∀f ∈ U ∗ , ∀x ∈ E,
con lo cual
kf kE ∗ ≤ C ∀f ∈ U ∗ .
Esto muestra que U ∗ es acotado.
Q: ¿ T −1 es lineal ?
Q: ¿ T −1 ∈ L (F, E) ?
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
x
T {xn }
n
n∈N∗
∞ = sup
`
≤ sup |xn | =
{xn }n∈N∗
`∞ .
n∈N∗ n n∈N∗
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
BF (0, r) ( T (BE (0, R)). (1.18)
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, α)).
1.5 Teorema del Grafo Cerrado 33
kxk2 ≤ M1 kxk1 ,
kxk1 ≤ M2 kxk2 .
kxk1 ≤ M2 kxk2 .
kT xkF ≤ C kxkE .
Notar que esto no quiere decir que T sea una función acotada (una función f : E → F se
dice acotada si existe C > 0 tal que para todo x ∈ E
kf (x)kF ≤ C.)
34 1 Teoremas fundamentales del Análisis Funcional Lineal
• T es Lipschitz continua.
• Si xn → x en E, entonces T xn → T x en F .
• Si E, F son espacios de Banach y T es biyectivo, entonces T −1 es continua.
• etc.
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.
Definición 6 (Operador cerrado). Sean E, F espacios normados y T : Dom(T ) ⊆ E → F
un operador lineal. Decimos que T es un operador cerrado si el grafo de T
Proof.
id : V −→ V
x 7−→ x,
O : V −→ V
,
x 7−→ 0
Los siguientes resultados (uno de los cuales es el teorema del grafo cerrado) nos dan
una respuesta afirmativa a esta interrogante.
Teorema 1.24 (Teorema del grafo cerrado). Sean E, F espacios de Banach y T : Dom(T ) ⊆
E → F un operador lineal cerrado. Si Dom(T ) es cerrado en E, entonces T es un oper-
ador continuo.
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.21, 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.
Teorema 1.25 (Condiciones suficientes para que un operador lineal continuo sea cer-
rado). Sean E, F espacios normados y T : Dom(T ) ⊆ E → F un operador lineal con-
tinuo. Si Dom(T ) es cerrado en E, entonces T es un operador cerrado.
Proof. Por la caracterización de un operador cerrado, sea xn n∈N ( Dom(T ) tal que
xn → x en E y T xn → y en F .
1.5 Teorema del Grafo Cerrado 37
El siguiente resultado se puede ver como el recı́proco del teorema del grafo cerrado.
Proposición 1.26 (Recı́proco del teorema del grafo cerrado). Sean E, F espacios nor-
mados 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.
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-
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.
Ası́, para cada n ∈ N se tiene que
un
f (vn ) == 0,
n
con lo cual un = 0 para cada n ∈ N. Esto implica que u = {0} (la sucesión cero)
y por tanto, kf k = 0, lo que implica que f = 0 en `2 C . Finalmente, gracias a la
Observación 8, se sigue que Img(T ) = `2 C . Se concluye entonces que Img(T ) no es
cerrado en `2 C pues si ası́ lo fuera, entonces Img(T ) = `2 C , lo que se probó que
no es cierto pues T no es sobreyectiva.
(b) Aplicación cerrada no implica operador cerrado. Consideremos la siguiente
aplicación
T : c00 ( `2 C −→ `2 C
{xn } 7−→ {0},
donde c00 está definido en Apéndice A.5. Es claro que T es lineal y una aplicación
cerrada, pues envı́a cualquier cerrado de `2 C en el cerrado {0}.
Sin embargo, T no es un operador cerrado pues c00 no es cerrado en `2 C (de hecho,
es denso en `2 C )20 .
4
1.6 Ejercicios
(a) Muestre que BW puede ser completado a una base de Hamel para E.
Ejercicio 2. Considere C 0 ([0, 1]) el espacio de las funciones continuas definidas sobre
[0, 1] a valores reales y sea M = {xn : n ∈ N0 } ( C 0 ([0, 1]) linealmente independiente.
Observe que gracias al Lema de Zorn, M puede ser extendido a una base de Hamel para
C 0 ([0, 1]), la cual la denotaremos por {hi }i∈I . De esta manera, para todo f ∈ C 0 ([0, 1]),
existen únicos αj ∈ R, con j ∈ J, J ⊆ I finito, tales que
X
f= αj hj .
j∈J
ϕ : C 0 ([0, 1]) −→ R
+∞
X
f 7−→ ϕ(f ) = (n + 1)ϕn (f )
n=0
Ejercicio 4.
pC : E −→ R
v 7−→ pC (v) := inf α > 0 : v ∈ αC .
Ejercicio 5.
p : `∞ (C) −→ R
{tn } 7−→ p({tn }) := lim sup Re(tn )
n→+∞
es sublineal.
2. Muestre que existe un funcional lineal f : `∞ (C) → R tal que para todo {tn }n∈N ∈
`∞ (C)
lim inf Re(tn ) ≤ f {tn } ≤ lim sup Re(tn ).
n→+∞ n→+∞
g : c0 −→ R
{tn } 7−→ g({tn }) := lim tn
n→+∞
1. ψ(v) = dist(v, F ),
2. ψ|F = 0 y
3. kψkE ∗ = 1.
ϕ|ker(f ) = 0.
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 se tenga que
X n
n
X
λ k vk
≥ C |λk | .
k=1 k=1
de E.)
Ejercicio 11. Muestre que un hiperplano H = [f = α] ( E (o H = [Re(f ) = α] ( E)
es denso en E si, y sólo si, f es discontinua.
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.
Ejercicio 12. Sean E un espacio normado y A ⊆ E. Decimos que A es un conjunto
fundamental (o conjunto total ) en E si
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.
Ejercicio 13. Sea 1 < p < +∞. Muestre que
X
F = {xn }n∈N∗ ∈ `p (R) :
xn = 0
n∈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.
c0 = {xn }n∈N∗ ∈ `∞ C : xn → 0 .
P
Muestre que n∈N∗ |yn | converge.
Tn x → T x,
donde T ∈ L (E, F ).
Ejercicio 19. Sean E, F espacios de Banach y Tn n∈N ( L (E, F ). Muestre que las
Ejercicio 20. 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 .
1.6 Ejercicios 43
a: E × F → R
Observación 11. El resultado sigue siendo cierto si sólo uno de los espacios es de
Banach.
Ejercicio 22.
Ejercicio 24. Sean E un espacio vectorial sobre K , k·k1 y k·k2 dos normas sobre E.
Además, considere que E es un espacio de Banach con ambas normas y τ1 , τ2 son las
topologı́as sobre E definidas por k·k1 y k·k2 , respectivamente. Si τ2 ⊆ τ1 , muestre que
τ1 = τ2 .
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
de la siguiente manera:
Z xf q
min J(f ) := 2 2
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 desarrollar la deducción de esta fórmula de longitud de una curva plana
usando para ello el famoso teorema del valor medio.
46 2 Complementos de 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 ).
3
Esta sucesión es conocida como sucesión minimizante para (2.2).
48 2 Complementos de espacios de Hilbert
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.
hu − PM (u), w − PM (u)i ≤ 0 ∀w ∈ M.
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,
2.1 Teorema de la proyección 49
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.
La siguiente proposición nos dice que la proyección es una aplicación que no incre-
menta las distancias.
50 2 Complementos de espacios de Hilbert
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.
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 .
2.1 Teorema de la proyección 53
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),
i.e., PM ⊥ := idE − PM . Además, PM ⊥ es un operador proyección gracias a la
Proposición 2.4.
⊥
(b) Notar que en general M ⊆ M ⊥ , pero gracias a la Proposición 2.7, se sigue que
⊥
M⊥ = M.
E = M ⊕ M ⊥ = M ⊥ ⊕ (M ⊥ )⊥ ,
E = M ⊕ M ⊥.
54 2 Complementos de espacios de Hilbert
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 5
4
En optimización, a este elemento se suele llamar minimizador para f .
5
Uno de los precursores del estudio de la teorı́a de desigualdades variacionales fue el matemático
italiano Guido Stampacchia. Esta teorı́a ha tenido una fuerte influencia en la resolución
de problemas complejos presentes en varias áreas del conocimiento como en optimización,
mecánica, etc.
2.2 Teorema de Stampacchia y teorema de Lax-Milgram 55
Teorema 2.8 (Teorema de Stampacchia). Sean H un espacio de Hilbert real con producto
interno h·, ·i, K ⊆ H no vacı́o, convexo y cerrado, y a : H × H → R una forma bilineal.
Si a(·, ·) es continua (o acotada), es decir, existe C > 0 tal que
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)
6
Notar que esta condición exige implı́citamente que a(u, u) ≥ 0 para todo u ∈ H, lo cual en
general no siempre se tiene. Por ejemplo, considere la forma bilineal a : R2 × R2 → R definida
por a((x, y), (u, v)) = xu + y(u − v) y note que a((1, 10), (1, 10)) < 0.
56 2 Complementos de espacios de Hilbert
con lo cual, pasando el lado derecho de la desigualdad al lado izquierdo, se obtiene que
kAukH ≤ C kukH ∀u ∈ H.
Con esto, concluimos que A ∈ L (H, H). Además, gracias a la coercividad de a(·, ·)
2
hu, Aui ≥ αkuk ∀u ∈ H.
Ésto nos permite concluir que demostrar (2.8) es equivalente a demostrar que existe un
único u ∈ K tal que
hv − u, Aui ≥ hv − u, xi ∀v ∈ K,
que a su vez es equivalente a
hv − u, x − Aui ≤ 0 ∀v ∈ K,
que es equivalente a
hv − u, βx − βAu + u − ui ≤ 0 ∀v ∈ K,
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.2 Teorema de Stampacchia y teorema de Lax-Milgram 57
2
≤ kβA(v2 − v1 ) − (v2 − v1 )kH
2 2
= β 2 kA(v2 − v1 )kH − 2 hβA(v2 − v1 ), v2 − v1 i + kv2 − v1 kH
2 2 2
≤ β 2 C 2 kv2 − v1 kH − 2βα kv2 − v1 kH + kv2 − v1 kH
2
= (β 2 C 2 − 2βα + 1) kv2 − v1 kH .
2α
Eligiendo β > 0 tal que β 2 C 2 − 2βα + 1 < 1 (i.e. 0 < β < C 2 ), S es una contracción.
Finalmente, por el teorema de punto fijo de Banach, S posee un único punto fijo u ∈
K.
Observación 19. Si, además, la forma bilineal a(·, ·) es simétrica, entonces el único
u ∈ K del Teorema 2.8 se caracteriza como la solución al siguiente problema variacional:
encuentre un único u ∈ K tal que
donde
1
J(v) = a(v, v) − hϕ, viH ∗ ,H ,
2
es decir, {u} = argmin J(v).
v∈K
En efecto, gracias a que la forma bilineal a(·, ·) es simétrica, 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
la norma k·ka . Ası́, por el teorema de representación de Riesz, para cualquier ϕ ∈ H ∗ ,
existe un único g ∈ H tal que
a(u, v − u) ≥ a(v − u, g) ∀v ∈ K,
a(g − u, v − u) ≤ 0 ∀v ∈ K.
Ası́,
1 2 1 1 2
kg − vka = a(v, v) − 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 ⇐⇒ 7 min kg − vka ⇐⇒ min J(v).
v∈K 2 v∈K v∈K
7
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 teorema de Lax-Milgram 59
Observación 20. Al igual que en el Teorema 2.8, si la forma bilineal a(·, ·) es simétrica,
entonces el único elementro u ∈ H del Teorema 2.9 se caracteriza como la solución al
problema variacional: encuentre un único u ∈ H tal que
donde
1
J(v) = a(v, v) − 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) − hϕ, u + viH ∗ ,H
2
1 1
= a(u, u) + a(u, v) + a(v, v) − hϕ, uiH ∗ ,H − hϕ, viH ∗ ,H
2 2
1
= J(u) + a(u, v) − hϕ, viH ∗ ,H + a(v, v).
2
Ası́, si u ∈ H resuelve (2.13), 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
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 ?
2.3 Bases ortonormales en espacios con producto interno 61
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
9
Schauder Xsi 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. Ésto pues 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
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 7. 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.
9
En espacios de dimensión finita, los conceptos de base de Hamel y de Schauder coinciden.
10
P. Enflo, A counterexample to the approximation property in Banach spaces, Acta Math. 130
(1973), 309-317.
11
Este nuevo concepto de base presenta una marcada sencillez para representar cualquier ele-
mento del espacio como una serie haciendo uso del producto interno definido sobre el espacio
de Hilbert.
62 2 Complementos de espacios de Hilbert
Observación 22.
Proposición 2.11 (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 ortonormal. Si
span ({ei }i∈I ) = E,12 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.
El siguiente resultado nos brinda una propiedad interesante sobre cualquier espacio
con producto interno.
Teorema 2.13. 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.
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.15)
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 ésto 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.15), que
√
gk − gk
≥ 2 ,
i j
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
que es inyectiva, lo cual muestra que Card(I) ≤ ℵ0 y queda probado el resultado.
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 9. Sea H un espacio de Hilbert 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 .13
i∈I
13
Notar que la suma es sobre una familia arbitraria de ı́ndices. Para mayores detalles ver
Ejercicio 46.
2.3 Bases ortonormales en espacios con producto interno 65
(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
y por tanto X
x= hx, en i en . (2.17)
n∈N
que equivale a
Xn
[hx, ek i − αk ]ek
−→ 0.
n→+∞
k=0 H
Ası́, * +
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
αn = hx, en i .
Etapa 2. Veamos ahora que en Xefecto {en }n∈N es una base de Hilbert, es decir, que
para cualquier x ∈ H la serie hx, en i en converge a x.
n∈N
Pn
Sea x ∈ H. Veamos que la sucesión {sn }n∈N ( H definida por sn = k=0 hx, ek i ek
es una sucesión de Cauchy. Sin pérdida de generalidad consideremos n ≥ m y ası́
2
X n
Xn
2
ksn − sm kH =
hx, ek i ek
= | hx, ek i |2 . (2.18)
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.18), 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
lo cual es equivalente a
n
X
2 2
kxkH − |hx, ek i| −→ 0
n→+∞
k=0
y por tanto X
2 2
kxkH = |hx, en i| .
n∈N
lim hx, en i = 0.
n→+∞
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.4), 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 definido15 . Además, gracias a que Ψ = g en Dom(T ),
T y T × verifican la siguiente relación fundamental
= αT × f + T × g, u E ∗ ,E ,
15
Esta es la razón por la cual se define operadores adjuntos de operadores definidos densamente.
70 2 Complementos de espacios de Hilbert
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 ∗
y por tanto,
2.4 Operadores adjunto, adjunto de Hilbert, autoadjunto, unitario y normal 71
×
T ϕ
≤ kϕk kT k ∀ϕ ∈ F ∗
kT uk ≤
T ×
kuk
∀u ∈ Dom(T )
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 continuo (T × ∈ L (F ∗ , E ∗ )) que verifica la relación fundamental
(2.19) 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:
16
Considere por ejemplo dos funciones lineales las cuales están definidas en Q e I, respectiva-
mente. Es claro que están definidas densamente y sin embargo, Q ∩ I 6= R.
72 2 Complementos de espacios de Hilbert
Definición 11. 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
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
17
ST representa la composición S ◦ T .
2.4 Operadores adjunto, adjunto de Hilbert, autoadjunto, unitario y normal 73
u, S1 T × ϕv H1 = u, wT × ϕv H ∗ ,H1 ∀u ∈ H1
1
y por tanto,
hu, SviH1 = u, wT × ϕv H ∗ ,H1
1
×
= T ϕv , u H ∗ ,H
1 1
= hT u, viH2
= hu, T ∗ viH1 .
y por tanto
T ∗ = S = S1 ◦ T × ◦ S2−1 . (2.21)
Además, kT k = kT ∗ k. En efecto, por (2.21) se sigue que kT ∗ k ≤ kT × k = kT k; y por otro
lado, gracias a (2.20) se sigue que kT k ≤ kT ∗ k.
Observación 25. Notar que gracias a la simetrı́a conjugada del producto interno, en-
tonces
hT ∗ v, uiH1 = hv, T uiH2 ∀u ∈ H1 , ∀v ∈ H2 .
Proposición 2.18. Sean H1 , H2 , H3 espacios de Hilbert, S, T ∈ L (H1 , H2 ) y R ∈
L (H2 , H3 ).
∗
1. (S + T ) = S ∗ + T ∗ .
∗
2. Para todo α ∈ K, (αT ) = αT ∗ .
3. (T ∗ )∗ = T .
2
4. kT ∗ T k = kT T ∗ k = kT k .
5. T ∗ T = 0 si, y sólo si, T = 0.
6. (RT )∗ = T ∗ R∗ .
7. Si además T es un operador biyectivo, entonces (T ∗ )−1 existe y (T ∗ )−1 = (T −1 )∗ .
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.
Lema 4. Sea H un espacio de Hilbert complejo y S ∈ L (H, H) tal que hSu, ui = 0 para
todo u ∈ H. Entonces S = 0.
2.4 Operadores adjunto, adjunto de Hilbert, autoadjunto, unitario y normal 75
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,
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
de lo cual
h(T ∗ − T ) u, ui = 0 ∀u ∈ H.
Gracias al Lema 4 se sigue que
T = T ∗.
(ST )∗ = ST ←→ 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
= kT − Tn k + kTn − T k
= 2 kT − Tn k .
1. T es una isometrı́a.
2. kT k = 1 siempre que H6= {0}.
3. T −1 es un operador unitario.
4. T S es un operador unitario.
5. Si H es un espacio de Hilbert complejo, entonces
Proof.
1. Sea u ∈ H.
2
kT uk = hT u, T uiH
= hu, T ∗ T uiH
= hu, uiH
2
= kuk
kT uk = kuk , ∀u ∈ H.
kT uk
=1
kuk
con lo cual kT k = 1.
3. T −1 es biyectivo pues T es biyectivo y además T −1 ∈ L (H, H) por el teorema de
los isomorfismos de Banach. Ası́
(T −1 )∗ = (T ∗ )∗ = T = (T −1 )−1 .
(T S)∗ = S ∗ T ∗ = S −1 T −1 = (T S)−1 .
con lo cual
h(T ∗ T − id)u, uiH = 0∀u ∈ H,
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
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
2
D E
hT (u + v), u + vi = ku+vk2 hT (u + v), u + vi = ku + vk2 T u+v ,
18
u+v
≤
H ku+vk H ku+vk ku+vk
H
ku + vk2 supkwk=1 hT w, wi .
H
2.5 Ejercicios 79
Por tanto,
y por tanto
kT k ≤ sup |hT w, wi| .
kwk=1
2.5 Ejercicios
Ejercicio 32. 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 34. Considere a Rm equipado con la norma euclidiana k·kRm y sean A ∈ Rm×n
una matriz y b ∈ Rm un vector dados.
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.
80 2 Complementos de espacios de Hilbert
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
Ejercicio 36. 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 37. Sea H un espacio de Hilbert sobre K que posee una familia ortonormal
maximal finita o infinita numerable. Muestre que H es separable.
Ejercicio 38. 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 39. Sea H un espacio de Hilbert sobre K con producto interno h·, ·i.
• P es idempotente, i.e., P 2 = P .
• P es autoadjunto, i.e., hP u, vi = hu, P vi para todo u, v ∈ H.
(b) Sea Q : H → H un operador lineal, continuo, idempotente y simétrico. Muestre que
Q(H) es un s.e.v. cerrado de H y que Q es la proyección de H sobre Q(H).
(c) Sea Q : H → H un operador lineal, continuo, idempotente tal que kQk ≤ 1. Muestre
que Q(H) es un s.e.v. cerrado de H y que Q es la proyección de H sobre Q(H).
Ejercicio 40. Sean H un espacio de Hilbert sobre K, D ( H tal que span (D) = H y
{Hn }n∈N∗ una sucesión de subespacios cerrados en H que son mutuamente ortogonales.
Suponga además que X 2 2
kPHn uk = kuk ∀u ∈ D.
n∈N∗
!
[
Pruebe que span Hn es denso en H.
n∈N∗
Ejercicio 41. (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,
n→+∞
[
donde v = PZ u, con Z := Vn .
n∈N∗
Ejercicio 46.
2.5 Ejercicios 83
(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 47. 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 48. 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.
y
2
kAuk ≤ kAk hAu, uiH ∀u ∈ H.
(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
f ∈ C 1 ([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.
Sean f, g : I ⊆ R → R, donde I es un intervalo abierto de R. f y g se dicen tangentes
en x0 ∈ I (o f es tangente a g en x0 ) si f (x0 ) = g(x0 ) y f 0 (x0 ) = g 0 (x0 ).
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, tenemos que f y g tangentes en
x0 equivale a que para todo ε > 0, existe δ > 0 tal que si 0 < |x − x0 | < δ, entonces
|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 el mismo punto.
?????????????????????????????????????????????????????????????????????????
kf (u) − g(u)kF
f (u0 ) = g(u0 ) y lim = 0.
u→u0 ku − u0 kE
3. Sean E y F dotados de dos normas equivalentes cada uno, es decir, (E, k·k1 ), (E, k·k2 ),
(F, k·k3 ) y (F, k·k4 ). Si f Ru0 g con respecto a las normas k·k1 y k·k3 , entonces
f Ru0 g con 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 el mismo punto.
Ψ : 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 ).
90 3 Cálculo diferencial en espacios normados
Observación 28. (a) Tener 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 de norma suficientemente pequeña. Por lo
tanto, de aquı́ en adelante cuando trabajemos con la imagen f (u0 + h), deberemos
tener presente que ésta siempre existirá para todo h ∈ E con norma suficientemente
pequeña.
(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.
(d) Si f es diferenciable en U , entonces es posible definir la aplicación
Df : U −→ L (E, F )
.
u 7−→ Df (u)
Proof. Supongamos que existe D̂f (u0 ) otra diferencial de Fréchet de f en u0 , i.e.
Puesto que el anterior lı́mite es válido para cualquier h ∈ E que converja a 0, entonces
será válido para h = λw, con w ∈ E cualquiera y λ ∈ K tal que λ → 0. Ası́, se tiene que
Df (u0 )(λw) − D̂f (u0 )(λw)
|λ|
Df (u0 )w − D̂f (u0 )w
F F
0 = lim = lim
λ→0 kλwkE λ→0 |λ| kwkE
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.
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
1
Conocido también como el teorema del sánduche.
92 3 Cálculo diferencial en espacios normados
Proof. Ya que Df (u) 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 kEu (h)kF < 2ε .
Además, como f es continua en U , para cada u ∈ U , se tiene que existe δ2 = δ2 (ε) > 0
tal que para todo h ∈ E que cumple que khkE < δ2 implique que kf (u + h) − f (u)kF <
ε
2.
Luego,
Ası́, tomando δ = min{δ1 , δ2 , 1} se tiene que para todo h ∈ E tal que khkE < δ
entonces
kDf (u)hkF < ε.2
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.1).
2
Esta desigualdad indica que Df (u) es continua en 0 ∈ E y como ésta es lineal se concluye
que Df (u) es continua en todo E. Con esto se evita realizar el escalamiento realizado poste-
riormente para pasar a todo elemento w ∈ E.
3.1 Funciones Fréchet y Gâteaux diferenciables 93
Proposición 3.6. Sean E y F dotados de dos normas equivalentes cada uno, i.e.,
(E, k·k1 ), (E, k·k2 ), (F, k·k3 ) y (F, k·k4 ). Si f es diferenciable con respecto a las normas
k·k1 y k·k3 , entonces f será diferenciable con respecto a las normas equivalentes k·k2 y
k·k4 , respectivamente.
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.3 (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) → 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
94 3 Cálculo diferencial en espacios normados
Dfa (u)h = aT h y Eu = 0,
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 y Eu (h) = hT Ah .
khkRn
Basta comprobar que E(u,v) (h, k) → 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.6, 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 .
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.
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
Como f es diferenciable en u0 , entonces f es continua en u0 y por tanto, f (u0 + h) →
f (u0 ) cuando h → 0. Luego,
kg(f (u0 + h)) − g(f (u0 )) − Dg(f (u0 ))(f (u0 + h) − f (u0 ))k
lim =0
h→0 kf (u0 + h) − f (u0 )k
kf (u0 +h)−f (u0 )k
pues g es diferenciable en f (u0 ). Basta ver que khk < +∞ para concluir
que kR1 k −→ 0. En efecto,
h→0
Df : U −→ L (E, F )
u 7−→ Df (u)
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 + v2
0
f ((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 2
≤ = |x| ≤ k(x, y)k < .
x +y 2(x2 + y 2 ) 2 2 2
Tomando δ = 2ε, se sigue el resultado.
4
f : R2 −→ R
x3 y
x+y+
si (x, y) 6= (0, 0)
x4 + y 2
(x, y) 7−→ f (x, y) =
0 si (x, y) = (0, 0).
h3 k
f ((0, 0) + (h, k)) − f (0, 0) − Df (0, 0)(h, k) h4 + k 2
0= lim = lim
(h,k)→(0,0) k(h, k)k (h,k)→(0,0) k(h, kk
h3 k
= lim √ .
(h,k)→(0,0) (h4 + k 2 ) h2 + k 2
3.1 Funciones Fréchet y Gâteaux diferenciables 101
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).
• Si u 6= 0, entonces
f ((0, 0) + t(u, v)) − f ((0, 0)) t3 uv 2 v2
lim = lim 3 2 5 4
= .
t→0 t t→0 t u + t v u
• Si u = 0, entonces
f ((0, 0) + t(u, v)) − f ((0, 0))
lim =0
t→0 t
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 =
y→0 5y 4 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
3
Pruébelo usando que 0 ≤ (x2 − y)2 = x4 − 2x2 y + y 2 .
102 3 Cálculo diferencial en espacios normados
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)
Es claro que f es G-diferenciable en el punto (0, 0) pues DG f (0, 0) = 0 ∈ L (R2 , R). Por
otro lado, tomando la dirección x = y 2 , se sigue que
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
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
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)).
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.
104 3 Cálculo diferencial en espacios normados
entonces
kf (b) − f (a)kF ≤ M (b − a).
Por otro lado, como c < b, entonces existe δ > 0 tal que c+δ < b, y como f es diferenciable
en (a, b), entonces para todo z ∈ (c, c + δ)
Por tanto, para todo z ∈ (c, c + δ), se tiene que gracias a (3.2) y a (3.3)
lo que implica que (c, c + δ) ⊆ Aε lo que constituye una contradicción pues c = sup Aε.
Por lo tanto, como b ∈ Aε , entonces para todo z ∈ [a, b],
6
Mostrar por contradicción y llegar a que f no es continua en c.
3.2 Teorema de los incrementos finitos 105
ϕ : [0, 1] −→ F
.
t 7−→ ϕ(t) = f (u + t(v − u))
para todo t ∈ (0, 1). Además, para todo t ∈ (0, 1), se tiene que
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 .
106 3 Cálculo diferencial en espacios normados
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ϕk kf (a + α(b − a)) − f (a) − [DG f (a)(a + α(b − a)) − DG f (a)a]k
f (a + α(b − a)) − f (a)
= kϕk
α
− [αDG f (a)(b − a)]
.
α
|g(α) − g(1)| = |ϕ(f (a + α(b − a)) − DG f (a)(a + α(b − a))) − ϕ(f (b) − DG f (a)b)|
≤ kϕk kf (a + α(b − a)) − f (b) − [DG f (a)(a + α(b − a)) − DG f (a)b]k
108 3 Cálculo diferencial en espacios normados
f (b + (1 − α)(a − b)) − f (b)
= kϕk
(1 − α)
− [(1 − α)DG f (a)(a − b)]
.
1−α
• 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
y puesto que DG f es continua en u, existe δ = δ(ε) > 0 tal que si khkE < δ, entonces
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:
3.3 Aplicaciones del teorema de los incrementos finitos 109
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.
∗
Notar que fn es continua para todo n ∈ N y converge puntualmente a la función dis-
continua f dada por
f : R −→ R
1, si x > 0
x 7−→ f (x) =
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.
8
Se anima al lector recordar la demostración de este resultado.
110 3 Cálculo diferencial en espacios normados
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.9
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
2 , si x = 1
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
9
Se anima al lector recordar la demostración de este resultado.
3.3 Aplicaciones del teorema de los incrementos finitos 111
√
n|x| t
|ϕn (x)| = √ 2
=√
n(1 + nx ) n(1 + t2 )
√ t 1
donde t = n|x|. Note que 1+t2 ≤ 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→+∞
En resumen, la convergencia uniforme de una sucesión de funciones diferenciables
{hn }n∈N no dice nada respecto a la convergencia de la sucesión de derivadas {h0n }n∈N (si
existen). Entonces, en general
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.
?????????????????????????????????????????????????????????????????????????
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 motrar que fn → f
uniformemente sobre cualquier subconjunto acotado de U , pues todo singulete {u} es un
conjunto acotado.
112 3 Cálculo diferencial en espacios normados
Notemos que
kfn (u) − fm (u)k = kfn (u) − fm (u) − fn (a) + fn (a) − fm (a) + fm (a)k
≤ k(fn − fm )(u) − (fn − fm )(a)k + kfn (a) − fm (a)k .
kfn (u) − fm (u)k ≤ sup kDfn (z) − Dfm (z)k ku − ak + kfn (a) − fm (a)k .
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
ε
kDfn − Dfm k∞ := sup kDfn (z) − Dfm (z)k <
z∈U 2M
Por otro lado, gracias a que {Dfn (a)}n∈N converge en F , existe N2 = N2 () ∈ N tal que
para todo n, m ≥ N2 se verifica
ε
kfn (a) − fm (a)k < .
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
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)k <
z∈[u,v] 3
con lo cual
ε
k(fn − fm )(v) − (fn − fm )(u)k ≤
kv − uk .
3
Además, como Dfn → g uniformemente en U , entonces existe M2 = M2 (ε) ∈ N tal que
para todo m ≥ M2
ε
kDfm (u) − g(u)k < .
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 − uk < η, entonces
ε
kfm (v) − fm (u) − Dfm (u)(v − u)k < kv − uk .
3
Por lo tanto, para todo n ≥ max{M1 , M2 } y para todo v ∈ U tal que kv − uk < η
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.
114 3 Cálculo diferencial en espacios normados
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
y puesto que en R la única dirección posible es 1, entonces f es Gâteaux diferenciable en
x. Esto nos sugiere también que en este caso Gâteaux diferenciabilidad implica Fréchet
diferenciabilidad. A continuación se formalizarán estas ideas.
?????????????????????????????????????????????????????????????????????????
Ψ : F −→ L (K, F )
v 7−→ Ψ (v) = ϕv
donde ϕv (t) = tv para cada t ∈ K. Es claro que Ψ 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
es la proyección canónica de F1 × F2 en Fi , con i = 1, 2.
Definición 19 (Aplicaciones componentes). Sean U ⊆ E un abierto y f : U → F1 × F2
una función. A la aplicación fi = πi ◦ f se la conocerá como aplicación componente i
de f (o simplemente, la componente i de f ).
Definición 20 (Inyecciones canónicas). Decimos que las aplicaciones
i1 : F1 −→ F1 × F2 i2 : F2 −→ F1 × F2
v1 7−→ i1 (v1 ) = (v1 , 0) v2 7−→ i2 (v2 ) = (0, v2 )
son las inyecciones canónicas de Fj en F1 × F2 , con j = 1, 2.
1
2
10
k(v1 , v2 )k = kv1 kF1 + kv2 kF2 , o k(v1 , v2 )k = kv1 k2F1 + kv2 k2F2 , o k(v1 , v2 )k =
max{kv1 kF1 , kv2 kF2 }.
116 3 Cálculo diferencial en espacios normados
Observación 31.
(a) Note que las proyecciones canónicas πi verifican que πi ∈ L (F1 × F2 , Fi ) y son
funciones sobreyectivas.
(b) Note que las inyecciones canóncas ij verifican que ij ∈ L (Fj , F1 ×F2 ) y son funciones
inyectivas.
(c) Con lo visto anteriormente, f puede reescribirse como f = i1 ◦ f1 + i2 ◦ f2 , es decir,
f (u) = (f1 (u), f2 (u)).
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 homeomorfismo lin-
eal isométrico (isomorfismo isométrico). En efecto, claramente, Ψ es lineal y sobreyectiva.
Además, Ψ es una isometrı́a pues note que Ψ puede expresarse como
y por tanto, kΨ (R)k = kRk Luego, como es una isometrı́a es inyectiva y ası́, se concluye
que Ψ es un isomorfismo isométrico.
ϕi : Ui ⊆ Ei −→ F
xi 7−→ ϕi (xi ) = f (a1 , . . . , ai−1 , xi , ai+1 , . . . , an ),
donde Ui = xi ∈ Ei : (a1 , . . . , ai−1 , xi , ai+1 , . . . , an ) ∈ U , con i ∈ {1, . . . , n}.
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.19. 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 además,
n
X
Df (a) (h1 , . . . , hn ) = Di f (a)hi .
i=1
ϕi : Ui −→ F
xi 7−→ ϕi (xi ) = f (a1 , . . . , ai−1 , xi , ai+1 , . . . , an )
ψi : Ui −→ U
xi 7−→ ψi (xi ) = (a1 , . . . , ai−1 , xi , 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.18). Además, para cada
ai ∈ Ui
Dψi (ai ) hi = (0, 0, . . . , hi , 0, . . . , 0) ,
Observación 34. Si f posee todas sus derivadas parciales en un punto a, ésto no implica
que f sea dif erenciable en a.
Ejemplo 23. 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 con 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).
Notar que ϕ1 es dif erenciable en 0. En efecto
f (h, 0)
ϕ(0 + h) − ϕ(0) = f (h, 0) = 0 (h) + |h| ,
|h|
donde,
f (h, 0)
lim
= 0.
|h| h→0
Q: ¿ existen condiciones suficientes que nos permitan concluir que la existencia de las
diferenciales parciales de f en un punto implique que f sea diferenciable en dicho punto
?
Proposición 3.20. 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
ξi 7−→ g (ξi ) = f (a1 , . . . , ai−1 , ξi , ui+1 , . . . , un ) − Di f (a) (ξi − 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.21. Sea f : U ⊆ Ei → F una función diferenciable en U .
i=1
f es de clase C 1 si, y sólo si, Dj f es continua en U para todo j ∈ {1, . . . , n}.
L (Ej , F )
122 3 Cálculo diferencial en espacios normados
donde Qn
Tj : L ( i=1 Ei , F ) −→ L (Ej , F )
ϕ 7−→ Tj (ϕ) = ϕ ◦ ij ,
Qn
con ij la inyección canónica de Ej en i=1 Ei . Se puede ver sin dificultad que
Dj f = Tj ◦ Df.
En efecto,
(Tj ◦ Df ) (u) = Tj (Df (u)) = Df (u) ◦ ij .
Basta mostrar que Tj es una función continua para concluir que Dj f es continua por
composición de funciones continuas.
Qn
Claramente, Tj es lineal. Además, Tj es acotada. En efecto, sea ϕ ∈ L ( i=1 Ei , F ).
Entonces
x6=0 kxkEj
kxkEj
=kϕkL (Qni=1 Ei ,F ) sup
x6=0 kxkEj
= kϕkL (Qn Ei ,F ) ,
i=1
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 sin problema que
Xn
Df = Sj ◦ Dj f (3.9)
j=1
Df : U → L (E, F ),
F0 = F
Fn = L (E, Fn−1 ) para todo n ≥ 1.
13
En algunas ocasiones se suele decir que f es de clase C 0 cuando f es continua en U , reflejando
el uso de la notación C n .
3.7 Diferenciales de orden superior 125
M L (E1 × . . . × Em , M L (Em+1 × . . . × En , F )) ∼
= M L (E1 × . . . × 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.
Ahora, sean u, h ∈ E con h 6= 0. Luego,
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 ∞ . 4
126 3 Cálculo diferencial en espacios normados
Ejemplo 26. 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 )}
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 .
128 3 Cálculo diferencial en espacios normados
Ası́,
y por tanto,
Puesto que f es dos veces diferenciable en u0 , se tiene que para todo ε > 0, existe
η = η(ε) > 0 tal que
η η
Además, se puede elegir η > 0 tal que η < r. Luego, kuk ≤ 2 y kzk ≤ 2, implican que
ku + zk ≤ η, y por tanto,
y
N2 =
Df (u0 + u) − Df (u0 ) − D2 f (u0 ) u
< ε kuk .
Ası́, si v es tal que kvk ≤ η2 , entonces z = λv con 0 ≤ λ ≤ 1, verifica que kzk ≤ η2 , y por
tanto,
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)
+
D2 f (u0 ) (v, u) − F (u, v)
2 2
≤ 2 (kuk + kvk) + 2 (kuk + kvk)
2
= 4 (kuk + kvk) .
Note que se llegó al resultado requerido, pero sólamente para los u, v ∈ B 0, η2 . Para
Ası́,
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
Ası́, finalmente
2
D f (u0 ) (h1 , h2 ) − D2 f (u0 ) (h2 , h1 )
≤ 16ε kh1 k kh2 k .
Con el fin de comprender como son estas derivadas parciales, se definen las aplicaciones
parciales, las cuales están dadas por
Qn
Ψj : (Va )j −→ L ( i=1 Ei , F )
x 7−→ Ψj (x) = Df (a1 , . . . , aj−1 , x, aj+1 , . . . , an ).
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).
14
Es usual utilizar la siguiente notación: fij (a) := Dj (Di f )(a).
132 3 Cálculo diferencial en espacios normados
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 concluı́mos 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.25 sustituye al Teorema 3.26, pues el Teorema 3.25
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.25, una de las hipótesis es que la función f sea dos veces difer-
enciable 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.26 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, no podemos considerar alguno de estos resultados mejor que el
otro, sino que cada uno posee su fortaleza.
Teorema 3.27 (Fórmula de Taylor con función de error). Sean E, F espacios normados,
U ⊆ E un abierto y f : U → F una función n veces diferenciable en a ∈ U , con n ≥ 1
entero. Entonces f verifica que
n
X 1 k n
f (a + h) = f (a) + D f (a)(hk ) + khk Ea,n (h), (3.10)
k!
k=1
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
k+1 m−1
Df (a + th) − Df (a) − D f (a)(h )
< εtm−1 khk
k
. (3.11)
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
0
X tk−1 k
ϕ (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
134 3 Cálculo diferencial en espacios normados
y por tanto,
m
X 1 k
k
m
f (a + h) − f (a) − D f (a)(h )
< ε khk .
k!
k=1
Teorema 3.28 (Fórmula de Taylor con resto de Lagrange). Sean E, F espacios norma-
dos, U ⊆ E un abierto y f : U → F una función n + 1 veces diferenciable en U . Sea
h ∈ E tal que [a, a + h] ( U , con a ∈ U . Entonces
n
n+1
X 1 k
k
khk
sup
Dn+1 f (a + th)
.
f (a + h) − f (a) − D f (a)(h )
≤
k!
(n + 1)! 0≤t≤1
k=1
Ψ : [0, 1] −→ F
n
X (1 − t)k
t 7−→ Ψ (t) = f (a + th) + Dk f (a + th)(hk ).
k!
k=1
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!
3.10 Teorema de la función inversa 135
Luego
kΨ (1) − Ψ (0)k ≤ g(1) − g(0), 15
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
Observación 37.
15
Esto es gracias al siguiente resultado que se anima al lector a probarlo usando una de-
mostració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
entonces
kf (b) − f (a)k ≤ g(b) − g(a),
16
f −1 no es necesariamente diferenciable.
136 3 Cálculo diferencial en espacios normados
Ejemplo 27.
1.
f : (−π/2, π/2) −→ R
x 7−→ f (x) = tan(x)
es un difeomorfismo.
2.
f : R −→ R
x 7−→ f (x) = x3
es sólamente un homeomorfismo diferenciable, pues f −1 no es diferenciable en 0.
y
Df −1 (f (u)) ◦ Df (u) = idE .
Por tanto, Df (u) es biyectiva para cada u ∈ U , y gracias a 3.12 se tiene (Df (u))−1 ∈
L (F, E) pues f es un difeomorfismo.
Teorema 3.30 (Teorema de la función inversa local o teorema de inversión local). Sean
E, F espacios de Banach, U ⊆ E un abierto y f : U → F una función de clase C 1 . Si
existe a ∈ U tal que Df (a) es un isomorfismo, entonces existe Ua ⊆ U vecindad abierta
de a tal que Vb = f (Ua ) es una vecindad abierta de b = f (a) y que
f : Ua → Vb
Ua
es un difeomorfismo de clase C 1 .
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. Mostremos que f −1 es Lipschitz continua. Como f −1 : B(0, r) → B(0, 2r) ∩
f −1 (B(0, r)), entonces dados y1 , y2 ∈ B(0, r), se sigue que
−1
f (y1 ) − f −1 (y2 )
= kx1 − x2 k
−1
f (y1 ) − f −1 (y2 )
≤ 2 ky1 − y2 k .
3.10 Teorema de la función inversa 139
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))
17
Se ha utilizado la siguiente proposición, cuya demostración se deja al lector. Sean T un
isomorfismo de E sobre F , S ∈ L (E, F ) tal que
1
kT − Sk < .
kT −1 k
Entonces S es un isomorfismo de E sobre F .
140 3 Cálculo diferencial en espacios normados
donde
Φ : Isomorf (E, E) −→ L (E, E)
T 7−→ Φ(T ) = T −1
es continua pues E es de Banach (muéstrelo), Df continua por hipótesis y f −1 se
probó que es continua. Finalmente,
Observación 38. (a) El teorema de inversión local es usado para asegurar que, a nivel
local, f es invertible con f −1 diferenciable y Df −1 (v) = (Df (u))−1 , con v = f (u),
sin necesidad de conocer que forma tiene la función inversa.
(b) En dimensión finita, podemos reemplazar Df (a) un isomorfismo por Df (a) 6= 0.
Proof. Del teorema de inversión local, para todo x ∈ U ,existe Ux ⊆ U vecindad de x tal
que Vf (x) = f (Ux ) es una vecindad abierta de f (x) y f es un difeomorfismo de clase
[Ux
C 1 de Ux sobre Vf (x) . Esto implica directamente que f (Ux ) = f (U ), el cual es un
x∈U
abierto pues es unión arbitraria de abiertos.
Luego, como f es inyectiva, se tiene que f es biyectiva de U sobre f (U ) y como para
todo x ∈ U , f es un difeomorfismo, entonces f es un difeomorfismo de clase C 1 de U
Ux
sobre f (U ).
g : U ⊆ E × F −→ E × G
.
(x, y) 7−→ g(x, y) = (x, f (x, y))
Notar que g está bien definida por la forma que tiene f . Además, g es diferenciable debido
a que cada componente de g, x y f (x, y), es diferenciable en U, y además su diferencial
esta dada por
y ası́, la función inversa de g debe tener la forma ψ(x1 , y1 ) = (x1 , ξ(x1 , y1 )), con ξ una
función de clase C 1 . Consideramos ahora el conjunto
Wa = x ∈ E; (x, 0) ∈ Wg(a,b)
3.12 Ejercicios
Ejercicio 52.
(a) Sea H un espacio de Hilbert real. Muestre que la norma inducida por el producto
escalar es diferenciable en H \ {0} y halle su derivada.
(b) Sea H un espacio de Hilbert complejo. Muestre que el funcional
J : H −→ R
2
u 7−→ J(u) = kuk
J : H −→ R
r
u 7−→ J(u) = kT uk ,
Ejercicio 54. Considere el espacio vectorial C([a, b]) de las funciones continuas del in-
tervalo cerrado [a, b] en R el cual está equipado con la norma kf k = sup |f (x)|. Sea el
x∈[a,b]
operador
T : C([a, b]) −→ C([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([a, b]) y halle su derivada.
g : U −→ R
1
u 7−→ g(u) =
f (u)
es diferenciable en U .
h : U −→ G
x 7−→ h(x) = B(f1 (x), f2 (x))
h : U −→ R
.
u 7−→ h(u) := max{f (u), g(u)}
f : R2 −→ R
x3
x2 +y 2 si (x, y) 6= (0, 0),
(x, y) 7−→ f (x, y) =
0 si (x, y) = (0, 0).
f : R2 −→ R
|x3 |y
x4 +y 2 si (x, y) 6= (0, 0),
(x, y) 7−→ f (x, y) =
0 si (x, y) = (0, 0).
(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
7 → g(x, y) = 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 65. Considere el campo escalar
f : R2 −→ R
y 2 sin x
en R2 \ A,
(x, y) −
7 → f (x, y) = y
0
en A,
con A = R × {0}.
Ejercicio 66.
(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).
(a) Para cada u ∈ E, defina ϕu como ϕu (t) = f (tu) con t ∈ R. Muestre que ϕu es de
clase C 2 .
(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
2f (x, y) − Df (x, y)(x, y) + 16 D3 f (0, 0)((x, y), (x, y), (x, y))
lim 3 = 0.
k(x,y)k→0 k(x, y)k
3.12 Ejercicios 147
(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 .
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)?
Ejercicio 71. 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.
F : Ω × Ω −→ Rn
(x, y) 7−→ F (x, y) = g(x)(f (y)) + f (x).
(b) Suponga que 0 ∈ Ω y que f (0) = 0. Indique una condición sobre f y g para que
existan vecindades abiertas U y V de 0 en Rn y una función Ψ : U → V de clase C 1
tales que
(x, y) ∈ U × V y F (x, y) = 0 ⇐⇒ y = Ψ (x).
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 28.
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
150 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 40.
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 [12, 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.12.
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.
Para mayor información respecto a los espacios de Baire, refiérase a [2, p.190-195].
A.5 Espacios de sucesiones 155
Definición 28. 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) y c00 es denso en c0 para la norma de `∞ .
5. c00 tiene dimensión algebraica infinita contable y no existe ninguna norma que lo
haga completo.
Observación 43. 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 .
Con la definición previa se tiene el siguiente resultado importante que relaciona a los
espacios `p (K).
Proposición A.15. Sean p, q ∈ [1, +∞]. Si p ≤ q, entonces `p (K) ,→ `q (K).
A.6 Espacio normado de las aplicaciones multilineales y continuas 157
Cabe notar que, al igual que ocurre para los operadores lineales, se tiene que si T es
una aplicación multilineal, entonces
Observación 44.
(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 ) .
1
Se anima al lector demostrar este resultado.
2
Se anima al lector demostrar que en efecto es una norma.
158 A Apéndice
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
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−→ Ψτ (ϕ)
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 .
Ası́,
gτ : M L (E n , F ) −→ M L (E n , F )
ϕ 7−→ gτ (ϕ) = ϕ − Ψτ (ϕ).
ker(gτ ) = {ϕ ∈ M L (E n , F ) : ϕ − Ψτ (ϕ) = 0}
Conjunto Hiperplano 14
absorbente 152
acotado superiormente 150 Identidad de Parseval 65
fundamental o total 41 Inyección canónica 115
Cota superior de un conjunto 150
Lema de Zorn 1