Un invariante escalar asociada a una matriz cuadrada o endomorfismo que codifica el factor de escala de volumen, el cambio de orientación y la invertibilidad: una matriz es invertible si y solo si su determinante es distinto de cero.

Principio

El determinante es multiplicativo ante la composición: det(AB)=det(A)det(B). Es igual al producto de los autovalores (con multiplicidad algebraica) y, para matrices n×n, es una aplicación alternante n-lineal de las columnas (o filas).

Demostración

Ejemplo: para A = [[2,1],[3,4]] sobre R, det(A)=2·4−1·3=8−3=5; A escala áreas orientadas por un factor 5 y es invertible porque det≠0.

Aplicación incorrecta

Usar el determinante como test numéricamente estable de invertibilidad para matrices grandes — determinantes pequeños pueden deberse a escalado o errores de redondeo — o intentar definir determinantes para matrices no cuadradas sin recurrir a operadores cuadrados inducidos (p. ej. matrices de Gram).

Consecuencia

El cálculo correcto del determinante da información decisiva: invertibilidad, signo del cambio de orientación y cambio global de volumen; los determinantes aparecen en fórmulas de cambio de variable y como término constante del polinomio característico.

Inversión

En vez de resumir una matriz por su determinante (un escalar), considerar el espectro completo de autovalores o la descomposición en valores singulares, que ofrecen información direccional más fina y condicionamiento numérico.

Límite

Definido de forma natural para matrices n×n sobre anillos/campos conmutativos; generalizaciones a operadores en espacios de dimensión infinita requieren condiciones de clase de traza o determinantes de Fredholm; sobre anillos no conmutativos los invariantes tipo determinante difieren.

Tensión semántica

Tensión entre determinante y permanente: ambos son sumas sobre permutaciones, pero el permanente carece de los signos alternados y no refleja orientación; tensión también entre el invariante algebraico determinante y la estabilidad numérica de su cálculo.

Síntesis

El determinante es un invariante escalar de un operador lineal cuadrado que captura invertibilidad, escala de volumen orientada y producto de autovalores; su multiplicatividad y multilinealidad alternante son sus propiedades organizadoras.