Onto Functions — Cheat sheet

Choose “Save as PDF” in the print dialog.
On this page

Key method

For f:A→Bf:A\to B, surjectivity means: for every y∈By\in B, there exists x∈Ax\in A with f(x)=yf(x)=y. Verify both that the constructed input belongs to AA and that substitution returns yy.

Example

Take f:R→Rf:\mathbb R\to\mathbb R, f(x)=3x−2f(x)=3x-2. Given any real yy, set x=(y+2)/3x=(y+2)/3. This is real and f(x)=3(y+2)/3−2=yf(x)=3(y+2)/3-2=y. Therefore the function is onto. On domain [0,∞)[0,\infty) with the same codomain, it is not onto: its range starts at −2-2.

Avoid this mistake

Checking a few targets is evidence, not a proof for every target. Use a symbolic arbitrary yy.