# Fórmula de Cauchy–Binet

En álgebra lineal, la fórmula de Cauchy–Binet, nombrada por Augustin Louis Cauchy y Jacques Philippe Marie Binet, es una identidad para el determinante del producto de dos matrices rectangulares de formas transpuestas (de modo que el producto sea cuadrado y bien definido). Generaliza la declaración de que el determinante de un producto de matrices cuadradas es igual al producto de sus determinantes. La fórmula es válida para matrices con entradas de cualquier anillo conmutativo.

## Declaración

Sea $A$ una matriz de $m\times n$ y $B$ una matriz de $n\times m$. Escribe $[n]$ para el conjunto $\{1,...,n\}$, y ${\tbinom {[n]}{m}}$ para el conjunto de combinaciones $m$ de $[n]$ (ej. subconjuntos de tamaño $m$; los cuales son ${\tbinom {n}{m}}$ de ellos). Para $S\in {\tbinom {[n]}{m}}$, escribe $A_{[m],S}$ para la matriz $m\times m$ cuyas columnas sean las columnas de $A$ a los índices de $S$, y $B_{S,[m]}$ para las matrices $m\times m$ cuyas filas sean las filas de $B$ a los índices de $S$. Entonces, la fórmula de Cauchy–Binet dice que
    $\det(AB)=\sum _{S\in {\tbinom {[n]}{m}}}\det(A_{[m],S})\det(B_{S,[m]}).$
Por ejemplo, tomando $m=2$, $n=3$, y las matrices $A={\begin{pmatrix}1&1&2\\3&1&-1\\\end{pmatrix}}$ y $B={\begin{pmatrix}1&1\\3&1\\0&2\end{pmatrix}}$, la fórmula de Cauchy–Binet dará como determinante:
    $\det(AB)=\left|{\begin{matrix}1&1\\3&1\end{matrix}}\right|\cdot \left|{\begin{matrix}1&1\\3&1\end{matrix}}\right|+\left|{\begin{matrix}1&2\\1&-1\end{matrix}}\right|\cdot \left|{\begin{matrix}3&1\\0&2\end{matrix}}\right|+\left|{\begin{matrix}1&2\\3&-1\end{matrix}}\right|\cdot \left|{\begin{matrix}1&1\\0&2\end{matrix}}\right|.$
En efecto $AB={\begin{pmatrix}4&6\\6&2\end{pmatrix}}$, y su determinante es -28, el cual también es $-2\times -2+-3\times 6+-7\times 2$, un valor dado por el lado derecho de la fórmula.

## Casos especiales

Si $n<m$, entonces ${\tbinom {[n]}{m}}$ es el conjunto vacío, y la fórmula dice que $det(AB)=0$ (su lado derecho es una suma vacía); es cierto que en este caso el rango de la matriz $m\times m$, $AB$, es al menos $n$, lo cual implica que su determinante es cero. Si $n=m$, el caso donde $A$ y $B$ son matrices cuadradas, ${\tbinom {[n]}{m}}=\{[n]\}$ (un conjunto unitario), entonces la suma sólo implica que $S=[n]$, y la fórmula dice que $det(AB)=det(A)det(B)$.
Para $m=0$, $A$ y $B$ son matrices vacías (pero de diferentes formas si $n>0$), al ser su producto $AB$; la suma incluye un término único $S=\varnothing$, y la fórmula dice que $1=1$, con ambos lados dados por el determinante de la matriz $0\times 0$. Para $m=1$, los rangos de suma sobre la colección ${\tbinom {[n]}{1}}$ de $n$ conjuntos unitarios diferentes tomados de $[n]$, y ambos lados de la fórmula dan $\textstyle \sum _{j=1}^{n}A_{1,j}B_{j,1}$, el producto escalar del par de vectores representados por las matrices. El valor más pequeño de $m$ para el cual la fórmula declara una igualdad no trivial es $m=2$.

### Caso n=3

