En matemáticas, una sucesión de Cauchy es una sucesión tal que la distancia entre dos términos se va reduciendo a medida que se avanza en la sucesión. Se llama así en honor al matemático francés Augustin Louis Cauchy (1805). El interés de las sucesiones de Cauchy radica en que en un espacio métrico completo todas las sucesiones de Cauchy son convergentes, siendo en general más fácil verificar que una sucesión es de Cauchy que obtener el punto de convergencia.

editar Sucesión de Cauchy de números reales

Una sucesión

x_1, x_2, x_3, \ldots

de números reales se dice que es de Cauchy, si para todo número real positivo ε > 0 existe un entero positivo N tal que para todos los números naturales m,n > N

|x_m - x_n| < \varepsilon,

donde las barras verticales denotan el valor absoluto.

De igual forma, se pueden definir sucesiones de Cauchy de números complejos.

editar Propiedades

Las sucesiones de Cauchy de números reales tienen las siguientes propiedades:

  1. Toda sucesión convergente es una sucesión de Cauchy.
  2. Toda sucesión de Cauchy está acotada
  3. Criterio de convergencia de Cauchy: Una sucesión de números reales es convergente si y sólo si es una sucesión de Cauchy. Es decir, el conjunto de los números reales es un espacio métrico completo.

Pueden verse demostraciones de las propiedades en Introducción al análisis matemático de una variable (Bartle, Sherbert, 2º edición, año 1996)

editar Sucesión de Cauchy en un espacio métrico

Formalmente, en un espacio métrico, una sucesión {xk} se dice de Cauchy si para todo \varepsilon > 0 existe un N en los naturales, tal que para todos n,m > N se verifica que la distancia entre dos términos d(xn,xm) es inferior a \varepsilon.

En Q las sucesiones de Cauchy no tienen porque ser convergentes.El ejemplo clásico es a(n) = (1 + 1 / n)n que es de Cauchy pero cuyo limite (e) no es racional. Al parecer de lo trivial del ejemplo anterior donde la sucesión de Cauchy no convergía, en espacios más abstractos pero no por eso menos familiares, como los espacios de funciones, demostrar la completitud a veces no es tan trivial; una de las razones de esto es que la completitud no se preserva necesariamente con homeomorfismos como pasa con la conexidad y la compacidad.