מטריצת בלוקים

באלגברה לינארית, מטריצת בלוקים היא מטריצה שחולקה למספר חלקים שגם הם מטריצות. מטריצת בלוקים היא צורת כתיבה נוחה וחסכונית של מטריצות, שבאה לידי ביטוי במקומות רבים באלגברה לינארית, כדוגמת צורת ז'ורדן וצורה רציונלית.

דוגמה

בדוגמה שלהלן, את המטריצה ${\displaystyle A}$ חילקנו לבלוקים שהם המטריצות ${\displaystyle B,C,D,E}$ :

${\displaystyle A={\begin{pmatrix}1&-9&2&2\\4&\pi &-1.5&e\\0&4&3&0\\1&3&1&-8\end{pmatrix}}={\begin{pmatrix}B&C\\D&E\end{pmatrix}};\quad B={\begin{pmatrix}1&-9\\4&\pi \end{pmatrix}},\quad C={\begin{pmatrix}2&2\\-1.5&e\end{pmatrix}},\quad D={\begin{pmatrix}0&4\\1&3\end{pmatrix}},\quad E={\begin{pmatrix}3&0\\1&-8\end{pmatrix}}}$

הפירוק ודאי לא חייב להיות סימטרי, כלומר המטריצות לא חייבות להיות ריבועיות.

פעולות על מטריצות בלוקים

בהינתן שתי מטריצות וחלוקתן לבלוקים, אם החלוקה מקיימת תנאים מסוימים ניתן לבצע את פעולות הכפל בסקלר, החיבור וכפל המטריצות על תת־המטריצות.

• כפל בסקלר – כאן אין כל דרישה על המטריצות. בהינתן מטריצת בלוקים, הכפל שלה בסקלר כלשהו הוא כפל הבלוקים באותו הסקלר, כלומר:

${\displaystyle c\cdot {\begin{pmatrix}X_{11}&\cdots &X_{1n}\\\vdots &\ddots &\vdots \\X_{m1}&\cdots &X_{mn}\end{pmatrix}}={\begin{pmatrix}{c\cdot X}_{11}&\cdots &{c\cdot X}_{1n}\\\vdots &\ddots &\vdots \\{c\cdot X}_{m1}&\cdots &{c\cdot X}_{mn}\end{pmatrix}}}$

• חיבור – בהינתן שתי מטריצות עם אותה חלוקה לבלוקים, החיבור הוא בלוק בלוק, כלומר:

${\displaystyle {\begin{pmatrix}X_{11}&\cdots &X_{1n}\\\vdots &\ddots &\vdots \\X_{m1}&\cdots &X_{mn}\end{pmatrix}}+{\begin{pmatrix}Y_{11}&\cdots &Y_{1n}\\\vdots &\ddots &\vdots \\Y_{m1}&\cdots &Y_{mn}\end{pmatrix}}={\begin{pmatrix}X_{11}+Y_{11}&\cdots &X_{1n}+Y_{1n}\\\vdots &\ddots &\vdots \\X_{m1}+Y_{m1}&\cdots &X_{mn}+Y_{mn}\end{pmatrix}}}$

• כפל – בהינתן שתי מטריצות וחלוקה שלהן, כך שמוגדר הכפל בין כל הבלוקים המתאימים, ניתן להתייחס לבלוקים כאל אברים של מטריצות ולהכפיל כרגיל, כלומר:

${\displaystyle {\begin{pmatrix}X_{11}&\cdots &X_{1t}\\\vdots &\ddots &\vdots \\X_{m1}&\cdots &X_{mt}\end{pmatrix}}\cdot {\begin{pmatrix}Y_{11}&\cdots &Y_{1n}\\\vdots &\ddots &\vdots \\Y_{t1}&\cdots &Y_{tn}\end{pmatrix}}={\begin{pmatrix}\sum \limits _{s=1}^{t}X_{1s}Y_{s1}&\cdots &\sum \limits _{s=1}^{t}X_{1s}Y_{sn}\\\vdots &\ddots &\vdots \\\sum \limits _{s=1}^{t}X_{ms}Y_{s1}&\cdots &\sum \limits _{s=1}^{t}X_{ms}Y_{sn}\end{pmatrix}}}$

בנייה זו נותנת דרך נוחה להתעסק עם צורות שונות של מטריצות, בעיקר בהוכחות שונות בלכסון מטריצות וצורות ז'ורדן.

ראו גם

• מטריצת בלוקים אלכסונית
• צורת ז'ורדן
• צורה רציונלית