Introducción

La idea de continuidad es uno de los conceptos estructurales de la Topología y el Análisis Matemático. Al hablar de esta idea generalmente asociamos el concepto con la ininterrupción de la gráfica de una función, lo cual es claro cuando trabajamos con funciones reales definidas en algún intervalo, intuitivamente pensamos en la ininterrupción de una función considerando que para cualquier punto $z$ en el dominio de una función $f$, se tendrá que $f(x)$ no estará muy separada de $f(z)$ siempre que $x$ se mantenga lo suficientemente cerca de $z$ en el dominio. Pero, ¿qué pasa con las funciones que cuya gráfica no podemos visualizar? Hablar de continuidad para los espacios métricos resulta de gran importancia, ya que mediante la definición de métrica resulta posible generalizar el concepto de continuidad para funciones de ${\mathbb{R}}^n$ en ${\mathbb{R}}^m$, con lo cual podemos responder nuestra pregunta y obtener así una idea clara y general sobre lo que es la continuidad.

En esta entrada abordaremos el concepto de continuidad entre espacios métricos desde una perspectiva general, además de establecer la estrecha relación que existe entre los conceptos de sucesión, límite y continuidad, para obtener así una serie de resultados que nos permitirán caracterizar al espacio métrico $(\mathbb{C},d)$, con $d$ la métrica euclidiana, y facilitar nuestro estudio de la continuidad entre funciones complejas que estudiaremos a detalle en la siguiente unidad.

Continuidad en espacios métricos

Definición 9.1. (Continuidad.)
Sean $(X,d_X)$ y $(Y,d_Y)$ dos espacios métricos y sea $A\subset X$. Una función $f:A\to Y$ se dice que es continua en $a\in A$ si para todo $\epsilon >0$ existe algún $\delta >0$ (que depende de $a$ y $\epsilon$) tal que:
$$d_Y(f(x),f(a))<\epsilon \text{si}{d}_X(x,a)<\delta .$$ Decimos que $f$ es continua en $A$ si es continua en todo punto de $A$.

Lema 9.1.
Sea $f:X\to Y$ una función arbitraria y sean $A\subset X$ y $B\subset Y$. Entonces:
$$f(A)\subset B\text{si y solo si}A\subset f^{-1}(B).$$

Demostración. Se deja como ejercicio al lector.

Proposición 9.1
Sean $(X,d_X)$ y $(Y,d_Y)$ espacios métricos y sea $f:(X,d_X)\to (Y,d_Y)$ una función. Entonces $f$ es continua en un punto $x_0\in X$ si y solo si para todo $\epsilon >0$ existe $\delta >0$ tal que:
$$B(x_0,\delta )\subset f^{-1}[B(f(x_0),\epsilon )],$$ donde $B(x,r)$ denota una $r$-vecindad de $x$.

Demostración. Una función $f:X\to Y$ es continua en $x_0\in X$ si y solo si para todo $\epsilon >0$ existe $\delta >0$ tal que:
$$d_Y(f(x_0),f(x))<\epsilon ,$$ para toda $x\in X$ tal que $d_X(x_0,x)<\delta$, es decir:
$$\text{si}x\in B(x_0,\delta )\text{entonces}f(x)\in B(f(x_0),\epsilon ),$$ o equivalentemente: (¿por qué?)
$$f\left[B(x_0,\delta )\right]\subset B(f(x_0),\epsilon ).$$ Pero por el lema 9.1 esta última condición es equivalente a:
$$B(x_0,\delta )\subset f^{-1}\left[B(f(x_0),\epsilon )\right].$$

Proposición 9.2.
Sean $(X,d_X)$ y $(Y,d_Y)$ espacios métricos y sea $f:(X,d_X)\to (Y,d_Y)$ una función. Las siguientes afirmaciones son equivalentes:

1. $f$ es continua en $X$.
2. Si $A$ es abierto en $Y$, entonces $f^{-1}(A)$ es abierto en $X$.
3. Si $B$ es cerrado en $Y$, entonces $f^{-1}(B)$ es cerrado en $X$.

