ベストアンサー

f：V→Vが対角化可能 ⇔ 任意のα∈Kに対してV'(α)＝V(α)

2010/06/14 01:19

f：V→Vが対角化可能 ⇔ 任意のα∈Kに対してV'(α)＝V(α) ここで，V'(α)はαの広義固有空間で，V(α)はαの固有空間です．また，αがfの固有値でないときはV(α)＝｛0｝とします．これはどうすれば示せますか？よろしくお願いします．

frag4life
お礼率2% (7/264)

数学・算数
回答数1
ありがとう数11

みんなの回答 （1）
専門家の回答

質問者が選んだベストアンサー

ベストアンサー

alice_44
ベストアンサー率44% (2109/4759)

2010/06/14 09:59 回答No.1

f のジョルダン標準形を考えましょう。 V(α')⊇V(α) であって、 dim V(α') は固有値 α の重複度、 dim V(α) は α のジョルダン胞の個数ですから、 dim V(α') = dim V(α) は、各ジョルダン胞が一次であるための必要十分条件です。

関連するQ&A

f：V→V

f：V→V α_1,・・・,α_r：fの固有値（i≠j⇒α_i≠α_j）とします．このとき， g：V(α_1)?・・・V(α_r) → V （?は直和記号，V(α_i)はα_iの固有空間） g(x_1,・・・,x_r)=x_1+・・・+x_r とすると，gは単射である．これはどう示せば良いですか？ rに関する帰納法でやったのですが，n+1番目で混乱してしまいました．よろしくお願いします．
線形写像f:V→V'でf(V)はなぜ”部分”空間？

線形写像f:V→V'について、 f(V)={a'|a'=f(a)、a∈V}はV'の部分空間となるらしいのですが、なぜ”部分”空間なんでしょうか？ Vの各元がfによって移された元の作る空間がV'=f(V)で、f(V)はV'そのもの？じゃないんですか？初学でよく分かってません。どうぞ教えてください。
f：V→Wを体K上のベクトル空間VからWへの線形写像とし，v_1,…,

f：V→Wを体K上のベクトル空間VからWへの線形写像とし，v_1,…,v_(r+m)∈Vの一部v_(r+1),…,v_(r+m)がKerfの基底であると仮定します．このとき，（1）f(v_1),…,f(v_r)が線形独立 ⇒ v_1,…,v_(r+m)は線形独立（2）f(v_1),…,f(v_r)がImfの基底 ⇒ v_1,…,v_(r+m)のVの基底（3）v_1,…,v_(r+m)がVの基底 ⇒ f(v_1),…,f(v_r)はImfの基底を証明せよという問題なのですが，どれも途中で詰まってしまい，最後まで示せませんでした．どれか一つでも構わないので，教えていただけると助かります．よろしくお願いします．
線形代数学　対角可能に関しての質問です。

ｆ：Ｖ→Ｖ線形写像でｆが対角化可能とは (i）Ｖのある基底に関する表現行列が対角化行列になること。（ii）Ｖの任意の基底に関する表現行列が対角化可能であること。 (ii)⇒(i)の証明です。詳しい解説よろしくお願いします
集合Hom_k(V,M)の元f,g　f+g∈Hom_k(V,M)

V,Wを体K上の線形空間とし、集合Hom_k(V,M)を Hom_k(V,W)={f|f:V→W,線形写像}として定めて Hom_k(V,W)上の和f+gを　(f+g)(x)=f(x)+g(x) (x∈V) と定めるとき、f+g∈Hom_k(V,M)になることを示したいのですが当たり前すぎて証明するのが難しくてできません。どのようにまとめればいいでしょうか？
行列の対角化について

｜-8　9　-9｜｜9　-8　　9｜｜9　-9　10｜という行列に関してです。まず固有値をλとするとλ＝１、－８となると思うのですが、この場合、対角化できるのでしょうか？できると思うのですが、うまくいきません。固有値が間違っているのでしょうか？また、対角化をする際、各固有値に対する固有空間の基底を求めて、その基底を並べて対角化するための変換行列を作ると思いますが、基底の並べ方に制約があったりするのでしょうか？以上なのですが、ご教授していただけないでしょうか？よろしくお願いします。
線形代数学の問題

VをK上の線形空間。 K = Cのとき，線形変換 f : V → V の固有多項式が重根を持たなければ，f は対角化可能であることを示せちょっとわからないので解説お願いします
(-1)^k・nCk・k^v のシグマ計算絡みです

自分にとっては、未だ見たことも問題です。どなたか、この場合の切り口だけでも教えていただけませんか。どうかよろしくお願いいたします。＜問題＞ｎ：自然数　ｖ：０以上ｎ以下の整数　　f(v)＝Σ (-1)^k・nCk・k^v （k=0からnまで）とすると，　　f(v)＝0 （ 0≦v≦n-1 のとき）　 f(v)＝(-1)^n・n！（ 0≦v≦n-1 のとき）となることを示せ。
行列の対角化

　　┌1　－2　－2┐ A＝│1　　2　　2│ 　　└(-2)　2　　1┘ という行列なのですが、対角化できるのでしょうか？何度も何度も解きなおしてるんですけど対角化できません。 Aの固有方程式の解で重解になっているものがないので対角化は・・可能ですよね？固有値として-1、±√7が求まるのですが、±√7に対する固有空間を考えるとどうしても固有ベクトルとして成分がすべて0の（3,1）行列しか出てこなく、対角化行列が　　┌0　0　0┐ P＝│1　0　0│ 　　└(-1) 0 0┘ といったような行列になってしまうのですが、この場合P^(-1)が存在しないためP^(-1)*A*Pは存在しない事になり、Aは対角化不可能ということになってしまいますよね？？多分どこか間違った理解をしているところがあると思います。どなたかご教授お願いできないでしょうか？
　Σ (-1)^k・nCk・k^v が完答できず？

先日、親切にも次のヒントをいただいたのですが、vの関数であり、x, kで混乱し途中で行き詰ってしまいました。どなたか、最終解答をお願いできないでしょうか。「二項定理から、(x-1)^n＝(-1)^n＊Σ[(-1)^k (nCk) x^k] となる。これはxについての恒等式。両辺をｘで１回，…．n回微分。x＝1を代入してできたn個の式どうしを足したり引いたりすればよい。」＜問題＞ｎ：自然数　ｖ：０以上ｎ以下の整数　　f(v)＝Σ (-1)^k・nCk・k^v （k=0からnまで）とすると，　　f(v)＝0 （ 0≦v≦n-1 のとき）　 f(v)＝(-1)^n・n！（ v＝n のとき）となることを示せ。
行列の対角化について

(4 -5) (2 -3) という行列Ａがあり、この行列の固有値が２とー１、固有ベクトルが a(5),b(1) 　(2) (1) となります。（ただしa,bは０でない任意実数）この行列Ａを対角化するときに対角化するのに必要な行列をＰであらわすとＰ＝(5 1) 　　 (2 1) とできるとあるのですがこのＰをＰ＝(1 5) 　　 (1 2) とすることはできないのでしょうか？
V:有限次元内積空間,∀f∈Dual(V),∃1y∈V such that f(x)=<x,y> (∀x∈V)

宜しくお願い致します。 [問]VとDual(V)をそれぞれ有限次元内積空間とVの双対空間とする。 ∀f∈Dual(V),∃1y∈V such that f(x)=<x,y> (∀x∈V) という問題が証明できません。 Dual(V)はvHom(V,C):={f;f:V→C,fはベクトル空間準同型}(Cは複素数体を表す) の事です。 fがベクトル空間準同型とは∀v,w∈V,∀c∈C,f(v+w)=f(v)+f(w)∧f(cv)=cf(v)と満たす線形写像の事です。内積の定義は複素線形空間Vの任意の要素x,yに対して複素数<x,y>が定まり,次の4条件を満たす時<x,y>をxとyの内積といい,内積が定義されている空間Vを内積空間と言う。 (i) <x,x>≧0; <x,x>=0⇔x=0 (ii) <x,y>=<y,x>~ (~はバーを表す) (iii) <x+y,z>=<x,z>+<y,z> (iv) <αx,y>=α<x,y> です。この命題を満たすyとして何を採れば宜しいのでしょうか?
行列の対角化について

n次正方行列Aがある対角行列と相似の時、行列Aの各特性根αに対する固有空間の次元の和がnになることは分かるのですが、各特性根αの（特性方程式の）重複度と固有空間の次元が一致するのがなぜだか分かりません。どなたか教えてください。お願いします。
ｖ・∇ｖ＝1/2∇（ｖ・ｖ）-ｖ×（∇×ｖ）の証明

ｖ・∇ｖ＝1/2∇（ｖ・ｖ）-ｖ×（∇×ｖ）の証明がわからず困っています。ｖはベクトルです。ベクトル三重積を使うのかと思いましたが、1/2が出てきますのでよくわかりませんでした。ベルヌーイの定理の証明の途中で上記の式が出てくるので困っています。わかる方教えてもらえないでしょうか。よろしくお願いします。
Vをn次元内積空間とする。線形写像f:V→Vがpositive且つ<f(x),x>≧0(∀x∈V)ならtr(f)≧0

内積空間についての命題の証明についてです。 [命題]Vをn次元内積空間とする。線形写像f:V→Vがpositive且つ<f(x),x>≧0(∀x∈V)ならtr(f)≧0 を示しています。 fがpositiveであるの定義は<f(x),y>=<x,f(y)> (for∀x,y∈V) tr(f)の定義はfの表現行列Aのトレース Vの基底を{v_1,v_2,…v_n}とすると x=Σ[i=1..n]c_iv_i y=Σ[i=1..n]d_iv_i (c_i,d_i∈C:複素数体 (i=1,2,…,n)) f(v_j)=Σ[i=1..n]a_ijv_i と書け,((a_ij)=:Aをfの表現行列という) <f(x),y>=<f(Σ[i=1..n]c_iv_i),Σ[i=1..n]d_iv_i> =<Σ[i=1..n]c_if(v_i),Σ[i=1..n]d_iv_i>(∵fは線形写像) <x,f(y)>=<Σ[i=1..n]c_iv_i,f(Σ[i=1..n]d_iv_i)> =<Σ[i=1..n]c_iv_i,Σ[i=1..n]d_if(v_i)>(∵fは線形写像) で仮定より <Σ[i=1..n]c_if(v_i),Σ[i=1..n]d_iv_i> = <Σ[i=1..n]c_iv_i,Σ[i=1..n]d_if(v_i)> と書ける。。。からどのようにして証明してけばいいのでしょうか?
ｎ×ｎ複素対称行列の対角化

[1 i] [i 3] が対角化できるかどうか？の問題なのですが行列式：４，固有値：２のみ，固有ベクトルの張る空間：ａ・（ｉ，１）＾Ｔだと思うのですが正しいですか？固有空間の次元が１であり２でないので前記行列は正則行列によって対角化できないと結論づけていいのでしょうか？「もしも、対称行列が一次独立になった場合、行列の対角化はどのようにして求めたら良いのでしょうか？」という質問があったのですが対称行列に「一次独立」は定義されているのでしょうか？私は「正則」のことだと思うのですが
対角化の問題で（固有値、固有ベクトル）

固有空間がこんな感じになった場合、固有ベクトルはどうなるんでしょうか？ ┌1　0 -1┐┌x1┐　 ┌0┐ │-1 0　1││x2│＝│0│・・・☆ └0 　0　0┘└x3┘　└0┘ この固有空間の次元2と固有値の重複度2は一致しているんで対角化は可能なんですが、 ☆から固有ベクトルって2つ求まるんですか？ ☆からわかるのってx1=x3だけで、x2に関する関係が何も出てこないんで困ってます・・・どなたかご教授お願いします。
線形空間

広義線形空間分解の問題です。 VをC係数の二次以下の多項式全体のなすＣ上のベクトル空間とする。Ｖの元f(X)に対して、 φ(f(X))=X^2*f"(X)-f'(X)+f(X) とおく。 f"は二階微分,f'は一階微分このとき、Ｖのｆに関する広義固有空間分解を求める問題です。考えたのですが、糸口からしてわかりません。解答の道筋を教えてください。
{v_1,v_2,…,v_m}が線形空間Vの基底になっている事の証明ができません

Let V be a finite dimesnsional space over R,with a positive definite scalar product. Let {v_1,v_2,…,v_m} be a set of elements of V, of morm 1, and mutually perpendicular (i.e. (v_i,v_j>=0 if i≠j). Assume that for every v∈V we have ∥v∥^2=Σ[i=1..m]<v,v_i>^2. Show that {v_1,v_2,…,v_m} is a basis of V. 「Vを内積を持ったR上の有限次元線形空間とせよ。{v_1,v_2,…,v_m}をVの元の集合とし各ノルムは1で互いに直交しているものとする。∥v∥^2=Σ[i=1..m]<v,v_i>^2が成り立っている時,{v_1,v_2,…,v_m}はVの基底となる事を示せ」が解けずに困っています。今,∥v_1∥=∥v_2∥=…=∥v_m∥=1で<v_i,v_j>=0(i≠j i,j=1,2,…,m) なのでv_1,v_2,…,v_mは一次独立と分かります。後は任意のv∈Vがv_1,v_2,…,v_mの一次結合で表せれれば{v_1,v_2,…,v_m}が基底である事が言えるのですが ∥v∥^2=Σ[i=1..m]<v,v_i>^2をどうしてもv=(v_1,v_2,…,v_m一次結合)と変形できません。どうすれば変形できますでしょうか?
行列の対角化ができません。

行列の対角化ができません。対角化が解りません、基本的には固有値→固有ベクトル→対角化と思うのですが、お知恵を貸して下さい。以下問題です。 (3 3 1) (3 9 -1) (1 -1 1)の対角化です。固有方程式を作り、サラス式で展開すると(固有方程式の変数にtを用います) t^3-13t^2+28t=t(t^2-13t+28) より固有値は0と(13±√(57))/2となります。余因数展開で展開しても同様の結果になります。この値からの対角化は困難に思えます。これはどこかで計算を間違えたのでしょうか？

f：V→Vが対角化可能 ⇔ 任意のα∈Kに対してV'(α)＝V(α)

質問者が選んだベストアンサー

関連するQ&A

f：V→V

線形写像f:V→V'でf(V)はなぜ”部分”空間？

f：V→Wを体K上のベクトル空間VからWへの線形写像とし，v_1,…,

線形代数学　対角可能に関しての質問です。

集合Hom_k(V,M)の元f,g　f+g∈Hom_k(V,M)

行列の対角化について

線形代数学の問題

(-1)^k・nCk・k^v のシグマ計算絡みです

行列の対角化

Σ (-1)^k・nCk・k^v が完答できず？

行列の対角化について

V:有限次元内積空間,∀f∈Dual(V),∃1y∈V such that f(x)=<x,y> (∀x∈V)

行列の対角化について

ｖ・∇ｖ＝1/2∇（ｖ・ｖ）-ｖ×（∇×ｖ）の証明

Vをn次元内積空間とする。線形写像f:V→Vがpositive且つ<f(x),x>≧0(∀x∈V)ならtr(f)≧0

ｎ×ｎ複素対称行列の対角化

対角化の問題で（固有値、固有ベクトル）

線形空間

{v_1,v_2,…,v_m}が線形空間Vの基底になっている事の証明ができません

行列の対角化ができません。

注目のQ&A

カテゴリ
一覧

専門家に質問してみよう
専門家登録

あなたにピッタリな商品が見つかる！ OKWAVE セレクト

f：V→Vが対角化可能 ⇔ 任意のα∈Kに対してV'(α)＝V(α)

質問者が選んだベストアンサー

関連するQ&A

f：V→V

線形写像f:V→V'でf(V)はなぜ”部分”空間？

f：V→Wを体K上のベクトル空間VからWへの線形写像とし，v_1,…,

線形代数学 対角可能に関しての質問です。

集合Hom_k(V,M)の元f,g f+g∈Hom_k(V,M)

行列の対角化について

線形代数学の問題

(-1)^k・nCk・k^v のシグマ計算絡みです

行列の対角化

Σ (-1)^k・nCk・k^v が完答できず？

行列の対角化について

V:有限次元内積空間,∀f∈Dual(V),∃1y∈V such that f(x)=<x,y> (∀x∈V)

行列の対角化について

ｖ・∇ｖ＝1/2∇（ｖ・ｖ）-ｖ×（∇×ｖ）の証明

Vをn次元内積空間とする。線形写像f:V→Vがpositive且つ<f(x),x>≧0(∀x∈V)ならtr(f)≧0

ｎ×ｎ複素対称行列の対角化

対角化の問題で（固有値、固有ベクトル）

線形空間

{v_1,v_2,…,v_m}が線形空間Vの基底になっている事の証明ができません

行列の対角化ができません。

注目のQ&A

カテゴリ 一覧

専門家に質問してみよう 専門家登録

あなたにピッタリな商品が見つかる！ OKWAVE セレクト

線形代数学　対角可能に関しての質問です。

集合Hom_k(V,M)の元f,g　f+g∈Hom_k(V,M)

　Σ (-1)^k・nCk・k^v が完答できず？

カテゴリ
一覧

専門家に質問してみよう
専門家登録