Algèbre linéaire de PCSI Page 4
2) Image
Définition : soit u∈ L(E, F ). On appelle image de ule sous-espace u(E)de Fnoté Im u:
Im u={y∈F / ∃x∈E u(x) = y}={u(x), x ∈E}.
Propriété : uest surjective si et seulement si Im u=F.
3) Noyau
Définition : soit u∈ L(E, F ). On appelle noyau de ule sous-espace u
−1
({0
F
})de Enoté Ker u:
Ker u={x∈E / u(x) = 0
F
}.
Propriété : uest injective si et seulement si Ker u={0
E
}
(ou encore si et seulement si : ∀x∈E u(x) = 0
F
⇒x= 0
E
).
4) Équations linéaires
Étant donnés udans L(E, F )et bdans F, la résolution de l’équation linéaire u(x) = best la recherche
de l’ensemble Sdes vecteurs xde Etels que u(x) = b.
Sest vide si et seulement si bn’appartient pas à Im u.
Lorsque best dans Im u,Sest non vide et pour tout x
0
dans S,Sest l’ensemble des vecteurs de Ede
la forme x
0
+z,zdécrivant Ker u:
S=x
0
+ Ker u={x
0
+z, z ∈Ker u}.
5) Exemples fondamentaux d’isomorphismes
•Tous les supplémentaires dans Ed’un même sous-espace vectoriel de Esont isomorphes.
•Soit u∈ L(E, F ). Tout supplémentaire de Ker udans Eest isomorphe à Im u.
•Soient Fet Gdeux sous-espaces vectoriels de E. L’application ϕ:F×G−→ F+G
(y, z)−→ y+z
est
linéaire surjective. C’est un isomorphisme si et seulement si F∩G={0}.
6) Opérations sur les applications linéaires
a) Structure de L(E, F )
Si Eet Fsont deux K-espaces vectoriels, alors (L(E, F ),+, .)est un K-espace vectoriel.
b) Composition des applications linéaires
Si E, F, G sont des K-espaces vectoriels et si u∈ L (E, F ),v∈ L (F, G), alors v◦u∈ L (E, G).
Pour φfixé dans L(E, F ), l’application v→ v◦φest une application linéaire de L(F, G)dans L(E, G).
Pour ψfixé dans L(F, G), l’application u→ ψ◦uest une application linéaire de L(E, F )dans L(E, G).
Théorème : si uest un isomorphisme de Edans F, alors u
−1
est linéaire (donc un isomorphisme) de
Fdans E.
c) Structure de L(E)
Si Eest un K-espace vectoriel, alors (L(E),+, ., ◦)est une K-algèbre.
Théorème et définition : soit GL(E)l’ensemble des automorphismes de E.(GL(E),◦)est un groupe
(non abélien en général), appelé groupe linéaire de E.