Lema de Urysohn para qu sirve?

Hoy hemos explicado en clase el lema de Urysohn: en un espacio topolgico normal X,

dos cerrados disjuntos se pueden separar por aplicaciones continuas de X en [0,1] de
forma que en un cerrado la aplicacin vale 0 y en el otro, 1.
El lema de Urysohn es uno de esos resultados que el alumno lo recibe ms o menos
indiferente, a pesar de los esfuerzos por parte del profesor en insistir de su importancia.
Pocas veces, durante la licenciatura, saldr dicho lema, pero cuando aparezca ser para
hacer pasos fundamentales en una demostracin o teora. Voy a intentar (no s si lo
conseguir) poner tres ejemplos de ello.
El primero es un resultado topolgico y nos dice cundo un espacio topolgico (X,)
es metrizable, es decir, cundo podemos afirmar que existe una distancia en X de forma
que la topologa del correspondiente espacio mtrico sea la misma que ya tenamos, es
decir, . El resultado clsico dice que si el espacio satisface el segundo axioma de
numerabilidad y es normal, entonces es metrizable. Para ello, usando el lema de
Urysohn, se prueba que el espacio (X,) es homeomorfo a un subconjunto del espacio
mtrico [0,1]R.
El segundo se refiere cuando hablamos de particiones de la unidad. No voy a hablar de
qu son las particiones de la unidad, pero estn muy relacionadas con el lema de
Urysohn. Las particiones de la unidad se usan, hablando un poco a la ligera, cuando uno
quiere hacer una teora a partir de "trozos pequeos". Un ejemplo es cuando uno quiere
decir cmo se integra en una superficie. No es problema poder definir la integral de una
funcin en un abierto pequeo de la superficie, pero el problema es como definirla para
una funcin definida en TODA la superficie. Las particiones de la unidad nos permite
EXTENDER dicha integral.
Por ltimo, un tercer ejemplo de aplicacin del lema de Urysohn aparece cuando uno se
pregunta si una variedad se puede ver como un subconjunto de un espacio eucldeo Rn.
Una variedad de dimensin n es un espacio topolgico de forma que localmente es
homeomorfo a Rn. Por ejemplo, una curva es una variedad de dimensin 1 y una
superficie, una variedad de dimensin 2. Me centro en superficies. Hay que imaginarse
una superficie como un espacio topolgico abstracto que satisface la propiedad de
variedad (y no como un subconjunto de R3). La pregunta natural es si existe un espacio
eucldeo Rn de forma que la superficie sea homeomorfa a un subconjunto de Rn. Una
condicin suficiente es que el espacio sea AN2, Hausdorff y normal. Y en la prueba es
clave el lema de Urysohn.
Una curiosidad. Un teorema en la lnea del ltimo fue dado por Nash, el de la pelcula
"Una mente maravillosa": es el teorema de embebimiento de Nash y publicado en el

Annals of Mathematics en 1956. Si habis visto la pelcula, casi al final del todo,
cuando le dicen a Nash que la Academia Sueca est pensando en darle el Premio Nobel,
el amigo le dice que una de sus aportaciones, entre otras, es dicho teorema.

Fragmento de la Historia

Una de las grandes cuestiones de principios del siglo XX topologa es la

clasificacin de los diferentes espacios. Un invariante importante para esta
clasificacin es la dimensin. Si un espacio topolgico conectado tiene en cada
punto de un proceso abierto, que contiene este punto y homeomorfo a un espacio
euclidiano abierta, todos los espacios eucldeos tener el mismo tamao y este
tamao es nico. Si este resultado es muy intuitivo: si un espacio topolgico es la
naturaleza de una curva, entonces no es un plan, la prueba es difcil. Desde
Peano, el conocimiento de una funcin continua de R en surjective e ilustra uno de
los escollos para encontrar pruebas rigurosas.
Heinrich Tietze trabajando en este tema y, en este contexto, en 1914 muestra que
si f es una funcin continua definida en un cerrado de un espacio mtrico, es
continuamente extensible sobre todo el espacio. Es la definicin de espacio normal
en 1923. Pavel Urysohn, un matemtico ruso puede demostrar el teorema
fundamental de la dimensin que public en 1924. Encontr los resultados ya
demostrados por Luitzen Brouwer en 1912, pero qu'Urysohn no lo saba. Esta
publicacin contiene el lema del artculo.
Todava le debe Tietze teorema de extensin que ahora lleva su nombre,
incluyendo el lema del artculo es slo un caso especial. Jean Dieudonn
desarrolla el uso del teorema en geometra diferencial y se desarrolla de forma
simultnea e independiente con Salomon Bochner la nocin de particin de la
unidad en 1937. Tambin introdujo la definicin del espacio paracompact en 1944,
a menudo reemplaza el espacio normal que contiene demasiadas excepciones
patolgicas ser verdaderamente fructfera en la topologa algebraica.