Sobre un concepto de derivada (a la

Caratheodory) sin el formalismo

epsilon-delta a la Cauchy
Jose Antonio Gomez Ortega
Rita Vazquez Padilla

Una denicin equivalente de derivada

Para una funcin real denida en un intervalo abierto I
R; f : I ! R y un nmero a 2 I es comn
encontrar en los libros de clculo diferencial la siguiente denicin de que una funcin f sea derivable en a:
Denicin 1. La funcin f : I ! R es derivable en a 2 I, si existe el siguiente lmite,
lim

x!a

f (x)
x

f (a)
a

El valor del lmite es llamado la derivada de f en a; y se denota por f 0 (a):

Ahora, si denimos la funcin f1 : I ! R; de la siguiente manera:
8
< f (x) f (a)
si x 6= a
f1 (x) =
x a
: 0
f (a)
si x = a

tenemos que f1 (x) es continua en a; y que

f (x) = f (a) + (x

a)f1 (x); para toda x 2 I

Recprocamente si la funcin f (x) se escribe de la forma anterior alrededor de a; con f1 (x) continua en a;
tenemos que
f (x)
x!a
x
lim

f (a)
= lim f1 (x) = f1 (a);
x!a
a

por lo que la funcin f es derivable en a; y con f 0 (a) = f1 (a):

Lo anterior muestra que la denicin 1, es equivalente a la siguiente:
Denicin 2. La funcin f : I ! R es derivable en a 2 I, si existe una funcin f1 continua en a; de
manera que alrededor de a se cumpla:
f (x) = f (a) + (x

a)f1 (x)

El valor f1 (a) es llamado la derivada de f en a; y se denota por f 0 (a):

Una ventaja de la segunda denicin es que permite hacer demostraciones de propiedades del operador
derivada sin usar " y : Veamos unos ejemplos.
Proposicin 1. Si la funcin f : I ! R es derivable en a; entonces es continua en a:
Demostracin.
Esto se debe a que f (x) = f (a) + (x a)f1 (x) se ha escrito como el producto de dos funciones continuas en
a ms una constante.
Proposicin 2. Si las funciones f; g : I ! R son derivables en a y

2 R entonces f + g; f; f g y

el caso que f (a) 6= 0); son derivables en a: Y cumplen las reglas de derivacin siguientes:
(f + g)0 (a) = f 0 (a) + g 0 (a)
( f )0 (a) = f 0 (a)
(f g)0 (a) = f 0 (a)g(a) + f (a)g 0 (a)
0
1
f 0 (a)
(a) =
:
f
f (a)2

1
(en
f

Demostracin.
Como f; g son derivables en a; existen f1 y g1 funciones continuas en a; tales que
f (x) = f (a) + (x

a)f1 (x)

g(x) = g(a) + (x

a)g1 (x)

no es difcil ver que

(f + g)(x)

= (f + g)(a) + (x

a)(f1 + g1 )(x);

( f )(x)

= ( f )(a) + (x

a)( f1 )(x);

(f g)(x)

= (f g)(a) + (x

a)(f1 (x)g(a) + f (a)g1 (x) + (x

1
f

(x)

1
f

(a) + (x

a)

f1 (x)
:
f (a)f (x)

Como (f1 + g1 )(x); ( f1 )(x); f1 (x)g(a) + f (a)g1 (x) + (x

tenemos que f + g; f; f g y

a)f1 (x)g1 (x));

a)f1 (x)g1 (x) y

f1 (x)
son continuas en a;
f (a)f (x)

1
son derivables en a: Adems, se tiene que:
f

(f + g)0 (a)

= (f1 + g1 )(a) = f 0 (a) + g 0 (a)

( f )0 (a)

= ( f1 )(a) = f 0 (a)

(f g)0 (a)

= f1 (a)g(a) + f (a)g1 (a) = f 0 (a)g(a) + f (a)g 0 (a)

1
f

(a)

f1 (a)
f 0 (a)
=
:
f (a)f (a)
f (a)2

Proposicin 3. (Regla de la cadena). Si la funcin f : I ! R es derivable en a; y la funcin g : J ! R;

con f (I) J es derivable en b = f (a); entonces g f es derivable en a y (g f )0 (a) = g 0 (f (a))f 0 (a):
Demostracin. Como f y g son derivables en a y b = f (a); respectivamente, existen f1 y g1 funciones
continuas en a y en b; tales que:
f (x) = f (a) + (x a)f1 (x) con f 0 (a) = f1 (a) y
g(w) = g(b) + (w b)g1 (w) con g 0 (b) = g1 (b):
Pero,
(g f )(x) = g(f (x)) = g(b) + (f (x)

b)g1 (f (x)) = g(f (a)) + (x

a)f1 (x)g1 (f (x)):

Como f (x) y f1 (x) son continuas en a y g1 (w) lo es en b = f (a); se tiene que f1 (x)g1 (f (x)) es continua en
a; luego g f es derivable en a y
(g f )0 (a) = f1 (a)g1 (f (a)) = g 0 (f (a))f 0 (a):
Proposicin 4. (Teorema de la funcin inversa) Si f es inyectiva en un intervalo I y derivable en a 2 I
con f 0 (a) 6= 0; entonces f 1 es derivable en b = f (a); y
1 0

(f

) (b) =

1
.
f 0 (a)

Demostracin.
Como f es derivable en a; existe f1 funcin continua en a tal que
a)f1 (x) con f 0 (a) = f1 (a):

