Total order on complex numbers [closed]

Question

The common argument against the existence of a total order on complex numbers that observes the known axioms on real numbers is that 0 < i or 0 < -i. But why? 0 is not even an imaginary number.

There's a possibility of treating ni < -oo for all n in the set of natural numbers, such that we have the real line on the right and the imaginary line on the left, where a comparison operation compares the imaginary part before the real part.

The thing is, both negative numbers and imaginary numbers are not scalars that satisfy the usual axioms of multiplication. Why must imaginary numbers satisfy what even negative numbers cannot satisfy? In order to establish the 2-D complex plane, we just have to see the set of complex numbers as a cross product of 2 sets of real numbers, where the imaginary part comes before the real part, the opposite way of writing a complex number conventionally, namely, ai + b. Well, we've been using cross products to establish multiple dimensions for a long time. I don't see a problem here.

------------ Appendix ------------

Recall that imaginary numbers are derived to be more negative than negative numbers in the first place, namely, i i = -1 and (-1)(-1) = 1. So, it makes intuitive sense to treat them as numbers less than negative infinity. However, I forgot that they also cancel out like real numbers, namely, i + -i = 0 i = 0. The key is to not treat 0 i = 0. The problem is that they are designed to be like real numbers, except for the i sign, which is similar to the - sign.

In any case, I was trying to define an INumber interface, but not being able to compare numbers is really inconvenient. It means that they cannot participate in many known formal verification and optimization techniques. The reason why I ask this question here is that if mathematicians can agree on this definition, it will be easy to adopt it in ISO, IEC and IEEE standards. Of course, I can define anything I want, but who will use my definition? If the new definition works, we will have safer and faster computer programs. It makes perfect economic sense.

I know I can simply try not to use complex numbers at all, but why invent them in the first place? Plus, it's really convenient to express wave functions in terms of complex numbers. Nowadays, what is not a wave in physics and engineering? By the way, we mostly deal with equations and not inequalities or any sort. So, it's not as meaningful as I pitch it here. Anyways.

I will work out the addition requirements before posting another question. Thank you all for your participation.

Answer 1

Note that the proof does not prove that there is no total ordering of the complex numbers. It is easy to order the complex numbers totally.

What it does prove is that there is no total ordering of the complex numbers which is compatible with their algebraic structure.

You say you want to have both $i<0$ and $-i<0$, but that is not compatible with the algebraic structure. Namely, if we have $i<0$ then adding $-i$ to both sides gives $0<-i$. Since you're asserting $-i<0$ which contradicts this, your ordering doesn't obey the rule $$ a<b \implies a+c<b+c $$ which is one of the axioms for an ordered field.

Answer 2

Your argumenation is somewhat weird. You want to order the set of complex numbers and complain that $0$ is not an imaginary number. This already being questionable, $0$ is certainly a complex number.

Next you come up with comparisons against $-\infty$ - and that is not a complex number.

Lastly, it is possible to impose a total order on $\mathbb C$ (for example by taking lexical ordering as you seem to secribe in the last paragraph). However, none that is compatible with the field operations (which the proof you mention in the first paragraph is about).