Académique Documents
Professionnel Documents
Culture Documents
On se propose de montrer que tout sous groupe H de (R, +) est discret ou dense dans R
C’est à dire de la forme aZ avec a ∈ R ou ∀x ∈ R, ∀ε > 0, ]x − ε, x + ε[∩H 6= ∅.
® On suppose que a = 0.
Soient x ∈ R et ε > 0.
(a) Justifier l’existence de b ∈ H tel que 0 < b < ε.
x
(b) Montrer que ]x − ε, x + ε[∩H 6= ∅ (On pourra utiliser la partie entière de b)
(c) Conclure.
Partie 2 : Applications
¬ Somme de deux sous groupes.
Soit f une fonction de R dans R. On note Gf = {T ∈ R /∀x ∈ R, f (x + T ) = f (x)} l’ensemble, éventuellement réduit
à {0} des périodes de f .
(a) Montrer que Gf est un sous groupe additif de R.
(b) On suppose que f est continue sur R, et périodique. Montrer que f possède une plus petite période stricte-
ment positive ou bien que f est constante.
On considère l’ensemble A = {cos(n); n ∈ N}. On se propose de montrer que A est dense dans [−1, 1].
(a) Justifier que G = Z + 2πZ est dense dans R et A = {cos(g); g ∈ G}.
(b) Montrer que ∀(x, y) ∈ R2 , |cos(x) − cos(y)| ≤ |x − y|.
(c) Soit ε > 0, h ∈ [−1, 1], montrer ∃a ∈ A tel que |h − a| < ε.
(d) Conclure.
*****Fin de l’énoncé****
(b) Comme a ∈ H et H est un sous groupe de (R, +) alors pour tout k ∈ Z, ka ∈ H d’où aZ ⊂ H.
® On suppose que a = 0.
Soient x ∈ R et ε > 0.
(a) Comme inf(H + ) = 0 par la caractérisation de la borne inférieure par ε on a l’existence de b ∈ H + tel que
inf(H + ) ≤ b < inf(H + ) + ε. donc 0 ≤ b < ε. puisque b ∈ H + alors b > 0 d’où 0 < b < ε.
Partie 2 : Applications
¬ Montrons que αZ + βZ est un sous groupe de (R, +).
On a 0 = α × 0 + β × 0 donc 0 ∈ αZ + βZ
Soient x, y ∈ αZ + βZ donc ∃n, m, p, q ∈ Z tels que x = αn + βm et y = αp + βq
donc x − y = α(n − p) + β(m − q) ∈ αZ + βZ
Montrons que αZ + βZ est discet si et seulement si α β ∈Q
⇒ Comme αZ + βZ est discret alors il existe γ > 0 tel que αZ + βZ = γZ
On a α, β ∈ αZ + βZ donc il existe n, m ∈ Z∗ tel que α = γn et β = γm
donc α n
β = m ∈Q
⇐ On a β =∈ Q donc il existe (n, m) ∈ Z∗ × N∗ et n ∧ m = 1 tel que α
α n n
β = m d’où α = β m
0 0 0
β 0
β
n
• Soit x ∈ αZ + βZ, il existe (k, k ) ∈ Z2 tel que x = αk + βk = β m k + βk = m (nk + mk ) ∈ m Z.
β
d’où αZ + βZ ⊂ m Z.
β β
• Soit x ∈ m Z, donc il existe k ∈ Z tel que x = m k.
comme n ∧ m = 1 d’après le théorème de Bézout, il existe (u, v) ∈ Z2 tel que nu + mv = 1.
β n
par suite x = m k(nu + mv) = (β m )(ku) + β(kv) = α(ku) + β(kv) ∈ αZ + βZ.
β
On conclut que αZ + βZ = m Z, donc discret.
(a) Il suffit d’utiliser la caractérisation d’un sous groupe.
(b) Comme f est périodique, alors il existe T > 0 tel que f soit T périodique, donc T ∈ Gf , ainsi Gf 6= {0}.
Puisque Gf est un sous groupe non nul de (R, +), alors on deux cas possible:
• Gf est discret c-à-d il existe a > 0 tel que Gf = aZ.
dans ce cas f admet une plus petite période strictement positive qui est a.
• Gf est dense dans R, dans ce cas montrons que f est constante.
Soit x ∈ R, par la caractérisation séquentielle de la densité, il existe une suite (xn )n∈N d’éléments de Gf qui
converge vers x.
Comme pour tout n ∈ N, xn ∈ Gf , alors f (xn ) = f (0)
puisque f est continue sur R, en particulier en x, par la caractérisation séquentielle de la continuité au point x,
on conclut que f (x) = f (0), ainsi f est constante.
®
(a) On a α = 1 et β = 2π, donc α 1
β = 2π ∈
/ Q, d’après l’application 1 on obtient que Z + 2πZ est dense dans R.
On a A = {cos(n); n ∈ N} = {cos(k); k ∈ Z} car cos est paire
0 0
= {cos(k + 2πk ); k, k ∈ Z} car cos est 2π périodique.
= {cos(g); g ∈ G}.
(b) il suffit d’appliquer le théorème des accroissements finis à la fonction cos sur l’intervalle [x, y] si x < y
ou [y, x] si y ≤ x.
(c) On a h ∈ [−1, 1] et cos : R → [−1, 1] est surjective, alors il existe x ∈ R tel que h = cos(x).
Or G est dense dans R, alors ]x − ε, x + ε[∩G 6= ∅, soit g ∈]x − ε, x + ε[∩G.
alors |x − g| < ε et g ∈ G. On pose a = cos(g) ∈ A
On a |h − a| = | cos(x) − cos(g)| ≤ |x − g| < ε.
(d) D’après (c) on a a ∈ A∩]h − ε, h + ε[, donc pour tout h ∈ [−1, 1] et ε > 0 on a A∩]h − ε, h + ε[6= ∅
alors A dense dans [−1, 1].
*****Fin****