Bildaro: Malsamoj inter versioj

[kontrolita revizio][kontrolita revizio]
Enhavo forigita Enhavo aldonita
e Riparis ligojn
Etikedoj: Poŝtelefona redakto Redakto de poŝaparata retejo Altnivela poŝaparata redaktado
e →‎Difino: Lingvaj plibonigoj
Etikedoj: Poŝtelefona redakto Redakto de poŝaparata retejo Altnivela poŝaparata redaktado
Linio 4:
 
== Difino ==
Supozu [[bildigo]]n <math>f\colon X\to Y</math>, kies [[argumentarofonta aro]] estas la aro <math>X</math> kaj kies [[cela aro]] estas la aro <math>Y</math>.
 
La '''bildo''' de la argumento (elemento de la [[argumentaro]]) <math>x \in X</math> per la bildigo <math>f \colon X \to Y</math> estas la elemento <math>f(x) \in Y</math> de la cela aro.
 
La '''bildo''' de subaro <math>A \subseteq X</math> de la argumentarofonta aro <math>X</math> per la bildigo <math>f \colon X \to Y</math> estas la [[aro]] de ĉiuj bildoj de elementoj de ĉi tiu subaro:
:<math>f[A] = \{y \in Y\colon \exists_{a \in A}\ f(a)=y\}</math>.
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''' (aŭ simple '''bildo''') de la bildigo <math>f\colon X\to Y</math> estas la aro de ĉiuj bildoj, aŭ alivorte la bildo de la tuta [[argumentarofonta aro]] <math>X</math>:
:<math>f[X]=\{y\in Y\colon \exists_{x\in X} f(x) = y\}</math>.
La bildo de bildigo estas ĉiam subaro de la [[cela aro]]. Bildigo, kies cela aro egalas la bildaron, nomiĝas [[surĵeta]].