[Paper Review] Fermat Reals - Nilpotent Infinitesimals and Infinite Dimensional Spaces

Paolo Giordano|ArXiv.org|Jul 10, 2009

Mathematical and Theoretical Analysis1 references17 citations

TL;DR

This paper introduces Fermat reals, a new theory of actual infinitesimals based on little-oh polynomials that provide a rigorous, intuitive framework for smooth calculus without relying on nonstandard analysis or intuitionistic logic. The key contribution is a categorical construction of Fermat spaces that enables differential geometry on both finite- and infinite-dimensional manifolds using nilpotent infinitesimals with clear geometric and algebraic properties.

ABSTRACT

F.: Good morning Hermann, I would like to talk with you about infinitesimals. G.: Tell me Pierre. F.: I'm fed up of all these slanders about my attitude to be non rigorous, so I've started to study nonstandard analysis (NSA) and synthetic differential geometry (SDG). G.: Yes, I've read something ... F.: Ok, no problem about their rigour. But, when I've seen that the sine of an infinite in NSA is infinitely near to a real number I was astonished: what is the intuitive meaning of this number, if any? Then, I've seen that to work in SDG I must learn to work in intuitionistic logic ... You know, I love margins of books, and I don't want to loose too much time, I have many things to do ... G.: In SDG they also say that every infinitesimal is at the same time positive and negative, what is the meaning of all these? And why does the square of a first order infinitesimal equal zero, whereas the product of two first order infinitesimals is not necessarily zero? And do you know that from any single infinitesimal in NSA is possible to construct a non measurable set? Without using the axiom of choice! F.: Yes, I know, I know ... Ok, listen: why cannot we start from standard real functions of one real variable and use ... This work is the ideal continuation of this dialogue: a theory of actual infinitesimals that do not need a background of formal logic to be understood, with a clear intuitive meaning and with non trivial applications to differential geometry of both finite and infinite dimensional spaces.

Motivation & Objective

• To develop a theory of actual infinitesimals that avoids the foundational complexities of nonstandard analysis and synthetic differential geometry.
• To provide a clear intuitive meaning for infinitesimals, particularly nilpotent ones, without requiring knowledge of formal logic or intuitionistic reasoning.
• To extend smooth differential geometry to infinite-dimensional spaces using a categorical framework built on Fermat reals.
• To enable practical applications in calculus, automatic differentiation, and the calculus of variations through a computationally implementable structure.
• To establish a transfer principle and logical consistency for the Fermat functor, ensuring compatibility with standard smooth functions and manifolds.

Proposed method

• Constructs Fermat reals as equivalence classes of little-oh polynomials, where infinitesimals are represented by terms like $ h o 0 $ with $ h^k = 0 $ for some $ k $, forming the ideal $ D_k $.
• Defines equality up to $ k $-th order infinitesimals using the relation $ f =_k g $, which captures Taylor approximation up to order $ k $, enabling precise calculus on infinitesimal domains.
• Introduces the Fermat functor $ {}^{ullet} $, which assigns to each smooth manifold $ X $ a new space $ {}^{ullet}X $ enriched with nilpotent infinitesimal directions, preserving products and smooth structures.
• Develops a categorical framework where $ {}^{ullet}oldsymbol{/mathcal{C}}^ u $ is cartesian closed, allowing the treatment of smooth maps as generalized functions with infinitesimal parameters.
• Uses the derivation formula $ f(x+h) = f(x) + f'(x)h + o(h) $ as a foundational tool for computing derivatives and higher-order expansions in the Fermat real setting.
• Applies the theory to infinite-dimensional spaces by extending the notion of smooth functions and manifolds using the category $ oldsymbol{/mathcal{C}}^n $, enabling differential geometry on spaces of smooth paths and jets.

Experimental results

Research questions

• RQ1 Can a theory of actual infinitesimals be constructed that is both mathematically rigorous and intuitively accessible without relying on formal logic or non-Archimedean fields?
• RQ2 How can nilpotent infinitesimals be systematically used to define derivatives, Taylor expansions, and differential forms in a way that generalizes to infinite-dimensional spaces?
• RQ3 What categorical and functorial structure underlies the extension of smooth manifolds to include infinitesimal directions, and how does it preserve geometric and algebraic properties?
• RQ4 Can the Fermat real framework support practical applications such as automatic differentiation and the calculus of variations, and how does it compare to existing methods like the Levi-Civita field or COSY INFINITY?
• RQ5 What logical and transfer principles govern the relationship between standard smooth functions and their Fermat extensions, and can they be formalized in a way that preserves key analytical results?

Key findings

• The Fermat reals form a ring with nilpotent elements, where $ h^k = 0 $ for $ h o 0 $, allowing a natural representation of infinitesimals of order $ k $, and enabling precise Taylor-like expansions.
• The equality relation $ f =_k g $ captures agreement up to $ k $-th order, and this relation is preserved under smooth operations, forming the basis for a generalized calculus on infinitesimal domains.
• The Fermat functor $ {}^{ullet} $ maps smooth manifolds to spaces with infinitesimal directions, and it preserves products, making it suitable for defining tangent bundles and vector fields in the extended setting.
• The standard part functor cannot exist in the Fermat framework, as the structure of $ {}^{ullet}oldsymbol{/mathcal{C}}^ u $ is inherently non-standard and non-archimedean, reflecting the presence of nilpotents.
• The theory supports a generalized Taylor formula: $ f(x+h) = ext{polynomial of degree } k ext{ in } h $, with coefficients related to derivatives, and this holds for all smooth functions.
• The framework enables automatic differentiation and calculus of variations via infinitesimal paths and generalized functions, with applications to infinite-dimensional spaces and smooth functionals.