Fisicanet ®

Sucesiones y series de números reales

Teorema de amplitud de ℜ

Toda sucesión de Cauchy en ℜ es convergente (el espacio métrico ℜ d(x, y) = |x - y| es completo).

• Demostración:

Sea (xn) de Cauchy. Entonces es acotada y, por tanto, tiene algún valor de adherencia. Con lo que acabamos de ver, bastará probar que ese valor de adherencia es único.

Supongamos que a y b fueran valores de adherencia distintos de (xn). Sea ε = |a - b|/3

En ]a - ε, a + ε[ y en ]b - ε, b + ε[ hay infinitos términos de la sucesión.

Por tanto, existen infinitos p, q ∈ N tales que: |xp-xq| > ε y xn no sería de Cauchy.

Definición:

Se dice (xn) es monótona creciente (decreciente) cuando, ∀ n ∈ N, xn ≤ xn + 1 (respectivamente xn ≥ xn + 1), la monotonía se dice que es estricta cuando el signo es < (respectivamente >)

• Proposición:

Toda sucesión monótona y acotada es convergente. Además, si es creciente lim (xn) = sup {xn/n ∈ N}, si es decreciente lim (xn) = inf. {xn /n ∈ N}

• Demostración:

Supongamos que (xn) es creciente y acotada. Sea a el sup {xn /n ∈ N}

Esquema de una sucesión monótona y acotada

De la definición de sup. se sigue que:

n > υ ⇒ a - ε < xn ≤ a

|xn - a| < ε (c.q.d.)

Notación:

lim (xn) = a ⇔ (xn) → a

Para indicar que (xn) es creciente y que a es su límite se puede escribir: (xn) ↗ a.

Para indicar que es decreciente y que a es su límite: (xn) ↘ a.

Supongamos que (xn) es acotada, además tiene algún punto de adherencia.

El conjunto de los valores de adherencia es por tanto acotado. Además el conjunto de los valores de adherencia de cualquier sucesión es un conjunto acotado (podría ser Ø).

Por tanto, el conjunto de los valores de adherencia de una sucesión acotada es un conjunto no vacío, cerrado y acotado (compacto).

Por ser ese conjunto compacto y no vacío existen el mínimo y el máximo de sus adherentes. Por definición, este mínimo y máximo son el límite inferior y el límite superior de (xn).

Ejemplo n° 1

Supongamos que (xn) es una sucesión acotada.

Demostrar que límite inferior (xn) = sup {inf{x0, x1, x2, ……}, inf{x1, x2, ………}, inf{x2, …} …}

lim sup (xn) = inf {sup {x0, x1, …}, sup {x1, x2, …}, sup {x2, x3, ………} …}

Indicación:

Por ser xn acotada existen esos inf's y sup's la sucesión (inf{x0, x1, …}, inf{x1, x2, …} …) es monótona creciente.

Suponemos: lim inf (xn) = sup [inf {x0, x1, x2, …}, inf {x1, x2, …} …] = α

Todos los inf's están en (-4, α) y en (α + ε, α) hay algún inf pues sino, α no sería el límite, pero al ser la sucesión de inf's es creciente, en este último intervalo están todos los inf's salvo finitos. Falta Acabarlo.

Algunos ejemplos interesantes de límites:

∀ a > 0, lim na = 1

Si a = 1 evidente.

Si a > 1 escribimos xn = na - 1

Se trata de probar que (xn) → 0

(xn + 1)n = 1 + (n1) xn + (n2) xn² + ……… > 1 + n·xn ⇒ xn < (a - 1)/n → 0

Ejemplo n° 2

Verlo para a < 1 (Indicación: tomar 1/a)

lim nn = 1

n = (nn - 1 + 1)n = 1 + (n1)·(nn - 1) + (n2)·(nn - 1)² + …… > 1 + [n·(n - 1)/2]·(nn - 1)² ⇒ 0 ≤ (nn - 1)² ≤ 2/(n + 1) → 0

Ejemplo n° 3

Ver que (nn - 1)² → 0 ⇒ (nn - 1) → 0

Dice que la "exponencial" puede con la "potencial": el producto de ambas va a donde manda la exponencial. Si p < 0 evidente. Si p > 0 el numerador va a +4 y el denominador también.

np (1/an) → 0

b, p > 0, np/(1 + b)n → 0

Falta acabarlo.

Límites infinitos:

Aunque cuando hablamos de la convergencia, o del límite, de una sucesión, dicha convergencia o dicho límite, es a (un) n° real, a veces también se habla de convergencia a +4 ó -4 (de límites infinitos) El contexto suele dejar claro si se están admitiendo "límites infinitos".

Definición:

(xn) converge a +4 (-4) cuando,

∀ ρ ∈ ℜ, ∑ υ ∃ N /n > υ ⇒ xn > ρ (respectivamente xn < ρ)

Ejemplos:

(1, 2, 3, ……) → +4

(1, 3, 2, 4, 3, 5, 4, 6, 5, 7, 6, 8, ………) → +4

La primera de esas sucesiones es monótona creciente y no acotada, es evidente que cualquier sucesión de este tipo "converge" a +4.

La segunda no es monótona.

(1, 2, 1, 3, 1, 4, ……) no converge a nada, ni a un número, ni a +4 ni a - 4.

Por lo mismo, a veces se admiten como valores de adherencia (en particular, como "límite inf" ó "límite sup") a +4 y -4.

Definición:

+4 (-4) es valor de adherencia de (xn) cuando, ∀ ρ ∈ ℜ, ∀ υ ∈ N, ∃ n > υ / xn > ρ (respectivamente xn < ρ)

Si un sucesión es no acotada superiormente (inferiormente) su límite superior (inferior) es +4 (-4).

lim sup (1, 2, 1, 3, 1, 4, ……) = +4

lim inf (1, 2, 1, 3, 1, 4, ……) = 1

lim inf (1, 2, 3, ………) = +4 porque sólo tiene como valor de adherencia +4 = lim sup. (1, 2, 3, …)

Con este acuerdo (admitir +4 y -4 como posibles valores de adherencia), se verifica:

R¯ = ℜ ∪ {-4, +4}

Es muy fácil ver que:

(xn) → +4, (yn) → a (-4 < a ≤ +4) ⇒ (xn + yn) → +4

(xn) → +4, (yn) es acotada inferiormente ⇒ (xn + yn) → +4

(xn) → +4, (yn) → a (a ≠ 0) ⇒ (xn·yn) → +4 si 0 < a ≤ +4

-4 si -4 ≤ a < 0

(xn) → +4, (yn) está acotada inferiormente por a > 0 (superiormente por a < 0) ⇒ (xn·yn) → +4 (respectivamente -4)

Sin embargo,

Si (xn) → +4 e (yn) → -4, entonces a (xn + yn) le puede pasar cualquier cosa.

Ejemplos:

(xn) = (1, 2, 3, ……), (yn) = (-1, -2, -3, …), (xn + yn) = (0, 0, 0, ……) → 0

(xn) = (1, 2, 3, ……), (yn) = (-2, -4, -6, …), (xn + yn) = (-1, -2, -3, ……) → -4

(xn) = (1, 2, 3, …), (yn) = (-2, -1, -5, -2, -8, -3, ……), (xn + yn) = (-1, 1, -2, 2, -3, 3, …) no converge a nada.

Si (xn) → +4 (-4) e (yn) → 0 entonces (xn + yn) cualquier cosa:

(1,2, 3, ……) (1, ½, ⅓, ……) = (1, 1, 1, ……) → 1

(1,2, 3, ……) (1, ½², ⅓², ……) = (1, ½, ⅓, ……) → 0

(1,2, 3, ……) (1, 1/2, 1/3, …) = (1, 2, 3, ……) → +4

(1, 2, 3, …) (1, ½², 1/3,¼², 1/5,1/6², 1/7, ……) = (1, ½, 3,¼, 5, ……)

Series numéricas:

Vamos a tratar de dar sentido a las sumas infinitas (infinitos numerables sumandos).

x1 + x2 + ………… + xn + …… donde los xk son números reales.

Para ello sea (xn) una sucesión de números reales a partir de ella construimos la sucesión de sumas parciales de aquella:

(x1, x1 + x2, x1 + x2 + x3, ……), la cual se suele llamar serie de términos (x1, x2, x3, …) y denotar: 4n = 1xn.

Definición:

La serie 4n = 1xn se dice sumable, o convergente, a a ∈ ℜ cuando la sucesión de sumas parciales (x1, x1 + x2, x1 + x2 + x3 …) es convergente a a.

Es decir, cuando, ∀ ε > 0, ∑ υ ∃ N /n > υ ⇒ |nk = 1 xk - a| < ε

• Proposición:

4n = 1 es sumable si sólo si es de Cauchy, es decir, tal que,

∀ ε > 0, ∑ υ ∃ N / υ < p < q ⇒ |qk = p xk| < ε

• Demostración:

Si 4n = 1xn es sumable entonces:

∀ ε > 0, ∑ υ ∃ N /n > υ ⇒ |nk = 1 xk - a| < ε,

Es decir, es convergente a a, por consiguiente es de Cauchy, así pues:

∀ ε > 0, ∑ υ ∃ N / p, q > υ ⇒ |qk = p xk| < ε

Corolario:

Condición necesaria para que la serie 4n = 1xn sea sumable es que la sucesión de sus términos converja a cero, lim (xn) = 0.

• Demostración:

Tómese q = p es la proposición anterior (Verlo)

4n = 1xn es sumable ⇒ (xn) → 0

Veamos que el recíproco no se da en alguno de los ejemplos que siguen:

Ejemplos:

1) (xn) = (1, 1, 1, ……) la sucesión de sumas parciales es (1, 2, 3, ……)