Demostración.
1. $\Rightarrow$ 2.
Sea $f$ una función continua y sea $A\subset Y$ un conjunto abierto. Como queremos probar que $f^{-1}(A)$ es abierto en $X$ y dado que $X$ y $\mathrm{\varnothing }$ son abiertos en $X$ supongamos que $f^{-1}(A)\ne X$ y $f^{-1}(A)\ne \mathrm{\varnothing }$. Sea $x_0\in f^{-1}(A)$, entonces tenemos que $f(x_0)\in A$ (¿por qué?). Dado que $A$ es abierto en $Y$, entonces existe $\epsilon >0$ tal que $B(f(x_0),\epsilon )\subset A$. Como $f$ es continua tenemos por la proposición 9.1 que existe $\delta >0$ tal que: $$B(x_0,\delta )\subset f^{-1}[B(f(x_0),\epsilon )]\subset f^{-1}(A).$$ De donde se sigue que todo punto de $f^{-1}(A)$ es un punto interior, por lo tanto $f^{-1}(A)$ es abierto en $X$.

2. $\Rightarrow$ 1.
Supongamos que $f^{-1}(A)$ es abierto en $X$ para todo conjunto $A$ abierto en $Y$. Sea $x_0\in X$. Por la proposición 6.2 sabemos que para todo $\epsilon >0$ se cumple que la bola abierta $B(f(x_0),\epsilon )$ es un conjunto abierto en $Y$, por lo que $f^{-1}[B(f(x_0),\epsilon )]$, es abierto en $X$. Notemos que:
$$x_0\in f^{-1}[B(f(x_0),\epsilon )],$$ por lo que existe $\delta >0$ tal que:
$$B(x_0,\delta )\subset f^{-1}[B(f(x_0),\epsilon )].$$ Por lo que por la proposición 9.1 se sigue que $f$ es continua en $x_0$.

2. $\iff$ 3.
Se deja como ejercicio al lector.

Proposición 9.3. (Composición de funciones.)
Supongamos que $(X,d_X)$, $(Y,d_Y)$ y $(Z,d_Z)$ son espacios métricos y sean $g:X\to Y$ y $f:Y\to Z$ dos funciones. Si $f$ y $g$ son continuas, entonces la composición $f\circ g$ es continua.

Demostración. Dadas las hipótesis, supongamos que $A$ es un subconjunto abierto de $Z$. Entonces por la proposición 9.2 se sigue que $f^{-1}(A)$ es abierto en $Y$, por lo que $g^{-1}(f^{-1}(A))$ es abierto en $X$. Dado que $g^{-1}(f^{-1}(A))=(f\circ g{)}^{-1}(A)$, entonces por la proposición 9.2 tenemos que la función $f\circ g$ es continua.

Proposición 9.4.
Sean $(X,d_X)$ y $(Y,d_Y)$ espacios métricos, $f:A\subset X\to Y$ una función y sea $a\in A$. Entonces se cumple que:

1. Si $a\in A\setminus A^{\prime }$, es decir si $a$ es un punto aislado, entonces $f$ es continua en $a$.
2. Si $a\in A\cap A^{\prime }$, es decir si $a$ es un punto de acumulación, entonces $f$ es continua en $a$ si y solo si $$\underset{x\to a}{lim}f(x)=f(a).$$

Demostración. Se deja como ejercicio al lector.

Proposición 9.5.
Sean $(X,d_X)$ y $(Y,d_Y)$ espacios métricos y sea $A\subset X$. Una función $f:A\to Y$ es continua en $a\in A$ si y solo si para cualquier sucesión $\{x_n{\}}_{n\ge 1}\subset A$ convergente a $a$ la sucesión $\{f(x_n){\}}_{n\ge 1}$ converge a $f(a)$.

Demostración.
$\Rightarrow )$
Supongamos que $f:A\to Y$ es una función continua en $a\in A$ y sea $\{x_n{\}}_{n\ge 1}$ una sucesión de $A$ tal que $\underset{n\to \mathrm{\infty }}{lim}{x}_n=a$. Veamos que la sucesión $\{f(x_n){\}}_{n\ge 1}$ converge a $f(a)$.

Sea $\epsilon >0$, por la continuidad de $f$ en $a$ existe $\delta >0$ tal que para todo $x\in A$ con $d_X(x,a)<\delta$ se cumple que $d_Y(f(x),f(a))<\epsilon$. Dado que $\underset{n\to \mathrm{\infty }}{lim}{x}_n=a$, entonces existe algún $N\in {\mathbb{N}}^{+}$ tal que: $$d_X(x_n,a)<\delta ,\mathrm{\forall }n\ge N,$$ por lo que si $n\ge N$ entonces: $$d_Y(f(x_n),f(a))<\epsilon ,$$ es decir $\underset{n\to \mathrm{\infty }}{lim}f(x_n)=f(a)$.

