statement theorem
The complex numbers cannot be ordered
Statement
There is no total order on that makes , with its usual addition and multiplication, an ordered field.
Remarks
Proof: in an ordered field, each square is nonnegative, and . Then . But is a square, by i squared is minus one, a contradiction. There are total orders on the set , for example the lexicographic order. They are not compatible with the field operations. Thus inequalities such as make sense only for real numbers and .
Explanations
L1 human
You cannot say which of and is larger in a way that keeps the usual rules of inequalities. If , then , so . If , then and , so again . 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.
- no evidence level
- Complex numbers object
- Imaginary unit object
- Ordered field definition
- i squared is minus one statement
- The complex numbers cannot be ordered statement
Sources
- Web https://en.wikipedia.org/wiki/Ordered_field, Orderability of fields
What links here
No node links to this node yet.