Lmite matemtico

En matemtica, el concepto de lmite es una nocin topo- o punto L , si existe, para valores grandes de n . Esta
lgica que formaliza la nocin intuitiva de aproximacin denicin es muy parecida a la denicin del lmite de
hacia un punto concreto de una sucesin o una funcin, a una funcin cuando x tiende a .
medida que los parmetros de esa sucesin o funcin se Formalmente, se dice que la sucesin an tiende hasta su
acercan a un determinado valor.
lmite L , o que converge o es convergente (a L ), y se
En clculo (especialmente en anlisis real y matemtico) denota como:
este concepto se utiliza para denir los conceptos fun-
damentales de convergencia, continuidad, derivacin, limn an = L
integracin, entre otros. Si bien, el concepto de lmite pa-
rece intuitivamente relacionado con el concepto de dis- si y solo si para todo valor real >0 se puede encontrar un
tancia, en un espacio eucldeo, es la clase de conjuntos nmero natural N tal que todos los trminos de la suce-
abiertos inducidos por dicha mtrica, lo que permite de- sin, a partir de un cierto valor natural n mayor que N ,
nir rigurosamente la nocin de lmite. se acerquen a L cuando n crezca ilimitadamente. Escrito
El concepto se puede generalizar a otros espacios topol- en un lenguaje formal, y de manera compacta:
gicos, como pueden ser las redes topolgicas; de la mis-
ma 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
senta mediante la echa () como en an a. los trminos de la sucesin no convergen a ningn punto
especco, entonces se dice que la sucesin es divergente.

1 Lmite de una sucesin

2 Lmite de una funcin
17

16

15
y
14

13

12

11

10

8
L
7

-2 -1 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17

-1

c x

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

se puede observar 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 pue-
sucesin se aproximan arbitrariamente a un nico nmero de hacer una denicin de lmite similar a la de lmite

1
2 5 LMITE DE BANACH

de una sucesin, en la cual, los valores que toma la fun-
cin dentro de un intervalo o radio de convergencia se
van aproximando a un punto jado c punto de acumu-
lacin , independientemente de que ste pertenezca al
dominio de la funcin.[1] Esto se puede generalizar an
ms a funciones de varias variables o funciones en distin-
tos espacios mtricos.
Informalmente, se dice que el lmite de la funcin f(x)
es L cuando x tiende a c, y se escribe:
Si el lmite primer trmino y el penltimo son iguales en-
tonces 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 proba-
bilidad. No es difcil construir sucesiones no convergen-
tes donde se verica que:
lim infn An < lim supn An

limxc f (x) = L 4 Lmite en espacios topolgicos

si se puede encontrar para cada ocasin un x suciente- 4.1 Redes
mente cerca de c tal que el valor de f(x) sea tan prximo
a L como se desee. Todas las nociones anteriores de lmite pueden ser uni-
Para un mayor rigor matemtico se utiliza la denicin cadas y generalizadas a espacios topolgicos arbitrarios
psilon-delta de lmite, que es ms estricta y convierte mediante la introduccin de redes topolgicas y la de-
al lmite en una gran herramienta del anlisis real. Su de- nicin de sus lmites.
nicin es la siguiente: 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
El lmite de f(x) cuando x tiende a c es (x limdD xd ) si la red est eventualmente en cada
igual a L si y slo si para todo nmero real entorno de x , es decir, si cualquiera que sea el entorno V
mayor que cero existe un nmero real ma- de x (esto es, cualquiera que sea el conjunto V de forma
yor que cero tal que si la distancia entre x y c que exista un abierto G tal que x G V ) existe un
es menor que , entonces la distancia entre la d0 D de tal forma que para cada d D con d0 d se
imagen de x y L es menor que unidades. cumple que xd V .

Esta denicin, se puede escribir utilizando trminos