Sean ${\boldsymbol {a}},{\boldsymbol {b}},{\boldsymbol {c}},{\boldsymbol {d}},{\boldsymbol {x}},{\boldsymbol {y}},{\boldsymbol {z}}$ y ${\boldsymbol {w}}$ vectores tridimensionales. ${\begin{aligned}1&=1&(m=0)\\{\boldsymbol {a}}\cdot {\boldsymbol {x}}&=a_{1}x_{1}+a_{2}x_{2}+a_{3}x_{3}&(m=1)\\{\begin{vmatrix}{\boldsymbol {a}}\cdot {\boldsymbol {x}}&{\boldsymbol {a}}\cdot {\boldsymbol {y}}\\{\boldsymbol {b}}\cdot {\boldsymbol {x}}&{\boldsymbol {b}}\cdot {\boldsymbol {y}}\end{vmatrix}}&={\begin{vmatrix}a_{2}&a_{3}\\b_{2}&b_{3}\end{vmatrix}}{\begin{vmatrix}x_{2}&y_{2}\\x_{3}&y_{3}\end{vmatrix}}+{\begin{vmatrix}a_{3}&a_{1}\\b_{3}&b_{1}\end{vmatrix}}{\begin{vmatrix}x_{3}&y_{3}\\x_{1}&y_{1}\end{vmatrix}}+{\begin{vmatrix}a_{1}&a_{2}\\b_{1}&b_{2}\end{vmatrix}}{\begin{vmatrix}x_{1}&y_{1}\\x_{2}&y_{2}\end{vmatrix}}\\&=({\boldsymbol {a}}\times {\boldsymbol {b}})\cdot ({\boldsymbol {x}}\times {\boldsymbol {y}})&(m=2)\\{\begin{vmatrix}{\boldsymbol {a}}\cdot {\boldsymbol {x}}&{\boldsymbol {a}}\cdot {\boldsymbol {y}}&{\boldsymbol {a}}\cdot {\boldsymbol {z}}\\{\boldsymbol {b}}\cdot {\boldsymbol {x}}&{\boldsymbol {b}}\cdot {\boldsymbol {y}}&{\boldsymbol {b}}\cdot {\boldsymbol {z}}\\{\boldsymbol {c}}\cdot {\boldsymbol {x}}&{\boldsymbol {c}}\cdot {\boldsymbol {y}}&{\boldsymbol {c}}\cdot {\boldsymbol {z}}\end{vmatrix}}&={\begin{vmatrix}a_{1}&a_{2}&a_{3}\\b_{1}&b_{2}&b_{3}\\c_{1}&c_{2}&c_{3}\end{vmatrix}}{\begin{vmatrix}x_{1}&y_{1}&z_{1}\\x_{2}&y_{2}&z_{2}\\x_{3}&y_{3}&z_{3}\end{vmatrix}}\\&=[{\boldsymbol {a}}\cdot ({\boldsymbol {b}}\times {\boldsymbol {c}})][{\boldsymbol {x}}\cdot ({\boldsymbol {y}}\times {\boldsymbol {z}})]&(m=3)\\{\begin{vmatrix}{\boldsymbol {a}}\cdot {\boldsymbol {x}}&{\boldsymbol {a}}\cdot {\boldsymbol {y}}&{\boldsymbol {a}}\cdot {\boldsymbol {z}}&{\boldsymbol {a}}\cdot {\boldsymbol {w}}\\{\boldsymbol {b}}\cdot {\boldsymbol {x}}&{\boldsymbol {b}}\cdot {\boldsymbol {y}}&{\boldsymbol {b}}\cdot {\boldsymbol {z}}&{\boldsymbol {b}}\cdot {\boldsymbol {w}}\\{\boldsymbol {c}}\cdot {\boldsymbol {x}}&{\boldsymbol {c}}\cdot {\boldsymbol {y}}&{\boldsymbol {c}}\cdot {\boldsymbol {z}}&{\boldsymbol {c}}\cdot {\boldsymbol {w}}\\{\boldsymbol {d}}\cdot {\boldsymbol {x}}&{\boldsymbol {d}}\cdot {\boldsymbol {y}}&{\boldsymbol {d}}\cdot {\boldsymbol {z}}&{\boldsymbol {d}}\cdot {\boldsymbol {w}}\end{vmatrix}}&=0&(m=4)\end{aligned}}$
En el caso que $m>3$, el lado derecho siempre será igual a cero.

## Una demostración simple

La siguiente demostración fue postulada por Terence Tao en 2012, y depende en dos hechos que pueden ser probados de varias formas:
* Para cada $1\leq k\leq n$ el coeficiente de $z^{n-k}$ en el polinomio $\det(zI_{n}+X)$ es la suma de los $k\times k$ principales menores de $X$.
* Si $m\leq n$ y $A$ es una matriz $m\times n$ y $B$ una matriz $n\times m$, entonces $\det(zI_{n}+BA)=z^{n-m}\det(zI_{m}+AB)$.
Ahora, si comparamos el coeficiente de $z^{n-m}$ en la ecuación $\det(zI_{n}+BA)=z^{n-m}\det(zI_{m}+AB)$, el lado izquierdo dará la suma de los menores principales de $BA$, mientras que el lado derecho dará el término constante de $\det(zI_{m}+AB)$, el cual es simplemente $\det(AB)$, que es lo que la fórmula de Cauchy–Binet declara, un ejemplo sería
$\sum _{S\in {\tbinom {[n]}{m}}}\det((BA)_{S,S})=\sum _{S\in {\tbinom {[n]}{m}}}\det(B_{S,[m]})\det(A_{[m],S})=\sum _{S\in {\tbinom {[n]}{m}}}\det(A_{[m],S})\det(B_{S,[m]})=\det(AB).$

