Bildaro: Malsamoj inter versioj

[kontrolita revizio][kontrolita revizio]
Enhavo forigita Enhavo aldonita
Neniu resumo de redakto
Neniu resumo de redakto
Linio 1:
{{Matematikaj funkcioj}}
Je [[matematiko]], la '''bildaro'''<ref>[[Nova Plena Ilustrita Vortaro de Esperanto]]: [http://vortaro.net/#bildaro bild/ar/o]</ref> 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 ==
Linio 13:
La '''bildaro''' de la bildigo <math>f\colon X\to Y</math> estas la aro de ĉiuj bildoj, aŭ alivorte la bildo de la tuta [[argumentaro]]:
:<math>f[X]=\{y\in Y\colon \exists_{x\in X} f(x) = y\}</math>.
La bildo de funkciobildigo estas ĉiam subaro de la [[celaro]]. Bildigo, kies [[celaro]] egalas la bildaron, nomiĝas [[surjekcio]].
 
La simbola notacio por bildo de aro <math>A</math> estas <math>f[A]</math> aŭ pli ofte <math>f(A)</math>. Tamen la dua formo povas misgvide sugesti, ke la subaro A estas argumento de la funkcio <math>f</math>.