Enĵeto

El Vikipedio

Saltu al: navigado, serĉo
Matematikaj funkcioj
Fonto-aro, Celo-aro, Bildo, Kontraŭcelo-aro
Fundamentaj funkcioj
algebraj funkcioj:
konstantalineara kvadratapolinomaracionalaTransformo de Möbius
ceteraj funkcioj:
trigonometriajinversa trigonometriahiperbolaekspotencalogaritmapotenca
Specialaj funkcioj
eraraβΓζηW de Labmertde 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.

[redakti] 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 x1, x2 el X kaj y el Y validas: se f(x1) = y kaj f(x2) = y, tiam x1 = x2.
\forall_{x_1,x_2\in X}\; f(x_1) = f(x_2) \implies x_1 = x_2.

[redakti] Vidu ankaŭ