Algèbre linéaire
Cours complet · mathématiques approfondies (ECG 1re année), chapitre 3 · prépa ECG, 1re année
Travailler ce chapitre sur Adloun Exercices corrigés de ce chapitre
Ce chapitre met en place l'outil vectoriel dès le premier semestre. Il procède en trois temps, du plus concret au plus abstrait : d'abord les matrices, tableaux de nombres qu'on apprend à manipuler ; puis les systèmes linéaires, qu'elles permettent d'écrire d'un trait ; enfin les espaces vectoriels, dont on ne prend ici que le vocabulaire — le second semestre en fera la théorie.
Le programme se place sur uniquement. Les notions de corps, d'algèbre et de groupe sont hors programme, et tout développement théorique sur les systèmes l'est aussi. On ne considère que des familles finies.
3.1 Calcul matriciel
3.1.1 Matrices rectangulaires
Une matrice à lignes et colonnes à coefficients réels est un tableau avec , . Leur ensemble est noté .
est le coefficient de la ligne et de la colonne . L'ordre est une convention, mais s'en écarter rend tout faux.
Pour et , la somme et le produit par un scalaire se font coefficient par coefficient : et .
Si et , alors et
Le produit n'est donc pas défini coefficient par coefficient, contrairement aux deux opérations précédentes : c'est ce qui en fait tout l'intérêt, et toute la difficulté. Le schéma des formats mérite d'être retenu tel quel — , l'indice intérieur disparaît.
La -ème colonne de est multipliée par la -ème colonne de . C'est la lecture la plus féconde : elle transforme un produit de tableaux en une famille de calculs indépendants, et donnera son sens géométrique au produit au second semestre.
Le produit matriciel n'est pas commutatif : et peuvent différer, avoir des formats différents, ou n'être définis que dans un sens. Un produit de matrices non nulles peut être nul : . Et n'entraîne pas .
La transposée de est définie par : lignes et colonnes échangent leurs rôles.
et, lorsque le produit est défini,
Démonstration
. L'ordre s'inverse — on le retrouvera pour l'inverse d'un produit, et pour la réciproque d'une composée.
3.1.2 Matrices carrées
Soit . Elle est diagonale si pour ; triangulaire supérieure si pour (inférieure si pour ) ; symétrique si ; antisymétrique si .
Si , alors pour tout , donc : une matrice antisymétrique a nécessairement une diagonale nulle.
est inversible s'il existe telle que . Cette est alors unique, notée .
Pour une matrice carrée, on admet qu'un inverse à gauche ou à droite est l'inverse : vérifier dispense de vérifier .
Si et sont inversibles :
est inversible si et seulement si , et alors
Une matrice diagonale ou triangulaire est inversible si et seulement si tous ses coefficients diagonaux sont non nuls.
3.2 Systèmes linéaires
Un système linéaire de équations à inconnues s'écrit avec . On le résout par les opérations élémentaires sur les lignes, notées
qui ne changent pas l'ensemble des solutions.
Un système linéaire admet soit une unique solution, soit une infinité, soit aucune. Un système homogène — celui où — admet toujours la solution nulle : pour lui, il ne reste que deux issues, unique ou infinité.
Pour calculer , on résout en exprimant en fonction de . Si l'on aboutit à , alors . Si le pivot fait apparaître une ligne « combinaison des », c'est que n'est pas inversible.
Soit . Le système s'écrit , , . En additionnant les trois : . On en déduit , puis et de la même façon :
3.3 Espaces vectoriels
Jusqu'ici, tout était tableau de nombres. On va maintenant reconnaître qu'un même jeu de règles gouverne des objets très différents : les colonnes, mais aussi les polynômes, les suites, les fonctions. C'est le point de vue vectoriel, et il ne coûte rien de plus que le vocabulaire — la théorie viendra au second semestre.
Un ensemble muni d'une addition et d'une multiplication par un réel est un espace vectoriel sur lorsque l'addition est associative, commutative, admet un élément neutre et des opposés, et que pour tous et :
; ; et ; l'ensemble des suites réelles ; l'ensemble des fonctions de dans . Dans chacun, on sait additionner deux éléments et multiplier par un réel — c'est tout ce qu'on demande.
Le programme demande de les distinguer. Un élément de est un -uplet ; un élément de est une matrice colonne. Ils se correspondent naturellement, mais l'un se multiplie par une matrice et l'autre non.
Une partie de est un sous-espace vectoriel si elle contient et si elle est stable par combinaison linéaire :
Pour montrer qu'une partie est un espace vectoriel, on ne vérifie jamais les huit axiomes : on montre que c'est un sous-espace d'un espace connu. Deux points suffisent — contenir , être stable par combinaison linéaire. L'oubli du premier est l'erreur la plus fréquente.
contient le polynôme nul, et si alors : c'est un sous-espace vectoriel. En revanche ne contient pas : ce n'en est pas un.
Une combinaison linéaire de la famille finie est un vecteur . L'ensemble de ces combinaisons est le sous-espace engendré, noté — c'est le plus petit sous-espace vectoriel contenant la famille.
Soit une famille finie de .
- Elle est libre si entraîne ;
- elle est génératrice de si ;
- elle est une base de si elle est libre et génératrice — c'est-à-dire si tout vecteur de s'écrit de manière unique comme combinaison linéaire des .
a pour base canonique , où a un en position ; a la base des colonnes correspondantes ; et a pour base canonique — un polynôme s'écrit d'une seule façon comme somme de monômes, ce qui est précisément l'unicité de la décomposition.
Si est une base de et si , la matrice colonne des coordonnées de dans est .
Python : Résoudre, inverser, vérifier
import numpy as np
A = np.array([[1., 1., 0.],
[0., 1., 1.],
[1., 0., 1.]])
print(np.linalg.det(A)) # 2.0 : non nul, A est inversible
Ainv = np.linalg.inv(A)
print(Ainv)
print(np.allclose(A @ Ainv, np.eye(3))) # True : le controle
La dernière ligne n'est pas décorative : allclose tolère l'erreur d'arrondi, là où == échouerait presque toujours. Sur des flottants, l'égalité exacte n'est pas le bon test.
3.4 L'essentiel du chapitre
- Produit : ; non commutatif ; un produit de matrices non nulles peut être nul ; n'entraîne pas .
- et — l'ordre s'inverse dans les deux cas.
- Antisymétrique diagonale nulle. Diagonale ou triangulaire inversible diagonale sans zéro. Ordre 2 : .
- Systèmes : trois issues, deux seulement si le système est homogène. Inverser , c'est résoudre .
- Espace vectoriel : , , , suites, fonctions. On distingue de .
- Sous-espace : contient , stable par combinaison linéaire. On ne vérifie jamais les axiomes — on montre que c'est un sous-espace.
- Base libre génératrice décomposition unique. Bases canoniques : pour , pour .
- Corps, algèbre, groupe : hors programme.