## Demostración

Hay varias demostraciones que pueden probar la fórmula de Cauchy–Binet. La demostración de más abajo está basada únicamente en manipulaciones formales, y evita el uso de cada interpretación particular de determinantes, los cuales pueden ser tomados para ser definidos por la fórmula de Leibniz. Sólo su multilinearidad con respecto a las filas y las columnas, y su propiedad alternante (cancelándose en la presencia de filas o columnas iguales) son utilizadas; particularmente, la propiedad multiplicativa de determinantes para matrices cuadradas no es utilizada, pero está más bien establecido (el caso $n=m$). La demostración es válida para anillos de coeficientes conmutativos arbitrarios.
La fórmula puede ser demostrada en dos pasos:
* utiliza el hecho de que ambos lados son multilineales (más precisamente, $2m$-lineales) en las filas de $A$ y las columnas de $B$, para reducir al caso de que cada fila de $A$ y cada columna de $B$ tiene sólo una entrada que no es cero, la cual es 1.
* maneja ese caso utilizando las funciones $[m]\to [n]$, que mapean respectivamente los números de las filas de $A$ a los números de las columnas de $B$ de su entrada diferente de cero, y los números de las columnas de $B$ hacia los números de filas de su entrada diferente de cero.
Para el primer paso, observa que para cada fila de $A$ o columna de $B$, y para cada $m$-combinación $S$, los valores de $det(AB)$ y $det(A_{[m],S})det(B_{S,[m]})$ en efecto dependen linealmente de la fila o columna. Para el último, esto es inmediato desde la propiedad multilineal del determinante; para el anterior hay que además comprobar que tomando una combinación lineal para la fila de $A$ o columna de $B$ dejando el resto intacto únicamente afecta la fila o columna correspondiente del producto $AB$, y por la misma combinación lineal. Así uno puede trabajar los dos lados de la fórmula de Cauchy–Binet por linealidad para cada fila de $A$, y luego también cada columna de $B$, escribiendo cada una de las filas y columnas como una combinación lineal de los vectores base estándar. Las sumas múltiples resultantes son enormes, pero tienen la misma forma para ambos lados: términos correspondientes incluyen el mismo factor escalar (cada uno es producto de entradas de $A$ y $B$), y estos términos sólo difieren al involucrar dos expresiones diferentes en términos de matrices constantes del tipo descrito arriba, cuyas expresiones deberán ser iguales, de acuerdo a la fórmula de Cauchy–Binet. Esto logra la reducción del primer paso.
Concretamente, las múltiples sumas pueden ser agrupadas en dos sumatorias, una sobre todas las funciones $f:[m]\to [n]$ que para cada índice de filas de $A$ da un índice de columnas correspondiente, y otro sobre todas las funciones $g:[m]\to [n]$ que para cada índice de columnas de $B$ da como resultado un índice de filas correspondiente. Las matrices asociadas a $f$ y $g$ son
    $L_{f}={\bigl(\delta _{f(i),j})_{i\in [m],j\in [n]}{\bigr )}\quad {\text{y}}\quad R_{g}={\bigl(\delta _{j,g(k)})_{j\in [n],k\in [m]}{\bigr )}$
donde $\delta$ es la delta de Kronecker, y la fórmula de Cauchy–Binet a demostrar se reescribe como
    $\sum _{f:[m]\to [n]}\sum _{g:[m]\to [n]}p(f,g)\det(L_{f}R_{g})=\sum _{f:[m]\to [n]}\sum _{g:[m]\to [n]}p(f,g)\sum _{S\in {\tbinom {[n]}{m}}}\det((L_{f})_{[m],S})\det(R_{g})_{S,[m]}),$
