Clculo 1 Bloque A_Comisin 1

Ao 2014

Lmite de una Funcin

I)

Lmite Finito

Muchas veces interesa analizar el comportamiento de los valores de una funcin, para valores de la
variable independiente cercanos a uno particular. ste estudio lleva a definir un concepto de la
matemtica superior conocido como lmite de la funcin.
Nocin intuitiva: el Lmite de una funcin es el nmero real al que se aproximan las imgenes (o
valores) de una funcin cuando la variable independiente se aproxima a un nmero cualquiera.
En smbolos: sea f la funcin y L lmite y a el valor de la variable independiente. Entonces, cuando
x a f ( x) L (se lee: cuando x tiende a a, sus imgenes tienden a L).

f ( x) L.
O bien: xlm
a
Ejemplo1) Sea la funcin f ( x ) x 3 , con dominio Df = R.
Vamos a analizar si la funcin tiene lmite cuando x se aproxima a 3, utilizando una tabla de valores.
Solucin:
Dando a x valores cada vez ms prximos a 3, se construye la tabla:
x
2
2,5
2.9
2,99
2,999
2,9999

f(x)
5
5,5
5,9
5,99
5,999
5,9999

x
4
3,5
3,1
3,01
3,001
3,0001

f(x)
7
6,5
6,1
6,01
6,001
6,0001

La interpretacin de la tabla lleva a decir que los valores de f se acercan a 6, cuando x se acerca a 3.
Adems, hay dos maneras de aproximarse a 3: tomando valores menores (por izquierda) o tomando
valores mayores (por derecha).
Aunque es prcticamente imposible seguir completando la tabla con todos los valores (porqu?), la
intuicin nos dice que podemos acercar el valor de x a 3 tanto como sea posible, o bien, que x se
aproxima infinitamente a 3 (esto es posible por ser x un nmero real), y que los valores de f(x) se
acercarn infinitamente a 6. En ste proceso, notamos que los valores de la funcin se acercan a 6
cuando x se acerca a 3, es decir, que 6 es el lmite de la funcin en 3.
En smbolos:

lm f ( x ) lm ( x 3) 6.
x 3

x 3

Ejemplo 2) Sea la funcin g ( x )

x2 9
, con dominio Dg = R {3}.
x 3

Vamos a analizar si la funcin tiene lmite cuando x se aproxima a 3.

Solucin:
Dando valores a x cada vez ms prximos a 3, se construye la tabla:

Elaborado por la Prof. Adriana Duarte

Gua terica Lmite Finito

Clculo 1 Bloque A_Comisin 1

x
2
2,5
2.9
2,99
2,999
2,9999

g(x)
5
5,5
5,9
5,99
5,999
5,9999

x
4
3,5
3,1
3,01
3,001
3,0001

Ao 2014

g(x)
7
6,5
6,1
6,01
6,001
6,0001

Se observa que los valores obtenidos coinciden con los de la tabla anterior. Porqu?
Ocurre que las funciones f y g son equivalentes, excepto en x = 3. Este valor pertenece al dominio de f
pero no as al dominio de g. Sin embargo, la interpretacin de la tabla lleva a decir que los valores de g
se acercan a 6, cuando x se acerca a 3, tanto por izquierda como por derecha.
En smbolos:

lm g ( x ) lm
x 3

x 3

x2 9
6.
x 3

Tenemos as algo importante que destacar:

a) en el estudio del lmite de una funcin no interesa si el valor a pertenece o no pertenece al
dominio de la funcin analizada; la funcin puede tener lmite en ese punto aunque el mismo
no forme parte de su dominio.
b) Dos o ms funciones diferentes pueden tener el mismo numero real como lmite, para x a
.
Recordamos: la distancia entre dos nmeros a y b es el valor absoluto de su diferencia.
d ( a; b) a b .
Entonces, en los ejemplos anteriores, podemos decir que cuando la distancia entre x y 3 se hace cada
vez ms pequea, la distancia entre f(x) y 6 (o g(x) y 6) tambin es cada vez ms pequea. Cunto
mas cercana est x a 3 la distancia entre ellos se aproxima o tiende a cero, de igual forma que la
distancia entre f(x) y 6 tiende a cero.
En smbolos: x 3 0 f ( x) 6 0
Podramos considerar a f ( x ) 6 tan pequea como quisiramos, y con eso estaramos
asegurando que 6 es el lmite de los valores de f!! cmo? Basta con tomar a x tan prximo como sea
posible a 3!.
O sea: si en forma arbitraria se establece que la distancia de f(x) a 6 sea menor que un determinado
nmero, esto condicionar que la distancia de x a 3 sea menor que un nmero tambin.
Por ejemplo:
f ( x ) 6 0,1 ( x 3) 6 0,1 x 3 0,1
f ( x ) 6 0,001 ( x 3) 6 0,001 x 3 0,001

