距離空間の同相写像の性質(同相写像や位相的等価など)