>>754
>(a1,a2,...)から(0,a1,a2,...)へ移してから
こっちは線分で結んで途中原点を通らないから長さで割って球面に投影できるが
それだとisometoryじゃない
>(sint,a1cost,a2cost,...)で(1,0,...)に潰せるのね
こっちはisometory
前者だけど
{(a1,a2,0,.0,..) | a1^2+a2^2=1}
を
{(0,a1,a2,0,...)}
に移すのをisometoryにでもできるから（S^nは全てそう）
全体もisometoryで変形できるんじゃないかなあ
具体的には思いつかんけど