Teorema de Riemann (series)
# 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 $∑_{n=1}^∞a_n{\textstyle$ \sum _{n=1}^{\infty }a_{n}} converge si existe un valor $\ell$ tal que la sucesión de sumas parciales de dicha serie converge a $\ell$

    $\lim _{k\to \infty }\sum _{n=1}^{k}a_{n}=\lim _{k\to \infty }S_{k}=\ell$

esto significa que para cualquier $\varepsilon >0$ existe un entero $n_{o}$ tal que si $n\geq n_{o}$ entonces $|S_{k}-\ell |\leq \varepsilon$

Una serie converge condicionalmente si la serie $∑_{n=1}^∞a_n{\textstyle$ \sum _{n=1}^{\infty }a_{n}} es convergente pero $∑_{n=1}^∞|a_n|{\textstyle$ \sum _{n=1}^{\infty }|a_{n}|} 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 $\sigma$, para cualquier número natural $b$ existe un único $a$ natural tal que $\sigma (a)=b$ , y por la inyectividad de la permutación si $x\not =y$ entonces $\sigma (x)\not =\sigma (y)$.

## Teorema

Sea $\{a_{n}\}$ una sucesión de números reales, $∑_{n=1}^∞a_n{\textstyle$ \sum _{n=1}^{\infty }a_{n}} una serie condicionalmente convergente, y $M$ un número real dado. Existe una permutación $\sigma$ tal que

    $\sum _{n=1}^{\infty }a_{\sigma (n)}=M$.

También existe una permutación $\omega$ que cumple

    $\sum _{n=1}^{\infty }a_{\omega (n)}=\infty .$

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 $∑_{n=1}^∞a_n{\textstyle$ \sum _{n=1}^{\infty }a_{n}} 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, $∑_{n=1}^∞a_n{\textstyle$ \sum _{n=1}^{\infty }a_{n}} sería igual a $∑_{n=1}^∞|a_n|{\textstyle$ \sum _{n=1}^{\infty }|a_{n}|} y entonces se trataría de una serie absolutamente convergente.
* Si solo hubiese términos negativos, entonces $∑_{n=1}^∞a_n=−∑_{n=1}^∞|a_n|{\textstyle$ \sum _{n=1}^{\infty }a_{n}=-\sum _{n=1}^{\infty }|a_{n}|} 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 $∑_{n=1}^∞a_n{\textstyle$ \sum _{n=1}^{\infty }a_{n}} puede ser expresada como suma de: una serie en la cual los términos negativos han sigo sustituidos por 0, que denotaremos por $∑_{n=1}^∞p_n{\textstyle$ \sum _{n=1}^{\infty }p_{n}}, y otra serie que hace lo propio con los positivos, $∑_{n=1}^∞q_n{\textstyle$ \sum _{n=1}^{\infty }q_{n}}. Estas dos series son necesariamente divergentes puesto que, como antes, ninguna de las otras opciones es posible:

* Si ambas convergen se tiene que $∑_{n=1}^∞p_n−∑_{n=1}^∞q_n=∑_{n=1}^∞|a_n|{\textstyle$ \sum _{n=1}^{\infty }p_{n}-\sum _{n=1}^{\infty }q_{n}=\sum _{n=1}^{\infty }|a_{n}|}que por tanto seria convergente, lo cual es una contradicción porque suponemos que la serie original diverge en valor absoluto.
* Si suponemos que $∑_{n=1}^∞p_n{\textstyle$ \sum _{n=1}^{\infty }p_{n}} converge y $∑_{n=1}^∞q_n{\textstyle$ \sum _{n=1}^{\infty }q_{n}} diverge se llega a contradicción pues $∑_{n=1}^∞a_n−∑_{n=1}^∞p_n=∑_{n=1}^∞q_n{\textstyle$ \sum _{n=1}^{\infty }a_{n}-\sum _{n=1}^{\infty }p_{n}=\sum _{n=1}^{\infty }q_{n}}y por tanto, como suma de dos series convergentes $∑_{n=1}^∞q_n{\textstyle$ \sum _{n=1}^{\infty }q_{n}}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 $\sigma$ tal que $∑_{n=1}^∞a_{σ(n)}=M{\textstyle$ \sum _{n=1}^{\infty }a_{\sigma (n)}=M} con $M\geq 0$, la demostración para un número real negativo es análoga.

