Anlisis Matemtico I: LMITE.

CONTINUIDAD Mara Cristina Lentini

1
Conjunto de puntos de la recta real

1. Introduccin
La geometra analtica establece una correspondencia biunvoca entre los puntos de una
recta y los nmeros reales, de tal manera que a cada nmero real le corresponde un punto de
la recta y a cada punto de la recta, le corresponde un nico nmero real. La recta se llama
recta real o espacio de una dimensin. Esta correspondencia facilita la interpretacin de
muchas demostraciones, aunque se debe tener presente que las representaciones grficas
aclaran situaciones pero no tienen validez para hacer demostraciones.
Los conjuntos de nmeros reales se llaman conjunto lineales.
Los tipos ms sencillos de conjunto lineales que se pueden definir en la recta real, son los
intervalos

2. Intervalos
Definiciones: Sean a y b, con a < b, se define como
* Intervalo abierto (a, b) al conjunto de todos los nmeros reales comprendidos entre a y b.
Se lo indica como (a, b) = {x R/ a < x < b}, siendo su interpretacin geomtrica la
siguiente:

* Intervalo cerrado [a, b] al conjunto de todos los nmeros reales comprendidos entre a y b,
incluidos ellos. Se lo indica como [a, b] = {x R/ a x b}, siendo su interpretacin
geomtrica la siguiente:


* Intervalo semiabierto (a, b], [a, b) a los conjuntos de nmeros reales que no contienen uno
de sus extremos: (a, b] = {x R/ a < x b} [a, b) = {x R/ a x < b, cuyas respectivas
representaciones grficas son:: ( ] [ )
a b a b
* Intervalos infinitos (a, +) = {x R/ a < x < +}, [a, +) = {x R/ a x < +}
(- , b) = {x R/- x < b}, (-, b] = {x R/- < x b}
Se debe tener en cuenta que +, - son smbolos que se introducen al sistema de los
nmeros reales para representar magnitudes muy grandes o muy pequeas. No deben ser
considerados como nmeros reales.

3. Entornos
Definiciones: Sea el punto a y el nmero > 0. Se define como:
* Entorno del punto a con radio (o amplitud) al intervalo abierto:
(a - , a + ) = { x R / a - < x < a + }= N

(a) : ( )
a - a a+
Tambin suele indicarse como N

(a) = {x R / < a - x }
* Entorno reducido del punto a con radio (o amplitud) al conjunto de puntos que
pertenecen al intervalo abierto (a - , a + ), excluido el punto a
N
*

(a) = (a - , a +) {a}= {x R/ a - < x < a +, x 0 }= { x R/ 0 < < a - x }

( )
a- a a+
Ejercicios
a) Dados los siguientes conjuntos, expresarlos como intervalos y, de ser posible, como
entornos:
i) A = {x / 1 x 2} ii) B = {x / -1 < x < 3} iii) C = {x /-3 x < 1} {-1}
iv) D = {x / 2 < x 2 } v) E = {x / 4 x + <2} vi) F = { x / 0 < 4 x + <2}
Anlisis Matemtico I: LMITE. CONTINUIDAD Mara Cristina Lentini





2
Conociendo estos conjuntos, se puede hacer una clasificacin de los puntos sobre la recta,
En este curso veremos algunos de ellos.
Sea S un conjunto tal que S R
* Punto de acumulacin: Un punto a se llama de acumulacin del conjunto S si
i) N
*

(a) x S tal que x N
*

(a) o bien
ii) N
*

(a): N
*

(a) S
El punto a puede o no pertenecer al conjunto S.
Indicamos con S al conjunto formada por todos los puntos de acumulacin de S.

Ejemplo:
S
1
= [a, b], en este conjunto, todos sus puntos son de acumulacin
S
2
= (a, b], en este caso el conjunto de puntos {x R/ a x b} son todos los de
acumulacin de S
2

S
3
= (a, b] {c}. Aqu el conjunto de puntos {x R/ a x b} es el conjunto de puntos de
acumulacin de S
3
* Conjunto cerrado es un conjunto que contiene a todos sus puntos de acumulacin. O sea,
Un conjunto es cerrado si y slo si le pertenecen todos sus puntos de acumulacin.
De los conjuntos vistos en el ejemplo anterior, slo es cerrado al conjunto S
1

* Punto interior: Un punto a S es interior a S si existe al menos un entorno N

(a) tal que

N

(a) S. Es decir, a es punto interior a S a S N

(a) / N

(a) S

