标签：... 矩阵 分配律 乘法 otimes oplus 结合律 bigoplus

其实很naive...
证明的主要意义在于说明两种运算如有分配律就可以做矩乘

若二元运算 \(\oplus , \otimes\) 分别满足交换律，且有 \(\otimes\) 对 \(\oplus\) 的分配律，即

\[a \otimes ( b \oplus c ) = a \otimes b + a \otimes c = (b \oplus c) \otimes a \]

（事实上如果没有交换律矩阵乘法根本就没有意义）

据此定义矩阵乘法 \(A * B = C\) ，即

\[C_{i,j} = \bigoplus _{k=1}^n A_{i,k} \otimes B_{k,j} \]

（ \(A,B,C\) 为矩阵，用 \(A_{i,j}\) 表示矩阵 \(A\) 中第 \(i\) 行第 \(j\) 列的元素）

则矩阵乘法具有结合律：

\[(A*B)*C = A*(B*C) \]

证明：

\[\begin{aligned} ( ( A*B ) *C ) _{i,j} &= \bigoplus_{k=1}^{n} (A*B)_{i,k} \otimes C_{k,j} \\ &= \bigoplus_{k=1}^{n} (\bigoplus_{l=1}^n A_{i,l} \otimes B_{l,k}) \otimes C_{k,j} \\ &= \bigoplus_{k=1}^{n} \bigoplus_{l=1}^n A_{i,l} \otimes B_{l,k} \otimes C_{k,j} \quad &\text{...分配律} \\ &= \bigoplus_{l=1}^{n} \bigoplus_{k=1}^n A_{i,l} \otimes B_{l,k} \otimes C_{k,j} \quad &\text{...交换律更换枚举} \\ &= \bigoplus_{l=1}^{n} A_{i,l} \otimes ( \bigoplus_{k=1}^n B_{l,k} \otimes C_{k,j} ) \quad &\text{...分配律} \\ &= \bigoplus_{l=1}^{n} A_{i,l} \otimes ({B*C})_{l,j} \\ &= (A*(B*C))_{i,j} \end{aligned} \]

2020/06/06

标签：...,矩阵,分配律,乘法,otimes,oplus,结合律,bigoplus
来源： https://www.cnblogs.com/sun123zxy/p/13056179.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。