Path: news.ccsf.jp!tomockey.ddo.jp!border1.nntp.dca.giganews.com!nntp.giganews.com!postnews.google.com!g1g2000pra.googlegroups.com!not-for-mail
From: KyokoYoshida <kyokoyoshida123@gmail.com>
Newsgroups: fj.sci.math
Subject: Re:  $B<+8J?oH<<LA| (BA $B$, (BA= $B&2 (B_{j=1}^r  $B&A (B_j E_j $B$H 
	(Bspectral $BJ,2t$5$l$k$J$i (B, $B&A (B_j $B$OAj0[$J$k8GM-CM$K$J$k;v$r<($; (B
Date: Sat, 4 Jul 2009 09:58:25 -0700 (PDT)
Organization: http://groups.google.com
Lines: 22
Message-ID: <e4536ec6-e4c6-4161-8ae9-6849c93aef56@g1g2000pra.googlegroups.com>
References: <2106f023-ce00-487b-b6d5-e5e8db3c7c57@x5g2000yqk.googlegroups.com> 
	<090629122352.M0329410@cs1.kit.ac.jp> <16b9e18c-b5b0-430e-aaa2-b6173095cdf0@m18g2000vbi.googlegroups.com> 
	<090630182036.M0112609@cs2.kit.ac.jp> <f8d83d2d-896a-4c5e-80fc-78cba755a4a6@l32g2000vba.googlegroups.com> 
	<090702124757.M0101568@cs2.kit.ac.jp> <3fe0a031-79c4-4c91-b7b8-54b092558b46@l5g2000pra.googlegroups.com> 
	<090703174825.M0227641@cs2.kit.ac.jp> <d35f6164-9a74-4b11-9d22-9f2a774e17d5@i4g2000prm.googlegroups.com> 
	<090704222603.M0132614@cs1.kit.ac.jp>
NNTP-Posting-Host: 220.100.90.218
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-2022-JP
Content-Transfer-Encoding: 7bit
X-Trace: posting.google.com 1246726705 30670 127.0.0.1 (4 Jul 2009 16:58:25 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sat, 4 Jul 2009 16:58:25 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: g1g2000pra.googlegroups.com; posting-host=220.100.90.218; 
	posting-account=WW-P-goAAADS1u9yskwAcJfIST-zvGgd
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; 
	SV1),gzip(gfe),gzip(gfe)
Xref: news.ccsf.jp fj.sci.math:2913

ご回答大変ありがとうございます。

>> 上記の私の定義「∀v∈Vに対して,v=s+s^⊥の時,Ev=E(s+s^⊥)=s」からだけでは
>> どうしても<Ev,(id-E)v>=0が導けないのですね。納得です。
> どうも通じませんね. その定義と「同値な」定義を
> *線形変換 E の満たすべき性質だけで* 与えるのが,
> E^* = E, E^2 = E だと言っているのです.

すいません。「E^* = E, E^2 = E」がorthogonal projectionの定義と同値という訳ですね。

>> でもやはり,V＼S∪{0}が線形部分空間にならない場合があるのですね。
> なりませんよ.

そうですか。

> xy 平面で, x 軸を取り除いて(お好みなら原点を付け加えて)
> 出来るのはどんな図形ですか.

x軸のみ取り去った平面ですね。
目からうころです。V=S∪T∪{αs+βt;α,β∈F,α≠0,β≠0}となるのですね。

V=S+Tの時,T=V＼S∪{0}ではなくて,T=V＼S＼{αs+βt;α,β∈F,α≠0,β≠0}∪{0}となるのですね。