- ベストアンサー
線形代数
行列Aの固有値をλ1,λ2,・・・,λn とすると、下記が成立することを証明したいです。 π det(A)=Πλi i=1
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
関連するQ&A
- 大学での線形代数学において
n×n行列Aについて、Aに逆行列が存在するための必要十分条件はdet≠０が成立することである、というのは どのように証明したらいいんですか？ よろしくお願いします。
- ベストアンサー
- 数学・算数
- 線形代数
つぎの問題の答えの部分でわからないことがあります 問題は Mをm*nの行列、Nをn*mの行列とする。ただしm>nとする。 このときMNの固有多項式ｆMN(λ）とNMの固有多項式ｆNM(λ)との間に ｆMN(λ)＝λ^(m-n)fNM(λ) なる関係があることを証明せよという問題で その答えが M1＝[M:0],N1=[N ] 左このように m*mの行列にする 0 とおいてfM1N1(λ)=|λE-M1N1|=det(λE-MN)と書いてあったのですが どうしてこうなるのかわかりません。 紙に書いてやってみたのですがどうしてこれがイコールになるのかがわかりませんでした。簡単なことなのかもしれませんがどなたかお願いします。
- ベストアンサー
- 数学・算数
- 線形代数学（命題？？）
自然数ｎに対して、Ｉをｎ次単位行列とし、Ａをその行列式が０でない任意に与えたｎ次正方行列とする。n次正方行列ＸがＡの逆行列であるとは、ＸＡ＝Ｉを満たすこととする。この場合、ＸＡ＝Ｉが成立すれば、ＡＸ＝Ｉも成立する。この命題の証明に関して以下の問いに答えよ。 ＸＡ＝Ｉが成立しているものとする。そして、ベクトルa_1,a_2,・・・,a_n（ _ はaに下付きでnがついていることを表す）で行列Ａを構成するｎ個の列ベクトルを表すものとする。すなわち、(a_j)_iでベクトルa_jの第i成分を表し、Ａ_ijで行列Ａの第i,j成分を表すとすれば、i,j=1,2,・・・,nに対して、 (a_j)_i=A_ij となるものとする。また、ベクトル０およびＯで、それぞれ、全ての成分が０であるベクトルおよび行列を表すものとする。 (1)（ＡＸ－Ｉ）Ａ＝Ｏが成立することを示せ。 (2)ＸＡ＝Ｉを用いて、ベクトルa_1,a_2,・・・,a_nが、１次独立であることを示せ。 (3)一般に、ｎ次元ベクトル空間において、任意のｎ＋１個のベクトルは１次従属である。この関係と(2)の結果を用いて、ｎ次元ベクトル空間の任意のベクトルを、ベクトルa_1,a_2,・・・,a_nの１次結合で表すことができることを示せ。 (4)(3)の結果を用いて、任意のベクトルｙに対して、ベクトルｙ＝Ａｘ（ｘはベクトル）を満たすベクトルｘが存在することを示せ。 (5)ｎ次元ベクトル空間において、行列Ｂが任意のベクトルｆに対してＢｆ＝０（ｆと０はベクトル）を満たすならば、Ｂ＝Ｏとなることを示せ。 (6)(1)と(4)の結果を用いて、任意のベクトルｙに対して、(ＡＸ－Ｉ)ｙ＝０が成立することを示せ。さらに、(5)の結果を用いて、ＡＸ＝Ｉが成立することを示せ。 上で示した問題に関する質問です。 (1)を解くにあたって、ＡＸにＩを代入するとダメですか？ 文章には、「この命題の証明に関して以下の問いに答えよ」とあるので、この問題全体はＡＸ＝Ｉということを証明する問題で、それぞれの問題を解くのにこれは使用したらダメなのかなと思ってしまったのですが…。 どうなのでしょうか？ もしダメならば、(1)の問題は、どのように解いていくのがベストなのでしょうか。 また、他にも文章中に出ている条件で使用してはいけないものってあるのでしょうか。 よく分からない問題です。 (1)に関して、もしＡＸ＝Ｉを代入してよいのならば、(1)で示されている 式が成立するのは一目瞭然ですし・・・ 他の問題に関しても何かヒントをいただけるとうれしいです。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 線形代数の行列式と内積の問題です
nベクトルとmベクトルの内積を〈n,m〉で表す。a∈R^nとする。 n次正方行列A＝［a1 a2 a3 ・・・ an］に対して、 det(［〈ai aj〉］n×n)＝（ det(A) ）^2 を示せ。 ［〈ai aj〉］n×nは、aijを（i,j)成分するn×n行列です。 転置を使って内積を表して証明するらしいのですが、方法がいまいち分かりません。 よろしくお願いします。
- 締切済み
- 数学・算数
- 線形代数 固有値に関する不等式です。
専門書に記載されている以下の問題があります。 n×nの全ての正定値行列Aに対して log|A|≦tr(A)-n （|A|はAの行列式です） が成り立ち、等号成立条件はAが単位行列の時、またその時に限ることを示せ。 不等式log|A|≦tr(A)-nは示せたのですが、等号成立条件がどうして単位行列になるのかわかりません。 「等号成立⇔行列Aのn個の固有値が全て1」という結果にまでは至ったのですが、「行列Aのn個の固有値が全て1⇔Aが単位行列」となることがわかりません。 どなたか教えていただけないでしょうか？
- 締切済み
- 数学・算数
- 線形代数の問題
問題。あるn次正方行列A,Bについて、I-ABが正則であるとします。 (1)以下を証明せよ。I-BAは正則であり、逆行列は以下のようにあらわせる。 (I-BA)^(-1) = I + B((I - AB)^(-1))A (2)ABとBAが同じ固有値の組を持つことを証明せよ。 --------------------------------------------------- (1)は逆行列の定義に従って簡単に解けたのですが、(2)がなかなか証明できません。AB=Q(BA)Q^(-1)を満たすようなQを(1)の条件を使って探し、ABとBAが相似であることを証明すればいいと思ったのですが、そのような行列Qがなかなか見つかりません。 どのような情報でも感謝します。できれば直接的な解法ではなく、ヒントのようなものをいただけるとうれしいです。
- ベストアンサー
- 数学・算数