f (x) = f (a) + (x
Si y = f (x); la ecuacin anterior se escribe como
y = b + (f

(y)

f
2

(b))f1 (f

(y))

por lo tanto,
f

(y) = f

(b) + (y

b)

1
f1 (f

1 (y))

Se puede dividir entre f1 (f 1 (y)) ya que f1 no se anula alrededor de a; en virtud de que f1 es continua en
a y f1 (a) = f 0 (a) 6= 0:
Como, f 1 es continua en b = f (a); se tiene que f1 (f 11 (y)) es continua en b; por lo que f 1 es derivable en
b: Adems,
(f

1 0

) (b) =

1
f1 (f

1 (b))

1
1
= 0 :
f1 (a)
f (a)

Proposicin 5. Si la funcin f : I ! R tiene un mximo local o un mnimo local en a 2 I; y la funcin es

derivable en a; entonces f 0 (a) = 0:
Demostracin.
Como f es derivable en a; existe una funcin continua f1 en a; tal que f (x) = f (a) + (x a)f1 (x) y con
f1 (a) = f 0 (a):
Si a es mximo local, f (x) f (a)
0 alrededor de a; entonces (x a)f1 (x)
0 alrededor de a; luego
f1 (x) 0; para x a y f1 (x) 0; para x a; lo que implica por continuidad de f1 en a; que f1 (a) = 0; y
entonces f 0 (a) = 0:
Proposicin 6. (Teorema fundamental del clculo diferencial). Si f : [a; b] ! R es una funcin continua
entonces existe una funcin primitiva F (x) de f (x) y nica salvo la suma de una constante, adems se
Rb
cumple que a f (x)dx = F (b) F (a):
Demostracin.
Rx
Existencia. Considere F (x) = a f (t)dt; por el teorema del valor medio para integrales se tiene que
Rx
F (x) F (y) = y f (t)dt = f (z)(x y); donde z = z(x; y) est entre x y y:
Cuando x ! y, el nmero z = z(x; y) tiende a y y la continuidad de f en y implica que limx!y f (z) = f (y):
Luego h(x) = f (z(x; y)) es una funcin continua en y; por lo que:
F (x)

F (y) = f (z)(x

y) = h(x)(x

y);

nos dice que F es derivable en y y F 0 (y) = h(y) = f (y); por lo que F es primitiva de f: Y cumple que
Rb
f (x)dx = F (b) F (a):
a
Unicidad. Si F y G son primitivas de f en [a; b]; se tiene que F 0 = G0 en [a; b]; por lo que F = G + c
en [a; b]:
Ejemplo. Si la funcin f : I ! R es continua con f (I) I 0 ; h : I 0 ! R es derivable en I 0 con h0 (x) 6= 0
en f (I) y son tales que h f es derivable en I; entonces f es derivable en I:
Solucin.
Si h es derivable en b = f (a) se tiene que h(w) = h(b) + (w b)h1 (w); con h1 continua en b: Si tomamos
w = f (x); tenemos que h(f (x)) = h(f (a)) + (f (x) f (a))h1 (f (x)); por lo que:
f (x)

f (a) =

h(f (x)) h(f (a))

h1 (f (x))

Pero h f es derivable en a; luego (h f )(x) = (h f )(a) + (x

que,
f (x)

f (a) =

a)H1 (x); por lo que al sustituir, tenemos

h(f (x)) h(f (a))

(x a)H1 (x)
=
:
h1 (f (x))
h1 (f (x))

Ahora si x ! a; la funcin f (x) ! f (a) y entonces para x cerca de a, h1 (f (x)) 6= 0: Luego f (x)
f )0 (a)
1 (x)
1 (a)
(x a)k(x) donde k(x) = hH
es continua y f 0 (a) = k(a) = hH
= (h
h0 (f (a)) :
1 (f (x))
1 (f (a))

f (a) =

Extensiones
Para funciones complejas de variable compleja.
La funcion f : G C ! C es derivable en a 2 G si existe f1 : G
f (z) = f (a) + (z

C ! C continua en a tal que,

a)f1 (z) alrededor de a:

Adems f1 (a) = f 0 (a):

Las cuatro primeras proposiciones anteriores son ciertas en este caso.
Para funciones de Rn en R:
La funcin, f : G Rn ! R es derivabe en a = (a1 ; :::; an ) 2 G; si existen funciones continuas f1 ; :::; fn en
a de manera que:
Pn
f (x) = f (a) + i=1 (xi ai )fi (x); para x = (x1 ; :::; xn ) alrededor de a:
Aqu resulta que fi (a) =

@f
(a); para cada i = 1; :::; n:
@xi

Para trayectorias o curvas en Rn :

La curva f : I R ! Rn ; es derivable en a 2 I; si existe f1 : I ! Rn continua en a; tal que
f (t) = f (a) + (t

a)f1 (t); para t alredor de a:

Tambin resulta que f1 (a) = f 0 (a):

Para funciones de Rn en Rm :
Denicin. (Frchet) Sean U Rn un abierto, f : U ! Rm una funcin y a 2 U: La funcin f es derivable
en a, si existe una transformacin lineal T : Rn ! Rm y existe una funcin r : U ! Rm continua en a con
r(a) = 0 tales que
f (x) = f (a) + T (x

a) + r(x) kx

ak :

La ecuacin anterior es equivalente a

limx!a

f (x)

f (a) T (x
kx ak

a)

=0

f (a) T (x a)
= r(x) ! 0 si y slo si r(x) es continua en a y r(a) = 0:
kx ak
a)t
n
m
Si denimos h(x) = T + r(x) (x
kx ak ; para x en una vecindad de a; la funcin toma valores en L(R ; R )
Ya que

f (x)

el espacio de funciones lineales de Rn en Rm , aqu r(x) (x

kx

a)t
ak

es la transformacin lineal que induce la

t

a)
matriz que se obtiene al multiplicar el vector columna r(x) con el vector rengln (x
kx ak : Adems como
kh(x) T k kr(x)k la funcin h(x) T es continua en a; luego h(x) tambin es continua en a. Y entonces
podemos reformular la denicin de derivable como:

Denicin. (A la Carathodory). Sean U Rn un abierto, f : U ! Rm una funcin y a 2 U: La funcin f

es derivable en a, si existe una funcin h(x) denida en una vecindad de a y que toma valores en L(Rn ; Rm ),
que sea continua en a y tal que,
f (x) = f (a) + h(x)(x

a); para x en una vecindad de a:

Desde luego si lo anterior se cumple, se tiene que:

f (x) = f (a) + h(x)(x

a) = f (a) + h(a)(x
4

a) + (h(x)

(x
h(a)) kx

a)
ak

kx

ak

(x
h(a)) kx

por lo que si consideramos la transformacin T = h(a) y la funcin r(x) = (h(x)

f (x) = f (a) + T (x

a) + r(x) kx

a)
ak ,

tenemos que:

ak :

(x a)
h(a)k ; por la continuidad de h en a tenemos que r(x)
Y como kr(x)k kh(x) h(a)k kx
ak = kh(x)
es continua en a: Luego las dos deniciones son equivalentes.

Las propiedades de derivacin se cumplen, por ejemplo las siguientes dos proposiciones dan muestra de ello.
Proposicin 7. (Regla de la cadena). Si f : U
Rn ! Rm es una funcin derivable en a 2 U y
g : f (U )
Rm ! Rr es tambin una funcin derivable en b = f (a); entonces la funcin (g f )(x) es
derivable en a y (g f )0 (a) = g 0 (f (a))f 0 (a):
Demostracin.
Si f (x) = f (a) + h(x)(x a) y g(y) = g(b) + k(y)(y b); con h(x) y k(y) continuas en a y b; respectivamente.
Entonces tenemos,
g(f (x)) = g(f (a)) + k(f (x))(f (x)

f (a)) = g(f (a)) + k(f (x))h(x)(x

Y como k(f (x))h(x) es continua en a; tenemos que g

g 0 (f (a))f 0 (a):

f es derivable en a y (g

Proposicin 8. Una funcin f : U

R2 ! R que tiene derivadas parciales
(a; b) 2 U y que son continuas en (a; b); es derivable en (a; b):
Demostracin.
Escribimos f (x; y) f (a; b) = f (x; y) f (a; y) + f (a; y) f (a; b);
Por el teorema del valor medio para funciones de R en R; tenemos que:
f (x; y) f (a; y) = @f
a), para alguna ente x y a;
@x ( ; y)(x
f (a; y) f (a; b) = @f
(a;
)(y
b);
para alguna entre y y b:
@y

a):

f )0 (a) = k(f (a))h(a) =

@f @f
@x ; @y

en una vecindad de

@f
@f
x a
Luego, f (x; y) f (a; b) = ( @f
= h(x; y) xy ab ; donde h(x; y) = ( @f
@x ( ; y); @y (a; )) y b
@x ( ; y); @y (a; ));
tal funcin h(x; y) es continua en (a; b); ya que si (x; y) ! (a; b) entonces ( ; y) ! (a; b) y (a; ) ! (a; b) y
las parciales son continuas en (a; b): Por tanto la funcin f es derivable en (a; b):

Teorema de la funcin implcita

Teorema de la funcin implcita. Sean f : U
R2 ! R una funcin y (a; b) 2 U de manera que las
@f @f
derivadas parciales @x ; @y existen y son continuas en una vecindad de (a; b): Si f (a; b) = 0 y @f
@y (a; b) 6= 0;
entonces existen vecindades U de a; V de b y existe una funcin derivable y : U ! V tal que y(a) = b y
@f
@x (x; y(x))
f (x; y(x)) = 0; para x 2 U y con y 0 (x) = @f
en la vecindad U:
@y (x; y(x))
Demostracin.
Supongamos que

> 0:

Por la

existen

@f
@y (a; b)
continuidad de @f
@y

> 0 y " > 0 tales que:

jx

aj < ; jy

bj <

=)

