Il differenziale di una mappa propria tra varietà, è a sua volta una mappa propria?
Motivazione per questa domanda è un'altra domanda: la compattificazione di Alexandrov di un diffeomorfismo $C^1$ tra varietà induce o no un diffeomorfismo tra le compattificazioni? Per poter indurre un omomorfismo $\bar f : \bar X \to \bar Y$ tra le compattificazioni di $X,Y$ bisogna che $f$ sia una mappa propria. Ma non ho idea se, quando $f$ è un diffeo tra varietà, anche $\bar f$ sia un diffeo della stessa regolarità di $f$ (è chiaramente un omeomorfismo, perché? La cosa non banale è che sia $C^1$).