Can Complex Numbers Be Ordered?

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
6 replies · 3K views
Arman777
Insights Author
Gold Member
Messages
2,163
Reaction score
191
Can we order Complex Numbers ? I searched a bit most places says it can but not like the real numbers. I am confused a bit.And I am not sure abouth the truth of those sources.
Thanks
 
Physics news on Phys.org
We can order every set. But the question is will such an order have any relation to a complex structure or even to linear or topological structure in ##\mathbb{R}^2## :)
 
  • Like
Likes   Reactions: PeroK
If I recall correctly, the way it works is that if you try impose an order in the complex numbers, you then lose the field properties.
 
Arman777 said:
Can we order Complex Numbers ? I searched a bit most places says it can but not like the real numbers. I am confused a bit.And I am not sure abouth the truth of those sources.
Thanks
The complex numbers don't allow an Archimedean order. This is equivalent to the condition that squares are positive, which is not the case for complex numbers, as ##i^2=-1<0##. They allow however an order like the lexicographical order: ##x+iy < u+iv \Longleftrightarrow x < u \,\vee \, (x=u \wedge y < v)##.
 
  • Like
Likes   Reactions: Arman777
If you mean ordering like we think of ordering with real numbers, the answer is no. To demonstrate this, consider this example that uses an informal argument.

If ##\mathbb{C}## is a totally ordered set with properties like the real numbers, we have the axiom of totality, which says that ##\forall x,y \in \mathbb{C}: x \leq y## or ## x \geq y##

Thus, consider ##i \leq 0##, then multiply both sides with ##i##, obtaining ##-1 \geq 0## (multiplying with a number less than ##0## reverses the inequality sign). This is not possible.
Otherwise, assume ##i \geq 0##, then ##-1 \geq 0##. Also impossible.
 
Last edited by a moderator:
  • Like
Likes   Reactions: Arman777
You can find a bijective function between the complex numbers and the real numbers and then use the ordering of the real numbers to "order" the complex numbers. That won't lead to nice properties of the ordering, but it is some sort of order, similar to the one @fresh_42 suggested.

You can even have a well-ordering, which places stronger conditions on an order.