Structure-Exemple
Proposition : Structure de l'image directe et de l'image réciproque
Soit \(f\) une application linéaire du \(\mathbf K \textrm{-espace}\) vectoriel \(E\) dans le \(\mathbf K \textrm{-espace}\) vectoriel \(F\).
Si \(A\) est un sous-espace vectoriel de \(E\), alors \(f(A)\) est un sous-espace vectoriel de \(F\).
Si \(B\) est un sous-espace vectoriel de \(F\), alors \(f^{-1}(B)\) est un sous-espace vectoriel de \(E\).
Preuve : Preuve du 1
Comme \(A\) est un sous-espace vectoriel de \(E\), il contient l'élément \(0_E\), donc \(f(0_E)\) (qui est égal à \(0_F\)) appartient à \(f(A)\), d'où \(f(A)\) est non vide.
Ensuite on montre que pour tout couple \((y_1, y_2)\) d'éléments de \(f(A)\), et pour tout couple de scalaires \((\lambda_1, \lambda_2)\), l'élément \(y = \lambda_1y_1 + \lambda_2y_2\) appartient à \(f(A)\).
En effet :
\(y_1 \in f(A) \Rightarrow \exists x_1 \in A, f(x_1) = y_1\)
\(y_2 \in f(A) \Rightarrow \exists x_2 \in A, f(x_2) = y_2\)
donc \(y = \lambda_1 f(x_1) + \lambda_2 f(x_2)\),
et comme \(f\) est linéaire : \(y = f(\lambda_1x_1 + \lambda_2 x_2)\).
Or \(\lambda_1x_1 + \lambda_2 x_2\) est un élément de \(A\), car \(A\) est un sous-espace vectoriel de \(E\), donc \(y\) est bien un élément de \(f(A)\).
Preuve : Preuve du 2
Comme \(B\) est un sous-espace vectoriel de \(F\), il contient l'élément \(0_F\), or \(0_F = f(0_E)\), donc \(0_E\) appartient à \(f^{-1}(B)\), d'où \(f^{-1}(B)\) est non vide.
Ensuite on montre que pour tout couple \((x_1, x_2)\) d'éléments de \(f^{-1}(B)\), et pour tout couple de scalaires \((\lambda_1, \lambda_2)\), l'élément \(x = \lambda_1x_1 + \lambda_2x_2\) appartient à \(f^{-1}(B)\).
En effet, comme \(f\) est linéaire, \(f(x) = \lambda_1 f(x_1) + \lambda_2 f(x_2)\) or
\(x_1 \in f^{-1}(B) \Rightarrow f(x_1) \in B\)
\(x_2 \in f^{-1}(B) \Rightarrow f(x_2) \in B\)
Comme \(B\) est un sous-espace vectoriel de \(F\), alors \(f(x) = \lambda_1 f(x_1) + \lambda_2f(x_2)\) appartient à \(B\), on en déduit que \(x\) est élément de \(f^{-1}(B)\).
Exemple :
Soient \(P\) l'espace vectoriel des fonctions polynômes réelles et \(P_n\) le sous-espace vectoriel des fonctions polynômes réelles de degré inférieur ou égal à \(n\).
Soit \(f = d\) l'application " dérivée " (c'est un endomorphisme de\( P\)), l'image de\( P_n\) par \(d\), pour \(n \ge 1\), est \(P_{n -1}\), et l'image réciproque de \(P_n\) par d est \(P_{n+1}\) :
\(d(P_n) = P_{n-1} ; d^{-1}(P_n) = P_{n+1}\)
Deux cas particuliers sont importants : le cas où \(A\) est l'espace vectoriel tout entier, \(A = E\), et le cas où \(B\) est réduit à l'élément nul, \(B = \{ 0_F\}\).
Le paragraphe suivant traite de ces cas particuliers...