Teorema de Riemann (series)

En matemáticas, el Teorema de Riemann sobre la reordenación de series convergentes, llamado así en honor al matemático alemán Riemann, dice que si una serie infinita de números reales es condicionalmente convergente, entonces sus términos pueden ser permutados de modo que la nueva serie converja a un número real arbitrario, o diverja.

La serie 1 – 1 + 1/2 – 1/2 + 1/3 – 1/3 + ... , por ejemplo, converge a 0, pero si se toma la serie en valor absoluto, es decir, reemplazando cada término con su valor absoluto, se obtiene la serie 1 + 1 + 1/2 + 1/2 + 1/3 + 1/3 + ... , que diverge. Por ello la serie original es condicionalmente convergente, y puede ser reordenada para dar una serie que converge a una suma diferente, como por ejemplo: 1 + 1/2 – 1 + 1/3 + 1/4 – 1/2 + ... = ln 2. En general, utilizando este procedimiento con p positivos seguido por q negativos da la suma ln(p/q). Otras reordenaciones pueden sumar un número real distinto, o infinito.

Definiciones 
Una serie   converge si existe un valor  tal que la sucesión de sumas parciales de dicha serie converge a 

esto significa que para cualquier  existe un entero  tal que si  entonces 

Una serie converge condicionalmente si la serie  es convergente pero  diverge.

Una permutación es una biyección dentro del conjunto de los números naturales, es decir, de naturales en naturales. Dada una permutación , para cualquier número natural  existe un único  natural tal que  , y por la inyectividad de la permutación si  entonces .

Teorema 
Sea  una sucesión de números reales,   una serie condicionalmente convergente, y  un número real dado. Existe una permutación  tal que
 .
También existe una permutación  que cumple
 
En otras palabras, los términos de la suma pueden reordenarse para que esta converja a cualquier número real o diverja.

Demostración

Conceptos previos 
Primeramente expondremos algunos conceptos que serán útiles para la posterior demostración. 

Sea  una serie condicionalmente convergente, entonces la serie contiene infinitos términos positivos e infinitos términos negativos. Esto es cierto pues cualquiera de las otras opciones no verifica la convergencia condicional:
 Si solo hubiese términos positivos,  sería igual a  y entonces se trataría de una serie absolutamente convergente.
 Si solo hubiese términos negativos, entonces  y por tanto es de nuevo absolutamente convergente.
 Si hubiese infinitos términos positivos y solo una cantidad finita de términos negativos (o viceversa) el peso de estos términos negativos (o de los positivos) sería despreciable en la suma total, es decir, la suma de los negativos (o negativos) se cancelaría con la suma de una cantidad finita de positivos, y dado que todavía habría infinitos positivos (o negativos) la serie sin valor absoluto sería divergente.
De esta forma, la serie original  puede ser expresada como suma de: una serie en la cual los términos negativos han sigo sustituidos por 0, que denotaremos por , y otra serie que hace lo propio con los positivos, .  Estas dos series son necesariamente divergentes puesto que, como antes, ninguna de las otras opciones es posible:
 Si ambas convergen se tiene que que por tanto seria convergente, lo cual es una contradicción porque suponemos que la serie original diverge en valor absoluto.
 Si suponemos que  converge y   diverge se llega a contradicción pues y por tanto, como suma de dos series convergentes también lo sería. La demostracion en el caso que queda es análoga.

Existencia de una reordenación que converge a un número real M 
Demostraremos a continuación cómo puede obtenerse una permutación  tal que  con , la demostración para un número real negativo es análoga.

Consideramos la anterior serie  y tomamos  y  como el primer natural tal que  y el anterior a este respectivamente; esto es posible ya que antes hemos expuesto que esta era una serie divergente. Se tiene entonces  que

 

es decir, la diferencia entre la suma hasta  y M es menor que el último positivo que se ha sumado, . Consideramos ahora la serie de términos negativos  y tomamos el primer natural tal que , es decir, sumamos los primeros  términos negativos hasta que pasemos M por la izquierda en la recta real. Del mismo modo que antes tendremos que:

la distancia entre M y la suma de esas sumas parciales es menos que el valor absoluto del último término negativo que hemos sumado. El siguiente paso seria coger  tal que 

y de nuevo el último término positivo que hemos añadido, , será mayor que la diferencia entre esa suma de sumas parciales y M.  Repitiendo el proceso sucesivamente se obtendrá una reodenación de términos que converge a M tal que 

Observesé que, tal y como los hemos elegido, para cada uno de los  se cumple que 

     o bien 
. 

Pero dado que la serie original  es convergente, entonces  y, en consecuencia, si la sucesión  es convergente entonces cualquier subsucesión suya es también convergente, en particular las sucesiones de los . Por tanto  y de esta forma por el criterio del sándwich se tiene que .

Existencia de una reordenación que diverge 
La siguiente demostración es para una reordenación que diverja a , para el caso contrario la demostración es análoga.

Sea  una serie condicionalmente convergente y  y  las series con únicamente los términos positivos y negativos respectivamente de la serie original, como se han utilizado en el caso anterior.

Tomaremos el primer natural tal que . Escogemos ahora  el primer natural que verifica que . Si se continúa de esta forma, la reordenación obtenida diverge:

Serie armónica 
La serie armónica alternada es un ejemplo clásico de una serie condicionalmente convergente. La serie

 

es convergente mientras que, por el contrario, la serie con valor absoluto

 

es la serie armónica normal y por tanto divergente. 

De acuerdo al teorema, aunque la serie armónica alternada usual es

los términos de la serie pueden reordenarse para obtener, por ejemplo, la mitad de la suma:

Los dos primeros términos suman 1/2, y el siguiente es  -1/4. Los dos siguientes suman 1/6, y el siguiente es -1/8. El tercer grupo serie la suma de 1/5 - 1/10 = 1/10,  y -1/12. En general se cumple que

de forma que la serie quedará reescrita de la siguiente forma:

Véase también 
 Serie convergente
 Convergencia absoluta
 Bernhard Riemann
 Límite de una sucesión

Referencias 

Análisis matemático
Sucesiones y series de teoría de números
Series matemáticas
Permutaciones
Bernhard Riemann