Enĵeto

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo
Matematikaj funkcioj
Fonto-aro, Celo-aro, Bildo, Kontraŭcelo-aro
Fundamentaj funkcioj
algebraj funkcioj:
konstantalinearakvadratapolinomaracionalaTransformo de Möbius
ceteraj funkcioj:
trigonometriajinversa trigonometriahiperbolaeksponentalogaritmapotenca
Specialaj funkcioj
eraraβΓζηW de Lambertde Bessel
Nombroteoriaj funkcioj:
τσde Möbiusφπλ
Ecoj:
pareco kaj malparecomonotonecobaritecoperiodecoenĵetecosurĵetecoensurĵeteco
kontinuecoderivaĵecoinegralebleco


Enĵeto (aŭ disĵetoenjekcio) 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[redakti | redakti fonton]

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.

Vidu ankaŭ[redakti | redakti fonton]