stringtranslate.com

Teorema de la serie de Riemann

En matemáticas , el teorema de la serie de Riemann , también llamado teorema de reordenamiento de Riemann , llamado así por el matemático alemán del siglo XIX Bernhard Riemann , dice que si una serie infinita de números reales es condicionalmente convergente , entonces sus términos pueden ordenarse en una permutación de modo que la nueva serie converja a un número real arbitrario, y reordenarse de modo que la nueva serie diverja . Esto implica que una serie de números reales es absolutamente convergente si y solo si es incondicionalmente convergente . [1] [2]

Como ejemplo, la serie

converge a 0 (para un número suficientemente grande de términos, la suma parcial se acerca arbitrariamente a 0); pero al reemplazar todos los términos con sus valores absolutos se obtiene

que suma hasta el infinito. Por lo tanto, la serie original es condicionalmente convergente y se puede reorganizar (tomando los dos primeros términos positivos seguidos del primer término negativo, seguido de los dos términos positivos siguientes y luego el siguiente término negativo, etc.) para dar una serie que converge a una suma diferente, como

que evalúa a ln 2. De manera más general, al utilizar este procedimiento con p positivos seguidos de q negativos se obtiene la suma ln( p / q ). Otros reordenamientos dan otras sumas finitas o no convergen a ninguna suma.

Historia

Un resultado básico es que la suma de un número finito de números no depende del orden en el que se suman. Por ejemplo, 2 + 6 + 7 = 7 + 2 + 6. La observación de que la suma de una secuencia infinita de números puede depender del orden en el que se suman se atribuye comúnmente a Augustin-Louis Cauchy en 1833. [3] Analizó la serie armónica alternada , mostrando que ciertos reordenamientos de sus sumandos dan como resultado límites diferentes. Casi al mismo tiempo, Peter Gustav Lejeune Dirichlet destacó que tales fenómenos se descartan en el contexto de la convergencia absoluta , y dio más ejemplos del fenómeno de Cauchy para algunas otras series que no son absolutamente convergentes. [4]

En el curso de su análisis de las series de Fourier y la teoría de la integración de Riemann , Bernhard Riemann dio una caracterización completa de los fenómenos de reordenamiento. [5] Demostró que en el caso de una serie convergente que no converge absolutamente (conocida como convergencia condicional ), se pueden encontrar reordenamientos de modo que la nueva serie converja a cualquier número real prescrito arbitrariamente. [6] El teorema de Riemann ahora se considera como una parte básica del campo del análisis matemático . [7]

Para cualquier serie, se puede considerar el conjunto de todas las sumas posibles, correspondientes a todos los reordenamientos posibles de los sumandos. El teorema de Riemann puede formularse diciendo que, para una serie de números reales, este conjunto está vacío, es un único punto (en el caso de convergencia absoluta) o es la recta numérica real entera (en el caso de convergencia condicional). En esta formulación, el teorema de Riemann fue extendido por Paul Lévy y Ernst Steinitz a series cuyos sumandos son números complejos o, incluso de manera más general, elementos de un espacio vectorial real de dimensión finita . [8] [9] Demostraron que el conjunto de sumas posibles forma un subespacio afín real. Varios autores han considerado extensiones del teorema de Lévy-Steinitz a series en espacios de dimensión infinita. [10]

Definiciones

Una serie converge si existe un valor tal que la secuencia de las sumas parciales

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

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

Una permutación es simplemente una biyección del conjunto de números enteros positivos hacia sí mismo. Esto significa que si es una permutación, entonces para cualquier número entero positivo existe exactamente un número entero positivo tal que En particular, si , entonces .

Enunciado del teorema

Supongamos que es una sucesión de números reales y que es condicionalmente convergente. Sea un número real. Entonces existe una permutación tal que

También existe una permutación tal que

La suma también puede reorganizarse para divergir o no aproximarse a ningún límite, finito o infinito.

Serie armónica alternada

Cambiando la suma

La serie armónica alternada es un ejemplo clásico de una serie condicionalmente convergente: es convergente, mientras que es la serie armónica ordinaria , que diverge. Aunque en la presentación estándar la serie armónica alternada converge a ln(2) , sus términos pueden organizarse para converger a cualquier número, o incluso para diverger.


Un ejemplo de esto es el siguiente: comience con la serie escrita en el orden habitual,