Ejemplo
i) Cualquier nmero real es un punto interior al conjunto R de los nmeros reales
ii) Un nmero p racional no es un punto interior del conjunto Q de los nmeros
racionales, ya que en todo entorno de p hay nmeros irracionales que no pertenecen a
Q
* Conjunto abierto: un conjunto S es abierto si y slo si todos sus puntos son interiores
* Punto exterior: a es un punto exterior a un conjunto S si y slo si existe un entorno del
mismo al cul no pertenece ningn punto de S. En este caso a S
Es decir, a es exterior a S N

(a) / N

(a) = 0

4. Cotas. Extremos
Sea S R
Definiciones
Un nmero k es
* una cota superior de un conjunto S de nmeros reales si y slo si k R es x k. Si
existe tal k, se dice que S es un conjunto acotado superiormente
* una cota inferior de un conjunto S de nmeros reales si y slo si k R es k x. Si
existe tal k, se dice que S es un conjunto acotado inferiormente
Se llama extremo superior o supremo de un conjunto S (sup S) a la menor de las cotas
superiores y extremo inferior (inf S) a la mayor de las cotas inferiores
M = sup S si y slo si M es cota superior de S y > 0 x S / M - < x M
Anlogamente: m = nf S si y slo si m es cota inferior de S y > 0 x S tal que
m x < m +
Las cotas de un conjunto, si existen, no necesariamente son nicas, en cambio el supremo
y/o nfimo, si existe, si son nicos. Tanto el nfimo como supremo, pueden o no pertenecer al
conjunto.
Sea por ejemplo el conjunto:
a) S
1
= {x R / x 4 - x
2
R} | [ Se trata de un conjunto que no es
-2 0 2
Anlisis Matemtico I: LMITE. CONTINUIDAD Mara Cristina Lentini





3
acotado superiormente ni inferiormente
b) S
2
= {x R / (x +2)(x - 1) 0}.
Resolviendo la inecuacin se obtiene: S
2
= {x R / -2 x 1}



Es un conjunto acotado superior e inferiormente, siendo el sup S
2
= 1 y el inf S
2
= -2.
Ambos pertenecen al conjunto S
2


5. Lmite de una funcin
Dos de los conceptos ms importantes del Anlisis Matemtico son las nociones de funcin
y de lmite de una funcin. Entonces, vamos a discutir primero este concepto en forma
intuitiva y luego se va a formalizar la definicin.
Sea la funcin f(x) =
3 x
9 x
2

cuyo dominio es el conjunto D = R {3}, por lo tanto f(-3)

no est definida. Aunque esto ocurra, f(x) se puede calcular para cualquier valor de x cercano
a x = 3 como se puede observar en la tabla I. Cuando x se acerca a 3, ya sea por valores
menores o mayores a l, los valores de f(x) se acercan a 6

