行列の演算規則についての疑問
- 行列の演算規則がわからないため、不動点を求める問題での式変形に疑問を感じています。
- 行列の積については交換法則が成り立たないため、不用意に文字式のように変形を行わないように注意しています。
- 行列の積の移項や分配法則が成り立つため、式 (A-E)→x=→O を因数分解のように変形できるのか疑問に思っています。
- ベストアンサー
行列(ベクトル)で括る
行列の演算規則がわからないので質問します。不動点を求める問題で、Aを1次変換、Eを2次の単位行列とし、A→x=E→xを(A-E)→x=→O・・・(1)としているのが疑問です。 自分は、行列の積については交換法則が成り立たないので、不用意に文字式のように変形を行わないようにという注意書きや、 (A+B)(A-B)=A^2-(AB-BA)-B^2≠A^2-B^2などの例を見て、行列を因数分解できないときがあるという考えになりました。ただ、1つの正方行列Aの累乗と単位行列Eだけの式は普通の整式のように計算できる。との記述もあり頭が混乱しています。(1)が変形できるのは、行列の積は移項でき、分配法則も成り立つからでよいでしょうか？どなたか(1)が因数分解のように変形できる理由を教えてください。お願いします。
- situmonn9876
- お礼率91% (646/703)
- 数学・算数
- 回答数1
- ありがとう数1
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
Ax=Exに-Exを右から加えてAx-Ex=Ex-Ex 分配則を使って(A-E)x=0 何が疑問でしょう？スカラーと違うのは，積に関する交換則が成り立たないことや零因子があることです。これに注意していればよい。
関連するQ&A
- 数C行列にて。
数C行列にて。 Q. 2次の正方行列A,Bがあり、 条件、AB = A + B を満たしているとする。 （1）A - E の逆行列をBと単位行列 E で表せ。 という問題があり、解答には、AB = A + Bを式変形していき、 A(B - E) - (B - E) - E = 0 となっていて、 (A - E)(B - E) = E となっていました。 ですが、(A - E)(B - E) = Eの意味がいまいちつかめません。 A(B - E) - (B - E) - E = 0をどう変形したらこうなるのでしょうか。 すいませんが、ご教授ください。 お願いします。
- ベストアンサー
- 数学・算数
- 正則行列
行列Aが与えられたとして、Aにある行基本変形を施して、A1になったとする。次に、この行基本変形に対応する基本行列をＸ１とする。つぎにこのＡ１に行基本変形を施して、Ａ２になったとする。 この行基本変形に対応する行列をＸ２とする。Ｘ２Ａ１＝Ｘ２Ｘ１Ａ＝Ａ２である。 このような行基本変形をｎ回繰り返した結果得られた行列が、Ａｎ＝Ｂとなったとすると、 Ｂ＝Ａｎ＝ＸｎＡｎ－１＝ＸｎＸｎ－１Ａｎ－２＝、、、＝Ｘｎ、、、Ｘ１Ａ となる。そこでＸｎ、、、Ｘ１＝Ｘと置くと、ＸＡ＝Ｂとなる。もし、階段行列Ｂが単位行列ならば、Ａは正則となり、ＸはＡの逆行列となる。 （ここからがわかりません） 逆に、Ａが正則ならば、どの行ベクトルも、零ベクトルではない。これは、Ｂが単位行列となることを意味する。 とあるのですが、Ａ＝正則、Ｘは基本行列の積だから、Ｘ＝正則ですが、ＸＡ＝ＢのＢについてなぜ単位行列となるのでしょうか？
- ベストアンサー
- 数学・算数
- 複素正方行列の対数
複素正方行列の指数関数は、実数域でのマクローリン展開を単純に拡張して xが実数のとき、 exp(x) = 1 + x + x^2/2 + x^3/6 + x^4/24 + ... より、Aが複素正方行列のとき （Eは単位行列） exp(A) = E + A + A^2/2 + A^3/6 + A^4/24 + ... と、できることがわかりました。 一方、対数関数に関しても同様に、 xが実数のとき、 log(1+x) = x - x^2/2 + x^3/3 - x^4/4 + x^5/5 - x^6/6 + ... より、Aが複素正方行列のとき （Eは単位行列） log(E+A) = E - A^2/2 + A^3/3 - A^4/4 + A^5/5 - A^6/6 + ... で、単純に可能かと思ったのですが違いました。 例えば、具体的に、実数正方行列 { 2, 3 } { 4, 5 } の対数は、 { -0.304+2.195i, 1.302-1.248i } { 1.736-1.664i, 0.997+0.947i } となりますが、前記のように単純にマクローリン展開を拡張した方法では、 実数係数の行列から複素係数が出てくることはありえないことからも、 簡単に間違っていることがわかります。 ということで、複素正方行列のマクローリン展開の方法または、 具体的な計算方法（アルゴリズム）をご存知の方がおられましたら ご教示ください。
- 締切済み
- 数学・算数
- 行列と筆算（１とE）
以下、行列は[第１行;第２行]とします。たとえば 12 34 は[1 2; 3 4] とします。 ２次正方行列Aと同じ型の単位行列Eがあって、 A=[5 3; -6 -4]のとき、A^3を求めるときの話です。 ハミルトンケーリの式から A^2-A+2E=Oがなりたつので、これで次数下げしたい（今はそういうことにします。他のや りかたはここでは考えません）のですが、そのときたとえばxの整式のときの筆算のように、 Aをx,Eを定数のように扱って、係数だけとりだして筆算してみたんですが（添付画像をご覧ください） A^3=(A^2-A+2E)(A+1)+(1-2E)A-2E になってしまいました。 この場合、筆算において、商の定数部分１が、本来Eになるべきみたいですが、どうしてこの筆算ではおかしくなるんでしょうか？？？独学なので、助けてください！
- 締切済み
- 数学・算数
お礼
注意する点を教えていただき、ありがとうございます。