Preimagine (mathematica)

In mathematica, le preimagine^[1] de un insimul ${\displaystyle A}$ sub un function ${\displaystyle f}$ es le insimul del elementos que es mappate a un elemento de ${\displaystyle A}$ per medio de ${\displaystyle f}$. Alora le preimagine de un subinsimul del codominio es un subinsimul del dominio.

Le preimagine del subinsimul ${\displaystyle \{0\}\subseteq B}$ es le insimul ${\displaystyle \{2;3;5\}\subseteq A}$.

Sia ${\displaystyle f:A\to B}$ un function, e ${\displaystyle C\subseteq B}$. Alora le insimul ${\displaystyle f^{-1}(C):={\big \{}x\in A\mid f(x)\in C{\big \}}}$ es le preimagine de ${\displaystyle C}$ sub ${\displaystyle f}$.

Vide etiam

• Imagine (mathematica)
• Function inverse

Referentias

1. Derivation (in ordine alphabetic): (ca) || (de) Urbild (Mathematik) || (en) Preimage || (es) Imagen inversa || (fr) Image réciproque || (it) Controimmagine || (pt) Imagem recíproca || (ro) || (ru) Полный прообраз