Lmites (una introduccin)

Aproximarse
A veces algo no se puede calcular directamente... pero puedes saber cul debe de ser el
resultado si te vas acercando ms y ms!
Usemos por ejemplo esta funcin:
(x2-1)/(x-1)
Y calculemos su valor para x=1:
(12-1)/(1-1) = (1-1)/(1-1) = 0/0
Pero 0/0 es un problema! En realidad no podemos saber el valor de 0/0, as que tenemos
que encontrar otra manera de hacerlo.
En lugar de calcular con x=1 vamos a acercarnos poco a poco:
x
0.5
0.9
0.99
0.999
0.9999
0.99999
...

(x2-1)/(x-1)
1.50000
1.90000
1.99000
1.99900
1.99990
1.99999
...

Vemos que cuando x se acerca a 1, (x2-1)/(x-1) se acerca a 2

Ahora tenemos una situacin interesante:

Cuando x=1 no sabemos la respuesta (es indeterminada)

Pero vemos que va a ser 2

Queremos dar la respuesta "2" pero no podemos, as que los matemticos usan la palabra
"lmite" para referirse exactamente a estas situaciones
El lmite de (x2-1)/(x-1) cuando x tiende (o se aproxima) a 1 es 2
Y con smbolos se escribe as:

As que es una manera especial de decir "ignorando lo que pasa al llegar, cuando te
acercas ms y ms la respuesta se acerca ms y ms a 2"

En un grfico queda as:

As que en realidad no puedes decir cunto vale en x=1.
Pero s puedes decir que cuando te acercas a 1, el lmite es 2.

Mira los dos lados!

Es como subir una colina y darte cuenta de que el camino ha "desaparecido"
mgicamente...
... pero si slo miras uno de los dos lados, quin sabe qu est pasando?
As que tienes que mirar las dos direcciones para estar seguro de dnde "debe de
estar"!
Probemos por el otro lado:
x
1.5
1.1
1.01
1.001
1.0001
1.00001
...

(x2-1)/(x-1)
2.50000
2.10000
2.01000
2.00100
2.00010
2.00001
...

Tambin va hacia 2, as que todo est bien

Cuando es distinto en los dos lados

Pero y si tenemos una funcin "f(x)" con un "salto" as:

En esta funcin el lmite no existe en

"a" ... !
No puedes decir cul es, porque hay dos
respuestas contradictorias:

3.8 por la izquierda, y

1.3 por la derecha

Pero s puedes usar los signos "-" o "+"

(como en el dibujo) para definir los
lmites laterales:

el lmite por la izquierda (-) es

3.8

el lmite por la derecha (+) es

1.3

Y el lmite ordinario "no existe"

Los lmites slo son para funciones difciles?

Los lmites valen tambin cuando ya sabes el valor al llegar! Nadie ha dicho que sean
slo para funciones complicadas.
Por ejemplo:

Sabemos perfectamente que 10/2 = 5, pero tambin podemos usar lmites (si queremos!)

Acercarse al infinito
El infinito es una idea muy especial. Sabemos que no podemos
alcanzarlo, pero podemos calcular el valor de funciones que
tienen al infinito dentro.

Vamos a empezar con un ejemplo interesante.

Pregunta: Cul es el valor de 1/?

Respuesta: No lo sabemos!

Por qu no lo sabemos?
La razn ms simple es que infinito no es un nmero, es una idea. As que 1/ es un poco
como decir 1/belleza o 1/alto.
A lo mejor podramos decir que 1/ = 0 ... pero eso es un poco problemtico, porque si
dividimos 1 en infinitas partes y resulta que cada una es 0, qu ha pasado con el 1?
De hecho 1/ es indefinido.

Pero podemos acercarnos a l!

As que en lugar de intentar calcular con infinito (porque no sacaremos ninguna respuesta
razonable), vamos a probar con valores de x ms y ms grandes:
x

1/x
1
2
4
10
100
1,000
10,000

1.00000
0.50000
0.25000
0.10000
0.01000
0.00100
0.00010

Ahora vemos que cuando x crece, 1/x tiende a 0

Ahora tenemos una situacin interesante:

No podemos decir qu pasa cuando x llega a infinito

Pero vemos que 1/x va hacia 0

Queremos decir que la respuesta es "0" pero no podemos, as que los matemticos usan la
palabra "lmite" para referirse exactamente a esto
El lmite de 1/x cuando x tiende a infinito es 0
Y lo escribimos as:

En otras palabras:
Cuando x va a infinito, 1/x va a 0
Cuando veas "lmite", piensa en "acercarse"

Es una manera matemtica de decir que "no estamos hablando de lo que pasa cuando
x=, pero sabemos que cuando x crece, la respuesta se acerca ms y ms a 0".
Lee ms en lmites en el infinito.

Resolviendo
Hemos sido un poco vagos, slo hemos dicho que el lmite es un cierto valor porque parece
que vamos hacia l.
Con eso no basta!

Lmites (definicin formal)

Primero lee la introduccin a los lmites

