Introducción al Cálculo Infinitesimal.

I.T.I. de SISTEMAS.

Funciones reales de una variable real.-

4.- Límites y continuidad.

Concepto de límite .-

Sea y = f(x) una función real de veriable real definida en cierto entorno del
punto x = a.

Por lim f( x ) = L se entiende que para cada ε >0 existe algún δε>0 tal que si
x→a
0< x − a < δ se cumple que f( x ) − L < ε.

Límites laterales.

Por la izquierda:

lim f( x ) = L se entiende que para cada ε >0 existe algún δε>0 tal que si
x → a-
0 < a-x < δ se cumple que f( x ) − L < ε.

lim f( x ) indicaremos el valor al que tiende f(x) al aproximarnos con

x → a-
valores menores que a, es decir, situados a su izquierda .

Por la derecha.
Page 1
 lim f( x ) = L se entiende que para cada ε >0 existe algún δε>0 tal
x → a+
que si 0 < x -a < δ se cumple que f( x ) − L < ε.

lim f( x ) dice que el valor al que tiende f(x) al aproximarnos con valores
x → a+
mayores que a, es decir, situados a su derecha .

Sólo si los límites laterales coinciden, podremos afirmar que existe el límite de
f en x y que vale a:

lim f = lim f = L ------- > L = lim f

x → a- x → a+ x→a

Si el límite de una función f existe en un punto entonces dicho límite es único.

>

La mayoría de los límites se reducen al simple cálculo del valor numérico de la

función en el punto, como el ejemplo que sigue.
> restart:
with(plots):
f:=x->x^3-2*x:
Limit(f(x),x=2)=limit(f(x),x=2);
display(plot(f(x),x=1..3,y=0..6,color=blue),plot({[
Page 2
 [2,0],[2,f(2)]],[[0,4],[2,f(2)]]},x=1..3,linestyle=
3,color=green,thickness=2));
lim x3 − 2 x = 4
x→2

Otras veces se hace necesaria una sencilla simplificación.

> restart:
f:=x->(x^2-4)/(x-2):
Limit(f(x),x=2)=Limit(x+2,x=2);
Limit(x+2,x=2)=limit(f(x),x=2);

x2 − 4
lim = lim x + 2
x→2 x−2 x→2

lim x + 2 = 4
x→2
Pero a veces el límite no existe.
> restart:
with(plots):
f:=x->sin(Pi/x):
Limit(f(x),x=0)=limit(f(x),x=0);
Page 3
 plot(f(x),x=-1..1,y=-1..1,color=blue);
π
lim sin  = -1 .. 1
x→0 x

En este caso, el límite oscila entre -1 y 1. No tiene límite en dicho punto pero
si en otros, por ejemplo:
> restart:
with(plots):
f:=x->sin(Pi/x):
Limit(f(x),x=2)=limit(f(x),x=2);
display(plot(f(x),x=0..3,y=-1..1.2,color=blue),plot
({[[2,0],[2,f(2)]],[[0,1],[2,f(2)]]},x=0..3,linesty
le=3,color=green,thickness=2));

π
lim sin  = 1
x→2 x

Page 4
> ;
Límites infinitos.

Por lim f = ∞ se entiende que para cada N > 0 por grande que sea, existe δ
x→a
>0 tal que si 0 < x − a < δ , cumple que f > N.

Límites en el infinito.

Por lim f = L se entiende que para cada ε> 0 , existe N >0 , suficientemente
x→∞
grande, tal que si x > N se cumple que 0 < f − L < ε.

Indeterminaciones.

0 ∞ 0
Las indeterminaciones son: ∞- ∞ , +- ∞ 0 ; ; ; 00 ; ∞ ;
0 ∞
∞
1 .
Page 5
> Limit(1/(x-1)^2,x=1)=limit(1/(x-1)^2,x=1);
Limit(1/(x-1)^2,x=infinity)=limit(1/(x-1)^2,x=infin
ity);

1
lim =∞
x→1 ( x − 1 )2
1
lim =0
x→∞ ( x − 1 )2
> ;
Propiedades de los límites.

Sean A = lim f( x ) y B = lim g( x ) .

x→p x→p

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

x→p x→p x→p

lim f − g = lim f( x ) - lim g( x ) = A-B

x→p x→p x→p

lim f g = ( lim f( x ) ) ( lim g( x ) ) = A B

x→p x→p x→p

lim f( x )
f x→p A
lim = =
x→p g lim g( x ) B
x→p

lim f( x )g( x ) = AB si A >0.

