Derivacion en espacios normados

Pablo Martn Rodrguez

rodriguezpablom@hotmail.com
DNI 28075303
Domicilio; General Roca 181, (9005) Comodoro Rivadavia, Chubut
Libreta Universitaria 14-06/7101, Facultad de Ingeniera
Universidad Nacional de la Patagonia San Juan Bosco
XII Concurso de Monografas, Premio Manuel Balanzat
UNI

ON MATEM

ATICA ARGENTINA

Indice
Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1 La Derivada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
2 Propiedades y Reglas de Derivacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
3 El Teorema del Valor Medio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
4 La Falla del Teorema de Rolle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
5 Derivadas Parciales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
6 Teoremas de la Aplicacion Inversa e Implcita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
Bibliografa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
Derivacion en espacios normados 1
Introduccion
La derivacion de funciones de variable real y a valores reales es uno de los primeros procesos fundamen-
tales de la matematica. Recordemos que la derivabilidad de una funcion f en un punto a de R esta determi-
nada por la existencia del lmite, f

(a) = lim
xa
f(x) f(a)
x a
; sin embargo, esta igualdad carece de sentido si
analizamos funciones f : R
n
R
m
. De hecho, decimos que una funcion f de este tipo es diferenciable en
el punto a de R
n
si existe una aplicacion lineal : R
n
R
m
tal que, lim
xa
|f(x) f(a) (x a)|
|x a|
= 0.
Observemos que para lograr esta nocion mas general de diferenciabilidad fue necesario expresar la denicion
inicial considerando las respectivas normas y la existencia de una aplicacion lineal determinada. Mas a un,
decimos que la funcion se aproxima localmente a esta aplicacion encontrada.
Si analizamos detenidamente esta segunda denicion, podremos observar que aunque representa una
comoda extension de la primera, nos limita a trabajar en espacios vectoriales de dimension nita, depen-
diendo de este modo del sistema particular de coordenadas o de la base que jemos.
Estas limitaciones son las que motivan una denicion de diferenciabilidad y de derivada mas amplia que
la anterior, de manera que las ideas vistas queden includas como caso particular de esta nueva nocion de
diferenciabilidad. De este modo, se origina la teora de derivacion en espacios normados; una importante
generalizacion del calculo diferencial clasico iniciado por Newton y Leibniz hacia nes del siglo XVII.
Los primeros trabajos que originan esta teora fueron realizados en Francia, en la decada de 1920, por
los matematicos R. Gateaux y M. Frechet. Gateaux dio la primer denicion de diferenciabilidad de gran
importancia para este nuevo Analisis. Desarrollo su concepto de derivada (derivada direccional) en 1922
1
.
No obstante, fue Frechet quien en 1925
2
extendio el concepto de diferenciabilidad a los espacios normados
(o como se los llamaba en aquella epoca, vectoriels abstraits distancies) ampliando la nocion de derivada
dada por Gateaux y demostrando que su denicion conserva las propiedades esenciales de la denicion del
Analisis clasico.
El proposito de esta monografa es el de presentar una introduccion a esta teora moderna de derivacion
en espacios normados. Para tal n se ha organizado el contenido en 6 secciones.
En la seccion 1 se dene derivada y derivada direccional, se plantea la idea intuitiva que motiva estas
1
R. Gateaux, Sur les fonctionnelles continues et les fonctionnelles analytiques. Bull. Soc. Math. Fr. 50 (1922),1-21.
2
M. Frechet, La notion de dierentielle dans lAnalise generale. Ann. Sci. Ec. Norm. Super. XLII (1925), 293-323.
Derivacion en espacios normados 2
deniciones y la relacion entre ambas. La seccion 2 re une las principales propiedades que se desprenden de
las deniciones dadas y se enuncian las reglas de derivacion fundamentales para calcular la derivada de las
combinaciones mas usuales de aplicaciones diferenciables. La seccion 3 se ocupa de uno de los teoremas de
mayor importancia del Analisis, el Teorema del Valor Medio. Se dara su analogo para aplicaciones entre
espacios normados y se enunciaran algunas de sus aplicaciones. Parte de los artculos que tuve oportunidad
de leer, sumado al hecho de que la bibliografa consultada no lo menciona, motivo que dedicara la seccion
4 al Teorema de Rolle. Se mostraran resultados actuales sobre la falla de este Teorema, que sin dudas,
es otro de los Teoremas fundamentales del Analisis. Denicion y propiedades de las derivadas parciales
constituyen la seccion 5 y nalmente, en la seccion 6, se desarrollan los Teoremas de la Aplicacion Inversa
y la Aplicacion Implcita.
1 La Derivada
Consideremos una aplicacion cualquiera f : X F, donde F es un espacio normado y X es un subcon-
junto abierto de un espacio normado E. Una forma de estudiar el comportamiento de f en un entorno de
un punto a de X es restringir su dominio a una dimension, esto es, analizar como se comporta f sobre cada
recta que pasa por a. Con esta idea introducimos la nocion de derivada direccional que, como veremos
luego, no es suciente para realizar un estudio completo sobre el comportamiento local de f pero es de
gran utilidad para establecer resultados parciales.
Denicion 1.1 Sean E y F espacios normados (ambos reales o ambos complejos), X un subconjunto
abierto de E y f : X F una aplicacion dada. Decimos que f tiene una derivada en un punto a X
en la direccion de h E si el lmite lim
t0
f(a +th) f(a)
t
existe. En este caso, designamos a este lmite
por D
h
(a) y lo llamamos derivada direccional (o derivada Gateaux
3
) de f en a en la direccion de h.
Destaquemos que D
h
(a) F.
Ejemplo 1.1 Sea f : R
2
R denida por
f(x, y) =
_