Probemos con otro ejemplo. La funcin h( x ) 3 x 4 tiene lmite -1 cuando x se acerca a 1?

h( x ) ( 1) 0,1 (3 x 4) 1 0,1 3 x 3 0,1 3. ( x 1) 0,1 3 . x 1 0,1
x 1 0,1 3

.
h ( x ) ( 1) 0,001 (3 x 4) 1 0,001 3 x 3 0,001 3. ( x 1) 0,001 3 . x 1
x 1 0,001 3

Gua terica Lmite Finito

Clculo 1 Bloque A_Comisin 1

Ao 2014

En sta funcin podemos observar que cuando la distancia de h(x) al lmite es un determinado valor
prefijado, la distancia entre x y a es la tercera parte de ese valor, en cambio en el primer ejemplo,
estos valores eran iguales.
Ms generalmente, si no queremos especificar ese nmero podramos designarlo (psilon) siendo
cualquier nmero positivo dado, tan pequeo como se quiera, y para cada psilon tomado se
encontrar que la distancia de x a a ser menor que un valor que depender de psilon, que
llamaremos (delta). En el caso de la funcin f, result , y en el caso de la funcin h result
ser 1 3 . (O sea, que la relacin entre y depender de la funcin analizada).
Entonces, para el primer ejemplo, comprobamos que:

lm ( x 3) 6
x 3

0, 0 / x : ( x Df 0 x 3 ( x 3) 6

Tomando la funcin h, comprobamos que:

lm (3 x 4) 1
x1

0, 0 / x : ( x Df 0 x 1 (3 x 4) ( 1)

Para el caso general de tener cualquier funcin y f (x ) , definida en Df, se dice que:

lm f ( x) L

x a

0, 0 / x : ( x Df 0 x a f ( x ) L

).

Esta expresin se conoce como la definicin formal del lmite de una funcin, o tambin como la
definicin psilon-delta.

No existencia de lmite finito

Cuando la definicin anterior no se cumple, se dice que la funcin no tiene lmite en el punto a.

Gua terica Lmite Finito

Clculo 1 Bloque A_Comisin 1

Ao 2014

Por ejemplo 3) La funcin signo, definida como el cociente entre la funcin valor absoluto y la
x

funcin identidad, f ( x ) Sgn( x )

, no tiene limite finito en el punto 0, dado que para

cualquier entorno1 con centro 0, no se cumple que para un psilon dado, sea siempre f(x) menos L
menor a dicho psilon.

Lmites laterales
Se denominan as a los lmites que se obtienen cuando la variable x tiende a a nicamente por derecha
o por izquierda.
Definicin:
Dada

la

funcin

f,

el

nmero

L1

es

lmite

lateral

derecho

0, 0 / x : ( x Df a x a f ( x ) L1

Dada

la

funcin

f,

el

nmero

L2

es

lmite

lateral

izquierdo

0, 0 / x : ( x Df a x a f ( x ) L2

Condicin de existencia de lmite finito

lm f ( x) L1 y lm f ( x) L2 y L1 L2

x a

En

el

x a

ejemplo

3,

para

la

funcin

si

slo

si

si

slo

si

).
).

lm f ( x) L1 L2 L

x a

f ( x)

x
x

con

x 0 ,

se

obtienen

lm f ( x) 1 y lm f ( x) 1 y L1 L2 lm f ( x) .
x 0
x 0

x 0

f ( x) L1 y lm f ( x) L2 L1 L2
Condicin de Unicidad: Sea la funcin y = f(x). xlm
a
x a
Funcin por tramos
Una funcin se define por tramos cuando presenta para cada subintervalo del Dominio, reglas de
definicin diferentes.
1

Un entorno E(a;h) es un intervalo abierto de nmeros reales, donde su centro a es el punto medio entre los
extremos del intervalo y su radio h es la distancia del centro a uno de los extremos. Por ej.: E(4;2) = (2; 6).
Gua terica Lmite Finito

Clculo 1 Bloque A_Comisin 1

Ao 2014

Ejemplo 4): la funcin f se define: f ( x )

x 2 ; si 2 x 0
4 x 5 ; si 0 x 3 .
2 ; si x 3

Su dominio est dada por la unin de los subintervalos D1 2 ; 0 , D2 0 ; 3 y

D3 3 ; . El resultado es: D f 2 ; . Las imgenes de f para D1 pertenecen al
intervalo I f 1 0 ; 4 , para D2 pertenecen al intervalo I f 2 7 ; 5 y para D3 :
I f 3 2 .

