Xavier Hubaut - Professeur émérite de l'Université Libre de Bruxelles

Déterminants

 

Soit T une transformation linéaire, ou application linéaire, d'un plan vectoriel. Elle peut être décrite par les équations donnant les coordonnées (x', y') de l'image du vecteur (x, y):

Si elle est donnée par une matrice T, la transformation T s'écrit sous forme matricielle:

c'est-à-dire
X' = T X

Si on préfère décrire l'application par les images des vecteurs de base i et j, il suffit de regarder les images des points (1,0) et (0,1) qui sont les points (a, c) et (b, d); par conséquent, les images i' et j' des vecteurs de base sont donc les vecteurs:
i' = ai + cj et j' = bi + dj.

On peut se demander quelle est l'image de plan vectoriel. Ce sera, en général, le plan lui-même sauf si, par un malencontreux hasard, les deux vecteurs images i' et j' ne sont pas linéairement indépendants. Dans ce cas, cela signifierait que la dimension de l'image est soit 1 (i' et j' colinéaires), soit 0 (i' et j' nuls). Dans le cas général, il n'en est pas ainsi; les vecteurs i' et j' constituent une nouvelle base.
Soit le plan avec l'ancienne base (i, j) et la nouvelle (i', j'). Sur chacune des deux bases, on peut construire un parallélogramme mais, en général, leur aire sera différente.
Nous allons calculer le rapport entre ces deux aires.

Pour calculer l'aire du parallélogramme construit sur i' et j', nous utiliserons le fait que l'aire d'un parallélogramme ne varie pas, si un de ses côtés glisse sur lui-même, ce qui, en termes de vecteurs, se traduit par le fait que l'aire est invariante si on ajoute à un des deux vecteurs un multiple de l'autre.
Dans le cas étudié, l'aire du parallélogramme construit sur les vecteurs i' et j' est la même que celle d'un parallélogramme construit sur i' et j' + μ i'. Comme les coordonnées des vecteurs i' et j' constituent les colonnes de la matrice T, on voit que cela revient à ajouter à une colonne (la 2e par exemple) un multiple  μ de l'autre (ici de la première).

detSupposons, et c'est le cas général, qu'aucun des deux vecteurs i', j' ne soit dirigé selon un axe coordonné. Nous allons choisir de remplacer le vecteur j' par un vecteur dirigé suivant cet axe en lui ajoutant un multiple convenable du vecteur i'.
Soit j" = j' +  μ i', le vecteur cherché.
En fonction des vecteurs de base i, j on obtient: j" = bi + dj +  μ(ai + cj) = (b +  μa)i + (d +  μc)j.
La coordonnée de ce vecteur selon i doit être nulle, ce qui donne  μ = -b/a (a n'est pas nul, sinon i' serait dirigé selon l'axe des y, ce qui est contraire à notre hypothèse); sa coordonnée suivant j vaut alors d+  μc = d + (-b/a)c = (ad - bc)/a .

On doit ainsi calculer l'aire du parallélogramme construit sur i' = ai + cj et j" = (ad - bc)/a j.
En ajoutant cette fois au vecteur i' un multiple de j", on peut évidemment annuler la composante suivant j et i' peut être remplacé par le vecteur i" = a i.

Le problème est ainsi résolu: l'aire A(i", j") du parallélogramme construit sur les deux vecteurs: i" = a i et j" = (ad - bc)/a j est égale à A(i', j') et vaut a(ad - bc)/a.A(i, j) = (ad - bc).A(i, j). Si nous prenons le parallélogramme construit sur i, j comme unité d'aire, ad - bc est l'aire de son transformé par l'application linéaire T.

Il est important de remarquer que le déterminant d'une matrice 2 x 2, ad - bc est le même que celui de la matrice, dite transposée, obtenue en permutant lignes et colonnes.
Remarquons que dans le cas où la transformation n'est pas une permutation (si la matrice est de rang 1 ou 0, c'est-à-dire si les vecteurs i' et j' sont colinéaires ou nuls) l'aire A(i', j') est évidemment nulle.

De même, à trois dimensions, le déterminant de la matrice 3 x 3 d'une application linéaire représente la mesure du volume V(i', j', k') du parallélépipède construit sur les 3 vecteurs images des vecteurs de base, l'unité étant V(i, j, k).

Ces remarques permettent de comprendre facilement que la valeur d'un déterminant est invariante si on ajoute à une rangée une combinaison linéaire des autres. On dispose ainsi d'une manière simple d'en calculer la valeur (par exemple par triangulation).


Mathématique linéaire Haut de la page Sommaire

Valid HTML 4.01 Transitional