1.

Limite de Funciones
1 + x2 si x > 0

1.1. Introduccin. Consideremos la funcin f (x) =
1 x2 si x < 0
Se observa que la funcin no est definida en x0 = 0. Sin embargo, se observa que cuando
se consideran valores de x no nulos pero cercanos a cero, los valores de f (x) se aproximan
a = 1. Nos gustara decir que cuando x tiende a x0 = 0 los valores de f (x) tienden a = 1.
Para formalizar el concepto de aproximarse a se hace uso de sucesiones. Sin embargo
como en el caso general x0 no pertenece al dominio de la funcin considerada, no siem-
pre es posible encontrar sucesiones que converjan a x0 con valores en el dominio de la
funcin.Para encontrar estas sucesiones necesitamos la siguiente definicin.
Definicin (Punto Adherente)
Sea A R un conjunto cualquiera. x0 R se llama punto adherente de A, o bien, que x0
pertenece a la adherencia de A s y slo s existe alguna sucesin (xn ) con valores en A,
convergente a x0 .
Luego, la condicin necesaria y suficiente para encontrar sucesiones que converjan a x0 ,
es que el punto x0 se encuentre en la adherencia del dominio de la funcin considerada.
Definicin
Sea f : A R R y sea x0 Adh(A). Diremos que f tiende a R cuando x tiende a
x0 ( f (x) si x x0), o bin que es el lmite de f (x) cuando x x0 ( = lm f (x))
xx0
 2
ssi dada cualquier sucesin (xn ) con valores en A y convergente a x0 se cumple que la
sucesin ( f (xn )) es convergente a .
Observaciones

1. Si x0 6 Adh(A) entonces no existen sucesiones (xn ) convergentes a x0 con valores

en A, luego no puede estudiarse el lmite de la funcin cuando x x0 . En conse-
cuencia en este caso se dice que tal lmite no existe.
2. Si x0 Adh(A) entonces est definido el concepto de lmite de f (x) cuando x x0 ,
sin embargo, este lmite puede o no existir.

Ejemplos

x2 1
1. lm = 2.
x1 x 1

2. lm x no existe, ya que1 6 Adh(R+ {0}).
x1
1
3. lm no existe ya que xn = n1 0 pero 1
xn = n no converge.
x0 x

Proposicin
Si una funcin f tiene lmite cuando x x0 entonces dicho lmite es nico.
Demostracin
La demostracin se har por contradiccin. Sean 1 y 2 lmites de f (x) cuando x x0 .
 3
Sea entonces (xn ) alguna sucesin con valores en el dominio de la funcin f y convergente
a x0 .
Entonces por definicin de lmite se tiene que la sucesin ( f (xn )) es convergente a 1 y a
2 simultaneamente. Sin embargo en virtud de la unicidad del lmite de sucesiones se tiene
que 1 = 2 .
Observacin
Si x0 Dom( f ) y lm f (x) existe entonces lm f (x) = f (x0 ) ya que basta considerar la
xx0 xx0
sucesin xn = x0 con lo cual f (xn ) = f (x0 ) y luego = f (x0 )
**este teo no deberia ir**Teorema
Si f : A R R y x0 A entonces:
f es continua en x0 lm f (x) = f (x0)
xx0
Demostracin
Por un lado:
f continua en x0 Dada cualquier sucesin (xn) en A convergente a x0 se tiene que
( f (xn)) converge a f (x0)
y por otro
lm f (x) = = f (x0) Dada cualquier sucesin (xn) en A convergente a x0 se tiene
xx0
que ( f (xn )) converge a = f (x0 )
con lo cual se ve la equivalencia.
 4
Teorema (lgebra de lmites)
Sean f y g dos funciones y x0 R tales que lm f (x) = 1 y lm g(x) = 2 . Entonces:
xx0 xx0

1. si x0 Adh(Dom( f ) Dom(g)) se tiene que:

lm ( f + g)(x) = 1 + 2
xx0
lm ( f g)(x) = 1 2
xx0
lm ( f g)(x) = 12
xx0
2. si x0 Adh(Dom( f /g)) y 2 6= 0 entonces:
lm ( f /g)(x) = 1/2
xx0
3. lm ( f )(x) = 1 R
xx0

Teorema (Sandwich de funciones)

Sean f ,g y h tres funciones y sea x0 Adh(Dom(g)).
Si ( > 0) tal que (x Dom(g)V(x0 )) f (x) g(x) h(x) y adems lm f (x) = lm h(x)
xx0 xx0
entonces lm g(x) =
xx0
Este ltimo teorema nos ser muy til para el clculo de lmites.
Ejemplo
sin x
f (x) = lm
x0 x
 5
