[exo] adhérence d'un sous-ensemble de Q

[invite778a547f]

Bonjour à tous,
ceci n'est pas à proprement parlé un exercice (j'en ai terminé avec la Taupe depuis maintenant deux ans) mais plutôt une question soulevée par un problème un peu plus vaste (dont je parlerais si toutefois ça interesse quelqu'un).
La question est de savoir s'il existe des réels qui ne sont pas limite d'une suite d'éléments de Q à dénominateur impair.
Mis sous forme plus "propre" cela revient à caractériser la frontière de {a/(2b+1) / a et b entiers relatifs et PGCD(a,2b+1) = 1} pour la norme valeur absolue.

J'ai déjà essayé, étant donné une suite convergente de rationnels à dénominateurs tous pairs à partir d'un certain rang, de la transformer en une suite à dénominateurs impairs, mais sans succès...

Toute aide sera la bienvenue.
-----

[karatekator]

Je suis pas sur que cela soit trés rigoureux
Soit x appartenant à R

alors il existe (an) et (bn) tq an/bn->x
considérons la suite
(10ⁿ*an)/(10ⁿ*bn+1)

cette suite est équivalent à l'infinie a an/bn et le dénominateur (10ⁿ bn +1 )est impaire

[karatekator]

mais plutôt une question soulevée par un problème un peu plus vaste (dont je parlerais si toutefois ça interesse quelqu'un.)

Moi ca m'interresserait! Merci.