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

  • Thread starter Teegvin
  • Start date
  • #1
33
0

Main Question or Discussion Point

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]?
 

Answers and Replies

  • #2
1,074
1
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|=(x2+y2)1/2).
 
  • #3
radou
Homework Helper
3,115
6
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.
 
  • #4
d_leet said:
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?
 
Last edited:
  • #5
cristo
Staff Emeritus
Science Advisor
8,107
73
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.
 
  • #6
matt grime
Science Advisor
Homework Helper
9,395
3
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.
 
  • #7
HallsofIvy
Science Advisor
Homework Helper
41,833
956
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)< i2 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.
 
  • #8
1,997
5
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)< i2 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.
 

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

  • Last Post
Replies
4
Views
8K
  • Last Post
Replies
16
Views
4K
Replies
5
Views
681
  • Last Post
Replies
12
Views
8K
Replies
21
Views
8K
Replies
1
Views
496
Replies
3
Views
2K
Replies
6
Views
6K
Replies
5
Views
691
Top