Calcul matriciel et systèmes linéaires
Cours · mathématiques MPSI, chapitre 9 · MPSI (classe préparatoire scientifique) · le début du chapitre, la suite sur Adloun
9.1 Introduction et motivation
Ce chapitre est une initiation au calcul matriciel, avec un triple objectif : préparer l'étude géométrique de l'algèbre linéaire menée au second semestre, revenir sur les systèmes linéaires du chapitre 2 avec un langage plus puissant, et fournir des exemples fondamentaux d'anneaux — le premier anneau non commutatif rencontré dans ce cours, où tous les pièges annoncés au chapitre précédent (produit non commutatif, diviseurs de zéro, éléments nilpotents) deviennent concrets.
Inventées par Cayley et Sylvester au XIXe siècle comme simple notation pour les systèmes linéaires, les matrices sont devenues le langage universel du calcul scientifique : une image numérique est une matrice de pixels, un réseau social une matrice d'adjacence, et l'algorithme PageRank de Google un calcul de puissances de matrice. Dans tout le chapitre, désigne ou .
9.2 Opérations sur les matrices
9.2.1 L'espace des matrices
Soient . Une matrice à lignes et colonnes à coefficients dans est un tableau rectangulaire
où est le coefficient situé à la ligne et à la colonne . Leur ensemble est noté . Cas particuliers : les matrices colonnes (), les matrices lignes (), et les matrices carrées (), dont l'ensemble est noté .
On définit sur l'addition et la multiplication par un scalaire, coefficient par coefficient :
est un groupe abélien, de neutre la matrice nulle ; on peut donc former des combinaisons linéaires de matrices de même taille.
Pour et , la matrice élémentaire est la matrice dont tous les coefficients sont nuls, sauf celui de la ligne et de la colonne , qui vaut .
Toute matrice de est combinaison linéaire de matrices élémentaires, de façon unique :
Les jouent pour les matrices le rôle que jouent les chiffres pour les nombres : une « base » de décomposition (le mot prendra son sens précis au second semestre).
9.2.2 Produit matriciel
Soient et — le nombre de colonnes de doit égaler le nombre de lignes de . Le produit est défini par :
le coefficient s'obtient en parcourant la ligne de et la colonne de .
mais : multiplier à droite par la matrice d'échange permute les colonnes, à gauche les lignes — et le produit n'est pas commutatif !
Soit de colonnes , et une matrice colonne. Alors :
est la combinaison linéaire des colonnes de à coefficients les composantes de . Ce point de vue « par colonnes » est la clé de la théorie des systèmes linéaires.
Sous réserve de compatibilité des tailles :
- Bilinéarité : et ;
- Associativité : .
Démonstration (Démonstration de l'associativité)
Comparons les coefficients, en échangeant deux sommes finies (chapitre 2) :
Pour des indices , le symbole de Kronecker est défini par :
Ainsi la matrice identité (ci-dessous) s'écrit .
Pour et :
le produit est nul sauf si les indices « intérieurs » se raccordent (), auquel cas il vaut .
Démonstration
: la somme vaut , qui est le coefficient de .
9.2.3 Transposée
La transposée de est la matrice de coefficients :
les lignes de deviennent les colonnes de (symétrie par rapport à la diagonale).
Sous réserve de compatibilité :
la transposée d'un produit est le produit des transposées dans l'ordre inverse (comme l'inverse d'un produit au chapitre 8 !).
Démonstration (Démonstration de la formule du produit)
9.3 Opérations élémentaires et produit matriciel
Les opérations élémentaires sur les lignes d'une matrice sont : l'échange , la dilatation (), et la transvection (). Opérations analogues sur les colonnes.
Effectuer une opération élémentaire sur les lignes de revient à multiplier à gauche par une matrice carrée inversible ; sur les colonnes, à multiplier à droite. Précisément, l'opération sur les lignes s'obtient en multipliant à gauche par la matrice obtenue en effectuant la même opération sur :
Ces trois matrices sont inversibles : , , — chaque opération élémentaire se défait par une opération élémentaire.
Pour : , et
c'est bien .
Exercices du chapitre
- Colonne fois ligne : , , et les matrices élémentaires corrigé
- Symétrique plus antisymétrique, et « un scalaire est sa propre transposée » corrigé
- Marche sur un graphe : compte les chemins corrigé
- Trois points, une parabole : l'interpolation comme système linéaire corrigé
- Les nombres complexes sont des matrices , et les rotations composent les angles corrigé
- Le centre de : tester sur les matrices élémentaires corrigé