Matrice de blocuri

În matematică o matrice de blocuri^[1] este o matrice care este interpretată ca fiind împărțită în secțiuni numite blocuri sau submatrici.^[2] Intuitiv, o matrice interpretată ca o matrice de blocuri poate fi vizualizată ca matricea originală cu o colecție de linii orizontale și verticale care o despart sau partiționează, într-o colecție de matrici mai mici.^[3] Orice matrice poate fi interpretată ca o matrice de blocuri în unul sau mai multe moduri, fiecare interpretare fiind definită de modul în care sunt împărțite rândurile și coloanele sale.

Această noțiune poate fi făcută mai precisă pentru o matrice $M$ ( $n \times m$ ) prin partiționarea lui $n$ într-o colecție de grupuri linie, apoi partiționarea lui $m$ într-o colecție de grupuri coloane. Matricea originală este apoi considerată „totalul” acestor grupuri, în sensul că elementul $(i,j)$ al matricei originale corespunde bijectiv cu un anumit element $(s,t)$ cu cu offsetul^⁠(d) $(x,y)$ , unde $x\in$ grupuri linie și $y\in$ grupuri coloană.

Algebra matricilor de blocuri apare în general în biproduse din categoriile matricilor.^[4]

Exemplu

O matrice 168×168 cu blocuri 12×12, 12×24, 24×12, și 24×24. Elementele albastre sunt nenule, iar cele gri sunt zerouri.

Matricea

\mathbf {P} ={\begin{bmatrix}1&2&2&7\\1&5&6&2\\3&3&4&5\\3&3&6&7\end{bmatrix}}

poate fi partiționată în patru blocuri 2×2

\mathbf {P} _{11}={\begin{bmatrix}1&2\\1&5\end{bmatrix}},\quad \mathbf {P} _{12}={\begin{bmatrix}2&7\\6&2\end{bmatrix}},\quad \mathbf {P} _{21}={\begin{bmatrix}3&3\\3&3\end{bmatrix}},\quad \mathbf {P} _{22}={\begin{bmatrix}4&5\\6&7\end{bmatrix}}.

matricea partiționată poate fi scrisă:

\mathbf {P} ={\begin{bmatrix}\mathbf {P} _{11}&\mathbf {P} _{12}\\\mathbf {P} _{21}&\mathbf {P} _{22}\end{bmatrix}}.

Înmulțirea matricilor de blocuri

Este posibil să se utilizeze un produs de matrici partiționate în blocuri care implică numai algebră pe submatricile factorilor. Totuși, partiționarea factorilor nu este arbitrară și necesită partiții compatibile (în engleză conformable)^[5] în cele două matrici $\mathbf {A}$ și $\mathbf {B}$ asfel încât toate produsele matriciale ale submatricilor care se înmulțesc să fie definite.^[6] Fiind dată matricea $\mathbf {A} (m\times p)$ cu partiții de $q$ linii și $s$ coloane

\mathbf {A} ={\begin{bmatrix}\mathbf {A} _{11}&\mathbf {A} _{12}&\cdots &\mathbf {A} _{1s}\\\mathbf {A} _{21}&\mathbf {A} _{22}&\cdots &\mathbf {A} _{2s}\\\vdots &\vdots &\ddots &\vdots \\\mathbf {A} _{q1}&\mathbf {A} _{q2}&\cdots &\mathbf {A} _{qs}\end{bmatrix}}

și matricea $\mathbf {B} (p\times n)$ cu partiții de $s$ linii și $r$ coloane

\mathbf {B} ={\begin{bmatrix}\mathbf {B} _{11}&\mathbf {B} _{12}&\cdots &\mathbf {B} _{1r}\\\mathbf {B} _{21}&\mathbf {B} _{22}&\cdots &\mathbf {B} _{2r}\\\vdots &\vdots &\ddots &\vdots \\\mathbf {B} _{s1}&\mathbf {B} _{s2}&\cdots &\mathbf {B} _{sr}\end{bmatrix}},

care sunt compatible cu partițiile lui $\mathbf {A}$ , produsul matricial

