Une application f est dite injective ou est une injection si tout élément de son ensemble d'arrivée a au plus un antécédent par f, ce qui revient à dire que deux éléments distincts de son ensemble de départ ne peuvent pas avoir la même image par f.
l'application f est surjective si et seulement si son image est égale à l'espace F . l'application f est injective si et seulement si son noyau ne contient que le vecteur nul.