Hostname: page-component-cd9895bd7-hc48f Total loading time: 0 Render date: 2024-12-25T17:46:52.753Z Has data issue: false hasContentIssue false

A Model of the Real Numbers

Published online by Cambridge University Press:  20 November 2018

Stanton M. Trott*
Affiliation:
University of Toronto, University of Tasmania
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

The model of the real numbers described below was suggested by the fact that each irrational number ρ determines a linear ordering of J2, the additive group of ordered pairs of integers. To obtain the ordering, we define (m, n) ≤ (m', n') to mean that (m'- m)ρ ≤ n' - n. This order is invariant with group translations, and hence is called a "group linear ordering". It is completely determined by the set of its "positive" elements, in this case, by the set of integer pairs (m, n) such that (0, 0) ≤ (m, n), or, equivalently, mρ < n. The law of trichotomy for linear orderings dictates that only the zero of an ordered group can be both positive and negative.

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 1963