• ベストアンサー

ジョルダン標準形について

ジョルダン標準形について (200) (220)=Aという行列のe^tAを求める際に (312) まずは対角化するのですが その時に必要なPの求め方で悩んでいます。 Aの固有多項式は|tE-A|=(t-2)^3となると思うのですが この場合のやり方を忘れてしまいました(:_;) 答え(の1つ)は (001) (020) (230)となります。 そしてジョルダン標準形は (210) (021) (002)です。 この1の数は次元を求めて分かるものでしたっけ? 長々と書いてしましましたが Pの求め方とジョルダン標準形の1の数について 教えてください。。

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

  • ベストアンサー
  • alice_44
  • ベストアンサー率44% (2109/4759)
回答No.2

(200) (220) (312) をジョルダン標準形にするときに、 変換行列の求めかたを知らなかったんですね? (A-2E)x = 0 を解いて、 固有値 2 の固有空間が 1 次元しかないことを見れば、 A のジョルダン標準形が (P^-1)AP = (210) (021) (002) であることは判ります。 後は、P の各列ベクトルを q,r,s とでも置いて、 Aq = 2q, Ar = q+2r, As = r+2s を解けばよいでしょう。 P がユニタリ行列であることから p,q,r の各ノルムが 1 なので、これと併せて 上の式から順に一個づつ解いてゆけばよいです。

その他の回答 (1)

  • reiman
  • ベストアンサー率62% (102/163)
回答No.1

質問文には意味不明の内容があるのでその部分を指摘しておきたい e^tA これは多分 e^(tA) のことだと思うがかってにこっちで解釈するわけにはいかないので この部分は質問になかったことにするしかない (e^t)A だとこの表現は正しいからだ しかし前後関係からおかしな質問だということになる 「ジョルダン標準形の1の数」は何を言っているのかわからない 「Aの固有多項式は|tE-A|=(t-2)^3となると思うのですが この場合のやり方を忘れてしまいました」 この部分も意味不明 何のやり方が分からないのか明確に書くべき 固有多項式の作り方なのか行列式の求め方なのか こちらで解釈するわけにはいかないのでこの部分も無視するしかない 「答え(の1つ)は (001) (020) (230)となります。」 これは何の答えなのか? わけの分からないことを質問のちりばめないで 例えば (200) (220) (312) をジョルダンの標準形にする方法を教えてください とでも書けばよいと思うのだが 質問者の質問を勝手に訂正するわけにはいけないので 何とも致し方がない とにかく数学の質問は正しく書きましょう もちろん誤字脱字は許容すべきものですが 内容が意味不明だと手の施しようがない どうかよろしくお願いします