$(\Leftarrow$
Supongamos que para toda sucesión $\{x_n{\}}_{n\ge 1}\subset A$ convergente a $a$ se cumple que $\underset{n\to \mathrm{\infty }}{lim}f(x_n)=f(a)$. Veamos que $f$ es continua en $a$.

Por reducción al absurdo supongamos que $f$ no es continua en $a$. Entonces existe algún $\epsilon >0$ tal que para todo $\delta >0$ existe $x_{\delta }\in A$ tal que $d_X(x_{\delta },a)<\delta$ y $d_Y(f(x_{\delta }),f(a))\ge \epsilon$. Notemos que para cada $n\in {\mathbb{N}}^{+}$ el número $\frac{1}{n}$ es positivo, por lo que debe existir $x_n\in A$ tal que $d_X(x_n,a)<\frac{1}{n}$ y $d_Y(f(x_n),f(a))\ge \epsilon$, es decir que la sucesión $\{x_n{\}}_{n\ge 1}$ converge a $a$, pero la sucesión $\{f(x_n){\}}_{n\ge 1}$ no converge a $f(a)$, lo cual contradice nuestra hipótesis, por lo que $f$ debe ser continua en $a$.

Ejemplo 9.1.
Sea $(X,d_X)$ un espacio métrico y consideremos al espacio métrico $({\mathbb{R}}^n,d)$, donde $d$ es la distancia euclidiana, es decir:
$$d(x,y)={(\sum _{k=1}^n(x_k–y_k{)}^2)}^{1/2},$$ para todo $x=(x_1,\dots ,x_n)$, $y=(y_1,\dots ,y_n)$ en ${\mathbb{R}}^n$. Si $f_k:X\to \mathbb{R}$, con $k\in \{1,2,\dots ,n\}$, son funciones continuas, entonces la función $f:X\to {\mathbb{R}}^n$ dada por $f(x)=(f_1(x),f_2(x),\dots ,f_n(x))$ es continua.

Solución. Sea $\epsilon >0$, entonces existen ${\delta }_k>0$, tales que si $d_X(x,a)<{\delta }_k$ entonces:
$$d(f_k(x),f_k(a))=|f_k(x)–f_k(a)|<\frac{\epsilon }{\sqrt{n}},$$ para toda $k\in \{1,2,\dots ,n\}$. Por lo que tomando $\delta =\text{mín}\{{\delta }_1,\dots ,{\delta }_n\}$, tenemos que si $d_X(x,a)<\delta$, entonces: $$d(f(x),f(a))={(\sum _{k=1}^n(f_k(x)–f_k(a){)}^2)}^{1/2}<\epsilon ,$$ de donde se sigue el resultado.

Por otra parte, considerando que toda función $f:X\to {\mathbb{R}}^n$ se puede expresar en términos de sus funciones componentes, es decir $f(x)=(f_1(x),f_2(x),\dots ,f_n(x))$ para toda $x\in X$, y dado que para toda $k\in \{1,2,\dots ,n\}$ se cumple:
$$|f_k(x)–f_k(y)|\le {(\sum _{k=1}^n(f_k(x)–f_k(y){)}^2)}^{1/2}=d(f(x),f(y)),$$ por lo que si $f$ es una función continua, entonces cada función componente $f_k:X\to {\mathbb{R}}^n$ es continua.

Definición 9.2. (Homeomorfismo.)
Sean $(X,d_X)$ y $(Y,d_Y)$ dos espacios métricos. Un homeomorfismo entre $X$ y $Y$ es una función $f:X\to Y$ tal que:

1. $f$ es biyectiva.
2. $f$ es continua en $X$.
3. La inversa de $f$ es continua en $Y$, es decir, $f^{-1}:Y\to X$ es continua.

Si existe un homeomorfismo entre $X$ y $Y$, entonces diremos que los espacios métricos $(X,d_X)$ y $(Y,d_Y)$ son homeomorfos.

Observación 9.1.
Formalmente no hemos definido lo que es una función compleja de variable compleja, sin embargo para ejemplificar los conceptos de esta entrada podemos considerar la siguiente función sin mayor problema. En caso de existir duda de dicha definición puede consultarse la entrada 12 en la cual se aborda dicho concepto de manera formal.

Ejemplo 9.2.
Sea $D=B(0,1)\subset \mathbb{C}$. Consideremos a la función $f:\mathbb{C}\to D$ dada por:
$$f(z)=\frac{z}{1+|z|},z\in \mathbb{C}.$$ Veamos que $f$ induce un homeomorfismo entre $D$ y $\mathbb{C}$.

Solución. Primeramente verifiquemos que $f$ es biyectiva. Sean $z_1,z_2\in \mathbb{C}$, es claro que si $z_1\ne z_2$, entonces $|z_1|\ne |z_2|$, por lo que:
$$\frac{z_1}{1+|z_1|}\ne \frac{z_2}{1+|z_2|},$$ es decir que $f(z_1)\ne f(z_2)$, por lo que $f$ es inyectiva.
Por otra parte, si $w\in D$ tenemos que $|w|<1$, por lo que $1–|w|>0$. Entonces tomando: $$z=\frac{w}{1-|w|},$$ es claro que $w=f(z)$. Como $w\in D$ era arbitrario entonces tenemos que $f$ es sobreyectiva.
Por lo tanto, como $f$ es biyectiva tenemos que existe la función inversa de $f$, es decir $f^{-1}:D\to \mathbb{C}$ dada por:
$$f^{-1}(z)=\frac{z}{1-|z|},z\in \mathbb{C}.$$ Considerando los resultados de esta entrada es fácil probar que $f$ y $f^{-1}$ son continuas, por lo que se deja como se deja como ejercicio al lector.

Proposición 9.6.
Sean $(X,d_X)$, $(Y,d_Y)$ y $(Z,d_Z)$ espacios métricos y sean $g:X\to Y$ y $f:Y\to Z$ dos funciones.

1. Si $g$ es un homeomorfismo, entonces $f$ es continua si y sólo si $f\circ g$ es continua.
2. Si $f$ es un homeomorfismo, entonces $g$ es continua si y sólo si $f\circ g$ es continua.

Demostración.

1. Dadas las hipótesis, por la proposición 9.3 es claro que $f=(f\circ g)\circ g^{-1}$ es continua si y sólo si $f\circ g$ es continua.
2. Dadas las hipótesis, por la proposición 9.3 es claro que $g=f^{-1}\circ (f\circ g)$ es continua si y sólo si $f\circ g$ es continua.

Tarea moral

1. Demuestra el lema 9.1.
2. Completa la demostración de la proposición 9.2.
3. Prueba que las funciones $f$ y $f^{-1}$ del ejemplo 9.2 son continuas.
4. Sean $a,b\in \mathbb{R}\setminus \{0\}$. Considera a los siguientes conjuntos: $$\begin{array}{r}X=\{x+iy:x^2+y^2=1\},\\ Y=\{x+iy:{\left(\frac{x}{a}\right)}^2+{\left(\frac{y}{b}\right)}^2=1\}.\end{array}$$ Demuestra que $X$ y $Y$, dotados con la métrica euclidiana de $\mathbb{C}$, son homeomorfos. Hint: Considera la función $f(x+iy)=ax+iby$.
5. Demuestra la proposición 9.4.

Más adelante…

En esta entrada hemos dado una definición clara y general del concepto de continuidad, caracterizando así a los espacios métricos mediante dicho concepto y obteniendo resultados que nos permitieron relacionar a los conceptos de sucesión y de límite con el de continuidad. Estos resultados serán de gran utilidad en las siguientes entradas al estudiar a las funciones complejas (de variable compleja).

La siguiente entrada abordaremos los conceptos de conexidad y compacidad de un espacio métrico, en particular caracterizaremos a los conjuntos de $\mathbb{C}$ mediante estos conceptos, definiremos nuevos conceptos y obtendremos nuevos resultados que relacionan a los conceptos de continuidad, conexidad y compacidad en un espacio métrico, los cuales utilizaremos a lo largo del curso al trabajar con funciones de $\mathbb{C}$ en $\mathbb{C}$.

Entradas relacionadas

• Ir a Variable Compleja I.
• Entrada anterior del curso: Sucesiones en el espacio métrico $(\mathbb{C},d)$.
• Siguiente entrada del curso: Conexidad y compacidad en un espacio métrico.