Image (mathématiques)

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Pour les articles homonymes, voir image (homonymie).
image illustrant les mathématiques
Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En mathématiques, on dit que y est l'image de x par la fonction f si y = f(x).

Un élément possède donc une image par f si et seulement s'il appartient à l'ensemble de définition de f, et dans ce cas son image est unique.

f(X) est en jaune. f n'est pas surjective.

Par extension, on appelle image d'une partie E par une fonction f l'ensemble des éléments pour lesquels il existe un antécédent dans E.

Cette terminologie n'est pas réservée aux seules fonctions d'une variable réelle mais à toute transformation ; ainsi on parle de l'image de la figure par symétrie.

L'image ne doit pas être confondue avec l'ensemble d'arrivée (ou codomaine) de f. Pour une fonction donnée f : X → Y, l'ensemble de définition est X et l'ensemble d'arrivée est Y. L'image f(X) de X par f, aussi appelée l'image de f, est en général seulement un sous-ensemble de Y. f(X) = Y si et seulement si f est une surjection.

f est surjective.