Solucin
El dominio de f (x) es Dom( f ) = R \ {0}. Como 0 Adh(Dom( f )), pero f (0) no existe,
sin x
se puede calcular a travs del siguiente lmite: lm .
x0 x
Para esto sea (xn ) 0, con (xn ) R \ {0}. Por una desigualdad vista en el captulo de
trigonometra para |xn | < 2 , tendremos los siguiente

sin |xn|
sin |xn| |xn| ,
cos |xn|
invirtiendo la ltima desigualdad y luego multiplicando por sin |xn | obtendremos

sin |xn|
cos |xn| 1
|xn|
como cos |xn | 1. Y obviamente 1 tiende a 1. Por el teorema del Sandwich tendremos
sin |xn| sin x
que lm = 1, con lo cual lm = 1.
x0 |xn | x0 x
Lo ltimo motiva una reparacin de la funcin f (x) en 0 de la siguiente manera
sin x

x si x 6= 0
f (x) = .
1 si x = 0
Teorema (Lmite de la composicin de funciones o cambio de variable)
Sean f y g dos funciones y x0 Adh(Dom(go f )).
 6
Si lm f (x) = y lm g(x) = L entonces lm (go f )(x) = L
xx0 x xx0
Demostracin
Debemos demostrar que si (xn) x0 , entonces (go f )(xn) L.
En efecto si (xn) x0 con (xn) Dom(go f ),entonces si llamamos (yn ) = f (xn ), tendremos
que (yn) pues sabemos que lm f (x) = .
xx0
Con esto tendremos: (go f )(xn) = g( f (xn )) = g(yn)) L. Pues sabamos que lm g(x) = L.
x
Con lo cual queda terminada la demostracin.
Observacin
El resultado del teorema anterior se puede escribir como:
lm (go f )(x) = lm g(y) =
xx0 y lm f (x) L
xx0
Ejemplo
1 cos x
lm
x0 x2
Solucin
Por propiedades trigonomtricas tenemos cos x = cos2 ( 2x ) sin2 ( 2x ) = 1 2 sin2 ( 2x ),
con lo cual tendremos
2
1 cos x 1 sin2( 2x ) 1 sin( 2x )

=
= x ,
x2 2 x 2 2 2
2
 7
luego el lmite que estbamos calculando quedara

sin( 2x ) 2
  
1 cos x 1
lm = lm x .
x0 x2 2 x0 2
sin y x
Ahora definamos g(y) = y y f (x) = 2x . Con esto lm f (x) = lm = 0. Adems el otro
x0 x0 2
sin y
lmite ya lo habamos calculado: lm g(y) = lm = 1.
x x0 y
Luego con el teorema ya visto

sin( 2x )
 
lm x = lm(go f )(x) = L = lm g(y) = 1.
x0 x0 y0
2

Con esto el resultado final del ejercicio ser:

1 cos x 1
lm = .
x0 x2 2
1.2. Lmites importantes.
1.2.1. Funciones Contnuas. Si f es continua en x0 entonces lm f (x) = f (x0 ). Luego:
xx0

1. lm c = c
xx0
 8
2. lm x = x0
xx0
3. lm (an xn + + a1 x + a0 ) = an x0n + + a1 x0 + a0
xx0
an x n + + a1 x + a0 anx0n + + a1x0 + a0
4. lm =
xx0 bm xm + + b1 x + b0 bmx0m + + b1x0 + b0

5. lm x = x0
xx0
6. lm sin x = sin x0
xx0
7. lm cos x = cos x0
xx0
8. lm arcsin x = arcsin x0
xx0
9. lm ex = ex0
xx0
10. lm ln x = ln x0
xx0

1.2.2. Lmites Trigonomtricos.

sin x
1. lm =1
x0 x
1 cos x 1
2. lm =
x0 x2 2
1.2.3. Lmites logartmicos y exponenciales.
 9
ln x
1. lm =1
x0 x 1
ex 1
2. lm =1
x0 x
Ejercicios propuestos

sin ax
lm =a
x0 x
sin ax a
lm =
x0 sin bx b
1 cos x
lm =0
x0 sin x
eax ebx
lm = ab
x0 x
1 2 cos x
lm = 3
x 3 sin(x 3 )

x 2
lm(1 x) tan( )=
x1 2
Solucin
ex 1
lm .
x0 x
     10
ean ea a ean 1
Sabemos que si an a, entonces e , para a = 0 tendremos
an a an 1,luego
a 
e n 1 ex 1
para todo (an ) 0 con an 6= 0, obtendremos an 1, lo cual implica que lm .
x0 x
Ejemplo (Motivacin)
sin x

