Bourbaki

Exercise 22, § 10

General Topology, I, p. 114

(a) Let X be an accessible space, f:X→Yf : X \to Y a continuous closed mapping, such that for every y∈f(X)y \in f(X), the boundary of f−1(y)f^{-1}(y) in X is quasi-compact. For every y∈f(X)y \in f(X), let L(y)L(y) be the interior of f−1(y)f^{-1}(y) in X if the boundary of f−1(y)f^{-1}(y) is not empty, and the complement in f−1(y)f^{-1}(y) of a point of this set if the boundary of f−1(y)f^{-1}(y) is empty. Now prove that if F is the complement of the union of the L(y)L(y), the restriction of ff to F is a proper mapping of F into Y.

(b) Let XiX_i (i=1,2i = 1, 2) be two accessible spaces, fi:Xi→Yif_i : X_i \to Y_i two continuous, closed and surjective mappings (i=1,2i = 1, 2). Suppose in addition that for every yi∈Yiy_i \in Y_i, the boundary of fi−1(yi)f_i^{-1}(y_i) in XiX_i is quasi-compact (i=1,2i = 1, 2). Now prove that if

f=f1×f2:X1×X2→Y1×Y2, f = f_1 \times f_2 : X_1 \times X_2 \to Y_1 \times Y_2,
the bijection (X1×X2)/R→Y1×Y2(X_1 \times X_2)/R \to Y_1 \times Y_2 associated with ff (E, II, p. 44) is a homeomorphism (use (a)). Give an example where f1×f2f_1 \times f_2 is not closed.

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.