Bourbaki

Exercise 22, § 9

General Topology, I

Bourbaki marks this one as harder than the rest.

(a) Let XX be a separated space, and let T\mathfrak{T} be its topology. Show that for XX to be absolutely closed (Exercise 19), it is necessary and sufficient that the semi-regular topology T∗\mathfrak{T}^* associated with T\mathfrak{T} (I, p. 103, Exercise 20) be a topology of a minimal space (Exercise 20).

(b) If T\mathfrak{T} is completely separated (Exercise 21), the same is true of T∗\mathfrak{T}^* (use Exercise 20 of I, p. 103). Deduce that a regular absolutely closed space is compact.

Solution

No solution has been written yet.

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