Archivo de la etiqueta: funciones uniformemente continuas

Cálculo Diferencial e Integral I: Continuidad uniforme

Por Juan Manuel Naranjo Jurado

Introducción

En las entradas anteriores nos enfocamos en estudiar la definición de continuidad y sus propiedades. Especialmente, los teoremas revisados empleaban fuertemente el concepto de continuidad en un intervalo. En esta entrada haremos la revisión de un tipo de continuidad aún más exigente: la continuidad uniforme.

Primero recordemos que una función es continua en un intervalo $A$ si lo es para cada uno de sus elementos. Es decir,

$$\lim_{x \to y} f(x) = f(y) \quad \forall y \in A.$$

En términos de la definición del límite, lo podemos ver de la siguiente forma: Dado $\varepsilon > 0$ y $y \in [a,b]$, existe $\delta > 0$ tal que para todo $x \in A$ tal que $0 < |x – y| < \delta$ se satisface que $|f(x)-f(y)| < \varepsilon$. Es importante enfatizar que, en general, el valor de $\delta$ dependerá tanto de $\varepsilon$ como de $y$.

Analicemos con mayor detalle los siguientes ejemplos:

$$f(x) = x, \quad g(x) = x^2.$$

Ambas funciones son continuas en todo $\mathbb{R}$. Consideremos $y \in \mathbb{R}$ y calculemos el valor de $\delta$ en términos de un valor dado $\varepsilon > 0$ para probar la continuidad en $y$.

Para la función $f$, consideremos $\delta = \varepsilon$. Si $0<|x-y| < \delta$, entonces

$$|f(x) -f(y)| = |x-y| < \delta = \varepsilon.$$

Para $g$, el valor de delta anteriormente dado no funciona. En este caso, como se probó en una entrada anterior, podemos considerar $\delta’ = min \{ 1, \frac{\varepsilon}{1+2|y|} \}$. Si $0 < |x-y| < \delta’$, entonces

\begin{align*}
|x^2-y^2| & = |x-y||x+y| \\ \\
& < |x-y|(1+2|y|) \\ \\
& < \delta’ (1+2|y|) \\ \\
& \leq \frac{\varepsilon}{1+2|y|} \cdot (1+2|y|) \\ \\
& = \varepsilon.
\end{align*}

Podemos observar que el valor de $\delta$ para $f$ depende únicamente de $\varepsilon$, mientras que para la función $g$, depende tanto de $\varepsilon$ como de $y$. Esto debido a que $g$ tiene cambios más «drásticos» que $f$.

Continuidad uniforme

Motivado directamente de lo anterior, si $\delta$ funciona para cualesquiera $x$, $y$, es decir, no depende de $y$, entonces tenemos la siguiente definición.

Definición. Sea $f: A \to \mathbb{R}$. Se dice que $f$ es uniformemente continua en $A$ si para todo $\varepsilon > 0$ existe $\delta > 0$ tal que para cualesquiera $x$, $y \in A$ que satisfacen $|x-y| < \delta$, entonces $|f(x) – f(y)| < \varepsilon$.

De la definición se sigue que toda función uniformemente continua es continua. Sin embargo, el recíproco no es cierto y como contraejemplo tenemos la función $g(x) = x^2$ que, como se vio al inicio, no es uniformemente continua en $\mathbb{R}$, pero sí es continua. Considerando esto, vale la pena mencionar algunos criterios que permiten identificar cuando una función $f$ no es uniformemente continua.

Criterios de no continuidad uniforme. Sea $f: A \to \mathbb{R}$. Entonces los siguientes enunciados son equivalentes.

  1. $f$ no es uniformemente continua en $A$.
  2. Existe $\varepsilon_0 > 0$ tal que para todo $\delta > 0$ existen los puntos $x_\delta$, $y_\delta$ en $A$ tales que $|x_\delta – y_\delta| < \delta,$ pero $|f(x_\delta) – f(y_\delta)| \geq \varepsilon_0$.
  3. Existe $\varepsilon_0 > 0$ y dos sucesiones $\{x_n\}$, $\{y_n\}$ tales que $\lim\limits_{n \to \infty} (x_n-y_n) = 0$ y $|f(x_n)-f(y_n)| \geq \varepsilon_0$ para todo $n \in \mathbb{N}$.

