Series numéricas · Tema 14

Introducción a las series numéricas

Cómo dar significado riguroso a una suma con infinitos términos mediante una sucesión de sumas parciales.

01 · Punto de partida

¿Es posible sumar infinitos números?

Una suma ordinaria termina después de una cantidad finita de operaciones. Una expresión como 1 + 1/2 + 1/4 + 1/8 + …, en cambio, no tiene un último sumando. No podemos completarla agregando términos uno por uno.

El análisis matemático resuelve el problema sin ejecutar una última suma inexistente: estudia qué ocurre con los resultados finitos a medida que incorporamos más términos.

  • ¿Qué objeto representa el símbolo de sumatoria infinita?
  • ¿Cuándo una serie posee una suma finita?
  • ¿Qué diferencia existe entre una sucesión y una serie?
  • ¿Cómo se aproxima una suma infinita con una computadora?
  • ¿Qué información falta en un valor numérico truncado?

02 · Dos objetos diferentes

Sucesión de términos y serie asociada

Una sucesión (aₙ) es una lista ordenada de números. La serie asociada propone acumularlos:

a1 + a2 + a3 + ··· = ∑n=1∞ an

Sucesión

(aₙ)

Observa cada término individual: a₁, a₂, a₃, …

Serie

∑aₙ

Observa la acumulación de esos términos.

No deben confundirse. Por ejemplo, la sucesión aₙ=1 es convergente a 1, pero sus acumulaciones 1, 2, 3, … crecen sin límite.

03 · Lenguaje de sumatorias

Leer correctamente ∑

En la notación ∑, el índice indica dónde comienza el recorrido y el extremo superior indica dónde termina:

∑n=37 n² = 3²+4²+5²+6²+7²
n
Índice de sumación; es una variable auxiliar.
3
Primer valor que adopta el índice.
7
Último valor en una suma finita.
n²
Término general que se evalúa para cada índice.

Cambiar la letra del índice no cambia la suma: ∑aₙ y ∑aₖ describen lo mismo si conservan los mismos extremos y la misma regla.

function sumar(regla, inicio, fin) {
  let acumulado = 0;
  for (let n = inicio; n <= fin; n += 1) acumulado += regla(n);
  return acumulado;
}

console.log("Suma de cuadrados:", sumar(n => n ** 2, 3, 7));
console.log("Suma de recíprocos:", sumar(n => 1 / n, 1, 10));

04 · Construcción fundamental

La sucesión de sumas parciales

Dada una serie ∑aₙ, su suma parcial de orden N es:

SN = ∑n=1Nan = a1+a2+···+aN

Cada Sₙ es una suma finita bien definida. Al variar N obtenemos una nueva sucesión:

S1, S2, S3, …

Esta sucesión es el puente entre los temas anteriores y las series. Todo problema de convergencia de una serie se transforma en un problema de convergencia de sus sumas parciales.

05 · Definición formal

Convergencia y suma de una serie

La serie ∑aₙ converge a S cuando su sucesión de sumas parciales converge a S:

∑n=1∞an = S   ⇔   limN→∞SN = S

En términos de tolerancias:

∀ε>0   ∃N₀   ∀N≥N₀:   |SN−S|<ε

Si la sucesión (Sₙ) no tiene límite real finito, la serie diverge. Divergir puede significar crecer sin cota, oscilar o presentar otro comportamiento sin límite.

06 · Primer ejemplo

La mitad, la mitad de la mitad…

Consideremos la serie que comienza en n=0:

1 + 1/2 + 1/4 + ··· = ∑n=0∞(1/2)n

Sus primeras sumas parciales son 1, 1,5, 1,75, 1,875. Para una cantidad general de términos:

SN = ∑n=0N(1/2)n = 2−1/2N

Como 1/2ᴺ→0, resulta Sₙ→2. Por lo tanto, la serie converge y su suma es 2. El número 2 no se alcanza en una etapa finita: es el límite de las aproximaciones.

function parciales(regla, inicio, cantidad) {
  let suma = 0;
  return Array.from({ length: cantidad }, (_, i) => {
    const n = inicio + i;
    suma += regla(n);
    return { n, parcial: suma };
  });
}

console.log(parciales(n => 0.5 ** n, 0, 12));

