Funkcja różnowartościowa

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Funkcja różnowartościowa (iniekcja[1][2], funkcja 1-1) – funkcja, której każdy element przeciwdziedziny przyjmowany jest co najwyżej raz.

Injection.svg

Definicja[edytuj | edytuj kod]

Funkcja f\colon X \to Y jest różnowartościowa wtedy i tylko wtedy, gdy dla dowolnych dwóch elementów a, b \in X spełniony jest warunek

a \ne b \Rightarrow f(a) \ne f(b);

stosuje się także równoważną postać powyższej implikacji (powstałą przez kontrapozycję):

f(a) = f(b) \Rightarrow a = b.

Przykłady[edytuj | edytuj kod]

Zobacz też[edytuj | edytuj kod]

Przypisy