Ca y'est, enfin ! Je commençais à croire que vous n'y arriveriez jamais.
Oui entre deux nombres rationnels il existe une infinité de nombres rationnels.
Oui, il doit y en avoir une infinité ... sauf bien sûr si ces deux nombres sont égaux.
Or il n'existe pas de nombre rationnel compris entre 0,999... et 1.
Donc ... (je vous laisse compléter la suite).
Ne me remerciez pas, tout le plaisir était pour moi.
Donc, ils son consécutifs dans l'ensemble des nombres réels.
Cela ne me dérange pas que tu blagues, que tu te trompes etc. Mais tout de même.
Si je suis ton raisonnement, dans l'ensemble des nombres naturels, aucun nombre ne sépare 0 et 1, alors selon ton raisonnement, 0 = 1 dans N ?
Je répètes encore une fois : les nombres entiers sont inclus dans l'ensemble des nombres rationnels, et a fortiori dans l'ensemble des nombres réels. (Oui, désolé mais à force de trainer sur des forums parfois on s'abrutit..)
Or, dans l'ensemble des nombres réels, 1 se trouve quelque part entre 0 et 2. En sorte que 0,9.. =/= 1,0..
Si tu veux, travaillons par types :
Nous avons le type 0,9... Et le type 1,0...
Dans le type 0,9.. j'ai par exemple tous les nombres réels (rationnels et irrationnels) en 0,90.., tous ceux en 0,91.., tous ceux en 0,92.. etc.
Tandis quand dans le type :
1,0.. j'ai ceux en 1,00.., ceux en 1,01.., ceux en 1,02.. etc.
En sorte que le nombre réel 0,9999... vienne juste avant 1,0000...
Le fait ne ne pas pouvoir noter le nombre irrationnel réel devant succéder immédiatement 0,0000... ne l'annule pas en R. Le type 0,9... Contient 0,999... Et exclut 1,000... Tandis que le type 1,0... Exclut également 0,999... Donc 0,9999... =/= 1,0000... selon le type, et aussi dans R (ensemble des réels).