En mathématiques, l'ensemble de définition d'une fonction dont l'ensemble de départ est noté E et l'ensemble d'arrivée F, est l'ensemble des éléments de E qui possèdent une image dans F par , autrement dit : l'ensemble des éléments de E pour lesquels existe :

est encore appelé domaine de définition de ou domaine de f.

Il ne faut pas confondre le domaine de définition de la fonction avec son ensemble de départ E. Il arrive toutefois que les deux soient égaux : la fonction est alors une application. Elle est dite dans ce cas bien définie ou définie partout dans E.

  Exemple

À titre de contre-exemple, considérons la fonction

Cette fonction n'est pas définie en 0 : «  » n'existe pas.

L'ensemble de définition de cette fonction est donc . Il diffère de son ensemble de départ,  ; cette fonction n'est donc pas une application.

  Prolongement

Cependant, il est toujours possible de transformer une fonction en application, par exemple en la restreignant à son domaine de définition. Cette restriction est notée habituellement «  » . C'est une application par construction.

Ainsi, dans notre exemple, la fonction

est bien une application.

Une autre solution pour transformer une fonction en application consiste à la prolonger, c'est-à-dire choisir une image dans l'ensemble d'arrivée pour chacun des éléments sans image de l'ensemble de départ. En particulier, si une fonction n'est pas définie en un point , il est possible de la prolonger en ce point en la remplaçant par une autre fonction, appelée prolongement de en et notée habituellement «  », et telle que :

• sur , le prolongement coïncide avec  :

• au point , le prolongement de a une valeur définie, ,  :

Ainsi, dans notre exemple, on peut transformer la fonction en application en la prolongeant à l'origine par : .

Remarque : assez souvent, pour alléger les notations, le prolongement est noté de la même manière que la fonction initiale. Cette ambiguïté est sans conséquence si le prolongement est explicité et remplace aussitôt et définitivement la fonction initiale.

  Voir aussi

  Articles connexes

• Relation binaire
• Prolongement

  Lien externe

Théorie et exercices sur les domaines de définitions sur le site d'exercices, cours et annales de mathématiques pour économistes, de G. Carin et B. Dupont, université Lille I

• Portail des mathématiques