compact et topologie de l'ordre

Bonjour

Si $X$ est ordonné par $\leq_X$,
la topologie de l'ordre est la moins fine telle que pour tout $a,\,b\in X$, $[a,b]:=\left\{x\in X\mid a\leq_X x\leq_X b\right\}$.

J'aurais tendance à conjecturer que les compacts sont les fermés bornés (1), et en tout cas que si $\inf(X)=:0$, on a : pour tout $b\in X$, $[0,b]$ est compact. (2)

Je n'arrive pas à trouver de contre-exemples à (1) , et je n'arrive pas non plus à démontrer (2)

Réponses

  • En fait $[0,1]\setminus\left\{1/2\right\}$ muni de la topologie usuelle (donnée par l'ordre usuel) est un contre-exemple à 1) et à 2)

    Mais le cas qui m’intéresse est si $X$ est l'ensemble des parties de $\mathbb N$ quotienté par presque égalité.
Connectez-vous ou Inscrivez-vous pour répondre.