>>273
>２行目は誤りな
>
>回転群SO(2)（＝S^1（円周！））は実１次元のリー群だから
>知らない奴は大学行った事無いやつ
zを複素変数とするとき、回転群SO(2)を
cos(z)　-sin(z)
sin(z)　cos(z)
の形で表される複素行列全体として定義すれば、
SO(2)は回転群の条件を満たし複素次元のリー群でもあるから
回転群SO(2)は無限次元リー群と見なせる