2) (xn) = (1, -1, 1, -1, …) la sucesión de sumas parciales es (1, 0, 1, 0, 1, 0, ……) no convergente. En otras palabras, la serie 4n = 1(-1)n + 1 no es sumable.
En ambos casos (xn) no converge a 0, en el 1° converge a 1 y en el segundo no converge a nada, pues lim inf ≠ lim sup

3) 4n = 1½n Como hemos dicho, será sumable si la sucesión de sumas parciales (nk = 1½k) es convergente (2, ½ + ¼, ½ + ¼ + ⅛, …). El término n-ésimo de estas sumas parciales es la suma de una progresión geométrica de primer término ½ y razón ½

nk = 1 ½k = ½ + ½² + ½³ + …… + ½n = (1er término - siguiente al último)/(1-razón) = (½ - ½n + 1)/ ½ = 1 - ½n → 1

La serie 4n = 1½n es sumable y su suma es 1.

Naturalmente (½n) → 0

Ejemplo n° 4

Estudiar la sumabilidad de las series geométricas 4n = 0 a·rn, donde a, r ∈ ℜ. Si a = 0 evidente.

Si a ≠ 0 ver que la serie es sumable si sólo si |r| < 1. Ver que, en dicho caso, la suma es a/(1 - r).

(a·r, a·r + a·r², a·r + a·r² + a·r³, ……) El término n-ésimo de estas sumas parciales es la suma de una progresión geométrica:

