Dans ce chapitre
désigne
,
un entier naturel non nul.
I Trace
I.1 Trace d'une matrice
I.1.1 Définition
Soit
. On appelle la trace de
et on note
le
nombre
qui est la somme de ses coefficients diagonaux.
I.1.2 Exemple
Pour
, calculer
.
I.1.3 Proposition
Soient
.
.
Ainsi la trace est une forme linéaire :
I.1.4 Exercice
Montrer que le noyau de la trace est un hyperplan et en donner une base. On pourra commencer par traiter le cas des matrices carrées de tailles 2.
I.1.5 Effet du produit
Montrer que dans le cas général on a pas
.
I.2 Trace d'un endomorphisme
I.2.1 Théorème (Trace d'un produit)
Soient
(
remarquer les tailles
).
Preuve
Notons
avec
.
Pour
on a
et donc
en échangeant les sommes.
De la même manière,
. Au nom des indices près (
qui sont des variables muettes, rappelons le
) on a bien
.
I.2.2 Exercice
Montrer que
, dans le cas de matrices carrées, avec les notations du théorème.
En déduire la valeur de cette trace dans le cas où
est symétrique et
anti-symétrique.
I.2.3 Définition
Soient
deux matrices carrées.
On dit que
sont semblables ssi il existe une matrice inversible
telle que
.
I.2.4 Lever l’ambiguïté
La définition précédente n'est pas bien formulée !
En effet, la formule donnée n'est pas symétrique en première lecture, alors qu'on dit que ``
et
sont
semblables'' (ce qui implique que
est semblable à
et
semblable à
).
Une lecture plus éclairée montre qu'avec les notations de la définition, si on peut écrire
alors on a aussi
en posant comme matrice inversible la matrice
.
I.2.5 Matrices semblables
Si
sont semblables alors
.
En effet, si on a
pour une matrice inversible
(voir
comme une matrice de passage), alors
.
I.2.6 Invariants
On peut maintenant dire que deux matrices semblables ont :
le même rang
la même trace
I.2.7 Définition-proposition
Soit
un
-espace vectoriel de dimension
et
.
Le scalaire
ne dépend pas de la base
de
choisie pour calculer la matrice. On le note
.
I.2.8 Exemple
Soit
. Calculer
.
I.2.9 Exercice
Soit
un projecteur dans
de dimension finie. Montrer que
.
I.2.10 Linéarité
Pour
et
on a
.
II Déterminant
II.1 Déterminant de taille
II.1.1 Définition-proposition
Il existe une unique application
telle que
est linéaire par rapport à
chaque
colonne.
est anti-symétrique ie change de signe si on échange deux colonne de sa variable.
II.1.2 Conséquences de la définition
Notons
les colonnes de la matrice
.
Si on a
pour un certain
alors
par linéarité par rapport à la
ème colonne.
Si on a
pour
alors
par échange de ces deux colonnes donc
.
II.1.3 Exemple
Calculer
On voit que
et donc
d'après la deuxième remarque de
II.1.2
II.1.4 Cas n = 2
On trouve par linéarité par rapport à chaque colonne que
après un échange de colonne et d'après
II.1.2
.
Ce calcul, bien que pénible, permet de retrouver la règle de Sarrus dans le cas
et explique l'unicité dans la définition. Reste l'existence...
II.1.5 Interprétation géométrique
En dimension 2 : il s'agit de l'aire (algébrique, ie on obtient un nombre négatif dans le cas d'un sens indirect) d'un parallélogramme
En dimension 3 :il s'agit du volume (algébrique) d'un parallélépipède. Dans la figure suivante, on construit un parallélépipède sur les 3 vecteurs
et
(où les coordonnées sont calculées dans la base canonique) vaut le volume du parallélépipède.
II.1.6 Notation
Comme en dimension 2 et 3, on note un déterminant sous forme d'un tableau de nombre entouré de barres verticales.
II.1.7 Proposition (Opérations sur les déterminants)
Soit
. On fait subir une opération élémentaire sur les colonnes de
et on note
la matrice obtenue.
Si l'opération est
avec
alors
.
Si l'opération est
avec
alors
Si l'opération est
avec
et
alors
.
II.1.8 Corollaire
Soit
et
alors
II.1.9 Calcul en pratique
Soit
. On réduit
par colonnes pour calculer son déterminant.
Attention aux opérations d'échange ou de multiplication par un scalaire.
II.1.10 Exemple
Calculer
II.1.11 Théorème
Soit
.
est inversible ssi
.
Preuve
En reprenant les notations de
II.1.7
, on remarque que
Réduisons la matrice par colonne et notons
la matrice réduite. On a
.
. Ainsi si
alors
car
.
Supposons au contraire que
. Alors
possède au moins une colonne nulle (autant que la dimension du noyau de
d'ailleurs) et
donc
.
II.1.12 Remarque
Le déterminant est toujours une expression polynomiale des coordonnées (s'exprime comme produits et sommes des coordonnées de la matrice)
II.1.13 Exemple
Calculer le déterminant de
.
Notons
ce déterminant. On factorise la première colonne par 2 puis on effectue les opérations
,
,
et alors
On effectue maintenant
et
et alors
on peut maintenant factoriser par
la colonne
puis effectuer l'opération
pour obtenir
Il reste à factoriser par
la dernière colonne et
II.1.14 Théorème
Le déterminant d'une matrice triangulaire est le produit de ses coefficients diagonaux.
Preuve
Remarquer que le déterminant est nul ssi un des coefficient diagonaux est nul ssi la matrice triangulaire n'est pas inversible.
Dans ce cas d'une matrice inversible, le calcul est direct, sur le même modèle que l'exemple, que la matrice soit triangulaire inférieure ou supérieure.
II.1.15 Exemple
Trouver à quelle condition sur
la matrice
est inversible.
Après l'opération
on a
Après
on obtient
Après échange des deux premières colonnes, on obtient une matrice triangulaire et donc
remarquer le signe - dû à l'échange de colonnes. Finalement
.
II.1.16 Méthode
Une première méthode de calcul du déterminant :
Echelonner la matrice par opérations élémentaires (attention à la valeur du déterminant qui change parfois)
Calculer le produit des coefficients diagonaux.
II.2 Propriétés calculatoires
II.2.1 Théorème
Soient
.
Plus généralement, le déterminant d'un produit de matrices est égal au produit des déterminants.
Preuve
Si
n'est pas inversible,
non plus et donc le résultat est vrai.
Sinon, considérons
.
Si
est de colonnes
, alors le numérateur est exactement
.
Remarquons maintenant que
, et si on échange deux colonne de
,
change de signe.
De plus,
est linéaire par rapport à chaque colonne par composition et produit par une constante (
et le déterminant est linéaire par rapport à cette colonne).
Ainsi
(par l'unicité du déterminant) et
é On prouve l'affirmation générale par une récurrence immédiate.
II.2.2 M-Attention
On a surtout pas
.
II.2.3 Corollaire
Si
est inversible alors
.
Dans ce cas, on a également
Preuve
On a directement
ce qui prouve le cas
, le seul qu'il manquait dans le théorème précédent.
II.2.4 Théorème
Soit
. Alors
.
Preuve
Hors programme
On a
. Ainsi
. Dans toute la suite on suppose que
est inversible.
Soit
. Rappelons que les matrices élémentaires sont d'un des trois type suivant :
(le
en
ème position, cette matrice traduit l'opération
),
qui est la matrice
ayant subit l'opération
(traduit la dite opération) ou
qui la matrice
ayant subit l'opération
. Un calcul direct montre que
et donc ces deux matrices ont le même déterminant,
(à calculer par un échange de colonnes pour retrouver l'identité) et
(ces matrices sont triangulaires, l'une inférieure l'autre supérieure et avec des 1 sur la diagonale). Ainsi le théorème est vrai pour les matrices élémentaires.
Rappelons que l'on suppose
inversible. Alors on peut écrire
, un produit de matrices élémentaires. Alors
. Le théorème
II.2.1
, ainsi que le point précédent permettent de conclure à l'égalité souhaitée.
II.2.5 Conséquences
On peut maintenant effectuer des opérations élémentaires sur les lignes au même titre que sur les colonnes, avec les mêmes effets.
II.2.6 Théorème
Soit
avec
,
⟦⟧
.
Pour
⟦⟧
on note
la matrice de
déduite de
en supprimant la
ème ligne et la
ème colonne.
(développement par rapport à la
ème colonne)
(développement par rapport à la
ème ligne)
Preuve
Admis.
Une idée de preuve (un peu pénible, mais pas si difficile) : on reprend les notations de
II.1.7
et on prouve le premier point pour
fixé.
On prouve alors que l'application de la formule à
est l'opposé de celle à
pour un échange de colonne et donne le même résultat pour une combinaison de colonnes. Ainsi la formule est vraie pour
ssi elle l'est pour
.
Il suffit ensuite de réduire
et de remarquer que la formule est triviale pour l'identité.
II.2.7 Tableau des signes
On résume souvent les signes qui apparaissent dans cette formule par
II.2.8 Exemple
Calculer le déterminant
On effectue
et on développe par rapport à la
ième colonne :
.
II.2.9 Méthode
Une deuxième méthode de calcul du déterminant : Appliquer bêtement une des formules précédente.
Une bonne idée sera de faire apparaître des 0 sur une ligne ou colonne pour réduire le nombre de termes dans le développement.
II.2.10 Exemple
Calculer le déterminant
.
Pour
il s'agit d'un nombre et
. Pour
, un calcul direct donne
.
On effectue, pour
un développement par rapport à la première colonne.
et un développement par rapport à la première ligne donne maintenant
Il s'agit d'une suite récurrente linéaire d'ordre 2, dont les racines de l'équation caractéristiques (
) sont
.
En utilisant les deux conditions initiales précédente, on trouve
pour tout
.
II.2.11 Corollaire
Soit
. Alors
.
Preuve
Immédiat par récurrence sur la taille de
et utilisant les propriétés calculatoires de la conjugaison (somme, produit).
II.3 Déterminant et espace vectoriel
II.3.1 Définition
Soit
un
-ev de dimension
et
une famille de
vecteurs.
Soit
une base. On appelle déterminant de
dans la base
le nombre
.
II.3.2 Lien avec la géométrie
Ce que l'on appelait déterminant d'une famille dans
est en fait le déterminant dans la base canonique.
Rappel : dans
,
ssi
sont colinéaires.
II.3.3 Proposition
Soit
une base de
et
une famille de
vecteurs.
est une base de
ssi
II.3.4 Exercice
Que vaut
dans ce cas ?
II.3.5 Exemple
Montrer que
⟦⟧
est une base de
. Dans la base canonique, la matrice est triangulaire supérieure et on peut calculer son déterminant par produit des coefficients diagonaux.
II.3.6 Théorème
Deux matrices carrées semblables ont le même déterminant.
Preuve
Posons a
pour
.
On a alors
.
II.3.7 Invariants
Nous voilà avec 3 invariant de changement de base pour les endomorphismes : le rang, la trace et le déterminant.
II.3.8 Définition
Soit
avec
un
-ev de dimension
.
Toutes les matrices de
(ie dans n'importe quelle base) ont le même déterminant, on le note
et on l'appelle déterminant de
.
II.3.9 Exemple
On considère l'application
. Calculer son déterminant.
En prenant
,
la base canonique de
, on a
Après un échange de colonne,
.
II.3.10 Proposition
Soient
avec
de dimension
.
Pour
,
.
est bijective (on dit aussi inversible) ssi
et alors
.
II.3.11 Puissances
On a directement
qui est valable par récurrence pour tout
et même
si
est bijective.