Ahora revisaremos un teorema que nos servirá para saber en qué momento se tiene continuidad uniforme en un intervalo de la forma $[a,b]$.

Teorema de continuidad uniforme. Si $f$ es continua en un intervalo acotado y cerrado $[a,b]$, entonces $f$ es uniformemente continua.

Demostración.

Supongamos que $f$ no es uniformemente continua en $[a, b]$. Entonces existe $\varepsilon_0 > 0$ y dos sucesiones $\{x_n\}$ y $\{y_n\}$ en $[a,b]$ tales que $|x_n-y_n| < \frac{1}{n}$, pero $|f(x_n)-f(y_n)| \geq \varepsilon_0$ para todo $n \in \mathbb{N}$.

Dado que $[a, b]$ está acotado, la sucesión $\{x_n\}$ también está acotada. De esta forma, por el teorema de Bolzano-Weierstrass, existe una subsucesión $\{ x_{n_k} \}$ de $\{x_n\}$ que converge a un real $z$. Además, como $[a, b]$ es un intervalo cerrado, el límite $z$ pertenece al intervalo. Notemos que para la subsucesión $\{y_{n_k}\}$, se tiene que

$$|y_{n_k} – z| \leq |y_{n_k} – x_{n_k}| + |x_{n_k} – z|.$$

Por lo que se sigue que $\{y_{n_k} \}$ también converge a $z$.

Además, si $f$ es continua en el punto $z$, entonces las subsucesiones $\{f(x_{n_k}) \}$ y $\{f(y_{n_k}) \}$ convergen a $f(z)$. Pero esto es una contradicción, pues $|f(x_n)-f(y_n)| \geq \varepsilon_0$ para todo $n \in \mathbb{N}$.

Así, la hipótesis de que $f$ no es uniformemente continua en el intervalo acotado y cerrado $[a, b]$ implica que $f$ no es continua en algún punto $z \in [a,b]$. Por tanto, concluimos que si $f$ es continua en todo punto del intervalo $[a, b]$, entonces $f$ es uniformemente continua.

$\square$

Retomando el ejemplo $g(x) = x^2$, $g$ no es uniformemente continua en $\mathbb{R}$, sin embargo, sí es uniformemente continua en cualquier intervalo $[a,b]$ puesto que podríamos usar $\delta = min \{ 1, \frac{\varepsilon}{1+2 max\{|a|, |b| \}} \}$ y este valor ya no dependería de $y$.

Funciones Lipschitz

Probar mediante la definición que una función es uniformemente continua puede ser una tarea difícil. Por ello, revisaremos una condición que, de cumplirse, nos facilitará este problema.

Definición. Sea $f: A \to \mathbb{R}$. Si existe una constante $K > 0$ tal que
$$|f(x) – f(y)| \leq K|x-y|$$

para todo $x$, $y \in A$, entonces se dice que $f$ es un a función de Lipschitz en $A$.

La definición anterior nos permite clasificar a las funciones que cumplen que

$$\frac{|f(x) – f(y)|}{|x-y|} \leq K, \quad x \neq y.$$

Observemos que la expresión anterior es justamente la pendiente de la recta que pasa por los puntos $(x, f(x))$ y $(y, f(y))$. Así, podemos interpretar que una función es de Lipschitz si la pendiente de la recta formada por cualesquiera dos puntos en $f$ está acotada por algún valor $K$.

Teorema. Si $f: A \to \mathbb{R}$ es una función de Lipschitz, entonces $f$ es uniformemente continua.

Demostración.

Sea $\varepsilon > 0$.

Como $f$ es una función de Lipschitz, existe $K > 0$ tal que $|f(x) – f(y)| \leq K|x-y|.$

Consideremos $\delta = \frac{\varepsilon}{K}$. Si $|x-y| < \delta$, entonces se tiene que

\begin{align*}
|f(x)-f(y)| & < K|x-y| \\
& < K \frac{\varepsilon}{K} \\ 
& = \varepsilon.
\end{align*}

Por tanto, $f$ es uniformemente continua.

$\square$

Revisemos un ejemplo donde se prueba continuidad uniforme a través del teorema anterior.

