Matrices commutantes avec On(R)

Un problème, une question, un nouveau théorème ?
Répondre

Messages : 52

Enregistré le : 26 févr. 2020 18:05

Classe : MP

Matrices commutantes avec On(R)

Message par Alfonse45 » 18 janv. 2021 18:37

Bonjour, je suis actuellement en train de chercher cette exercice : Trouver l'ensemble des matrices de M3(R) qui commutent avec toutes les matrices orthogonales.

J'en arrive au même point qu'un corrigé trouvé sur internet : Comme on est en dimension 3, toute matrice de M3(R) admet une valeur propre λ réelle (le polynôme caractéristique a une racine réelle) associée au vecteur propre X. Si on prend M telle que, pour tout O orthogonal, MO=OM, alors pour tout O orthogonal, OX est vecteur propre associé à λ

Cependant, il faut montrer que {OX|O orthogonal} est l'ensemble R3 mais je n'arrive pas à le montrer. Si quelqu'un pouvez me débloquer :)

Messages : 6176

Enregistré le : 04 sept. 2005 19:27

Localisation : Versailles

Re: Matrices commutantes avec On(R)

Message par JeanN » 18 janv. 2021 19:01

1) Tu vas avoir du mal à montrer que la sphère de rayon norme(X) est R^3 tout entier.
2) Pour montrer le résultat souhaité, avec $n$ quelconque, essaye de décomposer n'importe quelle matrice élémentaire $ E_{i,j} $ comme demi-somme de deux matrices orthogonales.
Commence par E_{1,1} puis E_{1,2} en guise d'échauffement.
Professeur de maths MPSI Lycée Sainte-Geneviève

Messages : 9

Enregistré le : 04 mai 2019 12:12

Re: Matrices commutantes avec On(R)

Message par Hulst » 18 janv. 2021 19:35

Cependant, il faut montrer que {OX|O orthogonal} est l'ensemble R3 mais je n'arrive pas à le montrer. Si quelqu'un pouvez me débloquer
Comme le précise JeanN, c'est effectivement incorrect !

Je propose la démarche suivante:
1) Montrer que {OX|O orthogonal} = { Z dans M_{3,1}(\R) | ||Z|| = ||X|| }
2) En déduire que le sous-espace propre de M associé à la valeur propre lambda est égale à M_{3,1}(\R).
3) Montrer alors que M est une matrice scalaire.
Modifié en dernier par Hulst le 25 janv. 2021 11:38, modifié 1 fois.

Messages : 107

Enregistré le : 16 févr. 2018 20:30

Re: Matrices commutantes avec On(R)

Message par prepamath » 19 janv. 2021 08:13

Une autre façon ( un peu moins dans l'esprit de ton début de réflexion ) :

1) $ O_n(\mathbb{R}) $ contient les symétries orthogonales
2) Montre que si un élément commute avec une symétrie $ S $, il laisse stable $ \rm Ker(S-Id) $
3) en déduire que si $ A $ commute avec $ O_n(\mathbb{R}) $, $ \forall x \in \mathbb{R}^n, Ax \in \rm Vect(x) $
4) En déduire que $ A $ est scalaire.

Messages : 52

Enregistré le : 26 févr. 2020 18:05

Classe : MP

Re: Matrices commutantes avec On(R)

Message par Alfonse45 » 23 janv. 2021 19:41

Hulst a écrit :
18 janv. 2021 19:35
Cependant, il faut montrer que {OX|O orthogonal} est l'ensemble R3 mais je n'arrive pas à le montrer. Si quelqu'un pouvez me débloquer
Comme le précise JeanN, c'est effectivement incorrect !

1) Montre que {OX|O orthogonal} = { Z dans M_{3,1}(\R) | ||Z|| = ||X|| }
2) Déduisons-en que le sous-espace propre de M associé à la valeur propre lambda est égale à M_{3,1}(\R).
3) Montre alors que M est une matrice scalaire.
Pour montrer l'égalité des deux ensembles, est-il possible de passer par l'application qui à O une matrice orthogonale associe OX, avec X vecteur propre ? Et de montrer que c'est bijectif ? ( O3(R) n'étant pas un espace vectoriel je peux pas utiliser le noyau pour le montrer )

Messages : 6176

Enregistré le : 04 sept. 2005 19:27

Localisation : Versailles

Re: Matrices commutantes avec On(R)

Message par JeanN » 24 janv. 2021 18:00

Je n'ai pas trop compris ce que tu suggères.
Si c'est l'inclusion réciproque qui te pose problème, va faire un tour sur la propriété qui dit qu'on peut construire une fonction linéaire en choisissant les images des vecteurs d'une base.
Ensuite, en supposant x non nul et z de même norme (non nulle) que x, commence par construire deux bon qui commencent respectivement par x/norme(x) et z/norme(z).
Professeur de maths MPSI Lycée Sainte-Geneviève

Répondre