Exo 20
Commencez par chercher à résoudre l'exercice par vous-même.
Si vous manquez d'idée pour débuter, consultez l'indice fourni et recommencez à chercher.
Une solution détaillée vous est ensuite proposée.
Question
Montrer que l'ensemble des matrices orthogonales de
est un compact de
.
Démontrez qu'il s'agit d'une partie fermée et bornée de
.
L'espace vectoriel normé
est de dimension finie.
Donc toutes les normes sont équivalentes. Prenons la norme :
.
Il suffit de montrer que l'ensemble
des matrices orthogonales de
est une partie fermée et bornée pour cette norme.
Toute matrice
orthogonale vérifie :
. Donc :
.
Donc
est une partie bornée de
.
Soit
une suite convergente d'éléments de
et soit
sa limite. Donc :
.
Or la norme d'une matrice carrée est égale à la norme de sa transposée car :
.
Donc :
. Donc :
et
.
Or :
. Donc :
, et donc :
.
Donc
est une partie fermée de
.
Conclusion : L'ensemble des matrices orthogonales de
est un compact de
.