Math 2.0

statement theorem

The complex numbers cannot be ordered

Statement

There is no total order ≤\le on C\mathbb{C} that makes C\mathbb{C}, with its usual addition and multiplication, an ordered field.

Remarks

Proof: in an ordered field, each square is nonnegative, and 1=12>01 = 1^2 > 0. Then −1<0-1 < 0. But −1=i2-1 = i^2 is a square, by i squared is minus one, a contradiction. There are total orders on the set C\mathbb{C}, for example the lexicographic order. They are not compatible with the field operations. Thus inequalities such as z<wz < w make sense only for real numbers zz and ww.

Explanations

L1 human

You cannot say which of ii and 00 is larger in a way that keeps the usual rules of inequalities. If i>0i > 0, then i⋅i>0i \cdot i > 0, so −1>0-1 > 0. If i<0i < 0, then −i>0-i > 0 and (−i)(−i)>0(-i)(-i) > 0, so again −1>0-1 > 0. Both cases are impossible.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 5 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Complex numbers object
  2. Imaginary unit object
  3. Ordered field definition
  4. i squared is minus one statement
  5. The complex numbers cannot be ordered statement

Sources

  1. Web https://en.wikipedia.org/wiki/Ordered_field, Orderability of fields