Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Limites y Continuidad
Limites y Continuidad
SISTEMAS DINMICOS I
Comisiones 3, 4 y 5
2012
ENTORNOS
DEFINICIN DE ENTORNO
Un entorno es un conjunto de puntos alrededor de uno en particular. Es un intervalo o unin de
intervalos. Se los puede expresar como tales o como inecuaciones, usando valor absoluto. Los entornos son
intervalos abiertos, ya que deseamos que se puedan analizar con un radio que se reduce tanto como se
desee.
Se llama entorno de centro a y radio , y se denota por E(a,), al intervalo abierto (a-, a+).
E (a, ) = (a , a + )
a+
Los entornos tambin se expresan con ayuda del valor absoluto. El entorno E (a, ) se puede
expresar:
|x a|< o a < x < a +
Entorno reducido
Se emplea cuando se quiere saber qu pasa en las proximidades del punto, sin que interese lo que
ocurre en dicho punto. Es un entorno que excluye el centro del mismo, a.
E (a, )= (a , a ) (a, a + )
a+
Expresado con ayuda del valor absoluto. El entorno E (a, ) se puede expresar:
0<|x a|<
LMITE FUNCIONAL
x2 4
;
x2
f@2D
1
Power::infy : Infinite expression
encountered.
0
Infinity::indet : Indeterminate expression 0 ComplexInfinity encountered.
Indeterminate
x2 4
, en x = 2
x 2
El valor de funcin en x = 2 est indeterminado, ya que es un 0/0. Sin embargo, en las tablas
siguientes veremos que los valores de funcin siguen una tendencia:
Table@8x, f@xD<, 8x, 2.1, 2.01, 0.01<D TableForm
2.1
2.09
2.08
2.07
2.06
2.05
2.04
2.03
2.02
2.01
4.1
4.09
4.08
4.07
4.06
4.05
4.04
4.03
4.02
4.01
Los valores de funcin para valores de x mayores que 2, pero que se aproximan a l, tienden a 4.
Table@8x, f@xD<, 8x, 1.9, 1.99, 0.01<D TableForm
1.9
1.91
1.92
1.93
1.94
1.95
1.96
1.97
1.98
1.99
3.9
3.91
3.92
3.93
3.94
3.95
3.96
3.97
3.98
3.99
Los valores de funcin para valores de x menores que 2, pero que se aproximan a l, tienden a 4.
Ambas sucesiones de nmeros se aproximan al mismo valor, 4. La grfica de la funcin (que es en
realidad una recta, con un valor indeterminado en x=2) muestra que a medida que x sea cercana a 2, la
funcin se aproxima a 4.
Plot@f@xD, 8x, 3, 3<D
5
-3
-2
-1
-1
Se dice que la funcin f(x) tiene como lmite el nmero L, cuando x tiende a a, si fijado un nmero
real positivo , mayor que cero, existe un numero positivo dependiente de , tal que, para todos los
valores de x distintos de a que cumplen la condicin |x a| < , se cumple que |f(x) - L| <
Expresado a travs del concepto de entornos podramos decir que, si y slo si, para cualquier
entorno de L que tomemos, por pequeo que sea su radio, existe un entorno de a ,E(a, ), cuyos
elementos (sin contar a), tienen sus imgenes dentro del entorno de L, E(L,). En el grfico siguiente vemos
reflejados estos conceptos.
L+
L
L
a+
Se podra decir que al elegir un >0, tan pequeo como se desee, debe existir un entorno reducido
alrededor de a, de un cierto radio , de forma tal que para cualquier valor de x elegido y que
pertenezca al entorno, se produzca una imagen que est incluida dentro del entorno alrededor de L (en
lnea de trazo y puntos en el grfico).
No existencia de lmite
La no existencia de lmite, a veces es ms sencilla de interpretar. No existe lmite cuando para
agenestablecida. En el grfico adjunto se ve que si elegimos a L como lmite, hay algn para el que un
valor del dominio perteneciente al E(a, ) genera un
valor de funcin que est fuera del entorno E(L,)
(lnea de trazos gruesos).
L+
limf(x) L > 0 > 0 / 0 < x a < f(x) L
x a
a+
Lmites laterales
En el anlisis realizado para demostrar la no existencia de lmite qued sin embargo
planteada una cuestin importante, y es la posibilidad de analizar lmites laterales. O sea, ser posible
hallar semientornos, a derecha e izquierda del punto analizado, que cumplan con los requerimientos del
concepto de lmite?.
Esto quiere decir que dado un posible lmite LD (lmite derecho), podamos definir un 1 > 0, para el
que se pueda hallar un semientorno (a, a + 1), de forma tal que un valor x perteneciente a l, genere una
imagen incluida en el entorno (LD, LD + ). Lo mismo si nos proponemos un posible lmite LI (lmite
izquierdo).
En general, para un y un cualquiera, podemos
definir entonces los lmites laterales como sigue:
LD + 1
LD
x a+
LI
LI 2
x a
a 2
a + 1
Por ejemplo, sea la funcin por partes:
x + 1
f(x) = 2
x
x <1
x >1
Su grfica es:
f@x_D = PiecewiseA98x + 1, x < 1<, 9x 2 , x > 1==E;
Plot@f@xD, 8x, 0, 3<, PlotRange 80, 4<, PlotStyle ThickD
4
0.0
0.5
1.0
1.5
2.0
2.5
3.0
Si construimos tablas de valores, para analizar lo que ocurre cuando x 1, por derecha y por izquierda:
Table@8x, f@xD<, 8x, 1.1, 1.01, 0.01<D TableForm
1.1
1.09
1.08
1.07
1.06
1.05
1.04
1.03
1.02
1.01
1.21
1.1881
1.1664
1.1449
1.1236
1.1025
1.0816
1.0609
1.0404
1.0201
Vemos que por derecha hay una tendencia a un valor de funcin igual a 1.
Limit@f@xD, x 1, Direction 1D
1
Por izquierda:
Table@8x, f@xD<, 8x, 0.9, 0.99, 0.01<D TableForm
0.9
0.91
0.92
0.93
0.94
0.95
0.96
0.97
0.98
0.99
1.9
1.91
1.92
1.93
1.94
1.95
1.96
1.97
1.98
1.99
En Mathematica para indicar lmites laterales, se usa la opcin Direction1, para indicar lateral
izquierdo, o Direction 1 para indicar el lateral derecho.
Lmite nico
Decimos que hay lmite nico, o simplemente que existe el limf(x) = L cuando existen ambos lmites
x a
x a+
x a
x a
LD = LI = L
Qu sucede si uno de los lmites no existe, o no existen ambos, o existen pero son distintos?.
Entonces diremos que no existe el lmite nico o simplemente que no existe el lmite.
b) lim f(x) =
x
c)
lim f(x) = k
En el primer caso aparece un lmite no acotado para una tendencia de la variable a un valor finito.
En el segundo caso es la variable y el lmite que tienden a infinito, y en el tercer caso el lmite es finito
cuando la variable tiende a infinito.
A) LMITE INFINITO CUANDO LA VARIABLE TIENDE A UN VALOR FINITO.
Analicemos la funcin:
f(x) =
f@x_D =
x
;
x 1
f@1D
Power::infy : Infinite expression
1
0
ComplexInfinity
encountered.
x
x 1
Esta funcin, no est definida en x = 1, ya que se produce la divisin por 0. Vamos a estudiar su
comportamiento en las cercanas de ese valor. Como se puede apreciar fcilmente presenta un cero en su
denominador para x= 1. Por lo tanto analizaremos su comportamiento en las cercanas de ese valor. En
primer lugar hacemos una tabla que toma valores de variable entre 0,9 y 1, en intervalos de 0,01. O sea
hacemos una aproximacin por izquierda, con valores menores que 1.
t1 = TableA8x, f@xD<, 9x, 0.9, 1, 102 =E;
Pow er::infy : Infinite expression
1
0.
encountered.
TableForm @t1D
0.9
0.91
0.92
0.93
0.94
0.95
0.96
0.97
0.98
0.99
1.
9.
10.1111
11.5
13.2857
15.6667
19.
24.
32.3333
49.
99.
ComplexInfinity
Como vemos no se acepta el valor x=1. Indica que ha encontrado una expresin de divisin por 0.
Da un resultado, que para Mathematica es ComplexInfinity, y que no es un nmero. Sin embargo, si
evitamos que tome ese valor, la tabla se configura sin problemas.
t2 = TableA8x, f@xD<, 9x, 0.9, 0.99, 102 =E;
TableForm @t2D
0.9
0.91
0.92
0.93
0.94
0.95
0.96
0.97
0.98
0.99
9.
10.1111
11.5
13.2857
15.6667
19.
24.
32.3333
49.
99.
11.
12.1111
13.5
15.2857
17.6667
21.
26.
34.3333
51.
101.
La aproximacin por derecha nos da valores de funcin cada vez mayores en valor absoluto, y
positivos.
Veamos la grfica:
Plot@f@xD, 8x, 1, 3<, PlotRange 8 10, 10<, Exclusions 8x = 1<D
10
-1
-5
- 10
5000
0.9995
1.0000
1.0005
1.0010
- 5000
- 10000
Refleja lo que ya hemos sealado con respecto al comportamiento cerca de x=1, o sea el
crecimiento de los valores de la funcin en valor absoluto, y con signos opuestos, a izquierda y a derecha.
Para expresar coloquialmente esta idea, podemos decir que si nos aproximamos con el valor de
x lo suficiente a x=1 por derecha, el valor de funcin tiende a +, si nos aproximamos por izquierda, tiende
a . O sea
Si x tiende a 1 por derecha, f(x) tiende a +
Si x tiende a 1 por izquierda, f(x) tiende a
Usando nomenclatura de lmite podemos escribir:
lim
x 1
x
x
= ; lim+
= +
x
1
x 1
x 1
El signo indica que se trata de valores que crecen en valor absoluto al aproximarnos en distintos
sentidos, pero con signos opuestos. Debemos entender que infinito no es un nmero al que se pueda
acceder. Adems se ve que los lmites laterales son distintos. Por esta situacin el lmite cuando x 1 en
realidad no existe.
x 1
Noexistelimf(x)
x 1
x
= +
lim+
x 1 x 1
lim
x 1
lim
x 1
x
=
x 1
Asntota vertical
En el caso de lmites infinitos de este tipo, aparece un concepto importante, que s el de asntota
vertical.
En general se le llama asntota a una lnea recta que se aproxima continuamente a otra funcin
o curva; es decir que la distancia entre las dos tiende a cero, a medida que se extienden indefinidamente.
En este caso es una recta vertical, y su ecuacin es :
x=a
Sintetizando:
Si limf(x) = x = a es la ecuacin de la asntota vertical
x a
lim ( x 4 + 3 x 3 2x ) = + =
lim ( x 5 3 x 2 2x ) =
lim ( x 5 3 x 2 2x ) =
x 3 3x 2 + x
x2 + 3
x3 3x2 +x
f@x_D :=
x2 +3
p@x_D = Numerator@f@xDD
f(x) =
x 3 x2 + x3
q @x_D = Denominator@f@xDD
3 + x2
9 pA106 E, q A106 E=
8999 997 000 001 000 000, 1 000 000 000 003<
pA106 E q A106 E N
999 997.
O sea el cociente es un nmero cada vez mayor, al crecer la variable. Se advierte que el numerador
es el que contiene al trmino principal est en el numerador, y por lo tanto arrastra el valor de la funcin.
C)LIMITE FINITO CUANDO LA VARIABLE TIENDE A INFINITO
Esta situacin se presenta en funciones racionales. Ocurre cuando el grado del denominador es
mayor o igual que el grado del denominador. En este caso, y haciendo un anlisis similar al que hiciramos
antes, el trmino principal del denominador es el que ms rpidamente crece, por lo que el cociente,
para valores crecientes de la variable, tiende a 0.
Por ejemplo analicemos la siguiente funcin racional, cociente de los polinomios p(x) y q(x), en la
que el grado del denominador es mayor.
p@x_D = x2 + 3 x;
q @x_D = x4 3 x3 + 2 x2 ;
f@x_D =
p@xD
q @xD
3 x + x2
2 x2 3 x3 + x4
9 pA10 E, q A105 E=
810 000 300 000, 99 997 000 020 000 000 000 <
Ambos crecen, pero est claro que q(x), el denominador lo hace en forma ms pronunciada.
Veamos entonces el valor del cociente:
fA105 E N
1.00006 1010
Qu sucede si los grados de denominador y numerador son iguales? Analicemos el siguiente caso:
p@x_D = x3 + x2 ;
q @x_D = 2 x3 + x2 ;
p@xD
q @xD
f@x_D =
x2 + x3
x2 2 x3
Vemos que para la variable relativamente grande, ambos polinomios poseen valores de orden
parecido (nmeros de 16 cifras ambos)
9 pA105 E, q A105 E=
81 000010000000000 , 1 999 990 000 000 000 <
fA10 E N
0.500008
El resultado es un nmero:
Limit@f@xD, x D
1
2
Ahora bien, qu relacin hay entre este resultado y la funcin original?. Teniendo en cuenta que
hasta ahora hemos analizado el resultado de los lmites estudiando el comportamiento de los trminos
principales, vemos que pasa en este caso. El coeficiente principal del numerador es 1, del denominador es
2. Entonces podemos pensar que el lmite es el cociente de los trminos principales. En general si
f(x) =
an xn + an1 xn1 + + a x + a0
bn xn + bn1 xn1 + + b x + b0
+
b
x
+
b
b
b
n
n 1
0
n
n
lim
RESUMEN
Sean p(x) y q(x) polinomios con coeficientes reales, su lmite cuando x puede ser:
=L
limf(x)
x a
f(a) L
6
5
4
x + 3 si x 1
f(x) =
si x = 1
3
1. f(1)= 3
2. lim = 4
-3
x 1
-2
-1
3. lim = 4 3
x 1
La discontinuidad se llama evitable debido a que se puede definir otra funcin (en algunos textos
redefinir la funcin), en la que el valor que no est definida se reemplaza por el lmite:
x + 3
g(x) =
4
si x 1
si x = 1
=L
limf(x)
x a
x2 4
x 2
lim
( x 2)( x + 2)
x2 4
= lim
= lim ( x + 2 ) = 4
x 2 x 2
x 2
x 2
x 2
Este resultado muestra que si bien la funcin en x = 2 no est definida, tiende a y = 4 cunado x tiende a
2. Por lo tanto se llama removible o evitable porque es posible redefinir la funcin o sustituirla por otra de
forma tal que sea continua.
x2 4
si x 2
g(x) = x 2
4
si x =2
Obviamente la nueva funcin no es igual que la anterior. Es una funcin asociada, con iguales
valores de funcin para todos los reales, excepto en x= 2.
Igual situacin tendramos si, por ejemplo en una funcin por partes el valor de funcin para un
cierto valor de x no estuviera definida.
2
x + 1 x < 0
f(x) =
x + 1 x > 0
La funcin no est definida en x=0, sin embargo lim+ f(x) = lim f(x) = 1 , por lo que el lmite existe.
x 0
x0
g(x) = x + 1 x > 0
1
x=0
x<0
x0
Su grfica es:
3.0
2.5
2.0
1.5
1.0
0.5
-3
-2
-1
En este caso, existe f(0), y es 0. Sin embargo no existe limf(x) , ya que los lmites laterales son
x 0
distintos:
lim+ f(x) = 0
x 0
f(x) = 1
xlim
0
En este caso no es posible redefinir la funcin. Tampoco sera posible en el caso de no existir la
funcin.
La discontinuidad de salto infinito se presenta asociada con la existencia de asntotas verticales
antes analizadas. En este caso, generalmente no existen ni la funcin ni su lmite. Por ejemplo:
f(x) =
x
cuya grfica es:
x +1
4
-3
-2
-1
-2
No evitable:
o No existe limf(x) (generalmente tampoco existe f(a)
x a