Perspex Machine XIII: Construction of the Transcomplex Numbers from 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 simplifies transcomplex 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]  James Anderson,et al.  Transdifferential and transintegral calculus , 2014 .

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

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

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

[5]  W. Luxemburg.  Non-Standard Analysis , 1977 .

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

[7]  Anju Vyas.  Print , 2003 .

[8]  James E. pLebensohn.  Geometry and the Imagination , 1952 .

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

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

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

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

[13]  S. Lang.  Complex Analysis , 1977 .

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

[15]  Erik Kaestner.  Introduction To Complex Variables , 2016 .

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

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

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