En matemtica, el lmite es un concepto que describe la tendencia de una sucesin o una funcin, a medida que los parmetros de esa

sucesin o funcin se acercan a determinado valor. En clculo (especialmente en anlisis real y matemtico) este concepto se utiliza para definir los conceptos fundamentales de convergencia, continuidad, derivacin, integracin, entre otros. 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

1 Lmite de una sucesin 2 Lmite de una funcin 3 Lmite de una sucesin de conjuntos 4 Lmite en espacios topolgicos o 4.1 Redes o 4.2 Filtros 5 Lmite de Banach 6 Lmites en teora de categoras 7 Vase tambin 8 Referencias 9 Enlaces externos

Lmite de una sucesin

La sucesin ilustracin.

para

converge al valor 0, como se puede ver en la

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 slo si para todo valor real >0 se puede encontrar un nmero natural los trminos de la sucesin, a partir de un cierto valor natural mayor que cuando crezca sin cota. Escrito en un lenguaje formal, y de manera compacta:

tal que todos converjan a

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 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 se van aproximando a un punto fijado c, independientemente de que ste pertenezca al dominio de la funcin. Esto 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:

Lmite de una sucesin de conjuntos

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,

Estos conceptos son muy tiles en disciplinas de las matemticas como la teora de la medida, especialmente en espacios de probabilidad.

Lmite en espacios topolgicos

Redes
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 entorno de , es decir, si cualquiera que sea el entorno de (esto es, cualquiera que sea el conjunto de forma que exista un abierto tal que ) existe un de tal forma que para cada con se cumple que .

Filtros
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 de X. 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.1 2 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.1

Lmite de Banach
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 , generalizando el concepto de lmite. Por 3 lo tanto, es una extensin del funcional continuo En particular, la existencia del lmite de Banach no es nica.3

Lmites en teora de categoras

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 como productos y lmites inversos.