Bourbaki

Exercise 16, § 6

General Topology, IV, p. 58

Let E be a locally connected topological space, ff a numerical function defined in E. Suppose that: 1° for every connected subset A of E, f(A)f(A) is a connected subset of R‾\overline{\mathbf{R}} (in other words, an interval); 2° there exists in R\mathbf{R} a everywhere dense set D such that for every y∈D,f−1(y)y \in D, f^{-1}(y) is closed in E. Prove that under these conditions ff is continuous. (For every y0∈Dy_0 \in D, prove that the set of x∈Ex \in E such that f(x)>y0f(x) > y_0 is open, by considering the connected components of the complement of f−1(y0)f^{-1}(y_0)). Prove that the property does not extend to spaces E which are not locally connected (consider the characteristic function of the connected component of an open set).

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.