Consideramos la anterior serie $∑_{n=1}^∞p_n{\textstyle$ \sum _{n=1}^{\infty }p_{n}} y tomamos $m_1{\textstyle$ m_{1}} y $m_0{\textstyle$ m_{0}} como el primer natural tal que $∑_{n=1}^{m1}p_n>M{\textstyle$ \sum _{n=1}^{m_{1}}p_{n}>M} y el anterior a este respectivamente; esto es posible ya que antes hemos expuesto que esta era una serie divergente. Se tiene entonces que

    $\sum _{n=1}^{m_{1}}p_{n}-M<\sum _{n=1}^{m_{1}}p_{n}-\sum _{n=1}^{m_{0}}p_{n}=p_{m_{1}},$

es decir, la diferencia entre la suma hasta $m_1{\textstyle$ m_{1}} y M es menor que el último positivo que se ha sumado, $p_{m_{1}}$. Consideramos ahora la serie de términos negativos $∑_{n=1}^∞q_n{\textstyle$ \sum _{n=1}^{\infty }q_{n}} y tomamos $n_{1}$el primer natural tal que $∑_{n=1}^{m1}p_n+∑_{n=1}^{n1}q_n<M{\textstyle$ \sum _{n=1}^{m_{1}}p_{n}+\sum _{n=1}^{n_{1}}q_{n}<M}, es decir, sumamos los primeros $n_{1}$ términos negativos hasta que pasemos M por la izquierda en la recta real. Del mismo modo que antes tendremos que:

    $M-(\sum _{n=1}^{m_{1}}p_{n}+\sum _{n=1}^{n_{1}}q_{n})<|q_{n_{1}}|,$

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 $m_2:{\textstyle$ m_{2}:} tal que $\sum _{n=1}^{m_{1}}p_{n}+\sum _{n=1}^{n_{1}}q_{n}+\sum _{n=m_{1}+1}^{m_{2}}p_{n}>M$

y de nuevo el último término positivo que hemos añadido, $p_{m_{2}}$, 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

    $\sum _{n=1}^{\infty }a_{\sigma (n)}=p_{1}+\dotsc +p_{m_{1}}+q_{1}+\dotsc +q_{n_{1}}+p_{m_{1}+1}+\dotsc +p_{m_{2}}+q_{n_{2}}+\dots$

Observesé que, tal y como los hemos elegido, para cada uno de los $p_{m_{i}},q_{n_{i}}(i\in \mathbb {N} )$ se cumple que

    $0≤|M−∑_{n=1}^{mi}a_{σ(n)}|<p_{mi}{\textstyle$ 0\leq {\bigg |}M-\sum _{n=1}^{m_{i}}a_{\sigma (n)}{\bigg |}<p_{m_{i}}} o bien
    $0≤|M−∑_{n=1}^{ni}a_{σ(n)}|<|q_{ni}|{\textstyle$ 0\leq {\bigg |}M-\sum _{n=1}^{n_{i}}a_{\sigma (n)}{\bigg |}<|q_{n_{i}}|}.

Pero dado que la serie original $∑_{n=1}^∞a_n{\textstyle$ \sum _{n=1}^{\infty }a_{n}} es convergente, entonces $\lim _{n\to \infty }a_{n}=0$ y, en consecuencia, si la sucesión $a_{n}$ es convergente entonces cualquier subsucesión suya es también convergente, en particular las sucesiones de los $p_{m_{i}},q_{n_{i}}(i\in \mathbb {N} )$. Por tanto $\lim _{i\to \infty }p_{m_{i}}=\lim _{i\to \infty }q_{n_{i}}=0$ y de esta forma por el criterio del sándwich se tiene que $\sum _{n=1}^{\infty }a_{\sigma (n)}=M$.