Ejemplo 1. La función $f(x) = x^2$ es uniformemente continua en $A = [0, b]$, con $b > 0$.

Demostración.

Notemos que

\begin{align*}
|f(x)-f(y)| & = |x^2 – y^2| \\
& = |x+y||x-y| \\
& \leq 2b |x-y|.
\end{align*}

$$\therefore |f(x)-f(y)| \leq 2b |x-y|.$$

Consideremos $K = 2b$. Como $f$ es de Lipschitz, entonces es uniformemente continua.

$\square$

Cabe resaltar que no toda función uniformemente continua es de Lipschitz, para probarlo veamos el siguiente ejemplo.

Ejemplo 2. La función $f(x) = \sqrt{x}$ es uniformemente continua en $A = [0,2]$, pero no es de Lipschitz.

Demostración.

Como $f$ es continua en el intervalo cerrado y acotado $[0,2]$, entonces $f$ es uniformemente continua.

Consideremos $x$, $y \in A$ con $y = 0$, $x \neq 0$ y supongamos que existe $K > 0$ tal que $|g(x)-g(0)| \leq K|x – 0|$, es decir $|g(x)| < K|x|$. Entonces

\begin{gather*}
& |\sqrt{x}| < K |x|. \\ \\
\Rightarrow & \sqrt{x} < K x. \\ \\
\Rightarrow & \frac{\sqrt{x}}{x} < K. \\ \\
\Rightarrow & \frac{1}{\sqrt{x}} < K.
\end{gather*}

Notemos que $\frac{1}{(K+1)^2} \in [0,2]$, de lo cual resulta una contradicción en la última expresión. Por tanto, $f$ no es de Lipschitz.

$\square$

Finalmente, veremos un ejemplo donde usamos los dos teoremas vistos en esta entrada con la finalidad de probar continuidad uniforme.

Ejemplo 3. Prueba que la función $f(x) = \sqrt{x}$ es uniformemente continua en $A = [0, \infty)$.

Demostración.

Del ejemplo anterior, sabemos que $f$ es uniformemente continua en el intervalo $[0,2]$. Ahora probaremos que también lo es en el intervalo $[1,\infty).$

Sean $x$, $y \in [1, \infty)$, entonces se tiene que

\begin{align*}
|g(x)-g(y)| & = | \sqrt{x}-\sqrt{y}| \\
& = | \sqrt{x}-\sqrt{y}| \cdot \frac{\sqrt{x}+\sqrt{y}}{\sqrt{x}+\sqrt{y}} \\
& = \frac{|x-y|}{\sqrt{x}+\sqrt{y}} \\
& \leq \frac{1}{2} |x-y|.
\end{align*}

Por lo tanto, $f$ es una función de Lipschitz en el intervalo $[1, \infty)$. Por lo que se sigue que es uniformemente continua en tal intervalo. Como $f$ es uniformemente continua en $[0,2]$ y $[1, \infty)$, entonces también lo es en $A = [0,2] \cup [1, \infty).$

$\square$

Más adelante…

En las siguientes entradas complementaremos el estudio de las funciones continuas revisando propiedades específicas relacionas con las funciones monótonas. Adicionalmente, responderemos una pregunta que surge de forma muy natural: si $f$ es una función continua, ¿qué sucede con su inversa?

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

  • Da un ejemplo de función que sea uniformemente continua.
  • Demostrar que la función $f(x) = \frac{1}{x}$ es uniformemente continua en $[a, \infty)$ siendo $a$ una constante positiva.
  • Prueba que la función $f(x) = \frac{1}{x^2}$ no es uniformemente continua en $(0, \infty)$. Sugerencia: Usa el criterio 3 de no continuidad uniforme y considera las sucesiones $\{ \frac{1}{n} \}$ y $\{ \frac{1}{n+1} \}.$
  • Demuestra que si $f$ y $g$ son funciones uniformemente continuas en $A \subset \mathbb{R}$, entonces $f+g$ también es uniformemente continua en $A.$
  • Demuestra que si $f$ y $g$ son funciones uniformemente continuas en $A \subset \mathbb{R}$ y ambas están acotadas en $A$, entonces $f \cdot g$ es uniformemente continua en $A.$

Entradas relacionadas

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»