El conjunto imagen de la funcin se obtiene realizando: I f 1 I f 2 I f 3 cul es el resultado de

sta operacin?
La representacin grfica es la siguiente:

La funcin Valor Absoluto es un ejemplo de funcin definida por tramos:

x ; si x 0
f ( x) x
x ; si x 0

Tambin se puede presentar como una funcin compuesta, por ejemplo:

Gua terica Lmite Finito

Clculo 1 Bloque A_Comisin 1

Ao 2014

x 1; si x 1 0
( x 1); si x 1 0

g(x) = x 1

La funcin del ejemplo 4) nos permite visualizar mejor la idea de lmites laterales.
Si se quiere encontrar el lmite de f para los valores x = -2, x = 0, x = 1 y x = 3, se procede de la
siguiente manera:

En x = -2 nicamente se puede encontrar lmite por derecha (porqu?).

f ( x) lm x
Es decir: x lm
2
x 2

4.

En x = 0, se calculan lmites por izquierda y por derecha:

lm f ( x) lm x 2 0 y
x0
x0

lm f ( x ) lm ( 4 x 5) 5 , por lo tanto
lm f ( x) .
x0
x0

x 0

En la representacin grfica, la funcin tiene un salto en x = 0.

En x = 1, no es necesario plantear lmites laterales, dado que la funcin no cambia de regla de

f ( x) lm ( 4 x 5) 7 y lm f ( x) lm 2 2 , y
En x = 3, xlm
3
x3
x3
x 3

f ( x ) lm ( 4 x 5) 1 .
definicin en un entorno de 1: lm
x 1
x 1

lm f ( x ) .
x 3

Propiedades de lmite finito

Estas permiten encontrar el lmite de funciones, sin necesidad de realizar tablas de valores.

f ( x) K .
1) Si f(x) = K ( K ), entonces xlm
a

(3) 3 o
Por ejemplo: lm
x 5

lm ( 3) 3 .

x1 3

f ( x ) a.
2) Si f(x) = x, entonces xlm
a

Gua terica Lmite Finito

Clculo 1 Bloque A_Comisin 1

Ao 2014

x 5 o
Por ejemplo: lm
x 5

lm x 1 3 .

x1 3

f ( x) pa q.
3) Si f(x) = p.x + q (funcin lineal), entonces xlm
a
Por

lm (3.x 2) 3.5 2 13

ejemplo:

x 5

lm (2 x 4) 2.1 3 4 10 3 .

x1 3

4)

Si

h(x)

f(x)

g(x),

lm f ( x) g ( x) L1 L2 .

lm f ( x) L1

xa

lm g ( x) L2 ,

x a

entonces

x a

( x 2 2) lm ( x 2 ) lm 2 5 2 2 27 .
Por ejemplo: lm
x 5
x 5
x 5
Infinitsimos
Una funcin es infinitesimal o infinitsima en un nmero a si y slo si su lmite cuando x
tiende a a es cero.

lm ( x) 0 es inf initsimo en a .

x a

En smbolos:
lm ( x ) 0 0, 0 / x : ( x Df 0 x a ( x) ) .
xa

x2 0.
Por ejemplo: f(x) )= x2 es un infinitsimo en x = 0 dado que lm
x0
Propiedades de infinitsimos

1) la suma o diferencia de dos infinitsimos en a, es otro infinitsimo en a

2) el producto de dos infinitsimos en a , es otro infinitsimo en a
3) el cociente de dos infinitsimos es una indeterminacin (puede dar un numero real distinto de
cero, cuando los infinitsimos son de igual orden, o cero cuando el numerados es infinitsimo
de orden superior al denominador, o infinito cuando el denominador es de orden superior al
numerador).

f ( x) L f ( x) L , con inf initsimo en a.

5) lm
xa

f ( x) L1 y lm g ( x) L2 , entonces
6) Si h(x) = f(x) . g(x), y xlm
a
x a

lm f ( x ) . g ( x) L1 . L2 .

x a

f ( x ) L lm c. f ( x ) c. lm f ( x) .
7) Si c es un nmero real y xlm
a
xa
xa

3. x 4 3 lm x 4 3. 256 768 .
Por ejemplo: lm
x4
x4

Gua terica Lmite Finito

Clculo 1 Bloque A_Comisin 1

Ao 2014

f ( x) L1 y lm g ( x) L2 entonces
8) Si h(x) = f(x): g(x), y xlm
a
x a

lm f ( x) : g ( x ) L1 : L2 ; con L2 0.

x a

Por ejemplo: hallar el lmite de h( x )

x 2 25
, cuando x 1.
x 2 4x 5

Solucin: La funcin h es racional, por ser cociente de funciones polinmicas y para hallar su
lmite, se puede aplicar la propiedad N 8:

