Cauchy sequence

Cauchy sequence
Krishnavedala · CC0 · source
Name	Cauchy sequence
Field	Mathematics
Introduced by	Augustin-Louis Cauchy
Year	19th century

Cauchy sequence A Cauchy sequence is a sequence whose elements become arbitrarily close to each other as the sequence progresses, ensuring internal convergence behavior without reference to an external limit. It plays a central role in analysis and topology, informing notions of completeness used across mathematics and theoretical physics. The concept is foundational in rigorous treatments developed in the 19th century and appears in contexts ranging from number theory to functional analysis.

Definition

A sequence (x_n) in a metric space (X, d) is Cauchy if for every ε > 0 there exists N such that for all m, n ≥ N one has d(x_m, x_n) < ε. This formulation was formalized during the consolidation of analysis in the 19th century by figures such as Augustin-Louis Cauchy, Karl Weierstrass, Bernhard Riemann, Georg Cantor, and later used by David Hilbert in foundational work. The definition is equivalent in normed vector spaces and generalizes to uniform spaces studied by André Weil and John von Neumann.

Examples

Simple numerical examples include rational sequences converging in École Polytechnique-era calculus contexts: a rational sequence approximating √2 is Cauchy in École Normale Supérieure-related pedagogy but fails to converge within the rationals, a point emphasized in writings by Richard Dedekind, Leopold Kronecker, and Ernst Zermelo. In function spaces, Fourier series examples from Joseph Fourier and counterexamples influenced by Niels Henrik Abel and Sofia Kovalevskaya illustrate pointwise versus uniform Cauchy behavior. Sequences in Hilbert spaces used in quantum theory, as in work by Paul Dirac and Werner Heisenberg, provide Cauchy sequences arising from orthonormal expansions. Iterative methods from numerical analysis, developed by researchers at institutions like Baker Hughes and concepts used by Norbert Wiener, also produce algorithmic Cauchy sequences.

Properties

Cauchy sequences are necessarily bounded, a fact employed in classical theorems associated with Carl Friedrich Gauss and Joseph-Louis Lagrange in analysis of series and approximation. Every convergent sequence is Cauchy, as exploited in proofs by Augustin-Louis Cauchy and Karl Weierstrass, while the converse depends on completeness properties examined by Richard Dedekind and Georg Cantor. Subsequence behavior interacts with compactness results attributed to Maurice Fréchet, Émile Borel, and Felix Hausdorff; compact metric spaces, as studied by Henri Lebesgue and Élie Cartan, ensure every sequence has a convergent subsequence and hence Cauchy subsequences. Operations on Cauchy sequences—addition, scalar multiplication—preserve the Cauchy property in normed settings, a principle used in functional analysis by Stefan Banach and John von Neumann.

Cauchy sequences in metric and normed spaces

In metric spaces introduced in the context of topology by Maurice Fréchet and Felix Hausdorff, the Cauchy notion depends solely on the metric; examples on manifolds touched by Bernhard Riemann and in Banach spaces explored by Stefan Banach show diverse behaviors. In normed vector spaces central to functional analysis—developed by Stefan Banach, John von Neumann, and Marshall Stone—Cauchy sequences correspond to Cauchy nets and filters in general topology from work by Andrey Kolmogorov and Pavel Urysohn. Inner product spaces studied by David Hilbert give rise to orthonormal expansions where Cauchy sequences guarantee convergence in the Hilbert norm, a cornerstone in the mathematical formulations used by Paul Dirac and John von Neumann in quantum mechanics.

Completeness and completion

A metric space is complete if every Cauchy sequence converges in that space, a notion formalized by Georg Cantor and Richard Dedekind in constructing completions like the real numbers. The construction of a completion—extending a noncomplete space to a complete one by equivalence classes of Cauchy sequences—parallels Dedekind cuts in work by Richard Dedekind and the completion of rational numbers to reals used by Karl Weierstrass. Completions are central in modern developments by Stefan Banach (Banach spaces), John von Neumann (Hilbert spaces), and categorical treatments by Saunders Mac Lane and Samuel Eilenberg.

Applications and significance

Cauchy sequences underpin real analysis foundations in textbooks influenced by Augustin-Louis Cauchy, Karl Weierstrass, and Richard Dedekind and support numerical methods in computational mathematics used at institutions like Los Alamos National Laboratory and Institute for Advanced Study. They are essential in proofs of theorems by Bernhard Riemann and Henri Lebesgue concerning integrability and series, and in functional analysis applications in signal processing and quantum theory linked to Paul Dirac, Werner Heisenberg, and John von Neumann. In modern algebraic and analytic number theory, concepts related to Cauchy sequences appear in p-adic analysis developed by Kurt Hensel and in rigid analytic geometry connected to Jean-Pierre Serre and Alexander Grothendieck.

Category:Sequences