Block Matrix with Two Row Blocks and Two Column Blocks
definitionLinear Algebradef:block-matrix-2x2-2026aLet and be natural numbers with and , let be the real numbers, and for a natural number let be the initial segment determined by . Let , , and be real matrices of sizes , , and respectively.
As recorded in Concatenation Identifies a Product of Euclidean Spaces with a Euclidean Space, every satisfies exactly one of the following: ; or for a unique .
The block matrix
is the real matrix whose entries are given, for and , by
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.