Path: news.ccsf.jp!tomockey.ddo.jp!news.unit0.net!feeder.eternal-september.org!eternal-september.org!not-for-mail
From: chiaki@kit.ac.jp (Tsukamoto Chiaki)
Newsgroups: fj.sci.math
Subject: Re: Mを線形真部分空間とし,P_mをMへの直交射影とする時,P_mの固有値を求めよ
Date: Fri, 24 Jul 2009 19:08:38 +0900
Organization: Kyoto Institute of Technology
Lines: 31
Message-ID: <090724190838.M0129121@cs2.kit.ac.jp>
References: <7b1072e4-a830-4326-a252-2f871220d56d@y10g2000prg.googlegroups.com>
	<090720010849.M0119803@cs2.kit.ac.jp>
	<56115e12-876d-4c74-8726-dbc157b40291@l35g2000pra.googlegroups.com>
	<090723184815.M0132132@cs2.kit.ac.jp>
	<10613ce2-36f2-48ad-89c1-4cf58931bf30@v23g2000pro.googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-2022-jp
X-Trace: news.eternal-september.org U2FsdGVkX1+VbiPVRafZwjDdfUHyAkJA/2lc3FLkumgGaWSfDVEgRS8bFw/xhWpDqrBTTYtq+lmaKFplgonaxW/V46X65s8k3RzGH8f0M6kCSF2ma+DN5mQBLAMI81plps4f7u+hhS0=
X-Complaints-To: abuse@eternal-september.org
NNTP-Posting-Date: Fri, 24 Jul 2009 10:08:39 +0000 (UTC)
X-Newsreader: mnews [version 1.22PL5] 2001-02/07(Wed)
X-Auth-Sender: U2FsdGVkX1/sqduSDAxWSRdSpqQnjndCuXDoYN1EkXw=
Cancel-Lock: sha1:jVdgxMgWzILO0Llrc3wwRFkJAMw=
Xref: news.ccsf.jp fj.sci.math:2967

工繊大の塚本です.

In article <10613ce2-36f2-48ad-89c1-4cf58931bf30@v23g2000pro.googlegroups.com>
KyokoYoshida <kyokoyoshida123@gmail.com> writes:
> 所で,P_mが必ず固有値を持つという保障はあるのでしょうか?

 P_m(P_m - I) = 0 ですから, 固有値 α を持つとすれば
 α = 0, 1 であり, α = 0 が固有値になるかというと,
 Ker P_m ≠ { 0 } が Im P_m が真部分空間になることから
保証されますから, 肯定的ですが,
 α = 1 が固有値になるかというと,
 Ker (P_m - I) = Im P_m = { 0 } となる場合として,
 P_m = 0 という場合がありますから,
それは場合によります.

一般に, 線形変換 P_m を考えて,
 P_m = 0 でなく, P_m = I でなく, P_m(P_m - I) = 0 であれば,
 P_m の固有値は 0 と 1 であり,
 P_m は対角化可能になります.

> 必ずVの正規直交基底がMとM^⊥内に取れる理由を述べたつもりでしたが。。

「必ず」というのは何処に係るのですか.
 V の正規直交基底で, それを構成するベクトルが,
 M にも M^⊥ にも入らないものはいくらでもあります.
 V の正規直交基底で, M の正規直交基底と
 M^⊥ の正規直交基底を合わせた形のものが
あることを言うのでなければなりません.
-- 
塚本千秋@応用数学.基盤科学部門.京都工芸繊維大学
Tsukamoto, C. : chiaki@kit.ac.jp