y reorganizar y reagrupar los términos como:

donde el patrón es: los dos primeros términos son 1 y −1/2, cuya suma es 1/2. El siguiente término es −1/4. Los dos siguientes términos son 1/3 y −1/6, cuya suma es 1/6. El siguiente término es −1/8. Los dos siguientes términos son 1/5 y −1/10, cuya suma es 1/10. En general, dado que cada entero impar ocurre una vez de forma positiva y cada entero par ocurre una vez de forma negativa (la mitad de ellos como múltiplos de 4, la otra mitad como enteros dos veces impares), la suma se compone de bloques de tres que se pueden simplificar como:


Por lo tanto, la serie anterior puede escribirse de hecho como:

que es la mitad de la suma original, y solo puede ser igual a la secuencia original si el valor fuera cero. Se puede demostrar que esta serie es mayor que cero mediante la prueba del teorema de Leibniz usando que la segunda suma parcial es la mitad. [11] Alternativamente, el valor al que converge no puede ser cero. Por lo tanto, se muestra que el valor de la secuencia depende del orden en el que se calcula la serie.

Es cierto que la secuencia:

contiene todos los elementos de la secuencia:


Sin embargo, dado que la suma se define como y , el orden de los términos puede influir en el límite. [11]

Obtener 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 la constante de Euler-Mascheroni , y donde la notación o (1) denota una cantidad que depende de la variable actual (aquí, la variable es  n ) de tal manera que esta cantidad tiende a 0 cuando la variable tiende a infinito.

De ello se deduce que la suma de q términos pares satisface

y tomando la diferencia, se ve que la suma de p términos impares satisface

Supongamos que se dan dos números enteros positivos a y b , y que se forma un reordenamiento de la serie armónica alternada tomando, en orden, a términos positivos de la serie armónica alternada, seguidos de b términos negativos, y repitiendo este patrón hasta el infinito (la serie alternada en sí misma corresponde a a = b = 1 , el ejemplo de la sección anterior corresponde a a  = 1, b  = 2):

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

De ello se deduce que la suma de esta serie reordenada es [12]

Supongamos ahora que, de manera más general, una serie reordenada de la serie armónica alternada está organizada de tal manera que la razón p n / q n entre el número de términos positivos y negativos en la suma parcial de orden n tiende a un límite positivo r . Entonces, la suma de tal reordenamiento será

y esto explica que cualquier número real x puede obtenerse como suma de una serie reordenada de la serie armónica alterna: basta formar un reordenamiento para el cual el límite r sea igual a e 2 x / 4 .

Prueba

Existencia de un reordenamiento que suma cualquier número real positivoMETRO

La descripción que hace Riemann del teorema y su prueba se lee en su totalidad: [13]

… las series infinitas se dividen en dos clases distintas, según si siguen siendo convergentes cuando todos los términos se hacen positivos. En la primera clase, los términos pueden reordenarse arbitrariamente; en la segunda, por el contrario, el valor depende del orden de los términos. En efecto, si denotamos los términos positivos de una serie de la segunda clase por a 1 , a 2 , a 3 , ... y los términos negativos por b 1 , − b 2 , − b 3 , ... entonces es claro que Σ a así como Σ b deben ser infinitos. Pues si ambos fueran finitos, la serie seguiría siendo convergente después de hacer que todos los signos sean iguales. Si sólo uno fuera infinito, entonces la serie divergiría. Claramente ahora un valor arbitrario dado C puede obtenerse mediante un reordenamiento adecuado de los términos. Tomamos alternativamente los términos positivos de la serie hasta que la suma sea mayor que C , y luego los términos negativos hasta que la suma sea menor que C . La desviación con respecto a C nunca es mayor que el tamaño del término en el último lugar en el que se cambiaron los signos. Ahora bien, como tanto el número a como los números b se vuelven infinitamente pequeños a medida que aumenta el índice, también lo son las desviaciones con respecto a C. Si avanzamos lo suficiente en la serie, la desviación se vuelve arbitrariamente pequeña, es decir, la serie converge a C.

Esto se puede explicar con más detalle de la siguiente manera. [14] Recordemos que una serie de términos reales condicionalmente convergentes tiene tanto un número infinito de términos negativos como un número infinito de términos positivos. Primero, definamos dos cantidades y :

