from 『数学ガール 6 ポアンカレ予想』

同相なAとBがあるときにAからBへの写像

定義

X, Yを位相空間とする。fをXからYへの全単射とする。写像fも逆写像f^{-1}も連続であるとき、fを同相写像という。また、位相空間XからYへの同相写像が存在するとき、XとYは同相であるという。

diffeomorphism