Teorema de la serie de Riemann 1

Teorema de la serie de Riemann

Enmatemáticasel teorema de la serie de Riemann (también llamado el teorema de reordenamiento de Riemann), nombrado en honor a
matemático alemán del siglo XIXBernhard Riemann, dice que si unserie infinitaesconvergente condicional,
entonces sus términos pueden ser organizados en unpermutaciónpara que la serie converja a cualquier valor dado, o inclusodiverge.

{"Definitions":"Definiciones"}
Una serie convergesi existe un valor tal que elsecuenciade las sumas parciales

converge a . Es decir, para cualquier ε > 0, existe un entero N tal que si n ≥ N, entonces

Una serieconverge condicionalmentesi la serie converges but the series diverge.

Una permutación es simplemente unabijeccióndesde

elconjuntodenúmero entero positivos a sí mismo. Esto significa que si es una permutación,
entonces para cualquier entero positivo, existe exactamente un entero positivo tal que . En particular, si
, entonces .

Declaración del teorema

Supongamos que

es una secuencia denúmero reals, y que es condicionalmente convergente. Deja sé un número real. Entonces hay

existe unpermutación de la secuencia tal que

También existe una permutación de tal manera que

La suma también se puede reorganizar para diverger a o fallar en acercarse a cualquier límite, finito o infinito.

Ejemplos

Cambiando la suma
Elserie armónica alternantees un ejemplo clásico de una serie condicionalmente convergente:

es convergente, mientras que

Teorema de la serie de Riemann 2

es lo ordinarioserie armónica, que diverge. Aunque en la presentación estándar la serie armónica alternante
converge a ln(2), sus términos pueden ser rearranjados para converger a cualquier número, o incluso diverger. Un ejemplo de esto es como
sigue. Comienza con la serie escrita en el orden habitual,

y reorganiza los términos:

donde el patrón es: los primeros dos términos son 1 y -1/2, cuya suma es 1/2. El siguiente término es -1/4. Los siguientes dos términos
son 1/3 y -1/6, cuya suma es 1/6. El siguiente término es -1/8. Los siguientes dos términos son 1/5 y -1/10, cuya suma es 1/10.
En general, la suma está compuesta por bloques de tres:

Esta es, de hecho, una reorganización de la serie armónica alternante: cada número entero impar aparece una vez de forma positiva, y el
los enteros pares ocurren una vez cada uno, negativamente (la mitad de ellos como múltiplos de 4, la otra mitad como el doble de enteros impares). Dado que

esta serie puede de hecho ser escrita:

que es la mitad de la suma habitual.

Obteniendo una suma arbitraria

Una forma eficiente de recuperar y generalizar el resultado de la sección anterior es utilizar el hecho de que

donde γ es elEuler–Constante de Mascheroni, y donde elnotación o(1)denota una cantidad que depende de la
variable actual (aquí, la variable esn) de tal manera que esta cantidad se acerque a 0 cuando la variable tiende a infinito.
Se deduce que la suma de términos pares satisface

y al tomar la diferencia, se observa que la suma de los términos impares satisface

Supongamos que se dan dos enteros positivos a y b, y que una reordenación de la serie armónica alternante es
formado al tomar, en orden, términos positivos de la serie armónica alternante, seguidos de términos negativos, y
repetir este patrón hasta el infinito (la serie alternante en sí corresponde a a=b= 1, el ejemplo en el anterior
la sección corresponde a a= 1, b= 2):

Entonces la suma parcial de orden (a+b)n de esta serie reordenada contiene p=a n términos impares positivos y q=b n
términos negativos, por lo tanto
Teorema de la serie de Riemann 3

Sigue que la suma de esta serie reorganizada es

Supongamos ahora que, de manera más general, una serie reorganizada de la serie armónica alternante está organizada de tal manera
que la relación entre el número de términos positivos y negativos en la suma parcial de orden tiende a un
límite positivo. Entonces, la suma de tal reorganización será

y esto explica que cualquier número real x puede ser obtenido como la suma de una serie reorganizada del armónico alternante
series: basta formar una reorganización para la cual el límite es igual a e2x/ 4.

Prueba
Para simplicidad, esta prueba asume primero que an≠0 para cada n. El caso general requiere una modificación simple, dado que
a continuación. Recuerde que una serie condicionalmente convergente de términos reales tiene tanto infinitamente muchos términos negativos como

infinitas cantidades positivas. Primero, define dos cantidades, y por:

Es decir, la serie incluye allanpositivo, con todos los términos negativos reemplazados por ceros, y la serie

incluye todo lo negativo, con todos los términos positivos reemplazados por ceros. Desde es condicionalmente convergente, ambos

the positive and the negative series diverge. LetMbe a positive real number. Take, in order, just enough positive
términos así que su suma exceda M. Supongamos que requerimos p términos; entonces la siguiente afirmación es verdadera:

Esto es posible para cualquier M > 0 porque las sumas parciales de tender a Descartando los términos cero, uno puede
write

Ahora añadimos justo suficientes términos negativos diga de ellos, de modo que la suma resultante sea menor que M. Esto siempre es

posible porque las sumas parciales de tender a Ahora tenemos:

Nuevamente, se puede escribir

con

