חיבור (מטריצות)

חיבור מטריצות הוא פעולה במתמטיקה בה מחברים שתי מטריצות על ידי חיבור הרכיבים התואמים של כל אחת מהן. קיימות פעולות חיבור נוספות (סכום ישר וסכום קרונֶקֶר) המוסברות בהמשך. על שתי המטריצות להיות עם אותו מספר שורות ועמודות. סכום המטריצות A ו B המסומן ב A + B, הוא מטריצה בעלת מספר שורות ועמודות זהה, בו כל רכיב הוא סכום הרכיבים התואמים ממטריצות המקור: A + B = [ a 11 a 12 ⋯ a 1 n a 21 a 22 ⋯ a 2 n ⋮ ⋮ ⋱ ⋮ a m 1 a m 2 ⋯ a m n ] + [ b 11 b 12 ⋯ b 1 n b 21 b 22 ⋯ b 2 n ⋮ ⋮ ⋱ ⋮ b m 1 b m 2 ⋯ b m n ] = [ a 11 + b 11 a 12 + b 12 ⋯ a 1 n + b 1 n a 21 + b 21 a 22 + b 22 ⋯ a 2 n + b 2 n ⋮ ⋮ ⋱ ⋮ a m 1 + b m 1 a m 2 + b m 2 ⋯ a m n + b m n ] {\displaystyle {\begin{aligned}\mathbf {A} +\mathbf {B} &={\begin{bmatrix}a_{11}&a_{12}&\cdots &a_{1n}\\a_{21}&a_{22}&\cdots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{m1}&a_{m2}&\cdots &a_{mn}\\\end{bmatrix}}+{\begin{bmatrix}b_{11}&b_{12}&\cdots &b_{1n}\\b_{21}&b_{22}&\cdots &b_{2n}\\\vdots &\vdots &\ddots &\vdots \\b_{m1}&b_{m2}&\cdots &b_{mn}\\\end{bmatrix}}\\&={\begin{bmatrix}a_{11}+b_{11}&a_{12}+b_{12}&\cdots &a_{1n}+b_{1n}\\a_{21}+b_{21}&a_{22}+b_{22}&\cdots &a_{2n}+b_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{m1}+b_{m1}&a_{m2}+b_{m2}&\cdots &a_{mn}+b_{mn}\\\end{bmatrix}}\\\end{aligned}}\,\!} לדוגמה: [ 1 3 1 0 1 2 ] + [ 0 0 7 5 2 1 ] = [ 1 + 0 3 + 0 1 + 7 0 + 5 1 + 2 2 + 1 ] = [ 1 3 8 5 3 3 ] {\displaystyle {\begin{bmatrix}1&3\\1&0\\1&2\end{bmatrix}}+{\begin{bmatrix}0&0\\7&5\\2&1\end{bmatrix}}={\begin{bmatrix}1+0&3+0\\1+7&0+5\\1+2&2+1\end{bmatrix}}={\begin{bmatrix}1&3\\8&5\\3&3\end{bmatrix}}} באופן דומה ניתן לחסר מטריצה אחת מחברתה כל עוד ממדיהן זהים (כמו בחיבור). הפעולה A − B מבוצעת על ידי חיסור הרכיב ב B מהרכיב התואם ב A. לדוגמה: [ 1 3 1 0 1 2 ] − [ 0 0 7 5 2 1 ] = [ 1 − 0 3 − 0 1 − 7 0 − 5 1 − 2 2 − 1 ] = [ 1 3 − 6 − 5 − 1 1 ] {\displaystyle {\begin{bmatrix}1&3\\1&0\\1&2\end{bmatrix}}-{\begin{bmatrix}0&0\\7&5\\2&1\end{bmatrix}}={\begin{bmatrix}1-0&3-0\\1-7&0-5\\1-2&2-1\end{bmatrix}}={\begin{bmatrix}1&3\\-6&-5\\-1&1\end{bmatrix}}} לפעולת חיבור זו על מטריצות A {\displaystyle A\,} , B {\displaystyle B\,} ו C {\displaystyle C\,} שאיבריהן שייכים לשדה הממשיים (למשל) יש מספר תכונות: חילופיות - A + B = B + A {\displaystyle A+B=B+A\,} קיבוציות - A + B + C = ( A + B ) + C = A + ( B + C ) {\displaystyle A+B+C=(A+B)+C=A+(B+C)\,} איבר יחידה - יהי O {\displaystyle O\,} מטריצת אפסים, אז A + O = A {\displaystyle A+O=A\,} ו O + A = A {\displaystyle O+A=A\,} סימטריה - תהי − A {\displaystyle -A\,} המטריצה בה קיים איבר נגדי לכל איבר תואם ב A {\displaystyle A\,} , אזי A + ( − A ) = O {\displaystyle A+(-A)=O\,} ו ( − A ) + A = O {\displaystyle (-A)+A=O\,} . פעולת חיבור אחרת, פחות בשימוש, היא סכום ישר שמצוינת ב ⊕. משתמשים בסימן זה גם לפעולת החיבור סכום קרונקר וניתן ללמוד מההקשר באיזו משתי הפעולות מדובר. הסכום הישר של שתי מטריצות: A בגודל m × n ו B בגודל p × q הוא מטריצה שגודלה (m + p) × (n + q): A ⊕ B = [ A 0 0 B ] = [ a 11 ⋯ a 1 n 0 ⋯ 0 ⋮ ⋱ ⋮ ⋮ ⋱ ⋮ a m 1 ⋯ a m n 0 ⋯ 0 0 ⋯ 0 b 11 ⋯ b 1 q ⋮ ⋱ ⋮ ⋮ ⋱ ⋮ 0 ⋯ 0 b p 1 ⋯ b p q ] {\displaystyle \mathbf {A} \oplus \mathbf {B} ={\begin{bmatrix}\mathbf {A} &{\boldsymbol {0}}\\{\boldsymbol {0}}&\mathbf {B} \end{bmatrix}}={\begin{bmatrix}a_{11}&\cdots &a_{1n}&0&\cdots &0\\\vdots &\ddots &\vdots &\vdots &\ddots &\vdots \\a_{m1}&\cdots &a_{mn}&0&\cdots &0\\0&\cdots &0&b_{11}&\cdots &b_{1q}\\\vdots &\ddots &\vdots &\vdots &\ddots &\vdots \\0&\cdots &0&b_{p1}&\cdots &b_{pq}\end{bmatrix}}} לדוגמה: [ 1 3 2 2 3 1 ] ⊕ [ 1 6 0 1 ] = [ 1 3 2 0 0 2 3 1 0 0 0 0 0 1 6 0 0 0 0 1 ] {\displaystyle {\begin{bmatrix}1&3&2\\2&3&1\end{bmatrix}}\oplus {\begin{bmatrix}1&6\\0&1\end{bmatrix}}={\begin{bmatrix}1&3&2&0&0\\2&3&1&0&0\\0&0&0&1&6\\0&0&0&0&1\end{bmatrix}}} הסכום הישר של מטריצות הוא למעשה סוג של מטריצת בלוקים. בפרט הסכום הישר של מטריצה ריבועית הוא מטריצת בלוקים אלכסונית (ראה: מטריצה אלכסונית). באופן כללי, סכום ישר של n מטריצות הוא: ⨁ i = 1 n A i = d i a g ( A 1 , A 2 , A 3 ⋯ A n ) = [ A 1 0 ⋯ 0 0 A 2 ⋯ 0 ⋮ ⋮ ⋱ ⋮ 0 0 ⋯ A n ] {\displaystyle \bigoplus _{i=1}^{n}\mathbf {A} _{i}={\rm {diag}}(\mathbf {A} _{1},\mathbf {A} _{2},\mathbf {A} _{3}\cdots \mathbf {A} _{n})={\begin{bmatrix}\mathbf {A} _{1}&{\boldsymbol {0}}&\cdots &{\boldsymbol {0}}\\{\boldsymbol {0}}&\mathbf {A} _{2}&\cdots &{\boldsymbol {0}}\\\vdots &\vdots &\ddots &\vdots \\{\boldsymbol {0}}&{\boldsymbol {0}}&\cdots &\mathbf {A} _{n}\\\end{bmatrix}}\,\!} האפסים הם בלוקים של אפסים, כלומר מטריצות אפסים. כל רכיב בסכום הישר של שני מרחבים וקטוריים של מטריצות יכול להיות מוצג כסכום ישר של שתי מטריצות. מטריצת השכנות של איחוד גרפים זרים או מולטיגרף היא סכום ישר של מטריצות השכנות שלהם. כאמור, גם סכום זה מסומן ב ⊕. הוא מוגדר באמצעות שימוש במכפלת קרונקר המסומנת ב ⊗ עם חיבור מטריצות רגיל. אם A הוא בגודל n × n ו B בגודל m × m ו I k {\displaystyle \mathbf {I} _{k}} מציין את מטריצת הזהות k × k, סכום קרונקר מוגדר על ידי: A ⊕ B = A ⊗ I m + I n ⊗ B . {\displaystyle \mathbf {A} \oplus \mathbf {B} =\mathbf {A} \otimes \mathbf {I} _{m}+\mathbf {I} _{n}\otimes \mathbf {B} .} חיבור, באתר MathWorld (באנגלית)