Lemme

Soient un -espace vectoriel admettant une base et un -espace vectoriel ayant les vecteurs

On a donc l’application linéaire

Lemme

Soit un -espace vectoriel ayant pour base .

On a l’application linéaire définie par

Définition -- Matrice d'application

Soient et deux -espaces vectoriels, avec , ayant les bases .

On a aussi la matrice

On définit l’application

05.5 Le noyau d’une application linéaire