Re: 3×3正値エルミート行列の正値性
ご回答誠に有難うございます。
> ベクトル空間(線形空間)としても同形ですが,
> 別々の線形空間と見ます.
了解です。
> それには任意の x \in Λ^2 C^3, x \neq 0 に対して
> (C(x), x) > 0 を示せば良い.
> ところが, C^3 のある正規直交基底 u_1, u_2, u_3 に対して,
> x = k u_2Λu_3 (k \neq 0) と表せますから,
> (C(u_2Λu_3), u_2Λu_3) > 0 を示せば良い.
> ここまでは理解されましたか.
ここは xは任意なのだから,x=ku_i∧u_j 但し,i,j∈{1,2,3},i<j.
ではないのでしょうか?
>> (Dx,y)=(D(v∧w),v∧w) (但し,x,y,v,w∈C^3)
> この計算を持ち出しているのはどうも誤解があるようです.
:
>> =((u_1 u_2 u_3)^*[C]_{u_1,u_2,u_3}(v∧w),v∧w)
> 上の (C(u_2Λu_3), u_2Λu_3) も正であることは分かったことになります.
> それで証明終わりです.
有難うございます。
---
This email is free from viruses and malware because avast! Antivirus protection is active.
https://www.avast.com/antivirus
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