L�mite matem�tico
Ir a la navegaci�nIr a la b�squeda
En an�lisis real y complejo, el concepto de l�mite es la clave de toque que
formaliza la noci�n intuitiva de aproximaci�n hacia un punto concreto de una
sucesi�n o una funci�n, a medida que los par�metros de esa sucesi�n o funci�n se
acercan a un determinado valor. En el an�lisis los conceptos de series
convergentes, derivada e integral definida se fundamentan mediante el concepto de
l�mite.
En c�lculo (especialmente en an�lisis real y matem�tico) este concepto se utiliza
para definir los conceptos fundamentales de convergencia, continuidad, derivaci�n,
integraci�n, entre otros. Si bien, el concepto de l�mite parece intuitivamente
relacionado con el concepto de distancia, en un espacio eucl�deo, es la clase de
conjuntos abiertos inducidos por dicha m�trica, lo que permite definir
rigurosamente la noci�n de l�mite.
El concepto se puede generalizar a otros espacios topol�gicos, como pueden ser las
redes topol�gicas; de la misma manera, es definido y utilizado en otras ramas de la
matem�tica, como puede ser la teor�a de categor�as.
Para f�rmulas, el l�mite 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 L�mite de una sucesi�n
2 L�mite de una funci�n
3 L�mite de una sucesi�n de conjuntos
4 L�mite en espacios topol�gicos
4.1 Redes
4.2 Filtros
5 L�mite de Banach
6 L�mites en teor�a de categor�as
7 V�ase tambi�n
8 Referencias
8.1 Bibliograf�a
8.2 Enlaces externos
L�mite de una sucesi�n
La sucesi�n {\displaystyle a_{n}=2^{(4-n)}} a_{{n}}=2^{{(4-n)}} para {\displaystyle
\scriptstyle n\in \mathbb {N} _{0}} \scriptstyle n\in {\mathbb {N}}_{0} converge
al valor 0, como se puede observar en la ilustraci�n.
Art�culo principal: L�mite de una sucesi�n
La definici�n de l�mite matem�tico para el caso de una sucesi�n nos indica
intuitivamente que los t�rminos de la sucesi�n se aproximan arbitrariamente a un
�nico n�mero o punto {\displaystyle L} L, si existe, para valores grandes de
{\displaystyle n} n. Esta definici�n es muy parecida a la definici�n del cuando
tiende a {\displaystyle \infty } \infty .
Formalmente, se dice que la sucesi�n {\displaystyle a_{n}} a_{n} tiende hasta su
l�mite {\displaystyle L} L, o que converge o es convergente (a {\displaystyle L}
L), y se denota como:
{\displaystyle \lim _{n\to \infty }a_{n}=L} \lim _{{n\to \infty }}a_{n}=L
si y solo si para todo valor real e>0 se puede encontrar un n�mero natural
{\displaystyle N} N tal que todos los t�rminos de la sucesi�n, a partir de un
cierto valor natural {\displaystyle n} n mayor que {\displaystyle N} N, se acerquen
a {\displaystyle L} L cuando {\displaystyle n} n crezca ilimitadamente. Escrito en
un lenguaje formal, y de manera compacta:
{\displaystyle a_{n}\to L\Leftrightarrow } a_{n}\to L\Leftrightarrow
{\displaystyle \forall \varepsilon >0,\exists N>0:\forall n>N,|a_{n}-L|<\varepsilon
} \forall \varepsilon >0,\exists N>0:\forall n>N,|a_{n}-L|<\varepsilon
Este l�mite, si existe, se puede demostrar que es �nico. Si los t�rminos de la
sucesi�n no convergen a ning�n punto espec�fico, entonces se dice que la sucesi�n
es divergente.
L�mite de una funci�n
Visualizaci�n en un sistema de coordenadas cartesianas de los par�metros utilizados
en la definici�n de l�mite.
Art�culo principal: L�mite de una funci�n
En an�lisis real para funciones de una variable, se puede hacer una definici�n de
l�mite similar a la de l�mite de una sucesi�n, en la cual, los valores que toma la
funci�n dentro de un intervalo o radio de convergencia se van aproximando a un
punto fijado c � punto de acumulaci�n �, independientemente de que �ste pertenezca
al dominio de la funci�n.1? Esto se puede generalizar a�n m�s a funciones de varias
variables o funciones en distintos espacios m�tricos.
Coloquialmente, se dice que el l�mite de la funci�n f(x) cuando x tiende a c es L ,
y se escribe:
{\displaystyle \lim _{x\to c}\,\,f(x)=L} \lim _{{x\to c}}\,\,f(x)=L
si se puede encontrar para cada ocasi�n un x suficientemente cerca de c tal que el
valor de f(x) sea tan pr�ximo a L como se desee.
Para un mayor rigor matem�tico se utiliza la definici�n �psilon-delta de l�mite,
que es m�s estricta y convierte al l�mite en una gran herramienta del an�lisis
real. Su definici�n es la siguiente:
"El l�mite de f(x) cuando x tiende a c es igual a L si y s�lo si para todo n�mero
real e mayor que cero existe un n�mero real d mayor que cero tal que si la
distancia entre x y c es menor que d, entonces la distancia entre la imagen de x y
L es menor que e unidades".
Esta definici�n, se puede escribir utilizando t�rminos l�gico-matem�ticos y de
manera compacta:
{\displaystyle {\begin{array}{l}{\underset {x\to c}{\lim }}\,\,f(x)=L\iff
\forall \varepsilon >0\ \ \exists \ \delta >0:0<|x-c|<\delta \longrightarrow |f(x)-
L|<\varepsilon \end{array}}} {\displaystyle {\begin{array}{l}{\underset {x\to c}
{\lim }}\,\,f(x)=L\iff \forall \varepsilon >0\ \ \exists \ \delta >0:0<|x-c|<\delta
\longrightarrow |f(x)-L|<\varepsilon \end{array}}}
Esta definici�n es equivalente al l�mite de una sucesi�n, una funci�n es continua
si:
{\displaystyle \lim _{n\to \infty }x_{n}=c\Rightarrow \lim _{n\to \infty }
f(x_{n})=f(c)} \lim _{{n\to \infty }}x_{n}=c\Rightarrow \lim _{{n\to
\infty }}f(x_{n})=f(c)
L�mite de una sucesi�n de conjuntos
Art�culo principal: L�mite (sucesi�n de conjuntos)
En teor�a de conjuntos tambi�n se utiliza el concepto de l�mite, que se puede
calcular sobre una sucesi�n de conjuntos. Para ello, los conjuntos deben de cumplir
una serie de condiciones, como puede ser la monoton�a (creciente o decreciente). De
manera m�s general, y utilizando la definici�n de l�mite superior y l�mite inferior
para una sucesi�n de conjuntos cualquiera {\displaystyle A_{n}} A_n, se dice que el
l�mite de esta sucesi�n existe si el l�mite superior y l�mite inferior existen y
son iguales. En general se tiene:
{\displaystyle \liminf _{n\rightarrow \infty }A_{n}={\bigcup
_{n=1}^{\infty }}\left({\bigcap _{m=n}^{\infty }}A_{m}\right)\leq \lim
_{n\rightarrow \infty }A_{n}\leq \limsup _{n\rightarrow \infty }A_{n}={\bigcap
_{n=1}^{\infty }}\left({\bigcup _{m=n}^{\infty }}A_{m}\right)} \liminf
_{{n\rightarrow \infty }}A_{n}={\bigcup _{{n=1}}^{\infty }}\left({\bigcap
_{{m=n}}^{\infty }}A_{m}\right)\leq \lim _{{n\rightarrow \infty }}A_{n}\leq \limsup
_{{n\rightarrow \infty }}A_{n}={\bigcap _{{n=1}}^{\infty }}\left({\bigcup
_{{m=n}}^{\infty }}A_{m}\right)
Si el l�mite primer t�rmino y el pen�ltimo son iguales entonces se verifican todas
las igualdades. Estos conceptos son muy �tiles en disciplinas de las matem�ticas
como la teor�a de la medida, especialmente en espacios de probabilidad. No es
dif�cil construir sucesiones no convergentes donde se verifica que:
{\displaystyle \liminf _{n\rightarrow \infty }A_{n}<\limsup _{n\rightarrow \infty }
A_{n}} \liminf _{{n\rightarrow \infty }}A_{n}<\limsup _{{n\rightarrow
\infty }}A_{n}
L�mite en espacios topol�gicos
Redes
V�ase tambi�n: Red (matem�ticas)
Todas las nociones anteriores de l�mite pueden ser unificadas y generalizadas a
espacios topol�gicos arbitrarios mediante la introducci�n de redes topol�gicas y la
definici�n de sus l�mites.
Sea {\displaystyle (X,T)} (X,T) un espacio topol�gico y {\displaystyle
(x_{d})_{d\in D}} (x_{d})_{{d\in D}} una red en {\displaystyle X} X. Se dice que
{\displaystyle x\in X} x\in X es un punto l�mite de la red {\displaystyle (x\in
\lim _{d\in D}x_{d})} (x\in \lim _{{d\in D}}x_{d}) si la red est� eventualmente en
cada entorno de {\displaystyle x} x, es decir, si cualquiera que sea el entorno
{\displaystyle V} V de {\displaystyle x} x (esto es, cualquiera que sea el conjunto
{\displaystyle V} V de forma que exista un abierto {\displaystyle G} G tal que
{\displaystyle x\in G\subset V} x\in G\subset V) existe un {\displaystyle d_{0}\in
D} d_{0}\in D de tal forma que para cada {\displaystyle d\in D} d\in D con
{\displaystyle d_{0}\sim d} d_{0}\sim d se cumple que {\displaystyle x_{d}\in V}
x_{d}\in V.
Filtros
V�ase tambi�n: Filtro (matem�ticas)
En el caso de filtros, por ser objetos matem�ticos similares a redes topol�gicas,
tambi�n es posible la definici�n de l�mite. En efecto, sea X un espacio topol�gico
y x un punto de X. Se dice que un filtro base B converge a x, denotado como B ? x o
{\displaystyle \lim {\mathcal {B}}=x} \lim {\mathcal {B}}=x, si para todo entorno
U de x, existe un B0 ? B tal que B0 ? U. En este caso, x se llama l�mite de B y B
se denomina filtro base convergente.2?3?
De igual manera, se puede aplicar a funciones, extendiendo la definici�n de
continuidad a estas. Si X, Y son dos espacios topol�gicos y f: X ? Y es una
funci�n, siendo B un filtro entorno en X de un punto a perteneciente a X, entonces
el l�mite con respecto al filtro B de f es y, denotado como
{\displaystyle \lim _{\mathcal {B}}f=y} \lim _{{\mathcal {B}}}f=y
si B converge a a, luego f converge a y; dicho de otra forma, y es el l�mite de f
en el punto a.2?
L�mite de Banach
Art�culo principal: L�mite de Banach
En an�lisis funcional, un l�mite de Banach es un funcional lineal continuo
{\displaystyle \phi :\ell _{\infty }\to \mathbb {R} } \phi :\ell _{\infty }\to
{\mathbb {R}} definido sobre el espacio de Banach {\displaystyle \ell
_{\infty }} \ell _{\infty } para toda sucesi�n acotada de n�meros complejos, donde
se cumplen una serie de condiciones entre las que se encuentra que si
{\displaystyle x_{n}} x_{n} es una sucesi�n convergente, entonces {\displaystyle
\phi (x)=\lim _{n}x_{n}} \phi (x)=\lim _{n}x_{n}, generalizando el concepto de
l�mite. Por lo tanto, {\displaystyle \phi } \phi es una extensi�n del funcional
continuo {\displaystyle \lim :c\mapsto \mathbb {C} .} \lim :c\mapsto {\mathbb
C}.4?
En particular, la existencia del l�mite de Banach no es �nica.4?
L�mites en teor�a de categor�as
Art�culo principal: L�mite (teor�a de categor�as)
En teor�a de categor�as, una rama de la matem�tica, se define el concepto abstracto
de l�mite, el cual usa propiedades esenciales de construcciones universales tales
como productos y l�mites inversos.
V�ase tambi�n
Continuidad (matem�ticas)
L�mite de una sucesi�n
L�mite de una funci�n
L�mite de una red topol�gica
L�mite superior y l�mite inferior
L�mite (teor�a de categor�as)
As�ntota
Referencias
Barbolla y otros: Introducci�n al an�lisis real
Bourbaki, Nicolas (1998). General Topology: Chapters 1-4 (en ingl�s) (reimpresa
edici�n). Springer. pp. 68-73. ISBN 3540642412.
Sharma, J. N. (2010). Krishna's Topology: (For Honours and Post Graduate Students
of All Indian Universities) (en ingl�s) (37 edici�n). Krishna Prakashan Media. p.
449.
Banach Limit en PlanetMath.
Bibliograf�a
Apostol, Tom M. (1960). An�lisis matem�tico: Introducci�n moderna al c�lculo
superior. Revert�. ISBN 84-291-5000-5.
Rey Pastor, Julio (1985). An�lisis matem�tico: Teor�a de ecuaciones; c�lculo
infinitesimal de una variable. Kapelusz. ISBN 950-13-3301-9.
Gardner Bartle, Robert (1982). Introducci�n al an�lisis matem�tico. Limusa. ISBN
968-18-0997-1.
Enlaces externos
Simmons, Bruce (2011). �Limit�. Mathwords (en ingl�s).
Weisstein, Eric W. �L�mite matem�tico�. En Weisstein, Eric W. MathWorld (en
ingl�s). Wolfram Research. Consultado el 29 de mayo de 2010.
L�mites de funciones. Introducci�n
Introducci�n al C�lculo de L�mites (v�deo)
Categor�as: An�lisis matem�ticoTopolog�a general
Men� de navegaci�n
No has accedidoDiscusi�nContribucionesCrear una
cuentaAccederArt�culoDiscusi�nLeerEditarVer historialBuscar
Buscar en Wikipedia
Portada
Portal de la comunidad
Actualidad
Cambios recientes
P�ginas nuevas
P�gina aleatoria
Ayuda
Donaciones
Notificar un error
En otros proyectos
Wikimedia Commons
Imprimir/exportar
Crear un libro
Descargar como PDF
Versi�n para imprimir
Herramientas
Lo que enlaza aqu�
Cambios en enlazadas
Subir archivo
P�ginas especiales
Enlace permanente
Informaci�n de la p�gina
Elemento de Wikidata
Citar esta p�gina
En otros idiomas
???????
English
??????
Bahasa Indonesia
Lumbaart
Bahasa Melayu
???????
????
??
60 m�s
Editar enlaces
Esta p�gina se edit� por �ltima vez el 30 jun 2019 a las 03:27.
El texto est� disponible bajo la Licencia Creative Commons Atribuci�n Compartir
Igual 3.0; pueden aplicarse cl�usulas adicionales. Al usar este sitio, usted acepta
nuestros t�rminos de uso y nuestra pol�tica de privacidad.
Wikipedia� es una marca registrada de la Fundaci�n Wikimedia, Inc., una
organizaci�n sin �nimo de lucro.
Pol�tica de privacidadAcerca de WikipediaLimitaci�n de
responsabilidadDesarrolladoresDeclaraci�n de cookiesVersi�n para m�vilesWikimedia
Foundation Powered by MediaWiki