MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am trying to produce closed quotient maps, as they allow a good way of creating saturated open sets (as in this question).

A map $f:X\rightarrow Y$is called proper, iff preimages of compact sets are compact. It is called quotient map, iff a subset $V\subset Y$ is open, if and only if its preimage $f^{-1}(V)$ is open. And it is called closed, iff it maps closed sets to closed sets.

So the question is, whether a proper quotient map is already closed.

Note that, I am particular interested in the world of non-Hausdorff spaces.

share|cite|improve this question
By your definition, a quotient map does not have to be onto. Is this deliberate? (If so, the answer to your question is “no”.) – Harald Hanche-Olsen Mar 19 '10 at 13:19
Never mind that. See my answer below. – Harald Hanche-Olsen Mar 19 '10 at 13:29
up vote 3 down vote accepted

No. Let X={1,2,3} and Y={1,2}. Let f map 1 to 1, 2 and 3 to 2. Let the topology on X be {∅,{2},{1,2},{2,3},{1,2,3}} and that on Y be {∅,{2},{1,2}}. f maps the closed set {3} onto the non-closed set {2}.

share|cite|improve this answer

Answer removed, was same as Harald's

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.