Malbildo

En matematiko, la malbildo^[1] aŭ prabildo aŭ kontraŭbildo de elemento en cela aro de funkcio estas la aro de tiuj elementoj de la fonta aro de la funkcio, kies bildo estas la koncerna elemento. Pli ĝenerale, oni povas analoge difini la malbildon de subaro de la cela aro. Tiusence, la argumentaro de funkcio estas la malbildo de ĝia cela aro.

Konsideru bildigon

${\displaystyle f\colon A\to B}$,

kies fonta aro estas ${\displaystyle A}$ kaj kies cela aro estas ${\displaystyle B}$. Se ${\displaystyle M\subseteq B}$ estas subaro de la cela aro ${\displaystyle B}$, la malbildo de ${\displaystyle M}$ per ${\displaystyle f}$ estas la subaro ${\displaystyle f^{-1}[M]}$ de la fonta aro difinita jene:

${\displaystyle f^{-1}[M]=\{\,x\in A\,|\,f(x)\in M\}}$.

Se ${\displaystyle b\in B}$ estas elemento de la cela aro, la malbildo de ${\displaystyle b}$ per ${\displaystyle f}$^{[2]:Difino 2.2.1} estas la malbildo de la unuopo ${\displaystyle \{b\}\subseteq B}$:

${\displaystyle f^{-1}(b):=f^{-1}[\{b\}]=\{x\in A\mid f(x)=b\}}$.

La malbildo de la cela aro de funkcio estas ties argumentaro; ankaŭ la malbildo de la bildaro de la funkcio estas ties argumentaro.

La malbildo de unuopo ne nepre estas unuopo — ĝi povas enhavi neniun aŭ plurajn elementojn.

La malbildo de la malplena aro estas la komplemento de la argumentaro de la funkcio en ties cela aro.

Por la funkcio

${\displaystyle f\colon \mathbb {R} \to \mathbb {R} }$

${\displaystyle f\colon x\mapsto x^{-2}}$,

la malbildo de 4 estas {−½, ½}, kaj la malbildo de la malplena aro estas {0}.

• Eric W. Weisstein, Pre-image en MathWorld.
• Eric W. Weisstein, Preimage en MathWorld.