Sucesin matemtica

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

es ni creciente, ni decreciente, ni convergente, ni es una sucesin
de Cauchy. Sin embargo, s es una sucesin acotada.
Una sucesin matemtica es un conjunto ordenado de
objetos matemticos, generalmente nmeros. Cada uno
de ellos es denominado trmino (tambin elemento o
miembro) de la sucesin y al nmero de elementos orde-
nados (posiblemente innitos) se le denomina la longitud
de la sucesin. No debe confundirse con una serie mate-
mtica, que es la suma de los trminos de una sucesin.
A diferencia de un conjunto, el orden en que aparecen los
trminos s es relevante y un mismo trmino puede apare-
cer en ms de una posicin. De manera formal, una suce-
sin puede denirse como una funcin sobre el conjunto
de los nmeros naturales (o un subconjunto del mismo) y
es por tanto una funcin discreta.
Ejemplo
La sucesin (A, B, C) es una sucesin de letras que diere
de la sucesin (C, A, B). En este caso se habla de sucesio-
nes nitas (de longitud igual a 3). Un ejemplo de sucesin
innita sera la sucesin de nmeros positivos pares: 2, 4,
6, 8, ...
En ocasiones se identica a las sucesiones nitas con
palabras sobre un conjunto. Puede considerarse tambin
el caso de una sucesin vaca (sin elementos), pero este
caso puede excluirse dependiendo del contexto.
1 Deniciones
Las diferentes deniciones suelen estar ligadas al rea de
trabajo, la ms comn y poco general es la denicin de
sucesin numrica, en la prctica se usan sucesiones de
forma intuitiva.
1.1 Denicin formal
Una sucesin nita (a
k
) (de longitud r) con elementos
pertenecientes a un conjunto S, se dene como una fun-
cin
f : {1, 2, . . . , r} S .
y en este caso el elemento a
k
corresponde a f(k) .
Por ejemplo, la sucesin nita, (de longitud 4) de nmeros
primos menores que 10:
2, 3, 5, 7
corresponde a la funcin f : {1, 2, 3, 4} P (donde P
es el conjunto de nmeros primos) denida por:
f(1) = 2, f(2) = 3, f(3) = 5, f(4) = 7 .
Una sucesin innita (a
k
) con elementos pertenecientes
a un conjunto S, se dene como una funcin
f : N S .
en donde, de forma anloga, a
k
corresponde a f(k) .
1.2 Notacin
Notaremos por {x
n
}
nN
a una sucesin, donde x la iden-
tica como distinta de otra digamos {y
n
}
nN
.
La notacin es permisiva en cuanto a su modicacin si
realmente es necesario.
1.3 Denicin de trmino general
Llamaremos trmino general de una sucesin a x
n
,don-
de el subndice n N indica el lugar que ocupa en dicha
sucesin.
1.4 Denicin de parcial
Llamaremos parcial de {x
n
}
nN
a una sucesin
{x
n
i
}
n
i
N
donde n
i
< n
i+1
.
1
2 3 SUCESIONES NUMRICAS
2 Notacin
Existen diferentes notaciones y nociones de sucesin en
matemticas, dependiendo del rea de estudio, algunas de
las cuales (como por ejemplo sucesin exacta) no quedan
comprendidas en la notacin que se introduce a continua-
cin.
Se puede usar la notacin (a
n
) para indicar una sucesin,
en donde a
n
hace referencia al elemento de la sucesin
en la posicin n.
Ejemplo. Retomando el ejemplo de los nmeros positi-
vos pares, si denotamos dicha sucesin por (p
n
) :
(p
n
) = 2, 4, 6, 8, 10, 12, ...
entonces
p
1
= 2, p
2
= 4, p
3
= 6, p
4
= 8, . . . .
En el caso de que los elementos de la sucesin queden de-
terminados por una regla, se puede especicar la sucesin
haciendo referencia a la frmula de un trmino arbitrario.
Ejemplo. La sucesin anterior (p
n
) puede especicarse
mediante la frmula p
n
= 2n .
No es infrecuente encontrar sucesiones en donde los sub-
ndices denotando posiciones inician desde cero, en vez
desde uno, particularmente en matemtica discreta o en
ciencias de la computacin. Tambin se puede usar una
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:
{a
n
} = a
1
, a
2
, a
3
, . . .
(a
k
)
m
k=1
= a
1
, a
2
, a
3
, . . . , a
m
{a
n
}
nN
= a
1
, a
2
, a
3
, . . . ,
3 Sucesiones numricas
Una sucesin numrica se formaliza como una
aplicacin de los nmeros naturales sobre otro conjunto
numerico, as por ejemplo:
a : N N
n a
n
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 :
a : N R
n a
n
En cualquier caso se denota simplemente como {a
n
}
nN
o, si se da por entendido que los subndices son enteros,
tambin se denota como {a
n
}
n0
.
El nombre que recibe la sucesin tambin puede hacer
referencia a los valores que toma sobre los reales; as, si
la imagen de a fuesen los racionales, es decir fracciones
enteras del tipo
x
y
, y=0 , se puede llamar sucesin de n-
meros racionales, y lo mismo para los irracionales, natu-
rales, enteros, algebraicos, trascendentes, ...
Puede ser creciente o decreciente. Las hay en progresin
aritmtica o en progresin geomtrica, la diferencia b-
sica es que en la sucesin aritmtica la razn de cambio
entre un miembro y otro es la suma o resta de la misma
razn, y en la sucesin geomtrica el siguiente nmero de
la sucesin se logra por multiplicar o dividir la razn de
cambio. En cualquier caso la razn de cambio es constan-
te y no puede variar, a menos que el cambio de la razn
tambin corresponda a una sucesin, lo que supone tener
una sucesin dentro de otra sucesin.
El trmino general de la sucesin queda denido de forma
implcita si su valor depende de sus predecesores. En ge-
neral, dados previamente los valores de a
0
, a
1
, ... , a
n
, podemos denir el trmino general de forma inductiva
como a
i+1
= f(a
in
, ... , a
i
), i n como por ejem-
plo con la ecuacin en recurrencias a
i+1
= b
0
a
in
+
... +b
n
a
i
+c
n
, i n, b
0
, ... , b
n
, c
n
R .
3.1 Tipos
3.1.1 Sucesin nita
Se dice que una sucesin es nita si determinamos su l-
timo trmino, por ejemplo el n-simo:
Genricamente: a
0
, a
1
, a
2
, ... , a
i
, ... , a
n
, donde a
i
sera el trmino general si hiciese
falta.
ejemplo: 100, 99, 98, ... , 1, 0
3.1.2 Sucesin constante
Se dice que una sucesin es constante si todos los trmi-
nos valen un mismo valor, k , es decir, un mismo nmero
real cualquiera, ejemplo:
a
0
= k, a
1
= k, a
2
= k, a
3
= k, ... , a
n
= k, ...
k = 1
3.2 Propiedades 3
3.1.3 Sucesiones montonas
Una sucesin montona es una sucesin creciente o
decreciente:
[1]
Sucesin creciente Si se impone al trmino general de
una sucesin numrica la condicin que a
n
< a
n+1
, es
decir, que el siguiente trmino, a
n+1
, siempre sea ma-
yor estricto que su predecesor, a
n
, 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 a
n
a
n+1
, es decir, una desigualdad no
estricta, entonces se pueden incluir, entre otras, las suce-
siones constantes.
Sucesin decreciente Al igual que las crecientes tene-
mos, segn el trmino general, que:
si a
n
> a
n+1
es estrictamente decreciente.
si a
n
a
n+1
entonces la sucesin es decreciente.
3.1.4 Sucesin alternada
Intuitivamente se llama sucesin alternada cuando alterna
valores de signo opuesto, como a
n
= (1)
n
que nos ge-
nera la sucesin: a
0
=1, 1, 1, 1, 1, 1, ... utilizada por
las series llamadas series alternadas.
3.1.5 Sucesiones Acotadas
Se pueden dar tres formas de sucesin acotada:
Una sucesin {an} estar acotada superiormente
en el caso que exista un nmero real M que limite
de la siguiente forma la secuencia: {an} M.
Por otro lado, la sucesin estar acotada inferior-
mente cuando un nmero real N la limite de la for-
ma contraria a la anterior: {an} N.
Finalmente, en caso de que se den ambas opciones
{an} ser una sucesin acotada.
3.1.6 Sucesiones Convergentes
Una sucesin {a
n
}, a
n
R , converge a a o tiene por
lmite a (cuando n ), y se escribe,
lim
n
a
n
= a
cuando,
R, > 0, n
0
N : |a
n
a| < , n n
0
, n N
3.2 Propiedades
3.2.1 Unicidad del lmite de una sucesin
Si una sucesin {a
n
}, a
n
R converge, entonces el
lim
n
a
n
es nico.
3.2.2 Relacin entre el concepto de sucesin acotada
y el de sucesin convergente
Si una sucesin {a
n
}, a
n
R es convergente, entonces
est acotada.
3.2.3 Extensin a los reales
Comprubese que {a
n
}=f(n)=f(n)+sin(n) , ilustrando que dos
funciones reales diferentes pueden corresponder a una misma
sucesin sobre los enteros.
Dada una funcin f : N R , llamaremos extensin en
los reales de f a una funcin P : R R cuyos valores
coinciden en el dominio de f , es decir, f
|N
= P
|N
.
Es incorrecto representar a la extensin en los reales con
el mismo nombre ( f : R R), pues, se trata de una aso-
ciacin totalmente arbitraria y no unvoca que trae con-
fusin y no tiene sentido para algunas funciones deni-
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.
La funcin f puede adquirir propiedades de la extendi-
da P, si existe P con dichas propiedades, como lmites al
innito, monotona, acotaciones, entre otras .
4 Generalizacin en distintas reas
Estos ejemplos pretenden ser una pequea muestra de la
innidad, propiamente dicha, de usos que tienen dichas
sucesiones en matemticas.
El trabajo interno en el desarrollo de cada tema en cada
rea obliga a diversicar el modo de nominar y notar las
sucesiones, hacindose frecuente el uso de ndices, subn-
dices y superndices para salvar la sobrecarga de notacin
4 8 ENLACES EXTERNOS
y hacerlas ms legibles y estticas en cuanto a la presen-
tacin.
4.1 El espacio de sucesiones nitas com-
plejas C
Se puede tener una sucesin
{
a
(i)
}
iN
tal que
a
(i)
:= (a
(i)
1
, ..., a
(i)
n
i
, 0, ...) donde ,a
(i)
j
C {0}
4.2 El espacio de sucesiones complejas o
2
C
n
Se puede tener una sucesin
{
V
(i)
}
iN
tal que
V
(i)
:= (a
(i)
1
, ..., a
(i)
n
) donde ,a
(i)
j
C
4.3 El espacio de polinmico K[x]
Un polinomio P(x) K[x] no es ms que una sucesin
nita {a
n
}
n
tal que a
n
K representada como P(x) =
a
0
+a
1
x +a
2
x
2
+... +a
n
x
n
.
4.4 El espacio de las matrices M
mn
(k)
Se puede tener una sucesin {A
i
}
iN
tal que A
i
:=

