行列の特性多項式と行列式に似た演算について

このQ&Aのポイント
  • 行列の特性多項式について調べていたら、トレース・行列式を一般化したような演算に出会いました。
  • 特性多項式は、二次正方行列では x^2 - tr(A)x + det(A) と表され、三次正方行列では x^3 - tr(A)x^2 + (a11a22-a12a21 + a22a33-a23a32 + a11a33-a13a31)x - det(A) と表されます。
  • この演算は行列の特性多項式の一般化された形であり、nxn行列を取り出す操作を勝手にtr_nと呼びます。特性多項式は美しい形で書けます。
回答を見る
  • ベストアンサー

行列のトレース・行列式に似た演算

行列の特性多項式を調べていたら、トレース・行列式を一般化したような演算に出会いました。 二次正方行列Aの特性多項式は x^2 - tr(A)x + det(A) です。 そして三次正方行列Aでは x^3 - tr(A)x^2 + (a11a22-a12a21 + a22a33-a23a32 + a11a33-a13a31)x - det(A) と表されます。 ここで、この式のxの係数は、 a11 a12 a13 a21 a22 a23 a31 a32 a33 この元の行列で、主対角線に沿った2x2行列の行列式の総和になっています。つまり、 a11 a12 ○ a21 a22 ○ ○ ○ ○ a11 ○ a13 ○ ○ ○ a31 ○ a33 ○ ○ ○ ○ a22 a23 ○ a32 a33 この部分の行列式の総和となっています。 この場合は2x2行列を取り出しましたが、1x1行列を取り出すとトレースに、3x3行列を取り出すと行列式になります。 そこで、このnxn行列を取り出す操作を勝手にtr_nと呼ぶと、 x^3 - tr_1x^2 + tr_2x - tr_3 とかなり美しい形で特性多項式が書けます。 このtr_nについて、 正式な名前は何と言うんでしょうか? また、行列式は体積要素として幾何学的な意味を持ちますが、この演算は幾何学的にはどのような意味を持つのでしょうか? 知っている方いらっしゃいましたら、解答お願いします!

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

  • ベストアンサー
  • my3027
  • ベストアンサー率33% (495/1499)
回答No.1

自分でこれに気がつくなんて凄いですね! 私はこれを非線形弾性力学で習いました。まず以下が名前です。 I1=tr(A) I2=(AkkAll-AklCkl) /2(指標表示ですがtr_nと同じです) I3=det(A) 以上の3つを不変数(invariant)と呼びます。ですので回答は2次不変数ですね。 この演算は、ある座標系を基準に物体が移動した時の座標変換をへてもあるテンソルの上記の不変量は変わりません(固有値問題)。 x^3 - tr_1x^2 + tr_2x - tr_3=0はテンソルの固有値を解く為の特性方程式になります。あとは歪エネルギを表すのにW(I1,I2,I3)として表したりします。詳細は非線形弾性力学の本を参照下さい。

hikuta0924
質問者

お礼

ありがとうございます! なるほど、不変量だったんですか・・やっぱりトレースや行列式と同じくらい重要な量だったんですね。 弾性力学は、剛体に力を加えたときの応力の分布の図を何かで見たことがあります。これの応用に興味があったので、今度調べてみようと思います。

