Path: news.ccsf.jp!tomockey.ddo.jp!feeder.erje.net!1.eu.feeder.erje.net!eternal-september.org!feeder.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail From: "Kyoko Yoshida" Newsgroups: fj.sci.math Subject: =?iso-2022-jp?B?UmU6IDMbJEIhXxsoQjMbJEJANUNNJSglayVfITwlSDlUTnMkTkA1GyhC?= =?iso-2022-jp?B?GyRCQ01ALRsoQg==?= Date: Sat, 17 Oct 2015 20:41:30 -0400 Organization: A noiseless patient Spider Lines: 9 Message-ID: References: <8009620e-321a-4f90-ac05-87ece19bde5b@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain; format=flowed; charset="iso-2022-jp"; reply-type=original Content-Transfer-Encoding: 7bit Injection-Date: Sun, 18 Oct 2015 00:39:31 +0000 (UTC) Injection-Info: mx02.eternal-september.org; posting-host="4d6345f3fedf79f102c9e600852960f3"; logging-data="15674"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+i62SyJJvDSlBQT2g+gUWEKaKK9KsIkFQ=" X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157 X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 Cancel-Lock: sha1:C6HvaMQUmAkj921zvbfOkJd3VLQ= X-Priority: 3 X-MSMail-Priority: Normal Xref: news.ccsf.jp fj.sci.math:3877 ご回答誠に有難うございます。 Λ^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が言えるのでしょうか?