From(投稿者): | cchikakoo@yahoo.co.jp |
---|---|
Newsgroups(投稿グループ): | fj.sci.math |
Subject(見出し): | Re: $B@~7ABe?t$ND>OBJ,2r$NLdBj$G |
Date(投稿日時): | Sat, 18 Oct 2008 11:00:37 -0700 (PDT) |
Organization(所属): | http://groups.google.com |
References(祖先記事, 一番最後が直親): | (G) <69c53e2f-88d1-43b6-9ea1-f8a54ef7312a@w24g2000prd.googlegroups.com> |
(G) <081011235441.M0212455@cs1.kit.ac.jp> | |
(G) <af5ce6b5-f0c5-40ff-b1ea-0dcd769c700b@a29g2000pra.googlegroups.com> | |
(G) <081012200443.M0108213@cs1.kit.ac.jp> | |
(G) <acfb36b7-24da-48c8-8c00-eabced54239c@f40g2000pri.googlegroups.com> | |
(G) <081013174358.M0231999@cs1.kit.ac.jp> | |
(G) <fc0d1ce1-035c-4839-b550-22f8f95794fc@u29g2000pro.googlegroups.com> | |
(G) <081017174347.M0120777@cs2.kit.ac.jp> | |
Message-ID(記事識別符号): | (G) <9a9880b4-df85-46f3-815c-320faf81b092@u27g2000pro.googlegroups.com> |
Followuped-by(子記事): | (G) <081019035737.M0120542@cs1.kit.ac.jp> |
ご回答大変ありがとうございます。 > 最初は直交化の必要がありません. 元から <v, u_i> = 0 > ですから. 又, <u_i, u_i> = 0 ですから, 上の式は意味を > 持ちません. そうでした。u_iはV_0の元でV_0の元は∀w∈V,<w,u_i>=0を満たすものでしたね。だから当然,<v,u_i>=0ですね。 > そう考えても良いですが, w が u_k, v_i, w_j, v らの張る > 部分空間に入らないことは, 後で見たように, 簡単に分かり > ますから, v は V_0 に入らないので何か <v, w''> ≠ 0 と > なる w'' ∈ V がある, ということより w の存在を導けば > 十分です. あっ。ここで疑問なのですが もし,本当に<v,w>=1なる元wが無い。 つまり,<v,v>=0でしかもV\span{u_1,u_2,…,v_1,v_2,…,v_r,w_1,…,w_s}\{v}=φ だった場合,このvはV_pとV_nの元から生成されるほかは考えられないですよね。 その時,どうやってこのvをV_pとV_nとの元にばらせますでしょうか? あとは納得できました。m(_ _)m