Transfer Principle For The Hyperreals
The transfer principle concerns the logical relation between the properties of the real numbers R, and the properties of a larger field denoted *R called the hyperreals. The field *R includes, in particular, infinitesimal ("infinitely small") numbers, providing a rigorous mathematical realisation of a project initiated by Leibniz.
The idea is to express analysis over R in a suitable language of mathematical logic, and then point out that this language applies equally well to *R. This turns out to be possible because at the set-theoretic level, the propositions in such a language are interpreted to apply only to internal sets rather than to all sets.
The theorem to the effect that each proposition valid over R, is also valid over *R, is called the transfer principle.
There are several different versions of the transfer principle, depending on what model of non-standard mathematics is being used. In terms of model theory, the transfer principle states that a map from a standard model to a non-standard model is an elementary embedding (an embedding preserving the truth values of all statements in a language), or sometimes a bounded elementary embedding (similar, but only for statements with bounded quantifiers).
The transfer principle appears to lead to contradictions if it is not handled correctly. For example, since the hyperreal numbers form a non-Archimedean ordered field and the reals form an Archimedean ordered field, the property of being Archimedean ("every positive real is larger than 1/n for some positive integer n") seems at first sight not to satisfy the transfer principle. The statement "every positive hyperreal is larger than 1/n for some positive integer n" is false; however the correct interpretation is "every positive hyperreal is larger than 1/n for some positive hyperinteger n". In other words, the hyperreals appear to be archimedean to an internal observer living in the non-standard universe, but appear to be non-archimedean to an external observer outside the universe.
A freshman-level accessible formulation of the transfer principle is Keisler's book Elementary Calculus: An Infinitesimal Approach.
Read more about this topic: Transfer Principle
Famous quotes containing the words transfer and/or principle:
“I have proceeded ... to prevent the lapse from ... the point of blending between wakefulness and sleep.... Not ... that I can render the point more than a point—but that I can startle myself ... into wakefulness—and thus transfer the point ... into the realm of Memory—convey its impressions,... to a situation where ... I can survey them with the eye of analysis.”
—Edgar Allan Poe (1809–1849)
“I ... observed the great beauty of American government to be, that the simple machines of representation, carried through all its parts, gives facility for a being moulded at will to fit with the knowledge of the age; that thus, although it should be imperfect in any or all of its parts, it bears within it a perfect principle the principle of improvement.
”
—Frances Wright (1795–1852)