\mathbf {C} =\mathbf {A} \mathbf {B}

poate fi efectuat pe blocuri, obținând o matrice $\mathbf {C} (m\times n)$ cu partiții de $q$ linii și $r$ coloane. Matricile din matricea rezultată $\mathbf {C}$ sunt calculate prin înmulțirea:

\mathbf {C} _{qr}=\sum _{i=1}^{s}\mathbf {A} _{qi}\mathbf {B} _{ir}.

Altă notație este notația Einstein^⁠(d), care implică sumarea pentru inidicii care se repetă:

\mathbf {C} _{qr}=\mathbf {A} _{qi}\mathbf {B} _{ir}.

Inversarea matricilor de blocuri

Dacă o matrice este împărțită în patru blocuri, aceasta poate fi inversată pe blocuri după cum urmează:

\mathbf {P} ={\begin{bmatrix}\mathbf {A} &\mathbf {B} \\\mathbf {C} &\mathbf {D} \end{bmatrix}}^{-1}={\begin{bmatrix}\mathbf {A} ^{-1}+\mathbf {A} ^{-1}\mathbf {B} \left(\mathbf {D} -\mathbf {CA} ^{-1}\mathbf {B} \right)^{-1}\mathbf {CA} ^{-1}&-\mathbf {A} ^{-1}\mathbf {B} \left(\mathbf {D} -\mathbf {CA} ^{-1}\mathbf {B} \right)^{-1}\\-\left(\mathbf {D} -\mathbf {CA} ^{-1}\mathbf {B} \right)^{-1}\mathbf {CA} ^{-1}&\left(\mathbf {D} -\mathbf {CA} ^{-1}\mathbf {B} \right)^{-1}\end{bmatrix}},

unde A și D sunt blocuri pătrate de dimensiune oarecare, iar B și C sunt compatibile cu acestea ca partișionare. În plus, A și complementara Schur a lui A în P: P/A = D − CA⁻¹B trebuie să fie inversabile.^[7]

Echivalent, prin permutarea blocurilor:

\mathbf {P} ={\begin{bmatrix}\mathbf {A} &\mathbf {B} \\\mathbf {C} &\mathbf {D} \end{bmatrix}}^{-1}={\begin{bmatrix}\left(\mathbf {A} -\mathbf {BD} ^{-1}\mathbf {C} \right)^{-1}&-\left(\mathbf {A} -\mathbf {BD} ^{-1}\mathbf {C} \right)^{-1}\mathbf {BD} ^{-1}\\-\mathbf {D} ^{-1}\mathbf {C} \left(\mathbf {A} -\mathbf {BD} ^{-1}\mathbf {C} \right)^{-1}&\quad \mathbf {D} ^{-1}+\mathbf {D} ^{-1}\mathbf {C} \left(\mathbf {A} -\mathbf {BD} ^{-1}\mathbf {C} \right)^{-1}\mathbf {BD} ^{-1}\end{bmatrix}}.

Aici D și complementara Schur a lui D în P: P/D = A − BD⁻¹C trebuie să fie inversabile.

Dacă A și D sunt ambele inversabile, atunci:

{\begin{bmatrix}\mathbf {A} &\mathbf {B} \\\mathbf {C} &\mathbf {D} \end{bmatrix}}^{-1}={\begin{bmatrix}\left(\mathbf {A} -\mathbf {B} \mathbf {D} ^{-1}\mathbf {C} \right)^{-1}&\mathbf {0} \\\mathbf {0} &\left(\mathbf {D} -\mathbf {C} \mathbf {A} ^{-1}\mathbf {B} \right)^{-1}\end{bmatrix}}{\begin{bmatrix}\mathbf {I} &-\mathbf {B} \mathbf {D} ^{-1}\\-\mathbf {C} \mathbf {A} ^{-1}&\mathbf {I} \end{bmatrix}}.

Conform identității Weinstein–Aronszajn, una dintre cele două matrice din matricea diagonală de blocuri este inversabilă dacă și numai dacă și cealaltă este.

Determinantul unei matrice de blocuri

