Escolar Documentos
Profissional Documentos
Cultura Documentos
En matemtica, el concepto de lmite es una nocin topolgica que formaliza la nocin intuitiva
de aproximacin hacia un punto concreto de una sucesin o una funcin, a medida que los
parmetros de esa sucesin o funcin se acercan a determinado valor.
En clculo infinitesimal (especialmente en anlisis real y matemtico) este concepto se utiliza
para definir los conceptos fundamentales de convergencia, continuidad, derivacin,integracin,
entre otros. Si bien, el concepto de lmite parece intuitivamente relacionado con el concepto de
distancia, en un espacio eucldeo, es la clase de conjuntos abiertosinducidos por dicha
mtrica, lo que permite definir rigurosamente la nocin de lmite.
El concepto se puede generalizar a otros espacios topolgicos, como pueden ser las redes
topolgicas; de la misma manera, es definido y utilizado en otras ramas de la matemtica,
como puede ser la teora de categoras.
Para frmulas, el lmite se utiliza usualmente de forma abreviada mediante lim como en lim(an)
= a o se representa mediante la flecha () como en an a.
La definicin de lmite matemtico para el caso de una sucesin nos indica intuitivamente que
los trminos de la sucesin se aproximan arbitrariamente a un nico nmero o punto L, si
existe, para valores grandes de n. Esta definicin es muy parecida a la definicin del lmite de
una funcin cuando x tiende a .
Formalmente, se dice que la sucesin an tiende hasta su lmite L, o que converge o es
convergente (a L), y se denota como:
limnan=L
si y solo si para todo valor real >0 se puede encontrar un nmero natural N tal que todos los
trminos de la sucesin, a partir de un cierto valor natural n mayor
que N converjan a L cuando n crezca sin cota. Escrito en un lenguaje formal, y de manera
compacta:
anL >0,N>0:n>N,|anL|<
Este lmite, si existe, se puede demostrar que es nico. Si los trminos de la sucesin no
convergen a ningn punto especfico, entonces se dice que la sucesin es divergente.
tiene lmite
cerca de
haciendo que
en
tiende
distinto de .
Los conceptos cerca y suficientemente cerca son matemticamente poco precisos. Por esta
razn, se da una definicin formal de lmite que precisa estos conceptos. Entonces se dice:
El lmite de una funcin f(x), cuando x tiende a c es L si y slo si para
todo
existe un
la funcin
definida
como:
la anterior afirmacin es necesario hacer uso del hecho de que cada intervalo contiene
tanto nmeros racionales como irracionales.
Teoremas de Lmites
Para facilitar la obtencin del lmite de una funcin sin tener que recurrir cada vez a la
definicin psilon-Delta se establecen los siguientes teoremas.
Los teoremas se numeran consecutivamente para facilitar una futura referencia.
Teorema de lmite1:
Si k es una constante y a un nmero cualquiera, entonces
Teorema de lmite2:
Para cualquier nmero dado a,
Teorema de lmite3:
Si m y b son dos constantes cualesquiera, entonces
Teorema de lmite4:
Teorema de lmite5:
Teorema de lmite6:
Si f es un polinomio y a es un nmero real, entonces
Teorema de lmite7:
Si q es una funcin racional y a pertenece al dominio de q, entonces
Teorema de lmite8:
Lmite infinito
Observemos la funcin f(x)=1/x2 para valores de x positivos muy grandes.
x
f(x)
100
1,0x10-4
1.000
1,0x10-6
10.000
1,0x10-8
100.000
1,0x10-10
1.000.000 1,0x10-12
Veamos a continuacin las definiciones precisas de cada uno de los lmites que
involucran al infinito.
Definicin
Lmite infinito
limx->af(x) = +inf <=> para todo A > 0 existe > 0 / para todo x perteneciente al
E*a, f(x) > A.
El lmite de f(x) cuando x->a es infinito positivo, si para cualquier nmero positivo A
(tan grande como se quiera), podemos encontrar un nmero tal que, para todos los
x dentro del entorno reducido de a de radio se cumple que f(x) es mayor que A.
En otras palabras, si para cualquier nmero positivo A que consideremos, existe un
entorno reducido de a donde la funcin vale ms que A, quiere decir que f(x) puede
hacerse mayor que cualquier nmero, con tal de que x se acerque lo suficiente a a. Por
eso se dice que el lmite de f(x) cuando x tiende a a es +inf.
/ ?
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.
1/x
1
1.00000
0.50000
0.25000
10
0.10000
100
0.01000
1,000
0.00100
10,000
0.00010
Queremos decir que la respuesta es "0" pero no podemos, as que los matemticos usan la
palabra "lmite" para referirse exactamente a esto
En otras palabras:
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".
DEFINICIN
Si un punto (x,y) se desplaza continuamente por una funcin
y=f(x) de tal forma que, por lo menos, una de sus
coordenadas tienda al infinito, mientras que la distancia entre
ese punto y una recta determinada tiende a cero, esta recta
recibe el nombre de asntota de la funcin.
Las asntotas se clasifican en:
f(x)=x2
f(x)=sgn x
Nota: observar que debe existir f(a) y debe existir el limx->a f(x) y debe ser igual
a f(a).
Ejemplos de discontinuidad
f(x)= 1/x2
Discontinua en x=0 (No existe f(0))
f(x) = x2 si x <= 2
2x - 4 si x > 2
Discontinua en x=2.
Si bien existe f(2), no existe limx->2f(x), pues limx>2-f(x)=4 y limx->2+f(x)=0
Sin embargo, si miramos la funcin para x prximos a 2 pero menores, e
ignoramos los x mayores que 2, la funcin es continua en 2 "por la izquierda".
Definicin
Continuidad por la izquierda
Una funcin f(x) es continua por la izquierda en el punto a si existe f(a) y limx>a-f(x) = f(a).
f(x)= e-1/x2 + 2
Caso B:
Existe f(a) y existe limx->af(x)=b pero bf(a).
(Existe f(a) pero es distinto al valor del lmite).
Ejemplo:
f(2) = 8
limx->2 f(x) = 4
Asignndole a la funcin el valor 4 en x=2, se elimina la discontinuidad.
No evitable
1 especie:
limx->a-f(x) limx->a+f(x).
(Los lmites laterales son distintos).
Ejemplo:
f(x)
=
x/(x
f(x) = x2 si x2
8 si x=2
- 2)
limx->2-f(x) = -inf
limx->2+f(x) = +inf
2 especie:
No existe limx->a-f(x) o no existe limx->a+f(x).
(No existe por lo menos uno de los lmites laterales).
Ejemplo:
______
f(x) = \|x2 - 4