una tazza ed una ciambella sono omeomorfi
Per trattare problemi che non considerano la forma esatta degli oggetti, bisogna mettere bene in chiaro quali sono le proprietà degli oggetti su cui possiamo contare: da questo bisogno nasce la nozione di equivalenza topologica. L’impossibilità di attraversare ogni ponte una e una sola volta è vera per ogni configurazione di ponti topologicamente equivalente a quelli di Königsberg, e il problema della sfera pelosa si applica ad ogni spazio topologicamente equivalente a una sfera. Formalmente, due spazi sono topologicamente equivalenti se esiste un omeomorfismo fra loro: in questo caso sono detti omeomorfi e sono, ai fini topologici, esattamente identici.
Una deformazione continua di una tazza di caffé in un toro. Le deformazioni continue vengono formalizzate nelle nozioni di omeomorfismo e omotopia.
Un omeomorfismo è formalmente definito come una funzione biettiva continua dotata di una inversa continua, il che non è molto intuitivo anche per chi conosce già il significato delle parole nella definizione. Una definizione meno formale restituisce meglio il senso di quanto sopra: due spazi sono topologicamente equivalenti se è possibile trasformare l’uno nell’altro senza tagliare né incollare insieme pezzi dei due. Ad esempio, una tazza ed una ciambella sono omeomorfi.
