主題
Search

矩陣乘法


兩個矩陣 AB 的乘積 C 定義為

 c_(ik)=a_(ij)b_(jk),
(1)

其中對 j 求和,j 的值取所有可能值,上面的符號使用了 愛因斯坦求和 約定。在沒有顯式求和符號的情況下,對重複索引的隱含求和稱為 愛因斯坦求和,在矩陣和張量分析中都很常用。因此,為了定義矩陣乘法,矩陣的維度必須滿足

 (n×m)(m×p)=(n×p),
(2)

其中 (a×b) 表示一個具有 a 行和 b 列的矩陣。顯式地寫出乘積,

 [c_(11) c_(12) ... c_(1p); c_(21) c_(22) ... c_(2p); | | ... |; c_(n1) c_(n2) ... c_(np)]=[a_(11) a_(12) ... a_(1m); a_(21) a_(22) ... a_(2m); | | ... |; a_(n1) a_(n2) ... a_(nm)][b_(11) b_(12) ... b_(1p); b_(21) b_(22) ... b_(2p); | | ... |; b_(m1) b_(m2) ... b_(mp)],
(3)

其中

c_(11)=a_(11)b_(11)+a_(12)b_(21)+...+a_(1m)b_(m1)
(4)
c_(12)=a_(11)b_(12)+a_(12)b_(22)+...+a_(1m)b_(m2)
(5)
c_(1p)=a_(11)b_(1p)+a_(12)b_(2p)+...+a_(1m)b_(mp)
(6)
c_(21)=a_(21)b_(11)+a_(22)b_(21)+...+a_(2m)b_(m1)
(7)
c_(22)=a_(21)b_(12)+a_(22)b_(22)+...+a_(2m)b_(m2)
(8)
c_(2p)=a_(21)b_(1p)+a_(22)b_(2p)+...+a_(2m)b_(mp)
(9)
c_(n1)=a_(n1)b_(11)+a_(n2)b_(21)+...+a_(nm)b_(m1)
(10)
c_(n2)=a_(n1)b_(12)+a_(n2)b_(22)+...+a_(nm)b_(m2)
(11)
c_(np)=a_(n1)b_(1p)+a_(n2)b_(2p)+...+a_(nm)b_(mp).
(12)

矩陣乘法是結合律的,可以透過以下方式看出

 [(ab)c]_(ij)=(ab)_(ik)c_(kj)=(a_(il)b_(lk))c_(kj),
(13)

其中再次使用了愛因斯坦求和。現在,由於 a_(il)b_(lk)c_(kj)標量,使用標量乘法結合律來寫

 (a_(il)b_(lk))c_(kj)=a_(il)(b_(lk)c_(kj))=a_(il)(bc)_(lj)=[a(bc)]_(ij).
(14)

由於這對所有 ij 都成立,因此必定有

 (ab)c=a(bc).
(15)

也就是說,矩陣乘法是結合律的。因此,方程 (13) 可以寫成

 [abc]_(ij)=a_(il)b_(lk)c_(kj),
(16)

沒有歧義。由於結合律,矩陣在乘法下形成一個半群

矩陣乘法也是分配律的。如果 ABm×n 矩陣,並且 CDn×p 矩陣,則

A(C+D)=AC+AD
(17)
(A+B)C=AC+BC.
(18)

由於 n×n 矩陣在加法下形成一個阿貝爾群n×n 矩陣形成一個

然而,矩陣乘法通常不是交換律的(儘管如果 AB對角矩陣且維度相同,則是交換律的)。

兩個分塊矩陣的乘積是透過乘以每個分塊給出的

 [o o    ; o o    ;   o   ;    o o o;    o o o;    o o o][x x    ; x x    ;   x   ;    x x x;    x x x;    x x x] 
 =[[o o; o o][x x; x x]  ;  [o][x] ;   [o o o; o o o; o o o][x x x; x x x; x x x]].
(19)

另請參閱

線性變換, 矩陣, 矩陣加法, 矩陣逆, Strassen 公式 在 課堂中探索這個主題

使用 探索

參考文獻

Arfken, G. Mathematical Methods for Physicists, 3rd ed. Orlando, FL: Academic Press, pp. 178-179, 1985.Fawzi, A. et al. "Discovering Faster Matrix Multiplication Algorithms With Reinforcement Learning." Nature 610, 47-53, 2022.Higham, N. "Exploiting Fast Matrix Multiplication within the Level 3 BLAS." ACM Trans. Math. Soft. 16, 352-368, 1990.

在 中引用

矩陣乘法

請這樣引用

Weisstein, Eric W. "矩陣乘法。" 來自 Web 資源。 https://mathworld.tw/MatrixMultiplication.html

學科分類