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 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.
ndice
[ocultar]

1 Lmite de una sucesin

2 Lmite de una funcin

o

2.1 Importancia

2.2 Lmites laterales

3 Lmite de una sucesin de conjuntos

4 Lmite en espacios topolgicos

o

4.1 Redes

4.2 Filtros

5 Lmite de Banach

6 Lmites en teora de categoras

7 Vase tambin

8 Referencias

8.1 Bibliografa

8.2 Enlaces externos

Lmite de una sucesin[editar]

La sucesin

para

converge al valor 0, como se puede ver en la ilustracin.

Artculo principal: 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 cuando tiende a
.
Formalmente, se dice que la sucesin
convergente (a ), y se denota como:

tiende hasta su lmite

, o que converge o es

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 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[editar]

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

lmite.
Artculo principal: 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,
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[editar]
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[editar]
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[editar]

Artculo principal: 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 en espacios topolgicos[editar]

Redes[editar]
Vase tambin: Red (matemticas)

Todas las nociones anteriores de lmite pueden ser unificadas y generalizadas

a espacios topolgicos arbitrarios mediante la introduccin de redes topolgicas y
la definicin de sus lmites.
Sea

un espacio topolgico y

una red en

. Se dice

que
es un punto lmite de la red
si la red est
eventualmente en cada entornode , es decir, si cualquiera que sea el entorno
de (esto es, cualquiera que sea el conjunto
de forma que exista un abierto
tal que
con

) existe un
se cumple que

de tal forma que para cada

.

Filtros[editar]
Vase tambin: Filtro (matemticas)

En el caso de filtros, por ser objetos matemticos similares a redes topolgicas,

tambin es posible la definicin de lmite. En efecto, sea X un espacio topolgico
y x un punto deX. Se dice que un filtro base B converge a x, denotado
como B x o
, si para todo entorno U de x, existe un B0 B tal
que B0 U. En este caso, x se llama lmite de B y B se denomina filtro base
convergente.4 5
De igual manera, se puede aplicar a funciones, extendiendo la definicin
de continuidad a stas. Si X, Y son dos espacios topolgicos y f: X Y es una
funcin, siendo B un filtro entorno en X de un punto a perteneciente a X, entonces
el lmite con respecto al filtro B de f es y, denotado como

si B converge a a, luego f converge a y; dicho de otra forma, y es el lmite

de f en el punto a.4

Lmite de Banach[editar]
Artculo principal: Lmite de Banach

En anlisis funcional, un lmite de Banach es un funcional

lineal continuo
definido sobre el espacio de Banach
para
toda sucesin acotada de nmeros complejos, donde se cumplen una serie
de condiciones entre las que se encuentra que si
es una sucesin
convergente, entonces
lmite. Por lo tanto,

, generalizando el concepto de

es una extensin del funcional continuo

En particular, la existencia del lmite de Banach no es nica. 6

Lmites en teora de categoras[editar]

Artculo principal: Lmite (teora de categoras)

En teora de categoras, una rama de la matemtica, se define el concepto

abstracto de lmite, el cual usa propiedades esenciales de construcciones
universales tales comoproductos y lmites inversos.