EDUCACIN

LA DERIVADA DE CARATHODORY*

ERNESTO ACOSTA G.
CSAR DELGADO G.
CARLOS RODRGUEZ B.

Resumen. La definicin de derivada de

Carathodory permite pensar en una nueva
forma de presentar los cursos de clculo.

1.

Introduccin

En el volumen 98, No1, de Enero de 1991 de la revista American

Mathematical Monthly, Stephen Kuhn presenta una formulacin
de derivada que nos llam mucho la atencin [Kuhn]. Segn
Kuhn, parece ser que Constantine Carathodory quien por primera
vez hizo esta formulacin en su libro Teora de Funciones de
Variable Compleja (1954) [Car.]. Kunh muestra cmo esta
formulacin simplifica notablemente la demostracin de algunos
de los teoremas bsicos del clculo diferencial, sobre todo el de
la regla de la cadena. Sin embargo, ste se muestra escptico
acerca de su uso en el clculo de derivadas.
En este artculo queremos compartir con el lector la formulacin
de Carathodory presentando la demostracin de algunos teoremas
bsicos del clculo diferencial, mostrando cmo sta se puede
extender a funciones de R n en R m y ejemplificando el uso de la

Vol. 2, N2, Mayo (1992) MATEMTICAS Enseanza Universitaria

Ernesto Acosta G. et al .

Educacin

32

misma con algunos clculos. Para esto destacaremos el lgebra de

las funciones de pendientes (en la terminologa de [Aco, Del]).
2.

La formulacin de Carathodory

Supongamos que queremos calcular la pendiente de la recta

tangente a la grfica de una funcin f en el punto (a,f(a)), f
definida en un intervalo abierto U, aU. Para esto construiremos
la funcin de las pendientes de las rectas secantes a la grfica
de f en (a,f(a)):

( x)

f ( x) f (a)
, x U a .
xa

La pendiente de la recta tangente en cuestin ser el lmite,

cuando x tiende a a, de (x), si ste existe, y la notamos f (a):

lim ( x) f (a )
xa

Dicho en otras palabras, la pendiente de la recta tangente a la

grfica de f en (a,f(a)) existe si tiene una discontinuidad
removible en a. Esto motiva la siguiente definicin.
Definicin. Sea f una funcin definida en un intervalo abierto U,
y a un punto en U. f es diferenciable en a, en el sentido de
Carathodory, si existe una funcin f (x,a), continua en a, que
satisface la relacin
f ( x) f (a ) f ( x, a )( x a ),

para todo

xU

(1)

El nmero f (a, a) es la derivada de Carathodory de f en a. En

lo que sigue escribiremos f (x) en lugar de f (x, a), sin olvidar
que f depende de a.
No es difcil ver que esta definicin es equivalente a la que
usualmente se da para la derivada y que f (a, a) = f (a).
La consecuencia ms inmediata de esta definicin es que si f es
diferenciable en a, tambin es continua en a. En efecto si f es
diferenciable en a existe f continua en a tal que

f ( x) f ( x)( x a ) f (a ) .

Vol. 2, N2, Mayo (1992) MATEMTICAS Enseanza Universitaria

Ernesto Acosta G. et al .

Educacin

33

Como el producto y la suma de funciones continuas son funciones

continuas se concluye que f es continua en a.
Consideraremos ahora la familia a (U,R) de funciones f definidas
en el intervalo abierto U que son diferenciables en aU y la
familia a (U,R) de funciones definidas en U que son continuas en
aU. Definimos : a a por (f) = f , donde f satisface (1).
Tenemos, entonces, el siguiente teorema que consigna algunas de
las propiedades de .
Teorema 1. (El lgebra de ( a )). Si f, g a (U,R) y , R
entonces f g, fg y fg (si g0) a (U,R) y
i)

f g f g

ii)

fg g f f (a ) g

iii)

f / g ( g ( a ) f f ( a ) g ) / g ( a ) g

Demostracin.
i)

Si h = f g entonces,
h(x) h(a) =

(f(x) g(x)) (f(a) g(a))

(f(x) f(a)) (g(x) g(a))

f (x) g (x))(x a).

f g es suma y producto de funciones continuas en a,

por tanto, h a (U,R) y h = f g .
ii)

