Celaro

Je matematiko, la celaro (aŭ celo-aro, cela aro) estas la aro, en kiu la valoroj de bildigo (aŭ funkcio) povas enesti.

Diagramo de bildigo. La ruĝa elipso signifas la argumentaron; la blua elipso, la celaron; kaj la flava elipso, la bildaron.

Difino

Pri bildigo $f\colon A\to B$, kiu sendas elementojn de la aro A al elementoj de la aro B, oni nomas la aron B la celaro de f.

Oni distingu la celaron de f disde la bildaron de f, kiu estas la aro $\lbrace f(x)|x\in A\rbrace$, do la aro de valoroj, kiujn la funkctio f efektive alprenas ĉe iu argumento el A.

Ekzemploj

Estu f funkcio sur la reeloj:

$f\colon \mathbb {R} \rightarrow \mathbb {R}$

difinita per

$f\colon \,x\mapsto x^{2}.$

La celo-aro de f estas R, sed klare f(x) neniam alprenas negativan valoron, tiel ke la bildaro de f estas la aro R₀⁺ de nenegativaj reelaj nombroj, do la intervalo $[0,\infty )$:

$0\leq f(x)<\infty .$

Oni povus difini funkcion g jene:

$g\colon \mathbb {R} \rightarrow \mathbb {R} _{0}^{+}$

$g\colon \,x\mapsto x^{2}.$

Dum f kaj g havas la saman efikon sur donita nombro, ili ne estas identaj funkcioj, ĉar ili havas malsaman celo-aron.

La celaro povas influi ĉu la funkcio estas surĵeto; en nia ekzemplo, g estas surĵeto dum f ne estas. La celaro ne influas ĉu la funkcio estas disĵeto.

Eksteraj ligiloj

• Eric W. Weisstein, Codomain en MathWorld.