Déterminer si les ensembles suivants sont connexes par arcs.
- L’ensemble des matrices réelles.
- L’ensemble des matrices inversibles réelles.
- L’ensemble des matrices symétriques réelles.
- L’ensemble des matrices symétriques définies positives réelles.
- L’ensemble des matrices orthogonales réelles.
- L’ensemble des matrices spéciales orthogonales réelles.
- L’ensemble des matrices inversibles complexes.
Hints
3Hint 1
Open this only if you want a small nudge before looking at the solutions.
Solutions
1Reveal solutionsAre you sure? Give it a try first.
Les ensembles 1., 3. et 4. sont convexes donc connexes par arcs, cela se déduit directement de la définition de ces ensembles ainsi que de celle de la convexité.
Ensuite, l’image d’un connexe par arc par une fonction continue est forcément connexe par arc, en effet, si est un chemin continu qui relie deux points dans le premier ensemble, alors est un chemin continu dans le second espace. Mais l’image par le déterminant, fonction continue car polynomiale, des ensembles et vaut respectivement et qui ne sont pas des connexes par arcs. Donc 2. et 5. ne sont pas connexes par arcs.
Pour 6., on se ramène à montrer que toute isométrie se relie à l’identité par un chemin continu. Puis on utilise le théorème de réduction des isométries, ce qui nous ramène simplement au cas de la dimension , où il suffit de montrer que toute matrice de rotation est reliable à l’identité par un chemin continu.
Or si on prend , c’est un chemin continu à valeur dans reliant à . Donc est bien connexe par arcs.
On aurait aussi pu montrer ce résultat en montrant que est l’image de l’espace des matrices antisymétriques, connexe par arcs, par l'exponentielle matricielle.
Pour 7., on va montrer que est connexe par arcs. On peut par exemple le montrer en disant que l’image de l’ensemble des matrices complexes par l’exponentielle complexe est égal à mais on va le montrer plus élémentairement.
Prenons deux matrices et inversibles. On considère alors . Ainsi le polynôme est non nul car et ne le sont pas et possède un nombre fini de racines noté et ainsi est connexe par arcs. Il existe ainsi un chemin continu liant à dans tel que (vu que et sont inversibles on a bien que 0 et 1 sont dans ). Ainsi en posant , on a bien un chemin continu ne passant que par des matrices inversibles qui relie et , d’où le résultat !
