Dfinition dune fonction

I) Bien dfinir une fonction.

Pour dfinir une fonction, on a besoin de trois donnes :
-

Un ensemble de dpart, aussi appel domaine de dfinition.

Un ensemble darrive
Un procd qui, tout lment de lensemble de dpart, associe un et
un seul lment de lensemble darrive.

Dans la rdaction mathmatique, il est dusage de dsigner un tel objet

mathmatique par une lettre. Souvent, la lettre f qui est utilise.

Exemple A

Dans cet exemple, lensemble de dpart est 1; 2; 3 et lensemble darrive est 1; 2; 3; 4 .

Au nombre 1, associe le nombre 4, au nombre 2, associe le nombre 2, au nombre 3,
associe le nombre 2. A chaque nombre de lensemble de dpart, associe une

et une seule valeur de lensemble darrive. La fonction

dfinie.

est donc bien

N.B. : Le fait que associe le nombre 2 aux nombres 2 et 3 et le fait que 1 et 3

ne soient pas atteints ne contredisent pas la dfinition de fonction.

Exemple B

Dans cet exemple, lensemble de dpart est 1; 2; 3 et lensemble darrive est 1; 2; 3; 4 .

Au nombre 1, associe le nombre 4, au nombre 2, nassocie rien, au nombre 3,
associe le nombre 2. Il existe un nombre de lensemble de dpart, auquel

nassocie aucune valeur de lensemble darrive,

nest pas une fonction.

est donc mal dfinie et

Exemple C

Dans cet exemple, lensemble de dpart est 1; 2; 3 et lensemble darrive est 1; 2; 3; 4 .

Au nombre 1, associe le nombre 1 et le nombre 4, au nombre 2, associe 2, au
nombre 3, associe le nombre 2. Il existe un nombre de lensemble de dpart,

auquel
associe deux valeurs de lensemble darrive,
et nest pas une fonction.

est donc mal dfini

Exemple D
On prend lintervalle 1; 2 comme ensemble de dpart, et 0; 2 comme ensemble
darrive. La fonction qui, un nombre de lensemble de dpart, associe son carr, est
mal dfinie, car au nombre 2 devrait tre associ 4. Cest impossible car 4 nest pas dans
lensemble darrive.
En revanche, en prenant 0; 5 comme ensemble darrive, la fonction est bien dfinie.
Exemple E
On prend lintervalle 1; 2 comme ensemble de dpart, et 1; 2 comme ensemble
darrive. La fonction qui, un nombre de lensemble de dpart, associe sa racine carre,
est mal dfinie, car au nombre -1, aucun nombre ne peut tre associ. Cest impossible
car -1 na pas de racine carre.
En revanche, en prenant 0; 2 comme ensemble de dpart, la fonction est bien dfinie.

II) Vocabulaire et notations.

1) Notation.
Pour dfinir une fonction, on utilise souvent la mise en page suivante :

:
O :
dsigne lensemble de dpart,
dsigne lensemble darrive,
est le nom de la fonction,
dsigne un lment quelconque de lensemble ,
est un lment de et dsigne la valeur numrique qui est associe .
Cette criture comporte deux flches.
Celle du haut relie les deux ensembles de dpart et darrive, cest une
flche simple.
Celle du bas relie deux nombres, elle remplace le verbe associe , elle est
munie dune barrette son extrmit gauche.
.

2) Vocabulaire.

Soit :

une fonction.

Soit , un lment de . On appelle image de

not
, qui est associ par .
Soit est un lment de
lensemble tel que
par .

par

lunique lment de

. Sil existe un lment appartenant

, alors cet lment est appel antcdent de

Remarque : Il se peut que certains lments de nadmette pas dantcdent par .

Il se peut que certains lments de aient plusieurs antcdents.
Exemple
Soit

1; 2

0; 5

Limage de 1 par est 1, on peut aussi crire 1

1. Limage de 2 par
aussi crire 2
4.. Le nombre 3 na pas dimage par .

est 4, on peut

Le nombre 1 admet 1 et -1 comme antcdents par . En effet,

En dautres termes, 1 et -1 ont tous les deux 1 pour image.

Lantcdent de 0 est 0. Lantcdent de 3 est 3. Attention,

de 3 car 3 nest pas un lment de lensemble de dpart.

1.

3 nest pas un antcdent

Le nombre 5 na pas dantcdent par .

On ne cherche pas lantcdent ou les antcdents de 6 par f car 6 nest pas un lment
de lensemble darrive de .

III) Diffrentes faons de dfinir une fonction.

Pour dfinir une fonction, on utilisera essentiellement :
-

Une formule. Par exemple, on pourra dfinir une fonction en disant : Soit

Une reprsentation graphique, une courbe dessine dans un plan

muni dun repre. Par exemple :

la
fonction dfinie sur
, valeurs dans ; par
. Cest la fonction de
lexemple E. En pratique, on nglige souvent de donner lensemble darrive.

Cette reprsentation graphique donne lindice des prix des crales (courbe bleue)
comme fonction du temps.
Lensemble de dpart est lintervalle de temps du 15 janvier 2006 au 15 fvrier 2009.
Lensemble darrive est lintervalle 60; 240 .
Pour connatre lindice des prix des crales au 1er janvier 2008, par exemple, cest-dire limage de 1er janvier 2008 par cette fonction, il suffit de reprer cette date sur laxe
des dates, dy tracer la parallle laxe o sont reprs les indices jusqu rencontrer la
courbe bleue (droite noire). A cette intersection, on dfinit un point partir duquel on
trace la parallle laxe des dates (droite verte).
A lintersection de cette parallle et de laxe des indices, on peut lire lindice du premier
janvier 2008. Je lis lindice 203 environ.
Pour connatre les dates auxquelles lindice valait 150, cest--dire trouver les
antcdents par cette fonction de lindice 150, on repre sur laxe des indices le point
correspondant lindice 150. On trace la parallle passant par ce point laxe des dates
(droite fuschia). A lintersection de cette parallle et de la courbe bleue, on trouve deux
points partir desquelles on abaisse deux parallles laxe des indices (droites rouges).
A lintersection de ces deux parallles avec laxe des dates, on lit les dates auxquelles
lindice valait 150. Je lis 2 juillet 2007 et le 18 aot 2008 environ.