線型代数学/行列と行列式/第三類/行列の積のソースを表示

次に行列どうしの積について説明する．
行列の積は少々面倒である．
成分ごとに積というわけにはいかない．

行列の積の基本は，次のような1行からなる行列と1列からなる行列の計算のしかたである．
:<math>
\left(
    \begin{array}{c}
      a & b
    \end{array}
  \right)
\left(
    \begin{array}{c}
      x \\
      y
    \end{array}
  \right)
=
ax + by \quad\quad\quad
\left(
    \begin{array}{c}
      a & b &c
    \end{array}
  \right)
\left(
    \begin{array}{c}
      x \\
      y \\
      z
    \end{array}
  \right)
=
ax + by + cz
</math>

左の行列を列ベクトルとしてみれば，この計算はちょうど列ベクトルどうしの内積の値に等しくなる．
:<math>
\left(
    \begin{array}{c}
      a \\
      b
    \end{array}
  \right)
\cdot
\left(
    \begin{array}{c}
      x \\
      y
    \end{array}
  \right)
=
ax + by \quad\quad\quad
\left(
    \begin{array}{c}
      a \\
      b \\
      c
    \end{array}
  \right)
\cdot
\left(
    \begin{array}{c}
      x \\
      y \\
      z
    \end{array}
  \right)
=
ax + by + cz
</math>

2 行の行列と 1 列の行列の積は次のようにして計算する．

:<math>
\left(
    \begin{array}{c}
      a & b \\
      c & d
    \end{array}
  \right)
\left(
    \begin{array}{c}
      x \\
      y
    \end{array}
  \right)
=
\left(
    \begin{array}{c}
      ax + by \\
      cx + dy
    \end{array}
  \right) 
\quad\quad\quad
\left(
    \begin{array}{c}
      a & b & c\\
      d & e & f
    \end{array}
  \right)
\left(
    \begin{array}{c}
      x \\
      y \\
      z
    \end{array}
  \right)
=
\left(
    \begin{array}{c}
      ax + by + cz\\
      dx + ey + fz
    \end{array}
  \right) 
</math>
左の行列を行にわけて計算するところがポイントである．

2 次の正方行列どうしの積，(2, 3) 型行列と (3, 2) 型行列の積はつぎのようになる．

:<math>
\left(
    \begin{array}{c}
      a & b \\
      c & d
    \end{array}
  \right)
\left(
    \begin{array}{c}
      x & z\\
      y & w
    \end{array}
  \right)
=
\left(
    \begin{array}{c}
      ax + by & az + bw \\
      cx + dy & cz + dw
    \end{array}
  \right) 
\quad\quad\quad
\left(
    \begin{array}{c}
      a & b & c\\
      d & e & f
    \end{array}
  \right)
\left(
    \begin{array}{c}
      x & w \\
      y & u \\
      z & v
    \end{array}
  \right)
=
\left(
    \begin{array}{c}
      ax + by + cz & aw + bu + cv \\
      dx + ey + fz & dw + eu + fv
    \end{array}
  \right)
</math>

左の行列は行に分け，右の行列は列に分けて計算する．


ここまでの例で一般の行列の積の計算の要領をわかっていただけたものと思う．
一般の行列の積に関してまとめると次のようになる．


<!-- def:007:start -->
<strong>定義7</strong>
<strong>行列の積</strong>

<math>A</math> を <math>(l, m)</math> 型行列，<math>B</math> を <math>(m, n)</math> 型行列とすると，
<math>AB</math> は <math>(l, n)</math> 型行列であり，<math>(i, j)</math> 成分は <math>A</math> の第 <math>i</math> 行と <math>B</math> の第 <math>j</math> 列の積である．

<math>\blacksquare</math>
<!-- def:007:end -->


行列 <math>A, B</math> の積 <math>AB</math> が計算できるためには，<math>A</math> の列のサイズと <math>B</math> の行のサイズが一致しなければならないことに注意する．


なお，この定義によると 1 列の行列と 1 行の行列の積は，

