Irrationals & the Real Line

The defect you couldn't see

Every other defect in this stratum was visible. $\mathbb{N}$ obviously couldn't do $3-5$. $\mathbb{Z}$ obviously couldn't do $3\div5$. But in Fractions & the Rationals I told you $\mathbb{Q}$ is dense — between any two rationals there's another — and the line looked completely full. No gaps anywhere.

I lied by omission. The line is riddled with holes. You just can't see them, because the rationals crowd right up to the edge of each hole from both sides without ever landing in it. This is the kind of shit that kept the Greeks up at night. Here's the hole they found.

The diagonal that broke mathematics

Draw a square one unit on each side. Its diagonal $d$ cuts across. By the Pythagorean theorem (which we'll prove properly in the Geometry stratum — for now, trust the most famous fact in math):

$d^2 = 1^2 + 1^2 = 2.$

So $d$ is a positive number whose square is $2$ — it's $\sqrt{2}$, using roots from Exponents & Roots. This length exists; it's the diagonal of a square you can draw with a ruler. Surely such an honest, physical length is a fraction. Right?

No. And we can prove it.

The proof: $\sqrt{2}$ is not a fraction

This is a proof by contradiction — assume the thing you want to disprove, then watch the whole damn universe break. (We'll formalize this technique in Proof by Contradiction over in Logic & Proof; consider this the trailer, and it's a hell of a trailer.)

Suppose, for contradiction, that $\sqrt{2}$ is rational. Then we can write it as a fraction in lowest terms (always possible — reduce until top and bottom share no common factor, using equivalent fractions from Fractions & the Rationals):

$\sqrt{2} = \frac{p}{q}, \qquad p, q \text{ share no common factor}.$

Square both sides: $2 = \dfrac{p^2}{q^2}$, so

$p^2 = 2q^2.$

Read this: $p^2$ is two times something, so $p^2$ is even. Now a key fact (proved in full in the Logic stratum, but believe it: it follows from "odd times odd is odd"): if $p^2$ is even, then $p$ itself is even. So $p = 2k$ for some integer $k$.

Substitute back: $(2k)^2 = 2q^2$, i.e. $4k^2 = 2q^2$, so

$q^2 = 2k^2.$

By the exact same reasoning, $q^2$ is even, so $q$ is even.

But now both $p$ and $q$ are even — they share the factor $2$. That directly contradicts our setup that $p/q$ was in lowest terms with no common factor. The assumption detonated. Therefore the assumption was false:

$\sqrt{2} \text{ is NOT rational.}$

Let that land. Sit with it for a second. There is a perfectly real length — you can draw it with a ruler right now — that no fraction in the universe equals. Not an approximation problem, not a rounding issue. $\mathbb{Q}$ has a hole exactly where $\sqrt{2}$ should be, and the rationals pile up on both sides of that hole forever without ever filling it. This is why the Greeks nearly had a breakdown, and frankly it's appropriate.

The irrationals: a whole new species

Numbers that are not ratios of integers are called irrational. $\sqrt2$ is one. So is $\sqrt3$, $\sqrt5$, and most roots. And the two superstars:

• $\pi \approx 3.14159\ldots$ — the circle's circumference-to-diameter ratio.
• $e \approx 2.71828\ldots$ — the natural growth constant (you'll meet it properly in Exponential Functions).

Both irrational, both fundamental, neither expressible as any fraction.

What does an irrational look like as a decimal? Recall from Fractions & the Rationals: every rational decimal either terminates ($0.25$) or eventually repeats a block ($0.\overline{3}$). An irrational does neither — its decimal expansion runs on forever with no repeating pattern, ever:

$\sqrt2 = 1.41421356\ldots, \qquad \pi = 3.14159265\ldots$

No block ever cycles. That non-repeating, non-terminating sprawl is the signature of irrationality. A rational is a decimal that eventually settles into a rhythm; an irrational never does.

$\mathbb{R}$: filling every last hole

The fix is the same move we've made all stratum: when the system has a defect, forge what's missing. The rationals have holes; we fill every single goddamn one. The result — the rationals plus all the irrationals, every point on the line with no gaps left — is $\mathbb{R}$, the real numbers.

Drag along and feel it: between the rational tick-marks live uncountably many irrationals, plugging every gap. The line is now genuinely solid:

The property that $\mathbb{R}$ has and $\mathbb{Q}$ lacks is completeness: stated informally, the real line has no holes. Anywhere a sequence of numbers is closing in on a target, the target is actually there in $\mathbb{R}$ — unlike in $\mathbb{Q}$, where the rationals could close in on $\sqrt2$ and find nothing home. Completeness is the technical heart of calculus and analysis; for now, "no holes" is the whole idea, and it's enough.

The origin story, complete

Step all the way back. We started this stratum with bare counting and watched four number systems get forged, each to repair the last one's defect:

$\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}.$

• $\mathbb{N}$: counting. Can't subtract past zero.
• $\mathbb{Z}$: add the negatives. Now subtraction always works. Can't divide.
• $\mathbb{Q}$: add the fractions. Now division always works. Has invisible holes.
• $\mathbb{R}$: add the irrationals. Now there are no holes. The line is complete.

Four systems, one creature, upgraded three times — exactly the master plot I promised you in the very first lesson. Every later object in this entire course (vectors, matrices, eigenvalues, all of it) is built on top of $\mathbb{R}$. You now stand on solid ground. Literally — the line finally has no holes to fall through. That took humanity thousands of years to sort out and you just did it in one lesson. Go run the gauntlet.