Ir al contenido

Diferencia entre revisiones de «Sucesión (matemática)»

De Wikipedia, la enciclopedia libre
Contenido eliminado Contenido añadido
JaimeAV (discusión · contribs.)
mSin resumen de edición
Sin resumen de edición
Etiquetas: Edición desde móvil Edición vía web móvil
Línea 1: Línea 1:
[[Archivo:Cauchy sequence illustration2.svg|right|thumb|Una sucesión infinita de números reales (en azul). La sucesión no es ni creciente, ni decreciente, ni convergente, ni es una [[sucesión de Cauchy]]. Sin embargo, sí es una [[Acotado|sucesión acotada]].]]
{{proyecto educativo}}

Las '''sucesiones de números''' o '''numéricas''' son un conjunto ordenado de números que siguen una regla determinada . Estos han llamado siempre la atención de los matemáticos de todas las generaciones. Pero, a pesar de esto y de que se conocían desde tiempos lejanos, no fueros estudiadas de forma detallada hasta la época de mayor desarrollo de las matemáticas en el siglo XVIII.
Una '''sucesión matemática''' es una [[conjunto ordenado|aplicación]] cuyo dominio es el conjunto de los enteros positivos o ℤ<sub>+</sub>∪{0} y su codominio es cualquier otro conjunto, generalmesuscri
Fue en este tiempo cuando se perfeccionó el concepto de límite de una sucesión como el valor al cual se acercan de forma sucesiva sus términos.
e de [[número]]s, figuras geométricas o funciones. Cada uno de ellos es denominado ''término'' (también ''elemento'' o ''miembro'') de la sucesión y al número de elementos ordenados (posiblemente infinitos) se le denomina la ''longitud'' de la sucesión. No debe confundirse con una [[serie matemática]], que es la suma de los términos de una sucesión.
Este concepto matemático trae consigo la mayor cantidad de dificultades de aprendizaje, iniciando a su vez, el campo de estudio de las sucesiones infinitas, que no se pueden tratar con las reglas aritméticas que se aplican a las finitas. Cuando los elementos de estas sucesiones infinitas se pueden enumerar, a este conjunto, se le llama ''numerable'' o ''contable''. Si el conjunto no es numerable, se la llama ''no numerable''.

:En general, las sucesiones se utilizan para representar listas ordenadas de elementos pero, sobre todo, dentro de las matemáticas discretas son empleadas de otras diversas maneras como, por ejemplo, dentro de las [[ciencias de la computación]] y en la [[Teoría de juegos|Teoría de Juegos]].
A diferencia de un conjunto, el orden en que aparecen los términos sí es relevante y un mismo término puede aparecer en más de una posición. De manera formal, una sucesión puede definirse como una [[función (matemáticas)|función]] sobre el conjunto de los [[números naturales]] (o un subconjunto del mismo) y es por tanto una función [[matemáticas discretas|discreta]].

Estas sucesiones que siguen una regla determinada, han llamado siempre la atención de los matemáticos de todas las generaciones. Pero, a pesar de esto y de que se conocían desde tiempos lejanos, no fueros estudiadas de forma detallada hasta la época de mayor desarrollo de las matemáticas en el siglo XVIII. Fue en este tiempo cuando se perfeccionó el concepto de límite de una sucesión como el valor al cual se acercan de forma sucesiva sus términos.
:En general, las sucesiones se utilizan para representar listas ordenadas de elementos pero, sobre todo, dentro de las matemáticas discretas son empleadas de otras diversas maneras como, por ejemplo, dentro de las [[ciencias de la computación]] y en la [[Teoría de Juegos]].
:Sin cuestión alguna, '''Leonhard Euler''' fue el matemático más destacado de esa época, gracias a sus contribuciones decisivas en diversos campos de las matemáticas, sobe todo, en el campo de las sucesiones y de las series numéricas.
:Sin cuestión alguna, '''Leonhard Euler''' fue el matemático más destacado de esa época, gracias a sus contribuciones decisivas en diversos campos de las matemáticas, sobe todo, en el campo de las sucesiones y de las series numéricas.
:También cabe destacar al matemático italiano '''Leonardo de Pisa''', quien, en el siglo siglo XII, introdujo en Europa una de las sucesiones numéricas que mayor existencia tiene en los fenómenos naturales, ''los números de Fibonacci''.
:También cabe destacar al matemático italiano '''Leonardo de Pisa''', quien, en el siglo siglo XII, introdujo en Europa una de las sucesiones matemáticas que mayor existencia tiene en los fenómenos naturales, ''los números de Fibonacci''.

__TOC__
;Ejemplo
La sucesión (''A, B, C'') es una sucesión de letras que difiere de la sucesión (''C'', ''A'', ''B''). En este caso se habla de sucesiones finitas (de longitud igual a 3). Un ejemplo de sucesión infinita sería la sucesión de números positivos pares: 2, 4, 6, 8...

En ocasiones se identifica a las sucesiones finitas con [[palabra (matemáticas)|palabras]] sobre un conjunto. Puede considerarse también el caso de una sucesión vacía (sin elementos), pero este caso puede excluirse dependiendo del contexto.

