でけたわ
(cost -sint)
(sint cost)
を
rot(t):R^2→R^2
として
rn(t)=I^(n-1)×rot(t)×I^∞:R^ω→R^ω
具体的には
rn(t)(a1,a2,...an,an+1,....)=(a1,a2,...ancost-an+1sint,ansint+an+1cost,.....)
で
r(t)=r1(t)r2(t)r3(t).....
とするとrは直交行列（回転行列）かつ各成分は連続
r(0)(a1,a2,a3,...)=(a1,a2,a3,...)
r(π/2)(a1,a2,a3,...)=(0,a1,a2,a3,...)
回転行列だから内積も変わらず（長さと角度も変わらず）
でばっちり
>>767はこれの最初の方だわ
r(t)の各成分が収束するか心配かもだがrn(t)がスカスカなので大丈夫
ただrn(t)は正則のような気がするがr(π/2)に逆行列ないのは無限積だから？どっか間違ってるかも？