Tre proprietà classificano le funzioni in base a come “coprono” il codominio.

Definizione — Iniettiva, suriettiva, biunivoca

Una funzione f:ABf:A\to B si dice:

  • iniettiva se x1x2    f(x1)f(x2)x_1\ne x_2 \implies f(x_1) \ne f(x_2), cioè se a elementi distinti del dominio corrispondono immagini distinte;
  • suriettiva se Im(f)=B\mathrm{Im}(f) = B, cioè se ogni elemento del codominio è immagine di almeno un elemento del dominio;
  • biunivoca (o bigettiva) se è sia iniettiva sia suriettiva.

Collegamenti

Argomenti: Funzioni proprieta
Concetti: Funzione biiettiva · Funzione iniettiva · Funzione suriettiva · Immagine