Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Theorem

Cauchy-Binet Formula

Algebra

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
Statement
An 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
Identity or Equation 1
Connections

Proved By

Sources
1. Wikipedia: Cauchy-Binet formula
WikipediaLead section, statement-form reference
Quote, 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.
View the Source
2. Cauchy-Binet formula (Wikipedia)
Intro, sentence 1
Quote, Intro, sentence 1
an identity for the determinant of the product of two rectangular matrices of transpose shapes
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.