48 F. PAULIN
des sous-groupes des GLn(R) pour n∈N−{0}), et de leurs actions sur divers
espaces homog`enes (comme par exemple le quotient SLn(R)/SLn(Z)). Mis `a
part quelques digressions, comme la partie 3 montrant de mani`ere ´el´ementaire
que l’espace SL2(R)/SL2(Z) est hom´eomorphe au compl´ementaire du nœud
de tr`efle dans la sph`ere S3, l’optique de ce texte est de servir de fondations
`a la partie 4 de [Dal] et `a [Cou]. Nous donnons deux preuves, l’une topolo-
gique (corollaire 1.10), l’autre alg´ebrique (corollaire 4.3) du crit`ere de Mahler
qui fournit une caract´erisation des parties compactes de l’espace des r´eseaux
de Rn(i.e. des sous-groupes discrets engendrant Rncomme espace vectoriel).
Nous d´emontrerons dans la partie 5 le th´eor`eme de Hedlund disant qu’en di-
mension 2, une orbite du groupe des matrices unipotentes sup´erieures (i.e. de
la forme 1t
0 1 o`u t∈R) sur l’espace SL2(R)/SL2(Z) est soit dense, soit
p´eriodique. La preuve que nous donnerons, inspir´ee de [Ghy], reprendra de
nombreux points sur les propri´et´es dynamiques des sous-groupes unipotents
en dimension sup´erieure consid´er´es dans [Cou].
Conventions Dans ce texte, sauf mention contraire, tout espace vectoriel r´eel
de dimension finie sera muni de la topologie d´efinie par l’une de ses normes
(ce qui ne d´epend pas du choix d’une telle norme) ; toute partie d’un espace
topologique sera munie de la topologie induite ; tout ensemble quotient d’un
espace topologique par une relation d’´equivalence sera muni de la topologie
quotient, dont nous ferons quelques rappels.
Notations Si k>2 et A1,...,Aksont des parties d’un groupe G, nous noterons
A−1
1={x−1:x∈A1}et
A1A2···Ak={g1g2···gk:gi∈Ai,16i6k}.
Si Gest un groupe, H, H0des sous-groupes de G,g∈Get P⊂G, nous
noterons
gH ∈G/H, H0g∈H0\G, H0gH ∈H0\G/H,
P H ⊂G/H, H0P⊂H0\G, H0P H ⊂H0\G/H
respectivement la classe `a droite de gpar H, la classe `a gauche de gpar H0,
la double classe de gpar (H0, H), l’ensemble des classes `a droite par Hdes
´el´ements de P, l’ensemble des classes `a gauche par H0des ´el´ements de P,
l’ensemble des doubles classes par (H0, H) des ´el´ements de P. Ainsi une no-
tation H0P H d´esignera aussi bien une partie de Gqu’une partie de H0\G/H,
le contexte indiquant clairement de laquelle il s’agit.
Si Xet Ysont deux ensembles munis d’une action `a gauche (resp. droite)
d’un groupe G, une application f:X→Yest dite G-´equivariante si pour
tous xdans Xet gdans G, on a f(gx) = gf(x) (resp. f(xg) = f(x)g). On dit
aussi G-invariante si l’action de Gsur Yest triviale.