値域を拡張とか言ってるのは、f:S^1→S^1, f(x)=xはD^2に拡張できるからS^1は単連結だとか言い出しそうだよな