lgico-matemticos y de manera compacta: 4.2 Filtros
En el caso de ltros, por ser objetos matemticos simila-
lim f (x) = L > 0 > 0/0 < |x c| < res a|fredes
(x) topolgicas,
L| < tambin es posible la denicin
xc
de lmite. En efecto, sea X un espacio topolgico y x un
Esta denicin es equivalente al lmite de una sucesin, punto de X. Se dice que un ltro base B converge a x, de-
una funcin es continua si: notado como B x o lim B = x , si para todo entorno
U de x, existe un B0 B tal que B0 U. En este ca-
limn xn = c limn f (xn ) = so, x se llama lmite de B y B se denomina ltro base
[2][3]
f (c) convergente.
De igual manera, se puede aplicar a funciones, extendien-
do la denicin de continuidad a estas. Si X, Y son dos
3 Lmite de una sucesin de con- espacios topolgicos y f: X Y es una funcin, siendo
B un ltro entorno en X de un punto a perteneciente a
juntos X, entonces el lmite con respecto al ltro B de f es y,
denotado como
En teora de conjuntos tambin se utiliza el concepto de
lmite, que se puede calcular sobre una sucesin de con-
juntos. Para ello, los conjuntos deben de cumplir una se-
lim f = y
rie de condiciones, como puede ser la monotona (cre- B
ciente o decreciente). De manera ms general, y utilizan-
do la denicin de lmite superior y lmite inferior para si B converge a a, luego f converge a[2]y; dicho de otra
una sucesin de conjuntos cualquiera An , se dice que el forma, y es el lmite de f en el punto a.
lmite de esta sucesin existe si el lmite superior y lmite
inferior existen y son iguales. En general se tiene:
5 Lmite de Banach

lim infn An = n=1 ( m=n Am )
lim
nA n lim supn An = En anlisis funcional, un lmite de Banach es un funcional

n=1 ( m=n A m ) lineal continuo : R denido sobre el espacio de
8.2 Enlaces externos 3

Banach para toda sucesin acotada de nmeros com- 8.2 Enlaces externos
plejos, donde se cumplen una serie de condiciones entre
las que se encuentra que si xn es una sucesin convergen- Simmons, Bruce (2011). Limit. Mathwords (en
te, entonces (x) = limn xn , generalizando el concepto ingls).
de lmite. Por lo tanto, es una extensin del funcional
Weisstein, Eric W. Lmite matemtico. En
continuo lim : c 7 C. [4]
Weisstein, Eric W. MathWorld (en ingls). Wolfram
En particular, la existencia del lmite de Banach no es Research. Consultado el 29 de mayo de 2010.
nica.[4]
Lmites de funciones. Introduccin

Introduccin al Clculo de Lmites (vdeo)

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 propie-
dades esenciales de construcciones universales tales como
productos y lmites inversos.

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

8 Referencias
[1] Barbolla y otros: Introduccin al anlisis real

[2] Bourbaki, Nicolas (1998). General Topology: Chapters 1-

4 (en ingls) (reimpresa edicin). Springer. pp. 68-73.
ISBN 3540642412.

[3] 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.

[4] Banach Limit en PlanetMath.

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

Rey Pastor, Julio (1985). Anlisis matemtico: Teo-

ra de ecuaciones; clculo innitesimal de una varia-
ble. Kapelusz. ISBN 950-13-3301-9.
Gardner Bartle, Robert (1982). Introduccin al an-
lisis matemtico. Limusa. ISBN 968-18-0997-1.
4 9 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

9 Origen del texto y las imgenes, colaboradores y licencias

9.1 Texto
Lmite matemtico Fuente: https://es.wikipedia.org/wiki/L%C3%ADmite_matem%C3%A1tico?oldid=97953466 Colaboradores: Yous-
sefsan, Pino, Joseaperez, Vivero, Dodo, Oray~eswiki, Faustito, Sms, Tano4595, Ramjar, Gengiskanhg, Rembiapo pohyiete (bot), Ma-
gister 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, Alle-
borgoBot, 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, Ga-
lois76, AVBOT, LucienBOT, MastiBot, Jlhyl, Angel GN, Daniel lopez avellaneda, Ialad, Diegusjaimes, Arjuno3, Luckas-bot, Nallimbot,
Gogsun, ArthurBot, Usuwiki, RadiX, SuperBraulio13, Almabot, Jkbw, SassoBot, Dossier2, Kuar, Carlos380, Ricardogpn, Botarel, To-
beBot, Jerowiki, PatruBOT, Humbefa, Foundling, EmausBot, AVIADOR, ZroBot, Grillitus, Sehou, Mecamtico, Emiduronte, Tesla91,
Figempa 2a, CocuBot, Antonorsi, MerlIwBot, JABO, Julio grillo, Vagobot, MetroBot, Invadibot, Acratta, Mega-buses, Elvisor, Danielit-
hoMoya, Limoragni, Syum90, Rotlink, Juaniracingclub, Addbot, Mettallzoar, FedeBosio, Shaxsc, Jarould, BenjaBot, Pollocr, H de tekhn
makr, Noelfrm16, MomijiRoBot y Annimos: 234

9.2 Imgenes
Archivo:Lmite_01.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/d/d1/L%C3%ADmite_01.svg Licencia: Public do-
main Colaboradores: Trabajo propio Artista original: User:HiTe
Archivo:Sucesin_001.svg Fuente: https://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 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0