Abstract
This paper lies in the framework of axiomatic non-standard analysis based on the non-standard arithmetic axiomatic theory. This arithmetic includes actual infinite numbers. Unlike the non-standard model of arithmetic, this approach does not take models into account but uses an axiomatic research method. In the axiomatic theory of non-standard arithmetic, hyperrational numbers are defined as triplets of hypernatural numbers. Since the theory of hyperrational numbers and axiomatic non-standard analysis is mainly published in Russian, in this article we give a brief review of its basic concepts and required results. Elementary hyperrational analysis includes defining and evaluating such notions as continuity, differentiability and integral calculus. We prove that a bounded monotonic sequence is a Cauchy sequence. Also, we solve the task of line segment measurement using hyperrational numbers. In fact, this allows us to approximate real numbers using hyperrational numbers, and shows a way to model real numbers and real functions using hyperrational numbers and functions.
Highlights
The non-standard analysis, offered by Robinson in the 1960s [1], considers mathematical objects from a different point of view than the classic ε–δ analysis
Using the theorem on monotonous bounded sequence, we describe the ability of line segment lengths measurement using any number of a class of infinitely close hyperrational numbers as a length, i.e., modeling finite real numbers using finite hyperrational ones
Let us prove the key result of this paper, which is an analogue of the theorem on monotonous bounded sequence of classic real analysis
Summary
The non-standard analysis, offered by Robinson in the 1960s [1], considers mathematical objects from a different point of view than the classic ε–δ analysis. It operates infinitesimal and infinite numbers, which are correspondingly strictly greater than or strictly less than any strictly positive finite number by absolute value, and the relation of infinitely closeness ≈ of two numbers, which means that the difference between these numbers is infinitesimal. The limits are substituted either by considering a sequence member with an infinite number or by taking a value of a function in a point infinitely close to the considered one. Non-standard analysis is widely used in pure and applied mathematics, i.e., in mathematical physics, differential equations [6], and economics [7]
Sign-in/Register to view highlights & summary Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
