Ir al contenido

Diferencia entre revisiones de «Límite de una sucesión»

De Wikipedia, la enciclopedia libre
Contenido eliminado Contenido añadido
Sin resumen de edición
Línea 1: Línea 1:
'''vivivivivictor joto''su papa es niña[[y su papa se lo coje en las noches]]'''''{{fusionar|Límite de una sucesión}}
{{fusionar|Convergencia}}
{{otros usos|convergencia (desambiguación)}}
[[Archivo:Sucesión 001.svg|right|250px|thumb|<math> a_{n} = \begin{cases} 16 & \mbox{si } n = 0 \\ \cfrac{a_{n-1}}{2} & \mbox{si } n > 0 \end{cases} </math>]]
En [[análisis matemático]], el concepto de '''convergencia''' hace referencia a la propiedad que poseen algunas [[Sucesión matemática|sucesiones]] numéricas de tender a un límite. Este concepto es bien general y dependiendo de la naturaleza del conjunto donde se encuentre definida la sucesión, puede adoptar varias formas.


== Definición ==
El '''límite de una sucesión''' es uno de los conceptos más antiguos del [[análisis matemático]]. El mismo da una definición rigurosa a la idea de una [[sucesión matemática|sucesión]] que se va ''aproximando'' hacia un punto llamado [[límite matemático|límite]]. Si una sucesión tiene límite, se dice que es una '''sucesión convergente''', y que la sucesión '''converge''' o '''tiende''' al límite. En caso contrario, la sucesión es '''divergente'''.


Una sucesión de elementos <math>\{x_n\}\,</math> de un [[espacio métrico]] <math>(M,d\,)</math> '''converge''' a un elemento <math>x\in M</math> si para todo número <math>\varepsilon> 0,</math> existe un entero positivo <math>N \,</math> (que depende de <math>\varepsilon</math>) tal que
La definición significa que eventualmente todos los elementos de la sucesión se aproximan tanto como queramos al valor límite. La condición que impone que los elementos se encuentren arbitrariamente cercanos a los elementos subsiguientes ''no'' implica, en general, que la sucesión tenga un límite (Véase [[sucesión de Cauchy]]).


{{Ecuación|<math> n\ge N \quad \Longrightarrow \quad d(x_n,x) < \varepsilon.</math>|1}}
Qué se entiende por ''próximo'' da lugar a distintas definiciones de límite dependiendo del conjunto donde se ha definido la sucesión.


En tal caso, se acostumbra escribir
== Límite de una sucesión de números reales ==
=== Definición formal ===
=== Ejemplos ===
* La sucesión 1/1, 1/2, 1/3, 1/4, ... converge al límite 0.
* La sucesión 1, -1, 1, -1, 1, ... es oscilante.
* La sucesión 1/2, 1/2 + 1/4, 1/2 + 1/4 + 1/8, 1/2 + 1/4 + 1/8 + 1/16, ... converge al límite 1.
* Si ''a'' es un número real con [[valor absoluto]] |''a''| < 1, entonces la sucesión ''a<sup>n</sup>'' posee limite 0. Si 0 < ''a'' ≤ 1, entonces la sucesión ''a''<sup>1/''n''</sup> posee límite 1.
* <math>\lim_{n\to\infty} \frac{1}{n^p} = 0 \hbox{ si } p > 0</math>
* <math>\lim_{n\to\infty} n^{\frac{1}{n}} = 1</math>
* <math>\lim_{n\to\infty} a^{\frac{1}{n}} = 1 \hbox{ si } a>0</math><br />


{{Ecuación|<math> \lim_{n \to \infty} x_n = x</math>|}}
=== Propiedades ===


o también
* Si una sucesión (an ) tiene límite positivo, existe un término a partir del cual todos los términos de la sucesión son positivos.
* Si una sucesión (an ) tiene límite negativo, existe un término a partir del cual los términos de la sucesión son negativos.
* Si una sucesión converge a cero, no se puede asegurar nada acerca del signo de cada uno de los términos de la sucesión.
* Si una sucesion (an) tiende a menos infinito y (an) < 0 entonces <math>1 / an </math> tiende a 0


