Skip to content
NCERT Exemplar · Q46

Q.The order relation is defined on the set of complex numbers.

Andaman Nicobar CbseShort· 1mImportance★★★★★est
93% · 82/88 Questions
🔒 Locked · start free trial →

You're viewing a preview — the full solution, concept, methods & PYQ mapping are locked.

Start your 14-day free trial to unlock the full solution →

Order relations require a total ordering that respects algebraic operations, which is impossible on the complex numbers because no ordering can make C\mathbb{C} compatible with its field structure.

The statement claims that an order relation is defined on the set of complex numbers. This is false, and understanding why reveals something deep about the nature of ordering and the complex number system.

An order relation on a field must satisfy certain properties to be useful in analysis and algebra. Specifically, for the real numbers R\mathbb{R}, we have a natural ordering ≤\leq that is:

  • Total: for any a,b∈Ra, b \in \mathbb{R}, either a≤ba \leq b or b≤ab \leq a
  • Compatible with addition: if a≤ba \leq b, then a+c≤b+ca + c \leq b + c
  • Compatible with multiplication: if a≤ba \leq b and 0≤c0 \leq c, then ac≤bcac \leq bc

The question is: can we extend such an ordering to C\mathbb{C}?

Why complex numbers resist ordering

The fundamental obstruction comes from the imaginary unit ii. Let's see what happens if we try to order the complex numbers.

  1. Assume an order exists. Suppose we could define ≤\leq on C\mathbb{C} satisfying the properties above.

  2. Consider where ii sits relative to zero. We must have either i>0i > 0, i<0i < 0, or i=0i = 0. Since i≠0i \neq 0, exactly one of the first two must hold.

  3. Case 1: If i>0i > 0. Then by compatibility with multiplication, i⋅i>0⋅ii \cdot i > 0 \cdot i, which gives i2>0i^2 > 0. But i2=−1i^2 = -1, so we'd have −1>0-1 > 0. Adding 11 to both sides: 0>10 > 1. This contradicts the fact that 1=1⋅1>01 = 1 \cdot 1 > 0 (since any nonzero number squared must be positive in an ordered field).

  4. Case 2: If i<0i < 0. Then −i>0-i > 0. By the same multiplication argument, (−i)2>0(-i)^2 > 0, which gives i2>0i^2 > 0, so again −1>0-1 > 0. Same contradiction. …

Unlock everything free for 14 days

  • Full step-by-step solutions
  • Concept-first explanations
  • Methods, shortcuts & mistakes
  • PYQ mapping + timed mock tests

Full access for 14 days. No credit card required.