Bourbaki

Exercise 28, § 9

General Topology, I, p. 110

Bourbaki marks this one as harder than the rest.

Now prove that in a compact space X, every infinite isodyne open subspace U (I, p. 92, Exercise 11 d)) is solvable. (Using Proposition 1 of I, p. 60, now prove that there exists a basis B\mathfrak{B} of the topology of U such that Card(B)=Card(U)\mathrm{Card}(\mathfrak{B}) = \mathrm{Card}(U); use subsequently Exercise 11 c) of I, p. 92). Deduce that every locally compact space without isolated point is solvable (use Exercise 11 d) of I, p. 92); consequently, such a space is not submaximal.

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.