The Cauchy-Binet Formula is an identity in linear algebra, named after Augustin-Louis Cauchy and Jacques Philippe Marie Binet, for the determinant of the product of two rectangular matrices whose shapes are transposes of each other, so that the product is square and well defined. It generalizes the simpler fact that the determinant of a product of square matrices equals the product of their determinants, and it holds for matrices with entries drawn from any commutative ring.
Facts
StatementAn identity for the determinant of the product of two rectangular matrices of transpose shapes, so that the product is well-defined and square. 2 Classification
Statement Form Connections
Has Statement Form
In Branch
Source Cauchy-Binet formula (Wikipedia)
Proved By
Sources
1. Wikipedia: Cauchy-Binet formula
WikipediaLead section, statement-form referenceQuote, Lead section, statement-form reference
It generalizes the statement that the determinant of a product of square matrices is equal to the product of their determinants.
2. Cauchy-Binet formula (Wikipedia)
Intro, sentence 1
an identity for the determinant of the product of two rectangular matrices of transpose shapes
- In Branch: Linear Algebra, Lead sentence
In Group: Linear Algebra and Matrix Theory, Lead section
In mathematics, specifically linear algebra, the Cauchy-Binet formula, named after Augustin-Louis
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.