Si Aet Bsont deux ensembles, on note A×Bl’ensemble des couples (a, b)formés d’un élément
ade Aet d’un élément bde B. On dit que A×Best le produit cartésien des ensembles Aet B.
Par exemple si A={1,2}et B={?, •} alors A×B={(1, ?),(1,•),(2, ?),(2,•)}.
1.1.2 Approfondissement : Applications
Soient Aet Bdeux ensembles. Une application fde Adans Bassocie à tout élément de Aun
et un seul élément de B. Par exemple, si Aest l’ensemble des vaches de Bernard et Bl’ensemble
{blanche,noire,blonde,pie}, on peut définir l’application fde Adans Bqui à chaque vache associe
sa couleur. On dit que l’application fva de l’ensemble des vaches dans l’ensemble des couleurs.
Sachant que Blanchette est blanche, que Noiraude et Câline sont noires, et que Joyeuse est blonde,
on écrit f(Blanchette) = blanche, f(Noiraude) = noire, f(Câline) = noire, f(Joyeuse) = blonde.
On écrit souvent f:A → B pour signifier que fest une application de l’ensemble Adans
l’ensemble B.
L’écriture
f:A//B
Blanchette //blanche
Noiraude //noire
Câline //noire
Joyeuse //blonde
résume ces informations.
On dit que blanche est l’image de Blanchette. On dit que noire est l’image de Câline.
On dit que Noiraude et Câline sont les antécédents de noire.
Notons que tout élément de Aa une et une seule image par f.
En revanche, un élément de Bpeut avoir un antécédent, ou plusieurs antécédents, ou même aucun
antécédent par f. Ici, noire a deux antécédents, blanche en a un seul (c’est Blanchette), et pie n’a
aucun antécédent car Bernard n’a pas de vache pie.
Il faut bien distinguer la flêche simple →et la flêche talonnée 7→.
L’écriture f:A → B signifie que l’application fva de Adans B.
L’écriture f:Joyeuse 7→ blonde signifie que l’image de Joyeuse par fest blonde. Ceci peut
s’écrire aussi bien f(Joyeuse) = blonde.
Pour tout ensemble A, il existe une application très simple de Adans A: c’est l’application qui
à tout élément ade Aassocie l’élément alui-même. On l’appelle l’identité de A. On la note parfois
IdA.
On dit qu’une application f:A → B est injective si deux éléments distincts de Aont toujours
deux images distinctes. Autrement dit, un élément de Ba au plus un antécédent. Dans ce cas, on dit
aussi que fest une injection.
On dit qu’une application f:A→Best surjective si tout élément de Ba au moins un antécédent.
Dans ce cas, on dit aussi que fest une surjection.
4