Bildaro

El Vikipedio, la libera enciklopedio
Salti al navigilo Salti al serĉilo
Matematikaj funkcioj
Argumentaro, Celaro, Bildaro, Malbildo
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 malparecomonotonecobaritecoperiodecodisĵetecosurĵetecodissurĵeteco
kontinuecoderivaĵecointegralebleco
Diagramo de funkcio. La ruĝa elipso signifas la fontan aron; la blua elipso, la celan aron, kaj la flava elipso, la bildaron.

En matematiko, la bildaro[1] de funkcio estas la aro de la bildoj de ĉiuj elementoj el la argumentaro de la funkcio — alivorte, la aro de ĉiuj bildoj, kiujn la funkcio difinas. La bildaro estas ĉiam subaro de la cela aro simile al tio, ke argumentaro estas subaro de la fonta aro de la funkcio.

Difino[redakti | redakti fonton]

Supozu bildigon , kies argumentaro estas la aro kaj kies celaro estas la aro .

La bildo de la argumento (elemento de la argumentaro) per la bildigo estas la elemento de la celaro.

La bildo de subaro de la argumentaro per la bildigo estas la aro de ĉiuj bildoj de elementoj de ĉi tiu subaro:

.

Alivorte, la bildo de aro per funkcio estas la aro de ĉiuj eblaj valoroj, kiujn la funkcio povas havi por argumentoj el la elektita aro.

La bildaro de la bildigo estas la aro de ĉiuj bildoj, aŭ alivorte la bildo de la tuta argumentaro:

.

La bildo de bildigo estas ĉiam subaro de la celaro. Bildigo, kies celaro egalas la bildaron, nomiĝas surjekcio.

La simbola notacio por bildo de aro estas aŭ pli ofte . Tamen la dua formo povas misgvide sugesti, ke la subaro A estas argumento de la funkcio .

Ecoj[redakti | redakti fonton]

Kalkuladoj de la bildo de aro konserviĝas ne sub ĉiuj operacioj sur aroj. Se , kaj estas aro de aroj, tiam:

El superaj ecoj rezultas rekte subaj:

  • (egaleco por enĵeto)

Referencoj[redakti | redakti fonton]