nk = 1 a·rk = a·r + a·r² + ……… + a·rn = (a·r - a·rn + 1)/(1 - r) = (a/(1 - r)) (r - rn + 1) se utiliza |r| < 1 → a/(1 - r)

4) la serie armónica:

4n = 11/n se verifica que 1/n → 0, luego puede ser sumable.

A diferencia del caso anterior, no conocemos una fórmula que nos diga cuanto vale.

1 + ½ + ……… + 1/n = nk = 1 1/k

1 + ½ + ⅓ + ¼ + ⅕ + ⅙ + ⅐ + ⅛ + ⅑ + …… + 1/15 + 1/16 + 1/17

S1 = 1 > ½

S2 = 1 + ½ > 2/2

S4 > 3/2

S8 > 4/2

S16 > 5/2

Sn > (n + 1)/2

Por otra parte como los términos de esta serie son positivo, la sucesión de sumas parciales es monótona creciente: S1 < S2 < S3 < … y ocurre que sustracción S1 < S2 < S4 < S8 < … va a +4 Luego (Sn) va a +4 ⇒ la serie no es sumable.

Este ejemplo de serie armónica nos falla para poder afirmar que (xn) → 0 no implica 4n = 1xn sumable

La serie 4n = 1xn es sumable o convergente, cuando su sucesión de sumas parciales: (s1, s2, s3, ……) = (x1, x1 + x2, x1 + x2 + x3, ………) es convergente. En dicho caso, al límite de esta sucesión se llama suma de serie y se suele representar de la misma forma que la serie 4n = 1xn

