Re: 3×3正値エルミート行列の正値性
いつも大変お世話になっております。
あれからグラスマン積についてhttp://www.rainbowseeker.jp/xoops/modules/newbb/viewtopic.php?topic_id=401&forum=12&post_id=2970&noreadjump=1
や
第 6 回 ベクトル代数 - TOKYO TECH OCW
といったサイトで調べてみました。
グラスマン積は交代積とも呼ばれるのですね。
山本哲朗氏の著書ではグラスマン積はnCp次の列ベクトルになってますが,
サイトでは(3次の場合)
Alt(a,b):=
0, a_1b_2-a_2b_1,a_1b_3-a_3b_1
-(a_1b_2-a_2b_1),0,a_2b_3-a_3b_2
-(a_1b_3-a_3b_1),-(a_2b_3-a_3b_2),0
という3×3行列になってるのですがこれはどう解釈したらいいのでしょうか?
3次のグラスマン積の定義は著書では,
Grs(a,b):=(a_1b_2-b_1a_2,a_1b_3-b_1a_3,a_2b_3-b_2a_3)∈F^3
という3次元ベクトルですよね?
あと,グラスマン積とベクトル積との違いですが,
ベクトル積とはグラスマン積の特別な場合で,p:=n-1の時且つ下(第n成分)から符号が+,-,+,-,…と交互になっているものの事ですね?
4次の場合だと
Vct(a,b,c):=diag((-1)^{4-1},(-1)^{3-1},(-1)^{2-1},(-1)^{1-1},)Grs(a,b,c)と書けるのですね?
最後に外積とはグラスマン積やベクトル積とも異なる概念で,3次の場合の外積とは
Ext(a,b):=
0, a_1b_2-a_2b_1,-(a_1b_3-a_3b_1)
-(a_1b_2-a_2b_1),0,a_2b_3-a_3b_2
a_1b_3-a_3b_1,-(a_2b_3-a_3b_2),0
という3×3行列の事だと解釈したのですがこれで宜しいでしょうか?
Fnews-brouse 1.9(20180406) -- by Mizuno, MWE <mwe@ccsf.jp>
GnuPG Key ID = ECC8A735
GnuPG Key fingerprint = 9BE6 B9E9 55A5 A499 CD51 946E 9BDC 7870 ECC8 A735