Composition de fonctions - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs est disponible ici.

En mathématiques, une fonction composée, formée par la composition de deux fonctions, représente l'application de la première fonction au résultat de l'application de la seconde (à l'argument choisi).

Les deux fonctions fX\rightarrowY et gY\rightarrowZ peuvent être composées en appliquant f à l'argument x, puis en appliquant g au résultat. On obtient ainsi la fonction g o f: X\rightarrowZ définie par (g o f)(x) = g(f(x)) pour tout x de l'ensemble X.

La notation g o f se lit " g rond f ", ou " f suivie de g ". (g o f)(x) se note aussi o f(x).

Règles

La composition de fonctions n'est valable que si les domaines de définition des fonctions sont compatibles.

Soient f:\mathbb I \rightarrow \mathbb J et g:\mathbb K \rightarrow \mathbb L deux fonctions, alors g \circ f est toujours définie si et seulement si \mathbb J \subseteq \mathbb K (l'ensemble d'arrivée de la fonction f est compris dans l'ensemble de départ de la fonction g).

Exemple d'incompatibilité des domaines

Soient les deux fonctions :

f: \begin{matrix} \mathbb R^+ & \rightarrow & \mathbb R^+ \\ x & \rightarrow & \sqrt{x} \end{matrix}

et

g: \begin{matrix} \mathbb R & \rightarrow & \mathbb R \\ x & \rightarrow & -x \end{matrix}

la fonction f \circ g est définie uniquement sur le domaine \mathbb R^-.

Propriétés

  • La composition de fonctions n'est généralement pas commutative :
f \circ g \ne g \circ f
  • La composition de fonctions est associative :
f \circ ( g \circ h ) = ( f \circ g ) \circ h
  • La composition de fonctions n'est pas distributive (sur un opérateur quelconque \star) :
f \circ (g \star h) \ne (f \circ g) \star (f \circ h)
  • Continuité : si la fonction g est continue en x_0\, et la fonction f est continue en g(x_0)\, alors f \circ g est continue en x_0\,.
  • Composition de deux fonctions f et g strictement monotones :
    • si f et g ont même sens de variation, leur composée est strictement croissante;
    • si f et g ont des sens de variation différents, leur composée est strictement décroissante.

Remarque : Le sens de variation obéit à la régle des signes.

  • Dérivée d'une composition de fonctions dérivables :
(f \circ g)' = (f'\circ g) \cdot g'
    • Voir l'article Théorème de dérivation des fonctions composées.

Puissances fonctionnelles

Si YX alors f peut être composée avec elle-même; et la composée est notée f2. Ainsi

\forall x\in X, (f\circ f)(x) = f(f(x)) = f ^2(x)
\forall x\in X, (f\circ f\circ f)(x) = f(f(f(x))) = f ^3(x)

Pour tout entier naturel n, la puissance n-ième de f est définie par f\circ f^n =f^n \circ f =f^{n+1} et f^0=\operatorname{Id}_X.

Une extension de cette notation avec des exposants entiers négatifs peut être définie, à condition de supposer la fonction bijective de X sur X. f-1 désigne l'application réciproque et pour tout entier n strictement négatif fn, est la composée de f-1 par elle-même -n fois.

Ne pas confondre cette notation avec la puissance d'une fonction pour la multiplication des applications. Par exemple sin2 est la fonction sin×sin qui vérifie pour tous réels x, sin2(x) = sin(x)×sin(x). Il y a aussi une confusion possible entre l'inverse d'une fonction pour la multiplication et l'application réciproque.

Autre notation

Au milieu du XXe siècle, quelques mathématiciens trouvèrent que la notation g o f portait à confusion et décidèrent d'utiliser xf pour f(x) et xfg pour g(f(x)). Ils ne furent pas suivis et cette notation ne se rencontre que dans certains vieux livres.

Page générée en 0.026 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales | Partenaire: HD-Numérique
Version anglaise | Version allemande | Version espagnole | Version portugaise