Sucesin matemtica

campo de las sucesiones y de las series num-

ricas.
Tambin cabe destacar al matemtico italiano
Leonardo de Pisa, quien, en el siglo siglo XII,
introdujo en Europa una de las sucesiones ma-
temticas que mayor existencia tiene en los fe-
nmenos naturales, los nmeros de Fibonacci.

Ejemplo

Una sucesin innita de nmeros reales (en azul). La sucesin no

La sucesin (A, B, C) es una sucesin de letras que diere
es ni creciente, ni decreciente, ni convergente, ni es una sucesin
de la sucesin (C, A, B). En este caso se habla de sucesio-
de Cauchy. Sin embargo, s es una sucesin acotada.
nes nitas (de longitud igual a 3). Un ejemplo de sucesin
innita sera la sucesin de nmeros positivos pares: 2, 4,
Una sucesin matemtica es una aplicacin cuyo domi- 6, 8...
nio es el conjunto de los enteros positivos o {0} y su
En ocasiones se identica a las sucesiones nitas con
codominio es cualquier otro conjunto, generalmente de
palabras sobre un conjunto. Puede considerarse tambin
nmeros, guras geomtricas o funciones. Cada uno de
el caso de una sucesin vaca (sin elementos), pero este
ellos es denominado trmino (tambin elemento o miem-
caso puede excluirse dependiendo del contexto.
bro) de la sucesin y al nmero de elementos ordenados
(posiblemente innitos) se le denomina la longitud de la
sucesin. No debe confundirse con una serie matemtica,
que es la suma de los trminos de una sucesin. 1 Deniciones
A diferencia de un conjunto, el orden en que aparecen los
trminos s es relevante y un mismo trmino puede apare- Las diferentes deniciones suelen estar ligadas al rea de
cer en ms de una posicin. De manera formal, una suce- trabajo, la ms comn y poco general es la denicin de
sin puede denirse como una funcin sobre el conjunto sucesin numrica, en la prctica se usan sucesiones de
de los nmeros naturales (o un subconjunto del mismo) y forma intuitiva.
es por tanto una funcin discreta.
Estas sucesiones que siguen una regla determinada, han 1.1 Denicin formal
llamado siempre la atencin de los matemticos de todas
las generaciones. Pero, a pesar de esto y de que se cono- Una sucesin nita (ak ) (de longitud r) con elementos
can desde tiempos lejanos, no fueros estudiadas de forma pertenecientes a un conjunto S, se dene como una fun-
detallada hasta la poca de mayor desarrollo de las mate- cin
mticas en el siglo XVIII. Fue en este tiempo cuando se
perfeccion el concepto de lmite de una sucesin como f : {1, 2, . . . , r} S .
el valor al cual se acercan de forma sucesiva sus trminos.
y en este caso el elemento ak corresponde a f (k) .
En general, las sucesiones se utilizan para re-
presentar listas ordenadas de elementos pero, Por ejemplo, la sucesin nita, (de longitud 4) de nmeros
sobre todo, dentro de las matemticas discre- primos menores que 10:
tas son empleadas de otras diversas maneras
como, por ejemplo, dentro de las ciencias de 2, 3, 5, 7
la computacin y en la Teora de Juegos.
Sin cuestin alguna, Leonhard Euler fue el corresponde a la funcin f : {1, 2, 3, 4} P (donde P
matemtico ms destacado de esa poca, gra- es el conjunto de nmeros primos) denida por:
cias a sus contribuciones decisivas en diversos
campos de las matemticas, sobe todo, en el f (1) = 2, f (2) = 3, f (3) = 5, f (4) = 7 .

1
2 3 SUCESIONES NUMRICAS

