Fisicanet ®

Sucesiones y series de números reales

Teorema de Riemann

Si 4n = 1xn es una serie con infinitos términos positivos e infinitos términos negativos, tal que (xn) → 0, y que ∑"positivos" = +4 y ∑"negativos" = -4, entonces se puede reordenar de forma que sume lo que queramos. Más aún, se puede reordenar de forma que la sucesión de sumas parciales tenga como conjunto de valores de adherencia cualquier intervalo cerrado (acotado o no)

[a, a], [a, b], [a, +4[, ]-4, a], ]-4, +4[

Reordenación de 4n = 1(-1)n/n de forma que la sucesión de sumas parciales tenga como valores de adherencia a todos los números reales.

Ejemplo de aplicación del Teorema de Riemann

La serie:

2 - 1 + 1 - ½ + ⅔ - ⅓ + 2/4 - ¼ + ⅖ - ⅕ + …………… es alternada (+, -,+, -, +, ……) y tal que la sucesión de sus términos converge a 0.

Sin embargo esa serie no es numerable ("suma" +4).

Ocurre que la sucesión de valores absolutos de sus términos no converge monótona-mente a 0. Es decir, no verifica la condición suficiente para la sumabilidad que vimos ayer.

Definición:

Se dice que la serie 4n = 1xn es absolutamente sumable cuando es sumable la serie de términos positivos, 4n = 1|xn|

• Proposición:

Toda serie absolutamente sumable es sumable. (El recíproco no es cierto. Basta saber que 4n = 1(-1)n/n es sumable, pero 4n = 11/n no lo es)

• Demostración:

Supongamos que 4n = 1|xn| es sumable. Esto significa (condición de Cauchy) que ∀ ε > 0, ∑ υ ∃ N / q > p > υ ⇒ qn = p|xn| < ε (la sucesión de sumas parciales de aquella serie es de Cauchy). Pues bien, basta tener en cuenta que:

|qn = p xn| ≤ qn = p|xn| para obtener que también la serie 4n = 1xn verifica condición de Cauchy.

Teorema:

Si 4n = 1xn es absolutamente sumable entonces es incondicionalmente sumable (Recordemos que 4n = 1xn es incondicionalmente sumable (reordenable) cuando cualquiera que sea la biyección φ: N → N, 4n = 1xn es sumable y con la misma suma que la dada).

[Es más, absolutamente sumable ⇔ incondicionalmente sumable]

• Demostración:

Supongamos que 4n = 1xn es absolutamente sumable y que σ: N → N es una biyección.

Veremos primero que también 4n = 1xσ (n) es absolutamente sumable y segundo que tiene la misma suma que la dada.

1°.- Que 4n = 1xn es absolutamente sumable significa que: ∀ ε > 0, ∑ υ ∃ N / q > p > υ ⇒ qn = p|xn| < ε. Esto implica que 4n = υ|xn| ≤ ε (Recuérdese que la suma de la serie de términos positivos 4n = 1|xn| es el límite de (|xυ|,|xυ| + |xυ + 1|,|xυ| + |xυ + 1| + |xυ + 2|, …) el cual es igual, la sucesión es creciente, al sup {|xυ|,|xυ| + |xυ + 1|, ……}).

Por otra parte, como σ es una biyección, existe υ' ∈ N tal que {1, 2, ……, υ} ⊂ ∪ {σ (1), σ (2), …………, σ (υ)}, por tanto q > p > υ' ⇒ qn = p|xσ (n)| ≤ 4n = υ|xn| ≤ ε ⇒ 4n = 1|xσ (n)| verifica la condición de Cauchy.

2°.- Sea donde s la suma de 4n = 1xn y t la suma de 4n = 1xσ (n)

Queremos ver que s = t, o lo que es lo mismo, que ∀ ε > 0 |s - t| < ε

La clave de la demostración s = t está en la siguiente desigualdad:

|s - t| ≤ |s - nk = 1 xk| + |nk = 1 xk - mk = 1 xσ (n)| + |mk = 1 xσ (n)- t|

Dado ε > 0,

Por la definición de s, ∃ υ1 ∈ N /n > υ1 ⇒ |s - nk = 1 xk| < ε/3

Por la definición de t, ∃ υ2 ∈ N /n ≤ υ2 ⇒ ||mk = 1xσ (n)- t| < ε/3

Sabemos, además, que ∃ υ3 ∈ N 4n = υ 3|xn| < ε/3 (esto estaba en la primera parte)

Por tanto, si tomamos υ ∈ N tal que υ = máx. {υ1, υ2, υ3} y {1, 2, ……, υ3} ⊂

⊂ {σ(1), σ (2), ……, σ(υ)}entonces |nk = 1 xk - mk = 1 xσ (n)| ≤ 4n = υ 3|xn| < ε/3 ⇒ |s - t| < ε ( ∀ ε > 0)

Hemos probado que:

Absolutamente sumable ⇔ incondicionalmente sumable (reordenable)

También es cierto:

Sumable, no absolutamente sumable ⇒ no incondicionalmente sumable (no reordenable)

(condicionalmente sumable)

Para ver esto último se procede de la siguiente manera:

1°.- Se ve que si una serie es sumable, pero no absolutamente sumable, entonces tiene infinitos términos positivos e infinitos negativos.

2°.- La serie formada por los infinitos términos positivos (negativos) no es sumable ("suma" +4 y -4, respectivamente, como ocurre por ejemplo en4n = 1(-1)n/n)

3°.- La serie en cuestión, puede reordenarse de forma que la sucesión de sumas parciales tenga a cualquier intervalo cerrado como conjunto de valores de adherencia.

Criterios de sumabilidad o de convergencia para series de términos positivos:

Dada la serie 4n = 1xn, tal que xn > 0, (n ∈ N), se trata de saber si esa serie es sumable o no (no de calcular su "suma").

Una cuestión esencial en este asunto, es el hacho de que la sucesión de sumas parciales de una serie de términos positivos es monótona creciente.

Por tanto, es convergente si sólo si es acotada, si sólo si lo es alguna de sus subsucesiones.

Editor: Ricardo Santiago Netto (Administrador de Fisicanet)

Actualizado:

Ver condiciones para uso de los contenidos de fisicanet.com.ar

Éste sitio web usa cookies, si permanece aquí acepta su uso.

Puede leer más sobre el uso de cookies en nuestra política de privacidad.