x→p

( lim g( x ) )
x→p
lim Kg( x ) = K = KB
x→p

Page 6
lim ln( f( x ) ) =ln( lim f( x ) ) = ln( A )
x→p x→p

En todos hay que excluir los casos en que se produzcan indeterminaciones, y en

el cociente, tener cuidado cuando lim g( x )= 0 .
x→p

Continuidad.

Sea f(x) una función real de variable real.

f(x) se dice continua en un punto a de su dominio, si para cada ε >0 existe

algún δε>0 tal que si 0< x − a < δ se cumple que f( x ) − f( a ) < ε.

Una función f es continua en un punto a si se verifican las siguientes

condiciones:

1) f(x) está definida en a.

2) Existe lim f( x ).
x→a
3) lim f( x ) = f( a ).
x→a

Ejemplo.
1
La función f( x ) = es continua en el punto x = 2 ya que:
x−1
• f(2)=1, está definida
1 1 1
• lim = lim = 1 entonces lim =1
x → 2+ x−1 x → 2- x−1 x→2 x−1
1
lim = f( 2 )
x→2 x−1

Page 7
f(x) se dice continua en un intervalo I si es continua en todos y cada uno de los
puntos del intervalo.

Toda función compuesta de funciones continuas es otra función continua, por

eso es tan importante conocer debidamente las funciones elementales puesto
que prácticamente todas las funciones que estudiaremos serán una composición
de funciones elementales.

Tipos de discontinuidad.
Si existen los límites laterales, que denotamos por f( a+ ) y f( a- ), pero
f( a+ ) ≠ f( a- ), entonces f presenta en a una discontinuidad de primera especie o
de salto y la diferencia f( a+ ) − f( a- ) es la magnitud del salto.

Si no existe o es infinito alguno de los límites laterales entonces la

discontinuidad se llama de segunda especie.

De las condiciones que debe cumplir una función para ser continua, la más
exigente es que exista el límite en a. Por eso, si la función no es continua en a,
porque no está definido el valor f( a ), pero tiene límite finito lim f( x ) = l, se
x→a
puede redefinir la función en ese punto tomando f( a ) = l. En este caso, se dice
que f(x) tiene en a una discontinuidad evitable.

 1
 − 
 x
Ejemplo 1. Estudiar la continuidad de f(x) = e .

Es una función compuesta de la exponencial ex , que es continua en todo R y

1
de la racional que al anularse el denominador para x = 0 nos obliga a
x
estudiar la continuidad en dicho punto.

 1  1   1   1 
 −   −   −   − 
 x  0−ε  −ε   −0 
lim e = lim e = lim e = e = e∞= + ∞.
x → 0- ε→0 ε→0

Page 8
  1  1   1
 −   −   − 
 x  0+ε  ε 1 1
lim e = lim e = lim e = e( −∞ )= = = 0.
x → 0+ ε→0 ε→0 e∞ ∞

Luego podemos concluir : los límites laterales no coinciden y, por lo tanto, no

hay límite de f para x = 0 y,consecuentemente, la función f no puede ser
continua en dicho punto aunque si lo es para cualquier otro valor x Real.

Veamos con Maple.

> restart:
Limit(exp(-1/x),x=0,left)=limit(exp(-1/x),x=0,left)
:
Limite_izquierda:=%;
Limit(exp(-1/x),x=0,right)=limit(exp(-1/x),x=0,righ
t):
Limite_derecha:=%;
plot(exp(-1/x),x=-1..1,y=0..4);
 1
 − 
 x
Limite_izquierda := lim e =∞
x → 0-
 1
 − 
 x
Limite_derecha := lim e =0
x → 0+

Page 9
 1+ x
Ejemplo 2. Estudiar la continuidad de f(x) =
2−x
> restart:
f:=x->(1+abs(x))/abs(2-x);
1+ x
f := x →
2−x
Descomponiendo en sus ramas según vamos quitando los valores absolutos:
> restart:
f:=x->PIECEWISE([(1-x)/(2-x) ,x
<0],[(1+x)/(2-x),0<x and x<=2],[(1+x)/(x-2),x>2]);

Page 10
  1−x
 x<0
 2−x

 1+x
f := x →  0 < x and x ≤ 2
 2−x

 1+x
 2<x
 x−2
