[0V8] Siano \((X,d_ X)\) e \((Y,d_ Y)\) spazi metrici, con \((X,d_ X)\) 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).