@f
@y (x; y)

" > 0:

Luego f (a; y) es una funcin creciente en y y como f (a; b) = 0 se tiene que f (a; b
continuidad de f impica que existe 1 > 0 tal que:
f (x; b

) < 0 < f (x; b + ); para jx

aj

1:

) < 0 < f (a; b + ). la

Sean U = (a
; b + ) y apliquemos el teorema del valor intermedio a f (x; y) como
1 ; a + 1 ) y V = (b
funcin de y y con x ja, lo que da un y = y(x) tal que f (x; y(x)) = 0 y entonces una funcin y : U ! V: La
unicidad de y(x) en V es consecuencia de que f (x; y) es montona como funcin de y:
Ahora veamos que y(x) es derivable en cada punto x1 2 U:
x1 ) + @f
y1 ) donde y1 = y(x1 ); est entre
Como 0 = f (x; y(x)) = f (x1 ; y1 ) + @f
@x ( ; y(x))(x
@y (x1 ; )(y(x)
x y x1 ; entre y(x) y y(x1 ) = y1 :
Luego y(x)

y1 = h(x)(x

x1 ) donde h(x) =

@f
@x ( ;y(x))
@f
@y (x; )

: Ahora veamos que h(x) es continua en x1 :

Primero veamos que y(x) es continua en x1 ; as: la funcin @f

aj
bj
1 ; jy
1;
@x es continua en jx
@f
M
luego acotada en tal cuadrado digamos por M > 0; por lo que jh(x)j
"; por lo
" , ya que @y (x; y)
M
aj lo que garantiza que y(x) sea continua en x1 : Ahora h(x) es
que jy(x) y1 j = jh(x)(x x1 )j
" jx
@f
continua ya que todas las funciones que involucra h(x) ( ; ; y(x); @f
@x , @y ) son continuas.
Finalmente y 0 (x1 ) = h(x1 ) =

@f
@x (x1 ; y(x1 ))
:
@f
@y (x1 ; y(x1 ))

Teorema de Fubini, para funciones continuas

En toda esta parte I = [a; b] y J = [c; d]:
Lema 1.
R Si f : I J ! R es una funcin (uniformemente) continua, entonces g : J ! RR denida por
g(y) = I f (x; y)dx; es continua en J: De igual manera h : I ! R denida por h(x) = J f (x; y)dy es
continua en I:
Demostracin.
Sea " > 0, por ser f uniformemente continua existe > 0 tal que jx x0 j < y jy y 0 j < implican
jf (x; y) f (x0 ; y 0 )j < ":
R
R
jf (x; y) f (x; y 0 )j dx
" jIj ; si jy y 0 j < ; lo
Por lo que: jg(y) g(y 0 )j = I (f (x; y) f (x; y 0 ))dx
I
que garantiza que g es continua en y 0 y entonces en J:
Lema 2. Sea f : I

J ! R una funcin continua, tal que

@f
@y

J ! R es una funcin uniformemente

R
continua. Si g(y) = I f (x; y)dx; entonces g es derivable en J y g (y) = I @f
@y (x; y)dx:
Demostracin.
Primero hacemos notar que una funcin g(y) es derivable en a si y slo si existe una funcin g1 (y) que es
continua en a y tal que g(y) = g(a) + (y a)g1 (y) en una vecindad de a: En tal caso g 0 (a) = g1 (a):
Y que la parcial de f con respecto a y existe en el punto (x; a) si y slo si existe una funcin h1 (x; y) que
es continua en la variable y en a y tal que f (x; y) = f (x; a) + (y a)h1 (x; y), para y alrededor de a: Si es
@f
el caso @f
J si y slo si h1 (x; y) es
@y (x; a) = h1 (x; a): Ahora bien, @y (x; y) es uniformemente continua en I
uniformemente continua en I J:
Ahora como,
R
R
R
g(y) g(a) =R I (f (x; y) f (x; a))dx = I (y a)h1 (x; y)dx = (y a) I h1 (x; y)dx = (y a)G1 (y)
donde G1 (y) = I h1 (x; y)dx; que por el lema 1, es continua en a: Tenemos que, g(y) es derivable en a y
R
R
g 0 (a) = G1 (a) = I h1 (x; a)dx = I @f
@y (x; a)dx; como queriamos mostrar.
R

Teorema de Fubini. Sea f : I

Z

:I

J ! R una funcin continua, entonces se cumple la siguiente identidad

!
!
Z
Z
Z
d

f (x; y)dy dx =

f (x; y)dx dy:

Demostracin.
Rb Rt
Rt Rb
Para t 2 [c; d]; se denen g(t) = a c f (x; y)dy dx y h(t) = c a f (x; y)dx dy:
Rt
Como f (x; y) es continua en I J; por el lema 1, F (x; t) = c f (x; y)dy; es una funcin continua en x:
Tambin por el teorema fundamental del clculo la funcin F (x; t) es derivable (y entonces continua) como
funcin de t. Pero tambin es continua en I J; en efecto,

jF (x; t)

F (x0 ; t0 )j = jF (x; t) F (x; t0 ) + F (x; t0 ) F (x0 ; t0 )j

R t0
Rt
f (x; y)dy + c (f (x; y) f (x0 ; y))dy
t0
Rt
R t0
jf (x; y)j dy + c jf (x; y) f (x0 ; y)j dy
t0

y las dos ltimas integrales se aproximan a cero si x ! x0 y t ! t0 :

Adems @F
J; luego uniformemente continua. Por el lema 2, g(t) =
@t (x; t) = f (x; t) es continua en I
Rb
Rb
Rb
0
F (x; t)dx es derivable en J y para t 2 J; g (t) = a @F
@t (x; t)dx = a f (x; t)dx:
a
Rt Rb
Por otro lado, el teorema fundamental del clculo garantiza que h(t) = c a f (x; y)dx dy es derivable en
Rb
[c; d] con h0 (t) = a f (x; t)dx; para t 2 [c; d]:
Luego g 0 h0
0 en [c; d]; y entonces g h es constante en [c; d]; pero g(c) = h(c) = 0; lo que implica
Rb Rd
Rd Rb
que g y h coinciden en [c; d]; pero g(d) = a c f (x; y)dy dx y h(d) = c
f (x; y)dx dy; por tanto
a
Rb Rd
Rd Rb
f (x; y)dy dx = c
f (x; y)dx dy:
a
c
a

Jos Antonio Gmez Ortega

Departamento de Matemticas
Facultad de Ciencias, UNAM
jago@fciencias.unam.mx
Rita Vzquez Padilla
Academia de Matemticas
Universidad Autnoma de la Ciudad de Mxico
ritavz14@hotmail.com.mx

Bibliografa
Harier, E. - Wanner, G. Lanalyse au l de lhistoire. Springer, 2000.
Bagby, R. Introductory analysis. Academic Press, 2001.
Khun, S. The derivative la Carthodory. The Teaching of Mathematics, 1991.
Carathodory, C. Theory of functions of a complex variable vol I. Chelsea, 1950.
Remmert, R. Theory of complex functions. Springer-Verlag, 1991.