Bourbaki

Exercise 13, § 6

General Topology, IX, p. 121

Let XX be a topological space whose every point admits a countable fundamental system of neighbourhoods, YY a complete metric space, f:X→Yf : X \to Y a continuous open mapping, BB a countable closed subset of YY. Show that there exists a continuous section of ff over BB, i.e. a continuous mapping ss of BB into XX such that f(s(y))=yf(s(y)) = y for all y∈By \in B. (Let CC be the set of the y∈By \in B such that there exists a neighbourhood V of yy in YY and a continuous section of ff over V∩BV \cap B. Show that the closed set B−CB - C cannot admit isolated points, and conclude that B=CB = C by using the Baire theorem).

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.