Lmite matemtico

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 elucdelo, es la clase de conjuntos
abiertos inducidos 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.

Lmite de una sucesin

La sucesin para converge al valor 0, como se puede prever en la ilustracin.

Lmite de una sucesin

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 , si existe, para valores

grandes de . Esta definicin es muy parecida a la definicin del lmite de
una funcin .

Formalmente, se dice que la sucesin tiende hasta su lmite , o

queconverge o es convergente (a ), y se denota como:
si y solo si para todo valor real >0 se puede encontrar un nmero
natural tal que todos los trminos de la sucesin, a partir de un cierto
valor natural mayor que converjan a cuando crezca ilimitadamente.
Escrito en un lenguaje formal, y de manera compacta:

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.

Lmite de una funcin

Visualizacin en un sistema decoordenadas cartesianas de los parmetros utilizados en la definicin

de lmite.

Lmite de una funcin

En anlisis real para funciones de una variable, se puede hacer
una definicin de lmite similar a la de lmite de una sucesin, en la cual,

los valores que toma la funcin dentro de un intervalo o radio de

convergencia se van aproximando a un punto fijado c punto de
acumulacin , independientemente de que ste pertenezca al dominio
de la funcin1 . Esto se puede generalizar an ms afunciones de varias
variables o funciones en distintos espacios mtricos.

Informalmente, se dice que el lmite de la funcin f(x) es L cuando x tiende

ac, y se escribe:
si se puede encontrar para cada ocasin un x suficientemente cerca
de c tal que el valor de f(x) sea tan prximo a L como se desee.
Para un mayor rigor matemtico se utiliza la definicin psilon-delta de
lmite, que es ms estricta y convierte al lmite en una gran herramienta
del anlisis real. Su definicin es la siguiente:
"El lmite de f(x) cuando x tiende a c es igual a L si y slo si para
todo nmero real mayor que cero existe un nmero real mayor que
cero tal que si la distancia entre x y c es menor que , entonces la
distancia entre la imagen de x y L es menor que unidades".
Lmite de una sucesin de conjuntos

Lmite (sucesin de conjuntos)

En teora de conjuntos tambin se utiliza el concepto de lmite, que se
puede calcular sobre una sucesin de conjuntos. Para ello, los
conjuntos deben de cumplir una serie de condiciones, como puede ser
la monotona (creciente o decreciente). De manera ms general, y
utilizando la definicin de lmite superior y lmite inferior para una
sucesin de conjuntos cualquiera , se dice que el lmite de esta
sucesin existe si el lmite superior y lmite inferior existen y son
iguales. En general se tiene:
Si el lmite primer trmino y el penltimo son iguales entonces se
verifican todas las igualdades. Estos conceptos son muy tiles en
disciplinas de las matemticas como la teora de la medida,
especialmente en espacios de probabilidad. No es difcil construir
sucesiones no convergentes donde se verifica que:

Lmite finito

Definicin
Intervalo cerrado
Un segmento en el eje numrico con extremos a y b, con a <
b, se denomina intervalo. Si los puntos extremos, a y b, estn
incluidos en el intervalo, se dice que el intervalo es cerrado, y
se denota por [a,b].
[a,b] = { x perteneciente a R / a <= x <= b }
El intervalo cerrado [a,b]
consiste de los puntos x para
los cuales a <= x <= b.

Definicin
Intervalo abierto
Si los puntos extremos se excluyen, el intervalo se llama
abierto, y se denota por (a,b).
(a,b) = { x perteneciente a R / a < x < b }
El intervalo abierto (a,b)
consiste de aquellos puntos x

para los cualesa < x < b.

Definicin
Entorno del punto a de radio
Es el intervalo abierto (a - ,a + ), esto es, consiste de los
valores x para los cuales a - < x < a + .
Ea, = { x perteneciente a R / |x - a| < }
Son los puntos x cuya distancia
al punto a es menor que .

Definicin
Entorno reducido de a de radio
No incluye al punto a.
E*a, = { x perteneciente a R / 0 < |x - a| < }
Son los puntos x cuya distancia
al punto a es menor que pero
mayor que 0, es decir, no se
incluye a a.

El concepto de Lmite
Consideremos la funcin f(x)=x2.
Observemos los valores de f(x) para x cercanos a 3.

f(x)

2,8

7,84

2,9

8,41

2,95

8,7025

2,99

8,9401

2,999

8,994001

3,001

9,006001

3,01

9,0601

3,05

9,3025

3,1

9,61

3,2

10,24

Cuando x se aproxima a 3, los valores de f(x) se acercan a 9.

Se dice que f(x) tiende a 9 cuando x tiende a 3.

En general, una funcin f(x) tiende a un lmite b cuando x

tiende a a, si f(x) difiere arbitrariamente poco de b para todo
x situado suficientemente cerca de a.
En smbolos, limx->af(x)=b.
Enseguida se expresa ms precisamente la definicin de
lmite.

Definicin
Lmite finito de una funcin
limx->a f(x)=b <=> para todo >0 existe >0 / para todo x, 0
< |x-a| < |f(x) - b| < .
Otra notacin:
limx->a f(x)=b <=> para todo Eb, existe un E*a, / para todo x
perteneciente al E*a, f(x) pertenece a Eb,.
Se dice que la funcin f(x) tiene lmite b, cuando x tiende a a,
si dado positivo arbitrario y tan pequeo como se quiera,
existe un tal que para todo x perteneciente al entorno
reducido de a de radio , la funcin pertenece al entorno de b
de radio .
Dicho de otro modo, para cualquier nmero positivo , por
pequeo que sea, podemos encontrar un tal que para todos
los x dentro del entorno reducido de a de radio se cumple
que f(x) est dentro del entorno de b de radio .

limx->af(x)=b significa que por ms pequeo que sea el

entorno considerado alrededor de b, va a ser posible
encontrar un entorno de a, para cuyos valores x (x a), la
funcin f da como resultado valores que estn dentro del
entorno de b considerado.
En otras palabras, la funcin f(x) tiene lmite b, cuando x
tiende a a, si el valor de la funcin f(x) se hace
arbitrariamente prximo al valor b cuando x se aproxima al
valor a.
Notar que la definicin dice entorno reducido de a. Es decir
que f(a) puede no existir, o puede estar fuera del entorno de

b, pero el lmite de f cuando x tiende a a sigue siendo b.

f(a) b, pero limx->af(x)=b

https://aula.tareasplus.com/Roberto-Cuartas/CalculoDiferencial/Limites-al-infinito-parte-1