行列の乗法の性質

...(ＰＣ版)メニューに戻る
*** 科目 ***
数Ⅰ・Ａ数Ⅱ・Ｂ数Ⅲ 高卒・大学初年度
*** 単元 ***
複素数平面二次曲線媒介変数表示と極座標
数列の極限関数導関数不定積分定積分
行列 1次変換

※旧教育課程の高校数学Cに含まれていた「行列」について，このサイトには次の教材があります．
この頁へGoogleやYAHOO ! などの検索から直接来てしまったので「前提となっている内容が分からない」という場合や「この頁は分かったがもっと応用問題を見たい」という場合は，他の頁を見てください．　が現在地です．

↓行列の記号と用語
↓行列の相等，和，差，実数倍
↓行列の積
↓行列の計算(まとめ)

↓行列の乗法の性質-現在地
↓零因子
↓行列のｎ乗
↓行列のｎ乗(2)
↓行列のｎ乗(3)

↓逆行列
↓ケーリー・ハミルトンの定理
ケーリー・ハミルトンの定理(2)

※高卒から大学初年度向けの「ベクトル，行列」について，このサイトには次の教材があります．
*** ベクトル ***
↓ ●ベクトル.行列の超基本 ●ベクトルの直交条件
●１次独立，１次従属，基底，次元，核，階数
*** 行列 ***
↓ ●逆行列(1) ●逆行列(2)
↓ ●転置行列，対称行列,対角行列，三角行列
●行列の階数
*** 行列式 ***
●行列式(1) ●行列式(2) ●行列式(3)
*** 一次変換 ***
●行列と一次変換 ●点の像と原像
*** 固有値 ***
↓ ●固有値.固有ベクトルの定義
↓ ●固有値と固有ベクトル(1) ●固有値と固有ベクトル(2)
●行列の対角化とは ●行列を対角化するには

== 行列の乗法の性質 ==
行列の積が定義できるとき，一般に

１　(積に関する) 結合法則が成立します。（ＡＢ）Ｃ=Ａ（ＢＣ）

　型については，［ｐ×ｑ型］［ｑ×ｒ型］［ｒ×ｓ型］→[ｐ×ｓ型] となります。(しりとりのルールです。)

２　(和の上への積の) 分配法則が成立します。 (Ａ＋Ｂ)Ｃ=ＡＣ＋ＢＣ
C(Ａ＋B)=ＣＡ＋ＣＢ

※　数字でも行列でも，積の上へ和は分配的ではありません。（分配法則は決して当たり前のことではありません。）

(ａ　×　ｂ)　＋　ｃ　≠　(a　＋　c)　×　(ｂ　+　ｃ)
(Ａ　×　Ｂ)　＋　Ｃ ≠　(Ａ　＋　Ｃ) × (Ｂ　+　Ｃ)

結合法則が成立する例：

は

に等しい。
※　結合法則や分配法則の成立を一般的に示すには，行列の型に応じて，成分の数だけ両辺を比較する「息の長～い計算」をします。(略)

左右の位置を入れ替えても積が定義できる場合について，

３［重要］　(積に関する) 交換法則は成立しません。すなわち，ＡＢ=ＢＡは必ずしも成立しません。

例

※　交換法則が成立するとは，「すべてのＡ，Ｂについて，ＡＢ＝ＢＡが成立する」ということで，１つでもＡＢ≠ＢＡとなる例があれば，交換法則は成立しないといいます。
したがって，交換法則が成立しないという主張にとって，ＡＢ＝ＢＡとなる例が幾つあっても関係ありません。

　たとえ話による解説：
「この部屋にいるのは全員男子である」という主張が間違っていることを示すには，「この部屋に少なくとも１人は女子がいる」ことを示せばよく，「この部屋にいるのが全員女子である」ことを示す必要はありません。

※Ａ，Ｂが正方行列でないときは，積の型が異なるためＡＢ≠ＢＡは自明です：

→　［３×２型］［２×３型］=［３×３型］になります。

→　［２×３型］［３×２型］=［２×２型］になります。

【要約】
　積が定義できるとき
「交換法則：×」，「結合法則：○」，「分配法則：○」

