Fermat-Reyes method in the ring of Fermat reals (Q639539)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Fermat-Reyes method in the ring of Fermat reals
scientific article

    Statements

    Fermat-Reyes method in the ring of Fermat reals (English)
    0 references
    0 references
    22 September 2011
    0 references
    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.
    0 references
    nilpotent infinitesimals
    0 references
    smooth infinitesimal analysis
    0 references
    extension of the real field
    0 references
    Fermat-Reyes theorem
    0 references

    Identifiers