Funcție injectivă

În această diagramă, componentele funcției pot fi listate astfel : 1D, 2B, 3A, C

O funcție $f:A\rightarrow B$ se numește injectivă dacă oricare ar fi $x,y\in A$ două elemente $x\neq y$ diferite din domeniul de definiție atunci imaginile acestor elemente sunt și ele diferite $f(x)\neq f(y)$.

O metodă de a stabili dacă o funcție este injectivă este testul liniei orizontale.

Definiție combinatorică

O funcție f : A→B se numește funcție injectivă (sau, simplu, injecție) dacă orice element din B este imaginea prin f a cel mult unui element din A.

În teoria speciilor, această definiție se scrie:

Inj ( X, Y ) = Ens ( X.Y + Y )

Pentru a afla direct din definiție numărul de funcții injective se trece la funcția generatoare exponențială:

inj ( x, y ) = exp ( x.y + y ) ceea ce conduce la Șirul A008279 la Enciclopedia electronică a șirurilor de numere întregi (OEIS)

Bibliografie

• François Bergeron, Gilbert Labelle, Pierre Leroux, Théorie des espèces et combinatoire des structures arborescentes, LaCIM, Montréal (1994). English version: Combinatorial Species and Tree-like Structures Arhivat în 2 octombrie 2006, la Wayback Machine., Cambridge University Press (1998).

Vezi și

• Definiție combinatorică
• Funcție surjectivă