[0V8] Siano (X,dX) e (Y,dY) spazi metrici, con (X,dX) compatto; sia f:X→Y continua e iniettiva; si mostri che f è un omeomorfismo fra X e la sua immagine f(X).
[0V9]↺↻
(Si veda [0J8]↺↻ per il caso di spazio topologico).