Nota que σ es inyectiva, y que 1 pertenece al rango de σ, ya sea como imagen de 1 (si a1 > 0), o como imagen de m1 + 1 (si
a1< 0). Ahora repite el proceso de agregar solo suficientes términos positivos para superar M, comenzando con n=p+ 1, y luego
agregando justo suficientes términos negativos para ser menos que M, comenzando con n = q + 1. Extiende σ de manera inyectiva, en
para cubrir todos los términos seleccionados hasta ahora, y observar que a2 debe haber sido seleccionado ahora o antes, por lo tanto 2 pertenece a

el rango de esta extensión. El proceso tendrá infinitas 'cambios de dirección'. Uno eventualmente
Teorema de la serie de Riemann 4

obtiene un rearrangement ∑aσ(n). Después del primer cambio de dirección, cada suma parcial de ∑aσ(n) difiere de M por
como máximo el valor absoluto o del término que apareció en el último cambio de dirección. Pero ∑an converge, así que como n

tends to infinity, each ofan, y ve a 0. Así, las sumas parciales de ∑aσ(n) tienden a M, por lo que lo siguiente es cierto:

El mismo método se puede utilizar para mostrar la convergencia a M negativa o cero.

Ahora se puede dar una definición inductiva formal de la reordenación σ, que funciona en general. Para cada entero k ≥
0, se define un conjunto finito Ak de enteros y un número real Sk. Para cada k > 0, la inducción define el valor σ(k),
el conjunto Ak consiste en los valores σ(j) para j≤k y Sk es la suma parcial de la serie reordenada. La definición es como
sigue:
• Para k= 0, la inducción comienza con A0 vacío y S0= 0.

• Para para todo k ≥ 0, hay dos casos: si Sk ≤ M, entonces σ(k + 1) es el entero más pequeño n ≥ 1 tal que n no está en Ak
andan≥0; si Sk>M, entonces σ(k+1) es el entero más pequeño n≥1 tal que n no está en Ak y andan< 0. En ambos casos
un conjunto

Se puede demostrar, utilizando los razonamientos anteriores, que σ es una permutación de los enteros y que la serie permutada
converge al número real dado M.

Generalización
Dada una serie convergente ∑an decomplex numbers, se pueden presentar varios casos al considerar el conjunto de posibilidades
sumas para todas las series ∑aσ(n) obtenidas al reordenar (permutar) los términos de esa serie:

el la serie ∑an puede converger incondicionalmente; entonces, todas las series reordenadas convergen y tienen la misma suma: la
el conjunto de sumas de la serie reorganizada se reduce a un punto;

el la serie ∑an puede no converger incondicionalmente; si S denota el conjunto de sumas de esas series reordenadas que
converge, entonces, ya sea el conjunto S es una línea L en el plano complejo C, de la forma

o el conjuntoSis el plano complejo enteroC.

De manera más general, dada una serie convergente de vectores en un espacio real de dimensión finitaespacio vectorialE, el conjunto de sumas de
la serie reordenada convergente es unsubespacio afínofE.

Referencias
Apostol Tom (1975). Cálculo, Volumen 1: Cálculo de una variable, con una introducción al álgebra lineal.
• Banaszczyk, Wojciech (1991). "Capítulo 3.10 El teorema de Lévy –Steinitz". Subgrupos aditivos de topológicos
espacios vectoriales. Notas de Clase en Matemáticas.1466. Berlín: Springer-Verlag. pp. 93–109. ISBN 3-540-53917-4.
MR1119302.
• Kadets, V. M.;Kadets, M. I.(1991). "Chapter 1.1 The Riemann theorem, Chapter 6 The Steinitz theorem and
B-convexidad. Reagrupaciones de series en espacios de Banach. Traducciones de Monografías Matemáticas. 86
(Traducido por Harold H. McFaden de la edición en ruso (Tartu) de 1988). Providence, RI: American
Sociedad Matemática. pp. iv+123. ISBN 0-8218-4546-2. MR1108619.
• Kadets, Mikhail I.; Kadets, Vladimir M. (1997). "Capítulo 1.1 El teorema de Riemann, Capítulo 2.1 El de Steinitz"
teorema sobre el rango de suma de una serie, Capítulo 7 El teorema de Steinitz y la B-convexidad. Series en espacios de Banach:
Convergencia condicional y incondicional. Teoría de operadores: Avances y aplicaciones.
Andrei Iacob del idioma ruso ed.). Basilea: Birkhäuser Verlag. pp. viii+156. ISBN 3-7643-5401-1.
Teorema de la serie de Riemann 5

MR1442255.
• Weisstein, Eric (2005). Teorema de la Serie de Riemann[1]. Recuperado el 16 de mayo de 2005.

Referencias
[1] [Link]
Fuentes de artículos y colaboradores 6

Fuentes y Contribuidores del Artículo

Teorema de la serie de Riemann Fuente[Link]
Contributors: ABoerma, Bdmy, BeteNoir, Charles Matthews, Giftlite, Headbomb, Hellis, John,
[Link], Michael Hardy, Mindmatrix, Mwhiz, NatusRoma, Oleg Alexandrov, PV=nRT, Patrick, RDBury, Ryan Reich, Salix alba, Shreevatsa, Sodin, Spartan S58, Tulkas, Valvino, 12
ediciones anónimas

Licencia
Creative Commons Atribución-CompartirIgual 3.0 Sin burguesía
//[Link]/licenses/by-sa/3.0/