lm h( x) lm
x 1

x 1

lm ( x 2 25)
x 2 25
12 25
x 1

3.
x 2 4x 5
lm ( x 2 4 x 5)
12 4.1 5
x 1

g ( x) L . entonces:
9) Si existe la funcin compuesta f g y xlm
a
lm ( f g )( x ) lm f g ( x ) f lm g ( x ) f ( L).
x a

xa
xa

Son casos especiales de aplicacin de esta propiedad:

f ( x) n lm
f ( x)
1) lm

xa
xa

f ( x)1 n lm
f ( x)
2) lm

xa
xa

5.x 3 lm
5.x
. Por ej.: lm

x2
x2
1 n

2x 1
. Por ej.: lm
x2

5. 2

1000

lm ( 2 x 1)
x2

5.

Cociente de infinitsimos (Indeterminacin 0/0)

Qu pasara si se tiene que hallar el lmite de h( x )

x 2 25
, cuando x 5 ? . Al
x 2 4x 5

aplicar la propiedad correspondiente, se tiene:

lm h( x) lm
x5

x 5

lm ( x 2 25)
x 2 25
0
x 5

,
2
2
0
x 4x 5
lm ( x 4 x 5)

obtenindose

as

un

x 5

cociente de infinitsimos (se dice que presenta una indeterminacin).

En efecto, las funciones f ( x ) x 2 25 y g ( x ) x 2 4 x 5 tienden a cero cuando
x 5 .
Es posible conocer el lmite de la funcin dada, en x = 5?
En general, se recurren a artificios matemticos (algebraicos, trigonomtricos, de racionalizacin,
etc.) vlidos para transformar la expresin de la funcin dada en otra, donde la indeterminacin ya
no exista.
Por ejemplo, en la funcin h, numerador y denominador se pueden factorear y luego eliminar los
factores iguales:

Gua terica Lmite Finito

Clculo 1 Bloque A_Comisin 1

lm h( x ) lm
x 5

x5

Ao 2014

x 2 25
( x 5) ( x 5)
x5
10
lm
lm

.
2
x

5
x

5
( x 1) ( x 5)
x 1
6
x 4x 5

Ejercicio 1: Calcular lm
x3

x2 9
3

Solucin: Es una indeterminacin del tipo 0/0. Se procede multiplicando y dividiendo por el
conjugado de la expresin del denominador, con la intencin de hacer desaparecer las races:
lm

x2 9
3

x3

lm

x3

( x 3) ( x 3) ( 3
( 3 x) ( 3

lm

x3

( x 3) ( 3
1

x)
( x 3) ( 3 x ) ( 3
lm
x

3
(3 x )
x)
x)

x)

12 3 .

Ejercicio 2: Hallar el lmite de la funcin g ( x )

3 2x 1
1 x

, cuando x 1 .

Solucin: Nuevamente es una situacin de indeterminacin 0/0. En este caso conviene realizar un
cambio de variable, reemplazando el radicando por una expresin que posea raz quinta, por
ejemplo 3 2 x u 5 .
La nueva variable independiente es u, habr que reemplazar a x por una expresin de u, haciendo:
3u5
.
x
2
Adems, cuando x 1 , se cumple que u 5 1 1 .
Sustituyendo, queda:

3 2x 1
lim
u 1
1 x

u5 1
2 (u 1)
lm
5
x 1
u

1
3u
u 5 1 . Factoreamos el denominador:
1
2
2 (u 1)
2
2
lm 4
lm
.
u 1 (u u 3 u 2 u 1) (u 1)
u 1 (u 4 u 3 u 2 u 1)
5
lim

Sabemos que la funcin no est definida en x = 1, y como el lmite existe, desde el punto de vista
grfico se observa un hueco, que resulta de aislar en la grfica el punto de coordenadas
1 ; 2 5 .

Gua terica Lmite Finito

Clculo 1 Bloque A_Comisin 1

Ejercicio 3: Analizar si la funcin t ( x )

Ao 2014

x 1
tiene lmite cuando x 1 .
2 x 3 x 1
2

Solucin: Como la funcin valor absoluto se define por tramos, tendrn que considerar lmites
laterales, por izquierda y por derecha de -1.
lm

x 1
x 1
1
lm
lm
1 y adems:
x 1 ( 2 x 1)( x 1)
x 1 2 x 1
2 x 3 x 1

lm

( x 1)
( x 1)
1
lm
lm
1.
2
x 1 ( 2 x 1)( x 1)
x 1 2 x 1
2 x 3 x 1

x 1

x 1

Como los lmites laterales son distintos, la funcin t, no tiene lmite en -1.

Gua terica Lmite Finito

10