位相同型
位相空間 A から位相空間 B への連続写像 f が全単射で、その逆写像も連続であるとき、A と B は同相 (homeomorphic) であるといい、f を同相写像 (homeomorphism) という。同相写像は、位相空間の位相的構造を保つという意味で、同型(写像)である。
多様体の間の連続写像について。 同相写像 f が Cn 級(n 回微分できて、n 階の導関数が連続)で、その逆写像も Cn 級である時、f を Cn 級微分同相(写像)(diffeomorphism of class n) という。