※行列の積については交換法則が成り立たないので，中学校以来慣れてきた文字式の変形を不用意に行わないように，細心の注意を払わなければならない．

ただし，何もできない訳ではなく，次に示すようにできる場合もあることもまた覚えておかなければならない．

２×２行列の積について，交換法則が成り立つ場合の例

(1)　ある行列Ａと単位行列Ｅ，零行列０は交換可能

(\begin{matrix} a & b \\ c & d \end{matrix}) (\begin{matrix} 1 & 0 \\ 0 & 1 \end{matrix})

= (\begin{matrix} 1 & 0 \\ 0 & 1 \end{matrix}) (\begin{matrix} a & b \\ c & d \end{matrix})

= (\begin{matrix} a & b \\ c & d \end{matrix})

だから，ＡＥ＝ＥＡはつねに成り立つ

(\begin{matrix} a & b \\ c & d \end{matrix}) (\begin{matrix} 0 & 0 \\ 0 & 0 \end{matrix})

= (\begin{matrix} 0 & 0 \\ 0 & 0 \end{matrix}) (\begin{matrix} a & b \\ c & d \end{matrix})

= (\begin{matrix} 0 \\ 0 & 0 \end{matrix})

だから，Ａ０＝０Ａはつねに成り立つ

(2)　ある行列のべき乗Ａ^mとべき乗Ａⁿは交換可能

ＡＡ²＝Ａ²Ａ＝Ａ³ やＡ²Ａ³＝Ａ³Ａ²＝Ａ⁵のように１つの行列のべき乗はつねに交換可能

(3)　対角行列Aと対角行列Xは交換可能

対角行列の積は，対応する対角成分の積で求められます

(\begin{matrix} a & 0 \\ 0 & b \end{matrix}) (\begin{matrix} x & 0 \\ 0 & y \end{matrix})

= (\begin{matrix} a x & 0 \\ 0 & b y \end{matrix})

(\begin{matrix} x & 0 \\ 0 & y \end{matrix}) (\begin{matrix} a & 0 \\ 0 & b \end{matrix})

= (\begin{matrix} a x & 0 \\ 0 & b y \end{matrix})

だから，対角行列の積について，AX=XAはつねに成り立つ

［問題］
　２×２行列について，任意の行列をＡ，Ｂ，Ｃ，単位行列をＥとするとき，次のうちで正しいものを選んでください．
（ただしいものをクリック）
(1)
　(Ａ+Ｂ)²＝Ａ²＋２ＡＢ＋Ｂ² は

つねに成り立つ成り立つとは限らない絶対成り立たない

解説

(Ａ+Ｂ)²＝Ａ²＋ＡＢ＋＋ＢＡ＋Ｂ² は成り立ちますが，交換法則が成り立たないので，ＡＢ＝ＢＡとは限らず，この式がＡ²＋２ＡＢ＋Ｂ²に等しいとは限りません．
ただし，絶対成り立たない訳ではなく，Ａ，Ｂをうまく選べば（Ｂ＝Ｅの場合など）成り立つ場合があります．⇒「成り立つとは限らない」

(2)
　(ＡＢ)²＝Ａ²Ｂ² は

つねに成り立つ成り立つとは限らない絶対成り立たない
解説

(ＡＢ)²＝ＡＢＡＢは成り立ちますが，交換法則が成り立たないので，ＡＢ＝ＢＡとは限らず，２番目の行列Ｂと３番目の行列が交換できるとは限らない．
ただし，絶対成り立たない訳ではなく，Ａ，Ｂをうまく選べば（Ａ＝Ｅの場合など）成り立つ場合があります．⇒「成り立つとは限らない」

(3)
　(ＡＢ)Ｃ＝Ａ(ＢＣ) は

つねに成り立つ成り立つとは限らない絶対成り立たない
解説

初めの解説に在るように，結合法則は常に成り立ちます．「交換法則：×」，「結合法則：○」，「分配法則：○」 ⇒「つねに成り立つ」

(4)
　(Ａ＋Ｂ)Ｃ＝ＡＣ＋ＢＣは

つねに成り立つ成り立つとは限らない絶対成り立たない