{{Ecuación|<math> x_n\ \stackrel{d}{\longrightarrow}\ x \quad \mbox{cuando} \quad n \to \infty </math>|}}
== Límite en un espacio métrico ==
Para una sucesión de puntos <math>\{x_n|n\in \mathbb{N}\}\;</math> en un [[espacio métrico]] ''M'' con función de distancia ''d''
:(como por ejemplo, una sucesión de [[números racionales]], [[números reales]], [[números complejos]], puntos en un [[espacio normado]], etc.):


o simplemente
:Si <math>L\ en M\;</math> se dice que ''L'' es '''el límite''' de la sucesión y se escribe


::<math> L =\ lim_{n \to \infty} x_n </math>
{{Ecuación|<math> x_n \to x.</math>|}}


Intuitivamente, esto significa que los elementos <math>x_n\,</math> de la sucesión se pueden hacer ''arbitrariamente cercanos'' a <math>x\,</math> si <math>n\,</math> es ''suficientemente grande'', ya que <math>d(x_n,x\,)</math> ''determina'' la distancia entre <math>x_n\,</math> y <math>x\,</math>. A partir de la definición es posible demostrar que si una sucesión converge, lo hace hacia un único límite.
::<math>\Longleftrightarrow \forall \epsilon>0\;, \exist N \in \mathbb{N}: n>N \rightarrow d(x_n,L)<\epsilon.\; </math>


La definición se aplica en particular a los [[Espacio vectorial normado|espacios vectoriales normados]] y a los [[Espacio prehilbertiano|espacios con producto interno]]. En el caso de un espacio normado <math>(E,\Vert \cdot\Vert),</math> la norma <math>\Vert \cdot\Vert</math> induce la métrica <math>d(x,y):=\Vert y - x\Vert</math> para cada <math>x,y\in E</math>; en el caso de un espacio con producto interno <math>(E,\langle \cdot, \cdot\rangle),</math> el producto interno <math>\langle \cdot, \cdot\rangle</math> induce la norma <math>\Vert x\Vert = \sqrt{\langle x, x\rangle}</math> para cada <math>x\in E.</math>
:i.e.:si y solo si para todo (hodap) número real <math>\epsilon>0\;</math>, existe un [[número natural]] ''N'' tal que para cada <math>n>N\;</math>, se satisface que <math>d(x_n,L)<\epsilon.\;</math>


== Ejemplos ==
== Límite en un espacio topológico ==
Una generalización de esta relación, para una sucesión de puntos <math>\{x_n|n\in \mathbb{N}\}\;</math> en un [[espacio topológico]] ''T'':


* Sucesiones en <math>\mathbb R</math> ó <math>\mathbb C</math>
:Si <math>L\in T\;</math> se dice que ''L'' es '''un límite''' de esta sucesión y se escribe


El conjunto de los [[números reales]] <math>\mathbb R</math> al igual que el conjunto de los [[números complejos]] <math>\mathbb C</math> se constituyen en un espacio métrico por medio del [[valor absoluto]]: para cada par de elementos <math>x,\, y</math> en <math>\mathbb R</math> ó <math>\mathbb C</math>, la función <math>d(x,y):=\vert y-x\vert</math> determina una [[Espacio métrico|métrica]].
::<math> L = \lim_{n \to \infty} x_n </math>


:si y solo si para todo [[Entorno (topología)|entorno]] ''S'' de ''L'' existe un número natural ''N'' tal que <math>x_n\in S\;</math> para todo <math>n>N.\;</math>
Por tanto, de acuerdo a {{Eqnref|1}}, una sucesión <math>\{x_n\}\,</math> en <math>M = \mathbb R</math> converge a un <math>x\in \mathbb R</math> si para todo <math>\varepsilon>0</math>, existe un entero <math>N\,</math> tal que


