Lmite matemtico

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

1 Lmite de una sucesin 2 Lmite de una funcin 3 Lmite de una sucesin de conjuntos 4 Lmite en espacios topolgicos

o o

4.1 Redes 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[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 valores grandes de funcin cuando , si existe, para

. Esta definicin es muy parecida a la definicin del lmite de una . tiende hasta su lmite , o que converge o es

tiende a

Formalmente, se dice que la sucesin convergente (a ), y se denota como:

si y slo si para todo valor real >0 se puede encontrar un nmero natural trminos de la sucesin, a partir de un cierto valor natural que converjan a cuando crezca sin cota. mayor

tal que todos los

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 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[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,

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[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 que un espacio topolgico y es un punto lmite de la red una red en . Se dice

si la red est

eventualmente en cada entornode entorno de

, es decir, si cualquiera que sea el de forma que de tal forma .

(esto es, cualquiera que sea el conjunto tal que con ) existe un se cumple que

exista un abierto 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.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[editar]
Artculo principal: Lmite de Banach.

En anlisis funcional, un lmite de Banach es un funcional lineal continuo Banach definido sobre el espacio de

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 , es una extensin del

generalizando el concepto de lmite. Por lo tanto, funcional continuo

3

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

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.

Vase tambin[editar]

Continuidad (matemticas) Lmite de una sucesin Lmite de una funcin Lmite de una red topolgica

Lmite superior y lmite inferior Lmite (teora de categoras)