Ahora observamos que las funciones ramas son todas continuas en sus
dominios y tan sólo tendremos que estudiar los puntos de conexión de las
ramas.
> Limit((1-x)/(2-x),x=0,left)=limit((1-x)/(2-x),x=0,l
eft):
Limite_izquierda_decero:=%;
Limit((1+x)/(2-x),x=0,right)=limit((1+x)/(2-x),x=0,
right):
Limite_derecha_decero:=%;
Limit((1+x)/(2-x),x=2,left)=limit((1+x)/(2-x),x=2,l
eft):
Limite_izquieda_dedos:=%;
Limit((1+x)/(x-2),x=2,left)=limit((1+x)/(x-2),x=2,r
ight):
Limite_derecha_dedos:=%;

1−x 1
Limite_izquierda_decero := lim =
x → 0- 2−x 2
1+x 1
Limite_derecha_decero := lim =
x → 0+ 2−x 2
1+x
Limite_izquieda_dedos := lim =∞
x → 2- 2−x
1+x
Limite_derecha_dedos := lim =∞
x → 2- x−2
Luego a la vista de los resultados, podemos decir que es continua en x =0 pero
en x = 2 es discontinua; hay una asíntota vertical de modo que la curva entra en
ella por + infinito y sale por + infinito.
PageVeamos
11 el gráfico:
> restart:with(plots):
f1:=plot((1-x)/(2-x),x=-3..0,color =
red,scaling=constrained):
f2:=plot((1+x)/(2-x),x=0..2,y=0..6,color =
blue,scaling=constrained):
f3:=plot((1+x)/(x-2),x=2 ..6,y=0..6,color =
green,scaling=constrained):
display(f1,f2,f3);

Ejercicios con Maple.

Funciones con discontinuidades.

> plot(tan(x),x=-2*Pi..2*Pi,y=-4..4,discont=true,titl
e=`Representación de Tan(x)`);

Page 12
> plot(x^2/(x^2-1),x=-2..2,y=-4..4,discont=true,title
=`Representación de y =x^2/(x^2-1)`);

> plot(x/sin(x),x=-20..20,y=-20..20,discont=true,titl
Page 13
 e=`Representación de y =x/sin(x)`);

> ;
Continuidad en intervalos.

Una función f se dice continua en un intervalo abierto (a,b) , si es continua en

todo punto interior del intervalo.

Una función f se dice continua en un intervalo cerrado [a,b] , si es continua en

todo punto interior del intervalo y además es continua por la derecha de a y por
la izquieda de b.

La función f es continua por la derecha en un punto a si: lim f( x ) = f( a )

x → a+

La función f es continua por la izquierda en a si: lim f( x ) = f( a )

x → a-
Una función es continua en un punto a si es continua por la derecha y por la
izquierda de dicho punto. Si no se verifica alguna de las condiciones la función
Page 14
no es continua.

Continuidad de algunas funciones elementales.

Toda función polinómica es continua en su dominio (todo el conjunto R).

Una función racional es continua en todos los puntos de su dominio. Es decir,

es continua en todo R salvo en los puntos que anulan el denominador.

1
 
n
La función f( x ) = x está definida en todo R si n es impar y en [0, ∞ ) si n es
par. En cualquier caso esta función es continua en todos los puntos de su
dominio.
Conviene tener en cuenta que, para n par, en x = 0 sólo se puede hablar de
continuidad a la derecha.

Las funciones logarítmicas, y en particular el logaritmo neperiano, ln( x ), son

continuas en su dominio, es decir en todo x>0.

Para cualquier número positivo a, la función ax es continua en todo R.

Las funciones sin( x ) y cos( x ) son continuas en todo R. La función tangente,

π
tan( x ) es continua salvo en los puntos de la forma k con k entero impar.
2

Teorema de Bolzano.

Si la función f es continua en [ a, b ] y se verifica que signo de f( a ) es distinto

del signo de f( b ), entonces existe al menos un punto c en (a, b) tal que f( c ) = 0.

Teorema de Weiertrass.

Si la función f es continua en el intervalo [ a, b ], entonces f(x) alcanza el

máximo y el mínimo en [ a, b ]. Es decir, existen dos puntos del intervalo, x1 y
x2, tales que f( x1 ) ≤ f( x ) ≤ f( x2 ) ∀x de [ a, b ].
Page 15
Este teorema asegura que una función continua en un intervalo cerrado está
acotada y además alcanza un valor máximo absoluto y un mínimo absoluto.

Propiedad de Darboux.

Si f es una función continua en [ a, b ] y k es un número comprendido entre f( a )

y f( b ), entonces existe al menos un punto c en [ a, b ] tal que f( c ) = k

Ejercicio.

Demostrar que la ecuación sen( x ) = x − 1 tiene al menos una solución real.