Una sucesin innita (ak ) con elementos pertenecientes ciencias de la computacin. Tambin se puede usar una
a un conjunto S, se dene como una funcin
f :NS.
en donde, de forma anloga, ak corresponde a f (k) .
1.2 Notacin
Notaremos por {xn }nN a una sucesin, donde x la iden-
tica como distinta de otra digamos {yn }nN .
La notacin es permisiva en cuanto a su modicacin si
realmente es necesario.
variable distinta a n para denotar el trmino general, cuan-
do as convenga para evitar confusin con otras variables.
En la literatura es posible encontrar una gran variedad de
notaciones alternativas. Por ejemplo, uso de llaves en vez
de parntesis, o indicaciones de los lmites mediante va-
riantes de super y subndices, a continuacin se muestran
algunos pocos ejemplos:
{an } = a1 , a2 , a3 , . . .
(ak )m
k=1 = a1 , a2 , a3 , . . . , am
{an }nN = a1 , a2 , a3 , . . . ,

1.3 Denicin de trmino general 3 Sucesiones numricas

Llamaremos trmino general de una sucesin a xn ,don- Una sucesin numrica se formaliza como una
de el subndice n N indica el lugar que ocupa en dicha aplicacin de los nmeros naturales sobre otro conjunto
sucesin. numrico, as por ejemplo:

1.4 Denicin de parcial a: N N

Llamaremos parcial de {xn }nN a una sucesin
{xni }ni N donde ni < ni+1 .
2 Notacin
n an
Una sucesin de N sobre N, como la sucesin de Fibo-
nacci.
Si la sucesin numrica se formaliza como una aplicacin
de los nmeros naturales en los nmeros reales, es decir :

Existen diferentes notaciones y nociones de sucesin en

matemticas, dependiendo del rea de estudio, algunas de a : N R
las cuales (como por ejemplo sucesin exacta) no quedan n an
comprendidas en la notacin que se introduce a continua-
cin. En cualquier caso se denota simplemente como {an }nN
o, si se da por entendido que los subndices son enteros,
Se puede usar la notacin (an ) para indicar una sucesin, tambin se denota como {a }
n n0 .
en donde an hace referencia al elemento de la sucesin
en la posicin n. El nombre que recibe la sucesin tambin puede hacer
referencia a los valores que toma sobre los reales; as, si
Ejemplo. Retomando el ejemplo de los nmeros positi- la imagen de a fuesen los racionales, es decir fracciones
vos pares, si denotamos dicha sucesin por (pn ) : enteras del tipo xy , y=0 , se puede llamar sucesin de n-
meros racionales, y lo mismo para los irracionales, natu-
(pn ) = 2, 4, 6, 8, 10, 12, ... rales, enteros, algebraicos, trascendentes, ...
Puede ser creciente o decreciente. Las hay en progresin
entonces aritmtica o en progresin geomtrica, la diferencia b-
sica es que en la sucesin aritmtica la razn de cambio
p1 = 2, p2 = 4, p3 = 6, p4 = 8, . . . . entre un miembro y otro es la suma o resta de la misma
razn, y en la sucesin geomtrica el siguiente nmero de
En el caso de que los elementos de la sucesin queden de- la sucesin se logra por multiplicar o dividir la razn de
terminados por una regla, se puede especicar la sucesin cambio. En cualquier caso la razn de cambio es constan-
haciendo referencia a la frmula de un trmino arbitrario. te y no puede variar, a menos que el cambio de la razn
Ejemplo. La sucesin anterior (pn ) puede especicarse tambin corresponda a una sucesin, lo que supone tener
mediante la frmula pn = 2n . una sucesin dentro de otra sucesin.
No es infrecuente encontrar sucesiones en donde los sub- El trmino general de la sucesin queda denido de for-
ndices denotando posiciones inician desde cero, en vez ma implcita si su valor depende de sus predecesores,
desde uno, particularmente en matemtica discreta o en es decir, sucesiones obtenidas a partir de sus trminos
3.1 Tipos 3