donde $p(f,g)$ denota el factor escalar $\textstyle (\prod _{i=1}^{m}A_{i,f(i)})(\prod _{k=1}^{m}B_{g(k),k})$. Luego de esto queda probar la fórmula de Cauchy−Binet para $A=L_{f}$ y $B=R_{g}$ para todo $f,g:[m]\to [n]$.
Para el segundo paso, si $f$ falla en ser inyectiva entonces ambas $L_{f}$ y $L_{f}R_{g}$ tienen dos filas idénticas, y si $g$ falla en ser inyectiva entonces ambas $R_{g}$ y $L_{f}R_{g}$ tienen dos columnas idénticas; en cualquier caso ambos lados de la identidad son cero. Suponiendo ahora que ambas $f$ y $g$ son mapas inyectivos $[m]\to [n]$, el factor $\det((L_{f})_{[m],S})$ en el lado derecho es cero a menos que $S=f([m])$, mientras que el factor $\det((R_{g})_{S,[m]})$ es cero a menos que $S=g([m])$. Entonces, si las imágenes de $f$ y $g$ son diferentes, el lado derecho tiene solo términos nulos, y el lado derecho es también cero, ya que $L_{f}R_{g}$ tiene una fila nula (para $i$ con $f(i)\notin g([m])$). En el caso restante donde las imágenes de $f$ y $g$ son las mismas, digamos $f([m])=S=g([m])$, necesitamos probar que
    $\det(L_{f}R_{g})=\det((L_{f})_{[m],S})\det(R_{g})_{S,[m]}).\,$
Deja a $h$ ser la única biyección en crecimiento $[m]\to S$ y $\pi$ y $\sigma$ las permutaciones de $[m]$ de modo que $f=h\circ \pi ^{-1}$ y $g=h\circ \sigma$; entonces $(L_{f})_{[m],S}$ es la matriz permutación para $\pi$, $(R_{g})_{S,[m]}$ es la matriz permutación para $\sigma$, y $L_{f}R_{g}$ es la matriz permutación para $\pi \circ \sigma$, y ya que el determinante de una matriz permutación es igual a la signatura de la permutación, la identidad sigue desde el hecho de que las signaturas son multiplicativas.
Utilizando multilinearidad con respecto a ambas las filas de $A$ y las columnas de $B$ en la demostración no es necesario; uno podría utilizar solo uno de ellos, digamos el primero, y utilizar que el producto de matrices $L_{f}B$ consiste ya sea de una permutación de las filas de $B_{f([m]),[m]}$ (si $f$ es inyectiva), o de que tenga al menos dos filas iguales.

## Relación con la delta de Kronecker generalizada

Como hemos visto, la fórmula de Cauchy–Binet es equivalente a
    $\det(L_{f}R_{g})=\sum _{S\in {\tbinom {[n]}{m}}}\det((L_{f})_{[m],S})\det((R_{g})_{S,[m]}),$
donde
    $L_{f}={\bigl(\delta _{f(i),j})_{i\in [m],j\in [n]}{\bigr )}\quad {\text{y}}\quad R_{g}={\bigl(\delta _{j,g(k)})_{j\in [n],k\in [m]}{\bigr )}.$
En términos de la delta de Kronecker generalizada, podemos derivar la fórmula equivalente a la fórmula de Cauchy–Binet:
    $\delta _{g(1)\dots g(m)}^{f(1)\dots f(m)}=\sum _{k:[m]\to [n] \atop k(1)<\dots <k(m)}\delta _{k(1)\dots k(m)}^{f(1)\dots f(m)}\delta _{g(1)\dots g(m)}^{k(1)\dots k(m)}.$

## Interpretaciones geométricas

Si $A$ es una matriz real $m\times n$ entonces $det(AA^{T})$ es igual al cuadrado del volumen $m$-dimensional del paralelótopo extendido en $R^{n}$ por las filas $m$ de $A$. La fórmula de Binet dice que esto es igual a la suma de los cuadrados de los volúmenes que surgen si el paralelepípedo está proyectado ortogonalmente en los planos de coordenadas $m$-dimensionales (de los cuales está ${\tbinom {n}{m}}$).
En el caso $m=1$ el paralelótopo es reducido a un vector singular y su volumen es longitud. Esta declaración luego también dice que el cuadrado de la longitud de un vector es la suma de los cuadrados de sus coordenadas; esto es en efecto el caso por la definición de esa longitud, la cual está basada en el teorema de Pitágoras.

## Generalización

La fórmula de Cauchy–Binet puede ser extendida directamente en una fórmula directa para los menores del producto de dos matrices. La idea es que ambas la fórmula para la multiplicación de matrices y la fórmula de Cauchy–Binet para el determinante del producto de dos matrices sean casos especiales a la declaración siguiente sobre los menores del producto de dos matrices. Supongamos que $A$ es una matriz $m\times n$, $B$ es una matriz $n\times p$, $I$ es un subconjunto de $\{1,...,m\}$ con elementos $k$ y $J$ es un subconjunto de $\{1,...,p\}$ con elementos $k$. Entonces
    $[\mathbf {AB} ]_{I,J}=\sum _{K}[\mathbf {A} ]_{I,K}[\mathbf {B} ]_{K,J}\,$
donde la suma se extiende sobre todos los subconjuntos $K$ de $\{1,...,n\}$ con elementos $k$. Esta fórmula es una extensión directa de la fórmula de Cauchy–Binet.