En matemáticas , una matriz de bloques o una matriz particionada es una matriz que se interpreta como dividida en secciones llamadas bloques o submatrices . [ 1 ] [ 2 ]
Intuitivamente, una matriz interpretada como una matriz de bloques puede visualizarse como la matriz original con una colección de líneas horizontales y verticales que la dividen o la particionan en una colección de matrices más pequeñas. [ 3 ] [ 2 ] Por ejemplo, la matriz de 3×4 que se presenta a continuación está dividida por líneas horizontales y verticales en cuatro bloques: el bloque superior izquierdo de 2×3, el bloque superior derecho de 2×1, el bloque inferior izquierdo de 1×3 y el bloque inferior derecho de 1×1.
Cualquier matriz puede interpretarse como una matriz de bloques de una o más maneras, y cada interpretación se define por cómo se dividen sus filas y columnas.
Esta noción se puede precisar más para unpormatrizmediante particiónen una coleccióny luego particionandoen una colección. La matriz original se considera entonces como el "total" de estos grupos, en el sentido de que launa entrada de la matriz original se corresponde de forma uno a uno con algunaentrada compensada de algunos, dóndey. [ 4 ]
El álgebra de matrices por bloques surge en general de biproductos en categorías de matrices. [ 5 ]

Ejemplo
La matriz
puede visualizarse como dividido en cuatro bloques, como
Las líneas horizontales y verticales no tienen un significado matemático especial, [ 6 ] [ 7 ] pero son una forma común de visualizar una partición. [ 6 ] [ 7 ] Mediante esta partición,se divide en cuatro bloques de 2×2, como
La matriz particionada se puede escribir entonces como [ 8 ]
Definición formal
Dejar. Una partición dees una representación deen la forma
dóndeson submatrices contiguas,, y. [ 9 ] Los elementosde la partición se denominan bloques . [ 9 ]
Según esta definición, los bloques de cualquier columna deben tener todos el mismo número de columnas. [ 9 ] De manera similar, los bloques de cualquier fila deben tener el mismo número de filas. [ 9 ]
Métodos de particionamiento
Una matriz puede particionarse de muchas maneras. [ 9 ] Por ejemplo, una matrizSe dice que está particionado por columnas si se escribe como
dóndees elcolumna de. [ 9 ] Una matriz también puede particionarse por filas :
dóndees el-fila de. [ 9 ]
particiones comunes
A menudo, [ 9 ] nos encontramos con la partición 2×2
particularmente en la forma dondees un escalar: [ 9 ]
Operaciones de matriz de bloques
Transponer
Dejar
dónde. (Esta matrizse reutilizará en § Suma y § Multiplicación .) Entonces su transpuesta es [ 9 ] [ 10 ]
y la misma ecuación se mantiene reemplazando la transpuesta por la transpuesta conjugada. [ 9 ]
Transposición de bloques
También se puede definir una forma especial de transposición de matrices para matrices de bloques, donde los bloques individuales se reordenan pero no se transponen.ser unmatriz de bloques conbloques, la transpuesta en bloque dees elmatriz de bloquesconbloques. [ 11 ] Al igual que con el operador de traza convencional, la transposición de bloques es una aplicación lineal tal que. [ 10 ] Sin embargo, en general la propiedadno se sostiene a menos que los bloques deydesplazarse.
Suma
Dejar
dóndey dejarsea la matriz definida en § Transpuesta . (Esta matrizse reutilizará en § Multiplicación .) Entonces si,,, y, entonces [ 9 ]
Multiplicación
Es posible utilizar un producto matricial particionado por bloques que solo implica álgebra sobre submatrices de los factores. Sin embargo, la partición de los factores no es arbitraria y requiere " particiones conformes " [ 12 ] entre dos matrices.yde tal manera que se definan todos los productos de submatrices que se utilizarán. [ 13 ]
Dos matricesySe dice que están particionados conformemente para el producto., cuandoyse dividen en submatrices y si la multiplicaciónse lleva a cabo tratando las submatrices como si fueran escalares, pero manteniendo el orden, y cuando se definen todos los productos y sumas de las submatrices involucradas.
— Arak M. Mathai y Hans J. Haubold, Álgebra lineal: un curso para físicos e ingenieros [ 14 ]
DejarSea la matriz definida en § Transpuesta , y seaSea la matriz definida en § Adición . Entonces el producto de la matriz
se puede realizar por bloques, lo que producecomo unmatriz. Las matrices en la matriz resultantese calculan multiplicando: [ 6 ]
O bien, utilizando la notación de Einstein que implícitamente suma sobre índices repetidos:
Representandocomo matriz, tenemos [ 9 ]
Inversión
Si una matriz se divide en cuatro bloques, se puede invertir bloque a bloque de la siguiente manera:
donde A y D son bloques cuadrados de tamaño arbitrario, y B y C son compatibles con ellos para la partición. Además, A y el complemento de Schur de A en P : P / A = D − CA −1 B deben ser invertibles. [ 15 ]
De forma equivalente, permutando los bloques: [ 16 ]
Aquí, D y el complemento de Schur de D en P : P / D = A − BD −1 C deben ser invertibles.
Si A y D son ambos invertibles, entonces:
Según la identidad de Weinstein-Aronszajn , una de las dos matrices en la matriz diagonal por bloques es invertible exactamente cuando la otra lo es. La inversión de la matriz por bloques también permite aprovechar la eficiencia de los algoritmos de multiplicación rápida de matrices , lo que permite realizar la inversión en tiempopara[ 17 ] , Sec. 11, págs. 413-414.
Cálculo de inversas de submatrices a partir de la inversa completa
Debido a la simetría entre una matriz y su inversa en la fórmula de inversión por bloques, si una matriz P y su inversa P −1 se particionan conformemente:
Entonces, la inversa de cualquier submatriz principal se puede calcular a partir de los bloques correspondientes de P −1 :
Esta relación se deriva del reconocimiento de que E −1 = A − BD −1 C (el complemento de Schur) y de la aplicación de la misma fórmula de inversión de bloques con los roles de P y P −1 invertidos. [ 18 ] [ 19 ]
Determinante
La fórmula para el determinante de unLa matriz anterior sigue siendo válida, bajo supuestos adicionales apropiados, para una matriz compuesta por cuatro submatrices.conycuadrado. La fórmula más sencilla de este tipo, que puede demostrarse utilizando la fórmula de Leibniz o una factorización que involucre el complemento de Schur , es [ 16 ].
Utilizando esta fórmula, podemos derivar que los polinomios característicos deyson iguales y equivalentes al producto de los polinomios característicos dey. Además, sioes diagonalizable , entoncesyTambién son diagonalizables. Lo contrario es falso; simplemente compruébelo..
Sies invertible , uno tiene [ 16 ]
y sies invertible, uno tiene [ 20 ] [ 16 ]
Si los bloques son matrices cuadradas del mismo tamaño, se cumplen otras fórmulas. Por ejemplo, siydesplazamiento (es decir,), entonces [ 21 ] Afirmaciones similares son válidas cuando,, o . Es decir, si, entonces Observe el cambio en el orden dey(tenemosen lugar de). De manera similar, si, entoncesdebe ser reemplazado por(es decir, obtenemos) y si, entonces deberíamos tener. Nota: para los dos últimos resultados, hay que usar la conmutatividad del anillo subyacente, pero no para los dos primeros.
Esta fórmula se ha generalizado a matrices compuestas por más debloques, nuevamente bajo condiciones de conmutatividad apropiadas entre los bloques individuales. [ 22 ]
Paray, la siguiente fórmula se cumple (incluso siyno se desplazan diariamente) [ 16 ]
Tipos especiales de matrices de bloques
Sumas directas y matrices diagonales por bloques
Suma directa
Para cualesquiera matrices arbitrarias A (de tamaño m × n ) y B (de tamaño p × q ), tenemos la suma directa de A y B , denotada por A ⊕ B y definida como [ 10 ].
Por ejemplo,
Esta operación se generaliza de forma natural a matrices de dimensiones arbitrarias (siempre que A y B tengan el mismo número de dimensiones).
Tenga en cuenta que cualquier elemento de la suma directa de dos espacios vectoriales de matrices puede representarse como una suma directa de dos matrices.
Matrices diagonales por bloques
Una matriz diagonal por bloques es una matriz por bloques que es una matriz cuadrada tal que los bloques de la diagonal principal son matrices cuadradas y todos los bloques fuera de la diagonal son matrices nulas. [ 16 ] Es decir, una matriz diagonal por bloques A tiene la forma
donde A k es una matriz cuadrada para todo k = 1, ..., n . En otras palabras, la matriz A es la suma directa de A 1 , ..., A n . [ 16 ] También se puede indicar como A 1 ⊕ A 2 ⊕ ... ⊕ A n [ 10 ] o diag( A 1 , A 2 , ..., A n ) [ 10 ] (este último es el mismo formalismo utilizado para una matriz diagonal ). Cualquier matriz cuadrada puede considerarse trivialmente una matriz diagonal por bloques con un solo bloque.
Para el determinante y la traza , se cumplen las siguientes propiedades:
- [ 23 ] [ 24 ] y
- [ 16 ] [ 24 ]
Una matriz diagonal por bloques es invertible si y solo si cada uno de sus bloques diagonales principales es invertible, y en este caso su inversa es otra matriz diagonal por bloques dada por [ 25 ].
Los valores propios [ 26 ] y los vectores propios deson simplemente los de las combinados. [ 24 ]
Matrices tridiagonales por bloques
Una matriz tridiagonal por bloques es otra matriz por bloques especial, que al igual que la matriz diagonal por bloques es una matriz cuadrada , con matrices cuadradas (bloques) en la diagonal inferior, la diagonal principal y la diagonal superior, siendo todos los demás bloques matrices nulas. Esencialmente es una matriz tridiagonal , pero tiene submatrices en lugar de escalares.tiene la forma
dónde,yson submatrices cuadradas de la diagonal inferior, principal y superior respectivamente. [ 27 ] [ 28 ]
Las matrices tridiagonales por bloques se encuentran frecuentemente en soluciones numéricas de problemas de ingeniería (por ejemplo, dinámica de fluidos computacional ). Existen métodos numéricos optimizados para la factorización LU [ 29 ] y, por lo tanto, algoritmos de solución eficientes para sistemas de ecuaciones con una matriz tridiagonal por bloques como matriz de coeficientes. El algoritmo de Thomas , utilizado para la solución eficiente de sistemas de ecuaciones que involucran una matriz tridiagonal, también puede aplicarse mediante operaciones matriciales a matrices tridiagonales por bloques (véase también Descomposición LU por bloques ).
Matrices triangulares de bloques
Unmatrizes triangular superior de bloque (o triangular superior de bloque [ 30 ] ) si hay enteros positivosde tal manera quey donde la matrizesa pesar de. [ 26 ] [ 30 ] De manera similar,es el bloque inferior triangular si dóndeesa pesar de. [ 26 ]
Matrices de Toeplitz de bloques
Una matriz de Toeplitz por bloques es otro tipo de matriz por bloques especial, que contiene bloques que se repiten a lo largo de las diagonales de la matriz, al igual que una matriz de Toeplitz tiene elementos repetidos a lo largo de la diagonal.
Una matrizes bloquear Toeplitz sia pesar de, eso es,
dónde. [ 26 ]
Matrices de Hankel por bloques
Una matrizes bloquear Hankel sia pesar de, eso es,
dónde. [ 26 ]
Véase también
- Producto de Kronecker (producto directo de matrices que da como resultado una matriz de bloques)
- Forma normal de Jordan (forma canónica de un operador lineal en un espacio vectorial complejo de dimensión finita)
- Algoritmo de Strassen (algoritmo para la multiplicación de matrices más rápido que el algoritmo convencional de multiplicación de matrices)
Notas
- ↑ Eves, Howard (1980). Teoría elemental de matrices ( edición reimpresa). Nueva York: Dover. pág . 37. ISBN 0-486-63946-0. Recuperado el 24 de abril de 2013 .
Veremos que a veces es conveniente subdividir una matriz en bloques rectangulares de elementos. Esto nos lleva a considerar las llamadas matrices particionadas o de bloques .
- 1 2 Dobrushkin, Vladimir. "Matrices de partición" . Álgebra lineal con Mathematica . Consultado el 24 de marzo de 2024 .
- ↑ Anton, Howard (1994). Álgebra lineal elemental (7.ª ed.). Nueva York: John Wiley. pág. 30. ISBN 0-471-58742-7
Una matriz puede subdividirse o
particionarse
en matrices más pequeñas insertando líneas horizontales y verticales entre filas y columnas seleccionadas
. - ↑ Indhumathi, D.; Sarala, S. (2014-05-16). "Análisis de fragmentos y generación de casos de prueba utilizando la medida F para pruebas aleatorias adaptativas y pruebas aleatorias adaptativas basadas en bloques particionados" (PDF) . Revista Internacional de Aplicaciones Informáticas . 93 (6): 13. Bibcode : 2014IJCA...93f..11I . doi : 10.5120/16218-5662 .
- ↑ Macedo, HD; Oliveira, JN (2013). "Escriba álgebra lineal: un enfoque orientado al biproducto". Science of Computer Programming . 78 (11): 2160– 2191. arXiv : 1312.4818 . doi : 10.1016/j.scico.2012.07.012 .
- 1 2 3 Johnston, Nathaniel (2021). Introducción al álgebra lineal y matricial . Cham, Suiza: Springer Nature. pp. 30, 425. ISBN 978-3-030-52811-9.
- 1 2 Johnston, Nathaniel (2021). Álgebra lineal y matricial avanzada . Cham, Suiza: Springer Nature. pág. 298. ISBN 978-3-030-52814-0.
- ↑ Jeffrey, Alan (2010). Operaciones matriciales para ingenieros y científicos: una guía esencial en álgebra lineal . Dordrecht [Países Bajos]; Nueva York: Springer. pág. 54. ISBN 978-90-481-9273-1OCLC 639165077
- 1 2 3 4 5 6 7 8 9 10 11 12 13 Stewart, Gilbert W. (1998). Algoritmos matriciales. 1: Descomposiciones básicas . Filadelfia, PA: Soc. de Matemáticas Industriales y Aplicadas. págs. 18–20 . ISBN 978-0-89871-414-2.
- 1 2 3 4 5 Gentle, James E. (2007). Álgebra matricial: teoría, cálculos y aplicaciones en estadística . Textos de Springer en estadística. Nueva York, NY: Springer New York Springer e-books. págs. 47, 487. ISBN 978-0-387-70873-7.
- ↑ Mackey, D. Steven (2006). Linealizaciones estructuradas para polinomios matriciales (PDF) (Tesis). Universidad de Manchester. ISSN 1749-9097 . OCLC 930686781 .
- ↑ Eves, Howard (1980). Teoría elemental de matrices ( edición reimpresa). Nueva York: Dover. pág . 37. ISBN 0-486-63946-0. Recuperado el 24 de abril de 2013 .
Una partición como en el Teorema 1.9.4 se llama partición conforme de A y B .
- ↑ Anton, Howard (1994). Álgebra lineal elemental (7.ª ed.). Nueva York: John Wiley. pág. 36. ISBN 0-471-58742-7...
siempre que los tamaños de las submatrices de A y B sean tales que se puedan realizar las operaciones indicadas.
- ↑ Mathai, Arakaparampil M.; Haubold, Hans J. (2017). Álgebra lineal: un curso para físicos e ingenieros . Libro de texto de De Gruyter. Berlín Boston: De Gruyter. pág. 162. ISBN 978-3-11-056259-0.
- ↑ Bernstein, Dennis (2005). Matemáticas matriciales . Princeton University Press. pág. 44. ISBN 0-691-11802-7.
- 1 2 3 4 5 6 7 8 Abadir, Karim M.; Magnus, enero R. (2005). Álgebra matricial . Prensa de la Universidad de Cambridge. págs.97 , 100, 106, 111, 114, 118. ISBN 9781139443647.
- ↑ Pan, V. (1984). "¿Cómo podemos acelerar la multiplicación de matrices?". SIAM Review . 26 (3): 393– 415. doi : 10.1137/1026076 .
- ↑ "¿Se conoce esta fórmula para la inversa de un bloque de matriz en términos de la inversa de la matriz completa?" . MathOverflow .
- ↑ Escalante-B., Alberto N.; Wiskott, Laurenz (2016). "SFA mejorado basado en grafos: la preservación de la información complementa el principio de lentitud" . Machine Learning . arXiv : 1412.4679 . doi : 10.1007/s10994-016-5563-y .
- ↑ Taboga, Marco (2021). "Determinante de una matriz de bloques", Lecciones de álgebra matricial.
- ↑ Silvester, JR (2000). "Determinantes de matrices de bloques" (PDF) . Math. Gaz . 84 (501): 460– 467. doi : 10.2307/3620776 . JSTOR 3620776. Archivado del original (PDF) el 18 de marzo de 2015. Recuperado el 25 de junio de 2021 .
- ↑ Sothanaphan, Nat (enero de 2017). "Determinantes de matrices de bloques con bloques no conmutativos". Álgebra lineal y sus aplicaciones . 512 : 202–218 . arXiv : 1805.06027 . doi : 10.1016/j.laa.2016.10.004 . S2CID 119272194 .
- ↑ Quarteroni, Alfio; Sacco, Riccardo; Saleri, Fausto (2000). Matemáticas numéricas . Textos de matemáticas aplicadas. Nueva York: Springer. pp. 10, 13. ISBN 978-0-387-98959-4.
- ^ George, Raju K .; Ajayakumar, Abhijith (2024). "Un curso de álgebra lineal" . Textos Universitarios en Ciencias Matemáticas : 35, 407. doi : 10.1007/978-981-99-8680-4 . ISBN 978-981-99-8679-8ISSN 2731-9318
- ↑ Prince, Simon JD (2012). Visión por computadora: modelos, aprendizaje e inferencia . Nueva York: Cambridge University Press. pág. 531. ISBN 978-1-107-01179-3.
- 1 2 3 4 5 Bernstein, Dennis S. (2009). Matemáticas matriciales: teoría, hechos y fórmulas (2.ª ed.). Princeton, NJ: Princeton University Press. pp. 168, 298. ISBN 978-0-691-14039-1.
- ↑ Dietl, Guido KE (2007). Estimación y detección lineal en subespacios de Krylov . Fundamentos en procesamiento de señales, comunicaciones y redes. Berlín; Nueva York: Springer. pp. 85, 87. ISBN 978-3-540-68478-7OCLC 85898525
- ↑ Horn, Roger A.; Johnson, Charles R. (2017). Análisis matricial (Segunda edición, reimpresión corregida ). Nueva York, NY: Cambridge University Press. pág. 36. ISBN 978-0-521-83940-2.
- ↑ Datta, Biswa Nath (2010). Álgebra lineal numérica y aplicaciones (2.ª ed.). Filadelfia, Pa: SIAM. pág. 168. ISBN 978-0-89871-685-6.
- 1 2 Stewart, Gilbert W. (2001). Algoritmos matriciales. 2: Sistemas propios . Filadelfia, Pa: Soc. de Matemáticas Industriales y Aplicadas. pág. 5. ISBN 978-0-89871-503-3.
Referencias
- Strang, Gilbert (1999). "Clase 3: Multiplicación y matrices inversas" . Material didáctico del MIT Open Course. 18:30–21:10.
- Matrices (matemáticas)
- Matrices dispersas