ANALISIS MATEMATICO

Lmite de Funciones

Hacia dnde vamos

Introducida la nocin de lmite a travs de las sucesiones, el objetivo siguiente es
extender este concepto para funciones del tipo f : A .
Veremos cmo los valores lmites de f nos dan informacin til para ir
construyendo el grfico de f. Poder dibujar con la mayor precisin posible el
grfico de f, ser el objetivo central de las prximas clases.
En lo que sigue f es una funcin f : A .

Lmites en el infinito. Asntotas horizontales.

Queremos darle sentido a las expresiones lim f ( x) y lim f (x ) en analoga con
x

lo hecho para sucesiones. Es decir, cmo se comporta la funcin para valores

grandes de la variable x (ahora real), positivos en un caso, y negativos en el otro.
Antes de dar una definicin precisa, veamos algunos ejemplos y procedamos
intuitivamente
o

f ( x)

2 x2
x2 1

Es una funcin definida en todos los nmeros reales. Usamos las tcnicas
que aprendimos para sucesiones:
2 x2
2
lim
2
2
x x 1
x
1
1 2
x

lim f ( x) lim

Como la variable aparece al cuadrado en la expresin de f, cuando x

tiende a menos infinito el comportamiento es igual que cuando x tiende a
ms infinito, de modo que
lim f ( x) 2

Observemos que f es una funcin no negativa (slo se anula en x 0 ).

Con esta observacin y los lmites en el infinito podemos saber la pinta
de f en ms infinito y en menos infinito:

El grfico de f se acerca a la recta y 2 cuando x toma valores

grandes, tanto positivos como negativos. Decimos que la recta y 2 es
una asntota horizontal de f.

g ( x)

1
ex

Es una funcin definida para todo nmero real, salvo x 0 . Observemos

que el exponente

1
tiende a 0 cuando x tiende tanto a ms infinito, como
x

a menos infinito. En el primer caso se acerca a 0 con valores positivos, en

el segundo, con valores negativos. Entonces:
1

lim

lim g ( x) lim e x e x x e0 1

De la misma manera
lim g ( x) 1

Los valores positivos de

1
(cuando x ) se traducen valores
x
1

mayores que 1 de g ( x) ( e x 1 si x 0 ), mientras que los valores

negativos de

1
x

(cuando

x ) se traducen en
1

valores menores que 1 de

g ( x) (

1
ex

1 si x 0 ). Con

esto podemos dibujar la

pinta de que tiene g ( x) en
el infinito:
El grfico de g tiene a la recta y 1 como asntota horizontal.
o

h( x )

x
x 1

Esta funcin est definida para todo nmero real. A diferencia de los
otros dos ejemplos, su comportamiento en ms infinito es diferente a su
comportamiento en menos infinito:
x
x
x x pues
lim h( x) lim
lim
1
x

x 1

x 1

x0

En cambio,
lim h( x) lim

x x

x
x
lim
1
x 1 x x 1

La pinta de h en el infinito es el que

muestra el grfico.
Las dos rectas y 1 e y 1 son
ambas asntotas horizontales de h.

pues x 0
1

o Definiciones
A la luz de los ejemplos damos las siguientes definiciones:
lim f ( x) L si dado 0 , existe
x

K tal que:
x K entonces f ( x) L

K
El grfico est en la
franja verde para x K

lim f ( x) L

si dado

0,
L

existe K tal que:

x K entonces f ( x) L

K
El grfico est en la
franja verde para x K

En ambos casos, decimos que la recta

horizontal de f.

y L es asntota

Lmites infinitos. Asntotas verticales. Lmites laterales

Vamos a dar las definiciones (algunas noms) que le dan sentido a las
expresiones lim f ( x) y lim f ( x) . Como antes, veamos algunos
x a

x a

ejemplos que nos inspiren:

o

1
x2
El Dom( f ) 0 . Para valores de x cercanos a 0, los valores de f son
f ( x)

muy grandes, de modo que

1
.
x 0 x 2

lim f ( x) lim
x 0

Por otra parte, para valores grandes de x (tanto negativos como positivos)
los valores de f se acercan a 0. Entonces
lim f ( x) lim f ( x) 0

Con esta informacin el grfico de f

