Le texto fonte de Imagine (mathematica)

[[File:Codomain2.SVG|right|thumb|Sia <math>f</math> un function de <math>X</math> a <math>Y</math>. Su dominio <math>X</math> es le [[insimul]] rosate, su codominio <math>Y</math> es blau, e su imagine <math>f(X)</math> es jalne.]]
[[File:Funcoes x2.svg|thumb|right|<math>f(\{0;-1;-2;-3\}) = \{0;1;4;9\}</math>]]
In [[mathematica]], le '''imagine''' de un [[subinsimul]] <math>S</math> del [[Dominio (mathematica)|dominio]] <math>X</math> sub un [[Function (mathematica)|function]] <math>f</math> es le insimul de omne elementos del [[codominio]] <math>Y</math> a sur le quales le function effectivemente [[Mappamento|mappa]] le elementos de <math>S</math>, dunque <math>f(S) := \{ f(x) \mid x \in S\}</math>.

Un altere maniero de notar le imagine es <math>\mathrm{im}(f)</math>.

== Proprietates ==
Sia <math>f : X \to Y</math> un function e <math>S</math> e <math>T</math> subinsimules de <math>X</math>:
* <math>f(\emptyset) = \emptyset</math>
* <math>S \subseteq T \Rightarrow f(S) \subseteq f(T)</math>
* <math>f</math> es un [[surjection]], si e solmente si <math>\mathrm{im}(f) = Y</math>.
* <math>f(S \cup T) = f(S) \cup f(T)</math>
* <math>f(S \cap T) \subseteq f(T) \cap f(N)</math> Si <math>f</math> es [[Injection (mathematica)|injective]], tunc <math>f(S \cap T) = f(T) \cap f(N)</math>.

== Vide etiam ==
*[[Preimagine (mathematica)|Preimagine]]

[[Categoria:Mathematica]]