Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
Pages : 1
#1 10-01-2022 16:38:37
- Junior ste
- Membre
- Inscription : 03-11-2021
- Messages : 73
Topologie
Salut
S'il-vous-plaît si x est un irrationnel et Y un réel. Quel condition sur y faut-il pour que x-y soit un rationnel ????
Hors ligne
#2 10-01-2022 20:12:45
- Michel Coste
- Membre
- Inscription : 05-10-2018
- Messages : 1 112
Re : Topologie
Bonsoir,
Il faut et il suffit que [tex]y-x[/tex] soit rationnel. What else ?
Et nécessairement [tex]y[/tex] est irrationnel. Vois-tu pourquoi ? Par contre, ce n'est bien sûr pas suffisant.
Hors ligne
#3 12-01-2022 17:26:48
- Junior ste
- Membre
- Inscription : 03-11-2021
- Messages : 73
Re : Topologie
Salut.
En effet on définit une relation d'équivalence par pour tout x,y réel x est en relation avec y ssi x-y est un rationnel et on me demande de déterminer la classe d'équivalence d'un élément. Ainsi donc lorsque je prend un réel soit il est un rationnel ou un irrationnel. Dans le cas où c'est un rationnel alors il est clair que sa classe est l'ensemble des nombres rationnels dans le cas où c'est un irrationnel que dire ??? Raison pour laquelle je pose cette question.
Hors ligne
#4 13-01-2022 10:12:15
- bridgslam
- Membre
- Lieu : Rospez
- Inscription : 22-11-2011
- Messages : 1 302
Re : Topologie
Bonjour,
Si tu prends (par exemple) $\{ n\sqrt{2}, n \in \mathbb{N}^*\}$ tu pourras constater que ces nombres sont forcément dans des classes différentes. Donc la quantité de classes selon cette relation d'équivalence est au moins infini dénombrable.
Pousser plus avant l'investigation, à savoir décrire complètement les classes ne me semble pas trivial, mais on peut se limiter déjà aux irrationnels dans ]0,1[ puisque à une translation d'un entier près, on atteint le reste (avec AC).
Normalement on doit pouvoir montrer que cette partie du segment [0,1] n'est pas dénombrable non plus en montrant qu'elle n'est pas mesurable au sens de Lebesgue, donc encore moins de mesure nulle, ce qui ne serait pas le cas si elle était dénombrable.
Cela doit nécessiter l'axiome du choix je pense.
Par surjection canonique le nombre de classes sur $\mathbb{R}$ , qui est de cardinal $\aleph1$ est donc aussi $\aleph1$.
Sinon, si la question stricto sensu est de déterminer la classe de x (réel quelconque) eh bien c'est $x +\mathbb{Q}$, La Palisse ne ferait pas mieux!
A.
Dernière modification par bridgslam (18-01-2022 19:01:02)
"Ceux qui ne savent rien en savent toujours autant que ceux qui n'en savent pas plus qu'eux" -Pierre Dac
"Travailler sur un groupe haddock, ou être heureux comme un poisson dans l'eau..."
Hors ligne
Pages : 1