Re:>>614 f:(0..1]∪[2..3)∪{∞}→[0..1], f(x)=1_(0..1](x)(-x/2+1/2)+1_[2..3)(x)(2-x/2)+1_{∞}(x)/2 が同相写像になることを証明すればよい.[>>618]の式ではない.