Bourbaki

Exercise 21, § 4

General Topology, X, p. 60

Now prove that for a completely regular space XX, the following four conditions are equivalent:

a) XX is replete (X, p. 59, Exercise 17 b)). b) XX is the intersection of the subsets of βX\beta X which contain it and which are countable unions of compact sets.

c) βX−X\beta X - X is a union of closed sets each of which is a countable intersection of open sets.

d) XX is homeomorphic to a dense subset of a compact space KK, which is the intersection of a family of subsets of KK which are countable unions of compact sets.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.