Terme

Antécédent d’un élément par une application

Nom
antécédent
Termes plus larges
Application entre ensembles
Condition de définition de
Bijection d’une fonction sur son image

Définition

Définition Application entre ensembles

Soient \(E\) et \(F\) des ensembles.

On dit que \(f\) est une application de \(E\) dans \(F\) lorsque, à tout élément \(x\) de \(E\), \(f\) associe un élément et un seul \(y\) de \(F\) que l’on note \(y=f(x)\).

On dit que :

\(y\) est l’image de \(x\) par \(f\) ;

\(x\) est l’antécédent de \(y\) par \(f\) ;

\(E\) est l’ensemble de départ de \(f\) ;

\(F\) est l’ensemble d’arrivée de \(f\).

\[f:E\to F\]
\[x\mapsto f(x)\]

\(\mathcal{F}(E,F)\) désigne l’ensemble des applications de \(E\) dans \(F\).

Exemple résolu Applications entre ensembles usuels réservé aux comptes

Module : Applications entre ensembles