Fermat-Reyes method in the ring of Fermat reals

From MaRDI portal





This paper discusses calculus in the setting of Fermat reals. The ring of Fermat reals is a way of introducing infinitesimals into analysis that is an alternative to the usual construction of a hyperreal field as traditionally done in nonstandard analysis. First, a suitable category of ``smooth functions on open subsets of the Fermat reals is developed and then the existence of a smooth incremental ratio for smooth functions is proven (the so-called Fermat-Reyes theorem), allowing one to define derivatives for this class of functions. Some basic properties of the derivatives are then established.



Cites work









This page was built for publication: Fermat-Reyes method in the ring of Fermat reals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q639539)