解説

初めの解説に在るように，分配法則は常に成り立ちます．「交換法則：×」，「結合法則：○」，「分配法則：○」 ⇒「つねに成り立つ」

(5)
　(Ａ＋Ｂ)(Ａ－Ｂ)＝Ａ²－Ｂ² は

つねに成り立つ成り立つとは限らない絶対成り立たない

解説

(Ａ+Ｂ)(Ａ－Ｂ)＝Ａ²－ＡＢ＋ＢＡ－Ｂ² は成り立ちますが，交換法則が成り立たないので，－ＡＢ＋ＢＡ＝０とは限らず，この式がＡ²－Ｂ²に等しいとは限りません．
ただし，絶対成り立たない訳ではなく，Ａ，Ｂをうまく選べば（各々が対角行列の場合など）成り立つ場合があります．⇒「成り立つとは限らない」

(6)
　(Ａ＋Ｅ)²＝Ａ²＋２Ａ＋Ｅは

つねに成り立つ成り立つとは限らない絶対成り立たない

解説

ある行列Ａとそのべき乗Ａⁿおよび単位行列Ｅや零行列０とはつねに交換可能です．この問題では，　(Ａ＋Ｅ)²＝(Ａ＋Ｅ)(Ａ＋Ｅ)＝Ａ²＋ＡＥ＋ＥＡ＋Ｅ²＝Ａ²＋2Ａ＋Ｅはつねに成り立ちます．⇒「つねに成り立つ」

...（携帯版）メニューに戻る

...（PC版）メニューに戻る

笆�縺薙�繧ｵ繧､繝亥�縺ｮGoogle讀懃ｴ｢笆�

笆ｳ縺薙�繝壹�繧ｸ縺ｮ蜈磯�ｭ縺ｫ謌ｻ繧銀無縲� 繧｢繝ｳ繧ｱ繝ｼ繝磯∽ｿ｡縲�
… 縺薙�繧｢繝ｳ繧ｱ繝ｼ繝医�謨呎攝謾ｹ蝟��蜿り�↓縺輔○縺ｦ縺�◆縺�縺阪∪縺�

笆�縺薙�鬆√↓縺､縺�※�瑚憶縺�園�梧が縺�園�碁俣驕輔＞縺ｮ謖�遭�後◎縺ｮ莉悶�諢滓Φ縺後≠繧後�騾∽ｿ｡縺励※縺上□縺輔＞��

笳区枚遶�縺ｮ蠖｢繧偵＠縺ｦ縺�ｋ諢滓Φ縺ｯ蜈ｨ驛ｨ隱ｭ縺ｾ縺帙※繧ゅｉ縺｣縺ｦ縺�∪縺呻ｼ�
笳区─諠ｳ縺ｮ蜀�〒�後←縺ｮ蝠城｡後′縺ｩ縺�〒縺ゅ▲縺溘°繧呈ｭ｣遒ｺ縺ｪ譁�ｫ�縺ｧ莨昴∴縺ｦ縺�◆縺�縺�◆謾ｹ蝟�ｦ∵悍縺ｫ蟇ｾ縺励※縺ｯ�悟庄閭ｽ縺ｪ髯舌ｊ蟇ｾ蠢懊☆繧九ｈ縺�↓縺励※縺�∪縺呻ｼ趣ｼ遺ｻ縺ｪ縺奇ｼ梧判謦�噪縺ｪ譁�ｫ�縺ｫ縺ｪ縺｣縺ｦ縺�ｋ蝣ｴ蜷医��後◎繧後ｒ蜈ｬ髢九☆繧九→遲��□縺代〒縺ｪ縺剰ｪｭ閠�ｂ隱ｭ繧縺薙→縺ｫ縺ｪ繧翫∪縺吶�縺ｧ�梧治逕ｨ縺励∪縺帙ｓ�趣ｼ�

雉ｪ蝠上↓蟇ｾ縺吶ｋ蝗樒ｭ斐�荳ｭ蟄ｦ迚医�縺薙�鬆��碁ｫ俶�｡迚医�縺薙�鬆�縺ｫ縺ゅｊ縺ｾ縺