Exercice 6, § 2
Topologie générale, IV, p. 47
Bourbaki marks this one as harder than the rest.
a) Soit un espace totalement ordonné non vide, muni de la topologie (I, p. 91, exerc. 5). Pour que soit compact il faut et il suffit que toute partie de admette une borne supérieure, autrement dit que soit achevé (E, III, p. 71, exerc. 11). (Pour montrer que la condition est nécessaire, raisonner comme pour le th. 3 de IV, p. 7; pour voir qu’elle est suffisante, considérer un filtre sur et montrer que, si est l’ensemble des bornes inférieures des ensembles de , la borne supérieure de est un point adhérent à .
b) Donner un exemple d’ensemble réticulé achevé E non compact pour la topologie .
Solution
Aucune solution n’a encore été écrite.