MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

2 added 17 characters in body

A colleague in algebra asked me this, and I couldn't answer it. On the Wikipedia page for "epimorphism" it is claimed that in the category of Hausdorff spaces and continuous maps, a function is epi if and only if it has dense range. The "if" case is easy, but I couldn't justify the "only if" case.

This boils down to: let Y be a Hausdorff space, and let X in Y be a closed subset not equal to Y, and not empty. Can you find a Hausdorff space Z and functions f,g:Y->Z such that f and g agree on X, but are not equal. I think, by using a quotient argument, you can assume that X is just a point.

1

# Functions separting points in Hausdorff spaces

A colleague in algebra asked me this, and I couldn't answer it. On the Wikipedia page for "epimorphism" it is claimed that in the category of Hausdorff spaces and continuous maps, a function is epi if and only if it has dense range. The "if" case is easy, but I couldn't justify the "only if" case.

This boils down to: let Y be a Hausdorff space, and let X in Y be a closed subset not equal to Y, and not empty. Can you find a Hausdorff space Z and functions f,g:Y->Z such that f and g agree on X, but are not equal. I think, by using a quotient argument, you can assume that X is just a point.