Formula pentru determinantul unei matrici $2\times 2$ de mai sus continuă să fie valabilă, în baza unor ipoteze suplimentare adecvate, pentru o matrice compusă din patru submatrici $A, B, C, D$ . Cea mai ușoară astfel de formulă, care poate fi demonstrată folosind fie formula Leibniz, fie o factorizare care implică complementul Schur^⁠(d), este

\det {\begin{pmatrix}A&0\\C&D\end{pmatrix}}=\det(A)\det(D)=\det {\begin{pmatrix}A&B\\0&D\end{pmatrix}}.

Dacă $A$ este inversabilă (și, la fel, dacă $D$ este inversabilă^[8]), se obține

\det {\begin{pmatrix}A&B\\C&D\end{pmatrix}}=\det(A)\det \left(D-CA^{-1}B\right).

Dacă $D$ este o matrice $1\times 1$ , aceasta se simplifică la $\det(A)(D-CA^{-1}B)$ .

Dacă blocurile sunt matrici pătrate de aceeași dimensiune, sunt valabile și alte formule. De exemplu, dacă $C$ și $D$ pot comuta (adică, $CD=DC$ ), atunci^[9]

\det {\begin{pmatrix}A&B\\C&D\end{pmatrix}}=\det(AD-BC).

Această formulă a fost generalizată la matrici cu mai mult de $2\times 2$ blocuri, din nou în condiții de comutativitate adecvate între blocurile individuale.^[10]

Pentru $A=D$ și $B=C$ , este valabilă următoarea formulă (chiar și dacă $A$ și $B$ nu pot comuta):

\det {\begin{pmatrix}A&B\\B&A\end{pmatrix}}=\det(A-B)\det(A+B).

Matrice de blocuri diagonală

O matrice de blocuri diagonală este o matrice de blocuri pătrată astfel încât blocurile de pe diagonala principală sunt matrici pătrate și toate blocurile din afara diagonalei sunt matrici nule. Adică, o matrice de blocuri diagonală A are forma:

\mathbf {A} ={\begin{bmatrix}\mathbf {A} _{1}&\mathbf {0} &\cdots &\mathbf {0} \\\mathbf {0} &\mathbf {A} _{2}&\cdots &\mathbf {0} \\\vdots &\vdots &\ddots &\vdots \\\mathbf {0} &\mathbf {0} &\cdots &\mathbf {A} _{n}\end{bmatrix}}

unde A_k este o matrice pătrată pentru orice k = 1, ... , n. Altfel spus, matricea A este suma directă a A₁, ... , A_n. Ea poate fi notată și prin A₁ ⊕ A₂ ⊕ ... ⊕ A_n sau diag(A₁, A₂, ..., A_n) (ultima fiind aceeași formalizare folosită pentru o matrice diagonală). Trivial, orice matrice pătrată poate fi considerată o matrice de blocuri diagonală cu un singur bloc.

Pentru determinant și urmă, sunt valabile următoarele proprietăți:

{\begin{aligned}\det \mathbf {A} &=\det \mathbf {A} _{1}\times \cdots \times \det \mathbf {A} _{n},\\\operatorname {tr} \mathbf {A} &=\operatorname {tr} \mathbf {A} _{1}+\cdots +\operatorname {tr} \mathbf {A} _{n}.\end{aligned}}

O matrice de blocuri diagonală este inversabilă dacă și numai dacă fiecare dintre blocurile sale de pe diagonala principală sunt inversabile, iar în acest caz inversa sa este o altă matrice de blocuri diagonală dată de

{\begin{bmatrix}\mathbf {A} _{1}&\mathbf {0} &\cdots &\mathbf {0} \\\mathbf {0} &\mathbf {A} _{2}&\cdots &\mathbf {0} \\\vdots &\vdots &\ddots &\vdots \\\mathbf {0} &\mathbf {0} &\cdots &\mathbf {A} _{n}\end{bmatrix}}^{-1}={\begin{bmatrix}\mathbf {A} _{1}^{-1}&\mathbf {0} &\cdots &\mathbf {0} \\\mathbf {0} &\mathbf {A} _{2}^{-1}&\cdots &\mathbf {0} \\\vdots &\vdots &\ddots &\vdots \\\mathbf {0} &\mathbf {0} &\cdots &\mathbf {A} _{n}^{-1}\end{bmatrix}}.