_
x
3
y
(x
6
+y
2
)
, si (x, y) ,= (0, 0)
0, si (x, y) = (0, 0)
3
Debido a la denicion de derivada dada por R. Gateaux.
Derivacion en espacios normados 3
y examinemos las derivadas direccionales en el origen. Para todo h = (a, b) tenemos
D
h
f(0, 0) = lim
t0
f(ta, tb)
t
= lim
t0
t
4
a
3
b
t
7
a
6
+t
3
b
2
= lim
t0
ta
3
b
t
4
a
6
+b
2
= 0
As f admite derivada en (0, 0) en todas las direcciones, sin embargo f no es continua en (0, 0).
Este ejemplo es una clara prueba de que el concepto de derivada direccional no es suciente para
caracterizar el comportamiento local de una aplicacion entre espacios multidimensionales.
Daremos una denicion de diferenciabilidad mas amplia que la anterior y para ello centraremos nuestra
atencion en las aplicaciones lineales y continuas entre espacios normados. Estas aplicaciones, ademas de
respetar la estructura de espacio vectorial, poseen propiedades (consecuencia de su continuidad) que facili-
tan su estudio. De este modo, si podemos aproximar localmente a f en un punto a (tanto como se quiera)
a una aplicacion lineal y continua, es de esperar que en un entorno de a, f tenga un comportamiento
analogo al de la aplicacion en cuestion.
Planteada la idea general que motiva la nueva nocion de diferenciabilidad, procedamos con la denicion.
Denicion 1.2 Sean E y F espacios normados, X un subconjunto abierto de E y f : X F una
aplicacion dada. Decimos que f es diferenciable en un punto a de X si existe una aplicacion Df(a) en
L(E, F)
4
tal que lim
xa
f(x) f(a) Df(a)(x a)
|x a|
= 0.
De forma equivalente, f(x) f(a) = Df(a)(x a) +r(x) donde lim
xa
r(x)
xa
= 0 y r(a) = 0. Llamamos
a la aplicacion Df(a) : E F la derivada (o derivada total, o derivada Frechet
5
) de f en a.
Observacion 1.1 Si f : X E F es diferenciable en a X entonces su derivada es unica.
Observacion 1.2 Decimos que f es diferenciable en X si es diferenciable en todo punto de X. En este
caso, llamamos a la aplicacion Df : E L(E, F) la aplicacion derivada de f. Si ademas Df es una
aplicacion continua decimos que f es continuamente diferenciable (o de clase C
1
). Ademas, podemos
suponer al espacio L(E, F), jada una conveniente norma, un espacio normado. De este modo, tiene
sentido considerar la posibilidad de que Df sea diferenciable en X E. Procediendo inductivamente
denimos D
n
f = D(D
n1
f) : X E L
n
(E, F) = L(E, L
n1
(E, F)). Si D
n
f existe y es continua,
4
Denotamos con L(E, F) al conjunto de las aplicaciones lineales y continuas de E en F.
5
Debido a la denicion de derivada dada por M. Frechet.
Derivacion en espacios normados 4
decimos que f es de clase C
n
, y si esto vale para todo n, entonces f es de clase C

. Ademas, llamamos
a D
n
f(a) la derivada n-esima de f en el punto a X.
Ejemplo 1.2 Si H es un espacio de Hilbert real entonces la aplicacion f(x) = |x|
2
es diferenciable en
H. En efecto, observemos que para todo a H se verica |x|
2
|a|
2
= 2 < x a, a > +|x a|
2
, pero
esto es equivalente a escribir f(x) f(a) = L
a
(x a) + r(x) donde L
a
x = 2 < x, a > es una aplicacion
lineal y continua de H en R y r(x) = |x a|
2
es tal que lim
xa
r(x)
xa
= 0 y r(a) = 0. Luego, Df(a) = L
a
.
Veamos ahora la relacion entre derivadas direccionales (vectores) y derivadas (aplicaciones lineales).
Proposicion 1.1 Sean E,F espacios normados, X E un subconjunto abierto y f : X F. Dado
a X, si f es diferenciable en a entonces f es derivable en a en toda direccion h E y Df
h
(a) = Df(a)h.
La recproca de la Proposicion 1.1 es falsa, esto es, no es cierto que la existencia de todas las derivadas
direccionales D
h
f(a) de una aplicacion f en un punto a implica la diferenciabilidad de f en a.
El contraejemplo mas com un de este hecho se obtiene considerando aplicaciones homogeneas
6
.
Ejemplo 1.3 Sean E, F espacios normados y X E un subconjunto abierto. Si f : X F es
homogenea, es facil probar que la derivada direccional D
h
f(0) existe para todo h X y es D
h
f(0) = f(h).
Si ademas suponemos que f es diferenciable en 0, de la Proposicion 1.1 obtenemos Df(0) = f. De este
modo, una aplicacion homogenea diferenciable debe ser lineal. Basta tomar f : R
2
R tal que
f(x, y) =
_

