Applications linéaires et familles de vecteurs
Dans toute cette leçon, et désignent des -espaces vectoriels.
Question
Une application linéaire est une règle définie sur tout l'espace — un objet qui peut sembler encombrant à manipuler. Mais est engendré par quelques vecteurs, parfois une base finie. Que devient une famille génératrice, une famille libre, une base, quand on lui applique ? Si l'on connaît seulement les images des vecteurs d'une base, en sait-on assez pour reconstituer tout entière ? Et surtout : l'injectivité et la surjectivité de se lisent-elles directement sur ces familles images ?
Image d'une famille de vecteurs
Proposition 1 : Image d'un sous-espace engendré
Soient une famille de vecteurs de et . Alors :
Démonstration :
Soit . On a :
D'où .
Vocabulaire :
La famille est appelée l'image de la famille par .
Corollaire 1 : Image d'une famille génératrice
Si est une famille génératrice de , alors :
Ce corollaire fournit une recette de calcul : l'image d'une application linéaire se lit sur les images d'une seule famille génératrice.
Rédaction — Déterminer l'image d'une application linéaire :
Pour déterminer où :
- Choisir une famille génératrice de (le plus souvent la base canonique ).
- Calculer les images .
- Conclure : .
- Extraire de cette famille génératrice de une sous-famille libre (en écartant les vecteurs colinéaires ou combinaisons des autres) pour en obtenir une base.
Exercice 1 : Détermination d'une image
Déterminer l'image de l'application , .
Solution :(cliquer pour afficher)
La base canonique est une famille génératrice de , donc :
Les vecteurs et ne sont pas colinéaires, donc : l'application est surjective.
Familles images, injectivité et surjectivité
Le lien entre et les familles images va plus loin qu'un simple calcul d'image : les propriétés d'injectivité et de surjectivité de se traduisent exactement en termes de familles libres et génératrices.
Proposition 2 : Surjectivité et familles génératrices
Soit .
- Si l'image d'une famille génératrice de est une famille génératrice de , alors est surjective.
- Si est surjective, alors l'image de toute famille génératrice de est une famille génératrice de .
Démonstration :
- Soit une famille génératrice de telle que engendre . On a , donc ; ainsi est surjective.
- On suppose que est surjective. Soit une famille génératrice de . On a . Or est surjective, donc ; ainsi . D'où engendre .
Proposition 3 : Injectivité et familles libres
Soit . Si est injective, alors l'image de toute famille libre par est une famille libre.
Démonstration :
Supposons que est injective. Soit une famille libre de , et soit tel que . On a :
Or est injective, donc . Comme est libre, pour tout . D'où est libre.
Test 1
L'image d'une famille libre par une application linéaire est toujours une famille libre.
Rassemblons ces résultats dans le cas où la famille de départ est une base : elle est à la fois libre et génératrice, si bien que les trois propriétés de se lisent d'un coup sur la famille image.
Proposition 4 : Caractérisation par l'image d'une base
Soient une base de et .
- est injective si et seulement si est libre.
- est surjective si et seulement si est génératrice de .
- est bijective si et seulement si est une base de .
Démonstration :
La famille est une base de , donc à la fois libre et génératrice.
1.
- () Si est injective, l'image d'une famille libre est libre ; comme est libre, est libre.
- () Supposons libre. Soit tel que . Il existe tel que , donc :
Comme est libre, pour tout , ainsi . D'où et est injective.
2.
- () Si est surjective, l'image d'une famille génératrice est génératrice ; comme engendre , engendre .
- () Si engendre : la famille génératrice de a une image qui engendre , donc est surjective.
3. On combine les points 1 et 2 :
Exercice 2 : Un automorphisme via l'image d'une base
Soit l'endomorphisme de défini par et . Montrer que est un automorphisme de .
Solution :(cliquer pour afficher)
La famille est la base canonique de . Son image par est la famille .
Montrons qu'elle est une base de . Soient tels que . Cela donne :
La famille est donc libre ; comme elle compte deux vecteurs dans , c'est une base de .
D'après la caractérisation (point 3), est bijective : c'est un automorphisme de .