Construction of the transcomplex numbersfrom the complex numbers

A geometrical construction of the transcomplex numbers was given elsewhere. Here we simplify the transcomplex plane and construct the set of transcomplex numbers from the set of complex numbers. Thus transcomplex numbers and their arithmetic arise as consequences of their construction, not by an axiomatic development. This simplifes transcom- plex arithmetic, compared to the previous treatment, but retains totality so that every arithmetical operation can be applied to any transcomplex number(s) such that the result is a transcomplex number. Our proof establishes the consistency of transcomplex and transreal arithmetic and establishes the expected containment relationships amongst transcomplex, complex, transreal and real numbers. We discuss some of the advantages the transarithmetics have over their partial counterparts.

[1]  J. A. Anderson,et al.  Representing geometrical knowledge. , 1997, Philosophical transactions of the Royal Society of London. Series B, Biological sciences.

[2]  C. Neumann.  Vorlesungen uber Riemann's Theorie der Abel'schen Integrale , 1884 .

[3]  James Anderson.  Evolutionary and Revolutionary Effects of Transcomputation , 2011 .

[4]  Norbert Völker,et al.  Perspex Machine VIII: axioms of transreal arithmetic , 2007, Electronic Imaging.

[5]  James Anderson,et al.  Exact numerical computation of the rational general linear transformations , 2002, SPIE Optics + Photonics.

[6]  F. Greenleaf.  Introduction to complex variables , 1972 .

[7]  James Anderson,et al.  Transreal Limits Expose Category Errors in IEEE 754 Floating-Point Arithmetic and in Mathematics , 2014 .

[8]  James Anderson.  Trans-Floating-Point Arithmetic Removes Nine Quadrillion Redundancies From 64-bit IEEE 754 Floating-Point Arithmetic , 2014 .

[9]  James Anderson,et al.  Transdifferential and transintegral calculus , 2014 .

[10]  S. Altmann.  Rotations, Quaternions, and Double Groups , 1986 .

[11]  D. Hilbert,et al.  Geometry and the Imagination , 1953 .

[12]  Jesper Carlström,et al.  Wheels – on division by zero , 2004, Mathematical Structures in Computer Science.

[13]  A. Robinson.  Non-standard analysis , 1966 .

[14]  Alberto A. Martínez.  The Cult of Pythagoras: Math and Myths , 2012 .

[15]  James Anderson.  Perspex machine XI: topology of the transreal numbers , 2008 .

[16]  Gomide Walter,et al.  Transreal Arithmetic as a Consistent Basis For Paraconsistent Logics , 2014 .