The real numbers have an ordering on them–given two numbers and , we can tell whether or . So as math people, we like to generalize this to other sets–when can we say that a general set is ordered? In this post, we’re going to explain the explicit of idea of what it means for a field to be ordered, and then show that the complex numbers *can’t* be ordered–no matter what ordering you put on it. (If you don’t know what a field is, just think of the real numbers or the complex numbers .)

In the real numbers, we say that exactly when , that is, is *positive. *So since we’re trying to generalize the idea of “ordering”, one way is to do that is to figure out how to generalize the idea of “positive” numbers. So (and I’m being a little loose here), let’s say we only have the idea of “adding”, which we’ll denote with +, and multiplication, which we’ll denote by “*”. This is sort of what it means to be a “general field” (You might want to think about which properties of positive numbers can be defined only with +, *, or if this is too vague, just keep reading.)

Here are the two that are most important about the positive numbers–one is that if you add two positive numbers, you get a positive number again. The other is that if you multiply two positive numbers, you get a positive number again. These properties say that whatever set of positive numbers we have, it must be *closed under addition* and *closed under multiplication* resepectively.

Oh–and one other point. If we pick a generic number , we want to say that either is positive, negative, or zero. Also, has to be exactly one of them (so 10 can’t also be negative, for example). It turns out that’s all we need to make our definition of an ordered field:

**Definition: **We say that a field is an *ordered field *if it has a set (of “positive numbers”) such that:

- ( is closed under addition) If we have two elements and , then their sum is also in , that is, .
- ( is closed under multiplication) If we have two elements and , then their product is also in , that is, .
- (All nonzero numbers are positive or negative) For all in our field, exactly one of the following holds: or .

Now we’ll show something pretty cool.

**Proposition: **The complex numbers is *not *an ordered field.

Proof: To show this, we’re going to use a method called *proof by contradiction. *We’re essentially going to show that if *was *an ordered field, something bad will happen. So let’s assume *was *an ordered field and see if we can find anything weird happening.

Well one special element in that’s not in the real numbers is , where . So since , either or is positive, according to (3) above.

If was positive, then is a positive number, by (2). But again by (2), this says that is positive, so and -1 are both positive. This violates (3).

Okay, so what if was positive instead? Well, a pretty similar thing happens, since will still be positive, so we’ll get the same contradiction that 1 and -1 are both positive.

So there’s no way to order the complex numbers, at least as a field. Woah! That’s pretty neat. The mathematicians reading this may argue that if you loosen up your definition of just a set ordering, instead of a field ordering, you could put an ordering on . But instead of doing that and arguing with your computer screen, you should try to prove to yourself that any finite field can’t be ordered (as a field). It’s more fun that way.