Surjektivna funkcija

Surjekcija (lat. super-, preko, na + iacio, baciti) vrsta je matematičkog preslikavanja. Konkretno, za funkciju $f\colon X\to Y$ kažemo da je surjektivna ili surjekcija ako je slika funkcije jednaka kodomeni funkcije.

To znači da za svaki član kodomene funkcije postoji barem neki član iz domene funkcije koji se preslikava u njega.

Dakle, prvi smo skup u potpunosti preslikali na drugi (s mogućim preklapanjima) time ga »prekrivši«. Otuda i naziv surjekcija.

Kao i termin injekcije, termin surjekcija u matematiku je uvela grupa francuskih matematičara Nicolas Bourbaki u djelu Éléments de mathématique (Elementi matematike).

Na slici vidimo da su svi elementi u Y »pogođeni« nekim elementom iz X.

Formalno

Uvjet se jezikom simboličke logike može zapisati sljedećim zapisom: $(\forall y\in Y)\ (\exists x\in X)f(x)=y$.

Članak Surjektivna funkcija koji govori o matematici je mrva: začetak enciklopedijskog članka. Dopunite ga prema pravilima uređivanja Wikipedije.