Vectorii și valorile proprii ale $\mathbf {A}$ sunt, simplu, cele ale matricilor $\mathbf {A} _{k}$ combinate.

Matrice de blocuri tridiagonală

O matrice de blocuri tridiagonală este o altă matrice de blocuri particulară, care este și ea o matrice pătrată, având matrici pătrate (blocuri) pe diagonala inferioară, diagonala principală și diagonala superioară, toate celelalte blocuri fiind matrice nule. Este în esență o matrice tridiagonală, dar are submatrici în locurile scalarilor. O matrice de blocuri tridiagonală A are forma:

\mathbf {A} ={\begin{bmatrix}\mathbf {B} _{1}&\mathbf {C} _{1}&&&\cdots &&\mathbf {0} \\\mathbf {A} _{2}&\mathbf {B} _{2}&\mathbf {C} _{2}&&&&\\&\ddots &\ddots &\ddots &&&\vdots \\&&\mathbf {A} _{k}&\mathbf {B} _{k}&\mathbf {C} _{k}&&\\\vdots &&&\ddots &\ddots &\ddots &\\&&&&\mathbf {A} _{n-1}&\mathbf {B} _{n-1}&\mathbf {C} _{n-1}\\\mathbf {0} &&\cdots &&&\mathbf {A} _{n}&\mathbf {B} _{n}\end{bmatrix}}

unde A_k, B_k și C_k sunt submatrici pătrate ale diagonalei inferioare, principale și, respectiv, superioară.

Matricile tridiagonale de blocuri sunt adesea întâlnite la soluționarea numerică a problemelor de inginerie (de exemplu, mecanica fluidelor numerică). Sunt disponibile metode numerice optimizate pentru descompunerea LU^⁠(d) și, prin urmare, algoritmi de soluționare eficienți pentru sistemele de ecuații cu o matrice de blocuri tridiagonală ca matrice a coeficienților. Algoritmul matricei tridiagonale^⁠(d), folosit pentru rezolvarea eficientă a sistemelor de ecuații care are matricea coeficienților tridiagonală poate fi aplicat și folosind operații cu matrice de blocuri tridiagonale.

Matrice de blocuri Toeplitz

O matrice de blocuri Toeplitz este o altă matrice de blocuri particulară, care conține blocuri care se repetă pe diagonalele matricei, deoarece o matrice Toeplitz are elemente care se repetă pe diagonală.

O matrice de blocuri Toeplitz are forma:

\mathbf {A} ={\begin{bmatrix}\mathbf {A} _{(1,1)}&\mathbf {A} _{(1,2)}&&&\cdots &\mathbf {A} _{(1,n-1)}&\mathbf {A} _{(1,n)}\\\mathbf {A} _{(2,1)}&\mathbf {A} _{(1,1)}&\mathbf {A} _{(1,2)}&&&&\mathbf {A} _{(1,n-1)}\\&\ddots &\ddots &\ddots &&&\vdots \\&&\mathbf {A} _{(2,1)}&\mathbf {A} _{(1,1)}&\mathbf {A} _{(1,2)}&&\\\vdots &&&\ddots &\ddots &\ddots &\\\mathbf {A} _{(n-1,1)}&&&&\mathbf {A} _{(2,1)}&\mathbf {A} _{(1,1)}&\mathbf {A} _{(1,2)}\\\mathbf {A} _{(n,1)}&\mathbf {A} _{(n-1,1)}&\cdots &&&\mathbf {A} _{(2,1)}&\mathbf {A} _{(1,1)}\end{bmatrix}}.

Transpusa matricei de blocuri

O formă particulară de matrice transpusă poate fi definită și pentru matricile de blocuri, în care blocurile individuale sunt reordonate, dar nu sunt transpuse. Fie $A=(B_{ij})$ o matrice de blocuri $k\times l$ cu blocuri $B_{ij}(m\times n)$ . Transpusa de blocuri a lui $A$ este matricea de blocuri $A^{\mathcal {B}}(l\times k)$ cu $m\times n$ blocuri $\left(A^{\mathcal {B}}\right)_{ij}=B_{ji}$ .^[11]