cerca de x 0 y en el infinito, tiene la
pinta que muestra la figura.
La recta y 0 es asntota horizontal. La
novedad respecto a los ejemplos
anteriores, es que el eje y, de ecuacin
x 0 es asntota vertical del grfico de f.

g ( x)

1
ex

Ya vimos que lim g ( x) lim g ( x) 1 y que, por lo tanto, y 1 es asntota

x

horizontal de g. Veamos su comportamiento cerca de x 0 donde no

est definida. Observemos que, cuando x tiende a 0 el exponente

1
x

tiende a ms infinito (si los valores de x son positivos) o tiende a menos

infinito (si los valores de x son negativos). En cada caso, el
comportamiento de la exponencial es diferente (tiende a ms infinito en
el primer caso y a 0 en el segundo).
Por esta razn distinguimos uno de otro, introduciendo la idea de lmite
lateral ya sea que x tienda a 0 por derecha o por valores mayores que
0 (en tal caso pondremos lim g ( x) ) ya sea que x tienda a 0 por
x 0

izquierda o valores menores que 0 (en tal caso pondremos lim g ( x) ).

x 0

En este ejemplo se tiene que:

1

lim g ( x) lim e x

x 0

x 0

(se lee: el lmite de g ( x) cuando x tiende a 0 por la derecha es ms infinito)

1

lim g ( x) lim e x 0

x 0

x 0

(se lee: el lmite de g ( x) cuando x tiende a 0 por la izquierda es igual a 0)

El lmite de g cuando x tiende a

0 no existe porque los lmites
laterales no coinciden, pero esta
informacin es muy til para
completar la pinta del grfico
de g que habamos empezado
en la seccin anterior. Tambin
en este caso, decimos que la
recta x 0 es asntota vertical
del grfico de f (a derecha si se
quieren ms datos)
o

h( x )

x 0 0 x

x2
x2 1

El dominio de h es: Dom(h) 1;1 , porque en esos dos

puntos se anula el denominador.
En el infinito, tanto en ms como en menos infinito, tenemos que
y 1 es asntota horizontal:
x2
1
x
x x 2 1
x2
lim h( x) lim 2
1
x
x x 1
lim h( x) lim

Cerca de x 1 , tomamos lmites laterales:

x2

2
x 1
x 1 x 1
x2
lim h( x) lim 2

x 1
x 1 x 1
Cerca de x 1 tambin
lim h( x) lim

tomamos lmites laterales

x2

2
x 1
x 1 x 1
x2
lim h( x) lim 2

x 1
x 1 x 1

x 1 1 x

x 1 1 x

lim h( x) lim

En el grfico traducimos la informacin obtenida. Las rectas x 1 y

x 1 son asntotas verticales.
o Definiciones (slo algunas)
lim f ( x) si dado M , existe
x a

0 tal que:
0 x a entonces f ( x) M

aaa

El grfico est en la franja

verde para 0 x a

a a

lim f ( x) si dado M ,

x a

existe 0 tal que:

0 x a entonces f ( x) M

El grfico est en la franja

verde para 0 x a

En ambos casos, decimos que la recta x a es asntota vertical

de f.

Lmite en un punto. lim f ( x) L

x a

En general, dada una funcin, ser interesante estudiar el comportamiento de su

grfico (calcular los lmites) en los confines o bordes de su dominio.
Veamos un ejemplo antes de dar la ltima definicin
o Dada f ( x)

x 5
, determinar el dominio de f y el comportamiento
x 4 3

de f en los bordes del mismo.

En primer lugar, el argumento de la raz cuadrada debe ser mayor o igual

a 0. Es decir:
x 4 0 x 4

En segundo lugar, el denominador no se puede anular. Entonces

x 4 3 0 x 5

En otras palabras, el dominio de f es el conjunto:

Dom( f ) [4,5) (5, )

Los bordes a estudiar el comportamiento de f son x 4 , x 5 y en

ms infinito. Veamos uno por vez.
x 4 : la funcin est definida en este punto y vale
f (4)

4 5
3
4 4 3

x 5 : tomamos lmite, usando las mismas tcnicas de clculo que

usbamos

para

sucesiones. En

este

caso

tenemos una