Ya el contexto dice de lo que hablamos es la serie, o caso de ser sumable de su suma.

Vimos que: 4n = 1xn es sumable ⇔ (xn) → 0 y que el recíproco es falso.

Ejemplo n° 5

La serie armónica 4n = 11/n no es sumable, aunque (1/n) → 0

Un ejemplo sorprendente: La serie 4n = 11/n "n sin ceros" la expresión decimal de n no tiene ningún cero: 1 + ½ + …… + ⅑ + 1/11 + …… + 1/99 + 1/111 + 1/112 + ………

Pues bien ocurre que la serie armónica "suma" +4 (no es sumable) mientras que esta sí lo es y su suma es menor que 90.

Veámoslo:

Términos 1/n con n de una cifra hay 9, todos ≤ 1

Términos 1/n con n de dos cifras hay 9², todos < ⅒

Términos 1/n con n de tres cifras hay 9³, todos < 1/100

……………………………………………………………………………

Sea (s1, s2, ……) la sucesión de sumas parciales de la serie. Como los términos son positivos, la sucesión es creciente s1 < s2 < s3 < … Por tanto, es sumable si sólo si es acotada. Es acotada si sólo si lo es alguna de la sucesión:

S9 < 9, s9 + 9² < 9 + 9²/10, s9 + 9²+9³ < 9 + 9²/10 + 9³/100, sn < 9 + 9²/10 + … + 9n/10n - 1, esto es una progresión geométrica de primer término 9 y de razón 9/10.

(9-9n + 1/10n)/(1 - 9/10) → n → 4 9/(1-9/10) ⇒ lim (S9+ …… +9n) = sup {s9+ …… + 9n /n ∈ N} < 90

lim Sn ⇒ sup {sn /n ∈ N} < 90

Es desconcertante porque parece que quitamos pocos términos, de los 9 primeros no quitamos ninguno, de los 90 siguientes 9, de los 900 siguientes 171, …………

Ejemplo n° 6

Sabiendo que 4n = 11/n no es sumable ("suma" +4) ver que tampoco es 4n = 11/(an + b), donde a, b > 0

Indicación, la sucesión de sumas parciales de esto es creciente como la de la anterior. En las sucesiones convergentes es lo mismo que ser acotada.

¿Qué ocurre en la sucesión armónica generalizada 4n = 11/np?

Si p < 1 1/n < 1/np luego 1 + ½ + …… + 1/n < 1 + ½p + …… + 1/np

Si p ≤ 1 la serie no es sumable ("suma" +4)

Si p > 1 tenemos 1/np < 1/n aquel argumento no vale (el que la grande vaya a +4 no implica nada). Vamos a ver que cuando p > 1 4n = 11/np es sumable.

1 + ½p + ⅓p + ¼p + 1/5p + ⅙p + ⅐p + p + …… + 1/15p + 1/16p + …… + 1/31p + …

S1 = 1

S1 + 2 < 1 + 2/2p

S1 + 2 + 2² < 1 + 2/2p + 4/4p

…………………………………

S1 + 2 + …… + 2n < 1 + ½p - 1 + ¼p - 1 + ⅛p - 1 + … + 1/(2p - 1)n = 1 + 1/(2p - 1) + 1/(2p - 1)² + … + 1/(2p - 1)n = [1 - 1/(2p - 1)n + 1]/(1 - 2p - 1) → n → 4 1/(1 - 2p - 1)

Progresión geométrica de primer término 1 y de razón ½p - 1 < 1, luego la sucesión (s1 + 2 + … + 2n) es acotada ⇒ (sn) es creciente y acotada ⇒ es convergente.

Una cosa que nos olvidamos ver en el capítulos de sucesiones:

Esquema de una sucesión creciente y acotada

xn ∈ ]a - 1/n, a + 1/n[, xn ≠ x1, x2, x3, ……, xn-1

Autor: Daniel Fernández

España.

Editor: Ricardo Santiago Netto (Administrador de Fisicanet)

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.