Matrice de blocuri

În matematică o matrice de blocuri este o matrice care este interpretată ca fiind împărțită în secțiuni numite blocuri sau submatrici. 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. 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 Format:Math (Format:Mvar) prin partiționarea lui Format:Mvar într-o colecție de grupuri linie, apoi partiționarea lui Format:Mvar î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 Format:Ill-wd $(x,y)$, unde $x\in$ grupuri linie și $y\in$ grupuri coloană.

Algebra matricilor de blocuri apare în general în biproduse din categoriile matricilor.

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

$𝐏=\left[\begin{array}{cccc}1& 2& 2& 7\\ 1& 5& 6& 2\\ 3& 3& 4& 5\\ 3& 3& 6& 7\end{array}\right]$

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

${𝐏}_{11}=\left[\begin{array}{cc}1& 2\\ 1& 5\end{array}\right],{𝐏}_{12}=\left[\begin{array}{cc}2& 7\\ 6& 2\end{array}\right],{𝐏}_{21}=\left[\begin{array}{cc}3& 3\\ 3& 3\end{array}\right],{𝐏}_{22}=\left[\begin{array}{cc}4& 5\\ 6& 7\end{array}\right].$

matricea partiționată poate fi scrisă:

$𝐏=\left[\begin{array}{cc}{𝐏}_{11}& {𝐏}_{12}\\ {𝐏}_{21}& {𝐏}_{22}\end{array}\right].$

Î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 Format:En) în cele două matrici $𝐀$ și $𝐁$ asfel încât toate produsele matriciale ale submatricilor care se înmulțesc să fie definite. Fiind dată matricea $𝐀(m\times p)$ cu partiții de $q$ linii și $s$ coloane

$𝐀=\left[\begin{array}{cccc}{𝐀}_{11}& {𝐀}_{12}& \cdots & {𝐀}_{1s}\\ {𝐀}_{21}& {𝐀}_{22}& \cdots & {𝐀}_{2s}\\ ⋮& ⋮& \ddots & ⋮\\ {𝐀}_{q1}& {𝐀}_{q2}& \cdots & {𝐀}_{qs}\end{array}\right]$

și matricea $𝐁(p\times n)$ cu partiții de $s$ linii și $r$ coloane

$𝐁=\left[\begin{array}{cccc}{𝐁}_{11}& {𝐁}_{12}& \cdots & {𝐁}_{1r}\\ {𝐁}_{21}& {𝐁}_{22}& \cdots & {𝐁}_{2r}\\ ⋮& ⋮& \ddots & ⋮\\ {𝐁}_{s1}& {𝐁}_{s2}& \cdots & {𝐁}_{sr}\end{array}\right],$

care sunt compatible cu partițiile lui $𝐀$, produsul matricial

$𝐂=𝐀𝐁$

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

${𝐂}_{qr}=\sum _{i=1}^s{𝐀}_{qi}{𝐁}_{ir}.$

Altă notație este Format:Ill-wd, care implică sumarea pentru inidicii care se repetă:

${𝐂}_{qr}={𝐀}_{qi}{𝐁}_{ir}.$

Inversarea matricilor de blocuri

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

$𝐏={\left[\begin{array}{cc}𝐀& 𝐁\\ 𝐂& 𝐃\end{array}\right]}^{-1}=\left[\begin{array}{cc}{𝐀}^{-1}+{𝐀}^{-1}𝐁{(𝐃-{𝐂𝐀}^{-1}𝐁)}^{-1}{𝐂𝐀}^{-1}& -{𝐀}^{-1}𝐁{(𝐃-{𝐂𝐀}^{-1}𝐁)}^{-1}\\ -{(𝐃-{𝐂𝐀}^{-1}𝐁)}^{-1}{𝐂𝐀}^{-1}& {(𝐃-{𝐂𝐀}^{-1}𝐁)}^{-1}\end{array}\right],$

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: Format:Nowrap trebuie să fie inversabile.

Echivalent, prin permutarea blocurilor:

