同型写像と同伦写像の定義(同伦同値における同型写像として)