Ca și în cazul operatorului urmă convențional, transpusa de blocuri este o aplicație liniară astfel încât $(A+C)^{\mathcal {B}}=A^{\mathcal {B}}+C^{\mathcal {B}}$ . Totuși, în general, proprietatea $(AC)^{\mathcal {B}}=C^{\mathcal {B}}A^{\mathcal {B}}$ nu este valabilă decât dacă blocurile $A$ și $C$ pot comuta.

Suma directă

Pentru orice matrici arbitrare A (m × n) și B (p × q), suma directă a lui A și B, notată cu $\mathbf {A} \oplus \mathbf {B}$ este definită drept

\mathbf {A} \oplus \mathbf {B} ={\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}}.

De exemplu,

{\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}}.

Această operație se generalizează în mod natural la matrici cu dimensiuni arbitrare (cu condiția ca A și B să aibă același număr de dimensiuni).

Orice element din suma directă a două spații vectoriale de matrice poate fi reprezentat ca o sumă directă a două matrici.

Aplicații

Având în vedere interpretarea via transformări liniare și sume directe, există un tip particular de matrice de blocuri care apare pentru matricele pătrate (cazul $m = n$ ). Pentru aceștia se poate presupune o interpretare ca fiind un endomorfism a unui spațiu n-dimensional V. Structura blocului în care gruparea liniilor și coloanelor este aceeași este importantă deoarece corespunde existenței unei singure descompuneri în sumă directă pe V. În acest caz, de exemplu, blocurile de pe diagonale sunt toate pătrate. Acest tip de structură este necesar pentru a descrie forma normală Jordan^⁠(d).

Această tehnică este folosită pentru a reduce calculele matricilor, dezvoltările pe coloane-linii și multe aplicații din informatică, inclusiv proiectarea circuitelor integrate VLSI^⁠(d). Un exemplu este algoritmul Strassen^⁠(d) pentru înmulțirea rapidă a matricilor, precum și codificarea Hamming(7,4)^⁠(d) pentru detectarea erorilor și recuperarea informației în transmisiile de date.

Tehnica poate fi folosită și acolo unde elementele matricelor $A, B, C și D$ nu necesită toate același corp pentru elementele lor. De exemplu, matricea $A$ poate fi peste corpul numerelor complexe, în timp ce matricea $D$ poate fi peste corpul numerelor reale. Acest lucru poate duce la operații valide care implică matrice, simplificând în același timp operațiile în cadrul uneia dintre matrice. De exemplu, dacă $D$ are doar elemente reale, găsirea inversei sale necesită mai puține calcule decât dacă elementele sunt complexe. Dar numerele reale fac parte dintr-un subcorp al numerelor complexe (mai mult, poate fi considerat o proiecție), astfel încât operațiile cu matrice pot fi bine definite.

Note

