En mathématiques, la restriction d'une fonction f est une fonction, souvent notée f |A ou , pour laquelle on ne considère que les valeurs prises par f sur un domaine A inclus dans le domaine de définition de f.
![Thumb](http://upload.wikimedia.org/wikipedia/commons/thumb/7/70/Inverse_square_graph.svg/320px-Inverse_square_graph.svg.png)
Définition
Soit f : E → F une fonction sur un ensemble E vers un ensemble F. Si on prend A, un sous-ensemble de E, alors la restriction de f sur A est la fonction[1] :
La restriction de f sur A est donc égale à f sur A, mais non définie sur le reste du domaine de f.
Exemples
- La restriction de la fonction non injective sur le domaine est la fonction injective .
- La factorielle peut être vue comme la restriction de la fonction gamma sur les entiers positifs, avec un décalage à droite :
Propriétés
- La restriction d'une fonction à tout son domaine de définition est égale à la fonction elle-même : f |dom(f) = f.
- Restreindre deux fois revient à restreindre une seule fois : si , alors .
- La restriction de la fonction identité sur un ensemble X à un sous-ensemble A de X est simplement l'injection canonique ι de A dans X[2],[3].
- La restriction à A d'une application f définie sur X est alors la composée f∘ι par f de cette injection ι[4].
- Par conséquent, la restriction préserve la continuité[4].
Applications
Fonctions réciproques
Pour qu'une fonction ait une réciproque, elle doit être bijective. Si ce n'est pas le cas, on peut alors définir une restriction de la fonction sur un domaine où elle est bijective, et donc y définir une réciproque. Par exemple, la fonction carré :
n'est pas injective (puisqu'on a f(x) = f(–x). Cependant, en considérant la restriction sur la demi-droite des réels positifs [0, +∞[, on peut définir la réciproque, la racine carrée :
Les fonctions racines d'une puissance paire, les fonctions arc cosinus et arc sinus, reposent sur le même principe.
Références
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.