• ベストアンサー

行列式の性質

Aを(m,n)行列、Bを(n,m)行列とするとき、m>nならば、AとBの積ABの行列式|AB|は0になる。これをどうやったら証明できるのかわかりません。おそらくは、行列のある行(列)の成分が0のとき行列式が0となる性質を使うおもうのですが。

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

  • ベストアンサー
  • 31415926
  • ベストアンサー率71% (28/39)
回答No.2

Aに(m,m-n)のゼロ行列を右に付け加えて得られるm次正方行列をA’とし, Bに(m-n,m)のゼロ行列を下に付け加えて得られるm次正方行列をB’とします. するとnakaji_1112さんが書いておられることから|A’| = 0, |B’|=0です.そして AB = A’B’となることが行列計算でわかるので |AB| = |A’B’| = |A’||B’| = 0 となります.

その他の回答 (1)

  • adinat
  • ベストアンサー率64% (269/414)
回答No.1

ある成分が0だからといって行列式が0になるわけではありません。たとえば対角行列が簡単な反例でしょう。 行列式の最も大事な性質は多重双線形性という性質です。これからいろいろな行列式の性質が導かれます。特に正則行列でなければ、行列式は常に0になる、という性質がこの問題を解くときの重要な手がかりになります。 具体的には、もし行列ABのランクがm未満であることが証明できたのなら、行列ABは正則行列でないことになり、したがって積の行列式が0であることが示されます。(より詳しくは、ランクはn以下となります。行列のランクは行の数と列の数の小さい方以下になり、また積のランクもおのおのの行列のランクの小さい方以下になるからです)なお、このことを厳密に証明するのであれば、ランクがm未満であることから、m個の行ベクトルは1次従属になるので、すくなくともいずれかの行ベクトルは、他の行ベクトルの線形和でかけます。行列式の性質「他の行ベクトルの定数倍を別の行に加えても行列式の値は変らない」を用いれば、非正則行列の行列式が0になることは直ちに分かります。

