Barre utilisateur

[ID: 1486] [Date de publication: 15 février 2021 14:43] [Catégorie(s): Rang d'une application linéaire ] [ Nombre commentaires: 1] [nombre d'éditeurs: 1 ] [Editeur(s): Emmanuel Vieillard-Baron ] [nombre d'auteurs: 3 ] [Auteur(s): Emmanuel Vieillard-Baron Alain Soyeur François Capaces ]

Solution(s)

Solution(s)

Exercice 733
Par Emmanuel Vieillard-Baron Alain Soyeur François Capaces le 15 février 2021 14:43

• Soit \(f\in\mathfrak{L}\left(E\right)\) tel que \(\mathop{\mathrm{Im}}f = \operatorname{Ker}f\). D’après la formule du rang : \(\dim E = \dim {\rm Ker}\,f +\dim \mathop{\rm Im}f=2\dim {\rm Ker}\,f\) et \(\dim E\) est bien pair.

• Réciproquement, si \(\dim E=2n\) où \(n\in\mathbb{N}^*\) alors considérons une base \(\left(e_1,\dots,e_n,e'_1,\dots,e'_n\right)\) de \(E\) ainsi que l’endomorphisme \(f\in\mathfrak{L}\left(E\right)\) donné par : \(\forall i\in\llbracket 1,n\rrbracket f\left(e_i\right)=e'_i \quad \textrm{ et} \quad f\left(e'_i\right)=0\). On vérifie facilement que \(f\) est linéaire, que \({\rm Ker}\,f= Vect\left(e'_1,\dots,e'_n\right)\) et que \(\mathop{\rm Im}f= Vect\left(e'_1,\dots,e'_n\right)\).