Soient et deux ensembles non vides et une application de à valeurs dans Le graphe de est le sous-ensemble de défini par
On suppose maintenant que et sont des espaces vectoriels. Rappeler la définition de la structure d’espace vectoriel de
Montrer qu’une partie de est le graphe d’une application linéaire de dans si et seulement si les trois conditions qui suivent sont satisfaites :
i) La projection canonique définie par est surjective.
ii) est un sous-espace vectoriel de
iii) ( et sont les éléments neutres respectifs de et
On identifie à par l’isomorphisme Enoncer des conditions nécéssaires et suffisantes pour que soit le graphe d’une application linéaire de dans lui-même.
Montrer que est le graphe d’une application linéaire de dans lui-même. Déterminer sa matrice dans une base que l’on définira au préalabe.