Si h = f g entonces
h(x) h(a) = f(x)g(x) f(a)g(a)
= g(x)(f(x) f(a)) f(a)(g(x) g(a))
= (g(x) f (x) f(a) g (x))(x a)
Claramente g f f(a) g es continua en a. Por lo tanto,
h a (U,R) y h = g f f(a) g .
Similarmente, el lector puede probar iii).
Vol. 2, N2, Mayo (1992) MATEMTICAS Enseanza Universitaria

Ernesto Acosta G. et al .

Educacin

34

Corolario 1. Bajo las hiptesis del teorema 1

i)

(f g)(a) f (a) g(a)

ii)

(f g)(a) = g(a) f (a) f (a) g(a)

iii) (f g)(a) =

g (a ) f '(a ) f (a ) g '(a )
, g (a) 0
[ g (a )]2

Teorema 2. Sea f definida en el intervalo abierto U, aU, y g

definida en el intervalo abierto V, f(U)V, con f a (U,R) y
g f ( a ) (V,R). Entonces g o f a (U,R) y
g

o f

( g o f ) f

Demostracin. Si h = g o f entonces
h(x) h(a) = g(f(x)) g(f(a))
= g (f(x))(f(x) f(a))
= g (f(x)) f (x)(x a)
f es continua en a por ser diferenciable en xa, por hiptesis g
es continua en f(a) y f es continua en xa y por tanto ( g o f) f
es continua en a. Tenemos as que gof a (U,R) y que
h ( g of) g .
Corolario 2. (Regla de la cadena). Bajo las hiptesis del teorema 4
(g o f )(a) g(f(a))f (a)
Usando los argumentos usuales se demuestran los teoremas de
valores extremos, de Rolle y del valor medio, la diferencia est en
que el argumento fuerte de las demostraciones recae en el lgebra
de las funciones continuas.
3.

Extensin de la derivada a funciones vectoriales

Queremos ahora extender el concepto de derivada a funciones

vectoriales. La forma ms conocida de hacer esto es mediante la

Vol. 2, N2, Mayo (1992) MATEMTICAS Enseanza Universitaria

Ernesto Acosta G. et al .

Educacin

35

introduccin de la derivada total como aproximacin lineal de la

funcin en un punto. Esto corresponde a la definicin de derivada
de Frecht. Sin embargo, veamos que una interpretacin
conveniente de la relacin (1) nos permite extender la derivada de
Carathodory a funciones vectoriales.
Sea f una funcin de R n en R m y a un punto en R n . Como ya lo
hemos dicho debemos dar una interpretacin a la expresin
f (x) f (a) = f (x) (x a) .
Identifiquemos f(x) f(a) con un vector columna de R m y xa con
un vector columna de R n . Por lo tanto f (x) se puede interpretar
como una matriz mn (realmente f (x)(R n ,R m )), que se
identifica con el espacio m n de matrices reales mn). Pues
bien, como la relacin (1) tiene sentido para f podemos dar la
siguiente definicin.
Definicin. f es diferenciable en a si existe f : R n m n ,
continua en a, tal que
f (x) f(a) = f (x)(x a).
Si f existe, Df(a) = f (a) m n .
En [Aco, Del] se demuestra la equivalencia entre la derivada de
Frecht y Carathodory y los teoremas bsicos del clculo
vectorial, pudindose apreciar el poder de simplificacin de (1)
en las argumentaciones con la formulacin de Carathodory. Esto
se observa, en particular, en la demostracin del teorema de la
funcin inversa. Bsicamente las demostraciones son las mismas
de los teoremas 1 y 2 que presentamos aqu.
4.

Clculo de derivadas

Veamos ahora cmo se usa (1) para calcular derivadas. Para

efectuar el clculo tendremos que factorizar (xa) de la diferencia
f(x)f(a) y mostrar que el factor resultante f (x) es una funcin
continua en a. Si ste es el caso, f (a) no ser otra cosa que
f (a).

Vol. 2, N2, Mayo (1992) MATEMTICAS Enseanza Universitaria

Ernesto Acosta G. et al .

Educacin

36

