Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question
1  
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
add comment

2 Answers 2

up vote 2 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|improve this answer
add comment

Answer removed, was same as Harald's

share|improve this answer
add comment

Your Answer

 
discard

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.