>>24
[Ｘ;Ｙ]が一点であることを言うには、任意のｆ∈Ｃ(Ｘ,Ｙ)が
定値写像（任意のx∈Ｘを定点p∈Ｙに写す写像）にホモトピックであることを言えば十分だが
まずはあなたの知ってる可縮の定義とホモトピックの定義を書いてみ。