El determinante de una familia en una base es ; el determinante de una matriz es el determinante de sus columnas en la base canónica — la fórmula de las permutaciones de más arriba—; el determinante de un endomorfismo es el escalar tal que
(el miembro izquierdo es -lineal alternado, luego múltiplo de por el Teorema 2.14; el factor no depende de ).
Ejemplos
Ejemplo 2.19 (Un determinante mediante las reglas)
Sea la matriz de unos y ; calculemos con las herramientas recién demostradas. Todas las columnas de suman igual: sumemos todas las filas a la primera (el determinante no varía, pues sumar un múltiplo de una fila a otra añade un término con una dirección repetida, que la alternancia mata). La primera fila pasa a ser ; saquemos por linealidad en esa fila y restemos después la primera columna de todas las demás: lo que queda es triangular con diagonal . Por tanto
La moraleja: las raíces (de multiplicidad ) y dicen que tiene el valor propio con multiplicidad y el valor propio una vez, es decir, el espectro de la matriz de rango uno, un capítulo antes de tiempo (el Capítulo 3 lo hará sistemático).
Ejemplo 2.20 (Un determinante por la fórmula de las permutaciones)
Para una matriz con muchos ceros la fórmula resulta práctica por sí sola: en
la única permutación que selecciona entradas no nulas es el ciclo de longitud , que envía la columna a la fila , etc.; como , resulta . (Compruébese mediante tres intercambios de columnas hasta llegar a una matriz diagonal.)
Ejemplo 2.21 (Un Vandermonde por la fórmula del producto)
Para los nodos (usados por reglas de cuadratura como la del Ejercicio 2.4), el determinante de Vandermonde del Ejercicio 2.11 se evalúa de un vistazo:
y por desarrollo directo a lo largo de la primera columna: ; coinciden. Que no se anule cuando los nodos son distintos es toda la teoría de la interpolación en un solo determinante: las formas de evaluación son una base del dual exactamente cuando este determinante no es nulo, es decir, siempre que los sean distintos; el Ejemplo 2.2, cuantificado.