Bourbaki

Exercise 6, § 2

General Topology, IV

Bourbaki marks this one as harder than the rest.

a) Let XX be a non-empty linearly ordered set, endowed with the topology T0(X)\mathfrak{T}_0(X) (Chapter I, § 2, Exercise 5). Show that XX is compact if and only if each subset of XX has a least upper bound, in other words if and only if XX is a complete lattice (Set Theory, Chapter III, § 1, Exercise 11). (To show that the condition is necessary, argue as for Theorem 3; for sufficiency, consider a filter F\mathfrak{F} on XX and show that, if AA is the set of greatest lower bounds of sets of F\mathfrak{F}, then the least upper bound of AA is a cluster point of F\mathfrak{F}).

b) Give an example of a complete lattice XX which is not compact in the topology T0(X)\mathfrak{T}_0(X).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.