:<math>
\begin{pmatrix}a \\ b\end{pmatrix}
\begin{pmatrix}x & y\end{pmatrix}
= 
\begin{pmatrix}ax & ay \\ bx & by\end{pmatrix}\quad\quad
\begin{pmatrix}a \\ b \end{pmatrix}
\begin{pmatrix}x & y & z\end{pmatrix}
= 
\begin{pmatrix}ax & ay & az \\ bx & by & bz \end{pmatrix}\quad\quad
</math>

となる．左の行列の行で，右の行列を列に分けると１つずつの成分で行，列を構成することになってしまうのでこうなるわけである．
盲点になっている人がいるので念のため．

こうして定義された行列の積について，次のような計算法則が成り立つ．



<!-- th:007:start -->
<strong>定理7</strong>
<strong>行列の積の計算法則</strong>

(1)  <math>(AB)C = A(BC)\ \ \ </math>(結合則）<br />
(2a) <math>(A+B)C = AC + BC\ \ \ </math><br />
(2b) <math>A(B+C) = AB + AC\ \ \ </math>(分配則）<br />
(3)  <math>AO = OA = O</math><br > 

<strong>証明</strong>

以下、行列 <math>M</math> の第 <math>i</math> 行第 <math>j</math> 列成分を <math>m_{ij}</math>，
これと並行に成分の表示方法として，行列 <math>M</math> の各成分を <math>(M)_{ij}</math> と表示するものとする．<br />

<div id="matrix's-associativity">
(1)

行列の積 <math>AB, (AB)C, BC, A(BC)</math> のすべてが定義できるものと仮定する．<br />
定理7 より、<br />
<math>(AB)_{ij} = \sum_k a_{ik}b_{kj}</math><br />
よって、<br />
<math>(AB)_{ij} = \sum_x a_{ix}b_{xj}</math><br />
<math>\therefore \left\{ (AB)C \right\}_{ij} = \sum_y (AB)_{iy}c_{yj}</math><br />
<math>= \sum_y \left( \sum_x a_{ix}b_{xy} \right)c_{yj}</math><br />
<math>= \sum_y \sum_x a_{ix}b_{xy}c_{yj}\ \ \ (\because</math> <math>c</math> の添え字は内側の <math>\sum_x</math> の添え字<math>x</math>（従属変数）と関係ない。） <br />
同様に、<br />
<math>\left\{A(BC)\right\}_{ij} = \sum_x a_{ix}\left(BC\right)_{xj}</math><br />
<math>=\sum_{x}a_{ix}\sum_y b_{xy}c_{yj}</math><br />
<math>=\sum_x \sum_y a_{ix}b_{xy}c_{yj}\ \ \ (\because a </math>の添え字は内側の<math>\sum_y</math> の添え字<math>y</math>（従属変数）と関係ない。）<br />
<math>=\sum_y \sum_x a_{ix}b_{xy}c_{yj}</math><br />
<math>= \left\{ (AB)C \right\}_{ij}</math><br />
<math>\therefore A(BC) = (AB)C</math><br />


(2a)

行列の積 <math>(A + B)C, AC, BC</math> が定義可能であると仮定する．<br />
<math>\left\{ (A+B)C \right\}_{ij} = \sum_k (A + B)_{ik}c_{kj}</math><br />
<math>= \sum_k (a_{ik} + b_{ik} )c_{kj}</math><br />
<math>= \sum_k (a_{ik}c_{kj} + b_{ik}c_{kj})</math><br />
<math>= \sum_k a_{ik}b_{kj} + \sum_k b_{ik}c_{kj}</math><br />
<math>= (AC)_{ij} + (BC)_{ij}</math><br />
<math>= (AC + BC)_{ij}</math><br />
<math>\therefore (A + B)C = AC + BC</math><br />


(2b)

行列の積 <math>A(B + C), AB, AC</math> が定義可能であると仮定する．<br />
<math>\left\{ A(B + C) \right\}_{ij} = \sum_k a_{ik} (B + C)_{kj}</math><br />
<math>= \sum_k a_{ik}(b_{kj} + c_{kj})</math><br />
<math>= \sum_k a_{ik}b_{kj} + a_{ik}c_{kj}</math><br />
<math>= \sum_k a_{ik}b_{kj} + \sum_k a_{ik}c_{kj}</math><br />
<math>= (AB)_{ij} + (AC)_{ij}</math><br />
<math>= (AB + AC)_{ij}</math><br />
<math>\therefore A(B + C) = AB + AC</math><br />


(3)

<math>O</math> を零行列とし、行列の積 <math>AO</math> および <math>OA</math> のいずれも定義可能であると仮定する．<br />
<math>(AO)_{ij} = \sum_k a_{ik}o_{kj}</math><br />
<math>= \sum_k a_{ik}\cdot 0 \ \ \ \because o_{kj} \equiv 0</math><br />
<math> \equiv 0</math><br />
<math>\therefore AO = O</math><br />
<br />
<math>(OA)_{ij} = \sum_k o_{ik}a_{kj}</math><br />
<math>= \sum_k 0\cdot a_{kj} \ \ \ \because o_{kj} \equiv 0</math><br />
<math>\equiv 0</math><br />
<math>\therefore OA = O</math><br />
<math>\therefore AO = OA = O</math><br />

<math>\blacksquare</math>
<!-- th:007:end -->



行列の積の計算練習を行う．


<!-- ex:005:start-->
<div id="ex:5">
<strong>演習5.</strong><math>\quad</math>行列の積<br />
<br />
<math>
A = 
\left(\begin{array}{c}
  2 & -1 \\
  3 &  1
\end{array}\right)
, \ B = 
\left(\begin{array}{c}
  -2 & 3 \\
   2 & 1
\end{array}\right)\ </math> のとき，<math>AB, BA</math> を求めよ．


<strong>解答例</strong>

<math>
AB = \left(\begin{array}{c}
  2 & -1 \\
  3 & 1
\end{array}\right)
\left(\begin{array}{c}
  -2 & 3 \\
  2  & 1
\end{array}\right)</math><br />
<math>
=
\left(\begin{array}{c}
  2(-2) + (-1)\cdot 2 & 2\cdot 3 - 1\cdot 1 \\
  3(-2) + 1\cdot 2    & 3\cdot 3 + 1\cdot 1
\end{array}\right)
=
\left(\begin{array}{c}
  -6 & 5 \\
  -4 & 10
\end{array}\right)</math><br />
<math>BA = \left(\begin{array}{c}
  -2 & 3 \\
  2  & 1
\end{array}\right)
\left(\begin{array}{c}
  2 & -1 \\
  3 & 1
\end{array}\right)</math><br />
<math>
= 
\left(\begin{array}{c}
  -2\cdot 2 + 3\cdot 3 & (-2)\cdot 2 + 3\cdot 3 & (-2)(-1) + 3\cdot 1 \\
  2\cdot 2 + 1\cdot 3  & 2\cdot (-1) + 1\cdot 1
\end{array}\right)
=
\left(\begin{array}{c}
5 & 5 \\
7 & -1
\end{array}\right)</math><br />

<math>AB \ne BA</math> となっている。この例からわかるように、一般に行列の積は交換法則が成り立たない．
正方行列でない行列の席の場合は、そもそも <math>AB</math> が計算できても <math>BA</math> が計算できるとは限らない．

<math>\blacksquare</math>
<!-- ex:005:end-->


<!-- ex:006:start-->
<div id="ex:6">
<strong>演習6.</strong>
<math>
A = 
\left(\begin{array}{c}
-3 & 0 & 0 \\
0  & 1 & 0 \\
0  & 0 & 2
\end{array}\right)</math>、
<math>\left(\begin{array}{c}
1 &  0 & 0 \\
0 & -3 & 0 \\
0 & 0  & 3
\end{array}\right)</math>
のとき、<math>AB</math>、<math>BA</math> を計算せよ．


<strong>解答例</strong>

<math>\blacksquare</math>
<!-- ex:006:end-->

[[カテゴリ:線形代数学]]