== Definiciones ==
Las diferentes definiciones suelen estar ligadas al área de trabajo, la más común y poco general es la definición de [[Sucesión matemática#Sucesiones numéricas|sucesión numérica]], en la práctica se usan sucesiones de forma intuitiva.

=== Definición formal ===
Una '''sucesión finita''' <math>(a_k)</math> (de longitud ''r'') con elementos pertenecientes a un conjunto ''S'', se define como una función
{{ecuación| 1=<math>f:\{1,2,\ldots,r\}\to S</math>.}}
y en este caso el elemento <math>a_k</math> corresponde a <math>f(k)</math>.

Por ejemplo, la sucesión finita, (de longitud 4) de [[número primo|números primos]] menores que 10:
{{ecuación|1=<math> 2,3, 5, 7</math>}}
corresponde a la función <math>f:\{1,2,3,4\} \to \mathbb{P}</math> (donde <math>\mathbb{P}</math> es el conjunto de números primos) definida por:
{{ecuación|1=<math>f(1)=2, f(2)=3, f(3)=5, f(4)=7</math>.}}

Una '''sucesión infinita''' <math>(a_k)</math> con elementos pertenecientes a un conjunto ''S'', se define como una función
{{ecuación| 1=<math>f:\N\to S</math>.}}
en donde, de forma análoga, <math>a_k</math> corresponde a <math>f(k)</math>.

=== Notación ===
Notaremos por <math>\left\{{x_n}\right\}_{n\in \mathbb{N}}</math> a una sucesión, donde ''x'' la identifica como distinta de otra digamos <math>\left\{{y_n}\right\}_{n\in \mathbb{N}}</math>.

La notación es permisiva en cuanto a su modificación si realmente es necesario.

=== Definición de término general ===
Llamaremos ''término general'' de una sucesión a <math>x_n^{}</math>,donde el [[índice (matemática)|subíndice]] <math>{n\in \mathbb{N}}</math> indica el lugar que ocupa en dicha sucesión.

=== Definición de parcial ===
Llamaremos ''parcial'' de <math>\left\{{x_n}\right\}_{n\in \mathbb{N}}</math> a una sucesión <math>\left\{{x_{n_i}}\right\}_{n_i\in \mathbb{N}}</math> donde <math>n_i <n_{i+1} </math>.

== Notación ==
Existen diferentes notaciones y nociones de sucesión en matemáticas, dependiendo del área de estudio, algunas de las cuales (como por ejemplo [[sucesión exacta]]) no quedan comprendidas en la notación que se introduce a continuación.

Se puede usar la notación <math>(a_n)</math> para indicar una sucesión, en donde <math>a_n</math> hace referencia al elemento de la sucesión en la posición ''n''.

'''Ejemplo'''. Retomando el ejemplo de los números positivos pares, si denotamos dicha sucesión por <math>(p_n)</math>:
{{ecuación|1=<math>(p_n)=2,4,6,8,10,12,...</math>}}
entonces
{{ecuación|1=<math>p_1 =2, p_2=4, p_3=6, p_4=8,\ldots</math>.}}

En el caso de que los elementos de la sucesión queden determinados por una regla, se puede especificar la sucesión haciendo referencia a la fórmula de un término arbitrario.
'''Ejemplo'''. La sucesión anterior <math>(p_n)</math> puede especificarse mediante la fórmula <math>p_n=2n</math>.

No es infrecuente encontrar sucesiones en donde los subíndices denotando posiciones inician desde cero, en vez desde uno, particularmente en matemática discreta o en ciencias de la computación. También se puede usar una variable distinta a ''n'' para denotar el término general, cuando así convenga para evitar confusión con otras variables.

En la literatura es posible encontrar una gran variedad de notaciones alternativas. Por ejemplo, uso de llaves en vez de paréntesis, o indicaciones de los ''límites'' mediante variantes de super y subíndices, a continuación se muestran algunos pocos ejemplos:
* <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>

== Sucesiones numéricas ==
Una '''sucesión numérica''' se formaliza como una [[aplicación matemática|aplicación]] de los [[número natural|números naturales]] sobre otro conjunto numérico, así por ejemplo:
: <math>
\begin{matrix}
a: & \mathbb{N} & \to & \mathbb{N} \\
& n & \to & a_n
\end{matrix}
</math>
Una sucesión de '''N''' sobre '''N''', como la [[sucesión de Fibonacci]].

Si la sucesión numérica se formaliza como una aplicación de los números naturales en los [[número real|números reales]], es decir :
: <math>
\begin{matrix}
a: & \mathbb{N} & \to & \mathbb{R} \\
& n & \to & a_n
\end{matrix}
</math>

En cualquier caso se denota simplemente como <math>\left\{{a_n}\right\}_{n \in \mathbb{N}}</math> o, si se da por entendido que los subíndices son enteros, también se denota como <math>\left\{{a_n}\right\}_{n \geq 0}</math>.

El nombre que recibe la sucesión también puede hacer referencia a los valores que toma sobre los reales; así, si la [[imagen (matemáticas)|imagen]] de <math>a_{}^{}</math> fuesen los [[número racional|racionales]], es decir fracciones enteras del tipo <math>\scriptstyle \frac{x}{y}, \; y \neq 0</math>, se puede llamar sucesión de números racionales, y lo mismo para los [[Número irracional|irracional]]es, naturales, enteros, [[número algebraico|algebraicos]], [[número trascendente|trascendentes]], ...

Puede ser creciente o decreciente. Las hay en [[progresión aritmética]] o en [[progresión geométrica]], la diferencia básica es que en la [[sucesión aritmética]] la [[Razón (matemáticas)|razón]] de cambio entre un miembro y otro es la suma o resta de la misma razón, y en la [[sucesión geométrica]] el siguiente número de la sucesión se logra por multiplicar o dividir la razón de cambio. En cualquier caso la razón de cambio es constante y no puede variar, a menos que el cambio de la razón también corresponda a una sucesión, lo que supone tener una sucesión dentro de otra sucesión.


El término general de la sucesión queda definido de forma ''implícita'' si su valor depende de sus predecesores, es decir, sucesiones obtenidas a partir de sus términos iniciales. En general, dados previamente los valores de <math>a_0, \; a_1,\; ... \; ,\; a_n</math>, podemos definir el término general de forma [[inducción matemática|inductiva]] como <math>a_{i+1} = f(a_{i-n}, \; ... \; , a_i) , \; i \ge n</math> como por ejemplo con la [[relación de recurrencia|ecuación en recurrencias]] <math>a_{i+1} = b_0 a_{i-n} + \; ... \; + b_n a_i + c_n , \; i \ge n, \; b_0, \; ... \; , \; b_n, \; c_n \in \mathbb{R} </math>.
==Concepto de sucesión==
En el caso de encontrar una fórmula para el término general de una sucesión, se puede localizar cualquier término sustituyendo de la fórmula la letra por el número que indica el lugar que ocupa el término que estamos buscando.
Una sucesión es un conjunto ordenado de números. Cada uno de estos números se les llama ''términos''. Para algunas sucesiones es posible escribir una fórmula general que permite calcular cualquiera de sus términos, debido a que cada término se puede obtener en función del anterior. Una de las aplicaciones de las sucesiones es su utilización para la realización de cálculos relacionados con intereses y desarrollo de capitales, dentro de la matemática financiera o comercial.
:Formalmente, a una sucesión se le denota por <math>\left\{{x_n}\right\}_{n\in \mathbb{N}}</math> donde ''n'' es un número natural. En una sucesión <math>\left\{{x_n}\right\}_{n\in \mathbb{N}}</math>, ''X1'' es el primer término, ''X2'' es el segundo término y así sucesivamente hasta llegar a ''Xn'' que es el término de lugar n o n-ésimo término, también llamado ''término general de una sucesión''.
Algunos ejemplos de sucesiones son:
:{{ecuación|1=<math>1,\dfrac{1}{2},\dfrac{1}{3},\dfrac{1}{4},\dfrac{1}{5},\dfrac{1}{6},...</math>}} Para esta sucesión, su término general es ''1/n''. Cuando ''n = 1'', el término de la sucesión es ''X1 = 1''; el término de la sucesión para ''n = 2'' es ''X2 = 1/2'', y así sucesivamente.
:{{ecuación|1=<math>1,2,3,4,5,6,7,...</math>}} Esta es la sucesión de los números naturales.
:{{ecuación|1=<math>2,4,6,8,10,12,...</math>}} Esta sucesión se define con la expresión (2''n''), siendo la sucesión de los números naturales que son múltiplos de 2.
:{{ecuación|1=<math>2,3,5,7,11,...</math>}} Esta es la sucesión de los números primos, para la cual, no se puede expresar su término general mediante una fórmula explícita que defina todos los términos de la sucesión.
:En el caso de encontrar una fórmula para el término general de una sucesión, se puede localizar cualquier término sustituyendo de la fórmula la letra ''n'' por el número que indica el lugar que ocupa el término que estamos buscando. Un ejemplo claro es el siguiente:
::Si se desea encontrar el término que ocupa la posición 1.557 en la primera sucesión propuesta como ejemplo {{ecuación|1=<math>1,\dfrac{1}{2},\dfrac{1}{3},\dfrac{1}{4},\dfrac{1}{5},\dfrac{1}{6},...</math>}}
::siendo su término general ''1/n'' , sustituimos la ''n'' por 1.557, obteniendo así el término que ocupa dicha posición ''X1.557 = 1/1.557''
:De esta manera, aparece un problema común dentro de las matemáticas discretas, que consiste encontrar dicha fórmula general, ya que en ocasiones solo disponemos de los términos iniciales de la sucesión para hallarla. También puede ocurrir que estos términos iniciales no determinen toda la sucesión, ya que existen infinitas sucesiones que comparten el mismo conjunto finito de términos iniciales, pero siempre son un buen punto de partida para realizar una conjetura sobre la sucesión.
:De esta manera, aparece un problema común dentro de las matemáticas discretas, que consiste encontrar dicha fórmula general, ya que en ocasiones solo disponemos de los términos iniciales de la sucesión para hallarla. También puede ocurrir que estos términos iniciales no determinen toda la sucesión, ya que existen infinitas sucesiones que comparten el mismo conjunto finito de términos iniciales, pero siempre son un buen punto de partida para realizar una conjetura sobre la sucesión.

:Al utilizar estos números iniciales para encontrar la fórmula, como inicio, tenemos que encontrar un patrón entre ellos, para esto ponemos formular una serie de preguntas, como por ejemplo, ¿se puede conseguir cada uno de los términos a partir de los anteriores sumando o multiplicando por una cantidad? ¿es una relación cíclica? ¿se pueden obtener los términos combinando otros previos?, etc.
:Al utilizar estos números iniciales para encontrar la fórmula, como inicio, tenemos que encontrar un patrón entre ellos, para esto ponemos formular una serie de preguntas, como por ejemplo, ¿se puede conseguir cada uno de los términos a partir de los anteriores sumando o multiplicando por una cantidad? ¿es una relación cíclica? ¿se pueden obtener los términos combinando otros previos?, etc.
:Estas sucesiones obtenidas a partir de sus términos iniciales, son las llamadas '''sucesiones recursivas'''. Por tanto, una definición recursiva para una sucesión específica uno o varios términos iniciales y una fórmula para calcular el resto en función de términos anteriores. Aquí aparece el concepto de '''relación de recurrencia'''.


===Relación de recurrencia===
=== Tipos ===
==== Sucesión finita ====
Una relación de recurrencia para una sucesión <math>\left\{{x_n}\right\}_{n\in \mathbb{N}}</math> es una ecuación la cual establece el término ''Xn'' en función de los anteriores términos ( ''X1'', ''X2'',..., ''Xn-1'' ) para todos los enteros ''n'' tales que n>=n0. La sucesión en sí es la solución de la relación de recurrencia si sus términos cumplen la relación para todo entero positivo ''n''.
Se dice que una sucesión es finita si determinamos su último término, por ejemplo el ''n''-ésimo:
:Los algoritmos recursivos proporcionan solución a un problema de tamaño ''n'' en términos de la solución de uno o más casos del mismo problema, pero de menor tamaño. De esta manera, cuando se realiza la complejidad de un algoritmo recursivo basado en una sucesión, se obtiene una relación de recurrencia que expresa el número de operaciones necesarias para resolver un problema de tamaño ''n'' en términos del número de operaciones necesarias para resolver el mismo problema con unos datos de tamaño menor.
:De esta manera, se puede comprobar la existencia de una gran relación entre las relaciones de recurrencia y la recursión, ya que sirven para resolver una gran cantidad de problemas como, por ejemplo, calcular el [[interés compuesto]], calcular el número de movimientos del juego de las [[Torres de Hanói]] y el número de conejos de una isla (problema propuesto por Fibonacci y relacionado, por tanto, con la sucesión de Fibonacci).


:Genéricamente: <math> a_0, \; a_1, \; a_2, \; ... \; , \; a_i , \; ... \; , \; a_n </math>, donde <math>a_i^{}</math> sería el término general si hiciese falta.
==Leonardo de Pisa (Fibonacci)==
(Leonardo Fibonacci, su apodo proviene del latín ''filius Bonacci'', hijo de Bonacci) (hacia 1170-Pisa, después de 1240) Fue un matemático italiano. Leonardo acompañó a su padre, que era secretario de Pisa, por los distintos países árabes, entrando en contacto, de esta manera, con las matemáticas de estos países.
A su regreso a Pisa (en el s.XII), sus distintas obras cobraron el reconocimiento que merecían por parte de las autoridades y fueron de gran influencia para los calculadores. Fibonacci es mundialmente conocido por ''la sucesión de Fibonacci'', pero esta no fue su única contribución a las matemáticas. Cabe destacar varias obras, la más principal es Libro del ábaco (''Liber abbaci''), el cual, es un manual de cálculo, que contiene la resolución de diversos problemas algebraicos muy distintos y se explica los diversos fundamentos de la numeración hindú. También destaca La práctica de la geometría (''Practica geomatriae'') que habla sobre la geometría y la trigonometría y también su obra ''Liber Quadratorum'' donde trata el problema de [[Ecuación diofántica|las ecuaciones diofánticas]].


:ejemplo: 100, 99, 98, ... , 1, 0
=== Sucesiones definidas por recurrencia (sucesión de Fibonacci)===

====Subsucesión====
Una sucesión es una aplicación en los enteros; como <math>a_n = s(n)</math> para cualquier <math>n \geq n_0</math>. Luego se circunscribe la aplicación a un subconjunto de los enteros. Se elige un entero mayor o igual a <math>n_0</math>, denotado como <math>n_1</math>, en seguida otro mayor que <math>n_1</math>, denotado por <math>n_2</math>, y así sucesivamente. Entonces la nueva sucesión definida por

::<math>c_{h}= a_{n_{h}} = s(n_{h})\qquad\qquad</math>para <math>h = 0,1,2,...,</math>

se llama '''subsucesión''' de <math>\{a_{n}\}</math>. Obviamente para una sucesión existen varias subsucesiones.<ref>Watson Fulks. Cálculo Avanzado. Limusa. México, 1973</ref>

==== Sucesión constante ====

Se dice que una sucesión es constante si todos los términos tienen un mismo valor, <math>k_{}^{}</math>, es decir, un mismo número real cualquiera, ejemplo:

:Genéricamente <math>a_0^{} = k, \; a_1 = k, \; a_2 = k, \; a_3 = k, \; ... \; , \; a_n = k,\;... </math>

:ejemplo: si <math>k_{}^{}=1</math> queda como 1, 1, 1, 1, ... ,1 ,... , es decir, que todos los valores son el mismo, 1.

==== Sucesiones monótonas ====
En una '''sucesión monótona''', la diferencia entre cada término y el siguiente es siempre del mismo signo. Pueden ser crecientes o decrecientes:<ref>A.Bouvier:''Diccionario de matemáticas''(1979)</ref>

===== Sucesión creciente =====

Si se impone al término general de una sucesión numérica la condición que <math>a_n^{} < a_{n+1}</math>, es decir, que el siguiente término, <math> a_{n+1}^{}</math>, siempre sea estrictamente mayor que su predecesor, <math>a_n^{}</math>, se llaman sucesiones [[Función monótona|estrictamente crecientes]]:

:Para naturales: 1, 2, 3, 4, 5, 6, ...
:Para enteros: -10, -9, -8, -7, -6, ...
:Para reales: <math>-2'01, \; -1, \; 0, \; \sqrt{2}, \; e_{}^{}, \; \pi, \; ,\;...</math>.

Si se impone <math>a_n^{} \leq a_{n+1}</math>, es decir, una [[desigualdad matemática|desigualdad]] no estricta, entonces se pueden incluir, entre otras, las sucesiones constantes.

===== Sucesión decreciente =====

Al igual que las crecientes tenemos, según el término general, que:
* si <math>a_n^{} > a_{n+1}</math> es [[Función monótona|estrictamente decreciente]].
* si <math>a_n^{} \geq a_{n+1}</math> entonces la sucesión es decreciente.

==== Sucesión alternada ====

Intuitivamente se llama sucesión alternada cuando [[Repetición|alterna]] valores de [[Opuesto|signo opuesto]], como <math>a_n=(-1)^{n}</math> que nos genera la sucesión: ''a''<sub>0</sub>=1, -1, 1, -1, 1, -1, ... utilizada por las [[serie matemática|series]] llamadas [[Serie alternada|series alternadas]].

==== Sucesión oscilante====
Este tipo de sucesión no es ni convergente ni divergente. Sus términos alternan de mayor a menor o viceversa.
:<math>1, 0, 3, 0 ,5, 0, 7, ...</math>

====Sucesión divergente====
Es la sucesión en que a<sub>n</sub> no tiene límite finito cuando ''n'' tiende a infinito.

==== Sucesiones Acotadas ====
Se pueden dar tres formas de sucesión acotada:
* Una sucesión '''{''a''<sub>''n''</sub>} '''estará '''acotada superiormente''' en el caso que exista un número real ''M ''que limite de la siguiente forma la secuencia: '''{''a''<sub>''n''</sub>}''' ≤ ''M''.
* Por otro lado, la sucesión estará '''acotada inferiormente''' cuando un número real ''N'' la límite de la forma contraria a la anterior: '''{''a''<sub>''n''</sub>}''' ≥ ''N''.
* Finalmente, en caso de que se den ambas opciones '''{''a''<sub>''n''</sub>} '''será una sucesión '''acotada'''.

==== Sucesiones Convergentes ====
Una sucesión <math>\{a_n\}, \ a_n \in \mathbb{R}</math>, converge a <math>a</math> o tiene por límite <math>a</math> (cuando <math>n \rightarrow \infty</math>), y se escribe,

:<math> \lim_{n} a_n = a </math>

cuando,

:<math> \forall \epsilon \in \mathbb{R}, \epsilon > 0, \exists n_0 \in \mathbb{N} : |a_n - a| < \epsilon, \forall n \geq n_0, n \in \mathbb{N}</math>

==== Sucesiones definidas por recurrencia====
Una relación de recurrencia para una sucesión <math>\left\{{a_n}\right\}_{n\in \mathbb{N}}</math> es una ecuación la cual establece el término a<sub>n</sub> en función de los anteriores términos <math> a_0, \; a_1, \; a_2, \; ... \; , \; a_{n-1}</math> para todos los enteros ''n'' tales que <math>n>=n_0</math>. La sucesión en sí es la solución de la relación de recurrencia si sus términos cumplen la relación para todo entero positivo ''n''.
Una relación de recurrencia para una sucesión <math>\left\{{a_n}\right\}_{n\in \mathbb{N}}</math> es una ecuación la cual establece el término a<sub>n</sub> en función de los anteriores términos <math> a_0, \; a_1, \; a_2, \; ... \; , \; a_{n-1}</math> para todos los enteros ''n'' tales que <math>n>=n_0</math>. La sucesión en sí es la solución de la relación de recurrencia si sus términos cumplen la relación para todo entero positivo ''n''.
:Los algoritmos recursivos proporcionan solución a un problema de tamaño ''n'' en términos de la solución de uno o más casos del mismo problema, pero de menor tamaño.
:Los algoritmos recursivos proporcionan solución a un problema de tamaño ''n'' en términos de la solución de uno o más casos del mismo problema, pero de menor tamaño.
Línea 51: Línea 181:
Este tipo de sucesiones son muy convenientes para algunos estudios ya que a un ecologista le interesa predecir el tamaño de la población conforme avanza el tiempo. Un ejemplo de uno de estos estudios es la elaboración de un modelo de la población de insectos, donde el apareamiento y la muerte se presentan en forma periódica.
Este tipo de sucesiones son muy convenientes para algunos estudios ya que a un ecologista le interesa predecir el tamaño de la población conforme avanza el tiempo. Un ejemplo de uno de estos estudios es la elaboración de un modelo de la población de insectos, donde el apareamiento y la muerte se presentan en forma periódica.


==Bibliografía==
=== Propiedades ===

==== Unicidad del límite de una sucesión ====

Si una sucesión <math>\{a_n\}, \ a_n \in \mathbb{R}</math> converge, entonces el <math>\lim_{n} a_n</math> es único.

{{demostración|
Sean <math>a, a' \in \mathbb{R}</math> de forma que,

:<math> \lim_{n} a_n = a,\ \lim_{n} a_n = a'</math>

Entonces se cumplen estos dos asertos,

Primero,

:<math> \forall \frac{\epsilon}{2} \in \mathbb{R}, \epsilon > 0, \exists n_1 \in \mathbb{N} : |a_n - a| < \frac{\epsilon}{2}, \forall n \geq n_1, n \in \mathbb{N}</math>

Segundo,

:<math> \forall \frac{\epsilon}{2} \in \mathbb{R}, \epsilon > 0, \exists n_2 \in \mathbb{N} : |a_n - a'| < \frac{\epsilon}{2}, \forall n \geq n_2, n \in \mathbb{N}</math>

luego para <math>n > n_0, n_0 = \mbox{max}\{n_1, n_2\}</math>,

:<math> |a - a'| = |a -a' + a_n - a_n| \leq |a_n - a| + |a_n - a'| < \frac{\epsilon}{2} + \frac{\epsilon}{2} = \epsilon, \forall \epsilon > 0</math>

Como <math>\epsilon</math> fue elegido de forma arbitraria entonces <math>a = a' \ \ \blacksquare</math>
}}

==== Relación entre el concepto de sucesión acotada y el de sucesión convergente ====
Si una sucesión <math>\{a_n\}, \ a_n \in \mathbb{R}</math> es convergente, entonces la sucesión es acotada.

{{demostración|
Una sucesión <math>\{a_n\}, \ a_n \in \mathbb{R}</math> es convergente cuando,

:<math> \forall \epsilon \in \mathbb{R}, \epsilon > 0, \exists n_0 \in \mathbb{N} : |a_n - a| < \epsilon, \forall n \geq n_0, n \in \mathbb{N}</math>

luego en particular, por ejemplo, para <math>\epsilon = 1</math> (podríamos haber tomado cualquier otro <math>\epsilon > 0</math>) se verifica que,

:<math> |a_n - a| < 1, \forall n \geq n_0 </math>

Ahora bien,

:<math> |a_n| = |a_n - a + a| = |(a_n - a) - (-a)| \leq |a_n - a| + |-a| = |a_n - a| + |a| < 1 + |a| </math>

luego hemos concluido que <math>\forall n \geq n_0</math> se verifica que,

:<math> |a_n| < 1 + |a| </math>

Se debe encontrar un <math>c > 0</math> de forma que <math>\forall n \in \mathbb{N}</math> sea <math>|a_n| \leq c</math>. Como a partir del índice <math>n_0</math> se cumple, sumando a <math>1 + |a|</math> todos los elementos que van por detrás de <math>n_0</math> hasta el elemento 1 de la sucesión ya tendríamos el <math>c > 0</math> buscado.

Entonces si,

:<math> c = 1 + |a| + |a_{n_0 - 1}| + |a_{n_0 - 2}| + \cdots + |a_1| </math>

se tiene que,

:<math> |a_n| \leq c, \forall n \in \mathbb{N} \ \ \blacksquare </math>
}}

====Sucesiones fundamentales====
Dada la sucesión {c<sub>n</sub>} de números reales, se llama '''sucesión fundamental''' o de '''Cauchy''', en el caso de que satisfaga el requisito siguiente: dado un número real ''r'' positivo se pueda conseguir dos enteros positivos p, q tal que de p > n<sub>0</sub> y q > n<sub>0</sub> se deduzca que |c<sub>p</sub> - c<sub>q</sub>| < r.<ref>Lages Lima. Curso de Análisis Matemático. Edunsa. Barcelona, 1991</ref>

==== Extensión a los reales ====

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

Dada una función <math> f: \mathbb{N} \to \mathbb{R} </math>, llamaremos ''extensión en los reales'' de <math>f_{}^{}</math> a una función <math> P: \mathbb{R} \to \mathbb{R} </math> cuyos valores coinciden en el dominio de <math>f_{}^{}</math>, es decir, <math>f_{ | \mathbb{N}}=P_{ | \mathbb{N}}</math>.

Es incorrecto representar a la extensión en los reales con el mismo nombre (<math> f: \mathbb{R} \to \mathbb{R} </math>), pues, se trata de una asociación totalmente arbitraria y no unívoca que trae confusión y no tiene sentido para algunas [[función definida a trozos|funciones definidas a trozos]]. Se suele llamar a la extendida por ejemplo <math> P_{}^{}, \; Q_{}^{}, \; \phi_{}^{}</math> o <math> \psi_{}^{}</math> si es un polinomio, o <math>g_{}^{}</math> o <math>h_{}^{}</math> si son funciones trigonométricas, agregando subíndices si hace falta.

La función ''f'' puede adquirir propiedades de la extendida ''P'', si existe ''P'' con dichas propiedades, como [[Límite de una función|límites]] al infinito, monotonía, acotaciones, entre otras.

== Generalización en distintas áreas ==
Estos ejemplos pretenden ser una pequeña muestra de la infinidad, propiamente dicha, de usos que tienen dichas sucesiones en matemáticas.

El trabajo interno en el desarrollo de cada tema en cada área obliga a diversificar el modo de nominar y notar las sucesiones, haciéndose frecuente el uso de índices, subíndices y superíndices para salvar la sobrecarga de notación y hacerlas más legibles y estéticas en cuanto a la presentación.

=== El espacio de sucesiones finitas complejas <math>\mathbb{C}</math> ===
Se puede tener una sucesió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{, donde } a_j^{(i)}}\in \mathbb{C}-\left\{0\right\}</math>

=== El espacio de sucesiones complejas o ℓ<sup>2</sup> <math>\mathbb{C}^n</math> ===
Se puede tener una sucesión <math>\left\{{V^{(i)}}\right\}_{i\in \mathbb{N}}</math> tal que <math> {V^{(i)}} {:=(a_1^{(i)},...,a_n^{(i)})\text{, donde } a_j^{(i)}}\in \mathbb{C}</math>

=== El espacio de polinómico K[x] ===
Un [[polinomio]] <math>P(x) \in K[x]</math> no es más que una sucesió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>.

=== El espacio de las matrices <math> M_{m \times n}(k)</math> ===
Se puede tener una sucesió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>, donde <math>a_{j,k}^{(i)} \in K</math>.

=== En un espacio vectorial topológico ===
Se puede tener una sucesión <math>\left\{{V_{i}^{}}\right\}_{i\epsilon\mathbb{N}}</math>, donde <math> V_n^{}:= \alpha_n B</math>, donde <math> \alpha_n \in \mathbb{R}</math> es una sucesión real arbitraria y B un abierto.

=== Sucesiones funcionales ===
Se puede tener una sucesión de funciones continuas <math>\left\{{{f(x)}_n}\right\}_{n\epsilon\mathbb{N}}=\sin(x)^n</math>.

=== En el lenguaje proposicional ===
Sea <math>\Alpha_{}</math> un alfabeto, llamaremos <math>\Alpha^n</math> al conjunto de sucesiones finitas de ''n'' elementos de <math>\Alpha_{}</math>, se define inductivamente por la sucesión de productos cartesianos siguiente: <math>\Alpha^1=\Alpha, \Alpha^2=\Alpha\times \Alpha,\, \cdots ,\, \Alpha^n:=\Alpha^{n-1}\times \Alpha</math>
* así <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>.

=== En homología simplicial ===
El [[complejo de cadenas]] simplicial del complejo simplicial K, no es más que una determinada sucesión de grupos abelianos y morfismos.

=== En el lenguaje de las categorías ===
Sea <math> \mathcal{A} </math> una categoría, podemos tener una sucesión <math>\left\{{A_n}\right\}_{n \in \mathbb{N}}</math>, donde <math>A_{n}^{} \in Ob({ \mathcal{A} })</math>.

== Véase también ==
{{columnas}}
* [[Límite de una sucesión]]
* [[Serie matemática]]
* [[Sucesión exacta]]
* [[Sucesión de Cauchy]]
* [[Sucesión de Farey]]
* [[Sucesión de Fibonacci]]
* [[Sucesión de Goodstein]]
* [[Sucesión de Padovan]]
* [[Sucesión de Thue-Morse]]
{{nueva columna}}
* [[Ecuaciones en diferencias]]
* [[Transformada Z]]
* [[Número de Perrin]]
* [[Enciclopedia electrónica de secuencias de enteros]]
* [[Progresión aritmética]]
* [[Progresión geométrica]]
* [[OEIS]]
* [[Números primos|Sucesión de números primos]]
{{final columnas}}

== Referencias ==
{{listaref}}

== Bibliografía ==
* {{cita libro |apellido= Fernández Novoa |nombre=Jesús |título=Análisis Matemático I (Tomo 1) |año=1991 |ubicación=Madrid |editorial=UNED |isbn=9788436216684}}
* Watson Fulks. "Cálculo avanzado".
*J. Dieudonné. " Fundamentos de análisis moderno".
* Lages Lima. " Curso de análisis matemático''
* Banach. " Cálculo".
* Banach. " Cálculo".
* Spivak . "Calculus"
*James Stewart. " Cálculo, conceptos y contextos ".
* V.F. Butúzov. " Análisis matemático"
*Agaian Sarkis. "Generalized Fibonacci Numbers and Applications".
*" Enciclopedia de las matemáticas " Editorial Mir/Rubiños - 1860, S.A.


==Enlaces externos==
== Enlaces externos ==
{{Commons|Sequence|Sucesión}}
*[http://www.sectormatematica.cl/contenidos/limsuce2.htm Cálculo de límites de sucesiones]
* [http://www.quizma.cl/matematicas/centrodecalculo/sucesion/index.htm Cálculo de la fórmula de una sucesión]
{{EL|Sucesión}}


[[Categoría:Sucesiones]]
[[Categoría:Wikipedia:Enciclopedia Libre Universal]]
[[Categoría:Sucesiones| ]]

Revisión del 15:49 15 may 2017

Una sucesión infinita de números reales (en azul). La sucesión no es ni creciente, ni decreciente, ni convergente, ni es una sucesión de Cauchy. Sin embargo, sí es una sucesión acotada.

Una sucesión matemática es una aplicación cuyo dominio es el conjunto de los enteros positivos o ℤ+∪{0} y su codominio es cualquier otro conjunto, generalmesuscri e de números, figuras geométricas o funciones. Cada uno de ellos es denominado término (también elemento o miembro) de la sucesión y al número de elementos ordenados (posiblemente infinitos) se le denomina la longitud de la sucesión. No debe confundirse con una serie matemática, que es la suma de los términos de una sucesión.

A diferencia de un conjunto, el orden en que aparecen los términos sí es relevante y un mismo término puede aparecer en más de una posición. De manera formal, una sucesión puede definirse como una función sobre el conjunto de los números naturales (o un subconjunto del mismo) y es por tanto una función discreta.

Estas sucesiones que siguen una regla determinada, han llamado siempre la atención de los matemáticos de todas las generaciones. Pero, a pesar de esto y de que se conocían desde tiempos lejanos, no fueros estudiadas de forma detallada hasta la época de mayor desarrollo de las matemáticas en el siglo XVIII. Fue en este tiempo cuando se perfeccionó el concepto de límite de una sucesión como el valor al cual se acercan de forma sucesiva sus términos.

En general, las sucesiones se utilizan para representar listas ordenadas de elementos pero, sobre todo, dentro de las matemáticas discretas son empleadas de otras diversas maneras como, por ejemplo, dentro de las ciencias de la computación y en la Teoría de Juegos.
Sin cuestión alguna, Leonhard Euler fue el matemático más destacado de esa época, gracias a sus contribuciones decisivas en diversos campos de las matemáticas, sobe todo, en el campo de las sucesiones y de las series numéricas.
También cabe destacar al matemático italiano Leonardo de Pisa, quien, en el siglo siglo XII, introdujo en Europa una de las sucesiones matemáticas que mayor existencia tiene en los fenómenos naturales, los números de Fibonacci.
Ejemplo

La sucesión (A, B, C) es una sucesión de letras que difiere de la sucesión (C, A, B). En este caso se habla de sucesiones finitas (de longitud igual a 3). Un ejemplo de sucesión infinita sería la sucesión de números positivos pares: 2, 4, 6, 8...

En ocasiones se identifica a las sucesiones finitas con palabras sobre un conjunto. Puede considerarse también el caso de una sucesión vacía (sin elementos), pero este caso puede excluirse dependiendo del contexto.

Definiciones

Las diferentes definiciones suelen estar ligadas al área de trabajo, la más común y poco general es la definición de sucesión numérica, en la práctica se usan sucesiones de forma intuitiva.

Definición formal

Una sucesión finita (de longitud r) con elementos pertenecientes a un conjunto S, se define como una función

.

y en este caso el elemento corresponde a .

Por ejemplo, la sucesión finita, (de longitud 4) de números primos menores que 10:

corresponde a la función (donde es el conjunto de números primos) definida por:

.

Una sucesión infinita con elementos pertenecientes a un conjunto S, se define como una función

.

en donde, de forma análoga, corresponde a .

Notación

Notaremos por a una sucesión, donde x la identifica como distinta de otra digamos .

La notación es permisiva en cuanto a su modificación si realmente es necesario.

Definición de término general

Llamaremos término general de una sucesión a ,donde el subíndice indica el lugar que ocupa en dicha sucesión.

Definición de parcial

Llamaremos parcial de a una sucesión donde .

Notación

Existen diferentes notaciones y nociones de sucesión en matemáticas, dependiendo del área de estudio, algunas de las cuales (como por ejemplo sucesión exacta) no quedan comprendidas en la notación que se introduce a continuación.

Se puede usar la notación para indicar una sucesión, en donde hace referencia al elemento de la sucesión en la posición n.

Ejemplo. Retomando el ejemplo de los números positivos pares, si denotamos dicha sucesión por :

entonces

.

En el caso de que los elementos de la sucesión queden determinados por una regla, se puede especificar la sucesión haciendo referencia a la fórmula de un término arbitrario. Ejemplo. La sucesión anterior puede especificarse mediante la fórmula .

No es infrecuente encontrar sucesiones en donde los subíndices denotando posiciones inician desde cero, en vez desde uno, particularmente en matemática discreta o en ciencias de la computación. También se puede usar una variable distinta a n para denotar el término general, cuando así convenga para evitar confusión con otras variables.

En la literatura es posible encontrar una gran variedad de notaciones alternativas. Por ejemplo, uso de llaves en vez de paréntesis, o indicaciones de los límites mediante variantes de super y subíndices, a continuación se muestran algunos pocos ejemplos:

Sucesiones numéricas

Una sucesión numérica se formaliza como una aplicación de los números naturales sobre otro conjunto numérico, así por ejemplo:

Una sucesión de N sobre N, como la sucesión de Fibonacci.

Si la sucesión numérica se formaliza como una aplicación de los números naturales en los números reales, es decir :

En cualquier caso se denota simplemente como o, si se da por entendido que los subíndices son enteros, también se denota como .

El nombre que recibe la sucesión también puede hacer referencia a los valores que toma sobre los reales; así, si la imagen de fuesen los racionales, es decir fracciones enteras del tipo , se puede llamar sucesión de números racionales, y lo mismo para los irracionales, naturales, enteros, algebraicos, trascendentes, ...

Puede ser creciente o decreciente. Las hay en progresión aritmética o en progresión geométrica, la diferencia básica es que en la sucesión aritmética la razón de cambio entre un miembro y otro es la suma o resta de la misma razón, y en la sucesión geométrica el siguiente número de la sucesión se logra por multiplicar o dividir la razón de cambio. En cualquier caso la razón de cambio es constante y no puede variar, a menos que el cambio de la razón también corresponda a una sucesión, lo que supone tener una sucesión dentro de otra sucesión.

El término general de la sucesión queda definido de forma implícita si su valor depende de sus predecesores, es decir, sucesiones obtenidas a partir de sus términos iniciales. En general, dados previamente los valores de , podemos definir el término general de forma inductiva como como por ejemplo con la ecuación en recurrencias . En el caso de encontrar una fórmula para el término general de una sucesión, se puede localizar cualquier término sustituyendo de la fórmula la letra por el número que indica el lugar que ocupa el término que estamos buscando.

De esta manera, aparece un problema común dentro de las matemáticas discretas, que consiste encontrar dicha fórmula general, ya que en ocasiones solo disponemos de los términos iniciales de la sucesión para hallarla. También puede ocurrir que estos términos iniciales no determinen toda la sucesión, ya que existen infinitas sucesiones que comparten el mismo conjunto finito de términos iniciales, pero siempre son un buen punto de partida para realizar una conjetura sobre la sucesión.
Al utilizar estos números iniciales para encontrar la fórmula, como inicio, tenemos que encontrar un patrón entre ellos, para esto ponemos formular una serie de preguntas, como por ejemplo, ¿se puede conseguir cada uno de los términos a partir de los anteriores sumando o multiplicando por una cantidad? ¿es una relación cíclica? ¿se pueden obtener los términos combinando otros previos?, etc.

Tipos

Sucesión finita

Se dice que una sucesión es finita si determinamos su último término, por ejemplo el n-ésimo:

Genéricamente: , donde sería el término general si hiciese falta.
ejemplo: 100, 99, 98, ... , 1, 0

Subsucesión

Una sucesión es una aplicación en los enteros; como para cualquier . Luego se circunscribe la aplicación a un subconjunto de los enteros. Se elige un entero mayor o igual a , denotado como , en seguida otro mayor que , denotado por , y así sucesivamente. Entonces la nueva sucesión definida por

para

se llama subsucesión de . Obviamente para una sucesión existen varias subsucesiones.[1]

Sucesión constante

Se dice que una sucesión es constante si todos los términos tienen un mismo valor, , es decir, un mismo número real cualquiera, ejemplo:

Genéricamente
ejemplo: si queda como 1, 1, 1, 1, ... ,1 ,... , es decir, que todos los valores son el mismo, 1.

Sucesiones monótonas

En una sucesión monótona, la diferencia entre cada término y el siguiente es siempre del mismo signo. Pueden ser crecientes o decrecientes:[2]

Sucesión creciente

Si se impone al término general de una sucesión numérica la condición que , es decir, que el siguiente término, , siempre sea estrictamente mayor que su predecesor, , se llaman sucesiones estrictamente crecientes:

Para naturales: 1, 2, 3, 4, 5, 6, ...
Para enteros: -10, -9, -8, -7, -6, ...
Para reales: .

Si se impone , es decir, una desigualdad no estricta, entonces se pueden incluir, entre otras, las sucesiones constantes.

Sucesión decreciente

Al igual que las crecientes tenemos, según el término general, que:

  • si es estrictamente decreciente.
  • si entonces la sucesión es decreciente.

Sucesión alternada

Intuitivamente se llama sucesión alternada cuando alterna valores de signo opuesto, como que nos genera la sucesión: a0=1, -1, 1, -1, 1, -1, ... utilizada por las series llamadas series alternadas.

Sucesión oscilante

Este tipo de sucesión no es ni convergente ni divergente. Sus términos alternan de mayor a menor o viceversa.

Sucesión divergente

Es la sucesión en que an no tiene límite finito cuando n tiende a infinito.

Sucesiones Acotadas

Se pueden dar tres formas de sucesión acotada:

  • Una sucesión {an} estará acotada superiormente en el caso que exista un número real M que limite de la siguiente forma la secuencia: {an}M.
  • Por otro lado, la sucesión estará acotada inferiormente cuando un número real N la límite de la forma contraria a la anterior: {an}N.
  • Finalmente, en caso de que se den ambas opciones {an} será una sucesión acotada.

Sucesiones Convergentes

Una sucesión , converge a o tiene por límite (cuando ), y se escribe,

cuando,

Sucesiones definidas por recurrencia

Una relación de recurrencia para una sucesión es una ecuación la cual establece el término an en función de los anteriores términos para todos los enteros n tales que . La sucesión en sí es la solución de la relación de recurrencia si sus términos cumplen la relación para todo entero positivo n.

Los algoritmos recursivos proporcionan solución a un problema de tamaño n en términos de la solución de uno o más casos del mismo problema, pero de menor tamaño.

Un ejemplo de sucesión por recurrencia es la sucesión de Fibonacci, en la cual, cada término a partir del tercero es la suma de los dos términos anteriores. Esta sucesión en términos generales se define como:

Cuando se realiza la complejidad de un algoritmo recursivo basado en una sucesión, se obtiene una relación de recurrencia que expresa el número de operaciones necesarias para resolver un problema de tamaño n en términos del número de operaciones necesarias para resolver el mismo problema con unos datos de tamaño menor.

De esta manera, se puede comprobar la existencia de una gran relación entre las relaciones de recurrencia y la recursión, ya que sirven para resolver una gran cantidad de problemas como, por ejemplo, calcular el interés compuesto, calcular el número de movimientos del juego de las Torres de Hanói y el número de conejos de una isla (problema propuesto por Fibonacci y relacionado, por tanto, con la sucesión de Fibonacci).

Sucesiones logísticas

Dentro de la matemática y sus sucesiones numéricas, uno de los tipos destacados son las sucesiones logísticas. Este tipo de sucesión se utiliza principalmente en la ecología y es usado como modelo de crecimiento demográfico. Viene definida por la siguiente iteración, llamada ecuación de diferencia logística:

donde es un medida del tamaño de la población de la n-ésima generación de una sola especie. es una fracción del tamaño máximo de la población, para así poder manipular los números, de modo que .

Este tipo de sucesiones son muy convenientes para algunos estudios ya que a un ecologista le interesa predecir el tamaño de la población conforme avanza el tiempo. Un ejemplo de uno de estos estudios es la elaboración de un modelo de la población de insectos, donde el apareamiento y la muerte se presentan en forma periódica.

Propiedades

Unicidad del límite de una sucesión

Si una sucesión converge, entonces el es único.

Demostración

Sean de forma que,

Entonces se cumplen estos dos asertos,

Primero,

Segundo,

luego para ,

Como fue elegido de forma arbitraria entonces

Relación entre el concepto de sucesión acotada y el de sucesión convergente

Si una sucesión es convergente, entonces la sucesión es acotada.

Demostración

Una sucesión es convergente cuando,

luego en particular, por ejemplo, para (podríamos haber tomado cualquier otro ) se verifica que,

Ahora bien,

luego hemos concluido que se verifica que,

Se debe encontrar un de forma que sea . Como a partir del índice se cumple, sumando a todos los elementos que van por detrás de hasta el elemento 1 de la sucesión ya tendríamos el buscado.

Entonces si,

se tiene que,

Sucesiones fundamentales

Dada la sucesión {cn} de números reales, se llama sucesión fundamental o de Cauchy, en el caso de que satisfaga el requisito siguiente: dado un número real r positivo se pueda conseguir dos enteros positivos p, q tal que de p > n0 y q > n0 se deduzca que |cp - cq| < r.[3]

Extensión a los reales

Compruébese que , ilustrando que dos funciones reales diferentes pueden corresponder a una misma sucesión sobre los enteros.

Dada una función , llamaremos extensión en los reales de a una función cuyos valores coinciden en el dominio de , es decir, .

Es incorrecto representar a la extensión en los reales con el mismo nombre (), pues, se trata de una asociación totalmente arbitraria y no unívoca que trae confusión y no tiene sentido para algunas funciones definidas a trozos. Se suele llamar a la extendida por ejemplo o si es un polinomio, o o si son funciones trigonométricas, agregando subíndices si hace falta.

La función f puede adquirir propiedades de la extendida P, si existe P con dichas propiedades, como límites al infinito, monotonía, acotaciones, entre otras.

Generalización en distintas áreas

Estos ejemplos pretenden ser una pequeña muestra de la infinidad, propiamente dicha, de usos que tienen dichas sucesiones en matemáticas.

El trabajo interno en el desarrollo de cada tema en cada área obliga a diversificar el modo de nominar y notar las sucesiones, haciéndose frecuente el uso de índices, subíndices y superíndices para salvar la sobrecarga de notación y hacerlas más legibles y estéticas en cuanto a la presentación.

El espacio de sucesiones finitas complejas

Se puede tener una sucesión tal que

El espacio de sucesiones complejas o ℓ2

Se puede tener una sucesión tal que

El espacio de polinómico K[x]

Un polinomio no es más que una sucesión finita tal que representada como .

El espacio de las matrices

Se puede tener una sucesión tal que , donde .

En un espacio vectorial topológico

Se puede tener una sucesión , donde , donde es una sucesión real arbitraria y B un abierto.

Sucesiones funcionales

Se puede tener una sucesión de funciones continuas .

En el lenguaje proposicional

Sea un alfabeto, llamaremos al conjunto de sucesiones finitas de n elementos de , se define inductivamente por la sucesión de productos cartesianos siguiente:

  • así .

En homología simplicial

El complejo de cadenas simplicial del complejo simplicial K, no es más que una determinada sucesión de grupos abelianos y morfismos.

En el lenguaje de las categorías

Sea una categoría, podemos tener una sucesión , donde .

Véase también

Referencias

  1. Watson Fulks. Cálculo Avanzado. Limusa. México, 1973
  2. A.Bouvier:Diccionario de matemáticas(1979)
  3. Lages Lima. Curso de Análisis Matemático. Edunsa. Barcelona, 1991

Bibliografía

  • Fernández Novoa, Jesús (1991). Análisis Matemático I (Tomo 1). Madrid: UNED. ISBN 9788436216684. 
  • Watson Fulks. "Cálculo avanzado".
  • J. Dieudonné. " Fundamentos de análisis moderno".
  • Lages Lima. " Curso de análisis matemático
  • Banach. " Cálculo".
  • Spivak . "Calculus"
  • V.F. Butúzov. " Análisis matemático"

Enlaces externos