1. Montrer que et sont des bases de et de .
2. Déterminer les coordonnées de dans la base , en résolvant un système, puis à l'aide d'une matrice de passage.
3. Soit définie par Déterminer la matrice de dans les bases canoniques, puis .
Corrigé
1. Pour , la relation donne , , : tout vecteur a des coordonnées uniques, donc est une base. Pour , on résout de même : la deuxième coordonnée donne , la troisième , la quatrième , puis la première . La solution est unique : est une base de .
2. Avec , on obtient , , et . Avec la matrice de passage de la base canonique à , la proposition 13 donne le même résultat sous la forme , où
3. La matrice de dans les bases canoniques se lit sur les coefficients de la définition. Pour obtenir , on calcule les images et on les décompose dans grâce aux formules de la question 1 : par exemple a pour coordonnées . On contrôle ce résultat par la formule du théorème 4, où est la matrice de passage de la base canonique à .