Looking Deeper at the Meaning of Zero

Every number is defined by where it sits in the continuum relative to one fixed point. That point is zero. It can be thought of the beginning of addition.

Zero is the Unit of addition, giving us back the identity of a thing when we add zero to that thing.

It turns out to have two descriptions that are really the same fact:

  Algebra - the operation that changes nothing

  Geometry - that which has no parts

Zero cannot be subdivided. It cannot be scaled. It cannot be denominated.

The additive identity: the operation that changes nothing

\[a + 0 = a\]

Adding $0$ never changes $a$. That’s the whole definition: $0$ isn’t a quantity. Adding it to a number does nothing. Every other number does something when added to $a$.

Zero = Euclid’s point: the geometric construct of nothingness

A point is that which has no part — no length, nothing to divide.

A segment can always be cut somewhere. Zero has no dimension to put a cut in.

The operational symmetry of $+a$ and $-a$

Think of $+a$ not as a number but as a move: take whatever you have, apply $+a$ to it. It has a mirror move, $-a$, defined by one property:

\[a + (-a) = 0\]

Apply $+a$, then $-a$. Or apply $-a$, then $+a$. Either order, the two moves compose into the do-nothing move. Neither one is “more basic” than the other — that’s the symmetry. Each is exactly what the other one requires to return you to identity, and that requirement is the entire definition of an inverse. Nothing physical about it; it’s a statement about how two operations compose.

Does the symmetry survive combining numbers?

Apply $+a$, then $+b$. Then $-a$, then $-b$. Does the whole chain still compose to the identity?

Yes — it is necessarily so, by two rules you already know and trust:

1. reorder freely (commutativity)
2. regroup freely (associativity)

\[\begin{aligned} (a+b) + (-a+-b) &= a + b + (-a) + (-b) &&\text{(associativity)} \\ &= a + (-a) + b + (-b) &&\text{(commutativity)} \\ &= \big(a + (-a)\big) + \big(b + (-b)\big) &&\text{(associativity)} \\ &= 0 + 0 = 0 \end{aligned}\]

$-a$ composing with $a$ to give $0$ isn’t a discovered fact about the world.

It’s what the words mean: an inverse is, by definition, the move that composes with the original move to produce the identity.