$𝐏={\left[\begin{array}{cc}𝐀& 𝐁\\ 𝐂& 𝐃\end{array}\right]}^{-1}=\left[\begin{array}{cc}{(𝐀-{𝐁𝐃}^{-1}𝐂)}^{-1}& -{(𝐀-{𝐁𝐃}^{-1}𝐂)}^{-1}{𝐁𝐃}^{-1}\\ -{𝐃}^{-1}𝐂{(𝐀-{𝐁𝐃}^{-1}𝐂)}^{-1}& {𝐃}^{-1}+{𝐃}^{-1}𝐂{(𝐀-{𝐁𝐃}^{-1}𝐂)}^{-1}{𝐁𝐃}^{-1}\end{array}\right].$

Aici D și complementara Schur a lui D în P: Format:Nowrap trebuie să fie inversabile.

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

${\left[\begin{array}{cc}𝐀& 𝐁\\ 𝐂& 𝐃\end{array}\right]}^{-1}=\left[\begin{array}{cc}{(𝐀-𝐁{𝐃}^{-1}𝐂)}^{-1}& \mathrm{𝟎}\\ \mathrm{𝟎}& {(𝐃-𝐂{𝐀}^{-1}𝐁)}^{-1}\end{array}\right]\left[\begin{array}{cc}𝐈& -𝐁{𝐃}^{-1}\\ -𝐂{𝐀}^{-1}& 𝐈\end{array}\right].$

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 Format:Mvar. Cea mai ușoară astfel de formulă, care poate fi demonstrată folosind fie formula Leibniz, fie o factorizare care implică Format:Ill-wd, este

$\det \left(\begin{array}{cc}A& 0\\ C& D\end{array}\right)=\det (A)\det (D)=\det \left(\begin{array}{cc}A& B\\ 0& D\end{array}\right).$

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

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