x six I
ex 1
Calcular lm f (x) donde f (x) = x six Q \ {0}
x0
six = 0

Definicin (Lmite de una funcin por un subconjunto de su dominio)

Sea f : A R R y sea x0 Adh(A). Sea B A tal que x0 Adh(B). Diremos que R
es el lmite de la funcin f cuando x x0 por el conjunto B ssi dada cualquier sucesin
(xn) convergente a x0 y con valores en B, se tiene que la sucesin ( f (xn)) converge a .
Notacin
lm f (x)
= xx
0
xB
Ejemplos

1. lm cos x = 1
x0
xI
lm cos x = 1
x0
xQ
  11
cos x six Q
2. si f (x) = entonces lm f (x) = 1 y lm f (x) = 0
sin x six I x0 x0
xQ xI

Proposicin
Si f : A R R es tal que lm f (x) = entonces para cualquier subconjunto B A tal
xx0
que x0 Adh(B) se tiene que lm f (x) =
xx0
xB
Observacin
Si B,C A y x0 Adh(B) y x0 Adh(C) entoces:

1. lm f (x) no existe lm f (x) no existe.

xx0 xx0
xB
2. lm f (x) = 1 6= 2 = lm f (x) lm f (x) no existe.
xx0 xx0 xx0
xB xC

Teorema
Sea f : A R R y x0 Adh(A). Sean B,C A tales que x0 Adh(B) y x0 Adh(C)
entonces:
lm f (x) = xx
xx0
lm f (x) = xx
lm f (x) =
0 0
xB xC xBC
Definicin (Lmites laterales)
Sea f : A R R y x0 Adh(A). Sean adems:
A1 = {x A/x > x0} = A (x0, +)
 12
A2 = {x A/x < x0} = A (, x0)
i) Si x0 Adh(A1 ) entonces, si existe el lm f (x) , se le llama lmite lateral por la
xx0
xA1
derecha de la funcin f en x0 .
ii) Si x0 Adh(A2 ) entonces, de existir, al lm f (x) se le llama lmite lateral por la iz-
xx0
xA2
quierda de la funcin f en x0 .

Notacin
lm f (x) se anota lm f (x) o bien lm f (x)
xx0 xx0
x>x0 xx0+
xA1
lm f (x) o bien lm f (x)
lm f (x) se anota xx
xx0 0
x<x0 xx0
xA2
Definicin (Lmites laterales)

Sea f : A R R y x0 Adh(A). L1 ser el lmite lateral por la derecha de la

funcin f en x0 y se anotar L1 = lm f (x), s y solamente s, para toda sucesin
xx0+
(xn) x0 con (xn) > x0, se tiene f (xn) L1.
Sea f : A R R y x0 Adh(A). L2 ser el lmite lateral por la izquierda de la
funcin f en x0 y se anotar L2 = lm f (x), s y solamente s, para toda sucesin
xx0
(xn) x0 con (xn) < x0, se tiene f (xn) L2.
 13
Observacin
Claramente si existe el lmite lm f (x) = L , entonces existen los lmites laterales L1 y L2 y
xx0
estos coincides con L. Es decir L1 = L2 = L.
Ejemplo
f (x) = |x|
x , x 6= 0.
xn
Sea (xn ) 0 con (xn ) > 0,esto implicar que f (xn ) = xn = 1 1.Por lo tanto
lm f (x) = 1.
x0+
xn
Sea (xn ) 0 con (xn ) < 0,esto implicar que f (xn ) = xn = 1 1.Por lo tanto
lm f (x) = 1.
x0

Luego no existe el lm f (x), pues si existiese debera ser igual a 1 y a 1 a la vez, lo cual
x0
no puede ser.
Proposicin
Sea f : A R Ry x0 Adh(A). Si existen los lmites laterales de f en x0 y coinciden, es
decir lm f (x) = lm f (x) = L, entonces existe lm f (x) y vale L.
xx0+ xx0 xx0

Teorema (Caracterizacin de lmite sin uso de sucesiones)

Sea f : A R R y x0 Adh(A) entoces
lm f (x) = ( > 0)( > 0)(x A)[|x x0| | f (x) | ]
xx0
 14
Observacin
lm f (x) = ( > 0)( > 0)(x A)[0 x x0 | f (x) | ]
xx0+

lm f (x) = ( > 0)( > 0)(x A)[0 x0 x | f (x) | ]

xx0

1.3. LMITES INFINITOS. Recordemos que (xn)diverge a + y se anota (xn)

