Pour une fonction donnée f: A → B, l'ensemble B est appelé l'ensemble d'arrivée ou codomaine de f.

L'ensemble d'arrivée ne doit pas être confondu avec l'image de f, f(A), qui est en général seulement un sous-ensemble de B.

Exemple

---

Soit la fonction f sur l'ensemble des nombres réels définie par

$\backslash begin\{matrix\}$

f & : & \mathbb R & \rightarrow & \mathbb R\\ & & x & \mapsto & x^2\\ \end{matrix}

L'ensemble d'arrivée de f est $\backslash mathbb\; R$, mais clairement f(x) ne prend jamais de valeurs négatives. L'image est en fait l'ensemble $\backslash mathbb\; R\_+$ des réels positifs, l'intervalle $\backslash left[0,\; +\backslash infty\backslash right[$.

$f\backslash left(\backslash mathbb\; R\backslash right)=\backslash left[0,\; +\backslash infty\backslash right[$

Nous aurions pu définir la fonction g ainsi

$\backslash begin\{matrix\}$

g & : & \mathbb R & \rightarrow & \mathbb R_+\\ & & x & \mapsto & x^2\\ \end{matrix}

Tandis que f et g ont le même effet quand elles sont appliquées à un nombre réel donné, les fonctions sont différentes puisqu'elles ont des ensembles d'arrivée différents.

L'ensemble d'arrivée peut avoir un effet sur la surjectivité d'une fonction; dans notre exemple, g est une surjection alors que f ne l'est pas.

---

Voir aussi: Ensemble de définition

Théorie des ensembles

Wertemenge | Codomain | Arivey-ensemblo | 공역 (수학) | Codomein | Область значень | 陪域