Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

B Inequalities of complex number

  1. Oct 31, 2016 #1
    I am under the impression that the following cannot be stated,
    a < b, if the a term is a complex number and the b term is either a natural number or a complex number, or any other type of number for that matter.

    Firstly am I correct? Secondly, if I am, does there exist a theorem of some sort that proves this statement here? Finally, can this be generalised to all inequalities?
     
  2. jcsd
  3. Oct 31, 2016 #2

    PeroK

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    The complex numbers form a plane not a line, so are not ordered. You cannot line them all up in order, in other words.
     
  4. Oct 31, 2016 #3
    Yet say in the plane there are two points, a and b (or two complex numbers) and they are both points on the same line. Could not one say that the point further from another point on the line (point c) towards the positive quadrant is greater than the other point?
    Analogous to the point (6,6) being further from the origin than point (1,1) on the line y = x; therefore 6 > 1.
     
  5. Oct 31, 2016 #4

    PeroK

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    At a basic level, the complex numbers are not ordered, in the sense that there is not a total order. The real question is what properties you expect ##<## to have. See, for example:

    https://en.wikipedia.org/wiki/Total_order

    You could order the complex numbers by magnitude, by real part, by imaginary part, but in all cases you get many different numbers that cannot be put in order. They are all the "same" when it comes to comparing them.

    You can also do it in ways that not all numbers are "comparable". For example, if you only compare numbers with the same imaginary part, then you have a partial order. That means that you can't compare ##2 + i## with ##3 - i##, but you could say that ##2 + i < 3 + i##.

    See:

    https://en.wikipedia.org/wiki/Partially_ordered_set
     
    Last edited: Oct 31, 2016
  6. Oct 31, 2016 #5

    mfb

    User Avatar
    2016 Award

    Staff: Mentor

    You can define ">" for complex numbers in many ways, but none of those definitions is useful enough to be used widely.
     
  7. Oct 31, 2016 #6

    fresh_42

    Staff: Mentor

    The short answer is: ##\; a > 0 \,\wedge \, b>0 \Rightarrow ab>0## is one of the defining conditions for an ordering on a field. (Definition in my copy of van der Waerden's Algebra I)

    The shorter is: All squares have to be positive in ordered fields.

    The shortest is: ##\; i^2 < 0##.
     
  8. Oct 31, 2016 #7

    FactChecker

    User Avatar
    Science Advisor
    Gold Member

    With the meaning of '<' that you are probably thinking of, you are correct.

    When you ask about "generalizing to all inequalities", there are more general uses of the symbol '<' in what are called 'preorders' that can be applied to the complex numbers. For instance, a < b iff |a| < |b| is a preorder. That would put two complex numbers in the same equivalance class if their modulus was equal. (see https://en.wikipedia.org/wiki/Preorder ) There are many other preorders that can be defined on the complex numbers. I assume that this was not what you had in mind. It does not satisfy the antisymetric property: a ≤ b and b ≤ a implies a = b.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted



Similar Discussions: Inequalities of complex number
  1. Complex numbers? (Replies: 6)

  2. Complex numbers (Replies: 2)

  3. Complex numbers (Replies: 2)

Loading...