Regla de la cadena para funciones derivables en R

S.Guzman
June 8, 2025

Nuestro objetivo es demostrar la regla de la cadena y subsanar el siguiente

error: el utilizar la sencilla idea de que
f (g(x)) − f (g(x0 )) f (g(x)) − f (g(x0 )) g(x) − g(x0 )
= ;
x − x0 g(x) − g(x0 ) x − x0
la cual es errónea porque ella supone que g(x) ̸= g(x0 ) para todo x suficiente-
mente cerca de x0 , que no tiene ninguna razón de ser. Por ejemplo, una función
constante. Daremos dos demostraciones de la regla de la cadena: la primera
utilizando la idea de convergencia propia, y la segunda la teorı́a de los infinites-
imales.

El siguiente lema será importante.

Proposición 1. Lema del lı́mite vinculante. limx→a f (x) = L si y sólo si
limn→∞ f (xn ) = L para cada sucesión x1 , x2 , ... que converja propiamente hacia
a 1.
Demostración: Supongamos primero que limx→a f (x) = L. Entonces,
según la definición de lı́mite, dado ε > 0 siempre podemos hallar δ > 0 tal que
|f (x) − L| < ε, siempre que 0 < |x − a| < δ. De nuestra hipótesis, la sucesión xn
converge propiamente hacia a, esto es, que dado δ > 0 existe N ∈ Z+ tal que si
n ⩾ N , se cumple la desigualdad 0 < |xn − a|< δ. Sin embargo, cada xn es un
punto de dominio de f , luego la sucesión {f (xn )} debe satisfacer |f (xn )−L| < ε.
Recı́procamente, supongamos que limx→a f (x) ̸= L. Esto equivale a decir, que
existe un ε0 > 0 para cualquier δ > 0 y un punto x en el dominio de f tal que
0 < |x − a| < δ y |f (x) − L|⩾ ε0 . Sea δ de la forma n1 , con n ∈ Z+ . Según
lo que acabamos de decir, existe un número xn tal que 0 < |xn − a| < n1 y
|f (xn ) − L| ⩾ ε0 . Además, obsérvese que {xn } → a propiamente. Finalmente,
como |f (xn ) − L| ⩾ ε0 para toda n ∈ Z+ , resulta limn→∞ f (xn ) ̸= L. ■

Definición 1. Decimos que f (x) converge propiamente a (o hacia ) L cuando

x → a si y sólo si
lim f (x) = L
x→a
1 Decimos que una sucesión α1 , α2 , ... converge propiamente a A si y sólo si
1) lim αn = A
2) αn ≠ A para toda n suficientemente grande.

1
y existe un entorno punteado U ( U = {x ∈ Df | |x − a|< δ}) de a sobre el que
f (x) ̸= L siempre que x ∈ U .
Proposición 2. Regla de sustitución. Supóngase que al tender x → a, g(x)
converge propiamente a A y que
lim f (y) = L.
y→A

Entonces
lim f (g(x)) = L.
x→a

Demostración: Por hipótesis, existe δg > 0 tal que

0 < |x − a| < δg → g(x) ̸= A.
Dado ε > 0, como limy→A f (y) = L, existe un δf tal que
0 < |y − A| < δf → |f (y) − L| < ε.
Asimismo, por ser limx→a g(x) = A, existe un ∆ > 0 tal que
0 < |x − a| < ∆ → |g(x) − A| < δf .
Luego, si δ = min{δg , ∆} y 0 < |x − a| < δ, entonces
|g(x) − A| < δf → |f (g(x)) − A| < ε.
Por tanto, limx→a f (g(x)) = L. ■.

Ejemplo 1. Probar que

π
lim sen( + x2 ) = 1.
x→0 2
Por la continuidad de las funciones polinómicas
π π
lim ( + x2 ) = .
x→0 2 2
π
Además, esta función converge propiamente a y
2
π
lim seny = sen( ) = 1.
y→ π2 2
La afirmación se deduce de la regla de sustitución.

Ejemplo 2. probar que para todo número real a,

