Skip to main content
added 17 characters in body
Source Link
Matthew Daws
  • 18.7k
  • 7
  • 45
  • 76

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. I think, by using a quotient argument, you can assume that X is just a point.

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.

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.

Source Link
Matthew Daws
  • 18.7k
  • 7
  • 45
  • 76

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.