Linear and multilinear algebra; matrix theory Definition
Block matrix
Builds on Matrix
Definition
Let be a ring. Let and with positive integers and . For each and , let be an matrix over . The block matrix with blocks is the matrix in which fills rows to and columns to .
Remarks
If the column partition of matches the row partition of , then is computed block by block: .
In Mathlib, Matrix.fromBlocks makes the block matrix .
The determinant of a block triangular matrix is the product of the determinants of its diagonal blocks.
Reading path
To understand this page from the ground up, read these 2 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Matrix definition
- Block matrix definition
Where this leads
8 pages build on this one.
Further reading
- Web https://en.wikipedia.org/wiki/Block_matrix, Formal definition
About this page
| Tag | 01AXG9KZQF |
|---|---|
| URI | m2://01AXG9KZQF |
| Kind | definition |
| Writing | W1 stated |
| MSC | 15A99 |
| Defines | Block matrix |
| Uses | Matrix |
Markdown · JSON · Edit on GitHub
What this page needs for W2
- edge instance_of in: one example (0 of 1)
- edge not_instance_of in: one non-example that fails one clause (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.