Malbildo

En matematiko, la malbildo 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.

La malbildo de la elemento $0\in B$ aŭ de la unuelementa subaro $\{0\}\subseteq B$ estas la 3-elementa aro $\{2,3,5\}\subseteq A$. La malbildo de la elemento $1\in B$ aŭ de la unuelementa subaro $\{1\}\subseteq B$ estas la unuelementa aro $\{1\}\subseteq A$. La malbildo de la elemento $2\in B$ aŭ de la unuelementa subaro $\{2\}\subseteq B$ estas malplena aro. La elementoj $4,6$ de la fonta aro $A$ entute ne apartenas al la malbildo de la cela aro $B$, t.e al la argumentaro de tiu ĉi funkcio f.

Difino

Konsideru bildigon

$f\colon A\to B$,

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

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

Se $b\in B$ estas elemento de la cela aro, la malbildo de $b$ per $f$ estas la malbildo de la unuopo $\{b\}\subseteq B$:

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

Ecoj

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.

Ekzemplo

Por la funkcio

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

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

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

Vidu ankaŭ

• Bildo
• Fonta aro

Eksteraj ligiloj

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