Enĵeto

Enĵeto (aŭ disĵeto aŭ enjekcio) estas matematika funkcio, se ĝi atingas ĉiun valoron maksimume unufoje. Tio signifas, ke ĉiu elemento de sia bildaro (valoraro) estas bildo de maksimume unu argumento.

Formala difino

Estu $X$ kaj $Y$ aroj, kaj $f : X \to Y$ bildigo de $X$ al $Y$.

$f$ nomiĝas enĵeto, se por ĉiu $y$ el $Y$ ekzistas maksimume unu $x$ el $X$ kun $f(x) = y$.

$\forall_{x_1,x_2\in X}\; x_1 \ne x_2 \implies f(x_1) \ne f(x_2)$.

Ekvivalanta difino:

$f$ nomiĝas enĵeto, se por ĉiuj $x_1$, $x_2$ el $X$ kaj $y$ el $Y$ validas: se $f(x_1) = y$ kaj $f(x_2) = y$, tiam $x_1=x_2$.

$\forall_{x_1,x_2\in X}\; f(x_1) = f(x_2) \implies x_1 = x_2$.

• 

  Enjekcia funkcio.

• 

  Alia enjekcia funkcio.

• 

  Ne-enjekcia funkcio.

Vidu ankaŭ

• Surĵeto
• Ensurĵeto
• Vikipedio:Projekto_matematiko/Disĵeta_funkcio
• [1]