Endomorphisme dont le carré est l'opposé de l'identité

Colle de mathématiques

Sujet de colle de maths:

Soit

un espace vectoriel réel de dimension finie, et

un endomorphisme de

vérifiant

Donner un exemple de tel endomorphisme sur $\R^2$ .
Montrer que n'a pas de valeurs propres réelles. En déduire que la dimension de est paire.
Montrer que, pour tout de , $\text{Vect}(x,f(x))$ est stable par .
En déduire que si $\dim E=2n$ , il existe des vecteurs $(e_1,\dots,e_n)$ tels que $(e_1,f(e_1),\dots,e_n,f(e_n))$ forme une base de . Quelle est la matrice de dans cette base?

Correction

Soit l'endomorphisme dont la matrice dans la base canonique de $\R^2$ est:

$\lp\begin{array}{cc} 0&-1\\ 1&0\\ \end{array}\rp$

Un simple calcul matriciel montre que .
Si $\lambda$ est une valeur propre associée au vecteur propre , la condition entraîne que $\lambda^2=-1$ : il n'existe pas de valeurs propres réelles. Si l'espace était de dimension impaire, le polynome caractéristique serait de degré impair, et aurait une racine réelle, ce qui donnerait une valeur propre réelle : impossible!
Soit $y\in\text{Vect}(x,f(x))$ , . On a :

$f(y)=af(x)-bx\in\text{Vect}(x,f(x))$
Procédons de proche en proche. Soit un vecteur non-nul de . n'est pas lié à , puisque est sans valeur propre. On choisit ensuite $e_2\notin\text{Vect}(e_1,f(e_1))$ . Il faut prouver que $f(e_2)\notin\text{Vect}(e_1,f(e_1),e_2)$ . Mais si tel était le cas, on aurait

$f(e_2)=ae_1+bf(e_1)+ce_2\implies -e_2=af(e_1)-be_1+cf(e_2)$

et en remplaçant par , on trouverait que la famille est liée. On continue ainsi pour construire , etc... La matrice résultante est diagonale par blocs, les blocs sont ceux apparus à la question 1.

Tag:Diagonalisation

Autres sujets au hasard:

Voir aussi: