Infinite Series

Functions & Advanced Algebra

An infinite series is the sum of infinitely many terms of a sequence, which may converge to a finite value or diverge.

Visualization

Definition

An infinite series is what you get when you add up infinitely many numbers following a pattern; sometimes the total approaches a specific finite number, and sometimes it grows forever. Formally, $\sum_{n=1}^{\infty} a_n$ is defined as the limit of its partial sums: if $\lim_{n \to \infty} S_n = L$, the series converges to $L$, otherwise it diverges, and while the terms $a_n$ must approach $0$ for convergence, this alone is not sufficient. More generally, an infinite series is a formal expression $\sum a_n$ whose value, if it exists, is $\lim S_n$ in the underlying metric space; in a Banach space, absolute convergence ($\sum \|a_n\| < \infty$) implies convergence, and power series $\sum a_n x^n$ converge on open disks in $\mathbb{C}$, representing analytic functions within their radius of convergence.

Example

$1 + 1/2 + 1/4 + 1/8 + \ldots$ keeps going forever but sums to $2$, while $1 + 1 + 1 + 1 + \ldots$ also goes forever with a total that grows without end. $\sum 1/n^2 = 1 + 1/4 + 1/9 + \ldots$ converges to $\pi^2/6 \approx 1.645$, but $\sum 1/n = 1 + 1/2 + 1/3 + \ldots$ diverges (the harmonic series), even though both have terms approaching $0$. The exponential function's power series, $e^x = \sum_{n=0}^{\infty} x^n/n!$, converges for all $x \in \mathbb{C}$, enabling analytic continuation that defines $e^z$ for complex $z$ and connects to Euler's identity.

Key Insight

It seems impossible that adding infinitely many things could give a finite answer, but if the terms shrink fast enough, the running total settles down; infinite series are fundamental to calculus (Taylor and Maclaurin series represent functions as polynomials), Fourier analysis, and physics, letting us compute exact values for irrational quantities like $\pi$ and $e$. The study of infinite series gave rise to modern real analysis: Cauchy, Weierstrass, and Riemann formalized convergence to resolve paradoxes and provide rigorous foundations for calculus.