_
x
3
(x
2
+y
2
)
, si (x, y) ,= (0, 0)
0, si (x, y) = (0, 0)
Luego f es homogenea pero no es lineal. Por lo tanto f contradice el recproco de la Proposicion 1.1.
En Foundations of Modern Analysis de Dieudonne, se presenta una denicion de diferenciabilidad
que depende de la nocion de tangencia (ver [6], pag. 149). Recordemos que la tangente a una funcion f
de variable real y a valores reales en un punto a solo esta denida si f es derivable en este punto, siendo
la tangente una aplicacion de la forma g(x) = f(a) +Df(a)(x a). En la siguiente denicion ampliamos
la nocion de tangencia, esta vez, para aplicaciones entre espacios normados.
6
f : X E F es homogenea (de primer grado) si f(tx) = tf(x) para todo t R y x X.
Derivacion en espacios normados 5
Denicion 1.3 Sean E y F espacios normados, f : X F y g : X F donde X es subconjunto
abierto de E. Decimos que estas aplicaciones son tangentes en el punto a X si lim
xa
f(x) g(x)
|x a|
= 0.
Ademas, es claro que f(a) = g(a).
Proposicion 1.2 Sean E, F espacios normados y X E un subconjunto abierto. Para f : X E F
y a X existe a lo sumo una aplicacion T L(E, F) tal que la aplicacion g
T
: X E F denida por
g
T
(x) = f(a) +T(x a) es tangente a f en a.
Observacion 1.3 En terminos de aplicaciones tangentes, podemos decir ahora que una aplicacion f entre
espacios normados es diferenciable en a X E si existe T L(E, F) tal que la aplicacion g
T
de la
Proposicion 1.2 es tangente a f. Luego T = Df(a).
2 Propiedades y Reglas de Derivacion
En general, los resultados de esta seccion se demuestran de forma equivalente a sus analogos en el calculo
de varias variables.
Una de las primeras propiedades que nos interesa analizar es la continuidad de f en los puntos donde
es diferenciable. Para esto nos sera de gran utilidad la siguiente Proposicion.
Proposicion 2.1 Sean E, F espacios normados y X E un subconjunto abierto. Si la aplicacion
f : X F es diferenciable en a E, existe una constante c > |Df(a)| y un n umero > 0 tal
que |f(x) f(a)| c|x a| cuando |x a| < (Condicion local de Lipschitz).
Observacion 2.1 Como consecuencia de la Proposicion 2.1, toda aplicacion diferenciable es continua.
El concepto de diferenciabilidad con el que estamos trabajando, engloba a las aplicaciones entre espacios
normados. Sin embargo, debemos resaltar que la diferenciabilidad y la derivada de estas aplicaciones no
dependen exclusivamente de las respectivas normas, sino de las topologas inducidas por ellas. Con esto
queremos decir que si sustituimos las normas por otras equivalentes
7
(que producen las mismas topologas)
entonces la aplicacion sigue siendo diferenciable y su derivada es la misma.
En la siguiente proposicion formalizamos estos comentarios.
7
Dos normas
1
y
2
denidas sobre un conjunto E son equivalentes si y solo si existen constantes a, b > 0 tales que
ax
1
x
2
bx
1
para todo x E.
Derivacion en espacios normados 6
Proposicion 2.2 (Caracter topologico de la diferenciabilidad) Sean E, F espacios normados, X E un
subconjunto abierto y f : X F diferenciable en X. Entonces la diferenciabilidad y la derivada de f
estan denidas independientemente de las normas equivalentes en E o en F.
Observacion 2.2 Recordemos que todas las normas denidas sobre un espacio vectorial de dimension
nita son equivalentes. Entonces, para cualquier aplicacion f entre espacios normados de dimension nita
la diferenciabilidad y la derivada de f son independientes de las normas elegidas.
Analicemos ahora la diferenciabilidad de la restriccion de una aplicacion a un abierto del dominio.
Proposicion 2.3 (Caracter local de la diferenciabilidad) Sean E, F espacios normados, X E un sub-
conjunto abierto y f : X F diferenciable en X. Si U X es un subconjunto abierto entonces la
restriccion f[
U
es diferenciable en U.
Comencemos con el calculo de derivadas en ciertas aplicaciones.
Proposicion 2.4 Sean E, F espacios normados, X E un subconjunto abierto, a X y f : X F.
(i) Si f L(E, F) entonces f es diferenciable para todo a X y Df(a) = f.
(ii) Si f es una aplicacion constante en E entonces f es diferenciable y Df(a) = 0(aplicacion nula).
Proposicion 2.5 Sean E
1
,E
2
,F espacios normados y X
1
y X
2
subconjuntos abiertos de E
1
y E
2
res-
pectivamente. Si f : E
1
E
2
F es una aplicacion bilineal entonces f es diferenciable para todo
a = (a
1
, a
2
) X
1
X
2
y Df(a)x = f(x
1
, a
2
) +f(a
1
, x
2
) para todo x = (x
1
, x
2
) E
1
E
2
.
Proposicion 2.6 Sean E,F
1
,F
2
espacios normados y X E un subconjunto abierto. Sean f
1
: X F
1
,
f
2
: X F
2
y f = f
1
f
2
: X F
1
F
2
denida por f(x) = (f
1
(x), f
2
(x)) F
1
F
2
para
x X. Entonces f es diferenciable en a X si y solo si f
1
y f
2
son diferenciables en a. Ademas
Df(a) = Df
1
(a) Df
2
(a), esto es, Df(a)x = (Df
1
(a)x, Df
2
(a)x) para todo x E.
Proposicion 2.7 (Regla de la cadena) Sean E, F, G espacios normados y X, Y subconjuntos abiertos
de E y F respectivamente. Sean f : X Y y g : Y G. Si f es diferenciable en a X y g es
diferenciable en f(a) Y , entonces la aplicacion composicion g f : X G es diferenciable en a X y
D(g f)(a) = Dg(f(a)) Df(a).
Derivacion en espacios normados 7
Ejemplo 2.1 Sean E un espacio normado, X E un subconjunto abierto y g : X R una aplicacion
diferenciable en X tal que g(a) ,= 0 para todo a X. Sea Y = R 0 (subconjunto abierto de R) y
consideremos la funcion h : Y R denida por h(t) =
1
t
. Sabemos que h es diferenciable en Y y
Dh(t) =
1
t
2
. Ademas, como g(X) Y , deducimos de la Proposicion 2.7 que la aplicacion f : X R
denida por f(x) =
1
g(x)
es diferenciable en X y Df(a)x =
Dg(a)x
[g(a)]
2
para todo a X y x E.
Proposicion 2.8 (Regla del producto) Sean E, F
1
, F
2
y G espacios normados. Sean X, Y
1
y Y
2
sub-
conjuntos abiertos de E, F
1
y F
2
respectivamente. Sean f
1
: X F
1
y f
2
: X F
2
diferenciables
en a X, y g : Y
1
Y
2
G bilineal. Entonces la aplicacion g(f
1
, f
2
) = g (f
1
f
2
) : X G es
diferenciable en a X y Dg(f
1
, f
2
)(a)x = g(Df
1
(a)x, f
2
(a)) +g(f
1
(a), Df
2
(a)x).
Proposicion 2.9 Sean E, F espacios normados y X E un subconjunto abierto. Sean f : X F y
g : X F ambas diferenciables en el punto a X.
(i) La aplicacion f +g : X F es diferenciable en a X y D(f +g)(a) = Df(a) +Dg(a).
(ii) Si h : X R entonces la aplicacion hf : X F denida por hf(x) = h(x)f(x) es diferenciable
en a X y D(hf)(a) = Dh(a)f(a) +h(a)Df(a).
Proposicion 2.10 Sean E,F espacios normados; X, Y subconjuntos abiertos de E y F respectivamente
y f : X Y un homeomorsmo
8
. Si f es diferenciable en a X entonces f
1
es diferenciable en
b = f(a) si y solo si Df(a) es un isomorsmo
9
, en cuyo caso Df
1
(b) = Df(a)
1
.
Demostracion. Ver [11], pag. 45.
3 El Teorema del Valor Medio
Un teorema fundamental del calculo es el Teorema del Valor Medio de Lagrange: dada f : [a, b] R
continua, si f es diferenciable en (a, b) entonces existe c (a, b) tal que f(b) f(a) = Df(c)(b a) (para
aplicaciones de dominio o codominio R o C, Df(a) se denota generalmente como f

(a)).
8
Una aplicacion f entre espacios normados es un homeomorsmo si es continua, biyectiva y de inversa continua.
9
Diremos que una aplicacion f entre espacios normados es un isomorsmo si es un homeomorsmo lineal.
Derivacion en espacios normados 8
Este teorema tiene un analogo para funciones diferenciables de la forma f : X R, donde X es un
subconjunto abierto de un espacio normado E.
Teorema 3.1 (Igualdad del Valor Medio) Sean E un espacio normado, X E un subconjunto abierto,
f : X R una aplicacion diferenciable en X y x, y X tales que [x, y]
10
X. Entonces existe z [x, y]
tal que f(y) f(x) = Df(z)(y x).
Demostracion. Consideremos la aplicacion g : U R E tal que g() = (1 )x + y y el
subconjunto U = R tal que (1 )x + y X. Por Proposiciones 2.9 y 2.4 obtenemos que g es
diferenciable y su derivada es constante e igual a y x. Consideremos h() = f((1 )x +y), entonces
por Proposicion 2.7 h es diferenciable y Dh() = Df((1 )x +y)(y x). Aplicando a h el Teorema del
Valor Medio para una funcion de variable real a valores reales en el intervalo [0, 1], obtenemos que existe
[0, 1] U tal que h(1) h(0) = Dh(), esto es, f(y) f(x) = Df(z)(y x) con z [x, y].
Ejemplo 3.1 Consideremos la aplicacion f : R R
2
denida por f(x) = (senx, e
x
).
Es claro que f es continua en [0, ] y diferenciable en (0, ), no obstante, no existe t [0, ] tal que
f() f(0) = Df(t)( 0); pues la igualdad equivale a (0, e

) (0, 1) = (cost, e
t
) de donde debe ser
t = /2, pero de un simple calculo obtenemos e

1 ,= e
/2
.
Este ejemplo nos muestra que no es posible garantizar la Igualdad del Valor Medio para el caso de
aplicaciones diferenciables de valores vectoriales. Sin embargo, podemos dar una generalizacion de este
Teorema, en forma de desigualdad, que incluya tambien a este tipo de aplicaciones.
Teorema 3.2 (Desigualdad del Valor Medio) Sean E, F espacios normados, X E un subconjunto
abierto, f : X F una aplicacion diferenciable en X y x, y X tales que [x, y] X. Entonces,
|f(y) f(x)| sup
z[x,y]
|Df(z)| |y x|
Demostracion. Tomemos una aplicacion arbitraria en el espacio dual
11
de F y consideremos la
aplicacion g(t) = (f((1 t)x + ty)) denida para 0 t 1. Por Proposicion 2.4 es diferenciable y
D(b) = para b F. Ademas, recordemos de la demostraci on del Teorema 3.1 que f((1 t)x +ty) (la
10
Con [x, y] denotamos el segmento de recta de extremos x e y, es decir, [x, y] = {z X : z = (1 t)x + ty, 0 t 1}.
11
Denominamos espacio dual de un espacio F al conjunto F

= { : F R, lineal y continua}
Derivacion en espacios normados 9
llamamos h en aquella demostracion) es diferenciable en t y Dh(t) = Df((1 t)x +ty)(y x). Entonces,
por Proposicion 2.7 g es diferenciable y
Dg(t) = (Df((1 t)x +ty)(y x)) (1)
Luego, aplicando el Teorema del Valor Medio para una funcion de variable real a valores reales a g en [0, 1]
tenemos que g(1) g(0) = Dg() donde 0 1 ( depende de ). Entonces, de esta ultima igualdad y
de (1)
(f(y) f(x)) = (Df((1 )x +y)(y x)) (2)
y esto vale para cualquier F

. Deducimos de (2) que

[(f(y) f(x))[ || |Df((1 )x +y)| |y x| || sup
01
|Df((1 )x +y)| |y x| (3)
Como consecuencia del Teorema de Hahn-Banach
12
podemos garantizar la existencia de un funcional
F

, de || , = 0, tal que (w) = || |w| para w F. Particularizando (3) al funcional y sabiendo

que (f(y) f(x)) = || |f(y) f(x)| entonces |f(y) f(x)| sup
z[x,y]
|Df(z)| |y x|.
Observacion 3.1 La demostracion anterior sigue la prueba dada en el libro de Fomn y Kolmogorov (ver
[9], pag.268) y si bien no es la mas directa que existe, nos presenta al Teorema 3.2 como una consecuencia
del Teorema del Valor Medio clasico mediante el Teorema de Hahn-Banach, este ultimo, Teorema funda-
mental de la teora de los espacios normados. Pueden encontrarse otras demostraciones en los libros de
Iribarren (ver [11], pag. 151) y Nachbin (ver [15], pag. 91).
Destaquemos algunas consecuencias del Teorema 3.2.
Proposicion 3.3 Sean E, F espacios normados, X E un subconjunto abierto y convexo, f : X F
una aplicacion diferenciable en X. Si existe una constante c > 0 tal que, para todo x X, c |Df(x)|
entonces |f(y) f(x)| c|x y| para todo x, y X (Condicion global de Lipschitz).
Proposicion 3.4 Sean E, F espacios normados, X E un subconjunto abierto y conexo, y f : X F
una aplicacion diferenciable. Si Df(x) = 0 en X entonces f es constante en X.
12
Para una lectura detallada sobre la demostracion y consecuencias del Teorema de Hahn-Banach consultar el libro de
Conway ([5], pag. 77) o de Fomn y Kolmogorov ([9], pag. 190).
Derivacion en espacios normados 10
Proposicion 3.5 Sean E,F espacios normados, X E un subconjunto abierto y f : X F diferen-
ciable en X. Si [x, y] X entonces para todo T L(E, F) tenemos
|f(y) f(x) T(y x)| sup
z[x,y]
|Df(z) T| |y x|
4 La Falla del Teorema de Rolle
En el calculo diferencial clasico es com un que el Teorema del Valor Medio sea precedido por el Teorema
de Rolle; de hecho suele aplicarse este ultimo para demostrar el primero. En espacios de dimension nita
el Teorema de Rolle establece que para todo subconjunto abierto y acotado X R
n
y para toda funcion
continua f : X R tal que f es diferenciable en X y constante en su frontera X, existe un punto
x X tal que Df(x) = 0 (observar que si n = 1 tenemos el enunciado clasico).
En [10] se enuncian versiones de este Teorema para aplicaciones f : X R
n
R
m
y se conjetura
su falla cuando el dominio es reemplazado por un espacio de Banach de dimension innita. Este planteo
es el que motiva el siguiente ejemplo dado por Ferrer (ver [7, 8]) en el cual veremos, en contraste con el
Teorema del Valor Medio, que no es posible generalizar el Teorema de Rolle a aplicaciones de la forma
f : X E R cuando E es un espacio de Banach de dimension innita.
Ejemplo 4.1 Consideremos el operador S :
2

2
denido por Sx = (0, x
1
, x
2
, x
3
, . . .) donde x =
(x
1
, x
2
, x
3
, . . .)
2
. Sea F :
2

2
la aplicacion denida por F(x) = (1/2 |x|
2
)e
1
+ Sx donde
e
1
= (1, 0, 0, . . .) y consideremos la aplicacion f :
2
R denida por f(x) =
1 |x|
2
|x F(x)|
2
. Un simple
calculo demuestra que F no tiene puntos jos; luego f es continua en
2
. Ademas f(x) = 0 para todo
x U, donde U es la bola abierta unitaria de
2
. Aplicando convenientemente los Ejemplos 1.2 y 2.1 con
las Proposiciones 2.4, 2.7 y 2.9 obtenemos que f es diferenciable en
2
. Entonces, en U, f satisface las
hipotesis del Teorema de Rolle; no obstante, se puede probar que Df(x) ,= 0 para todo x U (ver [8]).
Puede consultarse en [7] un ejemplo analogo al Ejemplo 4.1 considerando una aplicacion cuyo dominio
es un espacio de Hilbert no separable. Veamos a continuacion un resultado, demostrado en [4], que for-
maliza la falla de Teorema de Rolle en ciertos espacios de Banach.
Derivacion en espacios normados 11
Teorema 4.1 Sea E un espacio de Banach de dimension innita. Entonces son equivalentes:
(i) Existe una aplicacion continuamente diferenciable, suave y no nula, g : X E R, donde X es
un subconjunto abierto, tal que sopg = x E : g(x) ,= 0 (soporte de g) es acotado.
(ii) Existe un conjunto abierto, acotado y contractible
13
A E y una aplicacion continuamente diferen-
ciable f : A R tal que f es suave, f 0 en A, pero Df(x) ,= 0 para todo x A (el Teorema de
Rolle falla en A).
Finalmente enunciamos un Teorema, demostrado en [3], que proporciona una interesante aproximacion
del Teorema de Rolle para las aplicaciones que estamos analizando.
Teorema 4.2 (Azagra-Gomez-Jaramillo). Sea E un espacio de Banach y X E un subconjunto abierto,
acotado y conexo. Sean f : X R acotada y diferenciable en X, r > 0 y x
0
X tales que B(x
0
, r) X.
Supongamos que f(X) [, ] para alg un > 0. Entonces existe x

X tal que |Df(x

)|

r
.
5 Derivadas Parciales
Denicion 5.1 Sean E
1
, E
2
, F espacios normados y consideremos para cada (a
1
, a
2
) X E = E
1
E
2
las aplicaciones parciales x f(x, a
2
) y y f(a
1
, y) denidas sobre subconjuntos abiertos de E
1
y
E
2
respectivamente en F. Decimos que f es diferenciable en (a
1
, a
2
) con respecto a la primer variable
si la aplicacion parcial x f(x, a
2
) es diferenciable en a
1
. La derivada de esta aplicacion pertenece
a L(E
1
, F) y la denominamos la derivada parcial de f en (a
1
, a
2
) con respecto a la primer variable. La
denotamos D
1
f(a
1
, a
2
). Analogamente denimos la derivada parcial de f en (a
1
, a
2
) con respecto a la
segunda variable y la denotamos por D
2
f(a
1
, a
2
).
Proposicion 5.1 Sean E
1
, E
2
, F espacios normados, E = E
1
E
2
y f : X F donde X es un
subconjunto abierto de E. Si f es diferenciable en a = (a
1
, a
2
) X entonces las derivadas parciales
existen y Df(a)x = D
1
f(a)x
1
+ D
2
f(a)x
2
para todo x = (x
1
, x
2
) E. Recprocamente, si las derivadas
parciales de f existen y son continuamente diferenciables en a entonces f es diferenciable en a.
13
Un conjunto A se dice contractible si la aplicacion identidad 1 : A A es homotopicamente nula
Derivacion en espacios normados 12
Demostracion. Ver ([6], pag. 173) o tambien ([15], pag. 106).
La Proposicion 5.1 se puede generalizar a un producto de n espacios normados por induccion sobre n;
si ademas combinamos este resultado con la Proposicion 2.7 obtenemos el siguiente enunciado.
Proposicion 5.2 (Regla general de la cadena) Sean F
1
, . . . , F
n
, E y G espacios normados. Consideremos
f : X F y g : Y G, donde F =
n

i=1
F
i
y X, Y son subconjunto abiertos de E y F respectivamente
tales que f(X) Y . Si f y g son diferenciables en a X y b = f(a) Y respectivamente, entonces
D(g f)(a) =
n

i=1
D
i
g(f(a)) Df
i
(a) donde f
i
: X F
i
, i = 1, . . . , n, son las aplicaciones coordenadas
de f.
6 Teoremas de la Aplicacion Inversa e Implcita
La idea que motiva el Teorema de la Aplicacion Inversa, es la de conceder a una determinada aplicacion las
condiciones necesarias para invertirla localmente, de forma tal que su inversa posea propiedades analogas de
diferenciabilidad. En res umen, se busca dar las condiciones para garantizar que, localmente, la aplicacion
sea un difeomorsmo
14
.
Antes de enunciar este Teorema daremos algunos resultados indispensables para su demostracion.
Denicion 6.1 Sea (E, d) un espacio metrico y f : E E una aplicacion. Decimos que f es una
contraccion si existe un n umero k R, con 0 < k < 1, tal que para todo x, y E, d(f(x), f(y)) kd(x, y).
Teorema 6.1 (Teorema del punto jo) Si el espacio metrico (E, d) es completo y f : E E es una
contraccion, entonces f admite un unico punto jo (i.e., existe un unico x E tal que f(x) = x).
Demostracion. Por hipotesis, existe k R, con 0 < k < 1, tal que d(f(x), f(y)) kd(x, y) para todo
x, y E. Sea x
0
un punto arbitrario de E y consideremos la sucesion x
0
, x
1
, . . . , x
n
, . . . en E denida
por x
n+1
= f(x
n
) para todo n N. Teniendo presente la construccion de x
n
y el hecho que f es
una contraccion es facil probar por induccion sobre n que, para todo n N, d(x
n
, x
n+1
) k
n
d(x
0
, x
1
).
Aplicando convenientemente la ultima expresion y la desigualdad triangular obtenemos que la sucesion
x
n
es de Cauchy (ver [11], pag. 344). De este modo, como el espacio es completo, existe un punto x E
14
Una aplicacion f es un difeomorsmo si es diferenciable, biyectiva y de inversa diferenciable.
Derivacion en espacios normados 13
tal que x
n
x. Ademas, f es continua en x, entonces f(x) = lim
n
f(x
n
) = lim
n
x
n+1
= x. Por lo tanto x
es un punto jo de f. Si suponemos que existe un punto y E con y ,= x y f(y) = y entonces d(x, y) > 0
y tenemos que d(x, y) = d(f(x), f(y)) kd(x, y) de donde k 1, lo que es una contradiccion. Luego, el
punto jo encontrado es unico.
Proposicion 6.2 Sean E,F espacios de Banach y f : E F un isomorsmo. Si g L(E, F) y
|g f| <
1
|f
1
|
, entonces g es un isomorsmo.
Demostracion. Ver [11], pag. 88.
Teorema 6.3 (Teorema de la aplicacion inversa) Sean E,F espacios de Banach y X E un subconjunto
abierto. Sea f : X F diferenciable en X. Supongamos que Df es continua en a X y Df(a) es
inversible. Entonces existe un entorno U de a, U X, y un entorno V de b = f(a) tales que f : U V
es un difeomorsmo. Si f es de clase C
n
, n 1, entonces f : U V es un C
n
-difeomorsmo en X.
Demostracion. Observemos primero que Df(a) es un isomorsmo. En efecto, Df(a) es continua
(por ser f diferenciable) y biyectiva (por ser inversible); ademas, en virtud del Teorema de la Aplicacion
Abierta
15
, obtenemos que Df(a) es abierta. Luego es un homeomorsmo lineal. Sea k = |Df(a)
1
| > 0.
Por la continuidad de Df en a podemos encontrar una bola B(a, r) X tal que para todo x B(a, r)
|Df(x) Df(a)| <
1
2k
(4)
Como toda bola es convexa; de (4), para cualquier x, B(a, r) tenemos que sup
z[x,]
|Df(z)Df(a)|
1
2k
.
Por hipotesis f es diferenciable en X, entonces por Proposicion 2.3 f es diferenciable en B(a, r). Aplicando
la Proposicion 3.5 y considerando la ultima desigualdad obtenemos
|f(x) f() Df(a)(x )|
1
2k
|x | (5)
para todo x, B(a, r). Luego, de (5),
1
k
|x | =
1
k
|Df(a)
1
[Df(a)(x )]| |Df(a)(x )| |f(x) f()| +
1
2k
|x | (6)
para todo x, B(a, r). Entonces, de (6), f : B(a, r) F es inyectiva.
Denamos ahora V = B
_
b,
r
2k
_
y U = B(a, r) f
1
(V ). Claramente V es entorno de b y U es entorno
15
Si E, F son espacios de Banach y f : E F es una suryeccion lineal y continua entonces f es abierta (ver[5], pag.90)
Derivacion en espacios normados 14
de a (pues por la continuidad de f en X, f
1
(V ) es entorno de a). Ademas f(U) V y f : U V
es continua e inyectiva en U. Veamos que f tambien es sobreyectiva. Consideremos un punto y V .
Entonces |y b| <
r
2k
y si tomamos 2k|y b| < < r tenemos que |y b| <

2k
, B(a, ) B(a, r). Sea
g : B(a, ) F denida por g(x) = y f(x) +Df(a)x. De (5) obtenemos para todo x, B(a, ),
|g(x) g()|
1
2k
|x | (7)
Luego (Df(a)
1
g) : B(a, ) B(a, ), pues si x B(a, ) aplicamos (7) y |(Df(a)
1
g)(x) a| =
= |Df(a)
1
[g(x) Df(a)a]| k|g(x) Df(a)a| k|g(x) g(a)| +k|g(a) Df(a)a|
1
2
|x a|+
+k|yb| <

2
+k

2k
= . Por otra parte, B(a, ) es un espacio de Banach, por ser un conjunto cerrado en el
espacio de Banach E. Ademas Df(a)
1
es una contraccion, pues aplicando (7) de nuevo, para x, B(a, )
cualquiera |(Df(a)
1
g)(x) (Df(a)
1
g)()| = |Df(a)
1
[g(x) g()]| k|g(x) g()|
1
2
|x|.
Por Teorema 6.1 existe un x B(a, ) B(a, r) tal que (Df(a)
1
g)(x) = x, esto es, g(x) = Df(a)x.
Entonces por la denicion de g tenemos que f(x) = y y as f es sobreyectiva. Luego, f : U V es una
biyeccion continua en U.
Tomemos y, V cualquiera, entonces f
1
(y), f
1
() U B(a, r) y aplicando (6) obtenemos que
|f
1
(y) f
1
()| 2k|y | de donde concluimos que f
1
: V U es continua. Luego, f : U V
es un homeomorsmo diferenciable en U. Ademas, de (4) y de Proposicion 6.2 se tiene que Df(x) es un
isomorsmo para todo x U. Por lo tanto, de Proposicion 2.10 f es un difeomorsmo en U. Ademas, es
propiedad de los difeomorsmos que todo difeomorsmo en X de clase C
n
es un C
n
-difeomorsmo en X
(ver [11], pag. 209), lo que completa nuestra demostracion.
Ejemplo 6.1 Consideremos f : R
2
R
2
denida por f(x, y) = (e
x
cosy, e
x
seny). Es claro que f es
diferenciable de clase C

. Ademas, para cada (a, b) R

2
la aplicacion Df(a, b) : R
2
R
2
puede
representarse por la matrz
[Df(a, b)] =
_

_
e
a
cosb e
a
senb
e
a
senb e
a
cosb
_

_
y como det([Df(a, b)]) = e
2a
,= 0 para todo a R, concluimos que Df(a, b) es inversible. Luego, en virtud
del Teorema 6.3 f es un C

-difeomorsmo local en cualquier punto de R

2
, no obstante, f no es inyectiva
en R
2
pues f
_
a,

4
_
= f
_
a,
(4k+1)
4

_
para todo a R y k Z.
Derivacion en espacios normados 15
Observacion 6.1 Destaquemos el caracter local del Teorema 6.3. Probamos que la aplicacion es un
difeomorsmo en un entorno del punto donde la derivada es un isomorsmo, sin embargo, aunque esto
ocurra para todo punto del dominio no podemos asegurar que la aplicacion sea un difeomorsmo global.
Consideremos ahora el caso especial de aquellas aplicaciones que pueden denirse implcitamente y
analicemos su diferenciabilidad.
Proposicion 6.4 Sean E, F espacios de Banach, U = B(0, r) y V = B(0, s) bolas abiertas en E y F
respectivamente. Sea v : U V F una aplicacion continua tal que |v(x, y
1
) v(x, y
2
)| k|y
1
y
2
|
para x U, y
1
, y
2
V , donde k es una constante tal que 0 k 1. Entonces, si |v(x, 0)| < s(1 k)
para todo x U, existe una unica aplicacion g : U V tal que g(x) = v(x, g(x)) para todo x U; y g
es continua en U.
Demostracion. Para todo x U, consideremos la sucesion y
n

nN
de puntos de V tal que y
0
= 0
y y
n
= v(x, y
n1
) para todo n 1. Mostremos que si y
p
esta denido en V para 1 p n entonces
v(x, y
n
) V . Por hipotesis, |y
1
| < s(1 k) < s entonces y
1
V . Ademas, para 2 p n tenemos
|y
p
y
p1
| = |v(x, y
p1
) v(x, y
p2
)| |y
p1
y
p2
| y haciendo induccion sobre p concluimos que
|y
p
y
p1
| k
p1
|y
1
|, entonces
|y
p
| (1 +k +k
2
+. . . +k
p1
)|y
1
|
|y
1
|
1 k
< s (8)
lo que prueba nuestra armacion. Ahora, por induccion sobre n, podemos escribir y
n
= g
n
(x) donde
g
n
: U V es una aplicacion continua. Ademas |g
n
(x) g
n1
(x)| k
n1
s(1 k) para x U,
entonces la sucesion g
n
(x) es de Cauchy para todo x U. Como F es completo se sigue que la sucesion
es convergente, digamos con lmite g(x), para todo x U. Entonces, como g es lmite uniforme de
aplicaciones continuas y acotadas, se sigue que g es continua en U. Ademas, de (8), |g(x)| s para
todo x U, por lo tanto g es una aplicacion de U en V . De la relacion g
n
(x) = v(x, g
n1
(x)) y de
la continuidad de v deducimos que g(x) = v(x, g(x)) para todo x U. Finalmente, si suponemos que
existe otra aplicacion h : U V tal que h(x) = v(x, h(x)) para todo x U entonces |h(x) g(x)| =
|v(x, h(x) v(x, g(x)) k|h(x) g(x)|, y como k < 1 debe ser h(x) = g(x).
Proposicion 6.5 Sean E y F dos espacios de Banach tales que existe al menos un isomorsmo de E en
F. Entonces el conjunto / de estos isomorsmos es un subconjunto abierto de L(E, F).
Derivacion en espacios normados 16
Demostracion Ver [6], pag. 154.
Teorema 6.6 (Teorema de la Aplicacion Implcita) Sean E, F, G espacios de Banach, X E F un
subconjunto abierto y f : X G continuamente diferenciable. Sea (a, b) X tal que f(a, b) = 0 y
la derivada parcial D
2
f(a, b) : F G es un isomorsmo. Entonces existe un entorno abierto U
0
de a
en E tal que, para todo entorno abierto y conexo U de a, contenido en U
0
, existe una unica aplicacion
continua g : U F tal que g(a) = b, (x, g(x)) X y f(x, g(x)) = 0 para cualquier x U. Ademas g es
continuamente diferenciable en U y su derivada esta denida por
Dg(x) = (D
2
f(x, g(x)))
1
(D
1
f(x, g(x)))
Demostracion. Tomemos T = D
2
f(a, b) y consideremos el isomorsmo T
1
para escribir la igualdad
f(x, y) = 0 de la forma equivalente, y = y T
1
f(x, y). Sea h(x, y) = y T
1
f(x, y) y consideremos
la aplicacion v : E F F denida por v(x

, y

) = h(a + x

, b + y

) b. Probaremos que v esta en

las condiciones de la Proposicion 6.4 en un entorno sucientemente peque no de (0, 0). Por denicion,
T
1
T = 1 (aplicacion identidad), entonces para (x, y
1
), (x, y
2
) X tenemos h(x, y
1
) h(x, y
2
) =
T
1
[D
2
f(a, b)(y
1
y
2
) (f(x, y
1
) f(x, y
2
))]. Sea > 0 tal que |T
1
|
1
2
. Como f es continuamente
diferenciable en X, se sigue por Proposiciones 3.5 y 5.1 que existen una bola U
0
= B(a, r) E y una bola
V
0
= B(0, s) F tales que para x U
0
y y
1
, y
2
V
0
obtenemos |f(x, y
1
)f(x, y
2
)D
2
f(a, b)(y
1
y
2
)|
|y
1
y
2
|. Entonces, |h(x, y
1
) h(x, y
2
)| |T
1
| |y
1
y
2
|
1
2
|y
1
y
2
| para cualquier x U
0
y
y
1
, y
2
V
0
. Por otro lado, h(x, b) b = T
1
f(x, b); entonces como f(a, b) = 0 y f es continua, podemos
suponer lo sucientemente peque no para obtener |h(x, b) b|
s
2
para x U
0
. Aplicando ahora la
Proposicion 6.4, existe una unica aplicacion g : U
0
V
0
tal que f(x, g(x)) = 0 para todo x U
0
; como
f(a, b) = 0 tenemos en particular que g(a) = b. Ademas g es continua en U
0
.
Para probar que en todo entorno abierto y conexo U de a, U U
0
, g es la unica aplicacion de U en F
tal que g(a) = b, (x, g(x)) X y f(x, g(x)) = 0; debemos suponer la existencia de otra aplicacion g
1
que
verique estas condiciones y considerar el conjunto W = x U tal que g
1
(x) = g(x). Por razones de
continuidad de g
1
y g es facil deducir que W es cerrado en U. Ademas, W es no vaco (a W), y se puede
probar que W es tambien abierto (ver [6], pag. 271). De este modo, tenemos que W es un subconjunto
no vaco, abierto y cerrado en U. Entonces debe ser W = U, esto es, g
1
= g en U.
Derivacion en espacios normados 17
Finalmente, veamos que g es diferenciable en U
0
. Dado u U
0
tenemos por la diferenciabilidad de f
en U
0
que para todo > 0 existe > 0 tal que |f(x, g(x)) f(u, g(u)) Df(u, g(u))(xu, g(x) g(u))|
|(x u, g(x) g(u))| (|x u| +|g(x) g(u)|) cuando |(x u, g(x) g(u))| . Por comodidad,
consideremos = xu (es claro que U
0
) y = g( +u) g(u), y observemos que f( +u, +g(u)) = 0
y 0 cuando 0. Luego, |f( + u, + g(u)) f(u, g(u)) S(u) L(u)| (|| + ||)
cuando |(, )| donde S(u) = D
1
f(u, g(u)) y L(u) = D
2
f(u, g(u)). Por otro lado, como tambien es
f(u, g(u)) = 0, entonces |S(u) L(u)| (|| + ||). De la continuidad de Df en X se sigue que
la aplicacion D
2
f : F L(F, G) es continua en U
0
; entonces teniendo en mente la Proposicion 6.5 y
sabiendo que D
2
f(a, b) es un isomorsmo podemos suponer que L(u) es un isomorsmo de F en G para
u U
0
(sustituyendo si fuera necesario, U
0
por un entorno menor). Luego,
|(L
1
(u) S(u)) +| = |L
1
(u)[S(u) +L(u)]| |L
1
(u)|(|| +||) (9)
Tomemos de forma tal que |L
1
(u)|
1
2
; entonces para k = 2|L
1
(u)S(u)|+1, deducimos de (9) que
||
(k 1)
2
||
1
2
(||+||), esto es, || k||. Luego, |+(L
1
(u)S(u))| (k+1)|L
1
(u)|||
cuando || . Pero por denicion de y de , tenemos |g(x) g(u) + (L
1
(u) S(u))(x u)|
(k + 1)|L
1
(u)| |x u| cuando |x u| . Por lo tanto g es diferenciable en U
0
y Dg(x) =
(D
2
f(x, g(x)))
1
(D
1
f(x, g(x))). Para una prueba de la continuidad de Dg consultar [6], pag. 271.
Observacion 6.2 Si bien demostramos los Teoremas 6.3 y 6.6 de forma independiente uno del otro, estos
resultados son equivalentes. Para una prueba del Teorema 6.6 aplicando el Teorema 6.3 consultar [11, 14]
y para una presentacion de este ultimo como consecuencia del primero ver [13].
Agradecimientos
Deseo expresar mi agradecimiento a todos los que me brindaron el apoyo y las herramientas necesarias para
la elaboracion de esta monografa. Especialmente a Miriam Pacheco por su disposicion para atender todas
mis consultas y a Claudio Fernandez por su ayuda para encontrar gran parte de la bibliografa. Agradezco
tambien a Tsoy-Wo Ma de la University of Western Australia por la colaboracion de material de su autora.
A Jes us Ferrer de la Universidad de Valencia y Daniel Azagra de la Universidad Complutense de Madrid,
por su interes y buena voluntad de hacerme llegar sus trabajos sobre el Teorema de Rolle. Finalmente
agradezco a Ignacio Iribarren, por su paciencia y valiosa ayuda durante el transcurso de este trabajo.
Derivacion en espacios normados 18
Bibliografa
[1] R. Abraham, J. E. Marsden, T. Ratiu, Manifolds, tensor analysis and applications. Springer-Verlag,
New York, 1988.
[2] D. Azagra, Smooth negligibility and subdierential calculus in Banach spaces, with applications. Doc-
toral dissertation, Universidad Complutense de Madrid, 1997.
[3] D. Azagra, J. Gomez, J. A. Jaramillo, Rolles theorem and negligibility of points in innite dimensional
Banach spaces. Journal of Mathematical Analysis and Applications 213 (1997), 487-495.
[4] D. Azagra, M. Jimenez-Sevilla, The failure of Rolles theorem in innite-dimensional Banach spaces.
Journal of Functional Analysis 182 (2001), 207-226.
[5] J. B. Conway, A course in functional analysis. Springer-Verlag, New York, 1997.
[6] J. Dieudonne, Foundations of modern analysis. Academic Press, New York, 1969.
[7] J. Ferrer, On Rolles theorem in spaces of innite dimension. Indian Journal of Mathematics, 42
(2000), 21-36.
[8] J. Ferrer, Rolles theorem fails in
2
. American Mathematical Monthly, 103 (1996), 161-165.
[9] S. V. Fomin, A. N. Kolmogorov, Elementos de la teora de funciones y del analisis funcional. MIR,
Mosc u, 1975.
[10] M. Furi, M. Martelli, A multidimensional version of Rolles theorem. American Mathematical Monthly,
102 (1995), 243-249.
[11] I. L. Iribarren, Calculo diferencial en espacios normados. Equinoccio, Caracas, 1980.
[12] E. L. Lima, Curso de analise-Volume 2. IMPA, Rio de Janeiro, 2000.
[13] L. H. Loomis, S. Sternberg, Advanced Calculus. Addison-Wesley, Reading, Mass., 1968.
[14] T-W. Ma, Classical analysis on normed spaces. World Scientic, Singapore, 1995.
[15] L. Nachbin, Introducao a analise funcional: Espacos de Banach e calculo diferencial. O.E.A.,
Washington, D.C., 1976.