En el Teorema de Metrización de Urysohn, en algún momento definimos una función $F : X \rightarrow H$ del espacio X al espacio de Hilbert $H$ . Con lo cual tenemos que demostrar que $F$ es una incrustación. Para demostrarlo, aparentemente basta con mostrar que $F$ es
- uno a uno
- continuo
- una cartografía abierta.
No veo en qué se diferencian los dos últimos.
La continuidad se demuestra con conjuntos abiertos, así que ¿es un mapa abierto?