Bildaro

la aro de ĉiuj bildoj de bildigo
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.

DifinoRedakti

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  .

EcojRedakti

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)
  •  
  •  

ReferencojRedakti