### Existencia de una reordenación que diverge

La siguiente demostración es para una reordenación que diverja a $+\infty$, para el caso contrario la demostración es análoga.

Sea $∑_{n=1}^∞a_n{\textstyle$ \sum _{n=1}^{\infty }a_{n}} una serie condicionalmente convergente y $∑_{n=1}^∞p_n{\textstyle$ \sum _{n=1}^{\infty }p_{n}} y $∑_{n=1}^∞q_n{\textstyle$ \sum _{n=1}^{\infty }q_{n}} las series con únicamente los términos positivos y negativos respectivamente de la serie original, como se han utilizado en el caso anterior.

Tomaremos $m_1{\textstyle$ m_{1}}el primer natural tal que $∑_{n=1}^{m1}p_n>1{\textstyle$ \sum _{n=1}^{m_{1}}p_{n}>1}. Escogemos ahora $m_2{\textstyle$ m_{2}} el primer natural que verifica que $∑_{n=1}^{m1}p_n+q_1+∑_{n=m1+1}^{m2}p_n>2{\textstyle$ \sum _{n=1}^{m_{1}}p_{n}+q_{1}+\sum _{n=m_{1}+1}^{m_{2}}p_{n}>2}. Si se continúa de esta forma, la reordenación obtenida diverge:

    $\sum _{n=1}^{\infty }a_{\sigma (n)}=p_{1}+\dotsc +p_{m_{1}}+q_{1}+p_{m_{1}+1}+\dotsc +p_{m_{2}}+q_{2}+\dots =+\infty$

## Serie armónica

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

    $∑_{n=1}^∞$ $((−1)^{n+1})/n$ {\textstyle \sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n}}}

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

    $∑_{n=1}^∞|$ $((−1)^{n+1})/n$ $|=∑_{n=1}^∞$ 1/n {\textstyle \sum _{n=1}^{\infty }{\bigg |}{\frac {(-1)^{n+1}}{n}}{\bigg |}=\sum _{n=1}^{\infty }{\frac {1}{n}}}

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

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

    $∑_{n=1}^∞$ $((−1)^{n+1})/n=1−1/2+1/3−1/4+...=ln⁡(2){\textstyle$ \sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n}}=1-{\frac {1}{2}}+{\frac {1}{3}}-{\frac {1}{4}}+...=\ln(2)}

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

    1−1/2−1/4+1/3−1/6−1/8+1/5−1/10−1/12+⋯{\textstyle 1-{\frac {1}{2}}-{\frac {1}{4}}+{\frac {1}{3}}-{\frac {1}{6}}-{\frac {1}{8}}+{\frac {1}{5}}-{\frac {1}{10}}-{\frac {1}{12}}+\cdots }

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

    1/2k−1−1/2(2k−1)=1/2(2k−1) {\textstyle {\frac {1}{2k-1}}-{\frac {1}{2(2k-1)}}={\frac {1}{2(2k-1)}}}

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

    1/2−1/4+1/6−1/8+1/10+⋯+1/2(2k−1)−1/2(2k)+⋯={\textstyle {\frac {1}{2}}-{\frac {1}{4}}+{\frac {1}{6}}-{\frac {1}{8}}+{\frac {1}{10}}+\cdots +{\frac {1}{2(2k-1)}}-{\frac {1}{2(2k)}}+\cdots =}
    =1/2 (1−1/2+1/3−⋯)=1/2 ln⁡(2){\textstyle ={\frac {1}{2}}\left(1-{\frac {1}{2}}+{\frac {1}{3}}-\cdots \right)={\frac {1}{2}}\ln(2)}
