Surjection iff Right Inverse/Non-Uniqueness

From ProofWiki
Jump to navigation Jump to search


Let $S$ and $T$ be sets such that $S \ne \O$.

Let $f: S \to T$ be a surjection.

A right inverse of $f$ is in general not unique.

Uniqueness occurs if and only if $f$ is a bijection.


If $f$ is not an injection then:

$\exists y \in T: \exists x_1, x_2 \in S: \map f {x_1} = y = \map f {x_2}$

Hence we have more than one choice in $\map {f^{-1} } {\set y}$ for how to map $\map g y$.

That is, $\map g y$ is not unique.

This does not happen if and only if $f$ is an injection.

Hence the result.



Arbitrary Example

Let $S = \set {0, 1}$.

Let $T = \set a$.

Let $f: S \to T$ be defined as:

$\forall x \in S: \map f x = a$

Then $f$ has $2$ distinct right inverses.