Sea f( x ) = sen( x ) − x + 1, se trata de probar que existe algún número real x tal
que f( x ) = 0.

Como la función es continua, f( 0 ) = 1 y f( 3 ) = sen( 3 ) − 2 < 0, por el teorema

de Bolzano, existe al menos una solución real de la ecuación f( x ) = 0.
> plot(sin(x)-(x-1),x=-infinity..infinity);

Page 16
> ;

Algunas cuestiones útiles para calcular límites.

En primer lugar la mayoría de los límites se resuelven mediante un mero valor

numérico: lim x2 = 25.
x→5

Infinitos.

Cuando x --> ∞, es importante conocer la escala de infinitos que se obtiene por

comparación por paso al límite:

f( x )
Si lim = ∞ , el infinito del numerador es infinitamente mayor que el
x→∞ g( x )
del denominador.

Page 17
 f( x )
Si lim = 0 ; el infinito del numerador es infinitamente menor que el
x→∞g( x )
del denominador.

f( x )
Si lim ≠ 0 , ∞ ; ambos son del mismo orden.
x→∞ g( x )

Apoyandonos en lo anterior:

ln(x) << xn << ex << xx ;

xx ln( x )
Esto supone que por ejemplo: lim = ∞ o que lim = 0.
x→∞ xn x→∞ ex

como se ve en el gráfico comparativo:

> restart:with(plots):
f1:=plot(ln(x),x=3 .. 9,color = red,title="ln(x)
",scaling=constrained):
f2:=plot(x^6,x=3 .. 9,tickmarks=[0,0],title="
x^n",color = blue,scaling=constrained):
f3:=plot(exp(x),x=3 .. 9,tickmarks=[0,0],title="
e^x",color = green,scaling=constrained):
f4:=plot(x^x,x=3 ..
9,tickmarks=[0,0],title="x^x",color =
maroon,scaling=constrained):
display(array([[f1,f2],[f3,f4]]));

Page 18
Ejercicios.

Calcular los límites siguientes:

ln( x3 − 3 x2 )
1) lim
x→∞ ln( x2 − 1 )

x+ x2 + 3
2) lim
x→∞ x−1 − 1 + x4

Page 19
 2
− 1)
e( x
3) lim
x→∞ x 3 + x2 − 2 x + 7

Infinitésimos.

f(x) es un infinitésimo para x = a , si lim f( x )= 0 .

x→a

Igual que comparamos los infinitos por paso al límite podemos hacer para los
infinitésimos. Supongamos que para x = a tenemos f(x) y g(x) ambos
f( x )
infinitésimos, hago: lim =k
x → a g( x )

Si k =0 el infinitésimo numerador es infinitamente menor que el infinitésimo

denominador.

Si k = ∞ el infinitésimo numerador es infinitamente mayor que el infinitésimo

denominador.

Si k ≠ 0 e ∞ el infinitésimo numerador y el infinitésimo denominador son del

mismo orden.

En esta última posibilidad es especialmente importante cuando k = 1 puesto que

los infinitésimos comparados son equivalentes y podremos canjear uno por
otro.

Tabla de infinitésimos equivalentes:

Si f(x) = 0 es un infinitésimo para x = a:

sin(f(x) ) equivale a f( x)

sinh(f(x) ) equivale a f(x)

tan(f(x) ) equivale a f(x)

Page 20
arcsin(f(x) ) equivale a f(x)

arctan(f(x) ) equivale a f(x)

f( x )2
1-cos(f(x)) equivale a
2

af( x ) − 1 equivale a f( x ) ln( a )

ef( x )-1 equivale a f(x)

[ 1 + f( x ) ]a-1 equivale a a f( x )

ln( 1 + f( x ) )equivale a f(x)

Los infinitésimos equivalentes no se deben aplicar en sumas o restas pueden

llevarnos a error. Cuando se estudien los desarrollos de Taylor, entenderemos
bien esto, pero de momento sólo los sustituiremos en productos y cocientes.

Ejemplos.

Calcular los límites usando infinitésimos equivalentes.

( 1 − cos( x ) ) ( 3x − 1 ) 0
1) lim =
x→0 ln( 1 + x3 ) 0

Tenemos que tanto el numerador, sus dos factores como el denominador, son
infinitésimos:

x2
1 − cos( x ) equiv ; 3x − 1 equiv x ln( 3 ) ; ln( 1 + x3 ) equiv x3 .
2

Page 21
 ( 1 − cos( x ) ) ( 3x − 1 ) x2 x ln( 3 ) ln( 3 )
