Une fonction scalaire det: M_n(F) → F sur les matrices carrées n×n sur un corps ou anneau commutatif F, caractérisée par la multilinearité par lignes (ou colonnes), l'alternance (changement de signe lors d'un échange de lignes) et la normalisation det(I)=1 ; elle mesure le changement de volume orienté et décide de l'inversibilité.

Principe

Le déterminant est la forme alternée multilineaire unique sur les lignes normalisée à l'identité ; il est multiplicatif (det(AB)=det(A)det(B)), égale au produit des valeurs propres (sur une clôture algébrique) et s'annule exactement pour les applications linéaires singulières.

Démonstration

Exemple 2×2 : pour A = [[a,b],[c,d]] det(A)=ad−bc ; géométriquement, |det(A)| est le facteur de mise à l'échelle d'aire de l'application linéaire R^2→R^2, et det(A)=0 si et seulement si les colonnes sont linéairement dépendantes.

Mauvaise application

Appliquer le déterminant à des matrices non carrées sans recourir aux généralisations appropriées (mineurs, pseudo‑déterminants) ou supposer que les notions de déterminant se transposent sans changement aux opérateurs en dimension infinie sans préciser le contexte.

Conséquence

Fournit un test d'inversibilité (det≠0), apparaît comme jacobien dans le changement de variables, est lié au polynôme caractéristique et au produit des valeurs propres, et gouverne l'orientation et le volume en géométrie.

Inversion

Un scalaire connexe mais différent est le permanent (somme sans signe) qui n'a pas l'alternance ni la multiplicativité ; des généralisations indéfinies (p. ex. déterminants de Fredholm) remplacent les propriétés déterminantales finies.

Limite

Défini classiquement pour les matrices carrées sur corps/anneaux commutatifs ; les extensions aux matrices rectangulaires, anneaux avec diviseurs de zéro, opérateurs en dimension infinie ou entrées non commutatives requièrent des structures supplémentaires et peuvent ne pas préserver toutes les propriétés du déterminant.

Tension sémantique

Tension entre le déterminant comme invariant algébrique (forme alternée multilineaire) et les généralisations analytiques (déterminants régularisés, déterminants de Fredholm) où les axiomes algébriques sont relâchés ou remplacés par des constructions limites.

Synthèse

Le déterminant est l'invariant scalaire canonique, alterné et multilineaire d'une application linéaire carrée qui encode la mise à l'échelle du volume orienté, la multiplicativité et l'inversibilité : un objet algébrique compact dont les propriétés classiques guident les applications géométriques et analytiques, en prenant garde aux extensions hors du cadre carré et fini.