Bonjour ;
Sachant que :
- chaque élément de
Sn+(IR) est diagonalisable dans
Mn(IR) et que ses valeurs propres sont positives ,
- chaque élément de
Sn++(IR) est diagonalisable dans
Mn(IR) et que ses valeurs propres sont strictement positives ,
on voit qu'un élément de
Sn+(IR) est dans
Sn++(IR) si et seulement si son déterminant est strictement positif.
ce qui s'écrit :
Sn++(IR) =
Sn+(IR) n det^(-1)(IR+*) qui est bien un ouvert de
Sn+(IR) par continuité du déterminant
sauf erreur bien entenduremarque :
Sn+(IR) est ici supposé muni de la topologie induite par celle de
Mn(IR)et les ouverts de
Sn+(IR) sont par définition ses intersections avec ceux de
Mn(IR).