Bourbaki

Exercise 22, § 4

General Topology, IX, p. 106

Bourbaki marks this one as harder than the rest.

Let XX be a regular space; now prove that the following three properties are equivalent: α) XX is locally connected and semi-compact (IX, p. 93, Exercise 13). β) For every finite open covering of XX, there exists a finer finite open covering, formed of connected sets. γ) For every finite open covering of XX, there exists a finer finite covering (not necessarily open) formed of connected sets. (To see that γ) implies that XX is locally connected, reason as in Exercise 21 c). To see that α) implies β), argue by contradiction: if (Uj)(U_j) is a finite open covering of XX, form by induction on j, an open covering (Vλ)(V_\lambda) each element of which is a connected component of one of the UjU_j, and where none of the VλV_\lambda is contained in the union of the others; if (Vλ)(V_\lambda) is infinite, deduce that XX would not be semi-compact).

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.