11

Tema

Convergencia absoluta y series alternadas

Una vez que disponemos de diversos criterios de convergencia para series de trminos no
negativos, abordamos el estudio de la convergencia de series de nmeros reales cualesquiera.
Introducimos para ello la nocin de convergencia absoluta y, usando el teorema de complitud
de R, probamos que toda serie absolutamente convergente es convergente. El recproco no es
cierto y para probarlo estudiamos las series alternadas, as llamadas porque el signo de sus
trminos va alternando. Presentamos un criterio de convergencia muy til para el estudio de
este tipo de series, el criterio de Leibniz, que permite mostrar abundantes ejemplos de series
convergentes que no son absolutamente convergentes. Finalmente abordamos la pregunta de si
la convergencia de una serie se conserva al permutar sus trminos, lo que nos lleva a la nocin
de convergencia incondicional, que resulta ser equivalente a la convergencia absoluta.

11.1.

Convergencia absoluta

Nos planteamos ya el problema general de estudiar la convergencia de cualquier serie

xn

n>1

de nmeros reales. Si el conjunto {n N : xn < 0} es finito, considerando la serie

xn

n>m

para conveniente m N , podemos aplicar los criterios de convergencia para series de trminos
no negativos que ya conocemos. Por otra parte, si es finito el conjunto {n N : xn > 0}, la
observacin anterior se aplica a la serie (xn ) cuya convergencia equivale como sabemos
n>1

a la de

xn. Por tanto, nos interesa ahora el caso en que ambos conjuntos mencionados

n>1

son infinitos, dicho de manera intuitiva, queremos estudiar las series con infinitos trminos
positivos e infinitos trminos negativos. La estrategia inicial ser considerar la serie de valores
absolutos |xn |, que es siempre una serie de trminos no negativos.
n>1

Se dice que una serie se nmeros reales

xn

n>1

serie

|xn|

es convergente.

n>1

86

es absolutamente convergente cuando la

11. Convergencia absoluta y series alternadas

Por ejemplo, puesto que para x R se tiene

87

|xn| = |x|n, la serie geomtrica de razn x

n>0

n>0

converge absolutamente si, y slo si, |x| < 1. As pues, para las series geomtricas, convergencia
y convergencia absoluta son nociones equivalentes.
En general, como la nomenclatura sugiere, la convergencia absoluta de una serie implica su
convergencia. Este hecho es una consecuencia directa del teorema de complitud de R :
Teorema. Toda serie absolutamente convergente es convergente. Ms concretamente, dada
una sucesin {xn } de nmeros reales, si la serie |xn | es convergente, entonces xn
n>1

tambin es convergente y se verifica que



 


 xn  6
 n=1 

n>1

|xn|

(1)

n=1

Demostracin. Consideremos las sumas parciales de ambas series:

n

Sn =

xk
k=1

n =

|xk |

n N

k=1

Sean p, q N y supongamos de momento que q < p. Tenemos claramente



 p

p


|S p Sq | =  xk  6 |xk | = p q = | p q |
k=q+1  k=q+1
La desigualdad as obtenida es obvia cuando p = q y no se altera al intercambiar p y q, luego
es vlida para cualesquiera p, q N.
Por hiptesis, {n } es convergente, luego es una sucesin de Cauchy: para cada > 0, existe
m N tal que, para p, q > m se tiene | p q | < . La desigualdad recin probada nos dice
que para p, q > m tendremos |S p Sq | < , luego {Sn } tambin es una sucesin de Cauchy. El
teorema de complitud de R nos asegura que {Sn } es convergente, como queramos.

Para obtener la desigualdad (1), pongamos S =

lm Sn . Sabemos entonces que

xn = n

n=1

{|Sn |} |S|, pero es claro que |Sn | 6 n para todo n N, luego



 



 xn  = |S| = lm |Sn | 6 lm n = |xn |
n
n
 n=1 
n=1

Obsrvese que, una vez ms, la suma de una serie se comporta como si se tratase de una
suma finita. Segn (1), el valor absoluto de la suma de una serie absolutamente convergente es
menor o igual que la suma de la serie de los valores absolutos de sus trminos.
El recproco del teorema anterior no es cierto, enseguida veremos abundantes ejemplos de
series convergentes que no convergen absolutamente.

