Le but du problème est la recherche des plans stables par un endomorphisme, en relation avec la notion de produit vectoriel
Dans tout le problème,
les espaces vectoriels et sont munis de leur produit scalaire canonique et orientés par leur base canonique,
on désigne par ou le produit scalaire de deux vecteurs d'un espace vectoriel euclidien, par .
on désigne par le produit vectoriel défini pour un espace vectoriel euclidien orienté de dimension 3.
Les vecteurs dans les espaces vectoriels sont notés en colonnes, mais on leur préférera la notation , transposée d'une ligne, lorsqu'ils seront de grande taille.
Partie I - Étude dans E euclidien orienté de dimension 3
On considère dans cette partie espace vectoriel euclidien orienté de dimension 3 et la base canonique orthonormale directe. Si est dans on définit , endomorphisme de , par sa restriction à :
I.A - Dans cette question on considère les endomorphismes , de matrices respectives et dans la base :
Déterminer et , matrices respectives dans la base de et .
Filière PC
I.B - Soit . Montrer que . Montrer que si dans vérifie , alors .
I.C - Déterminer .
Si et sont dans , montrer que .
Si est inversible, en conclure que est inversible et en exprimer l'inverse.
I.D - Si appartient à et a comme matrice dans la base , exprimer la matrice de dans la base en fonction de , comatrice de la matrice .
Montrer que où désigne l'adjoint de .
Montrer que et commutent.
Montrer que .
I.E - On considère toujours dans .
I.E.1) Dans le cas où est inversible, déterminer une expression de det ( ) en fonction de , et de en fonction de et de .
I.E.2) Dans le cas où n'est pas inversible, déterminer puis .
I.F - Préciser le rang de selon la valeur de celui de . L'application de dans lui-même qui à associe est-elle : linéaire ? injective ? surjective ?
Partie II - Recherche des plans stables par u endomorphisme de
On conserve dans cette partie les notations de la précédente.
II.A - Soit dans et un plan stable par .
Montrer que est vecteur propre de ; exprimer la valeur propre associée à à l'aide de .
II.B - Inversement, soit un vecteur propre de norme 1 de .
Montrer qu'il existe ( ) famille orthonormale dans telle que .
Si la valeur propre associée à est non nulle, montrer que est stable par . On pourra remarquer que est une base orthonormale directe de et effectuer des calculs dans cette base.
II.C - Soit dans . Montrer que 0 est valeur propre de si, et seulement si, 0 est valeur propre de . Montrer que, pour tout réel , les plans stables par sont les plans stables par . En déduire un moyen pour obtenir les plans stables par dans n'ayant pas 0 comme valeur propre, puis par quelconque dans .
II.D - Appliquer cette méthode à la recherche des plans respectivement stables par les deux endomorphismes et de définis à la question I.A.
Certaines démonstrations dans les parties qui suivent sont analogues à celles demandées dans les deux précédentes et, de ce fait, certains résultats seront admis.
Partie III - Définition et étude d'un produit vectoriel de dans
On munit et de leurs structures euclidiennes canoniques et on les oriente grâce à leurs bases canoniques.
À un vecteur
de sorte que l'on écrira, par blocs,
On définit alors, pour et dans comme suit :
ù
vecteur de défini par les blocs , avec et ,
ce dernier produit vectoriel étant le produit vectoriel canonique de .
On admettra sans démonstration que est une application bilinéaire antisymétrique de dans .
III.A - Trouver une condition nécessaire et suffisante sur et dans pour que .
Soient et les applications linéaires de dans qui à
III.B - Soit dans , de la forme , où et sont dans ; montrer que
III.C - Soit, inversement, dans vérifiant ( ) ; on pose et .
III.C.1) Si et si dans vérifient , trouver tous les dans tels que et .
III.C.2) Exemple: si et , déterminer tous les correspondants.
III.C.3) Si , décrire tous les dans tels que .
III.C.4) Enfin, si , décrire tous les dans tels que . Si et , donner une description simple de à l'aide notamment de .
III.D - Trouver une condition nécessaire et suffisante, portant sur , pour que la famille ( ) définie par
soit orthonormale dans . Dans ce cas, exprimer et en fonction de ( ) seulement. En déduire que .
III.E - Soit dans tels que . Simplifier l'expression .
On pourra utiliser la formule suivante, valable pour vecteurs dans ,
III.F - En déduire que si est une base orthonormale de , alors est une base orthonormale de . Déterminer lorsque est la base canonique de .
Partie IV - Endomorphisme de associé à un endomorphisme u de et détermination des plans stables par u
Si u est dans , on admet qu'il existe un unique dans tel que l'on ait
On admet également que ov , pour et dans .
IV.A - Si est un endomorphisme orthogonal de , montrer que est un endomorphisme orthogonal de ; on pourra utiliser III.F.
IV.B - Si est un endomorphisme autoadjoint de , justifier l'existence d'une base orthonormale directe formée de vecteurs propres de associés à des valeurs propres notées ( ) ; exprimer alors la matrice de dans la base et en déduire que est autoadjoint.
On admet que, pour tout endomorphisme de , il existe et , endomorphismes de respectivement autoadjoint et orthogonal et tels que ow.
IV.C - Montrer que, pour tout dans .
IV.D - Soit dans et un plan vectoriel stable par ; montrer que est un vecteur propre de .
IV.E - Exemple : on donne dans défini par
IV.E.1) Déterminer a-t-il des vecteurs propres?
IV.E.2) Soit un vecteur non nul de . Montrer que est un plan stable par . Montrer qu'inversement tout plan stable par est de cette forme.
IV.E.3) Si est non nul dans , déterminer par ses composantes dans la base canonique le vecteur propre de ainsi obtenu.
IV.E.4) Montrer que et vérifier que deux vecteurs de la base canonique de sont des vecteurs propres de .
IV.E.5) Déterminer la matrice de relativement à la base canonique de ; on pourra exprimer pour et quelconques dans .
IV.E.6) La matrice est-elle diagonalisable ?
IV.E.7) Déterminer les ensembles
En déduire les valeurs propres de ainsi que leurs ordres de multiplicité.
IV.E.8) Vérifier que, dans , seul le vecteur nul satisfait à ( ).
IV.E.9) Vérifier que, dans , le vecteur satisfait à si, et seulement si, il est de la forme , où .
IV.E.10) Vérifier que tous les vecteurs de la forme obtenus en IV.E. 3 sont bien de cette forme.
FIN •••
Centrale Mathématiques 2 PC 2002 - Version Web LaTeX | WikiPrépa | WikiPrépa