Bourbaki

Exercise 26, § 11

General Topology, I

Let XX be a topological space. a) We equip the set P0(X)\mathfrak{P}_0(X) with one of the topologies TΩ,T∅\mathfrak{T}_\Omega, \mathfrak{T}_\varnothing (I, p. 91, exer. 7) or TΘ\mathfrak{T}_\Theta (I, p. 101, exer. 12). Now prove that if a subset B\mathfrak{B} of P0(X)\mathfrak{P}_0(X) is connected and if every set M∈BM \in \mathfrak{B} is connected, then the union ⋃M∈BM\bigcup_{M \in \mathfrak{B}} M is connected. b) Let S\mathfrak{S} be a subset of P0(X)\mathfrak{P}_0(X) containing the set of all finite non-empty subsets of XX. Now prove that if XX is connected, the same is true of S\mathfrak{S} (use exer. 7 b) of I, p. 91 and prop. 8 of I, p. 83, by considering the mappings (x1,x2,…,xn)↦{x1,x2,…,xn}(x_1, x_2, \ldots, x_n) \mapsto \{x_1, x_2, \ldots, x_n\}.

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.