Fonction scalaire attachée à un opérateur linéaire carré ou à une matrice qui encode le facteur d'échelle de volume orienté et renseigne sur l'inversibilité ; algébriquement, c'est une forme alternée multilinéaire des colonnes (ou lignes).

Principe

Le déterminant vaut le produit des valeurs propres (avec multiplicité algébrique) et est multiplicatif pour la composition : det(AB)=det(A)det(B) ; il s'annule exactement lorsque la transformation linéaire est singulière.

Démonstration

Pour une matrice 2×2 [[a,b],[c,d]], le déterminant ad−bc mesure l'échelle d'aire signée des parallélogrammes par l'application linéaire ; pour une matrice diagonale 3×3 de valeurs λ1,λ2,λ3, le déterminant est λ1λ2λ3 et correspond au facteur d'échelle de volume.

Mauvaise application

Employer le déterminant pour des matrices non carrées, ou interpréter un déterminant petit comme preuve numérique fiable de quasi-singularité sans tenir compte du conditionnement et du choix d'échelle, conduit à des erreurs.

Conséquence

Son usage correct donne la variation multiplicative de volume sous changement de variables (jacobien) et un test simple d'inversibilité (det≠0) ; il entraîne aussi des relations algébriques via le polynôme caractéristique et permet de détecter l'orientation.

Inversion

Remplacer le déterminant par le permanent supprime l'alternance de signe et l'information d'orientation ; inverser la convention de signe change l'orientation mais préserve la magnitude de l'échelle de volume.

Limite

Défini pour les endomorphismes d'espaces vectoriels de dimension finie (ou matrices sur un anneau commutatif) ; il n'est pas directement défini pour des opérateurs linéaires en dimension infinie sauf via des constructions spécialisées (déterminants de Fredholm, déterminants régularisés) sous hypothèses supplémentaires.

Tension sémantique

Le déterminant est en tension avec la trace et le spectre : la trace donne une information additive sur les valeurs propres, le spectre énumère les valeurs propres, tandis que le déterminant compresse l'information multiplicative et d'orientation en un scalaire.

Synthèse

Le déterminant résume en un scalaire la manière dont une application linéaire carrée redimensionne le volume orienté ; construit à partir d'une forme alternée multilinéaire, il est le produit des valeurs propres en dimension finie et sert aux questions d'inversibilité, de changement de variables et d'orientation.