Re: 3×3正値エルミート行列の正値性
工繊大の塚本です.
2016年1月3日日曜日 5時37分51秒 UTC+9 Kyoko Yoshida:
> > ところが, 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.
> ではないのでしょうか?
正規直交基底はその並び方の順序にはよりませんから,
x = k u_2Λu_3 となるように, u_1, u_2, u_3 を
取ることができます.
--
塚本千秋@基盤科学系.京都工芸繊維大学
Tsukamoto, C. : chiaki@kit.ac.jp
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