Matriu per blocs
En matemàtiques, una matriu per blocs és una matriu que pot interpretar-se com a formada per seccions anomenades blocs o submatrius.[1] De forma intuïtiva, hom pot visualitzar una matriu per blocs com la matriu original amb una col·lecció de línies verticals i horitzontals que la divideixen, obtenint així una col·lecció de matrius més petites.[2] Tota matriu pot interpretar-se com a matriu per blocs d'una o més formes, on cada interpretació depèn de com es divideixen les files i les columnes. Aquesta noció es pot formular de manera més precisa per una matriu de dimensió per tot particionant en una col·lecció , i particionant en una col·lecció . La matriu original llavors es considera com el "total" d'aquests grups, en el sentit que l'entrada de la matriu original es correspon de forma biunívoca amb alguna entrada offset d'alguns , on i .[3]
Exemple
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/5d/BlockMatrix168square.png/220px-BlockMatrix168square.png)
La matriu
es pot dividir en quatre blocs 2×2
Llavors la matriu particionada es pot escriure com
Multiplicació de matrius per blocs
El producte d'una matriu per blocs pot ser descrit només en termes algebraics dels factors. Tot i això, la partició dels factors no és arbitrària, i requereix particions "compatibles" entre dues matrius i tals que tots els productes de les submatrius que s'utilitzin estiguin ben definits.[4] Aquestes particions compatibles són conegudes amb el nom de "particions conformes".[5] Donades una matriu de dimensió amb particions de files i particions de columnes
i una matriu de dimensió amb particions de files i particions de columnes
compatibles amb les particions d', llavors el producte matricial
es pot computar per blocs, obtenint com una matriu de dimensió amb particions de files i particions de columnes . Les (sub)matrius de la matriu es calculen multiplicant:
O bé, usant el conveni de sumació d'Einstein que suma de forma implícita sobre els índexs repetits:
Matrius diagonals per blocs
Una matriu diagonal per blocs és una matriu per blocs que és també una matriu quadrada, i que a la diagonal principal té matrius per blocs quadrades, de manera que els blocs de fora de la diagonal són matrius nul·les. Tota matriu diagonal per blocs A té la forma
on Ak és una matriu quadrada; en altres paraules, és la suma directa de A1, …, An. També es pot escriure com A1 A₂ An o també diag(A1, A₂,, An) (aquesta última notació és similar a l'emprada per una matriu diagonal). Qualsevol matriu quadrada pot considerar-se com una matriu diagonal per blocs trivial, amb només un bloc.
Hom observa les següents propietats pel determinant i per la traça
- ,
La inversa d'una matriu diagonal per blocs és una altra matriu diagonal per blocs, composta per l'invers de cada bloc, de la següent forma:
Els valors propis i vectors propis d' són simplement els d' i i ... i (combinats).
Matrius tridiagonals per blocs
Una matriu tridiagonal per blocs és un tipus especial de matriu per blocs, que, de la mateixa manera que una matriu diagonal per blocs, és una matriu quadrada, i que té (sub)matrius quadrades (blocs) a la subdiagonal, a la diagonal principal i a la superdiagonal, i on tots els altres blocs són la matriu nul·la. És essencialment una matriu tridiagonal, però que té submatrius en comptes d'escalars. Una matriu tridiagonal A té la forma
on Ak, Bk i Ck són submatrius quadrades de la subdiagonal, la diagonal principal i la superdiagonal, respectivament.
Hom troba sovint la utilitat de les matrius tridiagonals per blocs a l'hora de trobar solucions numèriques en problemes d'enginyeria (per exemple, en la mecànica de fluids computacional). En aquest àmbit, existeixen métodes numèrics optimitzats per la descomposició LU, i per tant existeixen algorismes eficients per poder trobar les solucions de sistemes d'equacions on la matriu de coeficients és una matriu tridiagonal per blocs. L'algorisme de Thomas, que s'usa per resoldre sistemes d'equacions amb una matriu de coeficients tridiagonal, també és aplicable a matrius tridiagonals per blocs (vegeu també Descomposició LU per blocs).
Matrius per blocs de Toeplitz
Una matriu per blocs de Toeplitz és un altre tipus especial de matriu per blocs, on els blocs es repeteixen al llarg de les diagonals de la matriu, de la mateixa forma que succeeix amb una matriu de Toeplitz per elements escalars.
Una matriu per blocs de Toeplitz A té la forma
Suma directa
Per matrius qualssevol A (de dimensió m × n) i B (de dimensió p × q), tenim la suma directa d'A i B, denotada per A B, i definida com
Per exemple,
Aquesta operació es generalitza de manera natural a matrius de dimensions arbitràries (en el supòsit que A i B tinguin el mateix nombre de dimensions).
Notem que qualsevol element d'una suma directa d'espais vectorials de matrius pot ser representat com una suma directa de dues matrius.
Producte directe
Aplicacions
En termes d'àlgebra lineal, l'ús d'una matriu per blocs correspon a la idea de tenir una aplicació lineal entre "grups" de vectors base. També es pot interpretar com tenir una descomposició en suma directa del domini i el recorregut. És particularment significatiu si un bloc és la matriu nul·la; això vol dir que un sumand es correspon (per l'aplicació lineal) en una "sub-suma".
Tenint en compte la interpretació via aplicacions lineals i sumes directes, hi ha un tipus especial de matrius per blocs: les que apareixen en matrius quadrades (és a dir, on m = n). En aquests casos, podem interpretar que tenim un endomorfisme d'un espai vectorial V de dimensió n; l'estructura en blocs on els "grups" de files i columnes són els mateixos és important, en el sentit que ens permet obtenir una descomposició en suma directa de V. En aquest cas, per exemple, els blocs diagonals són tots quadrats. Hom utilitza aquesta estructura per descriure la forma canònica de Jordan.
Es pot utilitzar aquesta tècnica per optimitzar els càlculs sobre matrius, expansions fila-columna, i moltes aplicacions en computació, inclòs el disseny de xips amb circuit integrat a molt gran escala (VLSI). N'és un exemple l'algorisme d'Strassen per la multiplicació ràpida de matrius, així com el Codi de Hamming (7,4) per la detecció i correcció d'errors en transmissions de dades.
Referències
- ↑ Eves, Howard. Elementary Matrix Theory. Reimpressió. Nova York: Dover, 1980, p. 37. ISBN 0-486-63946-0 [Consulta: 24 abril 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.»
- ↑ Anton, Howard. Elementary Linear Algebra. 7a. edició. Nova York: John Wiley, 1994, 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.»
- ↑ Macedo, H.D.; Oliveira, J.N. «Typing linear algebra: A biproduct-oriented approach». Science of Computer Programming, vol. 78, 11, 2013, pàg. 2160–2191. DOI: 10.1016/j.scico.2012.07.012.
- ↑ Anton, Howard. Elementary Linear Algebra. 7a. edició. Nova York: John Wiley, 1994, 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.»
- ↑ Eves, Howard. Elementary Matrix Theory. reimpressió. Nova York: Dover, 1980, p. 37. ISBN 0-486-63946-0 [Consulta: 24 abril 2013]. «A partitioning as in Theorem 1.9.4 is called a conformable partition of A and B.»
- Strang, Gilbert. «Lecture 3: Multiplication and inverse matrices». MIT Open Course ware. [Consulta: 1999].
Enllaços externs
- Weisstein, Eric W., «Block matrix» a MathWorld (en anglès).
- Partitioned matrix a PlanetMath