Bourbaki

Exercise 23, § 9

General Topology, I, 147

Bourbaki marks this one as harder than the rest.

a) Let XX be a countable absolutely closed space. Show that the set of isolated points of XX is dense in XX. [Use reductio ad absurdum, by arranging the points of XX in a sequence, and constructing by induction a countable open covering (Un)(U_n) of XX such that no finite union of the U‾n\overline{U}_n covers XX].

*b) Give an example of a completely Hausdorff absolutely closed topological space which is not a Lindelöf space [in the product [0,1]×[0,1][0, 1] \times [0, 1]; consider the complements of the sets A×{0}A \times \{0\}, where AA runs through the set of all subsets of [0,1][0, 1], and apply the general method of §8§ 8, Exercise 20 c)]. This space satisfies condition (DII)(D_{II}) of §1§ 1, Exercise 1, but does not satisfy condition (DIII)(D_{III}).

c) Let X0X_0 be a compact space with no isolated points, let M\mathfrak{M} be the set of complements of countable subsets of X0X_0 [so that the sets of M\mathfrak{M} are dense in X0X_0, cf. a)]. Let T\mathfrak{T} be the topology generated by the open sets of X0X_0 and the sets of M\mathfrak{M}. Show that the space XX obtained by giving X0X_0 the topology T\mathfrak{T} is absolutely closed and completely Hausdorff and is a Lindelöf space which does not satisfy condition (DII)(D_{II}) of §1§ 1, Exercise 7; show also that no point of XX has a countable fundamental system of neighbourhoods and that no sequence in XX, all of whose terms are distinct, has a cluster point. If every open subspace of X0X_0 is Lindelöf [cf. Exercise 16 c)], show that the same is true of XX and hence in particular that XX satisfies (DIII)(D_{III}) [Exercise 16 a)]. This is the case when X0=[0,1]X_0 = [0, 1]. Show however that in this case there are countable closed subsets of XX which are not countable intersections of open sets of XX (cf. Chapter IX, §5§ 5, no. 3). \*

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.