>>716
グラフなんて使わなくていいのに。
f(x) ≠ x だから x と f(x) を結ぶ弧の長さを L としたとき tL に
対応する点(t ∈ [0, 1]) を h(x, t) とすれば、これが恒等写像と f を
結ぶホモトピーになる。