線型代数学/行列と行列式/第三類/行列の積
次に行列どうしの積について説明する. 行列の積は少々面倒である. 成分ごとに積というわけにはいかない.
行列の積の基本は,次のような1行からなる行列と1列からなる行列の計算のしかたである.
左の行列を列ベクトルとしてみれば,この計算はちょうど列ベクトルどうしの内積の値に等しくなる.
2 行の行列と 1 列の行列の積は次のようにして計算する.
左の行列を行にわけて計算するところがポイントである.
2 次の正方行列どうしの積,(2, 3) 型行列と (3, 2) 型行列の積はつぎのようになる.
左の行列は行に分け,右の行列は列に分けて計算する.
ここまでの例で一般の行列の積の計算の要領をわかっていただけたものと思う. 一般の行列の積に関してまとめると次のようになる.
定義7 行列の積
A {\displaystyle A} を ( l , m ) {\displaystyle (l,m)} 型行列, B {\displaystyle B} を ( m , n ) {\displaystyle (m,n)} 型行列とすると, A B {\displaystyle AB} は ( l , n ) {\displaystyle (l,n)} 型行列であり, ( i , j ) {\displaystyle (i,j)} 成分は A {\displaystyle A} の第 i {\displaystyle i} 行と B {\displaystyle B} の第 j {\displaystyle j} 列の積である.
◼ {\displaystyle \blacksquare }
行列 A , B {\displaystyle A,B} の積 A B {\displaystyle AB} が計算できるためには, A {\displaystyle A} の列のサイズと B {\displaystyle B} の行のサイズが一致しなければならないことに注意する.
なお,この定義によると 1 列の行列と 1 行の行列の積は,
となる.左の行列の行で,右の行列を列に分けると1つずつの成分で行,列を構成することになってしまうのでこうなるわけである. 盲点になっている人がいるので念のため.
こうして定義された行列の積について,次のような計算法則が成り立つ.
定理7 行列の積の計算法則
(1) ( A B ) C = A ( B C ) {\displaystyle (AB)C=A(BC)\ \ \ } (結合則) (2a) ( A + B ) C = A C + B C {\displaystyle (A+B)C=AC+BC\ \ \ } (2b) A ( B + C ) = A B + A C {\displaystyle A(B+C)=AB+AC\ \ \ } (分配則) (3) A O = O A = O {\displaystyle AO=OA=O}
証明
以下、行列 M {\displaystyle M} の第 i {\displaystyle i} 行第 j {\displaystyle j} 列成分を m i j {\displaystyle m_{ij}} , これと並行に成分の表示方法として,行列 M {\displaystyle M} の各成分を ( M ) i j {\displaystyle (M)_{ij}} と表示するものとする.
(1)
行列の積 A B , ( A B ) C , B C , A ( B C ) {\displaystyle AB,(AB)C,BC,A(BC)} のすべてが定義できるものと仮定する. 定理7 より、 ( A B ) i j = ∑ k a i k b k j {\displaystyle (AB)_{ij}=\sum _{k}a_{ik}b_{kj}} よって、 ( A B ) i j = ∑ x a i x b x j {\displaystyle (AB)_{ij}=\sum _{x}a_{ix}b_{xj}} ∴ { ( A B ) C } i j = ∑ y ( A B ) i y c y j {\displaystyle \therefore \left\{(AB)C\right\}_{ij}=\sum _{y}(AB)_{iy}c_{yj}} = ∑ y ( ∑ x a i x b x y ) c y j {\displaystyle =\sum _{y}\left(\sum _{x}a_{ix}b_{xy}\right)c_{yj}} = ∑ y ∑ x a i x b x y c y j ( ∵ {\displaystyle =\sum _{y}\sum _{x}a_{ix}b_{xy}c_{yj}\ \ \ (\because } c {\displaystyle c} の添え字は内側の ∑ x {\displaystyle \sum _{x}} の添え字 x {\displaystyle x} (従属変数)と関係ない。) 同様に、 { A ( B C ) } i j = ∑ x a i x ( B C ) x j {\displaystyle \left\{A(BC)\right\}_{ij}=\sum _{x}a_{ix}\left(BC\right)_{xj}} = ∑ x a i x ∑ y b x y c y j {\displaystyle =\sum _{x}a_{ix}\sum _{y}b_{xy}c_{yj}} = ∑ x ∑ y a i x b x y c y j ( ∵ a {\displaystyle =\sum _{x}\sum _{y}a_{ix}b_{xy}c_{yj}\ \ \ (\because a} の添え字は内側の ∑ y {\displaystyle \sum _{y}} の添え字 y {\displaystyle y} (従属変数)と関係ない。) = ∑ y ∑ x a i x b x y c y j {\displaystyle =\sum _{y}\sum _{x}a_{ix}b_{xy}c_{yj}} = { ( A B ) C } i j {\displaystyle =\left\{(AB)C\right\}_{ij}} ∴ A ( B C ) = ( A B ) C {\displaystyle \therefore A(BC)=(AB)C}
(2a)
行列の積 ( A + B ) C , A C , B C {\displaystyle (A+B)C,AC,BC} が定義可能であると仮定する. { ( A + B ) C } i j = ∑ k ( A + B ) i k c k j {\displaystyle \left\{(A+B)C\right\}_{ij}=\sum _{k}(A+B)_{ik}c_{kj}} = ∑ k ( a i k + b i k ) c k j {\displaystyle =\sum _{k}(a_{ik}+b_{ik})c_{kj}} = ∑ k ( a i k c k j + b i k c k j ) {\displaystyle =\sum _{k}(a_{ik}c_{kj}+b_{ik}c_{kj})} = ∑ k a i k b k j + ∑ k b i k c k j {\displaystyle =\sum _{k}a_{ik}b_{kj}+\sum _{k}b_{ik}c_{kj}} = ( A C ) i j + ( B C ) i j {\displaystyle =(AC)_{ij}+(BC)_{ij}} = ( A C + B C ) i j {\displaystyle =(AC+BC)_{ij}} ∴ ( A + B ) C = A C + B C {\displaystyle \therefore (A+B)C=AC+BC}
(2b)
行列の積 A ( B + C ) , A B , A C {\displaystyle A(B+C),AB,AC} が定義可能であると仮定する. { A ( B + C ) } i j = ∑ k a i k ( B + C ) k j {\displaystyle \left\{A(B+C)\right\}_{ij}=\sum _{k}a_{ik}(B+C)_{kj}} = ∑ k a i k ( b k j + c k j ) {\displaystyle =\sum _{k}a_{ik}(b_{kj}+c_{kj})} = ∑ k a i k b k j + a i k c k j {\displaystyle =\sum _{k}a_{ik}b_{kj}+a_{ik}c_{kj}} = ∑ k a i k b k j + ∑ k a i k c k j {\displaystyle =\sum _{k}a_{ik}b_{kj}+\sum _{k}a_{ik}c_{kj}} = ( A B ) i j + ( A C ) i j {\displaystyle =(AB)_{ij}+(AC)_{ij}} = ( A B + A C ) i j {\displaystyle =(AB+AC)_{ij}} ∴ A ( B + C ) = A B + A C {\displaystyle \therefore A(B+C)=AB+AC}
(3)
O {\displaystyle O} を零行列とし、行列の積 A O {\displaystyle AO} および O A {\displaystyle OA} のいずれも定義可能であると仮定する. ( A O ) i j = ∑ k a i k o k j {\displaystyle (AO)_{ij}=\sum _{k}a_{ik}o_{kj}} = ∑ k a i k ⋅ 0 ∵ o k j ≡ 0 {\displaystyle =\sum _{k}a_{ik}\cdot 0\ \ \ \because o_{kj}\equiv 0} ≡ 0 {\displaystyle \equiv 0} ∴ A O = O {\displaystyle \therefore AO=O} ( O A ) i j = ∑ k o i k a k j {\displaystyle (OA)_{ij}=\sum _{k}o_{ik}a_{kj}} = ∑ k 0 ⋅ a k j ∵ o k j ≡ 0 {\displaystyle =\sum _{k}0\cdot a_{kj}\ \ \ \because o_{kj}\equiv 0} ≡ 0 {\displaystyle \equiv 0} ∴ O A = O {\displaystyle \therefore OA=O} ∴ A O = O A = O {\displaystyle \therefore AO=OA=O}
◼ {\displaystyle \blacksquare }
行列の積の計算練習を行う.
演習5. {\displaystyle \quad } 行列の積 A = ( 2 − 1 3 1 ) , B = ( − 2 3 2 1 ) {\displaystyle A=\left({\begin{array}{c}2&-1\\3&1\end{array}}\right),\ B=\left({\begin{array}{c}-2&3\\2&1\end{array}}\right)\ } のとき, A B , B A {\displaystyle AB,BA} を求めよ.
解答例
A B = ( 2 − 1 3 1 ) ( − 2 3 2 1 ) {\displaystyle AB=\left({\begin{array}{c}2&-1\\3&1\end{array}}\right)\left({\begin{array}{c}-2&3\\2&1\end{array}}\right)} = ( 2 ( − 2 ) + ( − 1 ) ⋅ 2 2 ⋅ 3 − 1 ⋅ 1 3 ( − 2 ) + 1 ⋅ 2 3 ⋅ 3 + 1 ⋅ 1 ) = ( − 6 5 − 4 10 ) {\displaystyle =\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)} B A = ( − 2 3 2 1 ) ( 2 − 1 3 1 ) {\displaystyle BA=\left({\begin{array}{c}-2&3\\2&1\end{array}}\right)\left({\begin{array}{c}2&-1\\3&1\end{array}}\right)} = ( − 2 ⋅ 2 + 3 ⋅ 3 ( − 2 ) ⋅ 2 + 3 ⋅ 3 ( − 2 ) ( − 1 ) + 3 ⋅ 1 2 ⋅ 2 + 1 ⋅ 3 2 ⋅ ( − 1 ) + 1 ⋅ 1 ) = ( 5 5 7 − 1 ) {\displaystyle =\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)}
A B ≠ B A {\displaystyle AB\neq BA} となっている。この例からわかるように、一般に行列の積は交換法則が成り立たない. 正方行列でない行列の席の場合は、そもそも A B {\displaystyle AB} が計算できても B A {\displaystyle BA} が計算できるとは限らない.
◼ {\displaystyle \blacksquare }
演習6. A = ( − 3 0 0 0 1 0 0 0 2 ) {\displaystyle A=\left({\begin{array}{c}-3&0&0\\0&1&0\\0&0&2\end{array}}\right)} 、 ( 1 0 0 0 − 3 0 0 0 3 ) {\displaystyle \left({\begin{array}{c}1&0&0\\0&-3&0\\0&0&3\end{array}}\right)} のとき、 A B {\displaystyle AB} 、 B A {\displaystyle BA} を計算せよ.
解答例
◼ {\displaystyle \blacksquare }