{{Ecuación|<math> n\ge N \quad \Longrightarrow \quad |x_n-x| < \varepsilon.</math>|}}
De forma intuitiva, suponiendo que se tiene una '''[[Sucesión matemática|sucesión de puntos]]''' (por ejemplo un conjunto infinito de puntos numerados utilizando los [[números naturales]]) en algún tipo de objeto matemático (por ejemplo los [[números reales]] o un [[espacio vectorial]]) que admite el concepto de '''entorno''' (en el sentido de "todos los puntos dentro de una cierta distancia de un dado punto fijo"). Un punto ''L'' es '''el límite de la sucesión''' si para todo entorno que se defina, todos los puntos de la sucesión (con la posible excepción de un número finito de puntos) están próximos a ''L''. Esto puede ser interpretado como si hubiera un conjunto de esferas de tamaños decrecientes hasta cero, todas centradas en ''L'', y para cualquiera de estas esferas, solo existiera un número finito de números fuera de ella.


Como ejemplos podemos considerar:
Es posible también que una sucesión en un [[espacio topológico]] general, pueda tener varios límites diferentes, pero una sucesión convergente posee un único límite si ''T'' es un [[espacio de Hausdorff]], por ejemplo la [[extended real line|recta real (extendida)]], el [[plano complejo]], sus subconjuntos ('''[[número real|R]]''', '''[[número racional|Q]]''', '''[[entero|Z]]'''...) y [[espacio de productos|productos]] cartesianos ('''R'''<sup>n</sup>...).