0
indeterminacin del tipo
. Multiplicamos y dividimos por el
0
conjugado de x 4 3 .
lim f ( x) lim
x 5

x 5

x 5
x 5
x4 3
lim
lim( x 4 3) 6
x 4 3 x5 x 4 3 x 4 3 x5

En ms infinito: se lo puede tratar igual que una sucesin. En este

caso conviene aprovechar la cuenta que recin hicimos.
lim f ( x) lim ( x 4 3)

La funcin no tiene
asntotas horizontales
ni
verticales. La
pinta del grfico de
f en los confines
del dominio de f es el
del dibujo

6
3
4

o Definicin
La expresin lim f ( x) L se lee: el lmite de
x a

f ( x) cuando x tiende a a es L y se define de la

siguiente forma:

lim f ( x) L si dado 0 , existe 0 tal

que:

L
L

x a

0 x a entonces f ( x) a

a a a

El grfico est en la ventana

verde para 0 x a

Tendr sentido definir tambin lmites laterales: lim f ( x) y lim f ( x)

x a

x a

Propiedades y ejemplos
El lmite de funciones hereda naturalmente las propiedades del lmite de
sucesiones. Los Teoremas del sndwich, cero por acotado, del lgebra de
lmites, tienen una versin anloga para funciones.
De la misma forma las tcnicas de clculo de lmite incorporadas para tratar
lmites de sucesiones, se adaptan bien para el clculo de lmite de funciones.
Es ms, algunos resultados obtenidos en el caso de sucesiones sirven para
calcular lmites de funciones. Veamos un par de ejemplos:
o

f ( x)

ex
. Estudiar el comportamiento de f, Dar la ecuacin de sus
x

asntotas horizontales y verticales (si es que las tiene) y la pinta del

grfico en los confines de su dominio.
El dominio de f es: Dom( f ) 0 . Estudiaremos el comportamiento
de f cerca del 0 y en ms y menos infinito.
Cerca de cero. Como la exponencial es siempre positiva, f es positiva o
negativa de acuerdo a que x (que est dividiendo) lo sea. Entonces
lim

x 0

ex
y
x

lim

x 0

ex

x

La recta x 0 es asntota vertical

En menos infinito. Podemos usar lgebra de lmites.
ex
1
lim lim e x 0 0 0
x
x x
x x x
De modo que la recta y 0 es asntota horizontal a izquierda.

En ms infinito. Tenemos una indeterminacin del tipo . Vimos que

n
e
ex
. En efecto,
lim . Este resultado nos ayuda a calcular el lim
n n
x x
cualquier x real positivo, est en un intervalo de la forma [n, n 1) donde
lim f ( x) lim

n es un nmero natural (a ese nmero n se lo llama parte entera de x y se

lo escribe como x ). Es decir que, dado x real positivo, existe n natural
tal que n x n 1
Entonces valen las desigualdades
en e x en1 y

1
1 1

n 1 x n

Entonces
en
e x en 1

n 1 x
n

Hemos encerrado a f entre dos

sucesiones a la que le sabemos calcular
el lmite, por ejemplo, usando el
criterio de Cauchy. Se obtiene
en
en 1
y lim

n n 1
n n
ex
Entonces lim
(la exponencial crece ms rpido que la lineal)
x x
lim

Con los lmites calculados, tenemos la pinta del grfico de f.

o Estudiar el comportamiento de g ( x)

ln x
en los confines de su
x

dominio.
El logaritmo slo est definido para valores positivos. Entonces
Dom( g ) (0, )

Cerca de cero: Slo tiene sentido calcular el lmite por derecha. El

numerador tiende a menos infinito y el denominador, siempre positivo,
tiende a cero. Entonces es claro que
lim g ( x) lim

x 0

x 0

ln x

x

La recta x 0 es asntota vertical.

En ms infinito: Usaremos una tcnica que suele ser til en ciertas
ocasiones. Vamos cambiar la variable haciendo y ln x (en tal caso, es
x e y ). Cuando

la nueva variable y . Entonces,

cambiando la variable nos aparece el lmite del ejemplo anterior.
lim

ln x
y
lim y
y

x
e

1
ey
lim
y y