^ Tiberiu Trif, Forma canonică Jordan, Universitatea Babeș-Bolyai, accesat 2023-04-18
^ en Eves, Howard (1980). Elementary Matrix Theory (ed. reprint). New York: Dover. p. 37. ISBN 0-486-63946-0. Accesat în 24 aprilie 2013. We shall find that it is sometimes convenient to subdivide a matrix into rectangular blocks of elements. This leads us to consider so-called partitioned, or block, matrices.
^ en Anton, Howard (1994). Elementary Linear Algebra (ed. 7th). New York: John Wiley. p. 30. ISBN 0-471-58742-7. A matrix can be subdivided or partitioned into smaller matrices by inserting horizontal and vertical rules between selected rows and columns.
^ en Macedo, H.D.; Oliveira, J.N. (2013). „Typing linear algebra: A biproduct-oriented approach”. Science of Computer Programming. 78 (11): 2160–2191. arXiv:1312.4818  . doi:10.1016/j.scico.2012.07.012.
^ en Eves, Howard (1980). Elementary Matrix Theory (ed. reprint). New York: Dover. p. 37. ISBN 0-486-63946-0. Accesat în 24 aprilie 2013. A partitioning as in Theorem 1.9.4 is called a conformable partition of A and B.
^ en Anton, Howard (1994). Elementary Linear Algebra (ed. 7th). New York: John Wiley. p. 36. ISBN 0-471-58742-7. ...provided the sizes of the submatrices of A and B are such that the indicated operations can be performed.
^ en Bernstein, Dennis (2005). Matrix Mathematics. Princeton University Press. p. 44. ISBN 0-691-11802-7.
^ en Taboga, Marco (2021). "Determinant of a block matrix", Lectures on matrix algebra.
^ en Silvester, J. R. (2000). „Determinants of Block Matrices” (PDF). Math. Gazette. 84 (501): 460–467. doi:10.2307/3620776. JSTOR 3620776. Arhivat din original (PDF) la 18 martie 2015. Accesat în 25 iunie 2021.
^ en Sothanaphan, Nat (ianuarie 2017). „Determinants of block matrices with noncommuting blocks”. Linear Algebra and Its Applications. 512: 202–218. arXiv:1805.06027  . doi:10.1016/j.laa.2016.10.004.
^ en Mackey, D. Steven (2006). Structured linearizations for matrix polynomials (PDF) (Teză). University of Manchester. ISSN 1749-9097. OCLC 930686781.

Bibliografie

en Strang, Gilbert (1999). „Lecture 3: Multiplication and inverse matrices”. MIT Open Course ware. 18:30–21:10.

Vezi și

Produs Kronecker

Portal Matematică

[TT-1] Tiberiu Trif, Forma canonică Jordan, Universitatea Babeș-Bolyai, accesat 2023-04-18

[2] Eves, Howard (1980). Elementary Matrix Theory (ed. reprint). New York: Dover. p. 37. ISBN 0-486-63946-0. Accesat în 24 aprilie 2013. We shall find that it is sometimes convenient to subdivide a matrix into rectangular blocks of elements. This leads us to consider so-called partitioned, or block, matrices.

[3] Anton, Howard (1994). Elementary Linear Algebra (ed. 7th). New York: John Wiley. p. 30. ISBN 0-471-58742-7. A matrix can be subdivided or partitioned into smaller matrices by inserting horizontal and vertical rules between selected rows and columns.

[4] Macedo, H.D.; Oliveira, J.N. (2013). „Typing linear algebra: A biproduct-oriented approach”. Science of Computer Programming. 78 (11): 2160–2191. arXiv:1312.4818  . doi:10.1016/j.scico.2012.07.012.

[5] Eves, Howard (1980). Elementary Matrix Theory (ed. reprint). New York: Dover. p. 37. ISBN 0-486-63946-0. Accesat în 24 aprilie 2013. A partitioning as in Theorem 1.9.4 is called a conformable partition of A and B.

[6] Anton, Howard (1994). Elementary Linear Algebra (ed. 7th). New York: John Wiley. p. 36. ISBN 0-471-58742-7. ...provided the sizes of the submatrices of A and B are such that the indicated operations can be performed.

[7] Bernstein, Dennis (2005). Matrix Mathematics. Princeton University Press. p. 44. ISBN 0-691-11802-7.

[8] Taboga, Marco (2021). "Determinant of a block matrix", Lectures on matrix algebra.

[9] Silvester, J. R. (2000). „Determinants of Block Matrices” (PDF). Math. Gazette. 84 (501): 460–467. doi:10.2307/3620776. JSTOR 3620776. Arhivat din original (PDF) la 18 martie 2015. Accesat în 25 iunie 2021.

[10] Sothanaphan, Nat (ianuarie 2017). „Determinants of block matrices with noncommuting blocks”. Linear Algebra and Its Applications. 512: 202–218. arXiv:1805.06027  . doi:10.1016/j.laa.2016.10.004.

[11] Mackey, D. Steven (2006). Structured linearizations for matrix polynomials (PDF) (Teză). University of Manchester. ISSN 1749-9097. OCLC 930686781.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]