Lema de Urysohn

En topología, el lema de Urysohn es un lema que establece que un espacio topológico es normal si y sólo si cualquier par de conjuntos cerrados disjuntos pueden ser separados por una función continua.​Esto es, en un espacio topológico es equivalente que los conjuntos cerrados disjuntos se puedan separar por entornos disjuntos a que se puedan separar por una función continua (existe una función continua del espacio a $[0,1]$ que en un conjunto vale 0 y en el otro 1).

El lema de Urysohn es comúnmente usado para construir funciones continuas con ciertas propiedades en espacios normales. Es aplicado en muchas situaciones, puesto que todos los espacios métricos y todos los espacios de Hausdorff compactos son normales. El teorema de extensión de Tietze es una generalización de este lema, cuya demostración generalmente lo utiliza.

Este lema debe su nombre al matemático ruso Pavel Samuilovich Urysohn.

Discusión

Dos cerrados separados por entornos

Dados dos conjuntos cerrados disjuntos $E$ y $F$ de un espacio topológico $X$, decimos que están separados por entornos si existen entornos (o, equivalentemente, entornos abiertos) $U$ de $E$ y $V$ de $B$ que también son disjuntos. Se dice que $E$ y $F$ están separados por una función continua si existe una función continua $f$ de $X$ al intervalo unitario $[0,1]$ tal que $f(x)=0$ para todo $x$ en $E$ y $f(y)=1$ para todo $y$ en $F$. Una función con estas características se denomina función de Urysohn para $E$ y $F$.

Un espacio normal es un espacio topológico en el que todo par de conjuntos cerrados disjuntos puede ser separado por entornos. El lema de Urysohn afirma que un espacio topológico es normal si y sólo si todo par de conjuntos cerrados disjuntos puede ser separado por una función continua. Es decir, es suficiente que se puedan encontrar, para cada par de cerrados de un espacio, dos abiertos que los separen, para poder construir una función continua que pase de valer 0 en un cerrado a 1 en el otro (para cada par de cerrados). La necesidad ya se intuye más sencilla y veremos en la demostración que, en efecto, es mucho más sencilla de demostrar.

No es necesario que los conjuntos $E$ y $F$ sean precisamente separados por f, es decir, no se requiere que $f(x)\neq 0$ fuera de $E$ y $f(y)\neq 1$ fuera de $B$. Para poder afirmar esto hacen falta hipótesis más fuertes que la normalidad: sólo se puede afirmar en espacios perfectamente normales.

El lema de Urysohn ha llevado a la formulación de otras nociones topológicas, tales como la «propiedad de Tychonoff» y los «espacios completamente de Hausdorff». Por ejemplo, un corolario del lema es que los espacios normales y T₁ son de Tychonoff.

Enunciado formal

Un espacio topológico $X$ es normal si, y sólo si, para cualesquiera dos subconjuntos cerrados no vacíos $A$ y $B$ de $X,$ existe una aplicación continua $f:X\to [0,1]$ tal que $f(A)=\{0\}$ y $f(B)=\{1\}$ (escribiremos que $A$ y $B$ están separados por una función continua).

Demostración

Demostración de la necesidad

Demostramos primero la necesidad, es decir, que si cualquier par de cerrados de $X$ están separados por una función continua, entonces $X$ es un espacio normal. Para ver esto, tomamos un par arbitrario $A,B$ de cerrados disjuntos de $X$ y encontraremos abiertos disjuntos $U,V$ de $X$ que contienen a $A$ y $B$, respectivamente. Pero por hipótesis existe una función continua $f\colon X\rightarrow [0,1]$ que vale 0 en $A$ y 1 en $B$. Ahora, $[0,{\tfrac {1}{2}})$ y $({\tfrac {1}{2}},1]$ son dos abiertos disjuntos de $[0,1]$ (con la topología inducida de la usual de $\mathbb {R}$) y, por continuidad, $f^{-1}([0,{\tfrac {1}{2}}))$ y $f^{-1}(({\tfrac {1}{2}},1])$ son dos abiertos disjuntos que contienen por hipótesis a $A$ y a $B$, respectivamente. De aquí se obtiene la normalidad de $X$.

Construcción de abiertos encajados para cada número racional

