Ouverts de R
Bonjour.
Les ouverts de $(\R,d)$ où $d(x,y)=|x-y|$ sont les réunion dénombrables d'intervalles ouverts. Pour le montrer, on peut construire sur un ouvert $O$ de $\R$ donné, une rélation d'équivalence : deux points $a$ et $b$ de $O$ sont en relation si et seulement si le segment $[a,b]$ reste dans $O$. On obtient alors que les classes d'équivalences sont des intervalles, qu'ils sont ouverts et qu'il existe une surjection de $\Q$ vers l'ensemble des classes d'équivalences (grace à la densité de $\Q$ dans $\R$).
Est-ce toujours vrai si l'on prend une autre distance ?
C'est surtout l'étape où l'on montre que les classes d'équivalences sont des ouverts qui me pose question :
Dans "mon" cas je dis que si l'on se donne un élement $x$ dans une classe d'équivalence $C$ alors $x$ est dans $O$ donc il existe $\epsilon>0$ tel que $]x-\epsilon,x+\epsilon[\subset O$. Alors pour $\epsilon'<\epsilon$, on a $[x-\epsilon',x+\epsilon']\subset O$ et donc $]x-\epsilon",x+\epsilon"[\subset C$ pour $\epsilon"$ assez petit...
Les ouverts de $(\R,d)$ où $d(x,y)=|x-y|$ sont les réunion dénombrables d'intervalles ouverts. Pour le montrer, on peut construire sur un ouvert $O$ de $\R$ donné, une rélation d'équivalence : deux points $a$ et $b$ de $O$ sont en relation si et seulement si le segment $[a,b]$ reste dans $O$. On obtient alors que les classes d'équivalences sont des intervalles, qu'ils sont ouverts et qu'il existe une surjection de $\Q$ vers l'ensemble des classes d'équivalences (grace à la densité de $\Q$ dans $\R$).
Est-ce toujours vrai si l'on prend une autre distance ?
C'est surtout l'étape où l'on montre que les classes d'équivalences sont des ouverts qui me pose question :
Dans "mon" cas je dis que si l'on se donne un élement $x$ dans une classe d'équivalence $C$ alors $x$ est dans $O$ donc il existe $\epsilon>0$ tel que $]x-\epsilon,x+\epsilon[\subset O$. Alors pour $\epsilon'<\epsilon$, on a $[x-\epsilon',x+\epsilon']\subset O$ et donc $]x-\epsilon",x+\epsilon"[\subset C$ pour $\epsilon"$ assez petit...
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Peux-tu énoncer l' énoncé précis "...d..." à propos d'une distance quelconque d pour lequel tu demandes si $\forall distance\ d: (...d...)$ ?
Pour ta question, tu peux regarder avec une distance qui induit la topologie discrète.
> Remarque : $]x-\epsilon,x+\epsilon[\subset O$ donne directement $]x-\epsilon,x+\epsilon[\subset C$.
En effet... merci
Avec la topologie discrète, l'ouvert $\R \setminus \Q$ n'est pas réunion dénombrable d'intervalles (même si on dit qu'un singleton est un intervalle (ce que les gens disent en général)).