無限次元球面は可縮

>>153
S^n→R^n+1
(x0,…,xn)→(x0,…,xn) for x0>0
(x0,…,xn)→(0,…,xn) for x0≦0
みたいな？