Math 2.0

Linear and multilinear algebra; matrix theory Definition

Block matrix

Builds on Matrix

Definition

Let RR be a ring. Let m=m1+⋯+mpm = m_1 + \cdots + m_p and n=n1+⋯+nqn = n_1 + \cdots + n_q with positive integers mim_i and njn_j. For each i≤pi \le p and j≤qj \le q, let AijA_{ij} be an mi×njm_i \times n_j matrix over RR. The block matrix with blocks AijA_{ij} is the m×nm \times n matrix A=(A11⋯A1q⋮⋱⋮Ap1⋯Apq),A = \begin{pmatrix} A_{11} & \cdots & A_{1q} \\ \vdots & \ddots & \vdots \\ A_{p1} & \cdots & A_{pq} \end{pmatrix}, in which AijA_{ij} fills rows m1+⋯+mi−1+1m_1 + \cdots + m_{i-1} + 1 to m1+⋯+mim_1 + \cdots + m_i and columns n1+⋯+nj−1+1n_1 + \cdots + n_{j-1} + 1 to n1+⋯+njn_1 + \cdots + n_j.

Remarks

If the column partition of AA matches the row partition of BB, then ABAB is computed block by block: (AB)ik=∑jAijBjk(AB)_{ik} = \sum_j A_{ij} B_{jk}. In Mathlib, Matrix.fromBlocks makes the 2×22 \times 2 block matrix (ABCD)\begin{pmatrix} A & B \\ C & D \end{pmatrix}. 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
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Matrix definition
  2. Block matrix definition

Where this leads

8 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Block_matrix, Formal definition
About this page
Tag01AXG9KZQF
URIm2://01AXG9KZQF
Kinddefinition
WritingW1 stated
MSC15A99
DefinesBlock matrix
UsesMatrix

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.

What links here

Used by