Intermediate Value, Boundedness, and Extreme Value — the theorems that make calculus work. Each looks obvious, and each genuinely needs the completeness of $\mathbb{R}$ from Unit 2. This unit is where the least upper bound axiom earns its keep.
"A continuous function that changes sign has a root" and "a continuous function on a closed interval attains a maximum" feel obvious — but over $\mathbb{Q}$ both are false, and proving them over $\mathbb{R}$ is the whole point of building the reals carefully.
The IVT guarantees that root-finding by bisection converges; the EVT guarantees that optimization problems actually have a solution to find. Both are silent assumptions in countless algorithms.
Bolzano proved the IVT rigorously in 1817, decades ahead of his time and largely unread. The companion Bolzano–Weierstrass theorem (every bounded sequence has a convergent subsequence) carries both their names.
Take $f(x)=x^2-2$ on rational $[0,2]$. It is continuous, negative at $0$, positive at $2$ — and has no rational root: the graph slips through the hole at $\sqrt2$. Or take $g(x)=\dfrac{1}{x^2-2}$ on the same rational interval: continuous everywhere it is defined, yet unbounded. Completeness is not decoration; it is the load-bearing wall.
If $f$ is continuous on $[a,b]$ and $y$ lies between $f(a)$ and $f(b)$, then $f(c)=y$ for some $c\in[a,b]$.
Every $c>0$ has an $n$th root: $f(x)=x^n-c$ is continuous, $f(0)=-c<0$, and $f(1+c)\ge1+nc-c>0$ by Bernoulli's inequality (Unit 1), so the IVT gives a root in $(0,1+c)$.
A continuous function on $[a,b]$ is bounded there.
A continuous function on $[a,b]$ attains a maximum and a minimum value.
• The interval must be closed and bounded for boundedness and the
EVT.
• The IVT gives existence of $c$, never its value or uniqueness.
• "Attains" means some $c$ has $f(c)=M$ — a supremum alone is not a
maximum.
• Continuity is needed on the whole interval; one bad point can break all
three theorems.
Original problems written for this guide in the style of Spivak's exercises. Write a full solution before opening the answer.
Show $x^3-x-1=0$ has a real root.
Show any continuous $f:[0,1]\to[0,1]$ has a fixed point: $f(c)=c$.
Why does the EVT fail for $f(x)=x$ on $(0,1)$?
Prove every polynomial of odd degree has a real root.
Suppose $f$ is continuous on $[0,1]$ and takes only rational values. Prove $f$ is constant.
Let $f$ be continuous on $[0,1]$ with $f(0)=f(1)$. Prove there is $c\in[0,\tfrac12]$ with $f(c)=f(c+\tfrac12)$.
Show $x^4-2x-5=0$ has at least two real roots.
Let $f$ be continuous on $[a,b]$ with $f(x)>0$ for all $x$. Prove there is $m>0$ with $f(x)\ge m$ for every $x$ — and show this can fail on $(a,b)$.
Course coverage. This unit is part of the complete MAT158H1 topic map. It should cover the following items before you move on:
Use the current UofT MAT158H1 calendar topics as the coverage spine, and pair lecture notes with a Spivak-style proof-calculus text for extra reading. The exact assigned textbook should still be checked against the instructor syllabus.
The spine is: completeness gives compactness behavior, compactness plus continuity gives extrema, and connectedness plus continuity gives intermediate values.
Use these after the main practice set. They are designed to force definition-level reasoning, theorem selection, and mixed application rather than routine calculation only.
Show that $\cos x=x$ has a solution in $(0,1)$.
Give an example of a continuous function on an open interval that has no maximum.
Why is $f(x)=x^2$ uniformly continuous on $[0,10]$?
Why can IVT fail for a discontinuous function?