- ベストアンサー
行列 対角和 トレース
- みんなの回答 (2)
- 専門家の回答
質問者が選んだベストアンサー
No1 です。 >ご回答頂いた内容なのですが、基底を変えても変化しない不変量 >である事にどのようなメリットがあるのでしょうか? 例えば、行列Aを対角化するというのは(Aが対角化可能として)、Dを対角行列として、D=PAP^(-1) と変形すること(基底を替えて行列を見やすくする事)ですが、このとき tr(D) = tr(A) ですから、 >これは、固有値の検算などに利用するためでしょうか? とおっしゃられるとおりの利用法もトレースにはあると思います。 (その利用法がもちろん唯一の利用法ではないことは明らかですが。) >また、数学(物理)ではこういうときにトレースが使われて、 たとえば群の表現を特徴づける指標というのは、表現行列のトレースですし、 物理では、例えば統計物理学で重要な分配関数ZはHをハミルトニアンとして Z = tr(exp(-bH)) と表現できます。(bは温度の逆数) 他にもトレースを使うときれいな表式になる事柄もあります。 >こういう理由で便利などありましたら教えて頂けるとありがたいです。 これは実際にご自身で群の表現や統計力学等広く勉強をして理解して頂く他ありません。 No1に書いた最後のたとえ話(このたとえ話は相当正確です)から私の言いたいことを ご理解してください。たしかに行列式detは逆行列が存在するかどうかの判定量という わかりやすい1つの解釈がありますが、トレースにはそのような即座にわかりやすい解釈はないように思われます。でも数学、物理の広い範囲でいろいろな形で登場します。だからトレースという名前が与えられているのだと思います。広く勉強すれば、「行列の対角成分の和」にトレースとわざわざなにかしらの名前を付けることに異義は感じなくなると思います。
その他の回答 (1)
- metzner
- ベストアンサー率60% (69/114)
こんにちは。 トレースは便利な不変量の1つです。例えば次の性質を持ちます。 tr(A)=tr(PAP^(-1)) どのような文脈で役に立つかというと、例えば、 行列 A を、線形写像をある基底で表現したものととらえると、基底を入れ替えた とき、行列Aは、Pを正則な行列として、PAP^(-1) と変換されます。 この立場では、行列そのものより、行列を A=B <---> ある正則行列Pがあって、B=PAP^(-1) で分類したときのAの仲間(同値類)が、線形写像をあらわす本体と考えることができます。 tr(A)=tr(PAP^(-1)) でしたから、トレースというのは、その線型写像だけで決定されることが分かります。 すなわち、線型写像を表現する行列は、基底によって変化しますが、その行列のトレースは 基底も替えても変化しない不変量となります。 新しい定義が出てきたら、その定義だけで考えるのではなく、その性質をよく吟味すると意味が見えてきます。トレースもいろいろな所(数学、物理)で活躍しています。本来、色々なところで活躍していて便利だから、トレースとしてわざわざ定義しているわけです。 この事について、たとえ話を最後にします。 数学で定義をあたえられている数学的事柄は、ちょうどスポーツでの全試合を通して活躍し、栄誉を与えられた選手のようなものです。 ところが、数学の大抵の教科書の記述は、まず選手(数学的事柄)に栄誉(定義)を与えることから始め、そのあとに試合展開(理論展開)をする順序をとります。だからなぜ、その選手にそのような栄誉を与えるかを理解するには、その後に展開される試合をみる必要があります(かなり長いシリーズ試合ということもあります)。 だから定義だけ読んで、なぜこんなものを定義するのかを理解しようと試みることはあまり得策ではないことが多いです。 でも本当の数学の現場では、いろいろ思考をしている最中に、よく使う手法等の数学的事柄に出会い、理論をまとめる段階に、その事柄を定義として一番始めにもってきて、理論展開をすっきりさせるわけです。すっきりする分、初学者にはわかりにくいということも言えます。シーズンの試合を巻戻して見ているようなものなのですから。
お礼
ご回答ありがとうございます。 すいません。 こちらから、補足質問に追加させて頂きます。 webでいろいろ調べていると 「対角和は、固有値の和に等しい。」など見つけました。 ちなみに、 (3 2) A= (1 4) の固有値は、5,2で確かに対角和と一致しました。 これは、固有値の検算などに利用するためでしょうか? 以上、ご回答よろしくお願い致します。
補足
ご回答ありがとうございます。 >線型写像を表現する行列は、基底によって変化しますが、 >その行列のトレースは基底も替えても変化しない不変量となります。 ご回答頂いた内容なのですが、基底を変えても変化しない不変量 である事にどのようなメリットがあるのでしょうか? また、数学(物理)ではこういうときにトレースが使われて、 こういう理由で便利などありましたら教えて頂けると ありがたいです。 以上、贅沢言って申し訳ないのですがご回答よろしくお願い致します。
関連するQ&A
- 行列の固有値とトレースについて
問 正方行列のトレース(対角成分の和)は、その固有値の総和になる。 この問題は行列が対角化可能ならば成り立ちますが、対角化不可能の場合でも成り立つのでしょうか? ご指導よろしくお願いします。
- 締切済み
- 数学・算数
- 線形・行列の証明がさっぱり。。。
対角成分以外がゼロである正方行列を対角行列という。対角行列の固有値は、対角成分に等しいことを示せ。また、対角成分より左下(右上)の成分がゼロである正方行列を上三角行列(下三角行列)という。上三角行列、下三角行列の固有値が対角成分に等しいことを証明せよ。 この証明がさっぱりわかりません。ご指導お願い致します。
- ベストアンサー
- 数学・算数
- 行列のトレース・行列式に似た演算
行列の特性多項式を調べていたら、トレース・行列式を一般化したような演算に出会いました。 二次正方行列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について、 正式な名前は何と言うんでしょうか? また、行列式は体積要素として幾何学的な意味を持ちますが、この演算は幾何学的にはどのような意味を持つのでしょうか? 知っている方いらっしゃいましたら、解答お願いします!
- ベストアンサー
- 数学・算数
- (線形代数)行列式の和≠0を示す問題が分かりません
宜しくお願い致します。 行列式の和の問題です。 n個のn×n正値エルミート行列の全組み合わせの総和を Σ_{k=0..n-1}(-1)^kΣ_{{i_1,i_2,…,i_{n-k}}⊂{1,2,…,n}}|A_{i_1}+A_{i_2}+…+A_{i_{n-k}}| が0とならないことを示してます。 正値エルミート行列の和はまた正値エルミート行列となりますね。 そして,正値エルミート行列の固有値,対角成分,行列式は共に正実数となりますね。 それで,この総和が0とならない事を示したいのです。 色々と代入してみたのですがやはり0になるケースは無いように思えます。 どのようにして判定できますでしょうか? お助けください。m(_ _)m
- 締切済み
- 数学・算数
- 行列式の計算について
対角成分(i,i)が、 "a(i)+b" で それ以外の成分が全て "b(≠0)" のn次正方行列の行列式が a(1)・a(2)・a(3)…a(n)・b となるらしいのですが、どうしてでしょうか。 全ての列からn列を引くと0が沢山でてきて計算できそうなのですが うまくいきません。 よろしくお願いします。
- 締切済み
- 数学・算数
- 行列の対角化について
n次正方行列Aがある対角行列と相似の時、行列Aの各特性根αに対する固有空間の次元の和がnになることは分かるのですが、各特性根αの(特性方程式の)重複度と固有空間の次元が一致するのがなぜだか分かりません。どなたか教えてください。お願いします。
- ベストアンサー
- 数学・算数
- 行列((-3,-1,-5)(1,1,1)(3,1,5))の対角化
行列((-3,-1,-5)(1,1,1)(3,1,5))の対角化 3次正方行列((-3,-1,-5)(1,1,1)(3,1,5))の対角化が可能か求めていました。 固有ベクトルを(s,t,u)(長さ=1)、固有値をλとおいて、固有値方程式を解いていくとλ(3λ-2)=0 となり、λ=0,2/3 と解が2つしか出ないのですが、対角化は可能なのでしょうか? さらに、λ=2/3を固有値方程式に代入すると(s,t,u)=(0,0,0)になり、固有ベクトル(s,t,u)の長さ=1に矛盾してしまいます。 対角化は不可能なのでしょうか?それとも求め方が間違っているのでしょうか?どなたかアドバイスいただければと思います。宜しくお願い致します。
- ベストアンサー
- 数学・算数
補足
ご回答ありがとうございます。 なるほど、理解できました。 基底を変えても変化しない不変量(スカラー)であることの意味がわかりました。 最後に一点だけ質問させて下さい。 トレースは正方行列であれば、定義されるという認識でよいでしょうか? 対角化可能でない正方行列でもトレースを取ることは可能ですよね? >広く勉強すれば、「行列の対角成分の和」にトレースとわざわざ >なにかしらの名前を付けることに異義は感じなくなると思います。 もっと勉強します。 以上、ご回答よろしくお願い致します。