Ver la fonte de Socesión matemática

[[Ficheru:Cauchy sequence illustration2.svg|right|thumb|Una socesión infinita de númberos reales (n'azul). La socesión nun ye nin creciente, nin decreciente, nin converxente, nin ye una [[socesión de Cauchy]]. Sicasí, sí ye una [[Acutáu|socesión acutada]].]]

N'analís matemáticu y álxebra, una '''socesión ''' ye una [[conxuntu ordenáu|aplicación]] que'l so dominiu ye'l conxuntu de los [[númberu natural|númberos naturales]] y el so codominio ye cualesquier otru conxuntu , xeneralmente de [[númberu|númberos]] de distinta naturaleza, tamién pueden ser figures xeométriques o funciones. Cada unu d'ellos ye denomináu ''términu'' (tamién ''elementu'' o ''miembru'') de la socesión y al númberu d'elementos ordenaos (posiblemente infinitos) denominar la ''llargor'' de la socesión. Nun tien de confundir se con una [[serie matemática]], que ye la suma de los términos d'una socesión. 

A diferencia d'un conxuntu, l'orde en qu'apaecen los términos sí ye relevante y un mesmu términu puede apaecer en más d'una posición. De manera formal, una socesión puede definise como una [[función (matemátiques)|función]] sobre'l conxuntu de los [[númberos naturales]] (o un subconxuntu del mesmu) y ye por tanto una función [[matemátiques discretes|discreta]].

Por casu, la socesión (''A, B, C'') ye una socesión de lletres que difier de la socesión (''C'', ''A'', ''B''). Nesti casu falar de socesiones finitas (de llargor igual a 3). Un exemplu de socesión infinita sería la socesión de númberos positivos pares: 2, 4, 6, 8...

N'ocasiones identificar a les socesiones finitas con [[pallabra (matemátiques)|pallabres]] sobre un conxuntu. Puede considerase tamién el casu d'una socesión vacida (ensin elementos), pero esti casu puede escluyise dependiendo del contestu.

== Historia ==

Les socesiones que siguen una regla determinada llamaron siempres l'atención de los matemáticos de toles xeneraciones. Pero, a pesar d'esto y de que se conocíen dende tiempos alloñaos, nun fueron estudiaes de forma detallada hasta la dómina de mayor desenvolvimientu de les matemátiques nel sieglu XVIII. Foi nesi tiempu cuando se perfeccionó'l conceutu de llende d'una socesión como'l valor al cual avérense de forma socesiva los sos términos.

Ensin cuestión dalguna, [[Leonhard Euler]] foi'l matemáticu más destacáu d'esa dómina, gracies a les sos contribuciones decisives en diversos campos de les matemátiques, sobremanera, nel campu de les socesiones y de les series numbériques. 
Tamién cabo destacar al matemáticu italianu [[Leonardo de Pisa]], quien, nel sieglu sieglu XII, introdució n'Europa una de les socesiones matemátiques que mayor esistencia tien nos fenómenos naturales, ''los [[númberos de Fibonacci]]''.

Polo xeneral, les socesiones utilizar pa representar llistes ordenaes d'elemento pero, sobremanera, dientro de les matemátiques discretes son emplegaes d'otres diverses maneres como, por casu, dientro de les [[ciencies de la computación]] y na [[teoría de xuegos]].

== Xeneralidaes ==

=== Notación ===

Esisten distintos notaciones y nociones de socesión en matemátiques, dependiendo del área d'estudiu, dalgunes de les cualos (como por casu [[socesión exacta]]) nun queden entendíes na notación que s'introduz de siguío.

Suelse usar la notación <math>\{ a_n \}</math> pa indicar una socesión, onde <math>a_n</math> fai referencia al elementu de la socesión na posición ''n'', llamáu ''términu xeneral''. El [[índiz (matemática)|subíndice]] <math>{n\in \mathbb{N}}</math> indica'l llugar qu'ocupa en dicha socesión. Un exemplu puede ser el de los númberos positivos pares, denotando dicha socesión por <math>\{ a_n \}</math>:

{{ecuación|1=<math>\{ a_n \}=2,4,6,8,10,12,...</math>}}

entós

{{ecuación|1=<math>a_1 =2, \ a_2=4, \ a_3=6, \ a_4=8,\ldots</math>}}

Nel casu de que los elementos de la socesión queden determinaos por una regla, puede especificase la socesión faciendo referencia a la fórmula d'un términu arbitrariu. Na socesión anterior <math>\{ a_n \}</math> puede especificase por aciu la fórmula <math>a_n=2n</math>.

Ye frecuente atopar socesiones onde los subíndices que denoten posición empecipien dende cero, en vegada dende unu, particularmente en matemática discreta o en ciencies de la computación. Tamién puede usase una variable distinta a ''n'' pa denotar el términu xeneral, cuando asina convenga pa evitar tracamundiu con otres variables.

Na lliteratura ye posible atopar una gran variedá de notaciones alternatives. Por casu, usu de paréntesis en cuenta de llaves, o indicaciones de les ''llendes'' por aciu variantes con super y subíndices, de siguío amuésense dellos pocos exemplos:
* <math>(a_n)=a_1,a_2,a_3,\ldots </math> 
* <math>( a_k )_{k=1}^m =a_1,a_2,a_3,\ldots, a_m </math> 
* <math>\{ a_n \}_{n\in \N} =a_1,a_2,a_3,\ldots, </math>

=== Socesiones definíes por recurrencia ===

Una rellación de recurrencia pa una socesión <math>\left\{{a_n}\right\}_{n\in \mathbb{N}_0}</math> ye una ecuación la cual establez el términu ''a''<sub>''n''</sub> en función de los términos anteriores <math> a_0, \; a_1, \; a_2, \; ... \; , \; a_{n_0-1}</math> pa tolos enteros ''n'' tales que <math>n \ge n_0</math>. La socesión en sí ye la solución de la rellación de recurrencia si los sos términos cumplen la rellación pa tou enteru positivu ''n''.

Los algoritmos recursivos apurren solución a un problema de tamañu ''n'' en términos de la solución d'unu o más casos del mesmu problema, pero de menor tamañu. Un exemplu de socesión per recurrencia ye la [[socesión de Fibonacci]], na cual, cada términu a partir del terceru ye la suma de los dos términos anteriores. Esta socesión en términos xenerales defínese como:

{{Ecuación|<math>a_n = a_{n-1} + a_{n-2}\,</math>}}

Cuando se realiza la complexidá d'un algoritmu recursivo basáu nuna socesión, llógrase una rellación de recurrencia qu'espresa'l númberu d'operaciones necesaries pa resolver un problema de tamañu ''n'' en términos del númberu d'operaciones necesaries pa resolver el mesmu problema con unos datos de tamañu menor.

D'esta manera, puede comprobase la esistencia d'una gran rellación ente les rellaciones de recurrencia y la recursión, yá que sirven pa resolver una gran cantidá de problemes como, por casu, calcular el [[interés compuestu]], calcular el númberu de movimientos del xuegu de les [[Torres de Hanói]] y el númberu de coneyos d'una islla (problema propuestu por Fibonacci y rellacionáu, por tanto, cola socesión de Fibonacci).

=== Exemplos ===

Ente les socesiones comunes y bien utilizaes pueden atopase les que tán en [[progresión aritmética]] o en [[progresión xeométrica]]. La diferencia básica ye que na [[socesión aritmética]] la [[Razón (matemátiques)|razón]] de cambéu ente un miembru y otru ye la suma o resta de la mesma razón, y na [[socesión xeométrica]] el siguiente númberu de la socesión llograr por multiplicar o estremar la razón de cambéu. Sía que non la razón de cambéu ye constante y nun puede variar, nun siendo que'l cambéu de la razón tamién correspuenda a una socesión, lo que supón tener una socesión dientro d'otra socesión.

== Definición formal y propiedaes básiques ==

Les distintes definiciones suelen tar amestaes al área de trabayu, la más común y xeneral ye la definición de ''socesión numbérica'', na práutica usen socesión de forma intuitiva.

=== Definición formal ===

Una '''socesión numbérica''' formalízase como una [[aplicación matemática|aplicación]] de los [[númberu natural|númberos naturales]] sobre otru conxuntu numbéricu ''X'', de manera:

{{ecuación|1=<math>
 \begin{matrix}
 a: & \mathbb{N} & \to & X \\
 & n & \to & a_n
 \end{matrix}
</math>}}

Una socesión siendo'l conxuntu ''X'' = '''N''' puede ser por casu, la [[socesión de Fibonacci]]. Por norma xeneral, la socesión numbérica formalízase como una aplicación de los númberos naturales nos [[númberu real|númberos reales]]. Sía que non se denota a cencielles como <math>\left\{{a_n}\right\}_{n \in \mathbb{N}}</math> o, si dar por entendíu que los subíndices son enteros, tamién se denota como <math>\left\{{a_n}\right\}_{n \geq 0}</math>. 

El nome que recibe la socesión tamién puede faer referencia a los valores que toma sobre los reales; asina, si la [[imaxe (matemátiques)|imaxe]] de <math>a_{}^{}</math> fueren los [[númberu racional|racionales]], ye dicir fracciones enteres del tipu <math>\scriptstyle \frac{x}{y}, \; y \neq 0</math>, puede llamase socesión de númberos racionales, y lo mesmo pa los [[Númberu irracional|irracional]]es, naturales, enteros, [[númberu alxebraicu|alxebraicos]], [[númberu trascendente|trascendentes]], ...

=== Finitud y infinitud ===

Una '''socesión finita''' <math>\{ a_n \}</math> (de llargor ''r'') con elementos pertenecientes a un conxuntu ''S'', defínese como una función

{{ecuación| 1=<math>f:\{1,2,\ldots,r\}\to S</math>.}}

y nesti casu l'elementu <math>a_n</math> correspuende a <math>f(n)</math>. Por casu, la socesión finita, (de llargor 4) de [[númberu primu|númberos primos]] menores que 10 (2,3,5,7) correspuende a la función <math>f:\{1,2,3,4\} \to \mathbb{P}</math> (onde <math>\mathbb{P}</math> ye'l conxuntu de númberos primos) definida por:

{{ecuación|1=<math>f(1)=2, f(2)=3, f(3)=5, f(4)=7</math>.}}

Una '''socesión infinita''' <math>\{ a_k \}</math> con elementos pertenecientes a un conxuntu ''S'', defínese como una función 
{{ecuación| 1=<math>f:\N\to S</math>.}}
onde, de forma análoga, <math>\{ a_n \}</math> correspuende a <math>f(n)</math>.

=== Subsocesión ===

Una '''subsocesión''' o '''socesión parcial''' d'una socesión <math>\{a_{n}\}</math> ye la socesión formada de la socesión dada por aciu la eliminación de dalgunos de los sos elementos ensin alteriar la posición relativa de los elementos restantes. Por casu, la socesión formada polos númberos pares positivos (2, 4, 6, ...) ye una socesión parcial de los númberos naturales (1, 2, 3, ...). Les posiciones de dellos elementos camuden cuando s'esanicien otros elementos. Sicasí, les posiciones relatives caltiénense.

Formalmente, una subsocesión d'una socesión <math>\{ a_n \}_{n\in\mathbb N}</math> ye cualquier socesión de la forma <math>\{ a_{n_k}\}_{k\in\mathbb N}</math>, onde <math>\{ n_k \}_{k\in\mathbb N}</math> ye una socesión puramente creciente d'enteros positivos. Obviamente pa una socesión esisten delles subsocesiones.<ref>Watson Fulks. Cálculu Avanzáu. Limusa. Méxicu, 1973</ref>

=== Socesiones monótones ===

Nuna '''socesión monótona''', la diferencia ente cada términu y el siguiente ye siempres del mesmu signu. Pueden ser crecientes o decrecientes.<ref>A.Bouvier:''Diccionariu de matemátiques''(1979)</ref> 

Una '''socesión creciente''' ye aquella na que s'impon la [[desigualdá matemática|desigualdá]] non estricta <math>a_n^{} \leq a_{n+1}</math>, esto ye, na que cada términu ye menor o igual al términu siguiente. Dientro d'estes puédense incluyir, ente otres, les '''socesiones constantes'''. Si imponse la condición de que <math>a_n^{} < a_{n+1}</math>, esto ye, que'l siguiente términu <math> a_{n+1}^{}</math> siempres sía puramente mayor que'l so predecesor <math>a_n^{}</math>, denominar socesiones [[Función monótona|puramente crecientes]].

De la mesma manera puede definise la '''socesión decreciente''', según el términu xeneral, si <math>a_n^{} \geq a_{n+1}</math>. Va Ser [[Función monótona|puramente decreciente]] si <math>a_n^{} > a_{n+1}</math>.

=== Socesiones acutaes ===

Pueden dase trés formes de socesión acutada:
* Una socesión {''a''<sub>''n''</sub>} va tar '''acutada superiormente''' nel casu qu'esista un númberu real ''M ''que llinde de la siguiente forma la secuencia: {''a''<sub>''n''</sub>} ≤ ''M''.
* Per otru llau, la socesión va tar '''acutada inferiormente''' cuando un númberu real ''N'' la llende de la forma contraria a l'anterior: {''a''<sub>''n''</sub>} ≥ ''N''.
* Finalmente, en casu de que se dean dambes opciones {''a''<sub>''n''</sub>} va ser una socesión '''acutada'''.

== Llendes y converxencia ==
[[Imaxe:Converging Sequence example.svg|320px|thumb|Gráfica d'una socesión converxente {''a''<sub>''n''</sub>} que s'amuesa n'azul. Del gráficu puede vese que la socesión ye converxente a la llende cero cuando s'amonta ''n''.]]

=== Socesiones Converxentes ===
{{AP|llende d'una socesión}}

Una propiedá importante de les socesiones ye la ''converxencia''. Si una socesión converxe, esta tiende a un valor particular conocíu como ''llende''. Si una socesión converxe a dalguna llende, entós ye '''converxente'''. Una socesión que nun ye converxente ye '''diverxente'''.

Informalmente, una socesión tien llende si los elementos de la socesión fáense cada vez más y más cercanos a dalgún valor <math>L</math> (llamada llende de la socesión), y quédense «arbitrariamente» cercanos a <math>L</math>, lo que significa que dau un númberu real <math>\varepsilon</math> mayor que cero, toos menos un númberu finito d'elementos de la socesión tienen una distancia a <math>L</math> menor que <math>\varepsilon</math>. 

Formalmente, una socesión <math>\{a_n\}, \ a_n \in \mathbb{R}</math>, converxe a <math>L</math> o tien por llende <math>L</math> (cuando <math>n \rightarrow \infty</math>), y escríbese,

{{ecuación|1=<math> \lim_{n} a_n = L </math>}}

cuando,

{{ecuación|1=<math> \forall \varepsilon \in \mathbb{R}, \varepsilon > 0, \exists n_0 \in \mathbb{N} : |a_n - L| < \varepsilon, \forall n \geq n_0, n \in \mathbb{N}</math>}}

Si una socesión <math>\{a_n\}, \ a_n \in \mathbb{R}</math> ye converxente, entós el <math>\lim_{n} a_n</math> ye únicu y la socesión ye acutada.

La '''socesiones trémboles''' son diverxentes. Los sos términos alternen indefinidamente de mayor a menor o viceversa, polo que nun tienen llende. Intuitivamente llámase '''socesión alternada''' cuando [[Repetición|alterna]] valores de [[Opuestu|signu opuestu]], como <math>a_n=(-1)^{n}</math> que xenera la socesión: ''a''<sub>0</sub>=1, -1, 1, -1, 1, -1, ... utilizada por [[Serie alternada|series alternaes]].

=== Socesiones de Cauchy ===
[[imaxe:Cauchy sequence illustration.svg|250px|thumb|Gráfica d'una socesión de Cauchy {''x''<sub>''n''</sub>}.]]
{{AP|Socesión de Cauchy}}
Dada la socesión {''a''<sub>''n''</sub>} de númberos reales, llámase '''socesión de Cauchy''' o '''socesión fundamental''', nel casu de que satisfaiga'l requisitu siguiente: dau un númberu real ''r'' positivu pueda consiguise dos enteros positivos ''p'', ''q'' tal que de ''p'' > ''n''<sub>0</sub> y ''q'' > ''n''<sub>0</sub> dedúzase que |''c''<sub>''p''</sub> - ''c''<sub>''q''</sub>| < ''r''.<ref>Lages Lima. Cursu d'Analís Matemáticu. Edunsa. Barcelona, 1991</ref>

Nos númberos reales toa socesión de Cauchy converxe a dalguna llende. Esta particularidá implica un resultáu importante nel [[analís real]] que ye la ''carauterización de Cauchy pa la converxencia de socesiones'':

{{cita|1=Una socesión de númberos reales ye converxente (nos reales) [[si y solu si]] ye de Cauchy.|2=}}

=== Estensión a los reales ===

[[Ficheru:Perturbación.svg|thumb|right|350px|Compruébese que <math>\scriptstyle \{ a_n^{}\} =f(n)=f(n)+\sin(n \pi) </math>, ilustrando que dos funciones reales distintos pueden corresponder a una mesma socesión sobre los enteros.]]

Dada una función <math> f: \mathbb{N} \to \mathbb{R} </math>, vamos llamar ''estensión nos reales'' de <math>f_{}^{}</math> a una función <math> P: \mathbb{R} \to \mathbb{R} </math> que los sos valores coinciden nel dominiu de <math>f_{}^{}</math>, esto ye, <math>f_{ | \mathbb{N}}=P_{ | \mathbb{N}}</math>.

Ye incorreutu representar a la estensión nos reales col mesmu nome (<math> f: \mathbb{R} \to \mathbb{R} </math>), pos, tratar d'una asociación totalmente arbitraria y non unívoca que trai tracamundiu y nun tien sentíu pa delles [[función definida a cachos|funciones definíes a cachos]]. Suelse llamar a la estendida por casu <math> P_{}^{}, \; Q_{}^{}, \; \phi_{}^{}</math> o <math> \psi_{}^{}</math> si ye un polinomiu, o <math>g_{}^{}</math> o <math>h_{}^{}</math> si son funciones trigonométriques, amestando subíndices si fai falta.

La función ''f'' puede adquirir propiedaes de la estendida ''P'', si esiste ''P'' con diches propiedaes, como [[Llende d'una función|llendes]] al infinitu, monotonía, acotaciones, ente otres.

== Xeneralización en distintes árees ==
Estos exemplos pretenden ser una pequeña muestra de la infinidá, puramente dicha, d'usos que tienen diches socesiones en matemátiques.

El trabayu internu nel desenvolvimientu de cada tema en cada área obliga a diversificar la manera de nomar y notar les socesiones, faciéndose frecuente l'usu d'índices, subíndices y superíndices pa salvar la sobrecarga de notación y faeles más legibles y estétiques tocantes a la presentación.

=== L'espaciu de socesiones finitas complexes <math>\mathbb{C}</math> ===
Puede tenese una socesión <math>\left\{ {a^{(i)}}\right\}_{i\in \mathbb{N}}</math> tal que <math> {a^{(i)}} {:=(a_1^{(i)},...,a_{n_i}^{(i)} ,0,...)\text{, onde } a_j^{(i)}}\in \mathbb{C}-\left\{0\right\}</math>

=== L'espaciu de socesiones complexes o ℓ<sup>2</sup> <math>\mathbb{C}^n</math> ===
Puede tenese una socesión <math>\left\{{V^{(i)}}\right\}_{i\in \mathbb{N}}</math> tal que <math> {V^{(i)}} {:=(a_1^{(i)},...,a_n^{(i)})\text{, onde } a_j^{(i)}}\in \mathbb{C}</math>

=== L'espaciu de polinómico K[x] ===
Un [[polinomiu]] <math>P(x) \in K[x]</math> nun ye más qu'una socesión finita <math>\left\{{a_n}\right\}_n</math> tal que <math>a_n \in K</math> representada como <math>P(x)_{}^{}=a_0+a_1x+a_2x^2+...+a_nx^n</math>.

=== L'espaciu de les matrices <math> M_{m \times n}(k)</math> ===
Puede tenese una socesión <math>\left\{{A_i}\right\}_{i \in \mathbb{N}}</math> tal que <math>A_i:= \begin{pmatrix} a_{1,1}^{(i)} & \ldots & a_{1,n}^{(i)} \\ \vdots && \vdots \\ a_{m,1}^{(i)} & \ldots & a_{m,n}^{(i)} \end{pmatrix}</math>, onde <math>a_{j,k}^{(i)} \in K</math>.

=== Nun espaciu vectorial topolóxicu ===
Puede tenese una socesión <math>\left\{{V_{i}^{}}\right\}_{i\epsilon\mathbb{N}}</math>, onde <math> V_n^{}:= \alpha_n B</math>, onde <math> \alpha_n \in \mathbb{R}</math> ye una socesión real arbitraria y B un abiertu.

=== Socesiones funcionales ===
Puede tenese una socesión de funciones continues <math>\left\{{{f(x)}_n}\right\}_{n\epsilon\mathbb{N}}=\sin(x)^n</math>.

=== Nel llinguaxe proposicional ===
Sía <math>\Alpha_{}</math> un alfabetu, vamos llamar <math>\Alpha^n</math> al conxuntu de socesiones finitas de ''n'' elementos de <math>\Alpha_{}</math>, defínese inductivamente pola socesión de productos cartesianos siguiente: <math>\Alpha^1=\Alpha, \Alpha^2=\Alpha\times \Alpha,\, \cdots ,\, \Alpha^n:=\Alpha^{n-1}\times \Alpha</math>
* asina <math>\langle a_1,\cdots ,a_n \rangle :=\langle\langle a_1,\cdots ,a_{n-1} \rangle ,a_n \rangle \in \Alpha^n \text{, y } a_i:= \langle a_i \rangle \in \Alpha</math>.

=== N'homoloxía simplicial ===
El [[complexu de cadenes]] simplicial del complexu simplicial K, nun ye más qu'una determinada socesión de grupos abelianos y morfismos.

=== Nel llinguaxe de les categoríes ===
Sía <math> \mathcal{A} </math> una categoría, podemos tener una socesión <math>\left\{{A_n}\right\}_{n \in \mathbb{N}}</math>, onde <math>A_{n}^{} \in \mathrm{Ob}({ \mathcal{A} })</math>.

== Ver tamién ==
{{columnes}}
* [[Llende d'una socesión]]
* [[Serie matemática]]
* [[Socesión exacta]]
* [[Socesión de Cauchy]]
* [[Socesión de Farey]]
* [[Socesión de Fibonacci]]
* [[Socesión de Goodstein]]
* [[Socesión de Padovan]]
* [[Socesión de Thue-Morse]]
{{nueva columna}}
* [[Ecuaciones en diferencies]]
* [[Tresformada Z]]
* [[Númberu de Perrin]]
* [[Enciclopedia electrónica de secuencies d'enteros]]
* [[Progresión aritmética]]
* [[Progresión xeométrica]]
* [[OEIS]]
* [[Númberos primos|Socesión de númberos primos]]
{{final columnes}}

== Referencies ==
{{llistaref}}

== Bibliografía ==
* {{cita llibru |apellíu= Fernández Novoa |nome=Jesús |títulu=Analís Matemáticu I (Tomu 1) |añu=1991 |ubicación=Madrid |editorial=UNED |isbn=9788436216684}}
* Watson Fulks. "Cálculu avanzáu".
*J. Dieudonné. " Fundamentos d'analís modernu".
* Lages Lima. " Cursu d'analís matemáticu''
* Banach. " Cálculu".
* Spivak . "Calculus"
* V.F. Butúzov. " Analís matemáticu"

== Enllaces esternos ==
{{Commons|Sequence|Socesión}}
* [http://www.quizma.cl/matematicas/centrodecalculo/sucesion/index.htm Cálculu de la fórmula d'una socesión] {{Webarchive|url=https://web.archive.org/web/20090204150321/http://quizma.cl/matematicas/centrodecalculo/sucesion/index.htm |date=2009-02-04 }}
{{LA Socesión}}



{{Tradubot|Sucesión matemática}}

{{control d'autoridaes}}
[[Categoría:Wikipedia:Enciclopedia Llibre Universal]]
[[Categoría:Socesiones| ]]