Ensemble d'arrivée

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.

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

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

Nous aurions pu définir la fonction g ainsi

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