11. Convergencia absoluta y series alternadas

11.2.

88

Series alternadas

Volviendo en cierto modo a los comentarios hechos al principio, si queremos que una serie
xn converja sin hacerlo absolutamente, los conjuntos {n N : xn < 0} y {n N : xn > 0}

n>1

habrn de ser infinitos, pues en otro caso, o bien existe m N tal que |xn | = xn para n > m, o
bien existe m N tal que |xn | = xn para n > m. En ambos casos, la convergencia de la serie
|xn| equivale a la de xn. Es lgico, por tanto, pensar en series cuyos trminos en lugares
n>1

n>1

pares sean positivos y los de lugar impar negativos, o viceversa.

Una serie alternada es una serie de la forma

(1)n an, o bien de la forma (1)n+1 an,

n>1

n>1

donde an > 0 para todo n N.

(1)n+1
n recibe el nombre de serie armnica alternada y est
n>1
claro que esta serie no converge absolutamente. Sin embargo, es convergente, como se deduce
claramente del siguiente criterio de convergencia para series alternadas.
Por ejemplo, la serie

Criterio de Leibniz. Si {an } es una sucesin decreciente y {an } 0, entonces la serie

(1)n an es convergente.

n>1

Demostracin. Debemos comprobar que la sucesin {Sn } =

(1)k ak

es convergente.

k=1

Usando que {an } es decreciente y que an > 0 para todo n N, conseguimos la siguiente cadena
de desigualdades, vlidas para todo n N:
S2n1 6 S2n1 + a2n a2n+1 = S2n+1
6 S2n+1 + a2n+2 = S2n+2 = S2n a2n+1 + a2n+2 6 S2n
Destacando lo que nos interesa, hemos visto que
S2n1 6 S2n+1 6 S2n+2 6 S2n n N
Por tanto, la sucesin {S2n1 } es creciente y {S2n } es decreciente. Pero, como consecuencia
tambin tenemos
S1 6 S2n1 6 S2n 6 S2 n N
de modo que las sucesiones {S2n1 } y {S2n } estn acotadas y, por tanto, ambas convergen.
Puesto que {S2n } = {S2n1 + a2n } y {a2n } 0, deducimos que lm {S2n } = lm {S2n1 }, luego
{Sn } es convergente, como se quera.

As pues, la serie armnica alternada es convergente, pero no absolutamente convergente.
(1)n
, para cualquier q N.
Igual le ocurre, por ejemplo a la serie
q
n
n>1

11. Convergencia absoluta y series alternadas

11.3.

89

Convergencia incondicional

Completamos este tema discutiendo una pregunta que tenemos planteada desde el principio
del estudio de las series: es prudente dejarnos llevar por la intuicin e interpretar la suma de
una serie convergente como la suma de todos los trminos de una sucesin?
Hemos visto en algn caso que la suma de una serie tiene propiedades anlogas a las de
una suma finita. Por ejemplo, hemos visto ciertas formas de distributividad y de asociatividad.
Vamos a preguntarnos ahora por la posible conmutatividad, en un sentido muy general, de la
suma de una serie. Si tal propiedad fuese cierta, al permutar de cualquier forma los sumandos,
la convergencia de la serie debera mantenerse y la suma de la serie debera seguir siendo la
misma. Vamos a comentar algunos resultados acerca de esta cuestin, aunque sin incluir todas
las demostraciones. Empezamos planteando el problema con precisin.
En general una permutacin de los elementos de un conjunto es una aplicacin biyectiva del
conjunto en s mismo. As pues, una permutacin de los nmeros naturales ser una aplicacin
biyectiva : N N. Dada una sucesin de nmeros reales {xn }, usando una permutacin
de los nmeros naturales, podemos formar la sucesin {x(n) } que intuitivamente se obtiene
permutando los trminos de la sucesin {xn }.
Pues bien, si la serie

xn es convergente y la suma de series tuviese la conmutatividad

n>1

