同相写像の定義と性質(可逆連続写像の逆写像の連続性等)