x 2.9 2.99 2.999 3 3.001 3.01 3.1
f(x) 5.9 5.99 5.999 6.001 6.01 6.1
Tabla I
O sea, cuanto ms cerca est x de 3, el valor de f(x)
lo est del valor 6
Podemos referirnos a este hecho con mayor
precisin diciendo que la diferencia 6 ) x ( f ser tan
pequea como deseemos mientras 3 x es muy
pequeo. Estamos en condiciones de introducir una
notacin especfica, que nos permita precisar mejor
esta situacin.
Sean y dos nmeros positivos y decimos que 6 ) x ( f < siempre que 3 x < con
x 4. es importante tener en cuenta que la magnitud depende de .
Esto es puede expresar como dado cualquier nmero positivo se puede hacer ( f(x)-l( < e
considerando 3 x < (lo suficientemente pequeo). O sea dado > 0, > 0
suficientemente pequeo, tal que 6 ) x ( f < siempre que 3 x < con x 3
Generalmente depende de y para la funcin que estamos viendo, esta dependencia se
puede observar en la Tabla I. Por ejemplo, de ella se puede ver que:
6 ) x ( f = 0.1 si 3 x = 0.1, o sea que = 0,1 y = 0.1
Cuando pedimos que ( f(x)-6( < 0.1 vemos que 3 x < 0.1, lo que significa que los
valores de f(x) se encuentran en el entorno del valor 6 con radio 0.1 mientras los valores de x
lo estn en un entorno reducido de 3 de radio 0,1.
Anlogamente, si consideramos 6 ) x ( f < 0,001 esto se cumple para todos los valores de x
que verifican 0 < 3 x < 0.001, y as podemos seguir indefinidamente dando a cualquier
valor positivo, por pequeo que ste sea y hallando los valores de . En consecuencia, para
cualquier > 0 se puede encontrar un > 0 tal que 6 ) x ( f < siempre que los valores
de x cumpla 0 < 3 x < . En este caso decimos que el lmite de f(x) cuando x tiende a 3
es 6 y se indica como ) x ( f lm
3 x
= 6
Geomtricamente, la nocin de lmite se interpreta de la siguiente manera:
y
Anlisis Matemtico I: LMITE. CONTINUIDAD Mara Cristina Lentini





4


Fijado un valor arbitrario de > 0, de manera que 6 ) x ( f < implica que sobre el eje y
los valores de f estn en el intervalo 6 - < f(x) < 6 + , siempre que x sea un punto que
est en el conjunto lineal de puntos 0< 3 x < (llamado entorno reducido de amplitud
del punto a) o sea para cualquier valor de x que verifica 3 - < x < 3 + con x 3
Estamos en condiciones de precisar los conceptos anteriores mediante la siguiente
definicin.

Definicin:
El nmero l es el lmite de la funcin f en un punto x = a si y slo si a es un punto de
acumulacin del dominio de f y para todo >0, existe al menos un nmero > 0 de
tal manera que para todo x D
f
y al 0 < < a - x se verifica l - f(x) <


Esto es: que
a x
lm

f(x) = l significa que para cada > 0 dado (no importa lo pequeo que sea)
existe una correspondiente > 0, tal que < l ) x ( f , siempre que x est en el conjunto D
f

0 < < a - x
Si recordamos las definiciones de entorno y entorno reducido, la definicin de lmite se
puede expresar como:


El nmero l es el lmite de la funcin f en un punto x = a si y slo si a es punto de
acumulacin del dominio de f y para todo entorno N

(l) existe al menos un torno

reducido (a) N
*

tal que x D
f
(a) N
*

f(x) (l) N

Podemos interpretar geomtricamente esta definicin:
Significa que trazando cualquier par de rectas horizontales ubicadas en y
1
= l + e y
2
= l -
, con > 0 arbitrario, se pueden determinar dos rectas verticales en x
1
= a + y x
2
= a -
con dependiente de , tales que todo punto del grfico con abscisa distinta de a, ubicado
entre las rectas horizontales y
1
e y
2
, tambin lo est entre las rectas verticales v
1
y v
2

Esta situacin se refleja en el grfico siguiente:


Hallado el nmero que satisfaga la condicin, cualquier otro < tambin la verifica.
Se debe tener en cuenta que el concepto de lmite es una propiedad puntual, ya que se
refiere a analizar el comportamiento de los valores de la funcin f en las inmediaciones del
Anlisis Matemtico I: LMITE. CONTINUIDAD Mara Cristina Lentini





5
punto particular x = a
La definicin de lmite no es constructiva ya que no indica una metodologa para
determinarlo, si ste existe.

Ejemplos:
a) Probar que si f(x) = k, entonces k ) x ( f lm
a x
=

Significa que el lmite de una funcin constante, en cualquier punto de su dominio, es dicha
constante.
Probar que k es el lmite buscado, significa que para cualquier nmero > 0 se puede
encontrar un nmero positivo que satisfaga la condicin que exige la definicin.
En este caso, es cualquier nmero positivo ya que para todo > 0 y > 0 se verifica:
0 k - k l - f(x) < = = x 0 < a - x <
O sea, se verifica la definicin de lmite para f(x) = k

b) Probar que:
i) a x lm
a x
=

Para todo > 0 > 0 tal que < = a - x l - f(x) siempre que x D
f
0 < < a - x
Se debe recalcar que el nmero se debe dar primero y el nmero debe determinarse, por
lo general, en funcin de
ii) q) a (p q) px ( lm
a x
+ = +

Para todo > 0 > 0 tal que
p
a - x a - x p q) a (p - q) x (p l - f(x)

< < < + + =

Se (a) N
*

puede ver que para cada > 0 es posible determinar el nmero tal que 0 < <
p

, y se verifica: 0 < < +

< q) a (p - f(x)
p
a - x
iii) 0 a) - lm
2
a x
=

x ( . Aplicando la definicin de lmite, > 0 > 0 tal que

< = =
2
2 2
a - x a) - x ( 0 - a) - (x l - f(x) < a - x si x D
f
0 < < a - x
Luego, cualquiera sea el que se considere, se puede determinar el nmero positivo tal que
0 < < a - x < = 0 - a) - (x 0 - f(x)
2

iv) 1
x
1
lm
1 x
=

