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

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.

Diagramo de funkcio. La ruĝa elipso signifas la fontan aron; la blua elipso, la celan aron, kaj la flava elipso, la bildaron.

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