Théorème de Richardson

Théorème de Richardson

En mathématiques, le théorème de Richardson, datant de 1968, porte sur la possibilité de simplifier les expressions. Plus précisément, soit un ensemble E d'expressions représentant des fonctions d'une variable réelle, et E* l'ensemble des fonctions ainsi représentées, le problème consiste à déterminer si partant d'une expression dans E on est ou non en mesure de déterminer si la fonction associée est la fonction constante nulle. Richardson montre que ce problème est indécidable sous les conditions suivantes :

  1. E* contient l'identité, les nombres rationnels (en tant que fonctions constantes), est stable par addition, soustraction, produit et composition, contient les constantes ln 2, π, la fonction sinus, la fonction exponentielle, et la fonction valeur absolue.
  2. A et B étant deux éléments de E donnés, on peut trouver (de manière effective) dans E des expressions représentant la somme, la différence, le produit et la composée des deux fonctions représentées par A et B.

Richardson démontre dans le même article l'indécidabilité de ce qu'il appelle le « problème d'intégration » (integration problem), à savoir, un élément A de E étant donné, déterminer s'il existe une fonction f dans E* dont la dérivée soit égale à la fonction déterminée par A, sous la condition supplémentaire qu'il existe dans E* une fonction définie sur R entier et n'admettant de primitive dans E* sur aucun intervalle (par exemple la fonction x\mapsto e^{x^2}).

Référence

L'article de Richardson sur JStor


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de Richardson de Wikipédia en français (auteurs)

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

Regardez d'autres dictionnaires:

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • Algorithme de Risch — L’algorithme de Risch, dû à Robert Risch (de), est un algorithme destiné aux systèmes de calcul formel, permettant de calculer des primitives, c est à dire de déterminer une fonction, connaissant sa dérivée. L’algorithme transforme ce… …   Wikipédia en Français

  • Egalite (mathematiques) — Égalité (mathématiques) En mathématiques, l’égalité est une relation binaire entre objets (souvent appartenant à un même ensemble) signifiant que ces objets sont identiques, c’est à dire que le remplacement de l’un par l’autre dans une expression …   Wikipédia en Français

  • Transitivite de l'identite — Égalité (mathématiques) En mathématiques, l’égalité est une relation binaire entre objets (souvent appartenant à un même ensemble) signifiant que ces objets sont identiques, c’est à dire que le remplacement de l’un par l’autre dans une expression …   Wikipédia en Français

  • Transitivité de l'identité — Égalité (mathématiques) En mathématiques, l’égalité est une relation binaire entre objets (souvent appartenant à un même ensemble) signifiant que ces objets sont identiques, c’est à dire que le remplacement de l’un par l’autre dans une expression …   Wikipédia en Français

  • Égalité (mathématiques) — En mathématiques, l’égalité est une relation binaire entre objets (souvent appartenant à un même ensemble) signifiant que ces objets sont identiques, c’est à dire que le remplacement de l’un par l’autre dans une expression ne change jamais la… …   Wikipédia en Français

  • NUMÉRIQUE (ANALYSE) — Les problèmes et les méthodes numériques ne délimitent pas un secteur spécifique des mathématiques; ils interviennent en effet non seulement dans les domaines traditionnels (analyse classique et équations fonctionnelles), mais aussi en algèbre,… …   Encyclopédie Universelle

  • DIFFÉRENTIELLES (ÉQUATIONS) — Les équations différentielles sont apparues historiquement tout au début du développement de l’analyse, en général à l’occasion de problèmes de mécanique ou de géométrie. Si, dans les premières investigations, l’on s’attachait surtout à en… …   Encyclopédie Universelle

  • Economie des organisations — Économie des organisations L économie des organisations est une branche de l économie qui étudie l ensemble des arrangements institutionnels permettant la mise en œuvre de la production et l échange de biens et de services. Dans un sens plus… …   Wikipédia en Français

Share the article and excerpts

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