线性代数 - 矩阵乘法能换括号,不能换顺序;满足结合律,不满足交换律
线性代数 - 矩阵乘法能换括号,不能换顺序;满足结合律,不满足交换律
flyfish
交换律:对任意矩阵A、B,是否满足 ( AB = BA )?(答案:不满足,除非是特殊矩阵,比如A是单位矩阵)
结合律:对任意矩阵A、B、C(或矩阵与向量),是否满足 ( (AB)C = A(BC) )?(答案:满足)
矩阵乘法不满足交换律(AB≠BA),逆矩阵除外
普通矩阵例子(AB≠BA)
取 A=[1234]A = \begin{bmatrix} 1 & 2 \\ 3 & 4 \end{bmatrix}A=[1324],B=[0110]B = \begin{bmatrix} 0 & 1 \\ 1 & 0 \end{bmatrix}B=[0110]:
- 计算 ABABAB:
AB=[1×0+2×11×1+2×03×0+4×13×1+4×0]=[2143]AB = \begin{bmatrix} 1×0 + 2×1 & 1×1 + 2×0 \\ 3×0 + 4×1 & 3×1 + 4×0 \end{bmatrix} = \begin{bmatrix} 2 & 1 \\ 4 & 3 \end{bmatrix} AB=[1×0+2×13×0+4×11×1+2×03×1+4×0]=[2413] - 计算 BABABA:
BA=[0×1+1×30×2+1×41×1+0×31×2+0×4]=[3412]BA = \begin{bmatrix} 0×1 + 1×3 & 0×2 + 1×4 \\ 1×1 + 0×3 & 1×2 + 0×4 \end{bmatrix} = \begin{bmatrix} 3 & 4 \\ 1 & 2 \end{bmatrix} BA=[0×1+1×31×1+0×30×2+1×41×2+0×4]=[3142]
明显 [2143]≠[3412]\begin{bmatrix} 2 & 1 \\ 4 & 3 \end{bmatrix} ≠ \begin{bmatrix} 3 & 4 \\ 1 & 2 \end{bmatrix}[2413]=[3142],证明交换律不成立。
可逆矩阵举例 例外情况
已知 A=[2113]A = \begin{bmatrix} 2 & 1 \\ 1 & 3 \end{bmatrix}A=[2113],逆矩阵 B=[35−15−1525]B = \begin{bmatrix} \frac{3}{5} & -\frac{1}{5} \\ -\frac{1}{5} & \frac{2}{5} \end{bmatrix}B=[53−51−5152]:
- 计算 ABABAB(之前验证过):
AB=[2113]×[35−15−1525]=[1001]=IAB = \begin{bmatrix} 2 & 1 \\ 1 & 3 \end{bmatrix} × \begin{bmatrix} \frac{3}{5} & -\frac{1}{5} \\ -\frac{1}{5} & \frac{2}{5} \end{bmatrix} = \begin{bmatrix} 1 & 0 \\ 0 & 1 \end{bmatrix} = I AB=[2113]×[53−51−5152]=[1001]=I - 计算 BABABA(特意验证交换顺序):
BA=[35−15−1525]×[2113]=[35×2−15×135×1−15×3−15×2+25×1−15×1+25×3]=[1001]=IBA = \begin{bmatrix} \frac{3}{5} & -\frac{1}{5} \\ -\frac{1}{5} & \frac{2}{5} \end{bmatrix} × \begin{bmatrix} 2 & 1 \\ 1 & 3 \end{bmatrix} = \begin{bmatrix} \frac{3}{5}×2 - \frac{1}{5}×1 & \frac{3}{5}×1 - \frac{1}{5}×3 \\ -\frac{1}{5}×2 + \frac{2}{5}×1 & -\frac{1}{5}×1 + \frac{2}{5}×3 \end{bmatrix} = \begin{bmatrix} 1 & 0 \\ 0 & 1 \end{bmatrix} = I BA=[53−51−5152]×[2113]=[53×2−51×1−51×2+52×153×1−51×3−51×1+52×3]=[1001]=I
可逆矩阵和逆矩阵相乘,交换顺序仍等于单位矩阵
矩阵乘法满足结合律((AB)C = A(BC))
用具体矩阵举例(验证等式成立)
取 A=[1234]A = \begin{bmatrix} 1 & 2 \\ 3 & 4 \end{bmatrix}A=[1324],B=[0110]B = \begin{bmatrix} 0 & 1 \\ 1 & 0 \end{bmatrix}B=[0110],C=[1324]C = \begin{bmatrix} 1 & 3 \\ 2 & 4 \end{bmatrix}C=[1234]:
-
先算左边 (AB)C(AB)C(AB)C:
第一步算 AB=[2143]AB = \begin{bmatrix} 2 & 1 \\ 4 & 3 \end{bmatrix}AB=[2413](上面已算);
第二步算 (AB)C=[2143]×[1324]=[2×1+1×22×3+1×44×1+3×24×3+3×4]=[4101024](AB)C = \begin{bmatrix} 2 & 1 \\ 4 & 3 \end{bmatrix} × \begin{bmatrix} 1 & 3 \\ 2 & 4 \end{bmatrix} = \begin{bmatrix} 2×1 + 1×2 & 2×3 + 1×4 \\ 4×1 + 3×2 & 4×3 + 3×4 \end{bmatrix} = \begin{bmatrix} 4 & 10 \\ 10 & 24 \end{bmatrix}(AB)C=[2413]×[1234]=[2×1+1×24×1+3×22×3+1×44×3+3×4]=[4101024]。 -
再算右边 A(BC)A(BC)A(BC):
第一步算 BC=[0×1+1×20×3+1×41×1+0×21×3+0×4]=[2413]BC = \begin{bmatrix} 0×1 + 1×2 & 0×3 + 1×4 \\ 1×1 + 0×2 & 1×3 + 0×4 \end{bmatrix} = \begin{bmatrix} 2 & 4 \\ 1 & 3 \end{bmatrix}BC=[0×1+1×21×1+0×20×3+1×41×3+0×4]=[2143];
第二步算 A(BC)=[1234]×[2413]=[1×2+2×11×4+2×33×2+4×13×4+4×3]=[4101024]A(BC) = \begin{bmatrix} 1 & 2 \\ 3 & 4 \end{bmatrix} × \begin{bmatrix} 2 & 4 \\ 1 & 3 \end{bmatrix} = \begin{bmatrix} 1×2 + 2×1 & 1×4 + 2×3 \\ 3×2 + 4×1 & 3×4 + 4×3 \end{bmatrix} = \begin{bmatrix} 4 & 10 \\ 10 & 24 \end{bmatrix}A(BC)=[1324]×[2143]=[1×2+2×13×2+4×11×4+2×33×4+4×3]=[4101024]。 -
结果对比:左边 (AB)C=[4101024]=(AB)C = \begin{bmatrix} 4 & 10 \\ 10 & 24 \end{bmatrix} =(AB)C=[4101024]= 右边 A(BC)A(BC)A(BC),结合律成立。