関連するQ&A

  • 転置行列 証明 行列の積

    転置行列の証明について疑問点があるので 質問させて頂きます。 t(AB)=t(B)t(A) の証明について。以下に示します。 行列 A の (i,j) 成分を A[i,j] と書くことにします。 行列Bも同様。 (t(AB))[i,j] = (AB)[j,i] = Σ A[j,k] B[k,i] = Σ (tA)[k,j] (tB)[i,k]  …(1) = Σ (tB)[i,k] (tA)[k,j]  …(2) = ((tB)(tA))[i,j] よって、 t(AB) = (tB)(tA) (1)についてよくわかりません。 行列の積は、 (l,m)行列と(m,n)行列の積は(l,n)行列と定義されますが (1)は(m,l)行列と(n,m)行列の積を計算することに ならないのでしょうか? (m,l)行列と(n,m)行列の積は定義されないので等式でつないでは いけないのでは?と考えた次第です。 以上、ご指摘、ご回答よろしくお願い致します。

  • 転置行列 証明

    転置行列 証明 t(AB)=t(B)t(A) の証明について。 (l,m)行列をAとしてAの(i,j)成分をa(i,j) (m,n)行列をBとしてBの(i,j)成分をb(i,j) 2つの行列の積の(i,j)成分は Σ[k=1~m]a(ik)b(kj)と定義されます。 ABの転置行列t(AB)の(i,j)成分t(AB)(i,j)=(AB)(j,i) よって、 Σ[k=1~m]a(jk)b(ki)・・・(1) =Σ[k=1~m]t(a(jk))t(b(ki))・・・(2) =Σ[k=1~m]a(kj)b(ik)・・・(3) =Σ[k=1~m]b(ik)b(kj)・・・(4) =t(B)t(A) 上は参考書などでよく見る証明なのですが、(3)ってそもそも計算できるのですか? (1)~(4)までの流れは理解できるのですが、(3)を等式でつないでいいのかと気になりました。 (l,m)行列と(m,n)行列の積は(l,n)行列と定義されますが、(3)とは関係ないのでしょうか? ご回答よろしくお願い致します。

  • 上三角行列同士をかけたときの積も上三角行列となることを示すには?

    正方行列AとBがともに上三角行列であるとき、積ABもまた上三角行列となることを示せ。 という問題がわかりません。 自分で解こうとしましたが、以下のような状態で、証明できていません(^_^;) 行列式|A|はAの対角成分を掛け合わせたもの。同様に行列式|B|はBの対角成分を掛け合わせたものになっている。また、|AB|=|A||B|より、積ABの行列式はAとBの全ての対角成分を掛け合わせたものとなる。よって、|AB|はAとBの対角成分のみから構成されているので、積ABもまた上三角行列である???

  • 成分が行列(?)の行列式の証明について.

    成分が行列(?)の行列式の証明について. 画像添付が失敗してしまったようで再掲です.すみません. ---問題ここから--- Aがm次の正方行列,Bがm行n列の行列,Cがn次の正方行列,Oがn行m列のゼロ行列の時, |A B| |O C| = |A||C| を示せ. ---問題ここまで--- という問題です.(実際の問題文の画像を添付しました.) まさか2次正方行列の公式を使って示したことにはならないでしょうし, 左辺を1行で余因子展開して A|C|-B|O|=A|C| としてみたのですが,これでは右辺と等しいとは言えませんよね. 成分が行列の行列式ってどう計算したらよいのでしょうか,やり方がわからずハマってしまいました... どなたか解答の方針を教えて頂けませんか?

  • 行ベクトルと列ベクトル

    行ベクトルと列ベクトル 次の積を計算せよ。 ( 1 2) (3) 5 6 4 指針 行列の積ABの計算は、Aの行ベクトルとBの列ベクトルの積が基本となる。例えば ( 1 2) (3) 4 ( 5 6) (3)を計算し、これらの成分としておいたものが積になる。このとき、次のことがポイント。 4 (第●行目の行ベクトル)と(第■行目の列ベクトル)積を(●、■)とおく。 教えてほしいところ行ベクトルとは1×n行列のことをいい、m×1の行列を列ベクトルというんですよね。 よって、第●行目の行ベクトル)と(第■行目の列ベクトル)積を(●、■)とおく。 って、行列の中に行列が入ってみるたいで、おかしくないですか?? 実際、( 1 2) の行列の5 6の部分は行ベクトルであるとはいいませんよね?? 5 6

  • 転置行列 証明

    転置行列 証明 t(AB)=tBtAの証明について 知恵袋にあった証明を引用させて頂きます。 行列の積が定義できることを前提に、各行列の(i,j)成分を次のようにおきます。 A : a_ij B : b_ij tA : a_ij(t) = a_ji ____ (1) tB : b_ij(t) = b_ji ____ (2) 行列の積の定義から、ABの(i,j)成分は Σ a_ik*b_kj すると、t(AB)の(i,j)成分は Σ a_jk*b_ki = Σ b_ki*a_jk ____ 積の交換 = Σ b_ik(t)*a_kj(t) ____ (1)と(2)から明らか この関係式は、t(AB)の(i,j)成分がtBtAの(i,j)成分と等しいことを示しています。よって t(AB)=tBtA Σ a_jk*b_ki=Σ b_ki*a_jk について積の交換をした理由が知りたいです。 t(AB)=tBtAだから、なんとなく交換したのではなくて交換しなければ成らない理由があると思うのですが その点について教えていただけませんでしょうか? 以上、よろしくお願い致します。

  • 行列の和の逆行列について

    情報処理系の数学(カルマンフィルタとか)では(A+B+C)^(-1)とか(A+BCF)^(-1)のように行列の和(あるいは行列と行列の積の和)の逆行列の表式があり、公式のようなものが与えられていたりします。その中で例えば(A+B+C)^(-1)でA,B,Cとは何かと言うと行列(普通は正方行列?)なわけですが、例えば単に1つの値(スカラー)であった場合は逆数というのは自然な拡張としてあり得ると思います。1行1列の行列の対角成分だけの行列と見なすわけです。これはいいだろうと思います。問題はAなどがベクトルだったときです。これは計算できないということでいいでしょうか。ベクトルだったら1行N列の行列(N行1列でも)ということであり、逆行列が定義できないということになるでしょうか。カルマンフィルタなどではベクトルではないかと思うものが式の中に入っているのですが。Rで実験してみるとAの逆行列はsolve(A)だけで求まります。Aがスカラーだったら予想どおり逆数なります。ベクトルだったらエラーです。やはりベクトルだと当然ダメということでしょうか。

  • 行列の問題

     N行N列の行列A   行列Aの成分は成分を(行,列)で表すと、(1,1)=(N,N)=2、(1,2)=(1,N)=(2,1)=(N,1)=(N-1,N)=(N,N-1)-1  この行列の固有値と固有ベクトルを求めたいのですが、どうすればいいかわかりません。どなたか教えてください。

  • 行列

    行列Aを成分全て1の(m×n)行列とします。このとき、 行列B=( 0,A A転置,0 ) としたとき、Bの固有値が√(mn),0(重複度m+n-2) となることの証明をどなたかお願いします。

  • 行列式(入門)の証明

    問.Aをn次正方行列とする。   零ベクトルでないn項列ベクトルbによって、   Ab=b が成り立っていれば |A|=0 であることを   証明せよ。 線形代数について学習し始めたばかりで、考え方や証明の仕方 に慣れていません。 Ab=b ということは、行列Aが単位行列であることと関係があるのでしょうか。 いろいろ教えていただけると助かります。お願いします。