Sous-groupes additifs de R
Th
eor`
eme : Les sous-groupes de (R, +) sont de la forme aZ, a etant un reel, ou denses dans R.
Preuve : Soit G un sous-groupe de (R, +) tel que G 6= {0}. G contient au moins un element strictement positif.
En effet, soit x G, x 6= 0. Si x R , alors x G et x R+ . G R+ est alors une partie non vide et
minoree de R donc admet une borne inferieure, notee a. 0 etant un minorant de G R+ , on a a > 0.
Si a > 0. Montrons que a G. Supposons le contraire. 2a > a donc 2a nest pas un minorant de G R+ . Il
existe b G tel que a < b < 2a. b nest pas non plus un minorant de G R+ donc il existe c G tel que
a < c < b. b c G R+ et b c < a, ce qui contredit la definition de a. Par consequent a G. (G, +) etant
un sous-groupe de (R, +), on a aZ G. Il reste `a montrer que G aZ.
Soit g G. Soit n = E ag , E designant la partie enti`ere. On a, par definition de la partie enti`ere, n 6
g
a
< n+1,
ou encore na 6 g < (n + 1)a. Alors 0 6 g na < a. a G donc na G et donc g na G. Si g 6= na, alors
0 < g na < a donc g na G R+ et g na < a, ce qui est impossible donc g = na aZ. On en deduit
G aZ et donc G = aZ.
Examinons le cas o`
u a = 0. Montrons dans ce cas que
G est
dense dans R. Soient x, y R, avec x < y. a = 0
x
donc il existe g G tel que 0 < g < y x. Soit n = E g + 1. On a n 1 6 xg < n donc (n 1)g 6 x < ng.
On a alors :
x < ng = (n 1)g + g 6 x + g < x + (y x) = y
On a montre :
x, y R2 avec x < y, g 0 G, x < g < y
G est donc dense dans R.