Construcción del los primeros abiertos $U_{p}$. Primero se construye $U_{1}=X\setminus B$. Luego, por normalidad, podemos tomar $U_{0}$ un entorno de $A$ con adherencia contenida en $U_{1}$. Luego se construye $U_{1/2}$ análogamente: que contenga a $U_{0}$ (el abierto construido con índice inmediatamente inferior) y de adherencia contenida en $U_{1}$ (el abierto construido con índice inmediatamente inferior). Y así sucesivamente: $U_{1/3}$ entre $U_{0}$ y $U_{1/2}$, $U_{2/3}$ entre $U_{1/2}$ y $U_{1}$, etcétera.

Recíprocamente, supongamos que el espacio $X$ es normal y veamos que, de hecho, cualquier par de cerrados disjuntos de $X$ se pueden separar por una función continua. Tomamos como antes dos cerrados disjuntos $A,B$ de $X$. El primer paso es construir, usando la normalidad, una familia de abiertos $U_{p}$ indexados por los números racionales del intervalo $[0,1]$ satisfaciendo que, siempre que $p<q$, se tenga que ${\overline {U_{p}}}\subseteq U_{q}$, donde ${\overline {V}}$ representa la adherencia de un conjunto $V$ en $X$.

Sea $P=[0,1]\cap \mathbb {Q}$ el conjunto de racionales en el intervalo $[0,1]$. Vamos a definir, para cada $p\in P$, un abierto $U_{p}$ de $X$ con la propiedad anterior. Al ser $P$ numerable (podemos suponer que lo ordenamos de la forma estándar $P=\{1,0,{\tfrac {1}{2}},{\tfrac {1}{3}},{\tfrac {2}{3}},{\tfrac {1}{4}},{\tfrac {3}{4}},{\tfrac {1}{5}},{\tfrac {2}{5}},{\tfrac {3}{5}},{\tfrac {4}{5}},\dots \}$), podemos definir recursivamente el conjunto $U_{p}$ suponiendo que tenemos definidos todos los conjuntos $U_{q}$ para $q<p$.

Empezamos definiendo los conjuntos $U_{1}$ y $U_{0}$. Tomamos $U_{1}=X\setminus B$, que es abierto por ser $B$ cerrado. Por ser $X$ normal, podemos tomar un abierto $U_{0}$ tal que $A\subseteq U_{0}$ y ${\overline {U_{0}}}\subseteq U_{1}$ (basta usar la definición para los cerrados disjuntos $A$ y $X\setminus U_{1}=B$ y tomar el entorno de $A$ como $U_{0}$).

Ahora, sea $P_{n}$ el conjunto de los primeros $n$ números de la numeración de $P$ y, recursivamente, supongamos que tenemos definido $U_{p}$ para todo $p\in P_{n}$ satisfaciendo la relación $p<q\Rightarrow {\overline {U_{p}}}\subseteq U_{q}$.$\quad (*)$

Sea $r$ el siguiente racional de la numeración; queremos definir $U_{r}$. Consideremos $P_{n+1}=P_{n}\cup \{r\}$ con el orden usual de la recta real. Al ser $r$ distinto de los elementos máximo y mínimo de este conjunto (el 0 y el 1, que ya han sido tratados) y por ser $P_{n+1}$ finito, $r$ tiene un predecesor inmediato $p$ y un sucesor inmediato $q$ en $P_{n+1}$. Los conjuntos $U_{p}$ y $U_{q}$ ya han sido definidos, y cumplen que ${\overline {U_{p}}}\subseteq U_{q}$. Como antes, por normalidad de $X$, podemos encontrar un abierto $U_{r}$ de $X$ satisfaciendo que ${\overline {U_{p}}}\subseteq U_{r}$ y ${\overline {U_{r}}}\subseteq U_{q}$.

Comprobemos que se sigue satisfaciendo $(*)$ para cada par de elementos de $P_{n+1}$. Si ambos elementos pertenecen a $P_{n}$, $(*)$ se sigue por hipótesis de inducción. Si no, un elemento es $r$ y el otro es un cierto $s\in P_{n}$. Entonces, o bien $s\leq p$, en cuyo caso ${\overline {U_{s}}}\subseteq U_{p}\subseteq {\overline {U_{p}}}\subseteq U_{r}$, o bien $s\geq q$, en cuyo caso ${\overline {U_{r}}}\subseteq U_{q}\subseteq {\overline {U_{q}}}\subseteq U_{s}$. En cualquier caso, $(*)$ sigue siendo cierta en $P_{n+1}$. Por inducción, tenemos definido $U_{p}$ para cada $p\in P$.

