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