◆ わからない問題はここに書いてね １２ ◆

>>269
O(n) が n(n-1)/2 次元というのは正しい。
U=(u_1,...,u_n) がユニタリーである条件は
(u_i~,u_i)=1, (u_i~,u_j)=0 (i≠j) であって、
前者は実部だけ、後者は実部と虚部の式が出来るが、
(u_i~,u_j)=(u_j~,u_i)~ なので、結局 n^2個の式となって、
U(n) の次元は n^2 となる。

U(n)の次元について．
Lie環を見れば線形代数になる．

>>274
接空間が｛ｎ次元歪エルミット｝だから・・・ということね。