同相写像の分類とホモロジーの位相不変性(同相写像のホモロジー群は同型であること)