Integer calculus on the Harthong-Reeb Line - Archive ouverte HAL
Article Dans Une Revue Revue Africaine de Recherche en Informatique et Mathématiques Appliquées Année : 2008

Integer calculus on the Harthong-Reeb Line

Résumé

In this work, we give a presentation of the so-called Harthong-Reeb line. Only based on integer numbers, this numerical system has the striking property to be roughly equivalent to the continuous real line. Its definition requires the use of a natural number w which is infinitely large in the meaning of nonstandard analysis. Following the idea of G. Reeb, we show how to implement in this framework the Euler scheme. Then we get an exact representation in the Harthong-Reeb line of many real functions like the exponential. Since this representation is given with the help of an explicit algorithm, it is natural to wonder about the global constructivity of this numerical system. In the conclusion, we discuss this last point and we outline some new directions for getting analogous systems which would be more constructive
ans ce travail, nous donnons une présentation de la droite dite d’Harthong-Reeb. Il s’agit d’un système numérique uniquement basé sur les nombres entiers et dont la propriété frappante est qu’il est à peu près équivalent à la droite réelle continue. Sa définition nécessite l’utilisation d’un nombre naturel w qui est infiniment grand au sens de l’analyse nonstandard. Suivant l’idée de G. Reeb, nous montrons comment on peut implémenter le schéma d’Euler dans ce cadre. Alors, on obtient une représentation exacte dans la droite d’Harthong-Reeb de nombreuses fonctions réelles comme la fonction exponentielle. Puisque cette représentation est donnée au moyen d’un algorithme explicite, il est naturel de s’interroger sur la constructivité globale de ce système numérique. Dans la conclusion, nous discutons ce dernier point et nous esquissons de nouvelles directions pour obtenir des systèmes analogues dotés d’une meilleure constructivité.
Fichier principal
Vignette du fichier
arima00928.pdf (492.43 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-01277784 , version 1 (23-02-2016)

Identifiants

Citer

Guy Wallet. Integer calculus on the Harthong-Reeb Line. Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2008, Volume 9, 2007 Conference in Honor of Claude Lobry, 2008, pp.517-536. ⟨10.46298/arima.1911⟩. ⟨hal-01277784⟩

Collections

MIA UNIV-ROCHELLE
83 Consultations
967 Téléchargements

Altmetric

Partager

More