関連するQ&A

  • ジョルダン標準形の作り方

    固有ベクトルを求めずに、固有値だけでジョルダン標準形を求めるやり方を教えて下さい。 自分のやり方の間違っている点や不十分なところを指摘して下さい。 例題 A= [2 0 -1] [-2 3 2 ] [1 0 0] のジョルダン標準形を求めなさい。 解法 (1)固有多項式で固有値を求める。 固有多項式Ψ(λ)=(λ-3)(λ-1)^2 λ=1(重解)、3 (2)それぞれの固有値におけるジョルダン細胞の個数を求める。 「1つの固有値に対する互いに独立な固有ベクトルの本数(固有空間の次元数)は、その固有値に対するジョルダン細胞の個数に等しい」ので、 つまり、固有空間の次元数=dim(A-λE)=n-rank(A-λE)=ジョルダン細胞数なので、 λ=3の時、 rank(A-3E)=2 dim(A-3E)=3-2=1 λ=1に対して、ジョルダン細胞1つ。 λ=1について rank(A-E)=2 dim(A-E)=3-2=1 よってλ=1に対して、 ジョルダン細胞1つ。 (3)次にジョルダン細胞の次数を求める。 (A-3E)(A-E)≠0 (A-3E)(A-E)^2=0 より、最小多項式は (λ-3)(λ-1)^2なので、 λ=3のジョルダン細胞の次数は1 λ=1のジョルダン細胞の次数は2 よってJ=J(3,1)➕J(1,2) (➕は、+の丸囲み) J= [3 0 0] [0 1 1] [0 0 1] 一応、答えは出ました。これで間違いないですか? しかし、私のやり方では、(3)でわざわざ、 (A-3E)(A-E)^2を計算しなくてはいけません。 これがけっこう面倒です。 そうではなく、最小多項式を求めなくてもいいやり方を教えてほしいのです。

  • ジョルダン標準形をつくりたいのですが・・・

    次の3X3行列Aのジョルダン標準形を求めたいのですが、固有空間を求める段階でわからなくなっています。   (-1  1  0) A=( 0 -1  4)   ( 1  0 -4) 固有値は0、-3となり、次元は両方1次元。    固有値0の固有空間は、aを任意定数として  a( 1 1 1/4)   (←の行列は転置です)  固有値ー3の固有空間は、bを任意定数として  b( 1 -2  1)   (←の行列も転置です) ここから先がよくわからない部分なのですが・・・ (ここまででも間違っているかもしれませんので、違って いたら教えてください) 固有ベクトルの具体例を3つ用意するために、固有値ー3に対して、    p{A-(-3)E}=q  ...(★) (Eは単位行列、qはー3の固有ベクトル具体例) を満たすpを求めると、そのpが3つ目の固有ベクトルになる・・・ でいいのでしょうか? 実際、a=1、b=1として(★)を計算して、具体的な固有ベクトルとして、 (0 -1 1)を出しました。  (←の行列は転置) そして、これらのベクトルを列ベクトルにもつ行列Bを考えたとき、 (Bの逆行列)*A*B を計算してもジョルダン標準形になりませんでした。。 ジョルダン標準形はおそらく (-3  1  0) ( 0 -3  0) ( 0  0  0) ではないかと思うのですが、解法がよくわかりません。 誰かご存知の方に教えていただきたいのです。 お願いします。

  • ジョルダン標準形の求め方が?

    僕の教科書は、三宅敏恒「線形代数学」なのですが、 ジョルダン標準形の求め方として、 (tE-A)の根から固有多項式を出し、それから最小多項式を求めています。 僕が思うには、ジョルダン標準形は、固有値を一般的に求めるためのものなので、 このやり方では、意味ないと思います。 実際には、どうやって、ジョルダン標準形を求めるのですか? (行基本変形の繰り返しで、できるのでしょうか)

  • 代数学のジョルダン標準形の問題を教えて下さい

    この問題を教えて下さい。 3次複素正方行列Aの固有多項式が(t-1)^2(t-2)で、最少多項式(t-1)(t-2)である。 ジョルダン標準形は何かという問題です。 (1 0 0) (0 1 0) (0 0 2) であっているでしょうか。お願いいたします

  • 8×8行列ジョルダン標準形の問題

    A= [0 -1 1 0 -1 1 -1 1] [1 -3 3 0 -4 0 -2 0] [-2 1 -3 0 1 -2 1 -2] [-1 4 -4 -1 7 0 4 0] [-3 1 -3 0 0 -3 1 -3] [-2 6 -5 0 9 -2 6 -1] [3 1 1 0 3 4 0 4] [3 -6 6 0 -9 2 -6 1] のジョルダンの標準形を求め ジョルダンの標準形に相似変換する行列をを求めよ 次の解答でいいですか? 書き方も含めて、間違いを指摘して下さい。 【解答】 固有多項式 det(A-λE)= =λ^8+8λ^7+28λ^6+56λ^5+70λ^4+56λ^3+28λ^2+8λ+1 =(λ+1)^8 (二項定理の係数になってたので因数分解できました) 固有値:λ=-1(8重根) 固有値-1に対して、B=A+Eと書く。 最初にrank(B)を求める。 B= [1 -1 1 0 -1 1 -1 1] [1 -2 3 0 -4 0 -2 0] [-2 1 -2 0 1 -2 1 -2] [-1 4 -4 0 7 0 4 0] [-3 1 -3 0 1 -3 1 -3] [-2 6 -5 0 9 -1 6 -1] [3 1 1 0 3 4 1 4] [3 -6 6 0 -9 2 -6 2] ⇩(ガウスの消去法) [1 0 0 0 1 0 0 0] [0 1 0 0 1 0 1 0] [0 0 1 0 -1 0 0 0] [0 0 0 0 0 1 0 1] [0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0] よって、rank(B)=4 ジョルダン細胞数の数は固有空間の次元に等しいので、 dim(Ker(B))=8-rank(B)=4個 次にジョルダン細胞の次数を求める。 (m+1)次以上のジョルダン細胞の数は、 rank(A-λE)^m-rank(A-λE)^(m+1) で与えられるから、 rank(B)-rank(B^2)の値が2以上のジョルダン細胞の数を与えるから、B^2を計算。 B^2= [-1 0 -1 0 0 -1 0 -1] [-1 0 -1 0 0 -1 0 -1] [1 0 1 0 0 1 0 1] [2 0 2 0 0 2 0 2] [1 0 1 0 0 1 0 1] [4 0 4 0 0 4 0 4] [0 0 0 0 0 0 0 0] [-4 0 -4 0 0 -4 0 -4] ⇩ [1 0 1 0 0 1 0 1] [0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0] よって、rank(B^2)=1 rank(B)-rank(B^2)=4-1=3 2次以上のジョルダン細胞数は3個。 8次の中にジョルダン細胞数が合計で4個、2次以上が3個なので、 ジョルダン細胞の直和は、1次+2次+2次+3次という形になる。 Aの相似形を「~」で書くと、ジョルダン標準形は、次数の低い方からの直和で(➕は、+の丸囲みです) A~J(-1,1)➕J(-1,2)➕J(-1,2)➕J(-1,3) J= -1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 -1 次に固有ベクトルを求める。 求める固有ベクトルを p=[p1 p2 p3 p4 p5 p6 p7 p8]^t (^tは、転置行列)と書く。 p=(p1,p2,p3,p4,p5,p6,p7,p8) (列ベクトルの記述です) として、固有ベクトルを求める Bp=0 [1 0 0 0 1 0 0 0]p=0 [0 1 0 0 1 0 1 0]p=0 [0 0 1 0 -1 0 0 0]p=0 [0 0 0 0 0 1 0 1]p=0 p1+p5=0 p2+p5+p7=0 p3-p5=0 p6+p8=0 p4=任意 t,s,u,vを媒介変数として p=t(-1,0,1,0,1,0,-1,0)+s(0,-1,0,0,0,0,1,0)+u(0,0,0,1,0,0,0,0)+v(0,0,0,0,0,1,0,-1) 独立した固有ベクトルは、 (-1,0,1,0,1,0,-1,0) (0,-1,0,0,0,0,1,0) (0,0,0,1,0,0,0,0) (0,0,0,0,0,1,0,-1) の4つだが、 1次ジョルダン細胞に対するものを一番簡単な(0,0,0,1,0,0,0,0)にする。 それをx=[0 0 0 1 0 0 0 0]^t (転置)と書く。 By≠0、Bz≠0、Bu≠0、B^2u≠0の条件で y=[1 0 0 0 0 0 0 0]^t z=[0 1 0 0 0 0 0 0]^t u=[0 0 1 0 0 0 0 0]^t を設定すると、変換行列Pはジョル細胞の低い方をからの直和に合わせ P=[x By y Bz z B^2•u Bu u] P= 0 1 1 -1 0 -1 1 0 0 1 0 -2 1 -1 3 0 0 -2 0 1 0 1 -2 1 1 -1 0 4 0 2 4 0 0 -3 0 1 0 1 -3 0 0 -2 0 6 0 4 -5 0 0 3 0 1 0 0 1 0 0 3 0 -6 0 -4 6 0 P^(-1)= 0 0 0 1 34 28 16 37 0 0 0 0 4 4 2 5 1 0 0 0 1 2 0 2 0 0 0 0 -8 -9 -3 -11 0 1 0 0 1 -1 1 -1 0 0 0 0 9 12 3 14 0 0 0 0 -4 -3 -2 -4 0 0 1 0 -1 -1 0 -1 P^(-1)AP=J になる。

  • ジョルダン標準形

    次の行列Aをジョルダン標準形に変換せよ。 8 0 -1 -2 7 2 1 0 6 という問題なんですが、固有方程式を計算すると固有値は3重根で7でした。そこで固有値7に対する固有空間を求めると、多分計算が間違っていなければ x1=[1 0 1]^t , x2=[0 1 0]^t が一次独立なベクトルとして取れると思うんです。そして3本目が必要なので一般固有ベクトルを求めるために(A-7E)x3=x1としてx3(=[a b c]^tとする)を求めにいったんですが、これだと1本目の式と3本目の式はa-c=1で一致するんですが2本目の式は-2a+2c=0となりa,cが一意に決められません。これはさらに2本取れることを意味してるんでしょうか?仮にa=2,c=1として3本目のベクトルをx3=[2 0 1]^tとして進めていっても最終的なジョルダン標準形の形を計算したときに 7 0 1 0 7 0 0 0 7 とズレてしまいました。多分色々と間違いが重なった結果だと思うんですが、まだジョルダン標準形をしっかり理解できてないようなのでアドバイスよろしくお願いします! ちなみに一次独立なベクトルを並べた行列をPとすると僕の場合Pは 1 0 2 0 1 0 1 0 1 となりますが解答のほうは 1 1 0 -2 0 1 1 0 0 でした。

  • 3×3行列ジョルダン標準正規

    ジョルダン細胞の数と次数の考え方。 間違っていたら指摘して下さい。 3×3行列について (1)固有値が3つ異なる場合 α≠β≠γ それぞれの固有空間の階数(rank)は、2なので、それぞれの固有空間の次 元は1次元。 従って、ジョルダン細胞の次元は1次。1つの固有値に対するジョルダン細胞の数も1個。 J=J(α,1)+J(β,1)+J(γ,1) (2) 固有値が3重根の場合 (1)固有空間のrankが2の場合 固有空間の次元は、3-2=1次元。 固有ベクトルは、1つだけ。 よってジョルダン細胞は1個。 行列が3次なので、3次のジョルダン細胞が1個。 J=J(α,3) ここで、(A-αE)^2≠0、(A-αE)^3=0になるが、この計算は不要。 (2)固有空間のrankが1の場合 固有空間の次元は、3-1=2次元。 2次元上で独立な固有ベクトルは、2つ以上取れる。 ジョルダン細胞の数は2個。 3次元行列であるから、2個のジョルダン細胞は、2次1個と1次1個になる。 よって、J=J(α,1)+J(α,2) (3)固有値が2個が重根、1個単根の場合。 固有値=α(重根)、βとする。 (1)αに対する固有空間のrankが2の場合 固有空間の次元は、3-2=1次元。 ジョルダン細胞の数は1個。 1次元だからαの固有ベクトルは1個だけ。 βは単根だから、固有空間の次元は1次元で固有ベクトルは1個だけでジョルダン細胞の次元も1次。3次元行列だから、αに対するジョルダン細胞の次数は、3-1=2次元でなければいけない。 よって、J=J(α,2)+J(β,1) (2)αに対する固有空間のrankが1の場合 固有空間の次元は3-1=2次元。 2次元なので、固有ベクトルは2つ以上取れる。 ジョルダン細胞は2個でそれぞれ1次。 βに対するジョルダン細胞は上記と同じ。 よって、J=J(α,1)+J(α,1)+J(β,1)

  • ジョルダン標準形

    ジョルダン標準形の作り方がわかりません 例えば ( 0 -1 -1 0 ) ( -1 1 0 1 ) ( 2 1 2 -1 ) ( -1 -1 -1 1 )    (4行4列の行列式) のジョルダン標準形を求めるとき 固有方程式が(t-1)^4 になったので 固有値は1、 重複度は4 というところまでは計算したのですが、 その後の方法が分かりません ( 4 1 0 0 ) ( 0 4 1 0 ) ( 0 0 4 1 ) ( 0 0 0 4 )     とかでいいんでしょうか?

  • ジョルダン標準形を求める。

         1  3 -1 A = 0 2 1     -1 2 2 について、ジョルダン標準形にする変形行列とジョルダン標準形を求めよという問題です。 固有値は2、2、2。          3  -1 V(2) = < 1 、0 >          0  1 であることまではわかるのですがその後どうやってジョルダン標準形を求めるのかが分かりません。 すみませんが、どなたか解説をお願いします。

  • 4×4の行列のジョルダン標準形

    A=4×4の行列のジョルダン標準形の求め方について次の考え方でいいですか? (1)固有値が4重根の場合、固有値をλ。 (1)rank(A-λE)=1の時、 固有空間の次元は、4- 1=3 したがってジョルダン細胞は3個。 4×4行列だから、2次+1次+1次。 よって、J=J(λ,2)+J(λ,1)+J(λ,1) (2) rank=2の時、 ジョルダン細胞数は、4-2=2個。 2次+2次、または3次+1次。 そこで、 (A-λE)≠0と(A-λE)^2=0だったら、最高次数は2だから、J=J(λ,2)+J(λ,2) (A-λE)^3=0だったら、J=J(λ,3)+J(λ,1) または、rank(A-λE)^2=1だったら、 J=J(λ,3)+J(λ,1) (3)rank=3の時、 ジョルダン細胞数は、4-3=1個 よって、J=J(λ,4) (2)3重根λ1、単根λ2の場合 (1)λ1に対してrank=1の時、 ジョルダン細胞数は、4-1=3個 λ2は単根だから1次、λ1は残り3次に対して3個のジョルダン細胞数だからすべて1次。 よって、J=J(λ1,1)+J(λ1,1)+J(λ1,1)+J(λ2,1) (2) λ1に対してrank=2の時、 ジョルダン細胞数は、4-2=2個 残り3次に対して2個だから、λ1のジョルダン細胞次数は、2次+1次。 よって、J=J(λ1,2)+J(λ1,1)+J(λ2,1) (3)λ1に対してrank=3の時 ジョルダン細胞数は、4-3=1個 よって、J=J(λ1,3)+J(λ2,1) (3) λ1(2重根)、λ2(2重根)の場合 rank=1は、固有空間が3次元になるのであり得ない!!固有ベクトルが2個だから、固有空間の次元もそれ以下に必ずなる。 (1) λ1に対してrank=2、λ2に対してrank=2の時 それぞれジョルダン細胞数は、4-2で2個ずつだから、全部1次。 よって、J=J(λ1,1)+J(λ1,1)+J(λ2,1)+J(λ2,1) (2) λ1に対してrank=3、λ2に対してrank=2の時、 λ1のジョルダン細胞数は、4-3=1個 λ2のジョルダン細胞数は、4-2=2個 よって、2次+1次+1次 J=J(λ1,2)+J(λ2,1)+J(λ2,1) (3) λ1とλ2に対して両方rank=3の時、 ジョルダン細胞数は、それぞれ1個ずつ。 2次+2次。 よって、J=J(λ1,2)+J(λ2,2) (4) λ1(2重根)、λ2(単根)、λ3(単根)の場合 (1) λ1に対してrank=2の時、 ジョルダン細胞数は、4-2=2 よって、1次が2つ。 よって、J=J(λ1,1)+J(λ1,1)+J(λ2,1)+J(λ3,1) (2) λ1に対して、rank=3の時、 ジョルダン細胞数は、4-3=1個。 2次が1個。 よって、J=J(λ1,2)+J(λ2,1)+J(λ3,1) (5) 4つの固有値がすべて異なる場合。(λ1、λ2、λ3、λ4) すべて1次のジョルダン細胞 J=J(λ1,1)+J(λ2,1)+J(λ3,1)+J(λ4,1) rankは計算する必要なし。 たとえ求めても、ジョルダン細胞数はそれぞれの固有値に対して4-3=1個だから、必ず3になる。