> 0 > 0 / x D
f
< < 1 - x 0 < = 1 -
x
1
l - f(x) - <
x
1
- 1 <
1 - <
x
1
< 1 +
) (1
1
+
< x <
) (1
1

(1) siempre que x D
f
< < 1 - x 0 , o sea si x
verifica 1 -
1
< x < 1 +
2
(2) con x 1
Igualando los extremos de las relaciones (1) y (2) se plantean las siguientes igualdades:
1 -
1
=
) (1
1
+

1
= 1 -
) (1
1
+

1
=
) (1 +

1 +
2
=
) (1
1


2
=
) (1
1

- 1
2
=
) (1

Tomando = mn (
1
,
2
) =
1
, se puede ver que para cualquier > 0 se puede encontrar un
nmero positivo que depende de : =
) (1 +

de manera que para los valores de x que

Anlisis Matemtico I: LMITE. CONTINUIDAD Mara Cristina Lentini





6
pertenecen a N*

(1) se verifica < 1 -

x
1

y
x


5.1. Lmites laterales
Hasta ahora, al hablar de lmite, hemos considerado puntos prximos al punto de
acumulacin de a, a ambos lados de tal punto. O sea, nmeros reales que pertenecen a un N*

(a), Pero hay casos en que interesa conocer el comportamiento de los valores de la funcin en
valores de x que pertenecen al dominio que estn ubicados en un semi entorno a la derecho o
a la izquierda del punto a.
Por ejemplo, sea la funcin f(x) =
x
x
cuya grfica es la siguiente:

El dominio de f es el conjunto D
f
= {x R/ x 0}y x = 0 es un punto de acumulacin de
D
f
.
Si se toman valores de x cercanos a 0, tendremos que:
Para x > 0, f(x) = l. O sea 1 ) x ( f lm
0 x
=
+

y se dice que f(x) tiene lmite 1 por la derecha a 0

Cuando x < 0, f(x) = - l. En este caso, el 1 - ) x ( f lm
0 x
=

y decimos que f(x) tiene lmite 1

por la izquierda de 0

Definicin:
1.
d
l es el lmite por derecha de la funcin f en el punto a si y slo si:
i. a es punto de acumulacin del conjunto C = {x / x Df x > a} y
ii. > 0 > 0 / x Df a < x < a + l - f(x)
d
< .
Se lo denota, por lo general, como ) x ( f lm l
a x
d
+

=

2. li es el lmite por izquierda de la funcin f en el punto a si y slo si:
i. a es punto de acumulacin del conjunto C = {x / x Df x < a} y
ii. > 0 > 0 /x Df a - < x < a l - f(x)
i
<
Se lo denota, por lo general, como ) x ( f lm l
a x
i

=


1-
1
1+
2
1+

1-
x
Anlisis Matemtico I: LMITE. CONTINUIDAD Mara Cristina Lentini





7
6. Teoremas y propiedades de lmites finitos
6.1. Si una funcin tiene lmites laterales l
d
= l
i
= l en x = a, se dice que dicha funcin tiene
lmite finito l en x = a.
Por lo tanto: Si una funcin admite lmite en un punto x = a, ste es nico, o sea:
l ) x ( f lm l ) x ( f lm l ) x ( f lm
a x
a x a x
-
= = =

+

Demostracin:
La haremos por el absurdo, o sea, supondremos que la funcin f(x) tiene por lmites l
1
y l
2

en x = a

tal que l
1
l
2
Si l
1
es el lmite de f(x) en x = a verifica que para todo > 0 se pudo determinar al menos
un N
*
1
(a) / x 0 < a x <
1
< l - f(x)
1
(1)
En forma anloga, si l
2
es el lmite de f(x) en x = a verifica que para todo > 0 se encontr
al menos un N
*
2
(a) / x 0 < a x <
2
< l - f(x)
2
(2)
Si se considera = mn(
1
,
2
), se cumplen las relaciones (1) y (2), como as tambin la
suma de ambas:
< + 2 l - f(x) l - f(x)
2 1
siempre que x N
*

(a)
Por propiedad de valor absoluto:

f(x) - l l - f(x)
2 1
+ < + 2 l - f(x) l - f(x)
2 1
si x N
*

(a)

< 2 l - l
1 2
si x N
*

(a) (3)

relacin vlida > 0. Si de todos los valores arbitrarios de elegimos a
1 2
l - l = y lo
reemplazamos en (3) se obtiene

( l
1
l
2
( < 2( l
1
l
2
( /2 < ( l
1
l
2
(
1 2 1 2
l - l l - l <

que es un absurdo. Tal absurdo proviene de suponer que l
1
l
2
. En consecuencia: l
1
= l
2
= l y
el lmite de f en x = a es nico, como se quera demostrar.

6.2. Si una funcin f tiene lmite l en x = a, entonces existe al menos un entorno reducido
de a de manera que para todos los x que pertenecen a l, la funcin f est acotada, es decir:
Si l ) x ( f lm
a x
=

> 0 N*

(a) / x N*

(a) k R/ k f(x) <

Demostracin:
Por hiptesis l > 0 N
*

(a) / x 0 < a x < < l - f(x)

Por propiedad de valor absoluto, se puede escribir:
l - f(x) < l - f(x) si x N
*

(a)
l f(x) + < = k si x N
*

(a)
en consecuencia f(x) es una funcin acotada en por lo menos un N
*

(a)

6.3. Si una funcin f tiene lmite l en x = a, k R y l < k (l > k), entonces existe al menos
un entorno reducido de a de manera que para todos los x que pertenecen a l se verifica que
f(x) < k (f(x) > 0), es decir:

Si l =

) x ( f lm
a x
, k R

> >
< <


k f(x) N x / (a) N k l ii)
k f(x) N x / (a) N k l i)
*
*
: ) a (
: ) a (
*
*

Demostracin:
Se va a probar el caso i) y el caso ii) se obtiene por analoga:
Por hiptesis existe l y el nmero real k, de manera que l < k k l > 0
Que exista el lmite l significa que > 0 N*

(a) / x N*

(a) < l - f(x)

Si de todos los valores arbitrarios de elegimos a = k l > 0, podemos escribir a (1)
como:
Anlisis Matemtico I: LMITE. CONTINUIDAD Mara Cristina Lentini





8
l k < l - f(x) si x N
*

(a)
Usando propiedades de valor absoluto:
f(x) l l k < l - f(x) si x N
*

(a)
f(x) l < k - l si x N
*

(a)
Sumando a ambos miembros el valor l f(x) < k si x N
*

(a)
Lo que significa que la funcin f es acotada en, por lo menos, N
*

(a)

6.4. Sean las funciones f, g y h funciones definidas en un mismo conjunto D R y a un
punto de acumulacin de D, tales que l lm y lm
a x a x
= =

) x ( h l ) x ( f , entonces si f(x) g(x) h(x)
para todo x D N*

(a) l ) x ( g lm
a x
=

Demostracin:
Por hiptesis l =

) x ( f lm
a x
> 0 N*
1
(a) / x N*
1
(a) se cumple < l - f(x) .
O sea que l - < f(x) < l + si x N*
1
(a) (1)
Por otro lado, tambin existe l =

) x ( h lm
a x

O sea que > 0 N*
2
(a) / x N*
2
(a) se verifica que < l - h(x) , que se puede
expresar como. l - < h(x) < l + si x N*
2
(a) (2)
Considerando = mn(
1
,
2
), se cumplen las relaciones (1) y (2) y en consecuencia,
l - < f(x) h(x) < l + si x N*

(a)
Entonces: l - < f(x) g(x) h(x) < l + si x N*

(a) l - < g(x) < l + si x

N*

(a), lo que significa que < l - g(x) si x N*

(a ) l =

) x ( g lm
a x


Podemos ver a continuacin una aplicacin de esta propiedad para mostrar el lmite
notable 1
x
senx
=
0 x
lm
Para ello consideramos una circunferencia trigonomtrica (o sea, la circunferencia de radio
unidad) y un ngulo 0 < x < /2
Los segmentos AC y BD representan: BD = sen x, AC = tg x y el arco BC = x, como se
indica la siguiente figura:

Se puede establecer la siguiente relacin de orden: sen x < x < tg x (3)
Como sen x 0, podemos hacer la divisin por sen x y obtener as:
1
x
sen x
x cos
x cos
1
senx
x
1 < < < <

Sean: f(x) = cos x y g(x) = 1, cuyos lmites son:
0 x 0 x
1 1 lm y 1 x cos lm

= = . En
consecuencia, por la propiedad demostrada, se prueba que:
1
x
senx
lm
0 x
=

Anlisis Matemtico I: LMITE. CONTINUIDAD Mara Cristina Lentini





9
La grfica de la funcin h(x) =
x
x sen
es la siguiente:

El lmite notable que acabamos de demostrar nos conduce a los siguientes :

1
x tg
x
lm iii) 1
x
x tg
lm ii) 1
x sen
x
lm
0 x 0 x
= = =
0 x
) i

