I've been set a question in an assignment which reads:
"Check whether the following functions are continuous or open. Check whether they are a homeomorphism.
$\dots$
$b)$ the constant map $f:X \rightarrow Y$ defined by $f(x)=y_0$ for some $y_0 \in Y$."
I've been given no more context than this. In other questions like this, I was told the topologies on the sets $X$ and $Y$. As far as I know, a function is a homeomorphism if both the function and its inverse are continuous and the map is bijective. A map function being continuous means that the preimage of any open set is open, so continuity of the inverse is the condition that the image of any open set is open.
So the fact that I've not been told the topologies on these sets $X$ and $Y$ makes me think that (whether or not this function is a homeomorphism) is independent of the topologies on the two sets. But I'm not sure how to show this. Thanks for any help!
Best Answer
A constant function is always continuous since the empty set and the whole space are its only candidates for preimages, and both are open.
A constant function is not necessarily open. It is if and only if in this context $\{y_0\}$ is an open set.
Homeomorphisms are bijective. A constant function can only be bijective if its domain and codomain are both singletons. In that case the function, and also its inverse are automatically continuous, so then indeed we deal with a homeomorphism. So indeed you don't need the topologies here. As said domain and codomain are singletons and on a one-point set there is only one topology.