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 una matriz de y una matriz de . Escribe para el conjunto , y para el conjunto de combinaciones de (ej. subconjuntos de tamaño ; los cuales son de ellos). Para , escribe para la matriz cuyas columnas sean las columnas de a los índices de , y para las matrices cuyas filas sean las filas de a los índices de . Entonces, la fórmula de Cauchy–Binet dice que
Por ejemplo, tomando , , y las matrices y , la fórmula de Cauchy–Binet dará como determinante:
En efecto , y su determinante es -28, el cual también es , un valor dado por el lado derecho de la fórmula.
Casos especiales
Si , entonces es el conjunto vacío, y la fórmula dice que (su lado derecho es una suma vacía); es cierto que en este caso el rango de la matriz , , es al menos , lo cual implica que su determinante es cero. Si , el caso donde y son matrices cuadradas, (un conjunto unitario), entonces la suma sólo implica que , y la fórmula dice que .
Para , y son matrices vacías (pero de diferentes formas si ), al ser su producto ; la suma incluye un término único , y la fórmula dice que , con ambos lados dados por el determinante de la matriz . Para , los rangos de suma sobre la colección de conjuntos unitarios diferentes tomados de , y ambos lados de la fórmula dan , el producto escalar del par de vectores representados por las matrices. El valor más pequeño de para el cual la fórmula declara una igualdad no trivial es .
Caso n=3
Sean y vectores tridimensionales.
En el caso que , 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:[1]
- Para cada el coeficiente de en el polinomio es la suma de los principales menores de .
- Si y es una matriz y una matriz , entonces .
Ahora, si comparamos el coeficiente de en la ecuación , el lado izquierdo dará la suma de los menores principales de , mientras que el lado derecho dará el término constante de , el cual es simplemente , que es lo que la fórmula de Cauchy–Binet declara, un ejemplo sería
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 ). 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, -lineales) en las filas de y las columnas de , para reducir al caso de que cada fila de y cada columna de tiene sólo una entrada que no es cero, la cual es 1.
- maneja ese caso utilizando las funciones , que mapean respectivamente los números de las filas de a los números de las columnas de de su entrada diferente de cero, y los números de las columnas de hacia los números de filas de su entrada diferente de cero.
Para el primer paso, observa que para cada fila de o columna de , y para cada -combinación , los valores de y 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 o columna de dejando el resto intacto únicamente afecta la fila o columna correspondiente del producto , 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 , y luego también cada columna de , 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 y ), 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 que para cada índice de filas de da un índice de columnas correspondiente, y otro sobre todas las funciones que para cada índice de columnas de da como resultado un índice de filas correspondiente. Las matrices asociadas a y son
donde es la delta de Kronecker, y la fórmula de Cauchy–Binet a demostrar se reescribe como
donde denota el factor escalar . Luego de esto queda probar la fórmula de Cauchy−Binet para y para todo .
Para el segundo paso, si falla en ser inyectiva entonces ambas y tienen dos filas idénticas, y si falla en ser inyectiva entonces ambas y tienen dos columnas idénticas; en cualquier caso ambos lados de la identidad son cero. Suponiendo ahora que ambas y son mapas inyectivos , el factor en el lado derecho es cero a menos que , mientras que el factor es cero a menos que . Entonces, si las imágenes de y son diferentes, el lado derecho tiene solo términos nulos, y el lado derecho es también cero, ya que tiene una fila nula (para con ). En el caso restante donde las imágenes de y son las mismas, digamos , necesitamos probar que
Deja a ser la única biyección en crecimiento y y las permutaciones de de modo que y ; entonces es la matriz permutación para , es la matriz permutación para , y es la matriz permutación para , 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 y las columnas de 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 consiste ya sea de una permutación de las filas de (si 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
donde
En términos de la delta de Kronecker generalizada, podemos derivar la fórmula equivalente a la fórmula de Cauchy–Binet:
Interpretaciones geométricas
Si es una matriz real entonces es igual al cuadrado del volumen -dimensional del paralelótopo extendido en por las filas de . 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 -dimensionales (de los cuales está ).
En el caso 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 es una matriz , es una matriz , es un subconjunto de con elementos y es un subconjunto de con elementos . Entonces
donde la suma se extiende sobre todos los subconjuntos de con elementos . Esta fórmula es una extensión directa de la fórmula de Cauchy–Binet.
Referencias
- Tao, Terence (2012). Topics in Random Matrix Theory (PDF). Graduate Studies in Mathematics (en inglés). American Mathematical Society. p. 253. ISBN 978-0-821-87430-1.
- Lauve, Aaron (2004). «The Cauchy-Binet formula» (PDF) (en inglés). UQAM. Archivado desde el original el 4 de marzo de 2019. Consultado el 3 de mayo de 2017.
Bibliografía
- Broida, Joel; Williamson, S. Gill (1989). «4.6: Cauchy-Binet theorem». A Comprehensive Introduction to Linear Algebra (en inglés). Addison-Wesley. pp. 208–214. ISBN 978-0-201-50065-3.
- Kwak, Jin Ho; Hong, Sungpyo (2004). «Example 2.15: Binet-Cauchy formula». Linear Algebra (en inglés) (2da edición). Birkhäuser. pp. 66-67. ISBN 978-0-817-68194-4.
- Shafarevich, Igor R.; Remizov, A. O. (2012). «2.9 (p. 68) y 10.5 (p. 377)». Linear Algebra and Geometry (en inglés). Springer. ISBN 978-3-642-30993-9.