Fonctions : généralités
Une fonction est une règle qui associe à chaque valeur autorisée de la variable une unique valeur appelée image.
Avant d'étudier les limites, la continuité ou la dérivée d'une fonction, il faut savoir déterminer son domaine, calculer des images, rechercher des antécédents et lire sa représentation graphique.
“Une fonction n'est pas seulement une formule : elle est définie par un domaine, une règle de correspondance et un ensemble de valeurs obtenues.
Notion de fonction
Soient \(D\) et \(E\) deux ensembles.
Une fonction \(f\) définie sur \(D\) et à valeurs dans \(E\) associe à chaque élément \(x\in D\) un unique élément de \(E\), noté \(f(x)\).
On écrit :
et :
L'ensemble \(D\) est appelé ensemble de définition de la fonction.
La valeur \(f(x)\) est appelée image de \(x\) par \(f\).
Lorsqu'un réel \(y\) vérifie :
on dit que \(x\) est un antécédent de \(y\) par \(f\).
Une valeur de \(x\) possède au plus une image par une fonction.
En revanche, une même valeur peut posséder plusieurs antécédents.
Ensemble de définition
L'ensemble de définition contient toutes les valeurs de \(x\) pour lesquelles l'expression \(f(x)\) a un sens.
Pour déterminer l'ensemble de définition d'une fonction :
- repérer les dénominateurs et imposer qu'ils soient non nuls ;
- repérer les racines carrées et imposer que leurs contenus soient positifs ou nuls ;
- repérer les logarithmes et imposer que leurs arguments soient strictement positifs ;
- intersecter toutes les conditions obtenues.
Déterminer l'ensemble de définition de :
La racine carrée impose :
donc :
Le dénominateur impose :
donc :
Finalement :
Images et antécédents
Considérons la fonction :
L'image de \(2\) est :
Pour rechercher les antécédents de \(3\), on résout :
Ainsi :
donc :
Le nombre \(3\) possède donc deux antécédents par \(f\).
Représentation graphique
La représentation graphique d'une fonction \(f\) est l'ensemble des points du plan de coordonnées :
pour toutes les valeurs \(x\) appartenant à son domaine.
Elle est généralement notée :
Pour lire l'image d'un réel \(a\) :
- partir de \(a\) sur l'axe des abscisses ;
- tracer mentalement une verticale jusqu'à la courbe ;
- lire l'ordonnée du point obtenu.
Cette ordonnée est \(f(a)\).
Pour rechercher les antécédents d'un réel \(b\) :
- partir de \(b\) sur l'axe des ordonnées ;
- tracer mentalement la droite horizontale d'équation \(y=b\) ;
- relever les abscisses des points d'intersection avec la courbe.
Égalité de deux fonctions
Deux fonctions \(f\) et \(g\) sont égales lorsqu'elles possèdent :
- le même ensemble de définition ;
- la même image pour chaque valeur de cet ensemble.
On écrit alors :
Deux expressions peuvent être égales sur une partie de leur domaine sans définir la même fonction.
Par exemple :
pour \(x\neq 1\), mais la première expression n'est pas définie en \(1\), contrairement à la seconde.
Opérations sur les fonctions
Soient \(f\) et \(g\) deux fonctions.
On peut définir, lorsque les expressions ont un sens :
et :
à condition que :
Composition de fonctions
Soient \(f\) et \(g\) deux fonctions.
La fonction composée de \(f\) suivie de \(g\) est notée :
Elle est définie par :
Soient :
et :
Alors :
En revanche :
En général :
L'ordre de composition est donc important.
Parité d'une fonction
Une fonction \(f\) est paire lorsque son domaine est symétrique par rapport à \(0\) et que :
pour tout \(x\) de son domaine.
Sa courbe est alors symétrique par rapport à l'axe des ordonnées.
Une fonction \(f\) est impaire lorsque son domaine est symétrique par rapport à \(0\) et que :
pour tout \(x\) de son domaine.
Sa courbe est alors symétrique par rapport à l'origine du repère.
Sens de variation
Une fonction \(f\) est croissante sur un intervalle \(I\) lorsque, pour tous \(x_1,x_2\in I\) :
Une fonction \(f\) est décroissante sur un intervalle \(I\) lorsque, pour tous \(x_1,x_2\in I\) :
L'étude du sens de variation sera approfondie dans le chapitre sur la dérivation.
Exercices d'entraînement
Déterminer un ensemble de définition
Déterminer l'ensemble de définition de :
Calculer des images et des antécédents
Soit :
- Calculer \(f(0)\), \(f(1)\) et \(f(3)\).
- Déterminer les antécédents de \(0\).
- Déterminer les antécédents de \(3\).
Composer deux fonctions
Soient :
et :
- Calculer \((g\circ f)(x)\).
- Calculer \((f\circ g)(x)\).
- Comparer les deux fonctions obtenues.
Pour étudier une fonction, il faut toujours commencer par :
- déterminer son ensemble de définition ;
- identifier la nature de son expression ;
- calculer quelques images ;
- rechercher, si nécessaire, des antécédents ;
- observer sa représentation graphique ;
- étudier ses propriétés particulières : parité, variations et composition.
À l'Université, une fonction sera considérée comme un triplet formé d'un ensemble de départ, d'un ensemble d'arrivée et d'une relation associant à chaque élément de départ un unique élément d'arrivée.
La distinction entre fonction injective, surjective et bijective deviendra centrale, notamment pour définir les fonctions réciproques.