Foundations — Intermediate Value Theorem

This page assumes nothing. Before we can even read the statement of the IVT, we must build every symbol it uses. We go one brick at a time; no brick uses a brick we have not yet laid.

0. What numbers are we even using? $\mathbb{R}$ and $\mathbb{Q}$

Picture the number line as a solid, unbroken ruler. Every real number is a point on it, with no gaps. The rationals $\mathbb{Q}$ are only some of those points — densely sprinkled, but with pinprick holes (e.g. no fraction lands exactly on $\sqrt{2}$).

Why the topic needs it: IVT lives on $\mathbb{R}$ precisely because $\mathbb{R}$ has no gaps. The same theorem fails on $\mathbb{Q}$ — we will see why in Section 6.

1. A function $f$ — a machine that turns numbers into numbers

The picture of a function is its graph: for each input $x$ on the horizontal axis, we plot a dot at height $f(x)$. Sweep $x$ across and the dots trace a curve.

Why the topic needs it: IVT is a statement about the heights a function reaches. No function, no heights, no theorem.

2. Comparing numbers — $<$, $>$, $\le$, $\ge$

Before intervals, we need the language of ordering: how we say one number sits to the left or right of another on the line.

Why the topic needs it: "$N$ between $f(a)$ and $f(b)$", "opposite signs", and "least upper bound" are all statements about $<$ and $\le$. Without ordering, none of them parse.

3. The interval $[a,b]$ — the stretch of inputs we watch

Picture a strip of the horizontal axis. Filled dots at the ends mean "included" (closed); hollow dots mean "excluded" (open).

Why the topic needs it: IVT compares the two endpoint heights $f(a)$ and $f(b)$. Both must exist — hence closed.

4. Continuity — "no teleporting"

Compare the two pictures below: the left curve flows; the right one jumps at a point, skipping a whole band of heights in an instant.

Why the topic needs it: This is the one non-negotiable hypothesis. See Continuity for the formal $\epsilon$–$\delta$ version; here the pen picture is enough.

5. The intermediate value $N$ — a target height between the ends

Picture a horizontal line at height $y=N$ drawn across the graph. The claim will be: this line must cross the curve.

Why the topic needs it: $N$ is the "level" we insist the curve reaches. Without a target height there is nothing to hit.

6. "There exists" $\exists$ and "belongs to" $\in$ — the language of the conclusion

Why the topic needs it: The whole conclusion is $\exists c\in (a,b):f(c)=N$ — "there is at least one input $c$ inside the interval whose output equals the target $N$." IVT is an existence promise, nothing more.

7. Supremum $\sup$ and completeness — the reason $c$ is really there

You do not need these to use IVT, but they are why it is true, so we define them.

Picture a set of dots on the number line pushed as far right as they go; $\sup S$ is the exact right-edge they crowd up against (even if no single dot reaches it).

Why the topic needs it: the crossing point $c$ is defined as a supremum in the proof. Completeness is the guarantee that this $c$ exists as a genuine real number. On the rationals $\mathbb{Q}$ there are gaps (e.g. no rational $\sup$ for the set of rationals below $\sqrt{2}$), which is exactly why IVT fails there.

The prerequisite map

Equipment checklist

Cover the right side and see if you can produce each answer.