How do we know when one complex number is greater than another?

[Teegvin]

How do we know when one complex number is greater than another?

For instance, if [tex]a+bi > c+di[/tex], must [tex]a>c[/tex] and [tex]b>d[/tex]?

 

[d_leet]

We can't consistently order the complex numbers, to show this assume i<0 and derive a contradiction, and then the next logical assumption would be 0<i, from which you can derive yet another contradiction. I think the only way that we really assign any order to the complex numbers is through the modulus ( the modulus of z is denoted |z|, and if z=x+i*y, then |z|=(x²+y²)^1/2).

 

[radou]

How do we know when one complex number is greater than another?

For instance, if [tex]a+bi > c+di[/tex], must [tex]a>c[/tex] and [tex]b>d[/tex]?

There is no natural ordering in the set of complex numbers, so you can't compare them that way.

 

[murshid_islam]

We can't consistently order the complex numbers, to show this assume i<0 and derive a contradiction, and then the next logical assumption would be 0<i, from which you can derive yet another contradiction.

how can i derive the contradictions? i have tried the following. are those correct?

assume,
[tex]0 < i[/tex]

[tex]i < i+i[/tex]

[tex]i < 2i[/tex]

[tex]i^2 < 2i^2[/tex]

[tex]-1 < -2[/tex] (contadiction)

assume,
[tex]i < 0[/tex]

[tex]i - i < -i[/tex]

[tex]0 < -i[/tex]

[tex]0 < (-i)^2[/tex]

[tex]0 < -1[/tex] (contadiction)

am i right?

 

[cristo]

how can i derive the contradictions? i have tried the following. are those correct?

assume,
[tex]0 < i[/tex]

[tex]i < i+i[/tex]

[tex]i < 2i[/tex]

[tex]i^2 < 2i^2[/tex]

[tex]-1 < -2[/tex] (contadiction)

assume,
[tex]i < 0[/tex]

[tex]i - i < -i[/tex]

[tex]0 < -i[/tex]

[tex]0 < (-i)^2[/tex]

[tex]0 < -1[/tex] (contadiction)

am i right?

Yes, they both look fine.

 

[matt grime]

We can't order the complex numbers in a way such that the ordering respects the algebraic structure as the ordering on the real numbers does. If you're going to state such a result and prove it you had better put down the conditions and the correct statements.

It is trivial to order them lexicographically, though.

 

[HallsofIvy]

Strictly speaking, just showing that "-1< -2" is not a contradiction- there is no requirement that the order you place on the complex numbers be the same as the standard order when restricted to the reals.
What you can do is:
Assume 0< i. Then 0(i)< i² so 0< -1 (NOT a contradiction by iteslf) so 0(i)< -1(i) or 0< -i. Now add i to both sides so that i< 0. That DOES contradict 0< i.

 

[MeJennifer]

Strictly speaking, just showing that "-1< -2" is not a contradiction- there is no requirement that the order you place on the complex numbers be the same as the standard order when restricted to the reals.
What you can do is:
Assume 0< i. Then 0(i)< i² so 0< -1 (NOT a contradiction by iteslf) so 0(i)< -1(i) or 0< -i. Now add i to both sides so that i< 0. That DOES contradict 0< i.

An order is not implicit but defined.
For instance we can define order for natural numbers and then extend it to real numbers. Consequently we could do the same thing for imaginary numbers.

It would be an error IMHO to disprove we can define order for imaginary numbers by demonstrating that this order is not valid for real numbers.
And by analogy if we were to accept an order for imaginary numbers to disprove we can define order for real numbers by demonstrating that this order is not valid for imaginary numbers.