Es decir, la serie incluye todos los a n positivos, con todos los términos negativos reemplazados por ceros, y la serie incluye todos los a n negativos, con todos los términos positivos reemplazados por ceros. Como es condicionalmente convergente, tanto la serie "positiva" como la "negativa" divergen. Sea M cualquier número real. Tome la cantidad justa de términos positivos para que su suma exceda a M . Es decir, sea p 1 el entero positivo más pequeño tal que

Esto es posible porque las sumas parciales de la serie tienden a . Ahora sea q 1 el entero positivo más pequeño tal que

Este número existe porque las sumas parciales de tienden a . Ahora, continúe inductivamente, definiendo p 2 como el entero más pequeño mayor que p 1 tal que

y así sucesivamente. El resultado puede verse como una nueva secuencia.

Además, las sumas parciales de esta nueva secuencia convergen a M . Esto se puede ver por el hecho de que para cualquier i ,

con la primera desigualdad manteniéndose debido al hecho de que p i +1 ha sido definido como el número más pequeño mayor que p i lo que hace que la segunda desigualdad sea verdadera; como consecuencia, se cumple que

Puesto que el lado derecho converge a cero debido al supuesto de convergencia condicional, esto muestra que la ( p i +1 + q i ) 'ésima suma parcial de la nueva secuencia converge a M a medida que i aumenta. De manera similar, la ( p i +1 + q i +1 ) 'ésima suma parcial también converge a M . Puesto que las ( p i +1 + q i + 1) 'ésima, ( p i +1 + q i + 2) 'ésima, ... ( p i +1 + q i +1 − 1) 'ésima sumas parciales se valoran entre las ( p i +1 + q i ) 'ésima y ( p i +1 + q i +1 ) 'ésima sumas parciales, se deduce que toda la secuencia de sumas parciales converge a M .

Cada entrada de la secuencia original a n aparece en esta nueva secuencia cuyas sumas parciales convergen a M . Las entradas de la secuencia original que sean cero aparecerán dos veces en la nueva secuencia (una en la secuencia "positiva" y otra en la secuencia "negativa"), y cada segunda aparición de esa clase puede eliminarse, lo que no afecta a la suma de ninguna manera. La nueva secuencia es, por tanto, una permutación de la secuencia original.

Existencia de un reordenamiento que diverge hasta el infinito

Sea una serie condicionalmente convergente. La siguiente es una prueba de que existe un reordenamiento de esta serie que tiende a (se puede utilizar un argumento similar para demostrar que también se puede lograr).

La prueba anterior de la formulación original de Riemann sólo necesita ser modificada para que p i +1 sea seleccionado como el entero más pequeño mayor que p i tal que

y con q i +1 seleccionado como el entero más pequeño mayor que q i tal que

La elección de i + 1 en el lado izquierdo es irrelevante, ya que podría reemplazarse por cualquier secuencia creciente hasta el infinito. Dado que converge a cero cuando n aumenta, para i suficientemente grande hay

y esto prueba (al igual que con el análisis de convergencia anterior) que la secuencia de sumas parciales de la nueva secuencia diverge hasta el infinito.

Existencia de un reordenamiento que no logra acercarse a ningún límite, finito o infinito.

La prueba anterior sólo necesita modificarse para que p i +1 se seleccione como el entero más pequeño mayor que p i tal que

y con q i +1 seleccionado como el entero más pequeño mayor que q i tal que

Esto muestra directamente que la secuencia de sumas parciales contiene infinitas entradas que son mayores que 1, y también infinitas entradas que son menores que −1 , de modo que la secuencia de sumas parciales no puede converger.

Generalizaciones

Teorema de Sierpinski

Dada una serie infinita , podemos considerar un conjunto de "puntos fijos" , y estudiar los números reales que la serie puede sumar si solo se nos permite permutar los índices en . Es decir, dejamos que Con esta notación, tenemos:

Sierpiński demostró que reordenando solo los términos positivos se puede obtener una serie que converge a cualquier valor prescrito menor o igual a la suma de la serie original, pero en general no se pueden obtener valores mayores. [15] [16] [17] Es decir, sea una suma condicionalmente convergente, entonces contiene , pero no hay garantía de que contenga cualquier otro número.

De manera más general, sea un ideal de , entonces podemos definir .