que pretendemos discutir, la serie reordenada

x(n)

debera ser convergente y tener la

n>1

misma suma que la serie de partida. En principio esto no est nada claro, ya que la relacin
entre las sumas parciales de ambas series no es sencilla.
Se dice que una serie de nmeros reales

xn es incondicionalmente convergente cuando,

n>1

para cualquier permutacin de los nmeros naturales, la serie

x(n) es convergente. Para

n>1

resaltar la relacin con la conmutatividad de la suma, se dice algunas veces que estas series son
conmutativamente convergentes. Segn la motivacin anterior, deberamos tambin exigir que
la serie reordenada tenga la misma suma que la de partida, pero acabaremos viendo que esto
ocurre automticamente: cuando una serie converge incondicionalmente, la suma de la serie no
depende de la reordenacin que podamos considerar.
Es claro que toda serie incondicionalmente convergente es convergente, pues basta tomar
(n) = n para todo n N. Para series de trminos no negativos, vamos a ver que el recproco
tambin es cierto, obteniendo abundantes ejemplos de series incondicionalmente convergentes.
Toda serie convergente de trminos no negativos es incondicionalmente convergente. De
forma ms concreta, si an > 0 para todo n N y la serie an es convergente, para
n>1

cualquier permutacin de los nmeros naturales, se tiene que la serie

a(n)

n>1

convergente, verificndose adems que

a(n) =

n=1

an .

n=1

es

11. Convergencia absoluta y series alternadas

90

Considerando las sumas parciales de ambas series,

n

Sn =

ak

Tn =

k=1

a(k)

n N

k=1

aprovecharemos, como siempre que trabajamos con series de trminos no negativos, que las
sucesiones {Sn } y {Tn } son crecientes.

Por hiptesis {Sn } es convergente, sea S =

lm Sn = sup {Sn : n N}. Bastar

an = n

n=1

probar que {Tn } tambin est mayorada y que S = sup {Tn : n N}.
Ahora bien, fijado n N, el conjunto {(k) : k 6 n} es finito, luego tendr mximo, sea
pn = max {(k) : k 6 n}. Usando que ak > 0 para todo k N, tenemos claramente
pn

Tn =

a(k) 6

ak = S pn 6 S

k=1

k=1

La desigualdad as obtenida es vlida para todo n N y demuestra ya que la sucesin {Tn }

est mayorada, luego la serie a(n) es convergente. Pero la misma desigualdad tambin nos
n>1

permite concluir que sup{Tn : n N} 6 S, es decir,

a(n) 6

n=1

an

n=1

Para obtener la otra desigualdad basta observar la simetra de la situacin: la serie de partida
an tambin se obtiene reordenando la serie a(n) . Ms concretamente, como sabemos
n>1

n>1

bn =

ya que la serie de trminos no negativos

lo demostrado para

an , pero usando

n>1
1 ,

a(n)

es convergente, podemos aplicarle

n>1

que tambin es una permutacin de los nmeros

n>1

naturales, y obtenemos

a(n) = bn > b1(n) = a(1(n)) = an

n=1

n=1

n=1

n=1

n=1

As pues, las cosas han empezado bastante bien, las series convergentes de trminos no
negativos verifican el tipo de conmutatividad que estamos estudiando, de forma completamente
satisfactoria. Pero podemos ahora obtener fcilmente un resultado an mejor:
Toda serie absolutamente convergente es incondicionalmente convergente.
Para probarlo, sea {xn } una sucesin de nmeros reales tal que la serie

|xn|

es convergente

n>1

y sea cualquier permutacin de los nmeros naturales. El resultado anterior nos dice que la
serie |x(n) | es convergente, es decir, la serie x(n) es absolutamente convergente, luego
n>1

convergente.

n>1

11. Convergencia absoluta y series alternadas

91

