Des morphismes d'espaces vectoriels : des applications qui respectent les deux opérations de l'espace, l'addition des vecteurs et la multiplication par un scalaire.
Qu'est-ce qu'un morphisme ?
Un espace vectoriel n'est pas un simple ensemble : c'est un ensemble muni de deux opérations. On sait y additionner deux vecteurs (u + v) et multiplier un vecteur par un nombre, appelé scalaire (λu). Le mot morphisme (du grec morphê, la forme) désigne une application qui respecte la forme, c'est-à-dire ces opérations : peu importe qu'on calcule avant ou après l'avoir appliquée, on obtient le même résultat.
Définition
Soient E et F deux espaces vectoriels sur le même corps de scalaires K (ℝ ou ℂ). Une application f : E → F est linéaire si, pour tous vecteurs u, v de E et tout scalaire λ de K :
f(u + v) = f(u) + f(v) (additivité)
f(λu) = λ f(u) (homogénéité)
Les deux règles se condensent en une seule : f(u + λv) = f(u) + λ f(v).
Le schéma ci-dessous montre ce que cela veut dire. On part d'un couple (u, v). Le chemin rouge additionne d'abord dans E, puis transforme par f. Le chemin violet transforme d'abord chaque vecteur, puis additionne dans F. Pour une application linéaire, les deux chemins arrivent toujours au même vecteur : on dit que le carré « commute ».
Animation : u (bleu) et v (orange) varient sans cesse ; f est ici la matrice (1,15 ; 0,55 / −0,35 ; 0,95). Dans la case d'arrivée, f(u + v) en rouge épais et f(u) + f(v) en violet pointillé se recouvrent exactement.
1. f(0) = 0. En effet f(0) = f(0 + 0) = f(0) + f(0), donc f(0) = 0. Une application qui déplace l'origine ne peut pas être linéaire. 2. f(−u) = −f(u) : c'est l'homogénéité avec λ = −1. 3. f(λ₁u₁ + … + λₙuₙ) = λ₁f(u₁) + … + λₙf(uₙ) : une application linéaire transforme toute combinaison linéaire en la même combinaison des images. C'est la phrase à retenir.
Un peu de vocabulaire
Nom
Ce que c'est
Endomorphisme
application linéaire d'un espace dans lui-même (E → E)
Isomorphisme
application linéaire bijective ; sa réciproque est alors automatiquement linéaire
Automorphisme
endomorphisme bijectif ; ils forment le groupe GL(E)
Forme linéaire
application linéaire de E dans le corps K lui-même (elle renvoie un nombre)
L(E, F)
l'ensemble des applications linéaires de E dans F — lui-même un espace vectoriel
Planche 1
Deux chemins qui doivent se rejoindre
La définition se vérifie à la main : choisissez une application, déplacez u et v, faites varier λ. À droite, chaque règle est testée par ses deux chemins. S'ils se séparent, ne serait-ce qu'une fois, l'application n'est pas linéaire.
Espace de départ E. Faites glisser les pointes de u et de v. uvu + vλu
Espace d'arrivée F.transformer en dernier : f(u + v), f(λu)f(u) + f(v)λ·f(u)
f(u + v) — additionner, puis transformer—
f(u) + f(v) — transformer, puis additionner—
écart d'additivité ‖f(u+v) − f(u) − f(v)‖—
f(λu)—
λ·f(u)—
écart d'homogénéité ‖f(λu) − λf(u)‖—
image de l'origine f(0)—
plus grand écart d'additivité—
plus grand écart d'homogénéité—
tirages en échec (écart > 10⁻⁹)—
Le bouton tire 10 000 triplets (u, v, λ) au hasard et mesure les deux écarts pour chacun.
À retenir. Les deux règles sont nécessaires et indépendantes : la racine cubique respecte l'homogénéité mais pas l'addition ; la parabole envoie bien 0 sur 0 et n'est pourtant pas linéaire ; la valeur absolue réussit tant qu'on ne choisit pas λ négatif. Enfin la conjugaison montre que la linéarité dépend du corps des scalaires. Un test réussi ne prouve rien, la preuve est algébrique ; mais un seul échec suffit à réfuter. Pour les applications linéaires, les écarts mesurés sont de l'ordre de 10⁻¹⁶ : c'est l'arrondi de la machine, pas un défaut de la règle.
Planche 2
Ce que la définition fait au quadrillage
Deux petites règles algébriques ont de grandes conséquences géométriques. Une application linéaire du plan fixe l'origine, envoie les droites sur des droites (ou sur un point), garde les parallèles parallèles et les milieux au milieu. Le curseur t fait passer continûment de l'identité (t = 0) à l'application f (t = 1) par gt = (1 − t)·id + t·f.
images des horizontalesimages des verticalesimages des rayonsimage du segment [AB] Faites glisser A et B (cercles gris). Le point rouge plein est l'image du milieu M ; le cercle vert est le milieu des images f(A) et f(B).
déplacement de l'origine ‖g(0)‖—
courbure : plus grand écart des images à une droite—
parallélisme : plus grand écart d'angle entre images de parallèles—
milieux : ‖g(M) − (g(A) + g(B))/2‖—
rayons : sinus de l'angle entre g(p) et g(2p)—
Linéaire ou affine ? La translation garde les droites, les parallèles et les milieux : tout, sauf l'origine. Elle est affine (linéaire suivie d'un déplacement), pas linéaire. La racine cubique, homogène, envoie chaque rayon sur un rayon mais courbe le quadrillage : il lui manque l'additivité. Remarquez aussi que pendant toute la déformation d'une application linéaire, gt = (1 − t)·id + t·f reste linéaire (les écarts restent à 10⁻¹⁶) : une combinaison linéaire d'applications linéaires est linéaire. L'ensemble L(E, F) est donc lui-même un espace vectoriel.
Planche 3
Une base suffit : matrice, noyau, image
Tout vecteur s'écrit x = a·e₁ + b·e₂. Par linéarité, f(x) = a·f(e₁) + b·f(e₂) : il suffit de connaître les images des vecteurs de base pour connaître f partout. Les coordonnées de f(e₁) et f(e₂), rangées en colonnes, forment la matrice de f. Faites glisser f(e₁) et f(e₂) à droite, et x à gauche.
Départ E.e₁e₂x = a·e₁ + b·e₂noyau ker f
Arrivée F.f(e₁)f(e₂)f(x) = a·f(e₁) + b·f(e₂)image Im f Un aimant colle f(e₂) sur la droite de f(e₁) quand l'angle passe sous 4°.
matrice de f (colonnes f(e₁), f(e₂))—
coordonnées de x : (a ; b)—
déterminant—
rang = dim Im f—
dim ker f—
théorème du rang : rang + dim ker = dim E—
contrôle—
Le noyau mesure la perte. Le noyau ker f est l'ensemble des vecteurs envoyés sur 0 ; l'image Im f, l'ensemble des vecteurs atteints. Si f(x) = f(y), alors f(x − y) = 0 : deux vecteurs ont la même image exactement quand leur différence est dans le noyau. Les vecteurs de même image forment donc la droite x + ker f (pointillé rouge). D'où : f injective ⟺ ker f = {0}. Et ce que le noyau écrase, l'image le perd : rang + dim ker = 2, toujours.
Planche 4
Au-delà des flèches : les polynômes
Un « vecteur » n'est pas forcément une flèche : c'est un élément de n'importe quel espace vectoriel. Les polynômes de degré au plus 3 forment l'espace ℝ₃[X], de dimension 4, de base (1, X, X², X³). Bien des opérations familières de l'analyse y sont des applications linéaires. On compare ici φ(P + λQ), calculé directement, et φ(P) + λφ(Q).
écart max de φ(P + λQ) − φ(P) − λφ(Q) sur [−2 ; 2]—
la matrice prédit-elle φ(P) ? écart—
rang—
dim ker φ—
rang + dim ker = dim ℝ₃[X]—
Matrice de φ dans les bases canoniques
Une matrice pour tout. Dès que φ est linéaire, ses valeurs sur la base suffisent : la matrice, construite avec seulement φ(1), φ(X), φ(X²), φ(X³), prédit φ(P) pour tout P, à 10⁻¹⁶ près. Pour P ↦ P² ou P ↦ P + 1, on peut toujours fabriquer le même tableau, mais il ne prédit rien : sans linéarité, connaître f sur une base ne dit rien du reste. Le noyau affiché n'est pas recopié d'un livre : il est calculé par élimination de Gauss, puis vérifié en lui appliquant φ.
Planche 5 · signature
Le principe de superposition, c'est la linéarité
Un système physique est une application : il reçoit une entrée (une force F au cours du temps) et produit une sortie (l'angle x d'un pendule). Le principe de superposition des physiciens, « la réponse à deux causes est la somme des réponses », n'est rien d'autre que l'additivité d'un morphisme. Un pendule linéarisé obéit à x″ + 2ζx′ + x = F(t) ; un vrai pendule à x″ + 2ζx′ + sin x = F(t). On lui envoie un coup bref F₁, une force sinusoïdale F₂, puis les deux ensemble.
Sorties (angle en radians, temps de 0 à 40). réponse à F₁ + F₂réponse à F₁ + réponse à F₂
Le pendule rouge reçoit F₁ + F₂ ; le fantôme violet suit la somme des deux réponses séparées. Superposés si, et seulement si, le système est linéaire.
Écart de superposition selon l'amplitude A, en échelle logarithmique (départ à l'équilibre). linéarisévrai pendule
écart max |x₁₊₂ − x₁ − x₂|—
écart relatif à l'amplitude de la réponse—
homogénéité : réponse à 2F₁ contre 2 × réponse à F₁—
pente mesurée de l'écart (vrai pendule, petites amplitudes)—
Pourquoi la pente vaut 3. sin x = x − x³/6 + … : pour une petite amplitude A, le vrai pendule ne s'écarte du pendule linéarisé que par le terme en x³, d'ordre A³. L'écart de superposition suit donc une loi en A³, et la pente mesurée sur le graphique logarithmique le confirme. Le pendule linéarisé, lui, reste au niveau de l'arrondi machine, et cela pour une raison profonde : le schéma de Runge-Kutta appliqué à une équation linéaire est lui-même une application linéaire de l'entrée. Cochez enfin « départ hors équilibre » : même le pendule linéarisé échoue. La sortie vaut alors réponse libre + réponse forcée : l'application entrée ↦ sortie devient affine, comme la translation de la planche 1. La superposition exige un système linéaire et un état initial nul.
Synthèse
Deux règles, un seul mot
Une application linéaire respecte la somme et la multiplication par un scalaire : f(u + λv) = f(u) + λf(v). Elle fixe 0, et transforme toute combinaison linéaire en la même combinaison des images. C'est un morphisme : elle respecte la forme de l'espace.
Une base suffit
Connaître f sur une base, c'est la connaître partout : d'où la matrice. Le noyau dit ce qui est écrasé, l'image ce qui est atteint, et rang + dim ker = dim E. Injective ⟺ noyau réduit à {0}.
Partout où l'on superpose
Flèches du plan, polynômes, signaux : la même définition gouverne la géométrie, l'analyse (dérivée, intégrale) et la physique (superposition). L'ensemble L(E, F) des applications linéaires est lui-même un espace vectoriel.
Repères historiques
1844 — Hermann Grassmann publie l'Ausdehnungslehre, où l'on calcule déjà sur des grandeurs « étendues » sans coordonnées.
1858 — Arthur Cayley, dans son mémoire sur la théorie des matrices, traite les matrices comme des objets que l'on additionne et multiplie.
1888 — Giuseppe Peano, dans le Calcolo geometrico, donne la première définition axiomatique d'un espace vectoriel et des opérations linéaires entre de tels espaces.
1932 — Stefan Banach, Théorie des opérations linéaires : les applications linéaires entre espaces de fonctions de dimension infinie.
1945 — Samuel Eilenberg et Saunders Mac Lane fondent la théorie des catégories : « morphisme » devient le nom général de toute flèche qui respecte une structure.
Pour aller plus loin
Composition. Si f : E → F et g : F → G sont linéaires, g ∘ f l'est aussi, et sa matrice est le produit des matrices : c'est même la raison d'être de la règle « ligne par colonne » du produit matriciel.
Dimension de L(E, F). Une application linéaire de E (dimension n) dans F (dimension m) est déterminée par une matrice m × n : L(E, F) est de dimension m·n.
Isomorphismes. Deux espaces de même dimension finie sur le même corps sont isomorphes : ℝ₃[X] « est » ℝ⁴, vu à travers la base (1, X, X², X³). Les formes linéaires conduisent à l'espace dual, objet d'une page voisine.
Additivité sans homogénéité ? Sur ℝ, une application additive et continue est automatiquement linéaire. Il existe des applications additives non linéaires, mais elles ne se construisent qu'avec l'axiome du choix et sont si irrégulières qu'aucun tracé ne peut les montrer.