Bourbaki

Exercise 12, § 2

General Topology, I

Let f:X→Yf : X \to Y be a surjective continuous mapping. Prove that the following two properties are equivalent: α)\alpha) for every closed subset F≠XF \neq X of XX, one has f(F)≠Yf(F) \neq Y; β)\beta) for every open subset GG of XX, one has f(G)⊂Y−f(X−G)f(G) \subset Y - f(X - G). A continuous mapping with this property is called irreducible.

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.