Bourbaki

Exercise 6, § 8

General Topology, I, 135

a) Let XX be a Hausdorff space and DD a dense subset of XX. Show that card⁡(X)≤22card⁡(D)\operatorname{card}(X) \leq 2^{2^{\operatorname{card}(D)}} (observe that every point of XX is the limit of a filter base on DD). Show that this upper bound for card⁡(X)\operatorname{card}(X) cannot be improved (§4§ 4, Exercise 5 b)) and deduce that on an infinite set AA the set of ultrafilters and the set of filters are each equipotent to P(P(A))\mathfrak{P}(\mathfrak{P}(A)).

b) Let KK be the discrete space consisting of the two numbers 00 and 11. Let AA be an infinite set. Deduce from a) that if card⁡(A)≥22card⁡(N)\operatorname{card}(A) \geq 2^{2^{\operatorname{card}(N)}}, then the product space KAK^A satisfies the condition (DIV)(D_{IV}) of Exercise 7 of §1§ 1, but satisfies neither (DII)(D_{II}) nor (DIII)(D_{III}). (§4§ 4, Exercise 4).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.