En analís real y complexu, el conceutu de llende ye la piedra de toque que formaliza la noción intuitiva d'aproximamientu escontra un puntu concretu d'una socesión o una función, a midida que los parámetros d'esa socesión o función averar a un determináu valor. Nel analís los conceutos de series converxentes, derivada ya integral definida encontar por aciu el conceutu de llende.

En cálculu (especialmente en analís real y matemáticu) esti conceutu utilízase para definir los conceutos fundamentales de converxencia, continuidá, derivación, integración, ente otros. Magar, el conceutu de llende paez intuitivamente rellacionáu col conceutu de distancia, nun espaciu euclideu, ye la clase de conxuntos abiertos inducíos por felicidá métrica, lo que dexa definir rigorosamente la noción de llende.

El conceutu puede xeneralizase a otros espacios topolóxicos, como pueden ser les redes topolóxiques; de la mesma manera, ye definíu y utilizáu n'otres cañes de la matemática, como pue ser la teoría de categoríes.

Pa fórmules, el llende utilízase usualmente de forma embrivida por aciu lim como en lim(a_n) = a o se representa por aciu la flecha (→) como en a_n → a.

Llende d'una socesión

La socesión ${\displaystyle a_{n}=2^{(4-n)}}$ pa ${\displaystyle \scriptstyle n\in \mathbb {N} _{0}}$ converxe al valor 0, como puede reparase na ilustración.

La definición de llende matemática pal casu d'una socesión indícanos intuitivamente que los términos de la socesión avérense arbitrariamente a un únicu númberu o puntu ${\displaystyle L}$, si esiste, pa valores grandes de ${\displaystyle n}$. Esta definición ye bien paecida a la definición del cuando tiende a ${\displaystyle \infty }$..

Formalmente, dizse que la socesión ${\displaystyle a_{n}}$ tiende hasta la so llende ${\displaystyle L}$, o que converxe o ye converxente (a ${\displaystyle L}$), y se denota como:

${\displaystyle \lim _{n\to \infty }a_{n}=L}$

si y solu si pa tou valor real ε>0 puede atopase un númberu natural ${\displaystyle N}$ tal que tolos términos de la socesión, a partir d'un ciertu valor natural ${\displaystyle n}$ mayor que ${\displaystyle N}$, averar a ${\displaystyle L}$ cuando ${\displaystyle n}$ creza ilimitadamente. Escritu nun llinguaxe formal, y de manera compacta:

${\displaystyle a_{n}\to L\Leftrightarrow }$ ${\displaystyle \forall \varepsilon >0,\exists N>0:\forall n>N,|a_{n}-L|<\varepsilon }$

Esta llende, si esiste, puede demostrase que ye únicu. Si los términos de la socesión nun converxen a nengún puntu específicu, entós dizse que la socesión ye diverxente.

Llende d'una función

Visualización nun sistema de coordenaes cartesianes de los parámetros utilizaos na definición de llende.

En analís real para funciones d'una variable, puede faese una definición de llende similar a la de llende d'una socesión, na cual, los valores que toma la función dientro d'un intervalu o radio de converxencia van averándose a un puntu fitu c — puntu d'acumuladura —, independientemente de qu'ésti perteneza al dominiu de la función.^[1] Esto puédese xeneralizar entá más a funciones de delles variables o funciones en distintos espacios métricos.

Informalmente, dizse que la llende de la función f(x) ye L cuando x tiende a c, y escríbese:

${\displaystyle \lim _{x\to c}\,\,f(x)=L}$

si puede atopase pa cada ocasión un x abondo cerca de c tal que'l valor de f(x) sía tan próximu a L como se deseye.

Pa un mayor rigor matemático utilízase la definición épsilon-delta de llende, que ye más estricta y convierte a la llende nuna gran ferramienta del analís real. La so definición ye la siguiente:

"La llende de f(x) cuando x tiende a c ye igual a L si y namái si pa tou númberu real ε mayor que cero esiste un númberu real δ mayor que cero tal que si la distancia ente x y c ye menor que δ, entós la distancia ente la imaxe de x y L ye menor que ε unidaes".

Esta definición, puede escribise utilizando términos lóxicu-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}}}$

Esta definición ye equivalente a la llende d'una socesión, una función ye continua si:

${\displaystyle \lim _{n\to \infty }x_{n}=c\Rightarrow \lim _{n\to \infty }f(x_{n})=f(c)}$

Llende d'una socesión de conxuntos

