Noyau d'une application linéaire
Le noyau est un sous-espace de l'espace vectoriel V, et l'espace vectoriel quotient V/ker(f) est isomorphe à l'image de f ; en particulier, le théorème du rang relie les dimensions : L'application linéaire f est injective si et seulement si ker(f) = {0}.
Définition Si f : E → F est une application linéaire, son image, notée Imf est l'ensemble des vecteurs de F de la forme f (v) avec v ∈ E : Imf := {f (v)v ∈ E}.
On appelle image d'une application f (d'un ensemble A vers un ensemble B) l'image directe par f de l'ensemble de départ A.
C'est donc le sous-ensemble de B contenant les images de tous les éléments de A, et uniquement ces images.
On le note Im(f).
Exemple : « L'image de la fonction sinus est le segment [–1, 1]. »