Funkcja wzajemnie jednoznaczna
Z Wikipedii
Funkcja wzajemnie jednoznaczna (bijekcja) – funkcja będąca jednocześnie funkcją różnowartościową i "na".
Innymi słowy bijekcja to funkcja wiążąca wszystkie elementy obu zbiorów w stosunku "jeden do jednego", czyli każdemu elementowi dziedziny odpowiada dokładnie jeden element obrazu, a każdemu elementowi obrazu odpowiada dokładnie jeden element przeciwobrazu.
Funkcja jest bijekcją wtedy i tylko wtedy, gdy istnieje funkcja do niej odwrotna – wtedy również i ona jest bijekcją.
[edytuj] Definicja formalna
W teorii mnogości bijekcja definiowana jest jako podzbiór iloczynu kartezjańskiego zbiorów X i Y, który spełnia następujące warunki:
- .
- .
- .
- .
Czyli każdy element dziedziny musi być w relacji z dokładnie jednym elementem przeciwdziedziny i odwrotnie. Przeciwdziedzina jest równa wtedy całemu obrazowi funkcji.