Bourbaki

Exercise 21, § 4

General Topology, IX, p. 105

Bourbaki marks this one as harder than the rest.

(a) Let XX be a completely regular space; now prove that, for XX to be locally connected, it is necessary and sufficient that for every normal open covering R\mathscr{R} of XX, there exists a normal open covering R′\mathscr{R}' finer than R\mathscr{R} and formed of connected open sets. (To see that the condition is sufficient, use Exercise 20 d). To see that it is necessary, consider a normal covering R\mathscr{R} of XX, a sequence (Rn)(\mathscr{R}_n) of open coverings of XX such that R1=R\mathscr{R}_1 = \mathscr{R}, VRn+12⊂VRnV_{\mathscr{R}_{n+1}}^2 \subset V_{\mathscr{R}_n}, and for every nn, consider the covering Rn′\mathscr{R}'_n formed by the connected components of the sets of Rn\mathscr{R}_n.

(b) Let Y be a topological space, X a dense subspace of Y, y a point of Y, (Vi)1≤i≤n(V_i)_{1 \leq i \leq n} a finite covering of X formed of connected sets. Prove that the union of the V‾i\overline{V}_i which contain y is a connected neighbourhood of y.

(c) Let Y be a completely regular space, X a dense subspace of Y. Suppose that X is Weierstrassian (IX, p. 88, Exercise 20) and locally connected. Prove that Y is locally connected. (Let y∈Yy \in Y, U an open neighbourhood of y in Y; there is a closed neighbourhood V⊂UV \subset U of y in Y such that (U∩X,(Y−V)∩X)(U \cap X, (Y - V) \cap X) is a normal covering of X; use Exercise 21 a), Exercise 20 e) and Exercise 21 b)).

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.