Sea el conjunto de todos los conjuntos asintóticos de densidad cero , es decir, . Es claro que es un ideal de .

(Władysław, 2007) [18]  —  Si es una suma condicionalmente convergente, entonces (es decir, es suficiente reorganizar un conjunto de índices de densidad asintótica cero).

Esquema de demostración: Dado , una suma condicionalmente convergente, construya alguna tal que y sean ambos condicionalmente convergentes. Luego, basta con reordenar para converger a cualquier número en .

Filipów y Szuca demostraron que otros ideales también tienen esta propiedad. [19]

Teorema de Steinitz

Dada una serie convergente de números complejos , pueden ocurrir varios casos al considerar el conjunto de sumas posibles para todas las series obtenidas al reordenar (permutar) los términos de esa serie:

De manera más general, dada una serie convergente de vectores en un espacio vectorial real de dimensión finita E , el conjunto de sumas de series reordenadas convergentes es un subespacio afín de  E .

Véase también

Referencias

  1. ^ Apóstol 1967, pág. 413-414.
  2. ^ Spivak, Michael (2008). Cálculo (4.ª ed.). Houston, TX, EE. UU.: Publish or Perish, Inc., págs. 483–486. ISBN 978-0-914098-91-1.{{cite book}}: CS1 maint: date and year (link)
  3. ^ Cauchy 1833, Sección 8; Apostol 1967, pág. 411.
  4. ^ Dirichlet 1837, Sección 1.
  5. ^ Riemann 1868.
  6. ^ Kline 1990, pág. 966.
  7. ^ Apostol 1967, Sección 10.21; Apostol 1974, Sección 8.18; Rudin 1976, Teorema 3.54; Whittaker & Watson 2021, Sección II.17.
  8. ^ Lévy, Paul (1905), "Sur les séries semi-convergentes", Nouvelles Annales de Mathématiques , 64 : 506–511.
  9. ^ Steinitz, Ernst (1913), "Bedingt Konvergente Reihen und Konvexe Systeme", Journal für die reine und angewandte Mathematik , 143 : 128–175, doi :10.1515/crll.1913.143.128.
  10. ^ Banaszczyk 1991, sección 10; Mauldin 2015, Problema 28 y Problema 106.
  11. ^ ab Spivak, Michael (2008). Cálculo (4.ª ed.). Houston, Texas: Publish or Perish. págs. 482–483. ISBN 978-0-914098-91-1.
  12. ^ Apostol, Tom M. (16 de enero de 1991). Cálculo, volumen 1. John Wiley & Sons. pág. 416. ISBN 978-0-471-00005-1.
  13. ^ Riemann 1868, p. 97, citado de la traducción inglesa de 2004.
  14. ^ Apostol 1967, Sección 10.21; Whittaker & Watson 2021, Sección II.17.
  15. ^ Sierpiński, Wacław (1910). "Przyczynek do teoryi szeregów rozbieżnych [Contribución a la théorie des séries divergentes]" [Contribución a la teoría de series divergentes]. Sprawozdania Z Posiedzen Towarzystwa Naukowego Warszawskiego (en polaco). 3 : 89–93.
  16. ^ Sierpiński, Wacław (1910). "Uwaga do twierdzenia Riemanna o szeregach warunkowo zbieżnych [Remarque sur le théorème de Riemann relatif aux séries semiconvergentes]" [Observación sobre el teorema de Riemann relacionado con las series semiconvergentes]. Prace Matematyczno-Fizyczne (en polaco). 21 (1): 17–20.
  17. ^ Sierpiński, Wacław (1911). "Sur une propriété des séries qui ne sont pas absolument convergentes [O pewnej własności szeregów warunkowo zbieżnych]". Bulletin International de l'Académie des Sciences de Cracovie, Serie A : 149-158.
  18. ^ Wilczyński, Władysław (2007). "Sobre el teorema del trastorno de Riemann". Słupskie Prace Matematyczno-Fizyczne . 4 : 79–82.
  19. ^ Filipów, Rafał; Szuca, Piotr (febrero de 2010). "Reordenamiento de series condicionalmente convergentes en un conjunto pequeño". Revista de análisis matemático y aplicaciones . 362 (1): 64–71. doi : 10.1016/j.jmaa.2009.07.029 .

Enlaces externos