iniciales. En general, dados previamente los valores de
a0 , a1 , ... , an , podemos denir el trmino general de
forma inductiva como ai+1 = f (ain , ... , ai ), i
n como por ejemplo con la ecuacin en recurrencias
ai+1 = b0 ain + ... + bn ai + cn , i
n, b0 , ... , bn , cn R . En el caso de encontrar una
frmula para el trmino general de una sucesin, se pue-
de localizar cualquier trmino sustituyendo de la frmula
la letra por el nmero que indica el lugar que ocupa el
trmino que estamos buscando.
De esta manera, aparece un problema comn
dentro de las matemticas discretas, que con-
siste encontrar dicha frmula general, ya que
en ocasiones solo disponemos de los trmi-
nos iniciales de la sucesin para hallarla. Tam-
bin puede ocurrir que estos trminos iniciales
no determinen toda la sucesin, ya que exis-
ten innitas sucesiones que comparten el mis-
mo conjunto nito de trminos iniciales, pero
siempre son un buen punto de partida para rea-
lizar una conjetura sobre la sucesin.
Al utilizar estos nmeros iniciales para encon-
trar la frmula, como inicio, tenemos que en-
contrar un patrn entre ellos, para esto pone-
mos formular una serie de preguntas, como por
ejemplo, se puede conseguir cada uno de los
trminos a partir de los anteriores sumando o
multiplicando por una cantidad? es una rela-
cin cclica? se pueden obtener los trminos
combinando otros previos?, etc.
3.1 Tipos
se llama subsucesin de {an } . Obviamente para una su-
cesin existen varias subsucesiones.[1]
3.1.3 Sucesin constante
Se dice que una sucesin es constante si todos los trmi-
nos tienen un mismo valor, k , es decir, un mismo nmero
real cualquiera, ejemplo:
a0 = k, a1 = k, a2 = k, a3 = k, ... , an = k, ...
k=1
3.1.4 Sucesiones montonas
En una sucesin montona, la diferencia entre cada tr-
mino y el siguiente es siempre del mismo signo. Pueden
ser crecientes o decrecientes:[2]
Sucesin creciente Si se impone al trmino general
de una sucesin numrica la condicin que an < an+1
, es decir, que el siguiente trmino, an+1 , siempre sea
estrictamente mayor que su predecesor, an , se llaman
sucesiones estrictamente crecientes:
Para naturales: 1, 2, 3, 4, 5, 6, ...
Para enteros: 10, 9, 8, 7, 6, ...
Para reales: 2 01, 1, 0, 2, e, , , ... .
Si se impone an an+1 , es decir, una desigualdad no
estricta, entonces se pueden incluir, entre otras, las suce-
siones constantes.

3.1.1 Sucesin nita

Sucesin decreciente Al igual que las crecientes tene-
Se dice que una sucesin es nita si determinamos su l- mos, segn el trmino general, que:
timo trmino, por ejemplo el n-simo:
si an > an+1 es estrictamente decreciente.
Genricamente: a0 , a1 , a2 , ... , ai , ... , an
si an an+1 entonces la sucesin es decreciente.
, donde ai sera el trmino general si hiciese
falta.
3.1.5 Sucesin alternada
ejemplo: 100, 99, 98, ... , 1, 0
Intuitivamente se llama sucesin alternada cuando alterna
valores de signo opuesto, como an = (1)n que nos ge-
3.1.2 Subsucesin nera la sucesin: a0 =1, 1, 1, 1, 1, 1, ... utilizada por
las series llamadas series alternadas.
Una sucesin es una aplicacin en los enteros; como an =
s(n) para cualquier n n0 . Luego se circunscribe la
aplicacin a un subconjunto de los enteros. Se elige un 3.1.6 Sucesin oscilante
entero mayor o igual a n0 , denotado como n1 , en segui-
da otro mayor que n1 , denotado por n2 , y as sucesiva- Este tipo de sucesin no es ni convergente ni divergente.
mente. Entonces la nueva sucesin denida por Sus trminos alternan de mayor a menor o viceversa.

ch = anh = s(nh ) para

h = 0, 1, 2, ..., 1, 0, 3, 0, 5, 0, 7, ...
4 3 SUCESIONES NUMRICAS

3.1.7 Sucesin divergente Cuando se realiza la complejidad de un algoritmo recur-