Comparando los dos resultados anteriores, vemos que el primero afirma algo que no aparece
en el segundo: la suma de la serie no depende de la reordenacin que consideremos. Para tener
la misma informacin en el segundo caso (ms general) aprovechamos un sencillo artificio que
ser til en otros contextos y que pasamos a explicar.
A cada nmero real x asociamos dos nmeros no negativos, x+ y x , como sigue:
(
x si x > 0
|x| + x
= max {x, 0} =
x+ =
2
0 si x < 0
(
0 si x > 0
|x| x
= mn {x, 0} =
x =
2
x si x < 0
Es evidente que, para todo x R, se tiene:
x+ > 0 ; x > 0 ; x+ x = x ; x+ + x = |x| ; x+ x = 0
Pasamos ya a obtener el resultado que habamos previsto:
Si la serie

xn

es absolutamente convergente, para toda permutacin de los nmeros

n>1

naturales, se tiene que

x(n) =

n=1

Para probarlo, consideremos las series

xn .

n=1

xn+

n>1

xn. Como 0 6 xn+ 6 |xn| y 0 6 xn 6 |xn|

n>1

para todo n N, el criterio de comparacin nos dice que ambas series de trminos no negativos
son convergentes, luego son incondicionalmente convergentes y su suma no se altera al permutar
sus trminos. Concluimos entonces que

xn =

n=1

(xn+ xn) =

n=1

x(n)

n=1

como queramos demostrar.

xn+

n=1

=
x(n)

n=1

xn

n=1

n=1

n=1

+
x(n)
)=
(x(n)

x(n)


Para completar nuestra discusin acerca de la posible conmutatividad de las sumas de series,
veremos que, recprocamente a lo que ya sabemos, la convergencia incondicional de una serie
implica su convergencia absoluta, con lo que ambos tipos de convergencia son equivalentes. As
pues, cuando una serie converge, pero no lo hace absolutamente, como le ocurra por ejemplo
a la serie armnica alternada, su convergencia no es incondicional, podemos reordenarla para
obtener una serie que no converge. Lo que es an peor, incluso para las reordenaciones que den
lugar a series convergentes, la suma de la serie puede variar, dependiendo de la permutacin
de los nmeros naturales que usemos. Este resultado, que no vamos a demostrar, se debe al
matemtico alemn Bernhard Riemann (1826-1866) y puede enunciarse como sigue.

11. Convergencia absoluta y series alternadas

92

Teorema de Riemann. Toda serie de nmeros reales incondicionalmente convergente es

absolutamente convergente.
Adems, si una serie

xn converge pero no lo hace absolutamente, para cada x R se

n>1

puede encontrar una permutacin de los nmeros naturales tal que

x(n) = x.

n=1

Podra hacerse un estudio de la asociatividad para la suma de una serie convergente, anlogo
al que hemos hecho para la conmutatividad, llegando a una conclusin similar: cuando una serie
converge absolutamente, se puede decir que la suma de la serie verifica tal asociatividad en un
sentido muy general, pero cuando la convergencia no es absoluta las cosas se complican.
Como conclusin genrica, podemos decir que si la serie de trmino general {xn } converge
absolutamente, est justificado pensar que la suma de la serie responde a la idea intuitiva de
sumar todos los trminos de la sucesin {xn }, de hecho se dice en este caso que la sucesin
{xn } es sumable. Ello se aplica en particular a las series convergentes de trminos no negativos.
Sin embargo, cuando la serie de trmino general {xn } es convergente, pero no absolutamente
convergente, esa idea intuitiva, aunque siga siendo til, debe manejarse con precaucin.

11.4.
1. Sea

Ejercicios de revisin
xn una serie absolutamente convergente y {x(n)} una sucesin parcial de {xn}.

n>1

Probar que la serie

x(n) es convergente. Suponiendo slo que xn es convergente,

n>1

se puede asegurar que

n>1

x(n)

tambin converge?

n>1

2. Dado x R, estudiar la convergencia de la serie

xn
n 2
n>1 x + n

3. Estudiar la convergencia y la convergencia absoluta de las siguientes series:



(1)n n
(1)n+1
1 n
(a) 2
(b)
1+
n
+
1
n
n
n>1
n>1
4. Supongamos que una serie
afirmar sobre las series

xn

n>1
xn+
n>1

converge pero no lo hace absolutamente. Qu se puede

xn ?

n>1