Fonction partielle

Fonction partielle

En mathématiques une fonction partielle sur un ensemble donné E est une fonction définie sur une partie de celui-ci, qui est alors appelé domaine de définition de la fonction partielle.

Cette notion apparait en particulier en théorie de la calculabilité, qui s'intéresse aux fonctions partielles récursives : celles-ci sont définies sur une partie de N, l'ensemble des entiers naturels, ou plus généralement de Np, et l'ensemble de définition d'une fonction partielle récursive ne peut éventuellement pas se définir a priori, c'est-à-dire autrement qu'en indiquant que ce sont les entiers (ou uples d'entiers) pour lesquels le calcul qui permet de définir la fonction aboutit.

Définitions

Une fonction partielle d'un ensemble E dans un ensemble F est un couple (Df, f) constitué d'un sous-ensemble Df de E et d'une application de Df dans F. On dit que f est définie en x ∈ E quand x ∈ Df, et Df est appelé ensemble de définition de f[1].

Un exemple de fonction partielle est la fonction nulle part définie, celle dont le domaine de définition est vide.

Une fonction partielle f de E dans F est dite totale quand f est partout définie sur E, c'est-à-dire que E = Df[2].

Notes et références

  1. ↑ Yuri Manin, A Course in Mathematical Logic, Neal Koblitz (trans.), Springer-Verlag, New York, NY, 1977, p 178.
  2. ↑ P. Odifreddi, 1989. Classical Recursion Theory, North-Holland. (ISBN 0-44487-295-7), p 129, dans le cas des fonctions partielles récursives.

Wikimedia Foundation. 2010.

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

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Fonction Partielle Récursive — Les fonctions partielles récursives correspondent aux fonctions calculées par une machine de Turing. Selon la thèse de Church la classe des fonctions partielles récursives est exactement l ensemble des fonctions pouvant être décrites par un… …   Wikipédia en Français

  • Fonction partielle recursive — Fonction partielle récursive Les fonctions partielles récursives correspondent aux fonctions calculées par une machine de Turing. Selon la thèse de Church la classe des fonctions partielles récursives est exactement l ensemble des fonctions… …   Wikipédia en Français

  • Fonction partielle récursive — Les fonctions partielles récursives correspondent aux fonctions calculées par une machine de Turing. Selon la thèse de Church la classe des fonctions partielles récursives est exactement l ensemble des fonctions pouvant être décrites par un… …   Wikipédia en Français

  • Fonction Récursive — Voir « récursif » sur le Wiktionnaire …   Wikipédia en Français

  • Fonction recursive — Fonction récursive Voir « récursif » sur le Wiktionnaire …   Wikipédia en Français

  • Fonction Calculable — Une fonction calculable (ou fonction récursive) est une fonction semi calculable (ou fonction partielle récursive) qui est aussi totale, c est à dire définie pour toute entrée (en tout point). Ce sont les fonctions calculées par une machine de… …   Wikipédia en Français

  • Fonction de plusieurs variables — En mathématiques et plus spécialement en analyse vectorielle, une fonction numérique à plusieurs variables réelles est une fonction dont l ensemble de départ E est une partie de . L ensemble d arrivée F peut être ou . Le second cas peut se… …   Wikipédia en Français

  • Fonction récursive — Sur les autres projets Wikimedia : « Fonction récursive », sur le Wiktionnaire (dictionnaire universel) En informatique et en mathématiques, le terme fonction récursive désigne une classe de fonctions calculables, autrement dit de… …   Wikipédia en Français

  • Fonction calculable — Une fonction calculable (ou fonction récursive) est une fonction semi calculable (ou fonction partielle récursive) qui est aussi totale, c est à dire définie pour toute entrée (en tout point). Ce sont les fonctions calculées par une machine de… …   Wikipédia en Français

  • Fonction D'une Variable Complexe Différentiable Au Sens Réel — Cet article constitue essentiellement une introduction à l article sur les équations de Cauchy Riemann qu il permet d aborder directement. Il définit, pour les fonctions d une variable complexe et à valeurs complexes : les dérivées… …   Wikipédia en Français

Share the article and excerpts

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