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.

o punto L , si existe, para valores grandes de n . Esta

denicin es muy parecida a la denicin del lmite de
una funcin cuando x tiende a .

Formalmente, se dice que la sucesin an tiende hasta su

lmite L , o que converge o es convergente (a L ), y se
En clculo innitesimal (especialmente en anlisis real denota como:
y matemtico) este concepto se utiliza para denir los
conceptos fundamentales de convergencia, continuidad,
limn an = L
derivacin, integracin, entre otros. Si bien, el concepto
de lmite parece intuitivamente relacionado con el con- si y solo si para todo valor real >0 se puede encontrar
cepto de distancia, en un espacio eucldeo, es la clase de un nmero natural N tal que todos los trminos de la suconjuntos abiertos inducidos por dicha mtrica, lo que cesin, a partir de un cierto valor natural n mayor que
permite denir rigurosamente la nocin de lmite.
N converjan a L cuando n crezca sin cota. Escrito en un
El concepto se puede generalizar a otros espacios topol- lenguaje formal, y de manera compacta:
gicos, como pueden ser las redes topolgicas; de la misma manera, es denido y utilizado en otras ramas de la
an L > 0, N > 0 : n >
matemtica, como puede ser la teora de categoras.
N, |an L| <
Para frmulas, el lmite se utiliza usualmente de forma
abreviada mediante lim como en lim(an) = a o se repre- Este lmite, si existe, se puede demostrar que es nico. Si
los trminos de la sucesin no convergen a ningn punto
senta mediante la echa () como en an a.
especco, entonces se dice que la sucesin es divergente.

Lmite de una sucesin

2 Lmite de una funcin

17
16
15

14
13
12
11
10
9

8
7
6
5
4
3
2
1
-2

-1

10

11

12

13

14

15

16

17

-1

La sucesin an = 2(4n) para nN0 converge al valor 0, como

se puede ver en la ilustracin.

Visualizacin en un sistema de coordenadas cartesianas de los

parmetros utilizados en la denicin de lmite.

La denicin de lmite matemtico para el caso de una

sucesin nos indica intuitivamente que los trminos de la En anlisis real para funciones de una variable, se puesucesin se aproximan arbitrariamente a un nico nmero de hacer una denicin de lmite similar a la de lmite
1

4 LMITE EN ESPACIOS TOPOLGICOS

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 jado c, independientemente de
que ste pertenezca al dominio de la funcin. El punto
c es punto de acumulacin del dominio de la funcin.[1]
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:
limxc f (x) = L

2.1 Lmites laterales

Adems del lmite ordinario en el sentido anterior es posible denir 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:
L+ (c) = limn f (c + 1/n)
Anlogamente el lmite por la izquierda (cuando existe)
es:

L (c) = limn f (c 1/n)

si se puede encontrar para cada ocasin un x sucientemente cerca de c tal que el valor de f(x) sea tan prximo
para una funcin continua en c se tiene que L+ (c) =
a L como se desee.
L (c) .
Para un mayor rigor matemtico se utiliza la denicin
psilon-delta de lmite, que es ms estricta y convierte
P
al lmite en una gran herramienta del anlisis real. Su denicin 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.

3 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 utilizanEsta denicin, se puede escribir utilizando trminos do la denicin de lmite superior y lmite inferior para
lgico-matemticos y de manera compacta:
una sucesin de conjuntos cualquiera An , se dice que el
lmite de esta sucesin existe si el lmite superior y lmite
inferior existen y son iguales. En general se tiene:
lim f (x) = L > 0 > 0 : 0 < |x c| < |f (x) L| <
xc

lim infn An = n=1 ( m=n Am )
lim

lim supn An
=
Esta denicin es equivalente al lmite de una sucesin,
n
nA