7. lgebra de lmites
Sean f
1
(x) y f
2
(x) funciones definidas en un mismo conjunto D y a un punto de
acumulacin de D, tales que
1 1
l ) ( lm =

x f
a x
y
2 2
l ) ( lm =

x f
a x
, entonces si:
i) F(x) = [f
1
(x) f
2
(x)] tiene por lmite:
2 1 2
a x
1
a x a x
l l ) x ( f lm ) x ( f lm ) x ( F lm + = + =


ii) F(x) = f
1
(x) f
2
(x) tiene por lmite:
2 1 2
a x
1
a x a x
l l ) x ( f lm ) x ( f lm ) x ( F lm = =


iii) F(x) = f
1
(x)/f
2
(x) tiene por lmite:
2 1 2
a x
1
a x a x
l / l ) x ( f lm / ) x ( f lm ) x ( F lm = =

con l
2
0
iv) F(x) = kf
1
(x) tiene por lmite:
1 1
a x a x
l k ) x ( f lm k ) x ( F lm = =


vi) Teorema: Si f est acotada en un entorno de a y 0 ) x ( g lm
a x
=

entonces 0 ) x ( g ) x ( f lm
a x
=

Vamos a ver la demostracin de algunos de estos lmites:
i) El lmite de la suma de dos funciones, es la suma de los lmites de dichas funciones
Por hiptesis l
1
y l
2

