In matematica, omeomorfismo tra due varietà differenziabili che possa rappresentarsi analiticamente mediante funzioni differenziabili nelle coordinate locali delle due varietà. Moderni studi hanno mostrato l’esistenza di varietà differenziabili riferibili tra loro in un omeomorfismo (➔ anche topologia).