関連するQ&A

  • 行列の固有値とトレースについて

    問 正方行列のトレース(対角成分の和)は、その固有値の総和になる。 この問題は行列が対角化可能ならば成り立ちますが、対角化不可能の場合でも成り立つのでしょうか? ご指導よろしくお願いします。

  • 行列

    0<=a<=1に対して 行列(三次の正方行列) 行列A = (3/4a 1 -1) ( 0 9a   3 ) とする。ここで,det(M)は正方行列Mの行列式を表す。 (3/4a 1 -a) (1)det(A)を求めよ。 (2)nを自然数とする。lim(n→∞)det(A^n)を求めよ。 (1)については,-27/4*a^3+27/4a^2と分かるのですが (2)についてのやり方がわかりません。お願いします。

  • 数学 行列のトレースについて

    分からない問題があります。 n次正方行列A=(aij)に対して、tr(^tAA)を求めよです。

  • トレースと行列式のみから固有値を求める方法

    一般的な方法で固有値を求める方法は理解したのですが、 Aの固有値を求めたいとき、 Aが二次元の場合、 (tr(A)±sqrt(tr(A)^2-4det(A)))/2という式が成り立つと思うのですが、 Aが三次元、もしくはn次元の場合、 このようにAのトレースと行列式だけで固有値を求める方法はありますか。 似たような例や考え方のヒントだけでも教えていただければ幸いです。 よろしくお願いいたします。

  • 線形代数 行列式について

    簡単そうな問題ですが、なかなか解けなくて困っています;; 行列A,Bをそれぞれn、m次の正方行列とするとき Xという行列を X=|OA| で表すとき(つまりxはm+n次行列でOの部分は要素が0) |BO| 「det(X) = (-1)^nm * det(A)*det(B)」となることについてです。 基本変形等で出来る問題でしょうか? それともsgnなどを使ってこまごま解く方法なのでしょうか・・>< よろしくおねがいします。

  • 行列の問題

    n次正方行列Aは多項式f(x)=x^m+am-1x^(m-1)+・・・・+a1x+1(m≧1)に対して、f(A)=Oを満たすとする。このときAが正則であることを示し、Aの逆行列を求めよ。っていう問題です。。。

  • 行列です。

    nxnの正方行列行列A=[aij],B=[bij]に対し,C=[cij]およびC'=[c'ij]を以下のように定義する。 C=(AB)^T C'=B^TA^T このとき,cij,c'ijをaij,bijを用いて表せ.なお,結果は総和記号Σを用いて表すこと. よろしくおねがいします。

  • 行列の問題です、よろしくお願いします。

    A=(a b ; c d) (←2次の正方行列をこのように表すとします) (1)行列Aが固有値λ1、λ2 (λ1≠0、λ2≠0)を持つとするとき、ケーリー・ハミルトンの式を用いて、 tr(A)=λ1+λ2、 det(A)=λ1・λ2 となることを示せ。 (λ1の"1"などはλの添え字だとします) (2)上記の条件の下で、(λ1-λ2)・A^n=((λ1)^n-(λ2)^n)・A-((λ1)^n・λ2-λ1・(λ2)^n)・E が成り立つことを示せ。ただしnは正の整数とする。 ( "^n" はn乗を、"E"は単位行列を表しています) という問題がよくわかりません。 (1)は、僕なりの解としては、ケーリー・ハミルトンを用いなければ A-λE=(a-λ b ; c d-λ) det(A-λE)=(a-λ)(d-λ)-bc =λ^2-(a+d)λ+ad-bc=0 この方程式の2解はλ1、λ2なので、解と係数の関係より λ1+λ2=a+d=tr(B) λ1・λ2=ad-bc=det(B) としましたが、ケーリー・ハミルトンを用いるとどのようになるのでしょうか? (2)は、全然方針が思い浮かびません…どのように解くのでしょうか?よろしくお願いします。

  • 行列の固有値問題

    以下の証明はどのように行えばいいのでしょうか。 n次多項式f(s)=a(n)s^n + a(n-1)s^(n-1) + ・・・・ +a(1)s + a(0)とする。 行列A(n×nの正方行列)の固有値がλ1、λ2、・・・、λnであるとき、行列多項式f(A)の固有値はf(λ1)、f(λ2)、・・・、f(λn)であることを、任意のn次正方行列は適当な正則行列QによってQ^(-1)AQが下三角行列になるようにできることと、下三角行列の固有値は対角成分になることを用いて示せ。 という問題です。分かりにくくてすいません。 行列多項式というものが初めて目にする言葉ですし、方針が立ちません。 よろしくお願いします。

  • ハミルトン・ケイリーの定理に関する質問です。

    ハミルトン・ケイリーの定理に関する質問です。 参考書を読んでいたところ、 ΦA(x)=det(xE-A) Aは任意の正方行列 ΦA(x)(Aがn次ならn次多項式) を定義すると、ΦA(A)=0 とあったのですが、 xはスカラーであったのに、 Aは行列式です。 どうして、Aをxの式に代入できるのでしょうか? よかったら教えてください。