10/10/07 21:29:11
>>69
ベクトル [ ] は全て縦ベクトルとして、
2個の行列 [[1 0] [0 1]]、 [[0 1] [-1 0]] 生成する
2次の全行列環M(2,R)の部分空間が積で閉じていて、
複素数体と同型な体になる、ということ。
そんな2個の行列は無数にあるから、特別な名前は付いてないね。
10/10/07 21:29:11
>>69
ベクトル [ ] は全て縦ベクトルとして、
2個の行列 [[1 0] [0 1]]、 [[0 1] [-1 0]] 生成する
2次の全行列環M(2,R)の部分空間が積で閉じていて、
複素数体と同型な体になる、ということ。
そんな2個の行列は無数にあるから、特別な名前は付いてないね。