Posté par
otto ottoJe ne suis pas un super grand spécialiste des subtilités de la topologie réelle, mais je pense que tu peux construire R barre, notons le R_ pour que ce soit plus simple:
Soient deux éléments u,v définis comme ceci:
Pour tout x dans RU{u,v},
x<v x>u (au sens large éventuellement)
On note X=RU{u,v}.
On construit la topologie T_X comme étant la topologie dont les ouverts ne contenant ni u ni v, sont exactement les ouverts de T_X.
(ie: O est un ouvert de X si et seulement si O-{u,v} est un ouvert de R)
En des termes plus savant, je pense sans me tromper, dire que T_X est la topologie la moins fine contenant R et les deux points u et v.
En des termes plus légers, c'est la topologie la plus naturelle que l'on peut définir sur R muni de ces deux nouveaux points, en conservant celle que l'on avait sur R.
J'espère ne pas avoir dit trop de bétises.
C'était également une question qui m'avait intéressé dans le temps et pour laquelle je n'avais eu que des réponses partielles.
Notamment bien sur, si on écrit u=-oo et v=+oo, on a X=R_
A+