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 bildigo. La ruĝa elipso signifas la argumentaron; la blua elipso, la celaron, kaj la flava elipso, la bildaron.

Je matematiko, la bildaro[1] de bildigo (aŭ funkcio) estas la aro de la ĉiuj bildoj de ĉiuj elementoj en la argumentaro de la bildigo — alivorte, la aro de ĉiuj bildoj, kiujn la funkcio difinas. La bildaro estas ĉiam subaro de la celaro.

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]