Domaine de définition

Domaine de définition

Ensemble de définition

En mathématiques, l'ensemble de définition D f  d'une fonction  f  dont l' ensemble de départ est noté  E  et l' ensemble d'arrivée  F , est l'ensemble des antécédents de f, c'est-à-dire l'ensemble des éléments de E que f met en relation avec des éléments de F ; c'est donc l'ensemble des éléments x de E pour lesquels f ( x ) existe :

D_f = \{ x \in E \ |\, \exists\ y \in F \,/\, y = f ( x ) \} \,

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

Il ne faut pas confondre le domaine de définition d'une fonction f ( pour mémoire : D f  ) avec son ensemble de départ ( pour mémoire : 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.

À titre de contre-exemple, considérons la fonction f : \begin{pmatrix} \mathbb{R} \longrightarrow \mathbb{R} \\ x \longmapsto \frac{1}{x} \end{pmatrix} \, .

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

L'ensemble de définition de cette fonction est donc \mathbb{R}^* \, (rappel : \mathbb{R}^* = \mathbb{R} - \{ 0 \} \,). Il diffère de son ensemble de départ, \mathbb{R} \, ; cette fonction n'est donc pas une application.

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 «  f |_{D_f} \, ». C'est une application par construction.

Ainsi, dans notre exemple, la fonction f |_{\mathbb{R}^*} : \begin{pmatrix} \mathbb{R}^* \longrightarrow \mathbb{R}^* \\ x \longmapsto \frac{1}{x} \end{pmatrix} \, 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 numérique f n'est pas définie en un point x 0 , il est possible de la prolonger en ce point en la remplaçant par une autre fonction, appelée prolongement de f en x 0 et notée habituellement «  \bar f \, », et telle que :

  • le prolongement de f est égal à f sur D f  :
\forall\ x \in D_f \, \bar f ( x ) = f ( x ) \,
  • le prolongement de f a une valeur définie, a, au point x 0  :
\exists\ a \in F /\, \bar f ( x_0 ) = a \,

Ainsi, dans notre exemple, on peut transformer la fonction f \, en application en la prolongeant à l'origine par : f ( 0 ) = 0 \,

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

Liens internes

Liens externes

Ce document provient de « Ensemble de d%C3%A9finition ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Domaine de définition de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • DÉFINITION — Traditionnellement, définir, c’est expliciter, lorsqu’il s’agit d’un mot, et, lorsqu’il s’agit d’un être, c’est lui assigner un statut; on définit par genre prochain et différence spécifique: «La rose est une fleur d’églantier dont les étamines… …   Encyclopédie Universelle

  • domaine — [ dɔmɛn ] n. m. • demeine XIIe; lat. dominium « propriété » 1 ♦ Terre possédée par un propriétaire. ⇒ 2. bien, fonds, propriété, terre. Étendue d un domaine. Domaine de cent hectares. Bois, forêts, chasses, prairies, pâturages, métairies, fermes… …   Encyclopédie Universelle

  • Domaine National — Domaine public en droit public français Pour les articles homonymes, voir domaine public. Droit administratif | Généralités …   Wikipédia en Français

  • Domaine Public En Droit Public Français — Pour les articles homonymes, voir domaine public. Droit administratif | Généralités …   Wikipédia en Français

  • Domaine national — Domaine public en droit public français Pour les articles homonymes, voir domaine public. Droit administratif | Généralités …   Wikipédia en Français

  • Domaine public (droit public français) — Domaine public en droit public français Pour les articles homonymes, voir domaine public. Droit administratif | Généralités …   Wikipédia en Français

  • Domaine public en droit français — Domaine public en droit public français Pour les articles homonymes, voir domaine public. Droit administratif | Généralités …   Wikipédia en Français

  • Domaine public en droit public francais — Domaine public en droit public français Pour les articles homonymes, voir domaine public. Droit administratif | Généralités …   Wikipédia en Français

  • Definition — Définition Pour l article concernant la définition d un moniteur ou d une carte graphique, voir définition d écran. Voir «  …   Wikipédia en Français

  • Domaine Public Maritime — Pour les articles homonymes, voir DPM. En France, le droit civil, définit le domaine public maritime (dit « DPM ») comme le régime juridique du sol (sables ou sédiments en général) et du sous sol de l estran, des eaux intérieures et de… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”