Bourbaki

Exercise 19, § 4

General Topology, X, p. 60

(a) Let XX be a completely regular space; now prove that a point aa of βX−υX\beta X - \upsilon X cannot admit a fundamental system of connected neighbourhoods in βX\beta X. Observe that there exists a function f∈C(X;R)f \in C(X; \mathbf{R}) which tends to +∞+\infty at the point aa. For i=0,1,2,3i = 0, 1, 2, 3, let ZiZ_i be the set of the x∈Xx \in X such that n≤f(x)≤n+1n \leq f(x) \leq n+1 for an n≡i(mod4)n \equiv i \pmod{4}. If, for example, aa is adherent to Z3Z_3, observe that Z1Z_1 and Z3Z_3 are normally separated in XX (IX, p. 87, exerc. 15), and consequently that there exists an open neighbourhood UU of aa in βX\beta X such that Z1∩U=∅Z_1 \cap U = \varnothing. Now prove that it is not possible that there exists a connected neighbourhood U′⊂UU' \subset U of aa, by using IX, p. 87, exerc. 16.

(b) Deduce from a) that, in order that βX\beta X be locally connected, it is necessary and sufficient that XX be locally connected and weierstrassian (cf. IX, p. 105, exerc. 21).

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.