sivo basado en una sucesin, se obtiene una relacin de
Es la sucesin en que a no tiene lmite nito cuando n recurrencia que expresa el nmero de operaciones nece-
tiende a innito. sarias para resolver un problema de tamao n en trmi-
nos del nmero de operaciones necesarias para resolver
el mismo problema con unos datos de tamao menor.
3.1.8 Sucesiones Acotadas
De esta manera, se puede comprobar la existencia de una
gran relacin entre las relaciones de recurrencia y la re-
Se pueden dar tres formas de sucesin acotada:
cursin, ya que sirven para resolver una gran cantidad de
problemas como, por ejemplo, calcular el inters com-
Una sucesin {an} estar acotada superiormente puesto, calcular el nmero de movimientos del juego de
en el caso que exista un nmero real M que limite las Torres de Hani y el nmero de conejos de una is-
de la siguiente forma la secuencia: {an} M. la (problema propuesto por Fibonacci y relacionado, por
tanto, con la sucesin de Fibonacci).
Por otro lado, la sucesin estar acotada inferior-
mente cuando un nmero real N la lmite de la for-
ma contraria a la anterior: {an} N. 3.1.11 Sucesiones logsticas

Finalmente, en caso de que se den ambas opciones Dentro de la matemtica y sus sucesiones numricas, uno
{an} ser una sucesin acotada. de los tipos destacados son las sucesiones logsticas. Este
tipo de sucesin se utiliza principalmente en la ecologa y
es usado como modelo de crecimiento demogrco. Vie-
3.1.9 Sucesiones Convergentes ne denida por la siguiente iteracin, llamada ecuacin
de diferencia logstica: xn+1 = rxn (1 xn )
Una sucesin {an }, an R , converge a a o tiene por donde x es un medida del tamao de la poblacin de la
n
lmite a (cuando n ), y se escribe, n-sima generacin de una sola especie. x es una frac-
n
cin del tamao mximo de la poblacin, para as poder
manipular los nmeros, de modo que 0 < xn < 1 .
lim an = a Este tipo de sucesiones son muy convenientes para algu-
n
nos estudios ya que a un ecologista le interesa predecir el
cuando, tamao de la poblacin conforme avanza el tiempo. Un
ejemplo de uno de estos estudios es la elaboracin de un
modelo de la poblacin de insectos, donde el apareamien-
R, > 0, n0 N : |an a| < , n n0 , n N to y la muerte se presentan en forma peridica.

3.1.10 Sucesiones denidas por recurrencia 3.2 Propiedades

Una relacin de recurrencia para una sucesin {an }nN 3.2.1 Unicidad del lmite de una sucesin
es una ecuacin la cual establece el trmino a en funcin
de los anteriores trminos a0 , a1 , a2 , ... , an1 para Si una sucesin {an }, an R converge, entonces el
todos los enteros n tales que n >= n0 . La sucesin en s limn an es nico.
es la solucin de la relacin de recurrencia si sus trminos
cumplen la relacin para todo entero positivo n.
3.2.2 Relacin entre el concepto de sucesin acotada
y el de sucesin convergente
Los algoritmos recursivos proporcionan solu-
cin a un problema de tamao n en trminos Si una sucesin {an }, an R es convergente, entonces
de la solucin de uno o ms casos del mismo la sucesin es acotada.
problema, pero de menor tamao.

3.2.3 Sucesiones fundamentales

Un ejemplo de sucesin por recurrencia es la sucesin de
Fibonacci, en la cual, cada trmino a partir del tercero es
Dada la sucesin {c } de nmeros reales, se llama suce-
la suma de los dos trminos anteriores. Esta sucesin en
sin fundamental o de Cauchy, en el caso de que satis-
trminos generales se dene como:
faga el requisito siguiente: dado un nmero real r positivo
se pueda conseguir dos enteros positivos p, q tal que de p
an = an1 + an2 > n0 y q > n0 se deduzca que |c - c | < r.[3]
4.3 El espacio de polinmico K[x] 5

3.2.4 Extensin a los reales 4.3 El espacio de polinmico K[x]

Un polinomio P (x) K[x] no es ms que una sucesin
nita {an }n tal que an K representada como P (x) =
a0 + a1 x + a2 x2 + ... + an xn .

