Classical or standard analysis is mostly concerned with the study of the real numbers and with the properties of functions defined on them. We shall now describe the use of the hyperreals as valuable tools for mathematical analysis. Through the existence of infinitesimals, finite, and infinite numbers, NSA provides us with a rich structure which we use to formalize alternative treatments of topics in classical analysis. Such treatments are not only valuable for the additional light that they cast on the processes of analysis, but also for the simplification they bring to many concepts and arguments. As will be seen, the mechanization of analysis can benefit directly from this simplification, since difficult instantiation steps in proofs are simply eliminated in many cases. We start by showing how functions defined over the reals and naturals can be systematically extended to the hyperreals and hypernaturals, respectively. These notions are crucial to nonstandard real analysis. We then proceed to develop some elementary analysis that will make use of the new classes of numbers, the infinitely close relation, and other notions induced on them.


Cauchy Sequence Infinite Series Real Sequence Nonstandard Analysis Transfer Principle 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London 2001

Authors and Affiliations

  • Jacques Fleuriot
    • 1
  1. 1.Division of InformaticsUniversity of EdinburghEdinburghUK

Personalised recommendations