次に行列どうしの積について説明する.
行列の積は少々面倒である.
成分ごとに積というわけにはいかない.
行列の積の基本は,次のような1行からなる行列と1列からなる行列の計算のしかたである.
![{\displaystyle \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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96dc81e41b8db1ea1de47fc013ed7ef126e8ec6f)
左の行列を列ベクトルとしてみれば,この計算はちょうど列ベクトルどうしの内積の値に等しくなる.
![{\displaystyle \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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/59c24bd5a3fff2c6e529d4ac873a952dc081939b)
2 行の行列と 1 列の行列の積は次のようにして計算する.
![{\displaystyle \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)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d9a1d360c890aec6c1628c3e14d6ff580d91fca)
左の行列を行にわけて計算するところがポイントである.
2 次の正方行列どうしの積,(2, 3) 型行列と (3, 2) 型行列の積はつぎのようになる.
![{\displaystyle \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)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09892fa2154bde739eba89da719b348fd98a2686)
左の行列は行に分け,右の行列は列に分けて計算する.
ここまでの例で一般の行列の積の計算の要領をわかっていただけたものと思う.
一般の行列の積に関してまとめると次のようになる.
定義7
行列の積
を
型行列,
を
型行列とすると,
は
型行列であり,
成分は
の第
行と
の第
列の積である.
行列
の積
が計算できるためには,
の列のサイズと
の行のサイズが一致しなければならないことに注意する.
なお,この定義によると 1 列の行列と 1 行の行列の積は,
![{\displaystyle {\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 }](https://wikimedia.org/api/rest_v1/media/math/render/svg/322e9669040a9477fa61716614ccd8a614636b90)
となる.左の行列の行で,右の行列を列に分けると1つずつの成分で行,列を構成することになってしまうのでこうなるわけである.
盲点になっている人がいるので念のため.
こうして定義された行列の積について,次のような計算法則が成り立つ.
定理7
行列の積の計算法則
(1)
(結合則)
(2a) ![{\displaystyle (A+B)C=AC+BC\ \ \ }](https://wikimedia.org/api/rest_v1/media/math/render/svg/18a2aa04decdc7f9642af0e55c3a2a08dbded8c3)
(2b)
(分配則)
(3) ![{\displaystyle AO=OA=O}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d12f045ff52de866b52ebfe13094cf876e8c911)
証明
以下、行列
の第
行第
列成分を
,
これと並行に成分の表示方法として,行列
の各成分を
と表示するものとする.
(1)
行列の積
のすべてが定義できるものと仮定する.
定理7 より、
![{\displaystyle (AB)_{ij}=\sum _{k}a_{ik}b_{kj}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17e741d4d4e0ad1b4fcc2f6b617f974a8c127936)
よって、
![{\displaystyle (AB)_{ij}=\sum _{x}a_{ix}b_{xj}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/952848bd893333a213884655477dba24fc3d60a8)
![{\displaystyle \therefore \left\{(AB)C\right\}_{ij}=\sum _{y}(AB)_{iy}c_{yj}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/658cd3b951013efcfa3b9f3fbb9dd6a2d3436acb)
![{\displaystyle =\sum _{y}\left(\sum _{x}a_{ix}b_{xy}\right)c_{yj}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e9499700c515668ee319bf5f331f56033a846a75)
の添え字は内側の
の添え字
(従属変数)と関係ない。)
同様に、
![{\displaystyle \left\{A(BC)\right\}_{ij}=\sum _{x}a_{ix}\left(BC\right)_{xj}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb768a533bebcf40f2de93c37382d54edb8e1efa)
![{\displaystyle =\sum _{x}a_{ix}\sum _{y}b_{xy}c_{yj}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e788c3cfc61fbeb5c2923ab3c068ba7f8ec0eb5)
の添え字は内側の
の添え字
(従属変数)と関係ない。)
![{\displaystyle =\sum _{y}\sum _{x}a_{ix}b_{xy}c_{yj}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/20eadeb77f59e3aeb9d6645c9467a1e1e4e103e1)
![{\displaystyle =\left\{(AB)C\right\}_{ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9a66c0df8cbf6dc5625495d46e6199a0c06e5d9)
![{\displaystyle \therefore A(BC)=(AB)C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2be0078ac8ee91a9679869c96aaf3ce8571a8b58)
(2a)
行列の積
が定義可能であると仮定する.
![{\displaystyle \left\{(A+B)C\right\}_{ij}=\sum _{k}(A+B)_{ik}c_{kj}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/208998f38f81b132c197906e8fd667ceda31b06e)
![{\displaystyle =\sum _{k}(a_{ik}+b_{ik})c_{kj}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4319c73208dff86b0b8dc1bac659b6b3187001a)
![{\displaystyle =\sum _{k}(a_{ik}c_{kj}+b_{ik}c_{kj})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86c71cbd645b72ae39f11c5a398ae8957a17212a)
![{\displaystyle =\sum _{k}a_{ik}b_{kj}+\sum _{k}b_{ik}c_{kj}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7bfd1edd26aaaffce22586ef3fc43806646c4bfe)
![{\displaystyle =(AC)_{ij}+(BC)_{ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ba51e98afaaebafe40adb01e4d6ac73ed580346)
![{\displaystyle =(AC+BC)_{ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c03dd8f8875ccbe0b6207298c0bb6a1e37b1015)
![{\displaystyle \therefore (A+B)C=AC+BC}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d79d26855f53cc1dc9c6e6f6f07a698602f73df)
(2b)
行列の積
が定義可能であると仮定する.
![{\displaystyle \left\{A(B+C)\right\}_{ij}=\sum _{k}a_{ik}(B+C)_{kj}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fce96b85529f40a8ceaa4e2e5eff8b3f17b5fb6d)
![{\displaystyle =\sum _{k}a_{ik}(b_{kj}+c_{kj})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/161f01ec8aaca03cbaf7dd5078e036791f004b40)
![{\displaystyle =\sum _{k}a_{ik}b_{kj}+a_{ik}c_{kj}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b36349e04abfba34f8efb146a442005891cd6582)
![{\displaystyle =\sum _{k}a_{ik}b_{kj}+\sum _{k}a_{ik}c_{kj}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7641fb5c03508c73099af51443979d1393a13cf)
![{\displaystyle =(AB)_{ij}+(AC)_{ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/290ef42b9181e6b5fcef7ac1b77fd126c97c6896)
![{\displaystyle =(AB+AC)_{ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7791b98c5aaf8828c3eb22430cda4436353a00ad)
![{\displaystyle \therefore A(B+C)=AB+AC}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30817f28ad8e1c1f9e0da7201d19dded12f7b2c1)
(3)
を零行列とし、行列の積
および
のいずれも定義可能であると仮定する.
![{\displaystyle (AO)_{ij}=\sum _{k}a_{ik}o_{kj}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f033ba7fa74fd7fcea08fb5c886264993478d64)
![{\displaystyle =\sum _{k}a_{ik}\cdot 0\ \ \ \because o_{kj}\equiv 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac37876979e80630a100162f86fd27f995b89b53)
![{\displaystyle \equiv 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30ccb4758f36908929b0b75a787ded48a5cd33f1)
![{\displaystyle \therefore AO=O}](https://wikimedia.org/api/rest_v1/media/math/render/svg/392369ebe5447ff83d1afb4f362f7850ae35657e)
![{\displaystyle (OA)_{ij}=\sum _{k}o_{ik}a_{kj}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44bc18d3977557a188b21a6edfd1c3d44596660f)
![{\displaystyle =\sum _{k}0\cdot a_{kj}\ \ \ \because o_{kj}\equiv 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9910676d040588bea5f64d194d87ab78682130e1)
![{\displaystyle \equiv 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30ccb4758f36908929b0b75a787ded48a5cd33f1)
![{\displaystyle \therefore OA=O}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7be57340765c8b7e73e2b3b7f1f86681239c22a6)
![{\displaystyle \therefore AO=OA=O}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb4d58ba9769587fd37d813de1afe742eb3de445)
行列の積の計算練習を行う.