A
)
(
una funcin es continua si:
m
m=n
n=1
limn xn = c limn f (xn ) =
f (c)
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 D [2]

2.0.1

Importancia

El concepto de lmite es importante en anlisis matemtico; una herramienta bsica para denir la derivada e integral denida, la existencia de nmero real al denir por
un sistema de intervalos encajados, la potencia real de un
real positivo. El plurimilenario caso de , genial creatura
de Arqumedes.[3]

Si el lmite primer trmino y el penltimo son iguales entonces se verican 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 verica que:
lim infn An < lim supn An

4 Lmite en espacios topolgicos

4.1 Redes
Todas las nociones anteriores de lmite pueden ser unicadas y generalizadas a espacios topolgicos arbitrarios
mediante la introduccin de redes topolgicas y la denicin de sus lmites.

3
Sea (X, T ) un espacio topolgico y (xd )dD una red en
X . Se dice que x X es un punto lmite de la red
(x limdD xd ) si la red est eventualmente en cada
entorno de x , es decir, si cualquiera que sea el entorno V
de x (esto es, cualquiera que sea el conjunto V de forma
que exista un abierto G tal que x G V ) existe un
d0 D de tal forma que para cada d D con d0 d se
cumple que xd V .

7 Vase tambin
Continuidad (matemticas)
Lmite de una sucesin
Lmite de una funcin
Lmite de una red topolgica
Lmite superior y lmite inferior

4.2

Filtros

En el caso de ltros, por ser objetos matemticos similares a redes topolgicas, tambin es posible la denicin
de lmite. En efecto, sea X un espacio topolgico y x un
punto de X. Se dice que un ltro base B converge a x, denotado como B x o lim B = x , 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 ltro base
convergente.[4][5]
De igual manera, se puede aplicar a funciones, extendiendo la denicin de continuidad a stas. Si X, Y son dos
espacios topolgicos y f: X Y es una funcin, siendo
B un ltro entorno en X de un punto a perteneciente a
X, entonces el lmite con respecto al ltro B de f es y,
denotado como

lim f = y
B

Lmite (teora de categoras)

Asntota

8 Referencias
[1] Barbolla y otros: Introduccin al anlisis real
[2] Concordado con Introduccin al clculo y analisi matemtico de Courant y John.
[3] Apostol: Anlisis matemtico
[4] Bourbaki, Nicolas (1998). General Topology: Chapters 14 (en ingls) (reimpresa edicin). Springer. pp. 6873.
ISBN 3540642412.
[5] Sharma, J. N. (2010). Krishnas Topology: (For Honours
and Post Graduate Students of All Indian Universities) (en
ingls) (37 edicin). Krishna Prakashan Media. p. 449.
[6] Banach Limit en PlanetMath

si B converge a a, luego f converge a y; dicho de otra

8.1
forma, y es el lmite de f en el punto a.[4]

Lmite de Banach

Apostol, Tom M. (1960). Anlisis matemtico: Introduccin moderna al clculo superior. Revert.
ISBN 84-291-5000-5.

En anlisis funcional, un lmite de Banach es un funcional

lineal continuo : R denido sobre el espacio de
Banach para toda sucesin acotada de nmeros com
plejos, donde se cumplen una serie de condiciones entre
las que se encuentra que si xn es una sucesin convergente, entonces (x) = limn xn , generalizando el concepto
de lmite. Por lo tanto, es una extensin del funcional
8.2
continuo lim : c 7 C. [6]
En particular, la existencia del lmite de Banach no es
nica.[6]

Lmites en teora de categoras

En teora de categoras, una rama de la matemtica, se

dene el concepto abstracto de lmite, el cual usa propiedades esenciales de construcciones universales tales como
productos y lmites inversos.

Bibliografa

Rey Pastor, Julio (1985). Anlisis matemtico: Teora de ecuaciones; clculo innitesimal de una variable. Kapelusz. ISBN 950-13-3301-9.
Gardner Bartle, Robert (1982). Introduccin al anlisis matemtico. Limusa. ISBN 968-18-0997-1.

Enlaces externos

Simmons, Bruce (2011), Limit (en ingls),

Mathwords,
http://www.mathwords.com/l/limit.
htm
Weisstein, Eric W. Lmite matemtico (en ingls). MathWorld. Wolfram Research. Consultado el
29 de mayo de 2010.
Lmites de funciones. Introduccin
Introduccin al Clculo de Lmites (vdeo)

9 TEXT AND IMAGE SOURCES, CONTRIBUTORS, AND LICENSES

Text and image sources, contributors, and licenses

9.1

Text

Lmite matemtico Fuente: http://es.wikipedia.org/wiki/L%C3%ADmite%20matem%C3%A1tico?oldid=77235042 Colaboradores:

Youssefsan, Pino, Joseaperez, Vivero, Dodo, Oray, Faustito, Sms, Tano4595, Ramjar, Gengiskanhg, Rembiapo pohyiete (bot), Magister Mathematicae, RobotQuistnix, Alhen, Chobot, Yrbot, Seanver, Varano, Vitamine, .Sergio, YurikBot, JAGT, KnightRider, Gtz,
Maldoror, Chlewbot, Tuncket, Juan Marquez, Calsbert, BOTpolicia, Nethac DIU, Gizmo II, CEM-bot, Retama, Mister, Davius, Antur,
Mr. Moonlight, Thijs!bot, Alvaro qc, Yeza, Botones, Cratn, Isha, MSBOT, JAnDbot, Kved, Hosg, Muro de Aguas, TXiKiBoT, HiTe,
Linkedark, Netito777, Rei-bot, Idioma-bot, Plux, Octubre1987, AlnoktaBOT, VolkovBot, Technopat, Matdrodes, Jgarcia15 uc, AlleborgoBot, Muro Bot, Edmenb, BotMultichill, SieBot, PaintBot, Carmin, Cobalttempest, Boricuaeddie, Manw, Tirithel, XalD, Jarisleif,
Dnu72, HUB, Shackatak, Farisori, Leonpolanco, Pan con queso, Petruss, BetoCG, Juan Mayordomo, Rge, Amhack, Raulshc, UA31, Galois76, AVBOT, LucienBOT, MastiBot, Jlhyl, Angel GN, Daniel lopez avellaneda, Ialad, Diegusjaimes, Arjuno3, Luckas-bot, Nallimbot,
Gogsun, ArthurBot, Usuwiki, Ruy Pugliesi, SuperBraulio13, Almabot, Jkbw, SassoBot, Dossier2, Kuar, Carlos380, Ricardogpn, Botarel,
TobeBot, Jerowiki, Humbefa, Foundling, EmausBot, AVIADOR, ZroBot, Grillitus, Sehou, Mecamtico, Emiduronte, Tesla91, Figempa
2a, CocuBot, Antonorsi, MerlIwBot, JABO, Julio grillo, Vagobot, Acratta, Mega-buses, Elvisor, DanielithoMoya, Limoragni, Syum90,
Rotlink, Juaniracingclub, Addbot, Shaxsc y Annimos: 218

9.2

Images

Archivo:Lmite_01.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/d/d1/L%C3%ADmite_01.svg Licencia: Public domain

Colaboradores: Trabajo propio Artista original: User:HiTe
Archivo:Sucesin_001.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/0/0d/Sucesi%C3%B3n_001.svg Licencia: Public
domain Colaboradores: Trabajo propio Artista original: Dni 20:01, 25 May 2008 (UTC)

9.3

Content license

Creative Commons Attribution-Share Alike 3.0