1) Définition :
Soit $A$ une partie de ${\Bbb R}$. Une fonction de $A$ dans ${\Bbb R}$ associe à chaque réel de l'ensemble de départ $A$ un réel.
$A$ est l'ensemble de départ; ${\Bbb R}$ est l'ensemble d'arrivée.
Une fonction se note :
\[\begin{array}{ccc}
f: A & \mapsto & {\Bbb R}\\
x & \rightarrow & f(x)
\end{array}\]
$f(x)$ s'appelle l'image de $x$ ; $x$ s'appelle UN antécédent de $f(x)$.
Exemple :
Soit l'application :
\[\begin{array}{ccc}
f: {\Bbb R} & \rightarrow & {\Bbb R}\\
x & \mapsto & x^2-3x+2
\end{array}.\]
$0$ est une image car $f(1)=0$.
$1$ est un antécédent de $0$ mais ce n'est pas seul. En fait les antécédents de $E$ sont les solutions de l'équation du second degré $x^2-3x+2=0$ soit $1$ et $2$.
Définition :
L'ensemble de définition d'une fonction $f$ est l'ensemble des réels $x$ tels que $f(x)$ ait un sens.
Par exemple, la fonction $f:x \mapsto x^2-3x+2$ est définie sur ${\Bbb R}$ tout entier : on écrit $D_f={\Bbb R}$ mais on peut l'étudier que sur une partie de son ensemble de définition, par exemple ${\Bbb R}^+$.
2) Fonctions de référence :
- Les fonctions constantes : $x \mapsto c$
- Les fonctions affines : $x \mapsto ax+b$
- Les trinômes du second degré : $x \mapsto ax^2+bx+c$
- Plus généralement, les fonctions polynomiales : $x \mapsto a_0+a_1x+a_2x^2+ \ldots + a_nx^n$.
Les fonctions polynomiales sont définies sur ${\Bbb R}$. - La fonction exponentielle : $x \mapsto e^x$ ; elle est définie sur ${\Bbb R}$.
- La fonction logarithme : $x \mapsto \ln(x)$ ; elle est définie sur $]0,+\infty[$.
- La fonction racine carrée : $x \mapsto \sqrt{x}$ ; elle est définie sur ${\Bbb R}^+$. (Noter que $\sqrt{0}$ existe et vaut d'ailleurs $0$.)
- Les fonctions trigonométriques : $x \mapsto \cos(x)$ et $x \mapsto \sin(x)$ sont définies sur ${\Bbb R}$.
Attention :
La fonction $\displaystyle{x \mapsto \tan(x) = \frac{\sin(x)}{\cos(x)}}$ n'est pas définie sur ${\Bbb R}$ mais sur $\displaystyle{{\Bbb R} \backslash \{\frac{\pi}{2}+k \pi, k \in {\Bbb Z}\}}$.