lim cosx = cosa.
x→a
π
Emplearemos la identidad cosx = sen(π/2 − x). Al tender x → a, − x tiende
2
π
a − a. Como esta convergencia es propia, se sigue que
2
π
lim cosx = lim sen( − x) = lim seny = sen(π/2 − a) = cosa.
x→a x→a 2 y→ π
2 −a

2
Proposición 3. Regla de la cadena. Supongamos que g es derivable en x0 , y
que f es derivable en x0 . Entonces f ◦ g es derivable en x0 , y

(f ◦ g)′ (x0 ) = f ′ (g(x0 ))g ′ (x0 ).

Demostración: La idea básica de la demostración es bien simple:

∆z ∆z ∆y
= .
∆x ∆y ∆x
Pasando al lı́mite, se obtiene
dz dz dy
= .
dx dy dx
Sin embargo, tan pronto se empieza a utilizar notación más explı́cita, se da uno
cuenta que hay algo más.

Caso I. Supongamos primero que g(x) converge propiamente a g(x0 ). Por

definición,
f (g(x)) − f (g(x0 ))
(f ◦ g)′ (x0 ) = lim ,
x→x0 x − x0
siempre que este lı́mite exista. Para calcular este lı́mite basta considerar aquellos
números x que yacen en el entorno punteado V de x0 . Para tales valores de x,
g(x) ̸= g(x0 ), y podemos por tanto multiplicar y dividir por g(x) − g(x0 ). Ası́,

f (g(x)) − f (g(x0 )) g(x) − g(x0 )

(f ◦ g)′ (x0 ) = lim . (*)
x→x0 g(x) − g(x0 ) x − x0

Por definición.
g(x) − g(x0 )
lim = g ′ (x0 )
x→xo x − x0
y
f (y) − f (g(x0 ))
lim = f ′ (g(x0 )).
y→g(x0 ) y − g(x0 )
La última ecuación, junto con la regla de sustitución, nos permite escribir

f (g(x)) − f (g(x0 ))
lim = f ′ (g(x0 )).
x→x0 g(x) − g(x0 )

Como el lı́mite un producto es el producto de los lı́mites, de (∗) resulta

(f ◦ g)′ (x0 ) = f ′ (g(x0 ))g ′ (x0 ).

Caso II. Supongamos ahora que no existe un entorno punteado xo sobre el

que g(x) ̸= g(x0 ). Esto implica que para cada n ∈ Z+ , el entorno punteado
N (x0 , n1 ) = {x | 0 < |x − x0 |< n1 }, debe contener algún punto xn tal que