En teoría de conxuntos tamién s'utiliza'l conceutu de llende, que puede calculase sobre una socesión de conxuntos. Pa ello, los conxuntos deben de cumplir una serie de condiciones, como pue ser la monotonía (creciente o decreciente). De manera más xeneral, y utilizando la definición de llende cimera y llende inferior pa una socesión de conxuntos cualesquier ${\displaystyle A_{n}}$, dizse que la llende d'esta socesión esiste si la llende cimera y llende inferior esisten y son iguales. Polo xeneral tiense:

${\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)}$

Si la llende primer términu y el penúltimu son iguales entós verifíquense toles igualdaes. Estos conceutos son bien útiles en disciplines de les matemátiques como la teoría de la midida, especialmente n'espacio de probabilidá. Nun ye difícil construyir socesiones non converxentes onde se verifica que:

${\displaystyle \liminf _{n\rightarrow \infty }A_{n}<\limsup _{n\rightarrow \infty }A_{n}}$

Llende n'espacios topolóxicos

Llende de Banach

En analís funcional, una llende de Banach ye un funcional llinial continuu ${\displaystyle \phi$ :\ell _{\infty }\to \mathbb {R} } definíu sobre'l espaciu de Banach ${\displaystyle \ell _{\infty }}$ pa toa socesión acutada de númberos complexos, onde se cumplen una serie de condiciones ente les que s'atopa que si ${\displaystyle x_{n}}$ ye una socesión converxente, entós ${\displaystyle \phi (x)=\lim _{n}x_{n}}$, xeneralizando'l conceutu de llende. Poro, ${\displaystyle \phi }$ ye una estensión del funcional continuu ${\displaystyle \lim :c\mapsto \mathbb {C} .}$^[4]

En particular, la esistencia de la llende de Banach nun ye única.^[4]

Llendes en teoría de categoríes

En teoría de categoríes, una caña de la matemática, defínese'l conceutu astractu de llende, que usa propiedaes esenciales de construcciones universales tales como productos y llendes inverses.

Llendes infinites

La evaluación de ${\displaystyle \lim _{x\to c}f(x)=L}$ rique mentalmente de la evaluación de la función nun dominiu que se fai cada vez mas pequeñu alredor de c, quien de la mesma crea un dominiu que se fai más pequeñu alredor de L. El calculo d'una llende onde ${\displaystyle x\to \infty }$, significa predicir un resultáu mientres una alloñar del orixe de coordenaes nun gráficu. Lo primero qu'unu tien de saber ye la llende de la función ${\displaystyle f(x)={\frac {1}{x}}}$ cuando ${\displaystyle x\to \pm \infty }$, al graficarse esta función puede notase como mientres más grande ye x, más pequeñu ye f y deduzse

${\displaystyle \lim _{x\to \pm \infty }{\frac {1}{x}}=0}$

Al evaluase una llende que tiende a infinitu nel cuál hai una fracción, usualmente estrémense dambos el numberador como'l denominador pol termino col esponente más altu, los terminos baxos quedaren como llende paecíu al anterior y vamos poder desfacer d'ellos (ver exemplu)

${\displaystyle {\begin{aligned}\lim _{x\to \infty }{\frac {3x^{2}+2x-4}{6x^{2}-x}}&=\lim _{x\to \infty }{\frac {3x^{2}+2x-4}{6x^{2}-x}}\cdot {\frac {\frac {1}{x^{2}}}{\frac {1}{x^{2}}}}\\&={\frac {3+2\lim _{x\to \infty }{\frac {1}{x}}-4\lim _{x\to \infty }{\frac {1}{x}}{\frac {1}{x}}}{6-\lim _{x\to \infty }{\frac {1}{x}}}}\\&={\frac {3+2\cdot 0-4\cdot 0\cdot 0}{6-0}}={\frac {1}{2}}\end{aligned}}}$

Ver tamién

• Continuidá (matemátiques)
• Llende d'una socesión
• Llende d'una función
• Rede (matemática)#Llende d'una rede Llende d'una rede topolóxica
• Llende cimera y llende inferior
• Llende (teoría de categoríes)
• Asíntota

Referencies

Enllaces esternos

• Plantía:Mathwords
• Weisstein, Eric W. «Llende matemática» (inglés). MathWorld. Wolfram Research.
• Llendes de funciones. Introducción
• Introducción al Cálculu de Llendes (videu)

• Datos: Q177239
• Multimedia: Limit (mathematics)