07 · Tres interpretaciones

Acumular área, distancia o cambios

Las series aparecen cada vez que un total se descompone en contribuciones sucesivas:

Lecturas posibles de una misma estructura.
ContextoTérmino aₙSuma parcial Sₙ
MovimientoDesplazamiento del paso nPosición acumulada
FinanzasFlujo descontado del período nValor presente hasta N
AlgoritmosCosto de la etapa nTrabajo total hasta N
SeñalesContribución de un componenteReconstrucción parcial
ProbabilidadProbabilidad de un resultadoProbabilidad acumulada

La interpretación ayuda a detectar errores: sumar posiciones, por ejemplo, no representa lo mismo que sumar desplazamientos.

08 · Cuando no existe suma

Dos formas distintas de divergir

La expresión con puntos suspensivos no garantiza que exista un total finito.

Crecimiento sin cota

1+1+1+···

Sₙ=N, por lo que las sumas parciales crecen indefinidamente.

Oscilación

1−1+1−1+···

Las sumas parciales alternan entre 1 y 0; no poseen un único límite.

Una serie divergente no recibe una suma en el sentido ordinario de este curso. Existen métodos avanzados que asignan valores generalizados a algunas expresiones divergentes, pero esos valores no son límites de sumas parciales.

09 · Cancelación

Una serie telescópica elemental

La identidad 1/[n(n+1)] = 1/n−1/(n+1) hace que muchos términos se cancelen:

SN = ∑n=1N(1/n−1/(n+1)) = 1−1/(N+1)

Al escribir algunos términos se observa el telescopio:

(1−1/2)+(1/2−1/3)+···+(1/N−1/(N+1))

Solo sobreviven los extremos. Como 1/(N+1)→0, la serie suma 1.

function sumaTelescopica(N) {
  let suma = 0;
  for (let n = 1; n <= N; n += 1) suma += 1 / (n * (n + 1));
  return { N, aproximacion: suma, formula: 1 - 1 / (N + 1), error: 1 - suma };
}

console.log([5, 50, 500].map(sumaTelescopica));

10 · Aproximación

El resto o cola de una serie convergente

Si la serie converge a S, al detenernos en N términos obtenemos Sₙ. La parte todavía no acumulada es el resto:

RN = S−SN = ∑n=N+1∞an

El valor absoluto |Rₙ| es el error de truncamiento. Converger significa precisamente que este error puede hacerse menor que cualquier tolerancia eligiendo suficientes términos.

Serie geométrica de razón 1/2 y suma 2.
Último índice NSₙ|Rₙ|
31,8750,125
71,99218750,0078125
151,99996948240,0000305176

11 · Operaciones válidas

Linealidad de series convergentes

Si ∑aₙ=A y ∑bₙ=B convergen, y α,β son constantes, entonces:

∑n=1∞(αan+βbn) = αA+βB

La razón está en las sumas parciales: cada suma finita distribuye y extrae constantes, y luego las reglas de límites conservan esas operaciones.

La hipótesis de convergencia importa. Separar, reagrupar o restar expresiones divergentes puede producir manipulaciones inválidas del tipo ∞−∞.

12 · Criterio interno

La conexión con las sucesiones de Cauchy

Como los reales son completos, una serie converge si y solo si sus sumas parciales forman una sucesión de Cauchy. Para m>n:

Sm−Sn = an+1+an+2+···+am

Por lo tanto, la serie converge exactamente cuando las sumas de bloques suficientemente tardíos pueden hacerse arbitrariamente pequeñas:

∀ε>0   ∃N   ∀m>n≥N:   |an+1+···+am|<ε

Esta formulación no exige conocer de antemano la suma total y será la base conceptual de varios criterios posteriores.

13 · Implementación segura

Acumular términos con tolerancia y límite de trabajo

En software no puede evaluarse un límite literalmente. Se utiliza una regla de parada, un máximo de iteraciones y un informe explícito de lo que se comprobó.

