En raison de limitations techniques, la typographie souhaitable du titre, « Exercice : Projecteurs, symétries Application linéaire/Exercices/Projecteurs, symétries », n'a pu être restituée correctement ci-dessus.
Soient un espace vectoriel sur (ou plus généralement, sur un corps de caractéristique différente de 2), une symétrie, un vecteur de , et sa décomposition suivant la somme directe . Exprimer et en fonction de et .
Soient tel que , et . Déduire de la question précédente qu'il existe un unique couple de fonctions de somme tel que soit paire et impaire, et l'expliciter.
Solution
et avec , donc , , et .
On prend pour l'espace des fonctions de dans et pour l'application (linéaire et involutive) qui à toute fonction associe la fonction . L'unique solution est donnée par et .
Soient et . On désigne par , la base canonique de .
Donner une base de et une base de . Montrer que puis, que est une base de .
Soit la projection de sur parallèlement à . Déterminer puis . Vérifier que .
Soit la symétrie de par rapport à parallèlement à . Déterminer puis . Vérifier que , et .
Solution
avec et donc . Ces deux vecteurs sont non colinéaires donc forment une base de . avec donc . Ce vecteur est non nul donc forme une base de . donc . Par ailleurs, . Donc . Le triplet est une base de puisqu'il est une juxtaposition de bases de sous-espaces supplémentaires.
, et donc . est caractérisée par : et donc . On vérifie par le calcul que , ce qui est normal puisque .
Si avec et alors et , donc , et . On vérifie par le calcul que et , ce qui est normal puisque et .
Montrer que est linéaire et donner sa matrice dans la base canonique de .
Donner une base de son noyau et une base de son image.
Donner une base du supplémentaire orthogonal de .
Montrer qu'il existe une base orthonormée de dans laquelle la matrice de est .
Solution
Soit . On a donc est linéaire, de matrice dans la base canonique.
est la droite dirigée par le vecteur et est la droite dirigée par le vecteur .
Ces deux vecteurs sont orthogonaux donc le supplémentaire orthogonal de est (dont on vient de donner une base). ( est donc la projection orthogonale sur la droite engendrée par .)