# Cauchy-Binet formula

﻿
Cauchy-Binet formula

In linear algebra, the Cauchy-Binet formula generalizes the multiplicativity of the determinant (the fact that the determinant of a product of two square matrices is equal to the product of the two determinants) to non-square matrices.

Suppose "A" is an "m"&times;"n" matrix and "B" is an "n"&times;"m" matrix. If "S" is a subset of { 1, ..., "n" } with "m" elements, we write "A""S" for the "m"&times;"m" matrix whose columns are those columns of "A" that have indices from "S". Similarly, we write "B""S" for the "m"&times;"m" matrix whose "rows" are those rows of "B" that have indices from "S". The Cauchy-Binet formula then states

:$det\left(AB\right) = sum_S det\left(A_S\right)det\left(B_S\right),$

where the sum extends over all possible subsets "S" of { 1, ..., "n" } with "m" elements (there are C("n","m") of them).

If "m" = "n", i.e. if "A" and "B" are square matrices of the same format, then there is only a single admissible set "S", and the Cauchy-Binet formula reduces to the ordinary multiplicativity of the determinant. If "m" = 1 then there are "n" admissible sets "S" and the formula reduces to that for the dot product. If "m" > "n", then there is no admissible set "S" and the determinant det("AB") is zero (see empty sum).

The formula is valid for matrices with entries from any commutative ring. For the proof one writes the columns of "AB" as linear combinations of the columns of "A" with coefficients from "B", uses the multilinearity of the determinant, and collects the terms that belong to a single det("A""S") together by exploiting the anti-symmetry of the determinant. The coefficient of det("A""S") is seen to be det("B""S") using the Leibniz formula for the determinant. This proof does not use the multiplicativity of the determinant; rather, the proof establishes it.

If "A" is a real "m"&times;"n" matrix, then det("A" "A"T) is equal to the square of the "m"-dimensional volume of the parallelepiped spanned in R"n" by the "m" rows of "A". Binet's formula states that this is equal to the sum of the squares of the volumes that arise if the parallelepiped is orthogonally projected onto the "m"-dimensional coordinate planes (of which there are C("n","m")). The case "m" = 1 of this statement talks about the length of a line segment: it is nothing but the Pythagorean theorem.

The Cauchy-Binet formula can be extended in a straightforward way to a general formula for the minors of the product of two matrices. That formula is given in the article on minors.

Example: If and then the Cauchy-Binet formula gives the determinant:

:
cdotleft|egin{matrix}1&1\3&1end{matrix} ight
+left|egin{matrix}1&2\1&-1end{matrix} ight
cdotleft|egin{matrix}3&1\0&2end{matrix} ight
+left|egin{matrix}1&2\3&-1end{matrix} ight
cdotleft|egin{matrix}1&1\0&2end{matrix} ight
=-28.

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Binet — is surname of French origin, shared by the following people:*Alfred Binet, a 19th century French psychologist and inventor of the first usable intelligence test **The Stanford Binet IQ test is partially named after Alfred Binet. *Jacques Philippe …   Wikipedia

• Binet–Cauchy identity — In algebra, the Binet–Cauchy identity, named after Jacques Philippe Marie Binet and Augustin Louis Cauchy, states that: iggl(sum {i=1}^n a i c iiggr)iggl(sum {j=1}^n b j d jiggr) = iggl(sum {i=1}^n a i d iiggr)iggl(sum {j=1}^n b j c… …   Wikipedia

• Augustin Louis Cauchy — Infobox Scientist name = Augustin Louis Cauchy image width = 200px caption = Augustin Louis Cauchy birth date = birth date|1789|8|21|df=y birth place = Paris, France death date = death date and age|1857|5|23|1789|8|21|df=y death place = Sceaux,… …   Wikipedia

• Jacques Philippe Marie Binet — (February 2, 1786 May 12, 1856) was a French mathematician, physicist and astronomer born in Rennes; he died in Paris, France, in 1856. He made significant contributions to number theory, and the mathematical foundations of matrix algebra which… …   Wikipedia

• Determinant — This article is about determinants in mathematics. For determinants in epidemiology, see Risk factor. In linear algebra, the determinant is a value associated with a square matrix. It can be computed from the entries of the matrix by a specific… …   Wikipedia

• List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia

• Minor (linear algebra) — This article is about a concept in linear algebra. For the unrelated concept of minor in graph theory, see Minor (graph theory). In linear algebra, a minor of a matrix A is the determinant of some smaller square matrix, cut down from A by… …   Wikipedia

• Kirchhoff's theorem — In the mathematical field of graph theory Kirchhoff s theorem or Kirchhoff s matrix tree theorem named after Gustav Kirchhoff is a theorem about the number of spanning trees in a graph. It is a generalization of Cayley s formula which provides… …   Wikipedia

• List of linear algebra topics — This is a list of linear algebra topics. See also list of matrices glossary of tensor theory. Contents 1 Linear equations 2 Matrices 3 Matrix decompositions 4 …   Wikipedia

• Mijaíl Ostrogradski — Mijaíl Ostrogradski. Mijaíl Vasílievich Ostrogradski (Михаил Васильевич Остроградский) (Pachenna, Ucrania, 1801 Poltava, Ucrania, 1861), fue un físico y matemático ucraniano. Empezó sus estudios de matemáticas en la Universidad de Járkov, y los… …   Wikipedia Español