Infinitesimals without logic (Q455512)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Infinitesimals without logic |
scientific article |
Statements
Infinitesimals without logic (English)
0 references
22 October 2012
0 references
This article develops the theory of \textit{Fermat reals} as a framework for using infinitesimals in analysis and mathematical physics that does not require any nontrivial results of mathematical logic. A function \(x:\mathbb R_{\geq 0}\to \mathbb R\) is said to be a \textit{little-oh polynomial} if there are \(k\in \mathbb N\), \(r,\alpha_1,\ldots,\alpha_k\in \mathbb R\), and \(a_1,\ldots,a_k\in \mathbb R_{\geq 0}\) such that \(x(t)=r+\sum_{i=1}^k \alpha_i\cdot t^{a_i}+o(t)\) as \(t\to 0^+\). A Fermat real is then the equivalence class of a little-oh polynomial with respect to the equivalence relation \(x(t)=y(t)+o(t)\) as \(t\to 0^+\). The collection of Fermat reals forms an ordered ring \({}^\bullet \mathbb R\) extending the field of real numbers which contains so-called \textit{nilpotent infinitesmals}. (We emphasize ring here as the usual nonstandard extensions of the real numbers employed in nonstandard analysis are fields). The article discusses the structure of \({}^\bullet \mathbb R\) and then gives examples of its uses in mathematical physics.
0 references
Fermat reals
0 references
nilpotent infinitesimals
0 references
0 references