Ejemplos.
1. Calculemos la derivada de una funcin constante f: RR,
f(x)k, en un punto aR. En este caso f(x) f(a)0, por lo
que la factorizacin es
0 0 (xa)
El factor resultante f es idnticamente 0, que es continua
en a y por lo tanto f (a)0.
2. Calculemos ahora la derivada de f : R R definida por
f(x)x n en un punto aR. En este caso f(x)f(a)x n a n y la
factorizacin es
x n a n (x n 1 x n 2 a xa n 2 a n 1 ) (xa).
El factor resultante es f (x) x n 1 x n 2 a a n 1 que por
ser un polinomio es continua en a y f (a) na n 1 .
3. Ensayemos ahora con: f : R R definida por f(x) senx.
Calculemos su derivada en xa. La diferencia f(x)f(a) no
se puede factorizar sino para xa como
senx sena

senx sena
( x a)
xa

Tenemos que ver entonces si el factor f (x)

senx sena
xa

tiene una discontinuidad removible en xa. En efecto,

senx sena sen 12 ( x a )
1
1
cos ( x a ),
xa
( x a)
2
2

que tiene a cos a como lmite cuando x tiende a a. Luego,

podemos definir f (a)cos a para que f sea continua en a.
4. La funcin f : R R definida por

x sen 1x ,
f ( x)
,
0

x0
x0

Vol. 2, N2, Mayo (1992) MATEMTICAS Enseanza Universitaria

Ernesto Acosta G. et al .

37

Educacin

es continua en 0, pero no es diferenciable en 0. En efecto,

1
1
f ( x ) f (0) sen sen ( x 0)
x
x

pero

el

factor

resultante

f (x) sen

1
x

no

tiene

una

discontinuidad removible en x0.

5. Si F : R n R m es lineal y aR n , la diferencia f(x) f(a)
se factoriza muy fcilmente:
F(x) F(a) F(x a).
Por lo tanto, f (x) F para todo x y Df (a) F.
6. Si F : R 2 R 2
est definida por F(x,y) (x 2 ,y 2 ) y
2
(a,b) R , la diferencia F(x,y) F(a,b) se puede factorizar
as:
F(xy) F(ab) (x 2 ,y 2 ) (a 2 ,b 2 )
(x 2 a 2 , y 2 b 2 ) ((xa)(xa), (yb) (yb))
xa

0 xa

y b y b

xa

f (x,y) 0

2a
Df (a, b)
0

y b

es continua en (a,b) y

0
.
2b

7. Sea f(x) Axx una forma cuadrtica de R n en R, calculemos

la derivada en aR n :
f(x)f(a) Ax x Aa a
Ax x Ax a Ax a Aa a
Ax (xa) Aa x Aa a
Ax (xa) Aa (x a)
(Ax Aa) (x a)

Vol. 2, N2, Mayo (1992) MATEMTICAS Enseanza Universitaria

Ernesto Acosta G. et al .

Educacin

38

f (x) Ax Aa es continua en a y Df(a) 2Aa.

8. Consideremos ahora G : R 2 R definida por G(x) [F(x)] 2
donde F : R 2 R es lineal y calculemos DG(a), a R 2 .
Observemos que G f o F, donde f(y) y 2 . Entonces por el
teorema 2
G ( f o F) F
y por los ejemplos 2 y 5
f (y) y b, F (x) F
donde b F(a). Por lo tanto
G (x) {F(x) F(a)} F
= F(x a) F
y DG(a) G (a) 2F(a) F.
Cada lector deber sacar su propia conclusin. Los autores
pensamos que esta forma es ms natural y simple que la
tradicional.
5. Referencias
[Kuhn] Stephen Kuhn, The Derivative a la Carathodory, American
Mathematical Monthly, Vol.98, No.1, J anuary, (1991).
[Car] Constantine Carathodory, Theory of functions of complex
variable, Vol.I, Chelsea, New York, (1954).
[Aco,Del] Ernesto Acosta, Csar Delgado, Frecht vs. Carathodory.
Enviado para publicacin a American Mathematical Monthly,
Diciembre, (1991).

Ernesto Acosta G., Csar Delgado G., Carlos Rodrguez B.,

Departamento de Matemticas, Universidad del Valle,
Apartado Areo 25360, Cali, Colombia.

Vol. 2, N2, Mayo (1992) MATEMTICAS Enseanza Universitaria