# Función continua de Cauchy

En matemáticas, una función continua de Cauchy (o también función regular de Cauchy) es un tipo especial de función continua entre espacios métricos (o espacios más generales). Las funciones continuas de Cauchy tienen la útil propiedad de que siempre pueden extenderse (exclusivamente) al espacio métrico completo de su dominio.

## Definición

Sean $X$ e $Y$ espacios métricos, y sea $f:X\to Y$ una función de $X$ sobre $Y.$ Entonces, $f$ es continua de Cauchy si y solo si, dada cualquier sucesión de Cauchy $\left(x_{1},x_{2},\ldots \right)$ en $X,$ la sucesión $\left(f\left(x_{1}\right),f\left(x_{2}\right),\ldots \right)$ es una sucesión de Cauchy en $Y.$

## Propiedades

Cada función continua uniforme también es continua de Cauchy. Por el contrario, si el dominio $X$ está totalmente acotado, entonces toda función continua de Cauchy es uniformemente continua. De manera más general, incluso si $X$ no está totalmente acotado, una función en $X$ es continua de Cauchy si y solo si es uniformemente continua en cada subconjunto totalmente acotado de $X.$
Cada función continua de Cauchy es continua. Por el contrario, si el dominio $X$ es un espacio métrico completo, entonces toda función continua es continua de Cauchy. De manera más general, incluso si $X$ no está completo, siempre que $Y$ esté completo, entonces cualquier función continua de Cauchy de $X$ a $Y$ se puede extender a una función continua (y por lo tanto, continua de Cauchy) definida en el espacio métrico completo de $X,$ necesariamente único.
Combinando estos hechos, si $X$ es compacto, entonces las aplicaciones continuas, las aplicaciones continuas de Cauchy y las aplicaciones uniformemente continuas en $X$ son todas iguales.

## Ejemplos y contra ejemplos

Dado que la recta real $\mathbb {R}$ está completa, las funciones continuas en $\mathbb {R}$ son continuas de Cauchy. Sin embargo, en el subespacio $\mathbb {Q}$ de los números racionales, las cosas son diferentes. Por ejemplo, defínase una función de dos valores de modo que $f(x)$ sea $0$ cuando $x^{2}$ sea menor que $2$ pero $1$ cuando $x^{2}$ sea mayor que $2$ (téngase en cuenta que $x^{2}$ nunca es igual a $2$ para cualquier número racional $x$). Esta función es continua en $\mathbb {Q}$ pero no es continua de Cauchy, ya que no se puede extender continuamente a $\mathbb {R} .$ Por otro lado, cualquier función uniformemente continua en $\mathbb {Q}$ debe ser continua de Cauchy. Para un ejemplo no uniforme en $\mathbb {Q} ,$, considérese que $f(x)$ sea $2^{x}$. Esta función no es uniformemente continua (en todo $\mathbb {Q}$), pero es continua de Cauchy (este ejemplo funciona igualmente bien en $\mathbb {R}$).
Una sucesión de Cauchy $\left(y_{1},y_{2},\ldots \right)$ en $Y$ se puede identificar con una función continua de Cauchy de $\left\{1,1/2,1/3,\ldots \right\}$ a $Y,$ definida por $f\left(1/n\right)=y_{n}.$ Si $Y$ es completo, entonces esto se puede extender a $\left\{1,1/2,1/3,\ldots \right\};$. $f(x)$ será el límite de la sucesión de Cauchy.

## Generalizaciones

La continuidad de Cauchy tiene sentido en situaciones más generales que los espacios métricos, pero entonces hay que pasar de sucesiones a redes (o equivalentemente filtros). La definición anterior se aplica, siempre y cuando la sucesión de Cauchy $\left(x_{1},x_{2},\ldots \right)$ se reemplace con una red arbitraria. De manera equivalente, una función $f$ es continua de Cauchy si y solo si, dado cualquier espacio uniforme ${\mathcal {F}}$ en $X,$ entonces $f({\mathcal {F}})$ es una base de filtros de Cauchy en $Y.$ Esta definición concuerda con lo anterior en espacios métricos, pero también funciona para espacios uniformes y, de manera más general, para un espacio de Cauchy.
Cualquier conjunto dirigido $A$ puede convertirse en un espacio de Cauchy. Luego, dado cualquier espacio $Y,$ las redes de Cauchy en $Y$ indexadas por $A$ son las mismas que las funciones continuas de Cauchy desde $A$ hacia $Y.$ Si $Y$ está completo, entonces la extensión de la función a $A\cup \{\infty \}$ dará el valor del límite de la red. Esto generaliza el ejemplo de sucesiones anterior, donde 0 debe interpretarse como ${\frac {1}{\infty }}.$