Composition de fonctions

{{#ifeq:||Un article de Ziki, l'encyclopédie libre.|Une page de Ziki, l'encyclopédie libre.}}

Modèle:À sourcer

Fichier:Example for a composition of two functions.svg
Exemple de composition de deux fonctions f et g.

La composition de fonctions (ou composition d’applications) est, en mathématiques, un procédé qui consiste, à partir de deux fonctions, à en construire une nouvelle. Pour cela, on utilise les images de la première fonction comme arguments pour la seconde (à condition que cela ait un sens). On parle alors de fonction composée (ou d'application composée).

Définition formelle

Soient Modèle:Math, Modèle:Math et Modèle:Math trois ensembles quelconques. Soient deux fonctions <math>f:X\to Y</math> et <math>g:Y \to Z</math>. On définit la composée de Modèle:Math par Modèle:Math, notée <math>g \circ f</math>, par

<math>\forall x \in X,\ (g\circ f)(x)=g(f(x)).</math>

On applique ici Modèle:Math à l'argument Modèle:Math, puis on applique Modèle:Math au résultat.

On obtient ainsi une nouvelle fonction <math>g \circ f: X \to Z</math>.

La notation <math>g \circ f</math> se lit « Modèle:Math rond Modèle:Math », « Modèle:Math suivie de Modèle:Math » ou encore « Modèle:Math après Modèle:Math ». On note parfois <math>g\circ f(x)</math> pour <math>(g \circ f)(x)</math>.

Cette définition peut être visualisée par un diagramme commutatif.

Exemple d'incompatibilité des domaines

Soient les deux fonctions :

<math>\begin{matrix}f: & \R&\to& \R\\ & x & \mapsto &-x\end{matrix}\quad{\rm et}\quad\begin{matrix}g:&\R_+&\to& \R\\ & x & \mapsto &\sqrt x.\end{matrix}</math>

Ici, l'ensemble d'arrivée de Modèle:Math est <math> \R</math>. Or l'ensemble de départ de Modèle:Math est <math>\R_+</math> (il n'existe pas de nombre réel dont le carré soit strictement négatif). Stricto sensu, la fonction <math>g\circ f</math> n'a donc pas de sens ici et seule <math>g\circ f_1:\R_-\to\R</math> en a un, où Modèle:Math est la fonction suivante, obtenue par restriction-corestriction de Modèle:Math :

<math>\begin{matrix}f_1: & \R_-&\to& \R_+\\ & x & \mapsto &-x\end{matrix}</math>

Propriétés

Ici, on ne se préoccupe pas des problèmes de compatibilité des domaines des fonctions considérées.

Puissances fonctionnelles

On conserve les notations ci-dessus. Si <math>Y=X</math> alors <math>f</math> peut être composée avec elle-même et la composée est notée <math>f^2</math>. Ainsi

<math>f^2=f\circ f</math>
<math>f^3=f\circ f\circ f</math>

et de manière plus générale :

<math>\forall n\in\N^*\quad f^n=\underbrace{f\circ\ldots\circ f}_{n\ \mathrm{fois}}</math>.

On pose

<math>f^0=\operatorname{id}_X</math>

où <math>\operatorname{id}_X</math> est l'application identité de l'ensemble <math>X</math>.

On peut étendre cette notation aux exposants entiers négatifs, à condition de supposer la fonction <math>f</math> bijective (de <math>X</math> dans lui-même). Alors, <math>f^{-1}</math> désigne l'application réciproque et pour tout entier <math>n>0</math>, <math>f^{-n}</math> est la composée de <math>f^{-1}</math> par elle-même Modèle:Math fois.

La puissance d'une fonction est distincte de la multiplication des applications. Par exemple, Modèle:Math désigne couramment le carré de la fonction sinus :

<math>\forall x \in \R\quad\sin^2(x) = (\sin(x))^2 = \sin(x)\times \sin(x)</math>.

Il y a aussi une confusion possible entre l'inverse d'une fonction pour la multiplication et l'application réciproque.

On peut également s'intéresser aux racines carrées fonctionnelles, c'est-à-dire que l'on cherche, pour une fonction g donnée, une fonction f satisfaisant f(f(x)) = g(x) pour tout x. Modèle:Refnec

Autre notation

Modèle:Refnec trouvèrent que la notation <math>g \circ f</math> portait à confusion et décidèrent d'utiliser une notation post-fixée : Modèle:Math pour Modèle:Math et Modèle:Math pour <math>(g \circ f)(x)</math>.

Typographie

Le caractère Unicode « rond », « ∘ », est le caractère U+2218. En LaTeX, ce caractère est obtenu par la commande \circ.

Voir aussi

Modèle:Autres projets

Articles connexes

Lien externe

Modèle:Lien web

Modèle:Palette Modèle:Portail