- ベストアンサー
階段行列でA^2=A
階段行列である正方行列AがA^2=Aを満たすとき，Aの成分に関する条件を求めよ。 という問題が分かりません。 最終的には成分比較をするという見当はつくのですが，階段行列であることをどうやって利用するのかが不明です。 どのように解けばよいでしょうか。
- みんなの回答 （4）
- 専門家の回答
質問者が選んだベストアンサー
その他の回答 (3)
- kumipapa
- ベストアンサー率55% (246/440)
すみません。大きく訂正 rank(A)での場合分けは間違いでした。 Aのゼロでない対角成分の個数を p として、q = n - p とおくと、Aは、 p × p の小行列 B と p×q のC 、q × q の D の小行列で Ａ＝ ｜Ｂ Ｃ｜ ｜Ｏ Ｄ| とかけるのだと思います。 イメージとしては、 ｜ａ１１ ａ１２ ａ１３ ａ１４ ａ１５ ．．． ｜ ０ ａ２２ ａ２３ ａ２４ ａ２５ ．．． ｜ ０ ０ ａ３３ ａ３４ ａ３５ ．．． ｜ ０ ０ ０ ０ ａ３４ ．．． ．．．．．．． という感じで、この場合、０でない対角成分の数 p = 3 であり、i ≦ p で aii ≠ 0、i＞p で aii = 0、左下は全て 0 。 このとき、小行列Ｂを左上 p×p の ｜ａ１１ ａ１２ ａ１３｜ ｜ ０ ａ２２ ａ２３｜ ｜ ０ ０ ａ３３｜ とおき、Ｂの右をＣ、Ｂの下はゼロ行列となって、Ｂの右下をＤとおくと、Ｂは対角成分が全部ゼロ以外である上三角行列なので正則、Ｄは対角成分が全て0の上三角行列。A^2 = A ⇔ A (A - E) = 0 の左辺を計算すると ｜Ｂ Ｃ｜｜Ｂ－Ｅｐ Ｃ ｜ ｜Ｏ Ｄ｜｜ Ｏ Ｄ－Ｅｑ｜ ＝ ｜Ｂ（Ｂ－Ｅｐ） ＢＣ＋Ｃ（Ｄ－Ｅｑ）｜ ｜ Ｏ Ｄ（Ｄ－Ｅｑ） ｜ となりますが、 B(B-Ep) = O を解くと、Bは正則なので B^-1が存在し、B = Ep D(D - Eq) = O を解くと、D - Eq は対角成分が全て -1 の上三角行列なので正則であり、(D - Eq)^-1 を右からかけて D = O となります。 p = 0 のときは A^2 = A を満たす A は存在せず、1 ≦ p ≦ n で Ａ＝ ｜Ｅｐ Ｃ｜ ｜Ｏ Ｏ｜ だと思います。たびたびすみません。
補足
幾度の回答ありがとうございます。 D - Eq は対角成分が全て -1 の上三角行列なので正則であり とありますが，なぜ正則だと言えるのでしょうか。 その示し方が分かりません。
- kumipapa
- ベストアンサー率55% (246/440)
- kumipapa
- ベストアンサー率55% (246/440)
直感的には Ａ＝｜ＥＣ｜ ｜ＯＯ｜ ならば A^2 = A が成立（Ｅは単位行列） 階段行列の定義に従って、Ａを分割して考えたらどうでしょう。 Ａは n×n の階段行列で A^2 = A 、Em を m 次単位行列とします。 rank(A) = n （Aが正則）のとき、Aは逆行列を持ち A^2 = A ⇒ A = E 0 ＜ rank(A) = p ＜ n のときは、q = n - p とすると、A は階段行列なので、p × pの小行列 B と、p × q の小行列C、q × q の小行列 D に分割でき、 Ａ＝｜Ｂ Ｃ｜ ｜Ｏ Ｄ｜ と表せ、Ｂは正則、Ｄは対角成分と左下成分が全て0の正方行列。 A^2 = A ⇔ A (A - En) = O なので、A(A - En) を計算すると、 Ａ（Ａ－Ｅｎ）＝｜Ｂ Ｃ｜｜Ｂ－Ｅｐ Ｃ ｜ ｜Ｏ Ｄ｜｜ Ｏ Ｄ－Ｅｑ｜ ＝｜Ｂ（Ｂ－Ｅｐ） ＢＣ＋Ｃ（Ｄ－Ｅｑ）｜ ｜ Ｏ Ｄ（Ｄ－Ｅｑ） ｜ ＝Ｏ より、 (1) B (B - Ep) = O (2) B C + C (D-Eq) = O (3) D(D - Eq) = O (1) において、Bは正則だから逆行列が存在し、B - Ep = O ∴ B = Ep (3) において、D - Eq は正則なので逆行列が存在し、D = O B = Ep, D = O を(2) に代入すると、p × q の任意の行列 C において(2)式は成立する。 従って、行列Aは、 Ａ＝｜Ｅq Ｃ｜ ｜Ｏ Ｏ｜ たとえば、n = 3, rank(A) = 2 ならば Ａ＝｜１０ａ｜ ｜０１ｂ｜ ｜０００｜ n = 4, rank(A) = 2 ならば Ａ＝｜１０ａｂ｜ ｜０１ｃｄ｜ ｜００００｜ ｜００００｜ の形 ではないでしょうか。
補足
回答ありがとうございます。不明な点があります。 0 ＜ rank(A) = p ＜ n のときは、q = n - p とすると、A は階段行列なので、p × pの小行列 B と、p × q の小行列C、q × q の小行列 D に分割でき、 Ａ＝｜Ｂ Ｃ｜ ｜Ｏ Ｄ｜ とありますが，なぜ左下の部分は零行列だと言えるのでしょうか。
関連するQ&A
- 成分が行列(?)の行列式の証明について．
成分が行列(?)の行列式の証明について． 画像添付が失敗してしまったようで再掲です．すみません． ---問題ここから--- Aがm次の正方行列，Bがm行n列の行列，Cがn次の正方行列，Oがn行m列のゼロ行列の時， |A B| |O C| = |A||C| を示せ． ---問題ここまで--- という問題です．(実際の問題文の画像を添付しました．) まさか2次正方行列の公式を使って示したことにはならないでしょうし， 左辺を1行で余因子展開して A|C|-B|O|=A|C| としてみたのですが，これでは右辺と等しいとは言えませんよね． 成分が行列の行列式ってどう計算したらよいのでしょうか，やり方がわからずハマってしまいました．．． どなたか解答の方針を教えて頂けませんか？
- ベストアンサー
- 数学・算数
- Aを(l,m)型行列、Bを(m,n)型行列にする
Aを(l,m)型行列、Bを(m,n)型行列にする （1）ABが正方行列になるとき、積BAも定義され、正方行列になることを示せ （2）ABとBAがともに同じ次数の正方行列となる条件を求めよ この問題をできる人！ 良い解答解説をお待ちしています
- 締切済み
- 数学・算数
- 行列の問題なのですが
各成分が実数の２×２の正方行列と、p^2-4q＜０を満たすp,qにおいて、Ｂ=A^2+pA+qEで定義される行列Bの逆行列がないならば、Ｂは零行列であることを示せ。 いろいろ考えたのですが、条件の有効な使い方が分かりません。どうすれば良いのでしょうか？
- ベストアンサー
- 数学・算数
- 行列の証明問題です。
n次正方行列Aが任意の正則行列Pに対して P^-1APとすると、 (1 1)成分が１ (n 1)成分が０(n≧1) であるn次正方行列になるならば A＝Eである。 証明の方針を教えてくれませんか？
- ベストアンサー
- 数学・算数
- ｎ次元の正方行列Ａの行列式と、Ａの転置行列Ａ’の行列式が同じであること
ｎ次元の正方行列Ａの行列式と、Ａの転置行列Ａ’の行列式が同じであることを、 簡単に証明することはできるのでしょうか？
- ベストアンサー
- 数学・算数
- 行列の問題でわからないところが。
（１）成分に実数を含む行列を以下のように定義する。 │a 1 1 1│ │1 a 1 1│ │1 1 a 1│ │1 1 1 a│ rank(a)=3となるようなaの値を求めよ。 どのように計算したら良いのかわかりません… どなたか計算例等を説明いただけないでしょうか？ （２） Aはn次正則行列で、n次正方行列BはAの逆行列である。またn次正方行列CはBの第i行と第j行を交換してできる行列であるとする。 このとき、Cの逆行列の第(i,j)成分はAの成分を用いて表すことができる。 答えはaiiになるんですが過程がわかりません… もし、過程がわかる方いましたらご教授下さい。 よろしくお願いします。
- 締切済み
- 数学・算数
- ｎ次正方行列の計算
ｎ次正方行列の計算問題です。2次や3次正方行列なら、素直に個々の成分をかけていくだけだと思うのですが、n次になると、どうやって解くのかわかりません。 すみませんが、考えかたと、どういった形で答えを書けばいいのか教えてください。 成分が0のところは消えるので、行列の成分がそのまま特定の位置に 移動することを記述すればいいのだと思うのですが・・・ 以下、問題↓ ２つのｎ次正方行列A、E_ijについてAE_ijおよびE_ijAを求めよ。 ただしE_ijは(i,j)成分のみが1で残りの成分はすべて0である。 （_ijはEの右下につく小さいijです。） |a11 a12 a13 … a1n| |a21 a22 a23 … a2n| A=|a31 a32 a33 … a3n| |： ： ： … ： | |an1 an2 an3 … ann| (j) ∨ | : | | : | E_ij=|………:………|<(i) | : | | : |
- ベストアンサー
- 数学・算数
- Brother HL-2130をMac OS Ventura13.4に追加できない問題の解決方法とは？
- Brother HL-2130をMac OS Ventura13.4に追加する方法を詳しく解説します。
- ブラザー製品であるBrother HL-2130をMac OS Ventura13.4に追加する際のトラブルシューティング方法をご紹介します。
お礼
ようやく理解できました。 度重なる回答，本当にありがとうございました。