Entonces: lim = lim = .
x→0 ln( 1 + x3 ) x→0 2 x3 2

> Limit(((1-cos(x))*(3^x-1))/(ln(1+x^3)),x=0)=limit((
(1-cos(x))*(3^x-1))/(ln(1+x^3)),x=0);
( 1 − cos( x ) ) ( 3x − 1 ) 1
lim = ln( 3 )
x→0 ln( 1 + x3 ) 2
esin( x ) − etan( x )
2) lim 1
x→0  
4
1 − ( 1 + x3 )
> Limit((exp(sin(x))-exp(tan(x)))/(1-(1+x^3)^(1/4)),x
=0)=limit((exp(sin(x))-exp(tan(x)))/(1-(1+x^3)^(1/4
)),x=0);
esin( x ) − etan( x )
lim (1 / 4)
=2
x→0 3
1 − (1 + x )
>
esin( x ) − etan( x ) 0
lim 1
=
x→0   0
4
3
1 − (1 + x )

1
 
4
esin( x ) equiv sin(x) ; etan( x ) equiv tan(x) ; 1 − ( 1 + x3 ) =-[
1
 
3
4 x3
(1 + x ) -1 ] equiv a -
4

 sin( x ) − tan( x )   tan( x ) − sin( x ) 

y con ello: Lim =4  lim 3
 = 4  lim
  3
 en el

x → 0 x  x → 0 x 
 −   
 4   4 
numerador no podemos aplicar infinitésimos por estar sumando pero

Page 22
 sin( x ) sin( x ) ( cos( x ) − 1 )
sin(x)-tan(x) = sin(x)- == = tan( x ) ( cos( x ) − 1 )
cos( x ) cos( x )
x x2 x3 x3
= ahora si = = . con lo que el límite vale: Lim = = 2.
2 2 2 x3
4

Indeterminaciones 1∞.

1
 
 1 n 1 x
Sabemos que lim  1 +  = e
 o haciendo x = lim ( 1 + x ) = e.
n→∞  n n x→0

En general se tendrá f(x) y g(x) tales que lim f( x ) = 1 y lim g( x ) = ∞ , y

x→a x→a
g( x ) ∞
entonces f( x ) --> 1 si x--> a
La indeterminación de este tipo se resuelve del modo siguiente:

 1 g   1  1  ( g ( f − 1 ) )
f = ( f + 1 − 1 ) = ( 1 + ( f − 1 ) ) =  1 +
g g g  = 1 +
 
 f − 1  
 
 1   1  
    
 f−1   f−1  
esto supone que:

( lim g (f − 1))
 1  1  ( g ( f − 1 ) ) x→a
lim f = lim   1 +
g  f − 1  
  = lim e (g (f − 1))
= e ,
x→a x→a  1   x→a
  
 f−1  
luego:

( lim g( x ) ( f( x ) − 1 ) )
g( x ) x→a
lim f( x ) =e .
x→a

Ejemplo:
Page 23
   x3 + 2   x
lim  1 + ln 3   = 1∞.

x→∞   x + 1 

  3 
  x + 2    1 
 lim x ln   lim x ln 1 + 
  3     
x → ∞  x + 1  x → ∞ 
3
x + 1   1 
L=e = e , como ln 1 + 3 
 x +1
1
equivale a ,
x3 + 1

 x 
 lim 
 3 
x → ∞ x + 1 
L=e = e0 = 1.

0
Indeterminaciones 00 , ∞ .

Se resuelven tomando neperianos.

Ejemplos.

0
1. lim cotan( x )tan( x ) = ∞ .
x→0

Hacemos: cotan( x )tan( x ) = A y tomamos neperianos, ln(A) =

 1 
ln 
 1   tan( x ) 
tan( x ) ln( cotan( x ) ) =tan( x ) ln = .
 tan( x )  1
tan( x )

Page 24
   1 
 ln  
  tan( x )  
 lim
 
x → ∞ 1 
 
 tan( x ) 
entonces, lim cotan( x )tan( x ) = e = por comparación de infinitos, =
x→0
e0 = 1.

 1 
 
 ln( 2 x ) 
2. lim x =00.
x→0

Como hemos visto:

 ln( x )   ln( x )   ln( x ) 

 1   lim   lim   lim 
   ln( 2 x )   ln( 2 ) + ln( x )   ln( x ) 
 ln( 2 x )  x → 0  x → 0  x → 0 
lim x = e = e = e = e.
x→0

FIN

Page 25