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 eucldeo, 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 ver en la ilustracin.

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 cuando

tiende a

Formalmente, se dice que la sucesin

convergente (a

tiende hasta su lmite

, o que converge o es

), y se denota como:

si y solo si para todo valor real >0 se puede encontrar un nmero natural
trminos de la sucesin, a partir de un cierto valor natural
cuando

mayor que

tal que todos los

converjan a

crezca sin cota. 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 de coordenadas de los parmetros utilizados en la definicin de lmite.

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

un

punto

fijado c,

independientemente de que ste pertenezca al dominio de la funcin. El punto c es punto de

acumulacin del dominio de la funcin. 1Esto se puede generalizar an ms a funciones 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 a c, 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".

Esta definicin, se puede escribir utilizando trminos lgico-matemticos y de manera

compacta:

Esta definicin es equivalente al lmite de una sucesin, una funcin es continua si:

Para la funcin f(x) = x2 - 9/ x - 3 se tiene lmite en el punto 3, que no est en el

dominio, cuando los valores del dominio se acercan a 3, los valores de la funcin se
aproximan a 6. 3 es un punto de acumulacin de Df2
Importancia
El concepto de lmite es importante en anlisis matemtico; una herramienta bsica
para definir la derivada e integral definida, la existencia de nmero real al definir por
un sistema de intervalos encajados, la potencia real de un real positivo. El
plurimilenario caso de , genial creatura de Arqumedes.3

Lmites laterales
Adems del lmite ordinario en el sentido anterior es posible definir para funciones de
una variable los lmites unilaterales por la derecha y por la izquierda. El lmite por la
derecha (cuando existe) es el lmite de la sucesin:

Anlogamente el lmite por la izquierda (cuando existe) es:

para una funcin continua en c se tiene que

Lmite de una 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:

Fuente: Wikipedia