:* La sucesión constante definida por <math>x_n:=c\,</math> para todo <math>n\,</math>, donde <math>c\in\mathbb R</math>. Esta sucesión converge a <math>c\,</math> pues
== Enlaces externos ==
{{Ecuación|<math>|x_n-c|=|c-c|=0 < \varepsilon</math>|}}
* [http://www.maths.abdn.ac.uk/~igc/tch/ma2001/notes/node18.html Ejemplos de sucesiones]
::para todo <math>n.\,</math>
{{ORDENAR:Limite de una sucesion}}


:* La sucesión <math>x_n:=1/n.\,</math> Esta sucesión converge a cero, pues por la [[propiedad arquimediana]] de los números reales, para cada <math>\varepsilon>0</math>, exite número natural <math>N\,</math> tal que <math>N \varepsilon >1</math> y por tanto, si <math>n>N,\,</math> <math>1/n<1/N\,</math> y {{Ecuación|<math>|x_n-0|=|x_n|=1/n < 1/N < \varepsilon.</math>|}}
[[Categoría:Sucesiones]]

:* La sucesión del ejemplo anterior es un caso particular de un resultado más general. Dado <math>p>0,\,</math>
{{Ecuación|<math> \lim_{n\to \infty}\frac{1}{n^p}=0\, , \quad \lim_{n\to \infty}\sqrt[n]{p}=1\,, \quad \lim_{n\to \infty}\sqrt[n]{n}=1</math>|}}

:* Si <math>|a|<1,\,</math> entonces <math>a^n \to 0.</math>

:* La sucesión <math>z_n:=e^{i \pi n}\,</math>. Esta sucesión no converge, sus valores oscilantes son <math>-1,1,-1,1,\ldots</math>

:* Debido a que <math>\mathbb C</math> (en particular <math>\mathbb R</math>) está dotado de una operación suma (lo que no ocurre en todo espacio métrico), a cada sucesión <math>\{a_n\}\,</math> en <math>\mathbb C</math> (en particular <math>\mathbb R</math>) es posible asociarle la sucesión de sumas parciales
{{Ecuación|<math>s_n:=a_1+a_2+\cdots+a_n=\sum_{k=1}^{n}a_k\,.</math>|2}}

::La sucesión <math>\{s_n\}\,</math> se expresa simbólicamente como
{{Ecuación|<math>\sum_{k=1}^{\infty}a_k\,</math>|3}}

::y se le denomina [[serie matemática|serie]] infinita. En el caso en que la sucesión de sumas parciales {{Eqnref|2}} converja, <math>s_n \to s</math>, se dice que {{Eqnref|3}} es una '''serie convergente''' y se escribe

{{Ecuación|<math>\sum_{k=1}^{\infty}a_k=s.\,</math>|}}

::En caso contrario se dice que {{Eqnref|3}} es una '''serie divergente'''. Ejemplos clásicos de series convergentes y divergentes son

{{Ecuación|<math> \sum_{n=1}^{\infty}a^n = \frac{a}{1-a} , (|a|<1)\ , \quad \sum_{n=1}^{\infty}\frac{1}{n} = \infty</math>|}}

Observemos que la definición de convergencia nos dice que una sucesión <math>\{x_n\,\}</math> en un espacio métrico <math>M\,</math> converge a un <math>x\in M\,</math> si la sucesión de números reales <math>a_n:=d(x_n,x\,)</math> converge a cero en <math>\mathbb R</math>, i.e.,

{{Ecuación|<math> x_n \to x \ \ \mbox{en}\ M \quad \Longleftrightarrow \quad d(x_n,x) \to 0 \ \ \mbox{en}\ \mathbb R </math> |}}

* Sucesiones en <math>\mathbb R^n</math>

* Sucesiones en el espacio <math>\ell^p</math>

* Sucesiones en el espacio <math>L^2({\mathbb R}^n)</math>

* Sucesiones en el espacio de las funciones continuas <math>C[a,b]\,</math>

== Sucesiones de Cauchy ==
Para determinar la convergencia de una sucesión a partir de la definición es necesario conocer de antemano el elemento hacia el cual ésta converge. Dicha información por lo general se desconoce. Para una gran variedad de espacios, existe un criterio para determinar la convergencia de una sucesión sin conocer su límite.

Una sucesión <math>\{x_n\}\,</math> en un espacio métrico <math>M\,</math> es una [[sucesión de Cauchy]] si para todo <math>\varepsilon>0</math>, existe un entero positivo <math>N\,</math> (que depende de <math>\varepsilon</math>) tal que

{{Ecuación |<math>m,n >N \Longrightarrow d(x_n,x_m) < \varepsilon.</math> |4}}

Intuitivamente, esto signfica que la distancia entre los elementos <math>x_n\,</math> y <math>x_m\,</math> de la sucesión se hace ''arbritrariamente pequeña'' si <math>n\,</math> y <math>m\,</math> son lo ''suficientemente grandes''.

Si <math>\{x_n\}\,</math> es una sucesión convergente, existe un <math>x\in M</math> tal que <math>x_n\to x\,</math> y por la [[desigualdad triangular]],

{{Ecuación |<math> d(x_n,x_m) \le d(x_n,x) + d(x,x_m) \to 0.</math> |}}

Por lo tanto, toda sucesión convergente es de Cauchy. Sin embargo, el enunciado recíproco no siempre es válido y no toda sucesión de Cauchy es convergente: la sucesión de [[números racionales]] <math>\{1, \tfrac{3}{2}, \tfrac{17}{12},\ldots\}\,</math> definida por <math>x_{n+1} = \frac{x_n + \frac{2}{x_n}}{2}</math> para <math>n\ge 2</math> con <math>x_1=1\,</math> es una sucesión de Cauchy en <math>\mathbb Q</math> que no es convergente, pues su límite es el [[número irracional]] <math>\sqrt{2}.</math>

Un espacio métrico en el que toda sucesión de Cauchy es convergente se denomina [[Espacio métrico completo|completo]]. Los racionales son un ejemplo de un espacio que no es completo mientras que <math>\mathbb R</math> y <math>\mathbb C</math> constituyen ejemplos de espacios métricos completos. Por consiguiente, una condición suficiente y necesaria para que una sucesión <math>\{x_n\}\,</math> de números reales (o complejos) converja, viene dada por {{Eqnref|4}}, con <math>d(x_n,x_m)=\vert x_m - x_n\vert.</math> En particular, cuando la condición se aplica a la sucesión de sumas parciales {{Eqnref|2}},

{{Ecuación |<math> d(s_n,s_m) = \left\vert s_n - s_m \right\vert = \left\vert\sum_{k=m}^n a_k \right\vert </math> |}}

y se obtiene el [[criterio de convergencia de Cauchy]]: una serie <math>\sum_{k=1}^{\infty} a_k</math> es convergente si, y sólo si, para todo <math>\varepsilon>0,</math> existe un entero <math>N\,</math> tal que

{{Ecuación |<math>n,m > N \quad \Longrightarrow \quad \left\vert\sum_{k=m}^n a_k \right\vert < \varepsilon.</math> |}}

A los espacios vectoriales '''normados''' y '''completos''' se les denominan [[espacios de Banach]] en honor al trabajo desarrollado por el matemático polaco [[Stefan Banach]]. Estos espacios constituyen uno de los objetos centrales de estudio del [[análisis funcional]]. Ejemplos de espacios de Banach comunes son <math>\mathbb R^n,\,</math> <math>\mathbb C^n,\,</math> el espacio <math>L^p(\mathbb R^n),\,</math> el espacio <math>\mathcal L (E,F)</math> de los operadores lineales ''continuos'' de un espacio vectorial <math>E\,</math> en un espacio vectorial <math>F\,</math> y el espacio de la funciones continuas con valores complejos <math>C(K)\,</math> con <math>K\subset \mathbb R^n\,</math> [[compacto]].

Los espacios de Banach cuya '''norma''' proviene de un '''producto interno''' se denominan [[espacios de Hilbert]], en reconocimiento al trabajo desarrollado por el matemático alemán [[David Hilbert]] a comienzos del siglo XX. Ejemplos de espacios de Hilbert son <math>\mathbb K^n\,</math> con <math>\mathbb K=\mathbb R</math> ó <math>\mathbb K=\mathbb C,</math> el espacio de las sucesiones complejas cuadrado-sumables <math>\ell^2(\mathbb K)</math> y el espacio de las funciones cuadrado-integrables en el sentido de Lebesgue <math>L^2(\mathbb R^n).</math> Una gran variedad de espacios de Hilbert que se presentan en la práctica son [[Espacio separable|separables]] y son en particular los espacios <math>\mathbb K^n</math> y <math>\ell^2(\mathbb K)</math> los prototipos principales de espacios de Hilbert, pues todo espacio de Hilbert ''separable'' de dimensión finita <math>n\,</math> es isomorfo a <math>\mathbb K^n</math> mientras que todo espacio de Hilbert ''separable'' de dimensión infinita es isomorfo a <math>\ell^2(\mathbb K)</math>.

== Tipos de convergencia ==
Los varios tipos de convergencia se obtiene principalmente por hacer modificaciones menores en la definición básica. He aquí los tipos de convergencia más comunes: (Las diferencias entre sus definiciones y la definición básica se marca en cursiva.)

=== Convergencia puntual ===

El concepto de '''convergencia puntual''' es uno de los varios sentidos en los cuales una sucesión de funciones puede converger a una función particular.

Una sucesión de funciones <math>f_n:S\to M</math> definidas en un conjunto no vacío <math>S\,</math> con valores en un espacio métrico <math>(M,d\,)</math> ''converge puntualmente'' a una función <math>f:S\to M</math> si

{{Ecuación|<math> \lim_{n\to \infty} f_n(x) = f(x)</math>|}}

para cada <math>x\in S</math> fijo. Esto significa que

{{Ecuación|<math> \forall x\in S\quad \forall \varepsilon>0\quad \exist\, N\in \mathbb N\quad |\quad n \ge N\ \Longrightarrow\ d(f_n(x),f(x)) < \varepsilon.</math>|5}}

La sucesión de funciones <math>f_n(x):=x/n\,</math> con <math>x\in [0,1]</math> converge puntualmente a la función <math>f(x):=0\,</math> puesto que

{{Ecuación|<math> \left\vert\frac{x}{n}\right\vert \le \frac{1}{n} \to 0</math>|}}

para cada <math>x\in [0,1]</math> fijo.

=== Convergencia uniforme ===

Una sucesión de funciones <math>f_n:S\to M</math> definidas en un conjunto no vacío <math>S\,</math> con valores en un espacio métrico <math>(M,d\,)</math> ''converge uniformemente'' a una función <math>f:S\to M</math> si para todo <math>\varepsilon>0</math> existe un entero <math>N\,</math> (que depende de <math>\varepsilon</math>) tal que

{{Ecuación|<math> d(f_n(x),f(x)) < \varepsilon </math>|}}

para todo <math>x\in S</math> y todo <math>n \ge N</math>. Es decir,

{{Ecuación|<math>\forall \varepsilon>0\quad \exist\, N\in \mathbb N\quad |\quad d(f_n(x),f(x)) < \varepsilon\quad \forall x\in S\quad \forall n\ge N.</math>|6}}

El concepto de '''convergencia uniforme''' es un concepto más fuerte que el de '''convergencia puntual'''. En {{Eqnref|5}}, <math>N\,</math> puede depender de <math>\varepsilon</math> '''y''' de <math>x\,</math> mientras que en {{Eqnref|6}}, <math>N\,</math> '''sólo''' puede depender de <math>\varepsilon</math>. Así, toda sucesión que converge uniformemente, converge puntualmente. El enunciado recíproco es falso, y un contraejemplo clásico lo constituyen las sucesión de funciones <math>f_n:[0,1]\to \mathbb R</math> definidas por <math>f_n(x) = x^n\,</math>. Esta sucesión converge puntualmente a la función

{{Ecuación|<math>f(x) = \begin{cases} 0, & \mbox{si}\quad 0\le x < 1 \\ 1, & \mbox{si}\quad x=1 \end{cases}</math>|}}

ya que

{{Ecuación|<math> |f_n(x)-f(x)| = |x^n| \to 0 \quad \mbox{si}\quad 0\le x < 1</math>|}}

mientras que <math> \vert f_n(1)-f(1)\vert = 0.</math> Sin embargo esta sucesión no converge uniformemente, pues para <math>\varepsilon=1/4,</math> no existe un <math>N\,</math> que satisfaga {{Eqnref|5}}.

De especial interés es el espacio de las funciones continuas <math>C(\Omega)\,</math> definidas sobre un compacto <math>\Omega\subset \mathbb R^n.</math> En este caso, una sucesión de funciones <math>f_n\in C(\Omega),\,</math> converge uniformemente a una función <math>f\in C(\Omega),\,</math> si, y sólo si, converge en la norma del sup, i.e.,

{{Ecuación|<math>f_n \stackrel{u}{\longrightarrow}\ f \quad \Longleftrightarrow \quad f_n \stackrel{
\Vert \cdot\Vert}{\longrightarrow}\ f</math>|}}

=== Convergencia uniforme sobre compactos ===

=== Convergencia débil ===

Una sucesion se dice que converge debilmente a x o en sentido debil si para toda funcional lineal f, f(Xn) converge a x.

Por ejemplo la serie 1/n desde n=1 hasta infinito converge débilmente a cero. Pues:
lim f(1/n) = lim n/n*f(1/n) = lim 1/n*f(n/n) = lim 1/n*f(1) = 0
Todo esto, pues f es lineal.

== Convergencia en espacios topológicos ==
{{AP| red (matemática)}}

[[Categoría:Sucesiones|Convergencia]]
[[Categoría:Series matemáticas|Convergencia]]


[[ar:نهاية متتالية]]
[[de:Grenzwert (Folge)]]
[[de:Grenzwert (Folge)]]
[[en:Limit of a sequence]]
[[en:Convergence#Mathematics]]
[[nl:Convergentie (wiskunde)]]
[[fr:Limite de suite]]
[[sv:Konvergens]]
[[he:גבול של סדרה]]
[[it:Limite di una successione]]
[[lt:Sekos riba]]
[[pl:Granica ciągu]]
[[ru:Предел последовательности]]
[[zh:收敛数列]]

Revisión del 13:14 4 mar 2010

vivivivivictor jotosu papa es niñay su papa se lo coje en las noches

En análisis matemático, el concepto de convergencia hace referencia a la propiedad que poseen algunas sucesiones numéricas de tender a un límite. Este concepto es bien general y dependiendo de la naturaleza del conjunto donde se encuentre definida la sucesión, puede adoptar varias formas.

Definición

Una sucesión de elementos de un espacio métrico converge a un elemento si para todo número existe un entero positivo (que depende de ) tal que

(1)

En tal caso, se acostumbra escribir

o también

o simplemente

Intuitivamente, esto significa que los elementos de la sucesión se pueden hacer arbitrariamente cercanos a si es suficientemente grande, ya que determina la distancia entre y . A partir de la definición es posible demostrar que si una sucesión converge, lo hace hacia un único límite.

La definición se aplica en particular a los espacios vectoriales normados y a los espacios con producto interno. En el caso de un espacio normado la norma induce la métrica para cada ; en el caso de un espacio con producto interno el producto interno induce la norma para cada

Ejemplos

  • Sucesiones en ó

El conjunto de los números reales al igual que el conjunto de los números complejos se constituyen en un espacio métrico por medio del valor absoluto: para cada par de elementos en ó , la función determina una métrica.

Por tanto, de acuerdo a (1), una sucesión en converge a un si para todo , existe un entero tal que

Como ejemplos podemos considerar:

  • La sucesión constante definida por para todo , donde . Esta sucesión converge a pues

para todo
  • La sucesión Esta sucesión converge a cero, pues por la propiedad arquimediana de los números reales, para cada , exite número natural tal que y por tanto, si y

  • La sucesión del ejemplo anterior es un caso particular de un resultado más general. Dado

  • Si entonces
  • La sucesión . Esta sucesión no converge, sus valores oscilantes son
  • Debido a que (en particular ) está dotado de una operación suma (lo que no ocurre en todo espacio métrico), a cada sucesión en (en particular ) es posible asociarle la sucesión de sumas parciales

(2)

La sucesión se expresa simbólicamente como

(3)

y se le denomina serie infinita. En el caso en que la sucesión de sumas parciales (2) converja, , se dice que (3) es una serie convergente y se escribe

En caso contrario se dice que (3) es una serie divergente. Ejemplos clásicos de series convergentes y divergentes son

Observemos que la definición de convergencia nos dice que una sucesión en un espacio métrico converge a un si la sucesión de números reales converge a cero en , i.e.,

  • Sucesiones en
  • Sucesiones en el espacio
  • Sucesiones en el espacio
  • Sucesiones en el espacio de las funciones continuas

Sucesiones de Cauchy

Para determinar la convergencia de una sucesión a partir de la definición es necesario conocer de antemano el elemento hacia el cual ésta converge. Dicha información por lo general se desconoce. Para una gran variedad de espacios, existe un criterio para determinar la convergencia de una sucesión sin conocer su límite.

Una sucesión en un espacio métrico es una sucesión de Cauchy si para todo , existe un entero positivo (que depende de ) tal que

(4)

Intuitivamente, esto signfica que la distancia entre los elementos y de la sucesión se hace arbritrariamente pequeña si y son lo suficientemente grandes.

Si es una sucesión convergente, existe un tal que y por la desigualdad triangular,

Por lo tanto, toda sucesión convergente es de Cauchy. Sin embargo, el enunciado recíproco no siempre es válido y no toda sucesión de Cauchy es convergente: la sucesión de números racionales definida por para con es una sucesión de Cauchy en que no es convergente, pues su límite es el número irracional

Un espacio métrico en el que toda sucesión de Cauchy es convergente se denomina completo. Los racionales son un ejemplo de un espacio que no es completo mientras que y constituyen ejemplos de espacios métricos completos. Por consiguiente, una condición suficiente y necesaria para que una sucesión de números reales (o complejos) converja, viene dada por (4), con En particular, cuando la condición se aplica a la sucesión de sumas parciales (2),

y se obtiene el criterio de convergencia de Cauchy: una serie es convergente si, y sólo si, para todo existe un entero tal que

A los espacios vectoriales normados y completos se les denominan espacios de Banach en honor al trabajo desarrollado por el matemático polaco Stefan Banach. Estos espacios constituyen uno de los objetos centrales de estudio del análisis funcional. Ejemplos de espacios de Banach comunes son el espacio el espacio de los operadores lineales continuos de un espacio vectorial en un espacio vectorial y el espacio de la funciones continuas con valores complejos con compacto.

Los espacios de Banach cuya norma proviene de un producto interno se denominan espacios de Hilbert, en reconocimiento al trabajo desarrollado por el matemático alemán David Hilbert a comienzos del siglo XX. Ejemplos de espacios de Hilbert son con ó el espacio de las sucesiones complejas cuadrado-sumables y el espacio de las funciones cuadrado-integrables en el sentido de Lebesgue Una gran variedad de espacios de Hilbert que se presentan en la práctica son separables y son en particular los espacios y los prototipos principales de espacios de Hilbert, pues todo espacio de Hilbert separable de dimensión finita es isomorfo a mientras que todo espacio de Hilbert separable de dimensión infinita es isomorfo a .

Tipos de convergencia

Los varios tipos de convergencia se obtiene principalmente por hacer modificaciones menores en la definición básica. He aquí los tipos de convergencia más comunes: (Las diferencias entre sus definiciones y la definición básica se marca en cursiva.)

Convergencia puntual

El concepto de convergencia puntual es uno de los varios sentidos en los cuales una sucesión de funciones puede converger a una función particular.

Una sucesión de funciones definidas en un conjunto no vacío con valores en un espacio métrico converge puntualmente a una función si

para cada fijo. Esto significa que

(5)

La sucesión de funciones con converge puntualmente a la función puesto que

para cada fijo.

Convergencia uniforme

Una sucesión de funciones definidas en un conjunto no vacío con valores en un espacio métrico converge uniformemente a una función si para todo existe un entero (que depende de ) tal que

para todo y todo . Es decir,

(6)

El concepto de convergencia uniforme es un concepto más fuerte que el de convergencia puntual. En (5), puede depender de y de mientras que en (6), sólo puede depender de . Así, toda sucesión que converge uniformemente, converge puntualmente. El enunciado recíproco es falso, y un contraejemplo clásico lo constituyen las sucesión de funciones definidas por . Esta sucesión converge puntualmente a la función

ya que

mientras que Sin embargo esta sucesión no converge uniformemente, pues para no existe un que satisfaga (5).

De especial interés es el espacio de las funciones continuas definidas sobre un compacto En este caso, una sucesión de funciones converge uniformemente a una función si, y sólo si, converge en la norma del sup, i.e.,

Convergencia uniforme sobre compactos

Convergencia débil

Una sucesion se dice que converge debilmente a x o en sentido debil si para toda funcional lineal f, f(Xn) converge a x.

Por ejemplo la serie 1/n desde n=1 hasta infinito converge débilmente a cero. Pues: lim f(1/n) = lim n/n*f(1/n) = lim 1/n*f(n/n) = lim 1/n*f(1) = 0 Todo esto, pues f es lineal.

Convergencia en espacios topológicos