• 締切済み
  • すぐに回答を!

線形代数がわかりません・・・

線形代数がわかりません・・・ A? = -A となる行列を歪エルミート行列という。 (1) 歪エルミート行列の固有値は全て純虚数であることを示せ。 (2) 歪エルミート行列の相異なる固有値に関する固有空間は互いに直交することを示せ。 (3) 歪エルミート行列はユニタリ行列で対角化できることを示せ。 がわかりません。。。おねがいします><

共感・応援の気持ちを伝えよう!

みんなの回答

  • 回答No.3

Aの共役行列をA~ Aの転置行列をt(A) Aを歪エルミート行列とする t(A~)=-A (1) Aの固有値λ 固有ベクトルx とすると定義から Ax=λx…(1) 両辺の共役転置行列をとれば、 -t(x~)A=t(x~)t(A~)=t((Ax)~)=t((λx)~)=λ~t(x~) 右からxをかけると -t(x~)Ax=λ~t(x~)x…(2) (1)の左からt(x~)をかけると t(x~)Ax=λt(x~)x…(3) (2)+(3)から 0=(λ+λ~)t(x~)x , t(x~)x>0 ∴λ+λ~=0 すなわち λの実数部は0で準虚数である (2) Aの異なる固有値λ1,λ2に応ずる固有ベクトルを x,y とすれば、 Ax=λ1x …(1) Ay=λ2y λ2は準虚数でλ2~=-λ2だから、共役転置行列をとれば -t(y~)A=λ2~t(y~)=-λ2t(y~) 右からxをかけると -t(y~)Ax=-λ2t(y~)x…(2) (1)の左からt(y~)をかけると t(y~)Ax=λ1t(y~)x…(3) (2)+(3)から 0=(λ1-λ2)t(y~)x , λ1≠λ2 ∴t(y~)x=0 すなわちxとyは垂直である (3) 行列Aの次数nについて帰納法を用いる. n=1のときは自明である. n-1次のとき対角化できると仮定すると Aの固有値をλ_1としてそれに応ずる固有ベクトルで長さ1のものを x=(x_{1,j})_{j=1~n} とする xA=λ_1x , xt(x~)=1 xを第1行,xと直交し互いに直交するn-1個の長さ1のベクトルを第2~n行とするユニタリ行列 L_1=((x_{i,j})_{j=1~n})_{i=1~n}, t(L_1~)=L_1^{-1} をとる L_1t(L_1~)=Eの第1行 xt(L_1~)=(1,0,…,0) となっている H=L_1At(L_1~)の第1行は xAt(L_1~)=λ_1xt(L_1)=(λ_1,0,…,0) となる.t(H~)=-L_1At(L_1~)=-Hだから Hの第1列はt(λ_1,0,…,0)となる. H=L_1At(L_1~)= (λ_1,   0,…,   0) (  0,a_{2,2},…,a_{2,n}) ( …,  … …   …) (  0,a_{n,2},…,a_{n,n}) の形になる。 行列 H_1=((a_{i,j})_{j=2~n})_{i=2~n}, a_{i,j}~=-a_{j,i} はn-1次歪エルミート行列だから帰納法の仮定によって H_2=L_2'H_1t(L_2'~)= (λ_2, 0,…,0) (  0,λ_3,…,0) ( … … … …) (  0,……,λ_n) となるようなn-1次ユニタリ行列L_2'をとれる L_2= (1,  0) (0,L_2') L=L_2L_1 とすると,Lはn次ユニタリ行列で H'=LAt(L~)=L_2(L_1At(L_1~))t(L_2~)= (1,  0)(λ_1, 0)(1,    0) (0,L_2')(  0,H_1)(0,t(L_2'~)) = (λ_1,  0,…,  0) (  0,λ_2,…,  0) ( … … …  …) (  0,  0,…,λ_n)

共感・感謝の気持ちを伝えよう!

  • 回答No.2
  • Tacosan
  • ベストアンサー率23% (3656/15482)

「いまいちわからない」ということは, 大体のことはわかるってことだな. OK, じゃあエルミート行列ではこの (1)~(3) に対応してどのような命題になるかを書いて, それをおよそでいいので証明してみてください.

共感・感謝の気持ちを伝えよう!

  • 回答No.1
  • Tacosan
  • ベストアンサー率23% (3656/15482)

どこが分からんのだ? 歪エルミートじゃなくてエルミートだったらわかるか?

共感・感謝の気持ちを伝えよう!

質問者からの補足

エルミートでもいまいちわからないんです…

関連するQ&A

  • 線形代数で困ってます

    線形代数の問題です。    ( 5 -1 1  ) A=( 8 -1 2  ) に対し、A^n(n∊N)を求めよ    (-6 1 -1 ) という問題なのですが、Aを対角化して解こうとしたのですが、 固有値=1になってしまいうまく対角化出来ません。 そもそものアプローチが間違っているのでしょうか? 解る方いらっしゃれば回答お願いいたします。

  • 線形代数について

    線形代数についていくつか質問があります。 (1)対称行列を対角化する際、固有ベクトルの大きさを1にする必要があるのですか?任意の大きさでは駄目なのですか? (2)対角化する際、U^-1AUと計算すると思うのですが、これの計算をしなくて、固有値を入れたものをいきなりだしてよいのですか? (3)根本的な質問で恥ずかしいのですが、行列式で出される値の意味がよく分かりません。行列との関係などを教えてください。 どれか一つでもいいので分かれば教えてください。

  • 大学一年の線形代数に関する質問です。

    大学一年の線形代数に関する質問です。 以下の問題解ける方がいらしたら、助けていただけませんでしょうか? 問題 AとBを3×3の実対称行列とする。いまAが、ある直交行列Pによって次のように対角化されるものとする。 λ1 0 0 0 λ2 0 0 0 λ3 λi≠λj(i≠j) このとき、BがPによって対角化されるための必要十分条件はAB=BAであることを示せ。

  • 線形代数についてです・・・

    線形代数についてです・・・ U をn 次ユニタリ行列で|U - En| ・= 0 であるとき、 iH = (U + En) ? (U - En)-1 (1) H はエルミート行列であることを示せ。 (2) U の固有値でH の固有値を表せ。 これがわかりませんお願いします><

  • 線形代数の質問です

    線形代数の証明問題がわかりません。 AとBを3×3の実対象行列とする。 直行行列PによりAが対角化されるとする。 このときBがPに対角化されるための必要十分条件はAB=BAであることを示せ。 というものです。よろしくお願いします。

  • 線形代数の行列に関する問題です。

    線形代数の行列に関する問題です。     {{0 a 3}, 行列 A = {0 0 4},  (a は定数)      {3 4 0}} この行列は5を固有値に持つとする。 1.定数a の値を求めよ。 2.A の固有値を全て求め、A の各固有空間λ に対する固有空間        Wλ = {x ∈ R^3 : Ax = λx}   の規定と次元dim Wλを求めよ。 3.B = P^{-1}AP が対角行列となるような3次正則行列Pおよび対角行列Bを1組求めよ。 受験勉強が間に合っておらずあたふたしています。 基礎は押さえているので、答えの導出方法、考え方をご教授していただけると助かります。 どうかよろしくお願い致します。

  • 大学一年の線形代数に関する質問です。

    大学一年の線形代数に関する質問です。 以下の問題解ける方がいらしたら、助けていただけませんでしょうか? 問題 AとBを3×3の実対称行列とする。いまAが、ある直交行列Pによって次のように対角化されるものとする。 λ1 0 0 0 λ2 0 0 0 λ3 λi≠λj(i≠j) このとき、BがPによって対角化されるための必要十分条件はAB=BAであることを示せ。 「Bが実対称行列」←→「対角化可能」 は理解しています。(実対称行列についても、対角化についても勉強しました。) しかし、「AB=BA」←→「Pによって対角化可能」の部分が分かりません。 おそらくPAPやtB=B,tA=Aを使うと思うのですが、わかりません。 「Pによって対角化可能」→ 「AB=BA」 のヒントだけでも教えていただけないでしょうか?

  • 線形代数学の教科書

    大学工学部の線形代数学の、問題が豊富で、その解説の詳しい参考書を探しています。線形代数ではありません。具体的にいうと面積・体積と行列式、行列式の計算、余因子行列とクラーメルの公式、固有値と固有ベクトル、正方行列と対角化、内積と転置行列、直行行列と実対称行列の対角化、二次形式の標準化、一般固有空間、ジョルダン標準形が載っているものです。

  • 線形代数の問題です。

    線形代数の問題です。 1.U,U'がそれぞれK上のn次元ベクトル空間とする。このとき線形写像f:U→U'が単射であることと全射であることが同値であることを証明せよ。 2. 行列Aの固有値をλ1,λ2,…λnとしたとき、 行列A^2の固有値は、Aの固有値をそれぞれ2乗したもの以外には存在しない。これは正しいか 3.Aのすべての成分が正でかつ行列式が正なら、Aの逆行列の成分もすべて正であることを示せ。 以上です。よろしくお願いします。

  • 線形代数の対角化の問題です。お願いします。

    こんにちは。 独学で線形代数を勉強してしているものです。 早速ですが、力を貸していただけませんでしょうか・・・ /////////////////////////////////////////// 下記の行列をAとして、A^(-2)を求めよ。    |  -3    0   2   | A= |  -1    -2  -1 |    |  -2   0   2   | /////////////////////////////////////////// という問題なのですが、解けません。。 まず、対角化が出来なくて困っています。 固有値は、λ=-2(重解)、1 の2つだと思うのですが、 固有値を-2としたとき、固有ベクトルxを求めるにあたって、 Tx=0 とするべきTが、    |  -1    0    2   | T= |  -1    0    -1 |    |  -2   0   4   | となり、1行目と2行目で矛盾が生じてしまいます。 固有値の求め方が違うのでしょうか?全く分かりません。 また、対角化が出来たとしても、-2乗というのはどういう計算になるのやら さっぱり分かりません。 回答・解説の無い問題で困っています。 どうぞ宜しくお願いします。