Una función escalar det: M_n(F) → F en las matrices n×n sobre un cuerpo o anillo conmutativo F, caracterizada por multilinealidad en filas (o columnas), alternancia (cambio de signo al intercambiar filas) y normalización det(I)=1; mide la escala de volumen orientado y decide la invertibilidad.

Principio

El determinante es la forma multilineal alternada única en las filas normalizada en la identidad; es multiplicativo (det(AB)=det(A)det(B)), equivale al producto de autovalores (sobre un cierre algebraico) y se anula exactamente para mapas lineales singulares.

Demostración

Ejemplo 2×2: para A = [[a,b],[c,d]] det(A)=ad−bc; geométricamente, |det(A)| es el factor de escala del área de la aplicación lineal R^2→R^2, y det(A)=0 si y sólo si las columnas son linealmente dependientes.

Aplicación incorrecta

Aplicar el determinante a matrices no cuadradas sin usar generalizaciones apropiadas (menores, pseudo‑determinantes) o suponer que las nociones de determinante se transfieren sin cambio a operadores de dimensión infinita sin aclarar el contexto.

Consecuencia

Proporciona una prueba de invertibilidad (det≠0), aparece como el jacobiano en cambios de variable, se relaciona con el polinomio característico y el producto de autovalores, y gobierna la orientación y el volumen en geometría.

Inversión

Un escalar relacionado pero diferente es la permanente (misma suma sin signos) que carece de alternancia y multiplicatividad; generalizaciones indefinidas (p. ej. determinantes de Fredholm) sustituyen propiedades determinántales finitas.

Límite

Definido clásicamente para matrices cuadradas sobre cuerpos/anillos conmutativos; extensiones a matrices rectangulares, anillos con divisores de cero, operadores de dimensión infinita o entradas no conmutativas requieren estructuras adicionales y pueden no preservar todas las propiedades del determinante.

Tensión semántica

Tensión entre el determinante como invariante algebraico (forma multilineal alternada) y las generalizaciones analíticas (determinantes regularizados, determinantes de Fredholm) donde los axiomas algebraicos se relajan o se sustituyen por construcciones límite.

Síntesis

El determinante es el invariante escalar alternado y multilineal canónico de un mapa lineal cuadrado que codifica la escala de volumen orientado, la multiplicatividad y la invertibilidad: un objeto algebraico compacto cuyas propiedades clásicas guían aplicaciones geométricas y analíticas, con precaución al extenderlo más allá de matrices cuadradas y finitas.