Una invariante escalar polinómica asociada a una matriz cuadrada o un endomorfismo que indica si la aplicación lineal es invertible y cómo escala volúmenes orientados.

Principio

El determinante es la única función multilineal alternante de las columnas (o filas) normalizada en 1 sobre la identidad; satisface det(AB)=det(A)det(B) y cambia de signo cuando se intercambian dos filas (o columnas).

Demostración

Para una matriz 2×2 [[a,b],[c,d]] el determinante es ad−bc; geométricamente, el valor absoluto del determinante de una matriz 2×2 o 3×3 es el área o volumen de la imagen del cuadrado/cubo unidad por la aplicación lineal.

Aplicación incorrecta

Usar el determinante como medida de la norma de un operador o tratar un determinante pequeño pero no nulo como garantía de estabilidad numérica sin considerar el condicionamiento; aplicar fórmulas de determinante a matrices no cuadradas como si fuesen determinantes ordinarios en lugar de pseudo-determinantes.

Consecuencia

Si det(A)≠0 entonces A es invertible; los determinantes se multiplican bajo composición y registran la escala multiplicativa de volúmenes y el cambio de orientación; det(I)=1 proporciona normalización.

Inversión

Invertir el concepto: det(A)=0 implica que A es singular y aplasta algunos vectores no nulos a cero, reduciendo la dimensión de la imagen; cambiar el signo del determinante corresponde a una inversión de la orientación de la imagen.

Límite

Definido propiamente para matrices cuadradas y endomorfismos de espacios vectoriales de dimensión finita; sobre anillos conmutativos generales hay que tener cuidado (los divisores de cero afectan la invertibilidad); no está definido directamente para operadores no cuadrados — se usan pseudo-determinantes o determinantes de Fredholm en dimensión infinita.

Tensión semántica

Determinante frente a permanente y frente a valores singulares: el determinante es multiplicativo y sensible al signo (orientación) y refleja la invertibilidad algebraica, mientras que la permanente carece de signo y los valores singulares miden la escala métrica (ortogonal).

Síntesis

El determinante es la invariante escalar canónica de una transformación lineal cuadrada que registra multiplicativamente la escala de volúmenes y la orientación, y cuya anulación es precisamente la obstrucción algebraica a la invertibilidad.