Zeroth law — transitivity of thermal equilibrium: Visual walkthrough

Step 1 — Two objects touching: what does "heat stops flowing" look like?

WHAT. Put a warm body and a cool body in contact. Something flows: energy we call heat leaks from the warmer to the cooler. Over time that leak slows, then stops. When it has stopped, we draw a special symbol between them.

WHY. We need a crisp, observable moment to build everything on. "No net heat flow, macroscopic properties (like pressure $P$ and volume $V$ ) have frozen" is that moment — it is something you can literally watch end (a mercury column stops climbing). See Thermal equilibrium and heat.

PICTURE. In the figure, the left pair is still exchanging heat (wiggly coral arrow, values changing). The right pair has settled: the arrow is gone, and we write the relation symbol $\sim$ between them.

Figure — Zeroth law — transitivity of thermal equilibrium

Step 2 — A body agrees with itself: reflexivity

WHAT. Take one body $A$ . Split it in your imagination into a left half and a right half. Ask: does heat flow between the halves? No — they are already the same. So $A \sim A$ .

WHY. Before we can chain facts together (Step 4), we must know the relation behaves sensibly on the simplest input: a body compared to itself. This "obvious" property has a name we'll need.

PICTURE. One body, a dotted line down the middle, and a crossed-out arrow: nothing crosses.

Step 3 — No preferred direction: symmetry

WHAT. Suppose $A \sim B$ . Now swap which one you name first. Does the fact change? No. If no heat flows from $A$ to $B$ , then none flows from $B$ to $A$ either. So $A \sim B$ forces $B \sim A$ .

WHY. "Equilibrium" is about the absence of flow. Absence has no arrow, no source, no sink. We record this so that later, when we build a group of mutually-agreeing bodies, membership doesn't depend on the order we listed them.

PICTURE. The same two settled bodies, with the relation written both ways — $A \sim B$ on top, $B \sim A$ below, joined by a "same fact" double arrow.

Step 4 — The Zeroth Law itself: transitivity through a middleman

Here is the one property that is not obvious — it is a law of nature, confirmed by experiment.

WHAT. Bring in a third body $C$ . Suppose $A \sim C$ and $B \sim C$ . The Zeroth Law claims: then automatically $A \sim B$ — even though $A$ and $B$ were never touched to each other.

WHY this needs a law and Steps 2–3 didn't. Reflexivity and symmetry follow from the plain meaning of "no flow". But " $A$ agrees with $C$ , $B$ agrees with $C$ , therefore $A$ agrees with $B$ " is a prediction about untested pairs. Nature did not have to be this tidy — but it is. That empirical fact is the Zeroth Law. See Equivalence relations (Mathematics).

PICTURE. $C$ sits in the middle as a matchmaker. Solid mint links $A$ – $C$ and $B$ – $C$ are the given facts. The dashed lavender link $A$ – $B$ is the conclusion the law hands you for free.

Step 5 — Three properties in one word: an equivalence relation

WHAT. Collect the three facts: reflexive (Step 2), symmetric (Step 3), transitive (Step 4). A relation carrying all three earns a single name.

WHY. Mathematics has already studied relations of this exact shape and proved a powerful consequence (Step 6). By recognising $\sim$ as one of them, we inherit that consequence for free.

PICTURE. A three-legged stool: legs labelled R, S, T; the seat labelled "equivalence relation". Remove transitivity (the Zeroth-Law leg) and the stool topples — that's the leg the Zeroth Law provides.

Step 6 — The consequence: bodies fall into non-overlapping families

WHAT. An equivalence relation slices all bodies into separate families (mathematicians say equivalence classes). Rule of a family: every member is in equilibrium with every other member, and no body belongs to two families at once.

WHY the families never overlap. Suppose a body $X$ sat in two families, one containing $A$ and one containing $B$ . Then $A \sim X$ and $B \sim X$ , and transitivity (Step 4) forces $A \sim B$ — so those "two" families are really one. Overlap is impossible precisely because the relation is transitive. No Zeroth Law ⇒ overlapping, contradictory families ⇒ no clean label.

PICTURE. All bodies as dots; the plane partitioned into coloured islands. Inside one island, every dot links to every other. Between islands, no links. A crossed-out overlap region shows what transitivity forbids.

Step 7 — Pin one number on each family: temperature is born

WHAT. Give every family a tag — a single number. Bodies in the same family share the tag; bodies in different families get different tags. That tag is what we name temperature, written $T$ .

WHY a number, and why it's meaningful. Because families don't overlap (Step 6), each body belongs to exactly one family, so it has exactly one tag — the label is single-valued. That is the only reason the symbol $T$ can exist. And the tag can be read off a thermometer: the thermometer is just body $C$ from Step 4, and its column height is the family's number. See Temperature and its measurement and Thermometers and temperature scales.

PICTURE. Each island from Step 6 now wears a numbered flag ( $T = 1, 2, 3, \dots$ ). A thermometer beside them shows the matching mark, arrow pointing island → column height.

Step 8 — Edge and degenerate cases (the ones people trip on)

Degenerate case — one body alone. With a single body there is no pair to compare, so $\sim$ reduces to reflexivity (Step 2) only. It sits in a family of one, tag well-defined. Nothing breaks; the machinery just idles.

The one-picture summary

Everything above, compressed: contact → settle (∼) → three properties → an equivalence relation → non-overlapping families → one number per family = temperature. The Zeroth Law is the single arrow (transitivity) without which the families would smear together and the number $T$ could not exist.

Recall Feynman retelling — the whole walk in plain words

Push two things together and watch heat trickle from the warm one to the cool one until it quits. When it quits, draw a little tilde between them — they "agree". A thing agrees with itself (boring), and agreement doesn't care about order (also boring). Now the interesting part, the actual law: bring a matchmaker $C$ . If $A$ shakes hands with $C$ and $B$ shakes hands with $C$ , then $A$ and $B$ are already friends — you never introduced them, but they'd agree if you did. That single guarantee lets you sort every object in the universe into clubs where everyone inside agrees and nobody belongs to two clubs at once. Slap a number on each club. That number is temperature, and a thermometer is just the matchmaker $C$ carrying the club's number around on a stick of mercury. No matchmaking guarantee (no transitivity) → clubs would overlap → the number would be ambiguous → the word "temperature" would be meaningless. That's the whole story.

Connections

Zeroth law — transitivity of thermal equilibrium (parent)
Thermal equilibrium and heat
Equivalence relations (Mathematics)
Temperature and its measurement
Thermometers and temperature scales
Intensive vs extensive properties
Second law of thermodynamics
First law of thermodynamics