Es decir
ln x
0 (el logaritmo crece
x x

lim g ( x) lim

ms lento que la lineal)

Para la pinta del grfico de g observamos
que g es positiva para valores de x mayores
que 1.

Continuidad
Idea de continuidad
El concepto de funcin continua est estrechamente ligado al concepto de lmite.
Cuando las funciones se refieren a fenmenos, relacionan causas con efectos.
Es decir, si y f ( x) , la variable x es la causa, mientras que y es el efecto.
En tal sentido, la idea de continuidad viene a decir que a pequeas variaciones
en la causa, corresponden pequeas variaciones en el efecto. Esta idea permite
controlar los efectos ( f ( x) ), con slo tener el control de la causa (x). Una
discontinuidad en la funcin har imprevisible los efectos ya que la causa estar
sujeta a las imprecisiones de medicin.
o Definicin
Una funcin f es continua en x a si
1) Existe f (a) . Es decir a Dom( f )
2) Existe lim f ( x) . Es decir lim f ( x) lim f ( x)
x a

x a

x a

3) lim f ( x) f (a) .
x a

Los grficos de las siguientes funciones no son continuas en x a , porque

alguna de estas tres condiciones no se cumple:

Los lmites laterales existen

pero no coinciden entre si.

El lmite existe pero no

coincide con f (a)

a
La funcin no est
definida en a.

Discontinuidades evitables
La funcin f ( x)

x 5
, que estudiamos ms arriba, no est definida en
x 4 3

x 5 (se anula el denominador). Con esto alcanza (condicin 2) de la

definicin) para decir que f no es continua en ese punto (se dice tambin que es
discontinua en x 5 )
Sin embargo vimos que
lim f ( x) lim
x 5

x 5

x 5
x 5
x4 3
lim
lim( x 4 3) 6
x

5
x 4 3
x 4 3 x 4 3 x5

(La situacin es similar a la del tercer grfico de esta hoja)

Si redefinimos a la funcin f agregando el valor lmite en x 5 , tenemos
una funcin continua. Es decir, la funcin
x5
si 4 x , x 5

g ( x) x 4 3
es continua en x 5 .

6
si x 5

En estos casos se dice que la discontinuidad de f es evitable

Propiedades de las funciones continuas

Como consecuencia directa de la definicin, las funciones continuas tienen las
siguientes propiedades
o Conservacin de signo
Si una funcin f es continua en x a y
f (a)
f (a) 0 , entonces f permanece positiva
f (a)
2
cerca de a (o negativa si f (a) 0 )
f (a)
o Acotacin en un entorno
f (a)
f (a)
Si una funcin f es continua en x a ,
2
entonces f ( x) est acotada superior e
aa a
inferiormente cerca de a (ver grfico)
Demostracin
En la definicin de lim f ( x) f (a) , tomando
x a

f (a)
y mirando fijo el grfico, se obtienen

f ( x) 0 si
a x a .
f ( x) est acotada
en a x a

los dos resultados.

Teorema de Bolzano
Si f : a, b es una funcin continua, tal que f (a) 0 y f (b) 0 (o al
revs) entonces existe c (a, b) tal que f (c) 0
Demostracin
Consideremos el conjunto
A x a, b : f ( x) 0
(en el grfico es el pintado de rojo).
Observemos que
A est acotado ( A a, b )

A (a A)
Entonces existe sup A c . Vamos a probar
que f (c) 0 .
Para ello, descartamos las otras dos posibilidades:
o Si fuera f (c) 0 :
Entonces a c b . Por la conservacin del signo,
f ( x) 0 en (c , c . Entonces el conjunto A est a la
izquierda de c . En otras palabras, c es una cota
superior (menor que c) del conjunto A. Pero esto
contradice que c es la menor de las cotas superiores de A.
o Si fuera f (c) 0
Entonces a c b . Por la conservacin del signo,
f ( x) 0 en c , c ) . Entonces el intervalo

(c, c ) A . Es decir, hay elementos de A a la

derecha de c. Pero esto contradice que c es cota superior
de A.

c c

Elementos de A

