Construction of the Transreal Numbers from Hyperreal Numbers

We construct the transreal numbers and arithmetic from subsets of hyperreal numbers. In possession of this construction, we propose a contextual interpretation of the transreal arithmetical operations as vector transformations.


Introduction
The first proof of the consistency of the axioms of transreal arithmetic is a machine proof [1]. Further to this, there are a number of human constructions of the transreal numbers from widely accepted sets of numbers. This establishes the consistency of the transreals relative to the accepted sets. In [2] transreal numbers arise as trans-Dedekind cuts on rational numbers, thereby establishing the consistency of the transreals relative to the Dedekind cuts and thence to the rationals. In [4] transreal numbers arise as equivalence classes of ordered pairs of real numbers, thereby establishing the consistency of the transreals relative to the reals. There are two other similar constructions: in [5] transreal numbers arise as a subset of the transcomplex numbers which, in turn, arise as equivalence classes of ordered pairs of complex numbers, thereby establishing the consistency of the transreals relative to the complexes; and in a paper in preparation [6] transreal numbers arise as a subset of the transquaternion numbers which, in turn, arise as equivalence classes of ordered pairs of quaternion numbers, thereby establishing the consistency of the transreals relative to the quaternions. In the present paper we propose a further way to construct the transreal numbers. We construct the transreal numbers as subsets of hyperreal numbers. In this way, the consistency of transreal numbers is also justified by their consistency with the hyperreal numbers.
In [3] we wondered if, like the real numbers, the transreal numbers can be interpreted as vectors. In that paper we talked about the transreal numbers positive infinity and negative infinity being vectors whose magnitudes are greater than any real number. However, the set of real numbers cannot support this interpretation since, of course, there is no real number greater than all real numbers. Another important feature of that interpretation was that the vectors which play the roles of the infinite transreal numbers do not have specific infinite magnitudes but do have a range of possible infinite magnitudes. We now find the set of hyperreal numbers is very convenient for these purposes. There are hyperreal numbers that are greater than all real numbers, indeed there are many hyperreal numbers with this property. Hence we can use the infinitely many infinite hyperreal numbers to be the magnitudes of vectors which play the role of the transreal infinities. Furthermore the set of hyperreal numbers contains the multiplicative inverse of all infinite hyperreal numbers, which allows us to define total division in our new interpretation of the transreals. We explain the details on this interpretation in the section after the construction.
We define nullity as the whole set of the hyperreal numbers, positive infinity as the set of positive infinite hyperreal numbers, negative infinity as the set of negative infinite hyperreal numbers, and each real number as its monad. Note that every transreal number is a set of hyperreal numbers. Then we define the arithmetical operations and order relation, in natural way, on these sets.

Preliminaries on Hyperreal Numbers
As is known [7]: • The set of hyperreal numbers, * R, is an ordered field which properly contains the set of real numbers as a subfield. In other words: * R is an ordered field, R * R, and addition and multiplication of * R extend addition and multiplication of R.
• There are numbers δ ∈ * R such that |δ| < r for all positive r ∈ R. These numbers are called infinitesimal numbers. Zero, 0, is the only infinitesimal number which is a real number. The subset of infinitesimal numbers is denoted by * R0.
• There are numbers ω ∈ * R such that r < |ω| for all positive r ∈ R.
These numbers are called infinite numbers. The subset of negative infinite numbers is denoted by * R − ∞ and the subset of positive infinite numbers is denoted by * R + ∞ . As consequence of the above: 1. If δ, ε ∈ * R0 then δ + ε ∈ * R0.

Transreal from Hyperreal Numbers
Definition 2. Given A, B ∈ T let us define: Notice that the arithmetic is defined in a natural way. Each one of the operations between sets is defined by the respective operation between their elements. The reciprocal definition needs side conditions but it is still defined on sets by the reciprocal of their elements. Notice that for all A ∈ T the reciprocal of A, in the new sense proposed here, is defined in terms of the reciprocal, in the usual sense, of the elements of A. However, in order to talk about reciprocal in the usual sense we do need the usual exception of the reciprocal of zero. Furthermore zero is not the usual reciprocal of any hyperreal number, because of this the reciprocals of * R, * R − ∞ and * R + ∞ would have a puncture. So we join zero to these in order to plug the puncture. Notice that the relation is an order relation on T .
The following theorem assures us that, in an appropriate sense, R is subset of T .
Proof. The result follows from the fact that π : R → R, π(t) = {t + δ; δ ∈ * R0} is bijective and, for any t, s ∈ R, ii) π(t) ⊗ π(s) = π(ts) and iii) π(t) π(s) if and only if t ≤ s, and from the fact that R is a complete ordered field.

Remark 5.
Since π is an isomorphism of complete ordered fields between R and R, we can say that R is a "copy" of R in T . Therefore let us abuse language and notation: henceforth R will be denoted by R and will be called the set of real numbers and each {α + δ; δ ∈ * R0} ∈ R will be denoted, simply, by α and will be called a real number. In this sense we can say that R ⊂ T and we can replace the symbols ⊕, ⊗, ≺ and , respectively, by +, Thus we replace the symbols , -1 ○ and c respectively, by −, −1 and ÷.
Definition 6. Let us define and denote nullity, negative infinity and infinity, respectively, by Φ := * R, −∞ := * R − ∞ and ∞ := * R + ∞ . Let us refer to the elements of T as transreal numbers, thus T will be the set of transreal numbers. Let us denote R T := T whence The next theorem sets out transreal arithmetic and ordering.

