| From(投稿者): | "Kyoko Yoshida" <kyokoyoshida123@gmail.com> |
|---|---|
| Newsgroups(投稿グループ): | fj.sci.math |
| Subject(見出し): | Re: 3×3正値エルミート行列の正値性 |
| Date(投稿日時): | Sat, 17 Oct 2015 20:41:30 -0400 |
| Organization(所属): | A noiseless patient Spider |
| References(祖先記事, 一番最後が直親): | (G) <mumhao$a7u$1@dont-email.me> |
| (G) <e3d78b36-f910-49c2-ab04-a2837e03805d@googlegroups.com> | |
| (G) <mvgsda$e39$1@dont-email.me> | |
| (G) <8009620e-321a-4f90-ac05-87ece19bde5b@googlegroups.com> | |
| Message-ID(記事識別符号): | (G) <mvupo2$f9q$1@dont-email.me> |
ご回答誠に有難うございます。 Λ^2 C^3 はC^3∧C^3∧C^3の事ですよね。 そして,Cの正値性を示すには,正値性の定義から (Cx,x)>0 for 0≠∀x∈C^3を示せばいいのでしょうが なぜ代わりに(Cw,w)>0 for 0≠∀w∈Λ^2 C^3を示すだけでいいのでしょうか? もしかして,Λ^2 C^3=C^3が言えるのでしょうか?