Dacă $D$ este o matrice $1\times 1$, aceasta se simplifică la $\det (A)(D-C{A}^{-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

$\det \left(\begin{array}{cc}A& B\\ C& D\end{array}\right)=\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.

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

$\det \left(\begin{array}{cc}A& B\\ B& A\end{array}\right)=\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:

$𝐀=\left[\begin{array}{cccc}{𝐀}_1& \mathrm{𝟎}& \cdots & \mathrm{𝟎}\\ \mathrm{𝟎}& {𝐀}_2& \cdots & \mathrm{𝟎}\\ ⋮& ⋮& \ddots & ⋮\\ \mathrm{𝟎}& \mathrm{𝟎}& \cdots & {𝐀}_n\end{array}\right]$

unde A_k este o matrice pătrată pentru orice Format:Nowrap. Altfel spus, matricea A este suma directă a Format:Nowrap. Ea poate fi notată și prin Format:Nowrap sau Format:Nowrap (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{array}{cc}\det 𝐀& =\det {𝐀}_1\times \cdots \times \det {𝐀}_n,\\ \mathrm{tr}𝐀& =\mathrm{tr}{𝐀}_1+\cdots +\mathrm{tr}{𝐀}_n.\end{array}$

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

${\left[\begin{array}{cccc}{𝐀}_1& \mathrm{𝟎}& \cdots & \mathrm{𝟎}\\ \mathrm{𝟎}& {𝐀}_2& \cdots & \mathrm{𝟎}\\ ⋮& ⋮& \ddots & ⋮\\ \mathrm{𝟎}& \mathrm{𝟎}& \cdots & {𝐀}_n\end{array}\right]}^{-1}=\left[\begin{array}{cccc}{𝐀}_1^{-1}& \mathrm{𝟎}& \cdots & \mathrm{𝟎}\\ \mathrm{𝟎}& {𝐀}_2^{-1}& \cdots & \mathrm{𝟎}\\ ⋮& ⋮& \ddots & ⋮\\ \mathrm{𝟎}& \mathrm{𝟎}& \cdots & {𝐀}_n^{-1}\end{array}\right].$

Vectorii și valorile proprii ale $𝐀$ sunt, simplu, cele ale matricilor ${𝐀}_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:

$𝐀=\left[\begin{array}{ccccccc}{𝐁}_1& {𝐂}_1& & & \cdots & & \mathrm{𝟎}\\ {𝐀}_2& {𝐁}_2& {𝐂}_2& & & & \\ & \ddots & \ddots & \ddots & & & ⋮\\ & & {𝐀}_k& {𝐁}_k& {𝐂}_k& & \\ ⋮& & & \ddots & \ddots & \ddots & \\ & & & & {𝐀}_{n-1}& {𝐁}_{n-1}& {𝐂}_{n-1}\\ \mathrm{𝟎}& & \cdots & & & {𝐀}_n& {𝐁}_n\end{array}\right]$

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 Format:Ill-wd ș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. Format:Ill-wd, 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:

$𝐀=\left[\begin{array}{ccccccc}{𝐀}_{(1,1)}& {𝐀}_{(1,2)}& & & \cdots & {𝐀}_{(1,n-1)}& {𝐀}_{(1,n)}\\ {𝐀}_{(2,1)}& {𝐀}_{(1,1)}& {𝐀}_{(1,2)}& & & & {𝐀}_{(1,n-1)}\\ & \ddots & \ddots & \ddots & & & ⋮\\ & & {𝐀}_{(2,1)}& {𝐀}_{(1,1)}& {𝐀}_{(1,2)}& & \\ ⋮& & & \ddots & \ddots & \ddots & \\ {𝐀}_{(n-1,1)}& & & & {𝐀}_{(2,1)}& {𝐀}_{(1,1)}& {𝐀}_{(1,2)}\\ {𝐀}_{(n,1)}& {𝐀}_{(n-1,1)}& \cdots & & & {𝐀}_{(2,1)}& {𝐀}_{(1,1)}\end{array}\right].$

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^{ℬ}(l\times k)$ cu $m\times n$ blocuri ${\left(A^{ℬ}\right)}_{ij}=B_{ji}$.

Ca și în cazul operatorului urmă convențional, transpusa de blocuri este o aplicație liniară astfel încât $(A+C{)}^{ℬ}=A^{ℬ}+C^{ℬ}$. Totuși, în general, proprietatea $(AC{)}^{ℬ}=C^{ℬ}{A}^{ℬ}$ 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 $𝐀\oplus 𝐁$ este definită drept

$𝐀\oplus 𝐁=\left[\begin{array}{cccccc}{a}_{11}& \cdots & a_{1n}& 0& \cdots & 0\\ ⋮& \ddots & ⋮& ⋮& \ddots & ⋮\\ a_{m1}& \cdots & a_{mn}& 0& \cdots & 0\\ 0& \cdots & 0& b_{11}& \cdots & b_{1q}\\ ⋮& \ddots & ⋮& ⋮& \ddots & ⋮\\ 0& \cdots & 0& b_{p1}& \cdots & b_{pq}\end{array}\right].$

De exemplu,

$\left[\begin{array}{ccc}1& 3& 2\\ 2& 3& 1\end{array}\right]\oplus \left[\begin{array}{cc}1& 6\\ 0& 1\end{array}\right]=\left[\begin{array}{ccccc}1& 3& 2& 0& 0\\ 2& 3& 1& 0& 0\\ 0& 0& 0& 1& 6\\ 0& 0& 0& 0& 1\end{array}\right].$

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 Format:Mvar). 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 Format:Ill-wd.

Această tehnică este folosită pentru a reduce calculele matricilor, dezvoltările pe coloane-linii și multe aplicații din informatică, inclusiv proiectarea circuitelor integrate Format:Ill-wd. Un exemplu este Format:Ill-wd pentru înmulțirea rapidă a matricilor, precum și codificarea Format:Ill-wd pentru detectarea erorilor și recuperarea informației în transmisiile de date.

Tehnica poate fi folosită și acolo unde elementele matricelor Format:Mvar nu necesită toate același corp pentru elementele lor. De exemplu, matricea Format:Mvar poate fi peste corpul numerelor complexe, în timp ce matricea Format:Mvar 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ă Format:Mvar 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.

Bibliografie

• Format:En icon Format:Cite web

Vezi și

• Produs Kronecker