Luego f (c) 0
o Problema
Hallar en forma aproximada, con un decimal exacto, una solucin de
x5 5 x 2 2 0 .
Solucin
La funcin f ( x) x5 5x 2 2 es continua.
Adems f (0) 2 0 y f (1) 1 5 2 4 0 .
El Teorema de Bolzano asegura que existe c (0,1) tal que f (c) 0 . Es
decir, en el intervalo (0,1) tenemos una solucin de x5 5x2 2 0 . En
consecuencia, la parte entera de c es 0 (porque est entre 0 y 1). Para
encontrar el primer decimal, estudiamos el signo de f (0,1); f (0, 2)... etc.
hasta f (0,9) y vemos en qu intervalo cambia de signo. Haciendo esto
se obtiene
f (0,1)

f (0, 2)

f (0,3)

f (0, 4)

f (0,5)

f (0, 6)

f (0, 7)

f (0,8)

f (0,9)

negativo

negativo

negativo

negativo

negativo

negativo

positivo

positivo

positivo

Usamos el Teorema de Bolzano en

el intervalo 0, 6;0, 7 . En este
intervalo, la funcin f pasa de
negativo a positivo, entonces existe
un c en ese intervalo tal que
f (c) 0 . Por estar all, se tiene que
c 0,6...
El Teorema de Bolzano es un
teorema de existencia. Vemos en
este ejemplo, que con solo saber que
existe, tenemos una receta
(algoritmo) que permite encontrarla
con la precisin que se quiera.

Mtodo de biseccin
Es ms econmico que el
descrito. Consiste en ir partiendo
los intervalos por la mitad y
quedarse en cada paso, con el
intervalo donde f cambia de
signo.
En el ejemplo sera:
Como f (0,5) 0 el cero est en
el intervalo (0,5;1) . Volvemos a
parir en dos el intervalo
Como f (0,75) 0 el cero est
entre 0,5 y 0,75 y as siguiendo.

El Teorema de Bolzano se generaliza fcilmente al Teorema de Valores

Intermedios.

Teorema de los Valores Intermedios

Sea f : a, b es una funcin continua, Si y es nmero comprendido entre

f (a) y f (b) entonces existe c (a, b) tal que f (c) y

o Problema
Para ilustrar la potencia de este resultado planteamos un bonito problema.
Un automovilista sale de la ciudad A a las 12hs y llega a la ciudad B a las
16hs tardando exactamente 4 horas en recorrer los 400 kilmetros que

separa una ciudad de la otra. En esas cuatro horas se pudo haber detenido
un rato, ir muy despacio o ir muy rpido.
Demostrar que cualquiera haya sido el caso existe un intervalo de una
hora comprendida entre las 12hs y las 16hs donde recorri exactamente
100 kilmetros.
Solucin
Llamemos f (t ) a la cantidad de kilmetros que lleva recorridos a la hora
t. As f (12) 0 y f (16) 400 . Asumimos que la funcin f es continua.
Consideremos ahora la funcin continua g (t ) f (t 1) f (t ) definida
para 12 t 15 . La funcin g mide la cantidad de kilmetros recorridos
entre la hora t y la hora t 1 . Para resolver el problema bastara saber que
existe un instante t0 (12,15) tal que g (t0 ) 100 . Veamos que el Teorema
de los Valores Intermedios puede venir en nuestra ayuda. Se tiene que
g (12)
g (13)
g (14)
g (15)

f (13)
f (14)
f (15)
f (16)

f (12)
f (13)
f (14)
f (15)

Si se suman estos cuatro nmeros se obtiene

g (12) g (13) g (14) g (15) f (16) f (12) 400

En consecuencia los cuatro nmeros no pueden ser todos menores que

100 porque si as fuera su suma no llegara a 400. De la misma manera
no pueden ser todos mayores que 100 porque en tal caso su suma sera
mayor que 400. Entonces alguno de los cuatro tiene que ser menor o
igual que 100 y algn otro tiene que ser mayor o igual que 100. (por
ejemplo g (13) 100 y g (15) 100 o cualquier otro, da lo mismo para el
razonamiento)
El Teorema de los Valores Intermedios nos asegura que entre esos dos
instantes (entre las 13hs y las 15hs si seguimos con el ejemplo) hay un
instante t0 tal que g (t0 ) 100 .
No sabemos cual es ese instante, pero s sabemos que existe tal instante.