[Math] Continuous functions with trivial topology

general-topology

Definition: Let $X, \tau$ and $Y, \tau'$ be topological spaces. Then a function $f$ from $X$ to $Y$ is said to be continuous if given any open subset $U$ of $Y$ then $f^{-1}(U)$ is an open subset of $X$.

Okay, so one of the examples states that if $X$ is any space with the trivial topology and $f$ is any function from $X$ onto a space $Y$, then $f$ is continuous if and only if $Y$ has the trivial topology. For if $Y$ has the trivial topology, then $Y$ and $\emptyset$ are the only open subsets of $Y$; hence $f^{-1}(U)$ is open in $X$ (being either $\emptyset$ for $U = \emptyset$ or $X$ for $U = Y$). for any open subset $U$ of $Y$. if $Y$ does not have the trivial topology, then there is an open subset $U$ of $Y$ which is neither $Y$ nor $\emptyset$. Then $f^{-1}(U)$ is neither $X$ nor $\emptyset$, and hence is not an open subset of $X$. Therefore $f$ could not be continuous.

So, I don't agree with this. Now, it states that $X$ is onto a space $Y$, but nowhere does it state that $f$ is one-to-one. Or, would that only be applied for multiple elements in $X$ mapping to one element in $Y$? My argument is that we could take the open set $U$ in $Y$ and map it back to $X$ just like $Y$ maps to $X$. This would mean that $f^{-1}$ is not one-to-one, but shows that $f$ would indeed be open by definition. Am I wrong? I believe I'm wrong and the implication is that it wouldn't be possible for $f^{-1}$ to not be one-to-one. Is there an implication I'm missing?

Best Answer

Your argument is wrong. Note that $f^{-1}(U)$ cannot be all of $X$, as we have some $y\in Y\setminus U$ and since $f$ is onto we have some $x\in X$ such that $f(x)=y$, so $x\notin f^{-1}(U)$.

Related Question