Sous-groupes additifs de R
L’objectif de cette séance est de démontrer le résultat qui suit.
Soit Gun sous-groupe de (R,+). Trois cas sont possibles :
G={0},
ou bien, il existe un unique a > 0tel que G=aZ,
ou bien, Gest dense dans R.
Théorème 1 :Sous-groupes additifs de R
Démonstration. On suppose que G /∈ {0}. Alors, il existe x06= 0 tel que x0G. Quitte à remplacer
x0par x0, on peut supposer que x0>0et x0G.
Par conséquent, l’ensemble A={g > 0/ /g G}est non vide. Comme cette partie de Rest minorée
par 0, elle admet une borne supérieure noté avérifiant a>0.
Cas où a > 0:
D’après la caractérisation de la borne inférieure, il existe x, y Gtels que a6x6y < 2a.
Ainsi 06yx < 2aaet donc 06yx < a. Comme yxGet que a= inf Aalors
yx= 0.
Cela signifie qu’il existe un unique xGtel que a6x < 2a. D’après la caractérisation de la
borne inférieure, nécessairement a=xA. Ainsi, a= min(A).
Montrons que G=aZpar double inclusion.
Comme aGet que Gest un sous-groupe de (R,+) l’inclusion aZGest claire.
Soit xG. Posons n=x
a.
De ce fait, x
a1< n 6x
apuis 06xan < a. Or a, x Get nZdonc xan G. Enfin,
comme a= inf(A)alors nécessairement xan = 0. Ainsi, x=an aZ.
Cas où a= 0 :Montrons que Gest dense dans R.
Soient xRet  > 0. Montrons que l’intervalle ouvert ]x, x +[contient, au moins, un
élément de G.
Comme a= 0 alors, d’après la caractérisation de la borne inférieure, il existe gGtel que
0< g < . Posons n=jx
gk.
De ce fait, x
g1< n 6x
gpuis 06xng < g < .
ng est donc à la fois un élément de Get un élément de ]x, x +[.
Ce résultat est à comparer avec celui décrivant les sous-groupes additifs de Z.
Soit Gun sous-groupe de (Z,+). Deux cas sont possibles :
G={0},
ou bien, il existe un unique aN?tel que G=aZ.
Remarque I
Soit Gun sous-groupe de (R+?,×). Trois cas sont possibles :
G={1},
ou bien, il existe un unique b > 1tel que G=bZ,
ou bien, Gest dense dans R+?.
Corollaire 2 :Sous-groupes multiplicatifs de R+?
1
Démonstration. Considérons l’application bijective
ln : R+?R
x7→ ln(x)
Soit Gun sous-groupe de (R+?,×). On démontre aisément que ln(G)est un sous-groupe de (R,+).
Par le théorème précédent,
ln(G) = {0},
ou bien, il existe un unique a > 0tel que ln(G) = aZ,
ou bien, ln(G)est dense dans R.
Plusieurs cas s’offrent ainsi à nous.
Si ln(G) = {0}alors G={1}.
S’il existe un unique a > 0tel que ln(G) = aZalors G= (ea)Zet b=eaconvient.
Si ln(G)est dense dans Ralors eln(G)est dense dans eR, c’est-à-dire Gest dense de R+?.
2
1 / 2 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !