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