Bourbaki

Exercise 23, § 10

General Topology, I, p. 115

Let X and Y be two locally compact spaces, f a continuous mapping from X into Y. Now prove that the following conditions are equivalent:

α) Every point y∈f(X)y \in f(X) possesses in Y a compact neighbourhood V such that f−1(V)f^{-1}(V) is compact. β) Every point y∈f(X)y \in f(X) possesses in Y an open neighbourhood T such that the mapping fT:f−1(T)→Tf_T : f^{-1}(T) \to T which coincides with f in f−1(T)f^{-1}(T) is proper. γ) The subspace f(X)f(X) of Y is locally compact, and if j is the canonical injection of f(X)f(X) into Y, f factors through X→gf(X)→jYX \xrightarrow{g} f(X) \xrightarrow{j} Y, where g is proper.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6. Not checked by a person.