4.4 El espacio de las matrices Mmn (k)

puede tener unasucesin {Ai }iN tal que Ai :=

Comprubese que {an }=f (n)=f (n)+sin(n) , ilustrando que dos Se
funciones reales diferentes pueden corresponder a una misma (i) (i)
a . . . a1,n
sucesin sobre los enteros. 1,1 ..
.. (i)
. . , donde aj,k K .
(i) (i)
Dada una funcin f : N R , llamaremos extensin en am,1 . . . am,n
los reales de f a una funcin P : R R cuyos valores
coinciden en el dominio de f , es decir, f|N = P|N .
4.5 En un espacio vectorial topolgico
Es incorrecto representar a la extensin en los reales con
el mismo nombre ( f : R R ), pues, se trata de una aso- Se puede tener una sucesin {Vi }iN , donde Vn := n B
ciacin totalmente arbitraria y no unvoca que trae con- , donde n R es una sucesin real arbitraria y B un
fusin y no tiene sentido para algunas funciones deni- abierto.
das a trozos. Se suele llamar a la extendida por ejemplo
P , Q, o si es un polinomio, o g o h si son funciones
trigonomtricas, agregando subndices si hace falta. 4.6 Sucesiones funcionales
La funcin f puede adquirir propiedades de la extendi-
da P, si existe P con dichas propiedades, como lmites al Se puede tener una nsucesin de funciones continuas
innito, monotona, acotaciones, entre otras. {f (x)n }nN = sin(x) .

4.7 En el lenguaje proposicional

4 Generalizacin en distintas reas Sea A un alfabeto, llamaremos An al conjunto de suce-
siones nitas de n elementos de A , se dene inductiva-
Estos ejemplos pretenden ser una pequea muestra de la mente por la sucesin de productos cartesianos siguiente:
innidad, propiamente dicha, de usos que tienen dichas A1 = A, A2 = A A, , An := An1 A
sucesiones en matemticas.
El trabajo interno en el desarrollo de cada tema en cada as a1 , , an := a1 , , an1 , an
rea obliga a diversicar el modo de nominar y notar las An y ,ai := ai A .
sucesiones, hacindose frecuente el uso de ndices, subn-
dices y superndices para salvar la sobrecarga de notacin
y hacerlas ms legibles y estticas en cuanto a la presen- 4.8 En homologa simplicial
tacin.
El complejo de cadenas simplicial del complejo simplicial
K, no es ms que una determinada sucesin de grupos
abelianos y morsmos.
4.1 El espacio de sucesiones nitas com-
plejas C
4.9 En el lenguaje de las categoras
{ }
Se puede tener una sucesin a(i) iN tal que
Sea A una categora, podemos tener una sucesin
(i) (i) (i)
a(i) := (a1 , ..., ani , 0, ...) donde ,aj C {0} {An }nN , donde An Ob(A) .

4.2 El espacio de sucesiones complejas o 2 5 Vase tambin

Cn
{ (i) } 6 Referencias
Se puede tener una sucesin V iN
tal que
(i) (i) (i)
V (i) := (a1 , ..., an ) donde ,aj C [1] Watson Fulks. Clculo Avanzado. Limusa. Mxico, 1973
6 8 ENLACES EXTERNOS

[2] A.Bouvier:Diccionario de matemticas(1979)

[3] Lages Lima. Curso de Anlisis Matemtico. Edunsa. Bar-

celona, 1991

7 Bibliografa
Fernndez Novoa, Jess (1991). Anlisis Ma-
temtico I (Tomo 1). Madrid: UNED. ISBN
9788436216684.

Watson Fulks. Clculo avanzado.

J. Dieudonn. " Fundamentos de anlisis moderno.

Lages Lima. " Curso de anlisis matemtico

Banach. " Clculo.

Spivak . Calculus

V.F. Butzov. " Anlisis matemtico

8 Enlaces externos

Wikimedia Commons alberga contenido multi-

media sobre SucesinCommons.
Clculo de la frmula de una sucesin

