Infinitesimals without logic (Q455512): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3742397 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4208003 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A ring homomorphism is enough to get nonstandard analysis / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A purely algebraic characterization of the hyperreal numbers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Differential geometry, Lie groups and symmetric spaces over general base fields and rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4871219 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3859746 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5805471 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4002743 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4680168 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4046802 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4954403 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4394926 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3918651 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4374695 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4875315 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3997818 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3996231 / rank | |||
Normal rank |
Revision as of 19:51, 5 July 2024
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