Before distance, before numbers — there was the act of drawing a line.
Consider the most fundamental cognitive act possible: you draw a line. The line separates the world into two regions — an inside and an outside. Everything on one side is "this." Everything on the other side is "not this."
This act — called a distinction — is more primitive than counting, more primitive than naming, more primitive than measurement. Before you can say "one, two, three," you must be able to say "this, not that." The boundary creates the very possibility of identity.
Having drawn one boundary, you can draw another entirely inside the first. This creates a container within a container — a nesting.
A point inside the inner container has an address — a sequence describing which container holds it at each level, from outermost inward. To measure is to answer: in which container does this thing reside? The precision of measurement is the depth of nesting.
Level 1: Two large boxes, labeled $0$ and $1$.
Level 2: Inside each large box, two medium boxes, labeled $0$ and $1$.
Level 3: Inside each medium box, two small boxes, labeled $0$ and $1$.
A specific small box has the address $(1, 0, 1, \ldots)$: large box $1$, medium box $0$ within that, small box $1$ within that.
Containers are nested along a single dimension, like Russian dolls. Each container fits inside exactly one larger container. There is no branching. The address is a single real number — the coordinate of the point. Precision is the length of the interval.
At each level, a container contains multiple alternative sub-containers, and the point must be in exactly one of them. The address is a sequence of choices — a path through a tree of containers. Precision is the depth of the path.
These two ways are not merely different. They are the only two ways, in a precise sense established by Ostrowski's theorem.
If zero is simply "nothing," how can nothing be something? How can we speak of it, count with it, use it in calculations?
The container perspective resolves this puzzle. Zero is an empty container. The boundary exists — the line that defines the container has been drawn. The space inside is empty. The emptiness is a positive fact about the container, not the absence of all facts.
Zero is the number that answers: "How many items are in this container?" when the answer is "none." It is a second-order concept — a number about a number — and it is only coherent when understood through containers.
A metric is a function $d(x, y)$ that assigns a non-negative number (the distance) to every pair of points. It must satisfy three axioms:
The triangle inequality is the crucial one. It is the mathematical root of error accumulation — and its strengthening in hierarchical spaces is what makes fault-tolerant memory possible.