El contenido de este artculo incorpora material de

una entrada de la Enciclopedia Libre Universal, pu-
blicada en espaol bajo la licencia Creative Com-
mons Compartir-Igual 3.0.
 7

9 Origen del texto y las imgenes, colaboradores y licencias

9.1 Texto
Sucesin matemtica Fuente: https://es.wikipedia.org/wiki/Sucesi%C3%B3n_matem%C3%A1tica?oldid=98863104 Colaboradores:
Youssefsan, Romero Schmidtke, Mac, Pino, Oblongo, Sabbut, Moriel, JorgeGG, Lourdes Cardenal, Robbot, TorreFernando, Vivero, Zwo-
bot, Rosarino, Dodo, Sms, Tostadora, Tano4595, RGLago, Dianai, 142857, Renabot, Taragui, Petronas, Airunp, Yrithinnd, Magister Mat-
hematicae, Ppfk~eswiki, Goofys, RobotQuistnix, Platonides, Superzerocool, Chobot, Caiserbot, Yrbot, Icvav, GermanX, Ferbr1, Beto29,
Baneld, Gtz, Maldoror, Juan Marquez, BOTpolicia, CEM-bot, Jorgelrm, Damifb, Laura Fiorucci, Alexav8, Marianov, Retama, Mister,
Ingenioso Hidalgo, Alvaro qc, Srengel, Leandroidecba, Bryant1410, Max Changmin, Egaida, JAnDbot, Hosg, Mansoncc, Muro de Aguas,
HiTe, Linkedark, Juanalmenara, Humberto, Netito777, Chabbot, Plux, Robertiko24, AlnoktaBOT, Joacorock, VolkovBot, Technopat,
Irus, Matdrodes, BlackBeast, Lucien leGrey, Muro Bot, Spook, SieBot, Drinibot, Bigsus-bot, Marcelo, Jarisleif, Dnu72, Gato ocioso, Fa-
risori, Estirabot, Veon, Leonpolanco, Alexbot, Juan Mayordomo, Raulshc, Aipni-Lovrij, UA31, AVBOT, MarcoAurelio, Diegusjaimes,
Arjuno3, Luckas-bot, Alpinu, Jotterbot, Andresc2511, Vic Fede, Yonidebot, ArthurBot, SuperBraulio13, Xqbot, Jkbw, Dreitmen, Ri-
cardogpn, Kubyz, Igna, Botarel, Hprmedina, Imperioonepiece, Jerowiki, Wonderful world~eswiki, Leugim1972, Nathzaghal, PatruBOT,
Angelito7, Euclides, Axvolution, Edslov, EmausBot, Allforrous, TuHan-Bot, Seor Aluminio, MercurioMT, Cohnan, ChuispastonBot,
Khiari, JhonLoz12, Antonorsi, MerlIwBot, Gins90, Invadibot, Acratta, DanielithoMoya, Helmy oved, Akdkiller, Diegoeliassotoalanissss,
Legobot, Addbot, Balles2601, Eduardo H. M., JacobRodrigues, Diegorzo, Jarould, Egis57, X2y3, Terobeto5, Mod de Wikipedia, JaimeAV
y Annimos: 306

9.2 Imgenes
Archivo:Cauchy_sequence_illustration2.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/7/7a/Cauchy_sequence_
illustration2.svg Licencia: Public domain Colaboradores: Based on File:Cauchy_sequence_illustration2.png by Oleg Alexandrov Artista
original: Trabajo propio
Archivo:Commons-logo.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/4/4a/Commons-logo.svg Licencia: Public do-
main Colaboradores: This version created by Pumbaa, using a proper partial circle and SVG geometry features. (Former versions used
to be slightly warped.) Artista original: SVG version was created by User:Grunt and cleaned up by 3247, based on the earlier PNG version,
created by Reidab.
Archivo:Perturbacin.GIF Fuente: https://upload.wikimedia.org/wikipedia/commons/a/a3/Perturbaci%C3%B3n.GIF Licencia: Public
domain Colaboradores: Trabajo propio Artista original: Marianov

9.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0