a
(i)
1,1
. . . a
(i)
1,n
.
.
.
.
.
.
a
(i)
m,1
. . . a
(i)
m,n

, donde a
(i)
j,k
K .
4.5 En un espacio vectorial topolgico
Se puede tener una sucesin {V
i
}
iN
, donde V
n
:=
n
B
, donde
n
R es una sucesin real arbitraria y B un
abierto.
4.6 Sucesiones funcionales
Se puede tener una sucesin de funciones continuas
{f(x)
n
}
nN
= sin(x)
n
.
4.7 En el lenguaje proposicional
Sea A un alfabeto, llamaremos A
n
al conjunto de suce-
siones nitas de n elementos de A , se dene inductiva-
mente por la sucesin de productos cartesianos siguiente:
A
1
= A, A
2
= AA, ..., A
n
:= A
n1
A
as <a
1
, ..., a
n
>:= <<a
1
, ..., a
n1
>, a
n
>
A
n
, y a
i
:= <a
i
> A .
4.8 En homologa simplicial
El complejo de cadenas simplicial del complejo simplicial
K, no es ms que una determinada sucesin de grupos
abelianos y morsmos.
4.9 En el lenguaje de las categoras
Sea A una categora, podemos tener una sucesin
{A
n
}
nN
, donde A
n
Ob(A) .
5 Vase tambin
6 Referencias
[1] A.Bouvier,Diccionario de matemticas(1979)
7 Bibliografa
Fernndez Novoa, Jess (1991). Anlisis Ma-
temtico I (Tomo 1). Madrid: UNED. ISBN
9788436216684.
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,
publicada en espaol bajo la licencia Creative
Commons Compartir-Igual 3.0.
5
9 Text and image sources, contributors, and licenses
9.1 Text
Sucesin matemtica Fuente: http://es.wikipedia.org/wiki/Sucesin_matemtica?oldid=77697520 Colaboradores: Youssefsan, Romero
Schmidtke, Mac, Pino, Oblongo, Sabbut, Moriel, JorgeGG, Lourdes Cardenal, Robbot, TorreFernando, Vivero, Zwobot, Rosarino, Do-
do, Sms, Tostadora, Tano4595, RGLago, Dianai, 142857, Renabot, Taragui, Petronas, Airunp, Yrithinnd, Magister Mathematicae, Ppfk,
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, IrwinSantos, 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, Jarisleif, Dnu72, Gato ocioso, Farisori, Estirabot, Veon, Leonpolanco, Alexbot,
Juan Mayordomo, Raulshc, Aipni-Lovrij, UA31, AVBOT, MarcoAurelio, Diegusjaimes, Arjuno3, Luckas-bot, Jotterbot, Andresc2511,
Vic Fede, Yonidebot, ArthurBot, SuperBraulio13, Xqbot, Jkbw, Dreitmen, Ricardogpn, Kubyz, Igna, Botarel, Hprmedina, Imperioone-
piece, Jerowiki, Wonderful world, Leugim1972, Nathzaghal, PatruBOT, Angelito7, Euclides, Axvolution, Edslov, EmausBot, Allforrous,
TuHan-Bot, Seor Aluminio, MercurioMT, Cohnan, ChuispastonBot, Antonorsi, MerlIwBot, Gins90, Acratta, DanielithoMoya, Helmy
oved, Akdkiller, Diegoeliassotoalanissss, Legobot, Addbot, Eduardo H. M., JacobRodrigues, Diegorzo y Annimos: 237
9.2 Images
Archivo:Cauchy_sequence_illustration2.svg Fuente: http://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: http://upload.wikimedia.org/wikipedia/commons/4/4a/Commons-logo.svg Licencia: Public domain
Colaboradores: This version created by Pumbaa, using a proper partial circle and SVGgeometry 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: http://upload.wikimedia.org/wikipedia/commons/a/a3/Perturbaci%C3%B3n.GIF Licencia: Public
domain Colaboradores: Trabajo propio Artista original: Marianov
9.3 Content license
Creative Commons Attribution-Share Alike 3.0