3
g(xn ) = g(x0 ). Por tanto podemos obtener una sucesión {xn }, todos distintos
de x0 , tal que
1 1
x0 − < xn < x0 + .
n n
Por el teorema del encaje se ve inmediatamente que xn converge propiamente a
x0 . Luego, aplicando el lema del lı́mite vinculante, resulta
g(x) − g(x0 ) g(xn ) − g(x0 )
g ′ (x0 ) = lim = lim = 0.
x→x0 x − x0 n→∞ xn − x0
Demostraremos ahora que también (f ◦g)′ (x0 ) = 0. Por ser f derivable en g(x0 ),
debe existir un entorno punteado de g(x0 ) en el que el cociente incremental
f (g(x)) − f (g(x0 ))
se mantiene acotado, digamos
g(x) − g(x0 )
f (g(x) − f (g(x0 ))
⩽M
g(x) − g(x0 )
siempre que |g(x) − g(x0 )| < ε′ . Como limx→x0 g(x) = g(x0 ), existe un entorno
V de x0 tal que
|g(x) − g(x0 )| < ε′
si x ∈ V . En consecuencia,
f (g(x) − f (g(x0 )) g(x) − g(x0 )
⩽M .
x − x0 x − x0
Dado que
g(x) − g(x0 )
lim = g ′ (x0 ) = 0,
x→x0 x − x0
del teorema del encaje resulta
f (g(x)) − f (g(x0 ))
(f ◦ g)′ (x0 ) = lim = 0.
x→xo x − x0
■.

Ahora, en lo que resta, daremos una demostración de la regla de la cadena

que evita la división por cero y todo el trabajo laborioso de la anterior de-
mostración. Antes, necesitaremos definir algunas clases de funciones.

Definición 2. Sea x0 un número real fijo. Consideraremos tres clases de

funciones Fx0 , Bx0 y Nx0 . La clase Fx0 consistirá en todas las fucniones reales
definidas en la proximidad de x0 . Más concretamente, f ∈ Fx0 si y sólo si existe
un entorno punteado de xo en el que f está definida, o lo que es lo mismo,
(∃δ > 0)(∀x)(0 < |x − x0 | < δ) → x ∈ Df .
La clase Nx0 es el conjunto de las funciones f tales que limx→x0 f (x) = 0.
Definimos f ∈ Bx0 si y sólo si existe un entorno punteado de x0 en el que f está
acotada, o equivalentemente,
(∃δ > 0)(∃M )(∀x)(0 < |x − x0 | < δ) → |f (x)| ⩽ M.

4
Proposición 4. Nx0 ⊂ Bx0 ⊂ Fx0 y las tres clases funciones son cerradas bajo
suma y producto. Además, si f ∈ Nx0 y g ∈ Bx0 se cumple que f g ∈ Nx0 .
Demostración: Sea f ∈ Nx0 . Por definición, limx→x0 f (x) = 0; por tanto,
dado ε = M , existe un δM > 0 tal que si 0 < |x − x0 | < δM , entonces

|f (x)| < M.

De allı́ que M sea una cota superior siempre que x este en el entorno punteado
de x0 radio δM . Ası́ pues, f ∈ Bx0 . Ahora, supongamos que f ∈ Bx0 . Según la
definición, existe un entorno puntado V de x0 en el que f está acotada, es decir,

|f (x)| ⩽ M

siempre que x ∈ V . Empero, esto implica que para valores de x en el entorno

punteado x0 , f está definida. Luego x ∈ Df y, en consecuencia, f ∈ Fx0 . De
modo que son válidas las inclusiones Nx0 ⊂ Bx0 ⊂ Fx0 . Veamos las propiedades
de cerradura bajo adición y multiplicación. Probaremos que si f, g ∈ Nx0 ,
entonces f + g, f g ∈ Nx0 ; las otras propiedades de cerradura en los conjuntos
Bx0 y Fx0 quedan a cargo del lector. Como limx→x0 f (x) = limx→x0 g(x) = 0,
dado ε > 0, existe δ1 y δ2 tales que si 0 < |x − x0 | < δ1 y 0 < |x − x0 | < δ2 ,
entonces
ε ε
|f (x)| < y |g(x)| < .
2 2
Por tanto, si se elige δ = min{δ1 , δ2 } y |x−x0 | < δ, sea afirman las desigualdades
anteriores y, empleando la desigualdad del triángulo, resulta
ε ε
|f (x) + g(x)| < |f (x)| + |g(x)| < + = ε.
2 2
Por consiguiente, limx→x0 (f + g)(x) = 0, esto es, f + g ∈ Nx0 . Análogamente,
como limx→x0 g(x) = 0, existe δ ′ > 0 tal que si 0 < |x − x0 | < δ ′ , entonces

|g(x)| ⩽ M.

Puesto que limx→x0 f (x) = 0, existe δ ′′ > 0 tal que si 0 < |x − x0 | < δ ′′ ,
entonces
ε
|f (x)| < .
M
Por tanto, si se toma δ = min{δ ′ , δ ′′ } y |x − x0 | < δ, se deduce que
ε
|f (x)g(x)| < M |f (x)|< M = ε.
M
Lo que prueba que f g ∈ Nx0 .
■

Proposición 5. Si limx→xo f (x) existe, entonces f ∈ Bx0 .

5
 Demostración: Supóngase limx→x0 f (x) = L, para algún L ∈ R. Por lo
tanto limx→x0 f (x) − L = 0; luego f − L ∈ Nx0 . En virtud de lo demostrado
anteriormente, f − L ∈ Bx0 y, como toda función constante es acotada, L ∈ Bx0 .
De acuerdo con la propiedad de cerradura bajo adición (f −L)+L = f ∈ Bx0 . ■

Lo más interesante de trabajar con clases de funciones es la sencillez con la

que se demuestran las proposiciones aritméticas sobre lı́mites.

Proposición 6. Suponer que limx→x0 f (x) = A y limx→x0 g(x) = B. Entonces

lim (f + g)(x) = A + B
x→x0

y
lim (f g)(x) = AB.
x→x0

Demostración: Definamos la funciones h y s por h(x) = g(x) − B y

s(x) = f (x) − A. De la hipótesis se sigue que limx→x0 h(x) = limx→x0 s(x) = 0.
Por ende, apelando a la proposición 1 tenemos

lim h(x) + s(x) = lim (f (x) + g(x) − (A + B)) = 0.

x→xo x→x0

Luego, limx→x0 f (x) + g(x) = A + B. Por otro lado,

f (x)g(x) = h(x)s(x) + Ah(x) + Bs(x) + AB.

Como limx→x0 h(x)s(x) = limx→x0 Ah(x) = limx→x0 Bs(x) = 0 ( pues h, s ∈

Nx0 y A, B ∈ Bx0 ), resulta

lim f (x)g(x) = AB.

x→x0

Proposición 7. Si limx→x0 g(x) ̸= 0, entonces 1/g ∈ Bx0 .

Demostración: Supongamos, sin perder generalidad, B > 0. Como g(x)
B
converge a B, para ε = , existe δ B > 0 tal que si |x − x0 | < δ B , entonces
2 2 2

B 3B
< g(x) < .
2 2
B 1
Luego, > , lo que permite concluir que 1/g ∈ Bx0 . ■
2 |g(x)|

Proposición 8. Si limx→x0 f (x) = A y limx→x0 g(x) = B, B ̸= 0, entonces

 
f A
lim (x) = .
x→x0 g B

6
 Demostración: Primero, obsérvese que
f (x) A Bf (x) − Ag(x)
− = ,
g(x) B Bg(x)
1
donde, según la proposición anterior, el denominador está acotado. En
Bg(x)
consecuencia, como Bf (x)−Ag(x) → 0 cuando x → x0 , empleando la proposición
4, se infiere que
f (x) A
lim − = 0.
x→x0 g(x) B
■

Definición 3. Por un infinitesimal entenderemos una función f tal que

f (0) = limx→0 f (x) = 0. Denotamos por I el conjunto de todos los infinitesi-
males. Obsérvese que este conjunto es no vacı́o, pues la función identidad es un
ejemplo trivial de infinitesimal.

Definición 4. Nos ocuparemos de dos subconjuntos C y D de I, integrados

respectivamente por las funciones que tienden más rápido a cero que la función
identidad. Más concretamente, f ∈ C si y sólo si f ∈ I y existe un entorno
f (x)
punteado de 0 sobre el que la expresión está acotada; f ∈ D si y sólo
x
f (x)
si f ∈ I y limx→0 = 0. Alternativamente, decir que un infinitesimal f
x
pertenece a C o D significa que se puede escribir f como f (x) = xg(x), donde
g está en Bx0 o Nx0 , respectivamente.

Como Nx0 ⊂ Bx0 , se sigue que D ⊂ C . Al ser las familias Nx0 y Bx0 cerradas
bajo adición y multiplicación, también los conjuntos C y D son cerrados bajo
estas operaciones.

Proposición 9. Si g ∈ C y f ∈ D, entonces f ◦ g y g ◦ f pertenencen ambas a

D.
Demostración: Primero, probaremos que estas funciones son infinitesi-
males. Como limx→0 f (x) = f (0) = 0 y limx→0 g(x) = g(0) = 0, según la
regla de sustitución limx→0 f (g(x)) = f (g(0)) = f (0) = 0 y, limx→0 g(f (x)) =
g(f (0)) = g(0) = 0. De modo que f ◦g, g◦f están en I. Probaremos, en consigu-
f (g(x)) g(f (x)) f (x)
iente, que limx→0 = lim = 0. Por hipótesis limx→0 = 0.
x x→0 x x
Luego, según la regla de sustitución
f (g(x))
lim = 0.
x→0 g(x)

Empero, de aquı́ se sigue inmediatamente que

f (g(x)) g(x) f (g(x))
lim = lim =0
x→0 g(x) x x→0 x

7
 g(f (x))
pues g ∈ C . Veamos ahora que limx→0 = 0. Empezaremos probando
x
g(f (x))
que existe un entorno de 0 en el que está acotado. Puesto que g ∈ C ,
f (x)
g(x)
existe un entorno de 0, digamos, Vτ = {x | |x| < τ }, en el que está acotado.
x
Como limx→0 f (x) = 0, dado ε = τ , existe δτ tal que si |x| < δτ , entonces

|f (x)| < τ.

g(f (x))
Luego, está acotado en el entorno Vδτ = {x | |x| < δτ }. En vista de
f (x)
que f ∈ D, se sigue que

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

lim = lim = 0.
x→0 x f (x) x→0 x

En consecuencia g ◦ f ∈ D, lo que concluye la demostración. ■

Proposición 10. f es derivable en un punto x0 si y sólo si existe un número

λ ∈ R y una función φ ∈ D tales que

f (x0 + h) − f (x0 ) = λh + φ(h),

y en tal caso λ = f ′ (x0 ).

Demostración: Definamos φ como la función que asigna

φ(h) = f (x0 + h) − f (x0 ) − hλ

donde λ = f ′ (x0 ). Esta función está bien definida, pues f ′ existe en x0 . Como

lim φ(h) = lim f (x0 + h) − λh = 0,

h→0 h→0

φ ∈ I; además

φ(h) f (x0 + h) − f (x0 )

lim = lim − λ = 0.
h→0 h h→0 h
Luego, φ ∈ D. El recı́proco es trivial. ■

Obsérvese dos cosas sobre esta relación. Primero, proporciona una caracter-
ización de la derivación donde no interviene la división. Segundo, afirma que si
f es derivable en x0 , entonces, para valores pequeños de h, f ′ (x0 )h es una buena
aproximación a f (x0 + h) − f (x0 ). En efecto, entre todas las aproximaciones de
la forma λh, con λ constante, f ′ (x0 )h es óptima en el sentido de que es la única
para la que el error φ(h) tiende a cero más deprisa que h.

8
Proposición 11. Si f es derivable en x0 , entonces la función ϕ definida por

ϕ(h) = f (x0 + h) − f (x0 )

pertenece a C .

Demostración: La función ϕ es claramente infinitesimal, y, como f ′ en x0

existe, debe existir un entorno de 0 en el que el cociente

f (x0 + h) − f (x0 ) ϕ(h)

=
h h
está acotado. Se deduce entonces que ϕ ∈ C . ■

Proposición 12. Regla de la cadena. Supongamos que g es derivable en x0 , y

que f es derivable en x0 . Entonces f ◦ g es derivable en x0 , y

(f ◦ g)′ (x0 ) = f ′ (g(x0 ))g ′ (x0 ).

Demostración: Deseamos probar que existe una función φ ∈ D tal que

(f ◦ g)(x0 + h) − (f ◦ g)(x0 ) = f ′ (g(x0 ))g ′ (x0 )h + φ(h).

Podemos escribir

f (g(x0 ) + k) − f (g(x0 )) = f ′ (g(x0 ))k + φf (k)

y
g(x0 + h) − g(x0 ) = g ′ (x0 )h + φg (h),
donde φf y φg están en D. Denotando por k = ϕg (h) = g(x0 + h) − g(x0 ),
resulta

f (g(x0 ) + k)−f (g(x0 )) = f (g(x0 ) + k)−f (g(x0 )) = f ′ (g(x0 ))g ′ (x0 )h + f ′ (g(x0 ))φg (h) + (φf ◦ ϕg )(h).

Puesto que φg ∈ D, f ′ (g(x0 ))φg ∈ D; por otro lado ϕg ∈ C según lo probado

anteriormente, por ende también φf ◦ ϕg ∈ D. Si hacemos

φ(h) = f ′ (g(x0 ))φg (h) + (φf ◦ ϕg )(h)

se tiene, por ser cerrado D bajo adición, que φ ∈ D y la demostración queda

completa. ■

9
 BIBLIOGRAFÍA

Kitchen, J. W., Jr. (1992). Cálculo. McGraw-Hill.

10

View publication stats