展开 矩阵乘法运算满足什么