1
> 0 ) a ( N
*
1

/ x ) a ( N
*
1

1
l - (x) f
1 1
< (1)

2
> 0 ) a ( N
*
2

/ x ) a ( N
*
2

2
l - (x) f
2 2
< (2)
Tomando = mn(
1
,
2
) se cumplen las relaciones (1) y (2) x ) a ( N
*

. La suma de
ambas, tambin se verifica x ) a ( N
*

:
2 2 1 1
f l - (x) f + < +
1 2
l ) x ( si x ) a ( N
*

Usando propiedades de valor absoluto, y llamando =
1
+
2
:
+ l - f l f
2 2 1 1
) x ( ) x ( f l - (x) f
2 1 1
< +
2
l ) x ( si x ) a ( N
*

< + + l (l f (f
2 1 2 1
) )) x ( ) x ( si x ) a ( N
*

< + l (l F
2 1
) ) x ( si x ) a ( N
*

lo que significa que
2 1
a x a x a x
l l lm lm lm + = + =

) x ( f ) x ( f ) x ( F
2 1

ii) El lmite del producto de dos funciones, es el producto de los lmites de dichas
funciones
Por hiptesis l
1
y l
2

1
> 0 ) a ( N
*
1

/ x ) a ( N
*
1

1
l - (x) f
1 1
< (1)

2
> 0 ) a ( N
*
2

/ x ) a ( N
*
2

2
l - (x) f
2 2
< (2)
Tomando = mn(
1
,
2
) se cumplen las relaciones (1) y (2) x ) a ( N
*

. El producto
de ambas, tambin se verifica x ) a ( N
*

:
Anlisis Matemtico I: LMITE. CONTINUIDAD Mara Cristina Lentini





10
2 2 1 1
f l - (x) f <
1 2
l ) x ( si x ) a ( N
*

Usando propiedades de valor absoluto, y llamando * =
1
+
2
:
l - f )( l (f
2 2 1 1
) ) x ( ) x ( * f l - (x) f
2 1 1
<
2
l ) x ( si x ) a ( N
*

* ) x ( f l ) x ( f l ) x ( ) x (
2 1 1 2
< + l l f (f
2 1 2 1
si x ) a ( N
*

Sumando y restando (l
1
l
2
) en la expresin de la izquierda
* l l ) x ( f l ) x ( f l l ) x ( ) x (
2 1 2 1 1 2 2
< + + l l l - f (f
2 1 1 2 1
si x ) a ( N
*

Trabajando algebraicamente:
* ) l ) x ( f ( l ) l ) x ( f ( l ) x ( ) x (
2 2 1 1 1 2
< l l - f (f
2 1 2 1
si x ) a ( N
*

Usando propiedades de valor absoluto:
- l - l - f (f
2 1 2 1
) l ) x ( f ( l ) l ) x ( f ( l ) x ( ) x (
2 2 1 1 1 2

* ) l ) x ( f ( l ) l ) x ( f ( l ) x ( ) x (
2 2 1 1 1 2
< l l - f (f
2 1 2 1

1 2 2 1 2 2 1 1 1 2 2 1 2 1
l l * ) l ) x ( f ( l ) l ) x ( f ( l * l l - ) x ( f ) x ( (f + + < + + < si x ) a ( N
*

Llamando = * +
1 2 2 1
l l +
< = l l F
2 1
) x ( l l ) x ( f ) x ( f
2 1 2 1
si x ) a ( N
*

Lo que significa que
2 1
a x a x a x
l l lm lm lm = =

) x ( f ) x ( f ) x ( F
2 1


8. Lmite infinito
La no existencia de lmite finito para una funcin f en un punto de acumulacin a, puede
ocurrir porque existen lmites finitos distintos a derecha e izquierda del punto a. Tambin
cuando se tienen funciones tales como f(x) = sen (/x) que en un entorno de x = 0 sus
valores oscilan entre 1 y (-1), como se puede observar en la siguiente grfica:
y

Pero tambin puede ocurrir que cuando x se aproxima al punto de acumulacin los valores
de la funcin superan, an valor absoluto a cualquier nmero real prefijado.
Sea por ejemplo la funcin f(x) =
3 x
1

que no tiene lmite finito en x = 3. Veamos en la

siguiente tabla:


x f(x)
3.1 1
3.01 100
3.001 1000

3

2.999 -1000
2.99 -100
2.9 -10

x
Anlisis Matemtico I: LMITE. CONTINUIDAD Mara Cristina Lentini





11

Se puede observar que a medida que nos acercamos a x = 3, ya sea por izquierda o por
derecha, los valores de f superan en valor absoluto a cualquier nmero que se prefije, por ms
grande que ste sea. Supongamos que prefijamos un nmero M > 0, siempre es posible
encontrar un entorno reducido del punto de acumulacin x = 3 en el cual los valores
correspondientes de la funcin son mayores, en valor absoluto que ese M.
Si M = 10
6
>
3 x
1
10
6
lo que equivale a
-6
10 3 x < siempre que x
-6
10 3 - x 0 < < .
Esto implica que si = 10
6
, para los x ) 3 ( N
*

se verifica
6
10 f(x) >
Podemos verificarlo:
Para el M prefijado, x 3 10
-6
< x < 3 + 10
-6
con x 3. Elegimos x = 2.9999999
6 7
10 10 9) f(2.999999
2.9999999 - 3
1
9) f(2.999999 > = =

y en el entorno reducido de 3, de radio 10
-6
, cualquier x del dominio de f tiene una imagen
mayor, en valor absoluto que 10
-6
.
Este hecho se puede formalizar con la siguiente definicin:
Una funcin f tiene lmite infinito en el punto de acumulacin a de su dominio, s y slo si
para todo nmero M > 0 (arbitrariamente grande) > 0 tal que x D
f
) a ( N
*

Verifica M f(x) > , y se simboliza =

) x ( f lm
a x



Hemos estudiado hasta ahora lmites de una funcin cuando x a, ya sea su resultado
finito o no, pero se presentan casos en que interesa conocer cul es el comportamiento de los
valores de una funcin dada, cuando x .
Aceptando el hecho de que una funcin est definida en un conjunto no acotado, podemos
considerar las siguientes definiciones:
i) l ) x ( f lm
x
=

si y slo si > 0 H = H() > 0 tal que x > H < l - f(x)

Su interpretacin geomtrica es la siguiente:
Si fijado cualquier > 0, podemos encontrar un nmero real H, de manera que
Anlisis Matemtico I: LMITE. CONTINUIDAD Mara Cristina Lentini





12
para todo valor de x > H, los valores que toma la funcin estn en el intervalo l ) x ( f <
Si existe H, H > H, tambin se verifica < l - f(x)
ii) =

) x ( f lm
x
si M > 0 (arbitrariamente grande) H = H() > 0 tal que x > H se
verifica M l - f(x) >


Ejemplo
Sea f(x) = x
3
cuyo =

) x ( f lm
x
o sea queM > 0 H = H(M) de manera que
H x > se verifica M f(x) >
Para este ejemplo, fijado M: M x
2
> (1) M x > siempre que H x > .
Tomando H = M hemos encontrado un H = H(M) de manera que para los valores de
M x > se debe cumplir con (1).
Para verificar, consideramos en forma arbitraria M = 10
6
H =
3
10 =
6
10 , si
3
10 x >
Sea por ejemplo x = 1001 (1001)
3
= 1003003001 > 10
6

9. Asntotas
Como aplicacin e interpretacin geomtrica de los lmites, definimos rectas particulares
que se acercan a la grfica de una funcin, en el infinito.
Definiciones:
a) Asntota vertical: La recta x = a es una asntota vertical de una funcin f(x), si al menos
uno de los lmites laterales de f en a es + - (fig.1)
b) Asntota horizontal: la recta y = b es una asntota vertical de una funcin f(x) si:

b ) x ( f lm b ) x ( f lm
- x x
= =
+
(fig.2 )

Figura 1

0 lm y lm
- x x
= =
+
) x ( f 0 ) x ( f
Figura 2

c) Asntota oblicua: la recta de ecuacin y = mx + n es asntota oblicua de la grfica de la
funcin f(x) si y slo si | | 0 n) (mx - f(x) lm
x
= +

(9.1)

Anlisis Matemtico I: LMITE. CONTINUIDAD Mara Cristina Lentini





13
Se debe tener en cuenta que si la grfica de una funcin f tiene asntota horizontal hacia
uno de los lados (cuando x x -) no puede haber oblicuas para ese mismo lado,
lo que no impide que una funcin pueda tener una asntota horizontal para un lado y una
oblicua para el otro.
Si llamamos d(x) = f(x) (mx + n) (9.2), esta funcin d(x) mide la distancia entre los
puntos de la grfica de f y los de la recta de ecuacin y = mx + n.
Para determinar los parmetros m y n que identifican a la recta oblicua, usamos la
relacin (9.2) y despejamos mx = f(x) [d(x) + n]
x
n d(x)
-
x
) x ( f
m
(

+
= (9.3)

Tomando el lmite cuando x a la relacin (9.3)
m = 0
x
) x ( f
lm
x
n ) x ( d
lm -
x
) x ( f
lm
x x x
+
(

=
(

+
(

m =
x
) x ( f
lm
x
(9.4)
Una vez determinado m, se puede encontrar el coeficiente n:
n = | | x m - f(x) lm
x
(9.5)
Se deben obtenerse m, n R y m 0
Si se encuentra m = significa que la funcin crece ms de prisa que cualquier recta, como
por ejemplo la funcin f(x) = e
x
Si m = 0 y n = la funcin crece ms despacio que cualquier recta con pendiente positiva.
Por ejemplo: f(x) = ln x
Veamos ahora en un par de ejemplos cmo determinamos las asntotas de las grficas de las
funciones siguientes:
a) f(x) =
2 - x
1) - (x x
=

2 x
x x
2

Estudiando el lmite de la misma cuando x 2, nos permite encontrar la asntota vertical
en x = 2. Para ver si tiene asntota horizontal estudiamos: =


2 - x
x - x
lm
2
x
Como el
resultado es no tiene asntota horizontal y puede ser que tenga asntota oblicua.
Se deben determinar los parmetros m y n de acuerdo a las expresiones (9.4) y (9.5)
m = 1
2x -
x
lm
2) - (x
x
lm
x
f(x)
2
x
2
x
=

=

2
x
x
x
x
x
lm
n =
x
lm [f(x) - mx] = 1
2 - x
x
lm
2 - x
2x x - x
lm x -
x

x
2 2
x
2
=
(

=
(
(

+
=
(
(

x
2 x
x
lm
x

o sea que la recta asntota oblicua buscada es y = x + 1
y

b) f(x) =
2
x - 4
x
3

Para determinar la/s asntota/s vertical/es estudiamos los lmites siguientes:
=
+

) x ( f lm
2 x
+ =

) x ( f lm
2 x
y =

) x ( f lm
2 x
+ =
+

) x ( f lm
2 x


x
Anlisis Matemtico I: LMITE. CONTINUIDAD Mara Cristina Lentini





14
en consecuencia, la grfica de f tiene dos rectas asntotas verticales, una en x = 2 y x = -2
Estudiamos ahora si tiene asntota horizontal y para ello calculamos: =
+

x - 4
x
2
3
x
lm y .
+ =


x - 4
x
2
3
x
lm . Como ambos lmites son , no tiene asntota horizontal y puede ser que
tenga asntota oblicua.
Se deben determinar los parmetros m y n de acuerdo a las expresiones (9.4) y (9.5)

m = 1 -
x - x 4
x
lm
) x - (4 x
x
lm
x
f(x)
lm
3
3
x
2
3
x x
= = =



n =
x
lm [f(x) - mx] = 0
x - 4
x 4
lm
x - 4
x - x
lm x
x

2
x
2
3 3
x
3
=
(

=
(
(

+
=
(
(

x 4
x 4
lm
2
x

o sea que la recta asntota oblicua buscada es y = -x





Bibliografa

o Introduccin al Anlisis Matemtico (Clculo 1) (1978) Rabuffetti, H. Brasil -
Editorial El Ateneo
o Clculo (2001)- Purcel, Varberg y Rigdon Mxico - Prentice Hall
o Clculo I: Teora y problemas de Anlisis Matemtico en una variable (1993)
Madrid - Editorial CLAGSA
y

x