Funkcja różnowartościowa (iniekcja, funkcja 1-1) – funkcja $f:\; X\; \backslash rightarrow\; Y$, która dla dowolnych dwóch różnych argumentów przyjmuje różne wartości. Symbolicznie:

$\backslash forall\_\{x\_1,x\_2\backslash in\; X\}:\; x\_1\; \backslash ne\; x\_2\; \backslash implies\; f(x\_1)\; \backslash ne\; f(x\_2)$

Dla wygody często zapisuje się powyższy warunek w równoważnej postaci:

$\backslash forall\_\{x\_1,x\_2\backslash in\; X\}:\; f(x\_1)\; =\; f(x\_2)\; \backslash implies\; x\_1\; =\; x\_2$

Przykłady

• $f:\; x\; \backslash mapsto\; 1/x$, dla $x\; \backslash in\; R\; \backslash setminus\; \backslash \{\; 0\; \backslash \}$.
• Dowolna funkcja określona na zbiorze pustym.

Zobacz też

• bijekcja
• funkcja na
• funkcja w
• przegląd zagadnień z zakresu matematyki

Funkcje matematyczne | Teoria mnogości

Инекция | Injektivität | Injective function | Función inyectiva | Injection (mathématiques) | Funzione iniettiva | Injectie (wiskunde) | 単射 | Инъективность | Injektio | Injektiv