El siguiente paso es extender la definición de $U_{p}$ para cualquier $p$ racional (no sólo en $[0,1]$). Para ello, definimos $U_{p}=\emptyset$ para $p<0$ y $U_{p}=X$ para $p>1$. Claramente se sigue satisfaciendo $(*)$.

Construcción de f

El último paso es construir la función $f\colon X\rightarrow [0,1]$ que separa continuamente los conjuntos $A$ y $B$. Para ello, primero definimos, para $x\in X$, el conjunto $\mathbb {Q} (x)$ como los racionales $p$ tales que sus respectivos $U_{p}$ contienen el punto $x$: $\mathbb {Q} (x)=\{p\in \mathbb {Q} :x\in U_{p}\}$. Observamos que este conjunto no contiene ningún elemento menor que 0, pues ningún $x$ pertenece a $U_{p}$ para $p<0$, y ninguno mayor que 1, pues todos los $x$ están en $U_{p}$ para $p>1$. Por tanto, $\mathbb {Q} (x)$ tiene su ínfimo en el conjunto $[0,1]$. Podemos definir pues $f(x)=\inf \mathbb {Q} (x)=\inf\{p\in \mathbb {Q} :x\in U_{p}\}$.

Falta ver que $f$ cumple lo que queremos. En efecto, si $x\in A$, tenemos que $x\in U_{p}\quad \forall p\geq 0$, por lo que $\mathbb {Q} (x)=[0,\infty )\cap \mathbb {Q}$ y $f(x)=0$; si $x\in B$, entonces $x\notin U_{p}\quad \forall p<1$, por lo que $\mathbb {Q} (x)=(1,\infty )\cap \mathbb {Q}$ y $f(x)=1$.

Continuidad de f

Lo único que queda por demostrar es que $f$ es, en efecto, continua. Esta es la parte más difícil, y demostramos antes dos resultados elementales:

$(1)\ \ x\in {\overline {U_{p}}}\Rightarrow f(x)\leq r$ : En efecto, si $x\in {\overline {U_{r}}}$, entonces $x\in U_{s}\quad \forall s>r$. Por tanto, $\mathbb {Q} (x)$ contiene todos los racionales mayores que $r$, y $f(x)=\inf \mathbb {Q} (x)\leq r$.

$(2)\ \ x\notin U_{r}\Rightarrow f(x)\geq r$ : En efecto, si $x\notin U_{r}$, entonces $x\notin U_{s}\quad \forall s<r$. Por tanto, $\mathbb {Q} (x)$ no contiene ningún racional menor que $r$, y $f(x)=\inf \mathbb {Q} (x)\geq r$.

Para ver la continuidad de $f$, tomamos $x_{0}\in X$ y $(c,d)\ni f(x_{0})$ un intervalo abierto de $\mathbb {R}$; buscamos un entorno $U$ de $x_{0}$ tal que $f(U)\subseteq (c,d)$. Podemos tomar números racionales $p,q$ tales que $c<p<f(x_{0})<q<d$.

Afirmamos que el abierto $U=U_{q}\setminus {\overline {U_{p}}}$ es el entorno que buscamos. En efecto, $x_{0}\in U$, ya que $f(x_{0})<q$ implica, por $(2)$, que $x_{0}\in U_{q}$, mientras que $f(x_{0})>p$ implica, por $(1)$, que $x_{0}\notin {\overline {U_{p}}}$. Además, $f(U)\subseteq (c,d)$. Sea $x\in U$. Entonces, $x\in U_{q}\subseteq {\overline {U_{q}}}{\overset {(1)}{\Longrightarrow }}f(x)\leq q$ y, además, $x\notin {\overline {U_{p}}}\Rightarrow x\notin U_{p}{\overset {(2)}{\Longrightarrow }}f(x)\geq p$. Por tanto, $f(x)\in [p,q]\subseteq (c,d).$ Por tanto, $f$ es continua y esto concluye la demostración. $\quad \square$

Bibliografía

• Willard, Stephen (1970). General Topology. Dover Publications. ISBN 0-486-43479-6. 
• Munkres, James (1999). Topology. Prentice Hall. ISBN 0-13-181629-2. 

• Datos: Q1816967
• Multimedia: Urysohn's lemma / Q1816967