Acercndose ...
A veces algo no se puede calcular directamente... pero puedes saber cul debe de ser el
resultado si te vas acercando ms y ms! A esto lo llamamos el lmite de una funcin.
Por ejemplo, cul es el valor de (x2-1)/(x-1) cuando x=1?
(12-1)/(1-1) = (1-1)/(1-1) = 0/0
Pero 0/0 es "indeterminado", lo que significa que no podemos calcular su valor. En lugar de
calcular con x=1 vamos a acercarnos poco a poco:
x
0.5
0.9
0.99
0.999
0.9999
0.99999
...

(x2-1)/(x-1)
1.50000
1.90000
1.99000
1.99900
1.99990
1.99999
...

Vemos que cuando x se acerca a 1, (x2-1)/(x-1) se acerca a 2, as que decimos:

El lmite de (x2-1)/(x-1) cuando x tiende (o se aproxima) a 1 es 2
Y con smbolos se escribe:

Ms formal
Pero no podemos decir que el lmite es un cierto valor slo porque parezca que vamos
hacia l. Nos hace falta una definicin ms formal. As que vamos a empezar por la idea
general

De espaol a matemticas

Vamos a decirlo primero en espaol:

"f(x) se acerca a un lmite cuando x se acerca a un valor"
Si llamamos "L" al lmite, y "a" al valor al que se acerca x, podemos decir
"f(x) se acerca a L cuando x se acerca a a"

Calculando "cerca"
A ver cul es una manera matemtica de decir "cerca" ... a lo mejor restar un valor de otro?
Ejemplo 1: 4.01 - 4 = 0.01
Ejemplo 2: 3.8 - 4 = -0.2
Hmmm... cerca negativamente? Eso no tiene mucho sentido... lo que nos hace falta es "no
me importa si es negativo o positivo, slo quiero saber la distancia". La solucin es usar el
valor absoluto.
"Qu tan cerca" = |a-b|
Ejemplo 1: |4.01-4| = 0.01
Ejemplo 2: |3.8-4| = 0.2
Y si |a-b| es pequeo sabremos que est cerca, as que escribimos:
"|f(x)-L| es pequeo cuando |x-a| es pequeo"
Y esta animacin muestra lo que pasa con la funcin
f(x) = (x2 - 1) / (x-1)

cuando x se acerca a a=1,

f(x) se acerca a L=2

As que

|f(x)-2| es pequeo

cuando |x-1| es pequeo.

Delta y epsilon
Pero "pequeo" es espaol, no "matemtico".
Tenemos que elegir dos valores para ser ms pequeos que ellos:
para que |x-a| sea ms pequeo que l
para que |f(x)-L| sea ms pequeo que l
(Nota: estas dos letras griegas, llamada "delta" y llamada "epsilon", se suelen
usar para esto, de aqu sale la frase "delta-epsilon")
Y tenemos:

"|f(x)-L|<

cuando |x-a|<

"

Y esto lo dice todo! As que si entiendes esto entenders los lmites...

... pero para ser absolutamente preciso necesitamos poner estas tres condiciones:
1)

2)

se cumple para todos los

>0

existe y es >0

3)
x no es exactamente igual
que a significa 0<|x-a|

Y as queda:

"para cada

>0, hay un

>0 que cumple que |f(x)-L|<

cuando 0<|x-a|<

"

Esta es la definicin formal. Pero la esencia es que cuando x se acerca a a entonces f(x) se
acerca a L.

Cmo se usa en una demostracin

Para usar esta definicin en una prueba, tenemos que ir
De:

A:
|f(x)-L|<

0<|x-a|<

Normalmente esto significa encontrar una frmula para

funcione.

(en trminos de

) que

Cmo la encontramos? Adivina y comprueba!

1. Juega y manipula hasta que encuentres una frmula que podra funcionar
2. Ponla a prueba para ver si de verdad funciona.

Ejemplo: vamos a intentar probar que

Cmo vamos de:

(Nota: a=3, y L=10)

0<|x-3|<

|(2x+4)-10|<

Paso 1: juega con el lmite hasta que encuentres una frmula que podra
funcionar

Empieza con:
Simplifica:

|2x-6|<

Saca el 2:

2|x-3|<

Pasa el 2 al otro lado:

Aqu podemos adivinar que

|(2x+4)-10|<

|x-3|<

/2 puede funcionar

Paso 2: comprueba a ver si la frmula funciona.

/2

Entonces, cmo vamos de 0<|x-3|<

a |(2x+4)-10|<

Empieza con:
Sustituye

? A ver...

0<|x-3|<
0<|x-3|<

Pasa el 2 al otro lado:

0<2|x-3|<

Pon el 2 dentro:

0<|2x-6|<

Saca un "10"

S! Podemos ir de 0<|x-3|<

"para cada

, existe un

0<|(2x+4)-10|<

a |(2x+4)-10|<

As que s se cumple que siempre hay un

/2

eligiendo

/2

, entonces es verdad que:

que cumple que |f(x)-L|<

cuando 0<|x-a|<

"

Y as hemos demostrado que

Conclusin
Esta demostracin ha sido bastante simple, espero que explique esas palabras tan extraas
"existe un... ", y que hayas aprendido una buena manera de intentar este tipo de
demostraciones.

Fuente: http://www.disfrutalasmatematicas.com/calculo/limites-formal.html