On considère les deux matrices suivantes de :
Soit le sous-groupe de engendré par et .
Déterminer l'adhérence de pour la topologie usuelle de .
Remarquer que est inclus dans le groupe des matrices triangulaires supérieures à coefficients diagonaux strictement positifs.
Étudier l'image de par le morphisme qui à une matrice triangulaire associe son premier coefficient diagonal. Utiliser la densité des sous-groupes de .
Utiliser des conjugaisons du type pour faire apparaître des matrices de transvection dont les coefficients deviennent arbitrairement petits.
Conclure en utilisant le fait que l'adhérence d'un sous-groupe est un sous-groupe.
Analyse de la structure algébrique (sous-groupe de matrices triangulaires).
Utilisation de la densité des sous-groupes de type dans .
Action de la conjugaison sur les parties unipotentes.
Résolution.
Soit l'ensemble des matrices de la forme avec et .
On vérifie immédiatement que est un sous-groupe de . Comme et , on a par stabilité :
Comme est fermé dans (car défini par une condition d'annulation de coefficient et une condition de signe large sur l'adhérence), on a .
1. Étude de la partie diagonale.
Soit l'application qui à une matrice associe son coefficient en position . C'est un morphisme de groupes pour la multiplication.
On a .
En passant au logarithme, l'étude de revient à étudier le sous-groupe de :
Comme (car n'a pas de solution entière non nulle par unicité de la décomposition en facteurs premiers), le sous-groupe est dense dans .
Par continuité de l'exponentielle, on en déduit que :
2. Extraction de matrices de translation (transvections).
Calculons le conjugué de par les puissances de . Pour tout :
Cette matrice appartient à pour tout . En faisant tendre vers , on obtient par fermeture de :
Dès lors, contient la matrice de transvection :
3. Densité de la partie unipotente.
Par conjugaison de par les puissances de , on obtient que pour tout :
Soit . est un sous-groupe de car est un groupe. De plus, est fermé car c'est l'image réciproque de par l'application continue .
Comme contient la suite qui converge vers quand , n'est pas de la forme . Ainsi, est dense dans , et comme il est fermé :
4. Conclusion.
Nous avons montré que contient toutes les transvections et toutes les matrices diagonales pour .
Par produit de ces éléments, pour tout et tout :
L'adhérence est donc exactement le groupe des matrices triangulaires supérieures à coefficients diagonaux strictement positifs :
Attention à ne pas oublier la condition . Les matrices et ont des coefficients diagonaux positifs, donc tout produit de ces matrices conservera des coefficients diagonaux positifs. L'adhérence ne peut donc pas contenir de matrices avec .