Surjektivitet
Surjektivitet, eller onto-funktion, är en egenskap hos en funktion f: X → Y där varje element i målmängden Y har en förbild i domänen X. Formellt betyder detta att för varje y i Y finns det minst ett x i X such that f(x) = y. Bilden av f är därmed hela Y, och f är surjektiv om och endast om im(f) = Y.
Exempel: f: R → R, f(x) = x^3 är surjektiv eftersom varje y i R har ett x =
I ändliga mängder gäller särskilt att en funktion f: X → Y är surjektiv om varje element i
Inom linjär algebra används begreppet surjektivitet för linjära avbildningar T: V → W. Här betyder surjektivitet att
Notera att teoretiskt, under antagandet axiomet om val, varje surjektiv funktion har en högerinvers, alltså en