So I'm told that for a function $f:X\rightarrow Y$ to be surjective then
$$\forall y\in Y~,~\exists x\in X~,~f(x)=y,$$
so does this "$\exists$" imply more than one such $x$ can hit the same $y$? That is, am I right in thinking that
$$\forall y\in Y~,~\exists ! x\in X~,~f(x)=y$$
is an incorrect definition of surjectivity?
$\endgroup$ 12 Answers
$\begingroup$That's right. Surjectivity of a function $f: X \to Y$ does not require that for all $y\in Y$, there exists a unique $x \in X$ such that $f(x) = y \in Y$.
We can even have $X = \mathbb N$, $\;Y = \{1\},\;$ with $f: X\to Y$, such that $f(x) = 1\; \forall x \in X$. And indeed, $f$ is thereby surjective.
You're second definition, FYI, defines a bijective function.
$\endgroup$ $\begingroup$Yes, you are correct. If the $x$ is unique, then $f$ is not only surjective, but it is also injective. So your second definition is actually the definition of a bijective function. Since there exist functions that are surjective but not injective (see amWhy's answer for an example), the second definition is incorrect (it is "too strong" of a definition).
$\endgroup$
