Déterminant

Guide

Le texte suivant introduit les déterminants en en donnant une construction puis donne quelques propriétés. On espère compléter ultérieurement la partie déterminant et systèmes linéaires.

Déterminant des matrices

Définition de l'application déterminant

Soit Mn,m(K) l'ensemble des matrices à coefficients dans un corps K (égal à RR ou CC) ayant n lignes et m colonnes, Mn(K) l'ensemble des matrices carrées d'ordre n à coefficients dans K. On note

Théorème : Il existe une unique application , appelée déterminant vérifiant les propriétés suivantes

La propriété (D2) est vraie même si les colonnes ne sont pas à côté l'une de l'autre, nous le démontrons à partir des propriétés telles qu'elles ont été énoncés ici :

(D'2) s'il existe des indices j et k tels que , .

Conséquences immédiates de la définition

Petits cas

Pour n=1, on a nécessairement .

Pour n=2, on a nécessairement

det = det = det + det
= a det + c det
= a ( det + det ) + c (det +det )
= a ( 0 + d) det + c ( b det + 0) = ad -bc

Développement par rapport à une colonne

Soit Aij la matrice extraite de A obtenue en enlevant la i-ième ligne et la j-ième colonne. Alors,

Idée de la démonstration

Faisons la démonstration pour le développement par rapport à la première colonne. On écrit avec Ei le vecteur colonne formé de 0 sauf à la i-ième ligne où il y a 1. On a grâce à (D1)

Regardons le terme

.

Par exemple, ici i = 5
En faisant des manipulations sur les colonnes du type remplacer Ak par Ak - aik Ei, on obtient que
où est la colonne Ak où on remplace le i-ième élément par 0.
Exemple :
On remarque alors que l'application qui à une matrice B d'ordre n-1 associe avec la matrice colonne obtenue à partir de B en rajoutant un 0 à la place i, vérifie les deux premières propriétés du déterminant et vaut sur l'identité In-1. Donc
.

Exemple :

Dans l'exemple ci-dessus, par rapport à quelle colonne a-t-on développé ?

=

Démonstration de l'existence et de l'unicité

Supposons par récurrence que l'existence et l'unicité de det sont démontrés sur Mn-1(K) avec n>1. La fonction déterminant sur Mn-1(K) est notée en vert : det

Suposons l'existence de det sur Mn(K) et montrons son unicité.

Démontrons l'existence de det sur Mn(K).

Définissons une fonction sur Mn(K) provisoirement appelée deti par la formule
deti A = (-1)i+j aijdet Aij .

(développement par rapport à la i-ième ligne) :

pour i = 1 :

= + + +
Elle vérifie (D1) : justification
Soit k l'indice de la colonne où l'on a remplacé Ak par aAk+ bBk et la matrice extraite correspondant à la matrice (A1,...,Bk,...An). Dans la somme définissant deti A, aik est remplacé par aik+bik et Aik ne change pas ; par contre pour j différent de k, aij ne change pas et det Aij est remplacé par det Aij + det en utilisant la propriété (D1) pour det.

Elle vérifie (D2) : justification

Soit l'indice k tel que les colonnes d'indice k et d'indice k+1 soient égales. Les matrices extraites Aij intervenant dans la formule ont toutes deux colonnes égales et sont donc nulles sauf les matrices extraites Aik et Ai k+1 qui sont égales :
deti A = (-1)i+k aikdet Aik+ (-1)i+k+1 aikdet Aik+1=0 .

Elle vérifie (D3) : justification

deti In=(-1)j+j<