function aproximarSerie(regla, { inicio = 1, tolerancia = 1e-10, maxTerminos = 100000 } = {}) {
  let suma = 0;
  for (let i = 0; i < maxTerminos; i += 1) {
    const n = inicio + i;
    const termino = regla(n);
    if (!Number.isFinite(termino)) throw new RangeError(`Término no finito en n=${n}`);
    suma += termino;
    if (Math.abs(termino) < tolerancia) return { suma, terminos: i + 1, motivo: "término pequeño" };
  }
  return { suma, terminos: maxTerminos, motivo: "máximo alcanzado" };
}

console.log(aproximarSerie(n => 0.5 ** n, { inicio: 0, tolerancia: 1e-12 }));

Detenerse porque el último término es pequeño es una heurística, no una garantía universal del error. Una serie puede tener términos diminutos y aun así acumular una cola importante. Las cotas de resto dependen de propiedades matemáticas específicas.

14 · Exploración interactiva

Laboratorio: construir sumas parciales

Elegí una serie y aumentá la cantidad de términos. El gráfico muestra la trayectoria de Sₙ, no la de los términos individuales.

EXPERIMENTO 14

Trayectoria del acumulador

∑(1/2)ⁿ

Resultados debajo.
Primera suma parcial1
Última suma parcial1,999998
Último término0,000002
ComportamientoSe aproxima a 2

Las sumas parciales se estabilizan cerca de 2.

Cada punto representa el total acumulado después de incorporar un término más.

15 · Comprensión

Confusiones frecuentes

«Una serie es lo mismo que su término general»

No. aₙ es el incremento individual; la convergencia de la serie depende de la sucesión Sₙ.

«Los puntos suspensivos son una operación»

No. La suma infinita adquiere significado mediante el límite de sumas parciales.

«Agregar más términos siempre mejora la aproximación»

Solo tiene sentido hablar de mejora si la serie converge; una serie oscilante puede alejarse y acercarse repetidamente.

«Una suma infinita nunca puede ser finita»

Puede serlo: infinitos términos decrecientes pueden acumularse hacia un número, como la serie geométrica de suma 2.

«Un término pequeño garantiza convergencia»

No. Es una evidencia local insuficiente; el próximo tema estudiará la condición necesaria sobre los términos.

«Muchos decimales implican exactitud»

Los decimales calculados no reemplazan una cota del resto ni controlan el error de redondeo.

16 · Práctica y síntesis

Ejercicios de comprensión

Ejercicio 1: términos y sumas parciales

Para aₙ=1/2ⁿ, con n≥1, calculá S₁, S₂, S₃ y S₄.

Ver solución

Los valores son S₁=1/2, S₂=3/4, S₃=7/8 y S₄=15/16. Cada suma parcial incorpora un nuevo término de la sucesión.

Ejercicio 2: reconocer divergencia

Describí las sumas parciales de 2−2+2−2+··· y decidí si la serie converge.

Ver solución

Las sumas parciales son 2, 0, 2, 0, …. Como oscilan entre dos valores y no poseen un único límite, la serie diverge.

Ejercicio 3: cancelación telescópica

Calculá la suma de ∑(1/n−1/(n+1)) desde n=2 hasta infinito.

Ver solución

La suma parcial es (1/2−1/3)+···+(1/N−1/(N+1))=1/2−1/(N+1). Al tomar el límite resulta 1/2.

Ejercicio 4: aproximación programada

Generá las primeras diez sumas parciales de ∑3/4ⁿ, comenzando en n=1.

Ver solución
let suma = 0;
const resultados = [];
for (let n = 1; n <= 10; n += 1) {
  suma += 3 / (4 ** n);
  resultados.push({ n, sumaParcial: suma });
}
console.log(resultados);

Las sumas parciales se acercan a 1. En este ejercicio, 3/4ⁿ significa 3·(1/4)ⁿ.

Ideas para recordar

  • Una serie acumula los términos de una sucesión.
  • La suma parcial Sₙ contiene solo una cantidad finita de términos.
  • La serie converge cuando la sucesión de sumas parciales tiene un límite real finito.
  • El valor de ese límite es, por definición, la suma de la serie.
  • Una serie puede divergir por crecimiento, oscilación u otra falta de límite.
  • El resto mide el error cometido al truncar una serie convergente.
  • Una simulación finita ilustra el comportamiento, pero no reemplaza la demostración.

En el próximo tema estudiaremos una condición que toda serie convergente debe cumplir: su término general tiene que tender a cero.