Theorem 7.
For each x ∈ R T , it follows that: Proof. Let x ∈ R T be arbitrary: a) Let x ∈ R be arbitrary. Take y ∈ R such that y > x. As y − x ∈ R and y − x > 0, we have that δ < y − x for all δ ∈ * R0, that is, x + δ < y for all δ ∈ * R0. As y < ω for all ω ∈ * R + ∞ , we have that x + δ < y < ω for all δ ∈ * R0 and all ω ∈ * R + ∞ . Thus x = {x + δ; δ ∈ * R0} < * R + ∞ = ∞. In a similar way, we have that −∞ < x. b) As x ∈ R T , we have that there is A ⊂ * R such that x = A. For all a ∈ A, there is b ∈ * R such that b ≤ a whence A < * R does not hold, that is, x < Φ does not hold. Further, for all a ∈ A, there is c ∈ * R such that a ≤ c whence * R < A does not hold, that is, Φ < x does not hold.
i) The result follows in a similar way to the item h.
j) The result follows of the fact of * R + A = * R for all A ⊂ * R.
In fact, given x ∈ * R arbitrary: The result follows in a similar way to the item j.
o) The result follows in a similar way to the item k.
p) The result follows in a similar way to the item j.
q) The result follows in a similar way to the item m.
r) The result follows in a similar way to the item n.
x) The result follows in a similar way to the item t.
y) The result follows in a similar way to the item s.
z) The result follows in a similar way to the item v.
α) The result follows in a similar way to the item v.
Corollary 8. Let x, y ∈ R where x > 0 and y < 0. It follows that: Proof. Let x, y ∈ R where x > 0 and y < 0:

Interpretation of Transreal Arithmetic
Real numbers may be interpreted as vectors oriented in a straight line, whence the operations of real arithmetic are vector transformations: addition is a translation and multiplication is a dilatation. Similarly we can interpret each transreal number as a vector. The transreal number ∞ is a positively oriented vector whose "size" (magnitude) is greater than the size of any real vector. With the construction in the previous section, ∞ is a positively oriented vector whose size is a positive infinite hyperreal number. But ∞ does not have a fixed size. We can see the size of this vector as being similar to the localisation of an electron in its orbital. That is, at each time in which ∞ is operated on, it has some size which is certainly a positive infinite hyperreal number, but not necessarily the same number as in a previous instant (operation). We emphasise that we are not interpreting ∞ as many vectors, that is, an indeterminate vector. Instead ∞ is a unique, specific vector but with variable length. In a similar way we interpret −∞ as a vector oriented negatively whose size is a negative infinite hyperreal number. The number Φ can be understood as a vector whose size assumes a value each time it is operated on, but unlike ∞, the size of Φ does not have the restriction of being greater than any real number. The number Φ is unique, definite and determinate, however its size, as a vector, can be any hyperreal number at each moment in which Φ is operated on. Furthermore, we understand that Φ does not reveal information about its size. That is, at each moment in which Φ is operated on, it has a certain size which is one among all hyperreal numbers, but not necessarily the same number as in a previous instant. Every real number is interpreted as the oriented vector whose size is any hyperreal number in the monad of that real number.
We operate on the transreal numbers by vector transformations but at each time that the operation is performed, the size of the vector is a hyperreal number randomly selected from its "orbital". In an operation, the selected number can be different from one selected in the previous operation, however the selected hyperreal number lies on the specific "orbital" of that transreal number. The "orbital" of nullity is the whole set of hyperreal numbers, the "orbital" of positive infinity is the set of positive infinite hyperreal numbers, the "orbital" of negative infinity is the set of negative infinite hyperreal numbers and the "orbital" of each real number is its monad.
If x ∈ R, then the addition ∞ + x can be interpreted as the translation of x by ∞. Since x ∈ R has a finite size and ∞ has some infinite hyperreal size and is positively oriented, ∞ + x has an infinite hyperreal size and is positively oriented regardless of the orientation and size of x. Thus ∞+x = ∞. The addition ∞+(−∞) can be interpreted as the translation of a vector, of positive orientation and unknown size but greater than any real number, by a vector of negative orientation of unknown size but greater than any real number (not necessarily equal to the positive vector). Thus ∞ + (−∞) can have any orientation and can get any non negative hyperreal number as size. Therefore ∞ + (−∞) = Φ. The reader can already deduce the interpretation for ∞ + ∞ = ∞ and ∞ + Φ = Φ and for the other operations of addition and multiplication.
In real numbers, division does not have a vector interpretation, unless the division is obtained by multiplication by the inverse. That is, if x, y ∈ R and y = 0, then x ÷ y = x × y −1 . This can be rewritten as x ÷ y = x 1 ÷ y 1 = x 1 × 1 y . That is, "division by" is "multiplication by the reciprocal of". The reciprocal of a fraction with numerator zero can be obtained by interpreting the reciprocal as just the reversal of the numerator and denominator, but keeping the sign in the numerator. Thus, in transreal numbers, division by zero is multiplication by 1 0 .

Conclusion
We have constructed the transreal numbers as sets of hyperreal numbers in a way that the arithmetical operations between transreal numbers are defined by operations on hyperreal numbers. This construction is one more proof of the consistency of transreal arithmetic. This construction allows us to give a contextual interpretation for transreal arithmetic as vector transformations. Transreal numbers are vectors with random sizes selected from appropriate sets of hyperreal numbers. The addition operation is a translation and the multiplication operation is a dilatation.