+ si (M R+) (n0 N) tal que n n0 xn M .
Anlogamente tendremos que (xn ) si (N R ) (n0 N) tal que n n0 xn
N.
Definicin
Se define L = lm f (x) si se cumple que para toda sucesin (xn ) +, la sucesin
x+
f (xn) L.
Anlogamente se define L = lm f (x) si se cumple que para toda sucesin (xn ) ,
x
la sucesin f (xn ) L.
Ejemplo
1
lm =0
x+ x
En efecto , sea (xn) +, esto implica por *el teorema de sucesiones recprocas, se tiene
 
1 1
xn 0. Por lo tanto f (xn) 0, entonces , lm =0
x+ x
 15
Definicin (lmites infinitos sin uso de sucesiones)
Sea f : A R R donde A es un subconjunto no acotado de R.
i) Si A no tiene supremo entonces diremos que lm f (x) = L ssi ( > 0)(a
x+
R )(x A)[x a | f (x) L| ]
+

ii) Si A no tiene nfimo entonces diremos que lm f (x) = L ssi ( > 0)(b R)(x
x
A)[x b | f (x) L| ]
Definicin (Asntotas horizontales)
1. Si lm f (x) = 1 entonces la recta y = 1 se llama asntota horizontal de f .
x+
2. Si lm f (x) = 2 entonces la recta y = 2 es otra asntota horizontal de f .
x
Ejemplo
0 sin < m
a n x n + + a 1 x + a 0 an
lm = bn sin = m
x bm xm + + b1 x + b0
6 sin > m

Definicin (Funciones que crecen o decrecen sin cota)

Sea f : A R R y x0 Adh(A) entoces
1. lm f (x) = + (M R+ )( > 0)(x A)[|x x0| f (x) M]
xx0
2. lm f (x) = (N R )( > 0)(x A)[|x x0| f (x) N]
xx0
 16
Observacin
En forma anloga se definen las expresiones.
lm f (x) = +, lm f (x) = , lm f (x) = +, lm f (x) =
xx0+ xx0+ xx0 xx0
lm f (x) = +, xx
xx0
lm f (x) = , xx
lm f (x) = +, xx
lm f (x) =
0 0 0
x>x0 x>x0 x<x0 x<x0
lm f (x) = +, lm f (x) = , lm f (x) = +, lm f (x) =
x+ x+ x x
Ejemplo
lm ex = +
x+
En efecto sea (xn) +. Hay que demostrar que exn +.Si (xn ) + (M R+ ) (n
n0 xn M.Tambin por una desigualdad muy conocida tenemos:

exn 1 + xn 1 + M,

definiendo M = 1 + M, se cumplir que (M R+ ) (n0 N) tal que si n n0 exn

M , lo cual implica que exn +, o sea, lm ex = +.
x+
Definicin (Asntotas verticales)
Si lm f (x) = o lm f (x) = , se dice que la recta x = x0 es una asntota vertical
xx0+ xx0
de f .
Definicin (Asntotas oblicuas)
 17
La recta y = mx + n, ser una asntota oblicua de la funcin f : A R R en + ssi
f (x)
m = lm y n = lm ( f (x) mx).
x+ x x+
De manera anloga se define una asntota de f en .
Observacin
Si m = 0, volvemos al caso de una asntota horizontal.
Ejemplo
q
x4 +1
f (x) = x2 1
Solucin
El dominio de la funcin es R\[1, 1] . Como f (x) es par basta estudiar su comportamiento
solamente en el intervalo (1, ) .
Como lm f (x) = , tenemos que x = 1, es una asntota vertical y como f es par entonces
x1+
la recta x = 1 tambien es una asntota vertical.
Veamos ahora las asntotas en
s
1 + x14
r
f (x) x4 + 1
lm = lm = lm = 1 = m.
x x x x4 x2 x 1 x12

Por otro lado tenemos r

x4 + 1
lm f (x) x = lm x
x x x2 1
 18
desarrollemos un poco la ltima expresin
r r s
x4 + 1 x4 + 1 x2 (x2 1) x4 + 1 x4 x2
x = = ,
x2 1 x2 1 (x2 1)
p
2
(x 1)

x4 +1+ x4 x2
multipliquemos la ltima expresin por 1 =
x4 +1+ x4 x2

x4 + 1 x4 x2 x4 + 1 + x4 x2 x4 + 1 x4 + x2
= p =p  
2
(x 1) 4
x +1+ x x4 2
(x2 1) x4 + 1 + x4 x2

1
1 + x2 x 2 +1
=p   =p q q .
2
(x 1) 4
x +1+ x x 4 2 2 1 1
(x 1) 1 + x4 + 1 x2
Si tomamos el lmite cuando x a la ltima expresin obtendremos 2 0. Por lo
1

tanto n = 0.
Con esto la asntota oblcua ser y = x. Grficamente tendremos
 19
f (x)

$1$ $1$ x