Bourbaki

Exercise 25, § 10

General Topology, I, p. 115

Bourbaki marks this one as harder than the rest.

Let X,YX, Y be two locally compact spaces, and let gg be a continuous mapping from XX into YY. Prove that there exist a locally compact space ZZ, a proper mapping ff from ZZ into YY and a homeomorphism jj of XX onto an open everywhere dense subset of ZZ such that g=f∘jg = f \circ j and that the restriction of ff to Z−j(X)Z - j(X) is injective. If moreover Z1,f1Z_1, f_1 and j1j_1 are a locally compact space and two mappings having the same properties as ZZ, ff and jj, there exists one and only one homeomorphism hh of ZZ onto Z1Z_1 such that j1=h∘jj_1 = h \circ j and f=f1∘hf = f_1 \circ h. (Use Ex. 24 to define ZZ and ff).

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.