Book 2A

© 2026 NeckPinch · www.neckpinch.com · All rights reserved.

Course 2Book 2A: Numbers, Limits and the IntegralChapter 9

Continuous Functions

Continuity, the intermediate value theorem, uniform continuity, and the first maximum principle.

27 min read · Updated Oct 2, 2026

Read with Tao, Analysis I, chapter "Continuous functions on R" (subsets of the real line, limiting values of functions, continuous functions, left and right limits, the maximum principle, the intermediate value theorem, monotonic functions, uniform continuity, limits at infinity).

In this chapter · 8 sections
  1. 9.1Subsets of the real line
  2. 9.2Limits of functions and continuity
  3. 9.3The maximum principle
  4. 9.3.1What a function looks like at its maximum
  5. 9.4The intermediate value theorem
  6. 9.5Monotone functions and inverses
  7. 9.6Uniform continuity
  8. 9.7Limits at infinity
  9. 9.8Exercises

A function is continuous if it has no jumps: small changes in the input cause small changes in the output. The precise definition is the ε–δ sentence of 2A.5 Quantifiers and the Shape of a Proof, and this chapter puts it to work. Its three main theorems sound almost too obvious to need proof:

  • a continuous function on a closed interval attains a largest and a smallest value;
  • a continuous function that is negative at one point and positive at another is zero somewhere in between;
  • a continuous function on a closed interval is uniformly continuous.

Each one is false if the real numbers are replaced by the rationals, or the closed interval by an open one. So each proof must use, somewhere, completeness or compactness, and seeing exactly where is the point of the chapter.

The first theorem is called the maximum principle in Tao's book (his Section 9.6), and the name is apt. Every maximum principle for the heat equation and for Ricci flow, the main tools of Courses 6 and 11, begins with exactly this statement and the observation of what a function looks like at its maximum.

By the end of this chapter you will be able to:

  • prove continuity and discontinuity from the definition, and with sequences;
  • prove the maximum principle and the intermediate value theorem, and say which property of R\mathbb{R} each uses;
  • distinguish continuity from uniform continuity, and prove the Heine–Cantor theorem;
  • explain why, at an interior maximum, the derivative vanishes and the second derivative is non-positive, and why that observation drives maximum principles for PDE.

Subsets of the real line

The behaviour of a function depends heavily on the set it is defined on, so we start there.

Definition 9.1 Adherent points, closure, closed sets

Let X⊆RX \subseteq \mathbb{R}. A real number xx is adherent to XX if for every ε>0\varepsilon > 0 some point of XX lies within ε\varepsilon of xx. The closure X‾\overline{X} is the set of all adherent points. XX is closed if X‾=X\overline{X} = X, that is, if XX contains every point that can be approximated from inside it.

So (0,1)‾=[0,1]\overline{(0, 1)} = [0, 1]: the endpoints are adherent to the open interval but not in it. Closed intervals [a,b][a, b] are closed, and so are R\mathbb{R}, N\mathbb{N} and Z\mathbb{Z}. The rationals are not: Q‾=R\overline{\mathbb{Q}} = \mathbb{R}, by density (2A.4 The Real Numbers).

In terms of sequences: xx is adherent to XX exactly when some sequence of points of XX converges to xx. So a set is closed exactly when limits of convergent sequences in it stay in it.

Theorem 9.2 Heine–Borel, for the real line

For X⊆RX \subseteq \mathbb{R}, the following are equivalent:

  1. XX is closed and bounded;
  2. every sequence in XX has a subsequence converging to a point of XX.

Proof. (1 ⇒ 2) A sequence in a bounded XX is bounded, so by Bolzano–Weierstrass (2A.6 Sequences) a subsequence converges to some xx; and x∈Xx \in X because XX is closed. (2 ⇒ 1) If XX were unbounded, there would be xn∈Xx_n \in X with ∣xn∣≥n|x_n| \geq n, and no subsequence could converge. If XX weren't closed, there would be an adherent x∉Xx \notin X and a sequence in XX converging to xx; every subsequence also converges to xx, which isn't in XX.

Property 2 is called (sequential) compactness, and closed bounded intervals [a,b][a, b] are the model compact sets. In 2B.3 Compactness compactness is defined for general spaces, where "closed and bounded" no longer suffices. Property 2 is the one that survives.

Limits of functions and continuity

Definition 9.3 Limit of a function

Let f:X→Rf : X \to \mathbb{R} and let x0x_0 be adherent to XX. We say f(x)→Lf(x) \to L as x→x0x \to x_0 in XX if for every ε>0\varepsilon > 0 there is δ>0\delta > 0 such that ∣f(x)−L∣≤ε|f(x) - L| \leq \varepsilon for every x∈Xx \in X with ∣x−x0∣<δ|x - x_0| < \delta.

Definition 9.4 Continuity

A function f:X→Rf : X \to \mathbb{R} is continuous at x0∈Xx_0 \in X if f(x)→f(x0)f(x) \to f(x_0) as x→x0x \to x_0 in XX. That is,

∀ε>0  ∃δ>0  ∀x∈X: ∣x−x0∣<δ  ⟹  ∣f(x)−f(x0)∣≤ε.\forall \varepsilon > 0\ \ \exists \delta > 0\ \ \forall x \in X:\ |x - x_0| < \delta \implies |f(x) - f(x_0)| \leq \varepsilon.

It is continuous if it is continuous at every point of XX.

The definition reads as a tolerance contract (2A.5 Quantifiers and the Shape of a Proof): any output accuracy ε\varepsilon can be guaranteed by a sufficiently accurate input, δ\delta. The most useful equivalent form uses sequences.

Proposition 9.5 Sequential continuity

ff is continuous at x0x_0 if and only if f(xn)→f(x0)f(x_n) \to f(x_0) for every sequence (xn)(x_n) in XX converging to x0x_0.

Proof. (⇒) Given ε\varepsilon, take δ\delta from continuity, and NN with ∣xn−x0∣<δ|x_n - x_0| < \delta for n≥Nn \geq N. Then ∣f(xn)−f(x0)∣≤ε|f(x_n) - f(x_0)| \leq \varepsilon for n≥Nn \geq N.

(⇐) By contrapositive. If ff isn't continuous at x0x_0, negating the definition (2A.5 Quantifiers and the Shape of a Proof) gives an ε>0\varepsilon > 0 such that for every δ>0\delta > 0 some xx within δ\delta of x0x_0 has ∣f(x)−f(x0)∣>ε|f(x) - f(x_0)| > \varepsilon. Taking δ=1/n\delta = 1/n gives points xn→x0x_n \to x_0 with f(xn)f(x_n) staying ε\varepsilon away from f(x0)f(x_0).

The sequential form makes the algebra of continuous functions immediate from the limit laws of 2A.6 Sequences: sums, products and compositions of continuous functions are continuous, and so are quotients where the denominator is nonzero. Polynomials, rational functions, ∣x∣|x| and x\sqrt x are all continuous on their domains.

Example 9.6 Ways to be discontinuous
  • A jump. The sign function (−1-1 for x<0x < 0, 00 at 00, 11 for x>0x > 0) has different one-sided limits at 00: from the left −1-1, from the right 11.
  • A removable discontinuity. f(x)=sin⁡xxf(x) = \frac{\sin x}{x} for x≠0x \neq 0, with f(0)=0f(0) = 0, has lim⁡x→0f(x)=1≠f(0)\lim_{x\to 0} f(x) = 1 \neq f(0). Redefining f(0)=1f(0) = 1 repairs it.
  • Oscillation. sin⁡(1/x)\sin(1/x) has no limit at 00: along xn=12πnx_n = \frac{1}{2\pi n} it is 00, along xn=12πn+π/2x_n = \frac{1}{2\pi n + \pi/2} it is 11.
  • Everywhere. Dirichlet's function, 11 on rationals and 00 on irrationals, is discontinuous at every point, because every interval contains both kinds of number. It returns in 2A.11 The Riemann Integral as a function the Riemann integral can't handle.
Figure 9.1. Three kinds of discontinuity at 00: a jump (left and right limits differ), a removable one (the limit exists but disagrees with the value), and oscillation (no limit at all).

The maximum principle

Theorem 9.7 The maximum principle (extreme value theorem)

Let f:[a,b]→Rf : [a, b] \to \mathbb{R} be continuous. Then ff is bounded, and it attains its maximum and its minimum: there are points xmax⁡,xmin⁡∈[a,b]x_{\max}, x_{\min} \in [a, b] with f(xmin⁡)≤f(x)≤f(xmax⁡)f(x_{\min}) \leq f(x) \leq f(x_{\max}) for every x∈[a,b]x \in [a, b].

Proof (By contradiction and compactness). Bounded. This is the first instance of the contradiction–compactness template of 2A.5 Quantifiers and the Shape of a Proof. Suppose ff is not bounded above. Then for each nn there is xn∈[a,b]x_n \in [a, b] with f(xn)>nf(x_n) > n, a sequence of worse and worse counterexamples. By Heine–Borel some subsequence xnkx_{n_k} converges to a point x∈[a,b]x \in [a, b]. By continuity f(xnk)→f(x)f(x_{n_k}) \to f(x), a finite number; but f(xnk)>nk→∞f(x_{n_k}) > n_k \to \infty. Contradiction.

Attained. Let M=sup⁡x∈[a,b]f(x)M = \sup_{x \in [a,b]} f(x), finite by the first part. For each nn, M−1nM - \frac1n is not an upper bound, so there is xnx_n with f(xn)>M−1nf(x_n) > M - \frac1n. Again a subsequence converges to some x∈[a,b]x \in [a, b], and by continuity f(x)=lim⁡f(xnk)≥Mf(x) = \lim f(x_{n_k}) \geq M. Since also f(x)≤Mf(x) \leq M, we get f(x)=Mf(x) = M. The minimum is the same argument applied to −f-f.

Both conclusions fail without compactness. On the open interval (0,1](0, 1], the continuous function 1/x1/x is unbounded; on (0,1)(0, 1), the function f(x)=xf(x) = x is bounded but has no maximum, since it gets arbitrarily close to 11 without reaching it. On [0,∞)[0, \infty), f(x)=xf(x) = x is unbounded. And over the rationals, f(x)=−(x2−2)2f(x) = -(x^2 - 2)^2 on [1,2]∩Q[1, 2] \cap \mathbb{Q} has supremum 00, never attained, because 2\sqrt 2 is missing.

Figure 9.2. On a closed interval a continuous function attains its maximum and minimum (left). On an interval missing an endpoint the supremum may be approached but never reached (right): the open circle is not part of the graph.
In the world Model A best design exists, if the design space is compact

Engineering optimisation starts by asking whether an optimum exists at all, and the maximum principle is the basic tool for answering. Consider a cylindrical can that must hold a fixed volume VV. With radius rr and height h=V/(πr2)h = V/(\pi r^2), the metal used is proportional to its surface area

A(r)=2πr2+2Vr.A(r) = 2\pi r^2 + \frac{2V}{r}.

On (0,∞)(0, \infty) the maximum principle doesn't apply directly: the interval isn't closed and bounded. But A(r)→∞A(r) \to \infty both as r→0r \to 0 (tall thin cans) and as r→∞r \to \infty (flat wide ones). So any candidate for the minimum lies in some closed interval [r1,r2][r_1, r_2] outside which AA is larger than, say, A(1)A(1). On that compact interval a minimum exists. Calculus (2A.10 Derivatives) then locates it: A′(r)=4πr−2V/r2=0A'(r) = 4\pi r - 2V/r^2 = 0 at r=(V/2π)1/3r = (V/2\pi)^{1/3}, where h=2rh = 2r. The can of least surface area is as tall as it is wide. For V=330 cm3V = 330\ \text{cm}^3 that is r≈3.74r \approx 3.74 cm and h≈7.49h \approx 7.49 cm.

Real drinks cans are taller and narrower than this, because the model leaves things out: for instance, the ends of a can are typically made of thicker metal than its wall, which changes the cost to be minimised. The mathematical lesson stands. To prove a minimum exists, first trap it in a compact set, then use continuity. This is the direct method of the calculus of variations (4A.6 Weak Convergence and the Direct Method, 6A.9 Calculus of Variations and Gradient Flows), and the same move proves that Perelman's entropy has a minimiser (12A.3 The 𝓦-Entropy).

What a function looks like at its maximum

The maximum principle says that a maximum exists. The next chapter (2A.10 Derivatives) shows what happens at an interior maximum, but the fact is so central to this guidebook that it belongs here as a preview.

The idea At an interior maximum

If a differentiable function ff attains its maximum at a point x0x_0 inside the interval, then f′(x0)=0f'(x_0) = 0, and if ff is twice differentiable, f′′(x0)≤0f''(x_0) \leq 0: the graph is flat and bends down there. Every maximum principle for differential equations uses this. For the heat equation ∂tu=∂x2u\partial_t u = \partial_x^2 u on a closed interval, suppose the maximum of uu over space and time occurred for the first time at an interior point and a positive time. There ∂x2u≤0\partial_x^2 u \leq 0, but ∂tu≥0\partial_t u \geq 0, since uu has just risen to its maximum. With a little extra care this is impossible, and so a hot spot can never form spontaneously in the middle of a cooling rod (6A.4 Maximum Principles). Hamilton's maximum principle for Ricci flow (11A.4 Maximum Principles under Ricci Flow) runs the same argument for the curvature of a closed manifold, where a maximum is attained because the manifold is compact: the maximum principle of this chapter, one level up.

Figure 9.3. At an interior maximum the tangent is flat (f′=0f' = 0) and the graph bends down (f′′≤0f'' \leq 0). Right, a preview of 6A.4 Maximum Principles: the same observation, made in space and in time, forbids a new hot spot for the heat equation.

The intermediate value theorem

Theorem 9.8 Intermediate value theorem

Let f:[a,b]→Rf : [a, b] \to \mathbb{R} be continuous, and let yy be any number between f(a)f(a) and f(b)f(b). Then f(c)=yf(c) = y for some c∈[a,b]c \in [a, b].

Proof. We may assume f(a)<y<f(b)f(a) < y < f(b) (the case f(a)>y>f(b)f(a) > y > f(b) is the same with −f-f). Let E={x∈[a,b]:f(x)<y}E = \{x \in [a, b] : f(x) < y\}. It contains aa and is bounded by bb, so it has a supremum cc (2A.4 The Real Numbers). We show f(c)=yf(c) = y.

If f(c)<yf(c) < y: then c<bc < b, and by continuity f(x)<yf(x) < y for all xx in some interval [c,c+δ)[c, c + \delta), so points beyond cc belong to EE, contradicting that cc is an upper bound. If f(c)>yf(c) > y: then c>ac > a, and by continuity f(x)>yf(x) > y on some interval (c−δ,c](c - \delta, c], so no point of that interval lies in EE, and c−δc - \delta would be a smaller upper bound. So f(c)=yf(c) = y.

The proof uses the least upper bound property and nothing else. Over Q\mathbb{Q} the theorem fails: x2−2x^2 - 2 is negative at 11 and positive at 22 but has no rational zero (2A.3 Integers and Rationals). In a real sense, the intermediate value theorem is the completeness of the line, restated for functions.

In the world Model Two opposite points on the equator have the same temperature

At any instant, there are two diametrically opposite points on the equator with exactly the same temperature, provided temperature varies continuously along the equator. Measure position by the angle θ\theta and let T(θ)T(\theta) be the temperature. Consider

g(θ)=T(θ)−T(θ+π),g(\theta) = T(\theta) - T(\theta + \pi),

the difference between a point and its antipode. Then g(θ+π)=−g(θ)g(\theta + \pi) = -g(\theta). So either g(0)=0g(0) = 0 and we are done, or g(0)g(0) and g(π)g(\pi) have opposite signs, and by the intermediate value theorem gg vanishes somewhere between: there T(θ)=T(θ+π)T(\theta) = T(\theta + \pi). Nothing about weather was used except continuity. The same argument applies to air pressure, or altitude, along any great circle. In 7A.7 Smooth Topology a deeper theorem (Borsuk–Ulam) gives two antipodal points on the whole sphere at which temperature and pressure both agree.

Figure 9.4. g(θ)=T(θ)−T(θ+π)g(\theta) = T(\theta) - T(\theta + \pi) changes sign between 00 and π\pi, because g(θ+π)=−g(θ)g(\theta + \pi) = -g(\theta). By the intermediate value theorem it vanishes somewhere: two antipodal points with equal temperature. (The temperature profile here is illustrative; the conclusion holds for any continuous one.)
In the world Model The walker who returns

A walker sets off up a mountain path at 7 a.m. and reaches the summit at 5 p.m. The next morning she starts down the same path at 7 a.m. and is home by 5 p.m. Is there a point on the path that she passes at the same time of day on both days? Yes. Let u(t)u(t) and d(t)d(t) be her distances along the path at time tt on the up and down days. Then u(t)−d(t)u(t) - d(t) is continuous, negative at 7 a.m. and positive at 5 p.m., so it is zero at some moment. (Picture both days happening at once: two walkers on the same path, one going up and one coming down, must meet.)

Monotone functions and inverses

A function is increasing if x<yx < y implies f(x)≤f(y)f(x) \leq f(y), and strictly increasing if it implies f(x)<f(y)f(x) < f(y). Monotone functions are nearly continuous automatically: they can only have jump discontinuities, and only countably many of them (Exercise 9.15). A strictly monotone continuous function behaves especially well.

Proposition 9.9 Continuous inverses

If f:[a,b]→Rf : [a, b] \to \mathbb{R} is continuous and strictly increasing, then ff is a bijection from [a,b][a, b] onto [f(a),f(b)][f(a), f(b)], and its inverse is continuous and strictly increasing.

Surjectivity onto [f(a),f(b)][f(a), f(b)] is the intermediate value theorem, injectivity is strict monotonicity, and continuity of the inverse follows because an increasing function can only fail to be continuous by jumping, and the inverse can't jump over values its domain contains. This is how yn\sqrt[n]{y}, log⁡y\log y and arcsin⁡y\arcsin y get their continuity: as inverses of continuous, strictly monotone functions.

In the world In use Reading a sensor backwards

A thermistor is a resistor whose resistance changes strongly and monotonically with temperature. A digital thermometer measures resistance RR and must report the temperature TT with R=f(T)R = f(T), that is, evaluate f−1f^{-1}. Because ff is continuous and strictly monotone over the working range, the inverse exists and is continuous, so a small error in measuring RR causes only a small error in the reported TT. Manufacturers supply the curve ff as a fitted formula, such as the Steinhart–Hart equation (1968), or as a table. The firmware inverts it, often by the bisection of 2A.6 Sequences.

Uniform continuity

Continuity allows the input tolerance δ\delta to depend on the point. Uniform continuity asks for one δ\delta that works everywhere (2A.5 Quantifiers and the Shape of a Proof).

Definition 9.10 Uniform continuity

f:X→Rf : X \to \mathbb{R} is uniformly continuous if for every ε>0\varepsilon > 0 there is δ>0\delta > 0 such that ∣f(x)−f(y)∣≤ε|f(x) - f(y)| \leq \varepsilon for all x,y∈Xx, y \in X with ∣x−y∣<δ|x - y| < \delta.

f(x)=1/xf(x) = 1/x is continuous on (0,1](0, 1] but not uniformly continuous: near 00 the required δ\delta shrinks to zero (2A.5 Quantifiers and the Shape of a Proof). On [1,∞)[1, \infty) it is uniformly continuous, since ∣1/x−1/y∣=∣x−y∣/(xy)≤∣x−y∣|1/x - 1/y| = |x - y|/(xy) \leq |x - y| there. A cleaner sufficient condition:

Definition 9.11 Lipschitz functions

ff is Lipschitz with constant KK if ∣f(x)−f(y)∣≤K∣x−y∣|f(x) - f(y)| \leq K|x - y| for all x,yx, y. Lipschitz functions are uniformly continuous (take δ=ε/K\delta = \varepsilon/K).

The absolute value is Lipschitz with K=1K = 1, and so is max⁡(f,g)\max(f, g) whenever ff and gg are (Exercise 9.16), even though such a maximum may have corners where it isn't differentiable. That fact matters later. In Ricci flow one studies the maximum of the curvature over the manifold, M(t)=max⁡xF(x,t)M(t) = \max_x F(x, t), which is typically not differentiable in tt but is Lipschitz. Hamilton's trick (11A.4 Maximum Principles under Ricci Flow) is the observation that at almost every time its derivative is ∂tF\partial_t F evaluated at a point where the maximum is attained.

Theorem 9.12 Heine–Cantor

A continuous function on a closed bounded interval [a,b][a, b] is uniformly continuous.

Proof (By contradiction and compactness). Suppose not. Negating the definition: there is ε>0\varepsilon > 0 such that for every nn there are points xn,yn∈[a,b]x_n, y_n \in [a, b] with ∣xn−yn∣<1n|x_n - y_n| < \frac1n but ∣f(xn)−f(yn)∣>ε|f(x_n) - f(y_n)| > \varepsilon. By Heine–Borel a subsequence xnkx_{n_k} converges to some x∈[a,b]x \in [a, b], and then ynk→xy_{n_k} \to x too, since ∣xnk−ynk∣→0|x_{n_k} - y_{n_k}| \to 0. By continuity at xx, both f(xnk)f(x_{n_k}) and f(ynk)f(y_{n_k}) converge to f(x)f(x), so their difference tends to 00, contradicting ∣f(xnk)−f(ynk)∣>ε|f(x_{n_k}) - f(y_{n_k})| > \varepsilon.

The template again: assume the uniform statement fails, extract a sequence of counterexamples, use compactness to find a limit point, and get a contradiction from continuity there.

In the world In use Uniform continuity is what makes sampling safe

Digital audio records a continuous signal by sampling it at regular intervals, 44,100 times a second for a CD. Plotting software, lookup tables in engineering codes and graphics hardware all similarly replace a function by its values on a grid, joined by straight lines. When is that safe? If ff is uniformly continuous, then for any accuracy ε\varepsilon there is a spacing δ\delta, the same everywhere, such that ff varies by at most ε\varepsilon across each grid cell. Then the piecewise-linear interpolation through the samples is within ε\varepsilon of ff at every point (Exercise 9.17). For a function like sin⁡(1/x)\sin(1/x) near 00, no fixed spacing works: however fine the grid, there are cells near 00 in which the function swings from −1-1 to 11. Signal processing makes the same point quantitatively with the Nyquist–Shannon sampling theorem: a signal can be recovered from its samples only if it doesn't oscillate faster than the sampling rate can capture.

Figure 9.5. Left: for a uniformly continuous function, one grid spacing gives the same accuracy everywhere. Right: sin⁡(1/x)\sin(1/x) near 00 is continuous on (0,1](0, 1] but not uniformly continuous, and no fixed grid can follow it.

Limits at infinity

Finally, f(x)→Lf(x) \to L as x→+∞x \to +\infty means: for every ε>0\varepsilon > 0 there is MM with ∣f(x)−L∣≤ε|f(x) - L| \leq \varepsilon for all x>Mx > M. This is convergence of a sequence, with the index nn replaced by a real variable. All the limit laws carry over.

Recall Where we stand

A function is continuous when it respects limits of sequences. On a closed bounded interval, continuous functions are bounded, attain their maximum and minimum (Tao's "maximum principle"), take every intermediate value, and are uniformly continuous. Each of these uses either the least upper bound property or Bolzano–Weierstrass, and fails over Q\mathbb{Q} or on open intervals. At an interior maximum the derivative vanishes and the second derivative is non-positive. 2A.10 Derivatives proves this, and builds differential calculus on it.

Exercises

Exercise 9.13 From the definition

Prove directly from the ε–δ definition that f(x)=xf(x) = \sqrt x is continuous on [0,∞)[0, \infty). (Hint: for x0>0x_0 > 0, ∣x−x0∣=∣x−x0∣x+x0≤∣x−x0∣x0|\sqrt x - \sqrt{x_0}| = \frac{|x - x_0|}{\sqrt x + \sqrt{x_0}} \leq \frac{|x - x_0|}{\sqrt{x_0}}; treat x0=0x_0 = 0 separately.) Is it uniformly continuous on [0,∞)[0, \infty)? Is it Lipschitz?

Solution

For x0>0x_0 > 0 take δ=εx0\delta = \varepsilon\sqrt{x_0}. At x0=0x_0 = 0, ∣x∣≤ε|\sqrt x| \leq \varepsilon when x<ε2x < \varepsilon^2. It is uniformly continuous on [0,∞)[0, \infty): ∣x−y∣≤∣x−y∣|\sqrt x - \sqrt y| \leq \sqrt{|x - y|} for all x,y≥0x, y \geq 0, so δ=ε2\delta = \varepsilon^2 works everywhere. It is not Lipschitz: x−0x−0=1x→∞\frac{\sqrt x - 0}{x - 0} = \frac{1}{\sqrt x} \to \infty as x→0x \to 0.

Exercise 9.14 A fixed point

Let f:[0,1]→[0,1]f : [0, 1] \to [0, 1] be continuous. Show that f(c)=cf(c) = c for some cc. (Apply the intermediate value theorem to f(x)−xf(x) - x.) This is the one-dimensional Brouwer fixed point theorem (7A.4 The Fundamental Group).

Exercise 9.15 Monotone functions jump countably often

Let ff be increasing on R\mathbb{R}. Show that at each point the left and right limits exist, that ff is discontinuous exactly where they differ, and that this happens at only countably many points. (Hint: each jump contains a rational in the interval between the one-sided limits, and different jumps contain disjoint such intervals; use 2A.8 Infinite Sets.)

Exercise 9.16 The maximum of Lipschitz functions

Show that if ff and gg are Lipschitz with constant KK, so is h=max⁡(f,g)h = \max(f, g). Give an example where ff and gg are differentiable everywhere but hh is not.

Solution

For any x,yx, y: h(x)−h(y)≤h(x) - h(y) \leq (the one of f(x),g(x)f(x), g(x) that is larger) minus (the same function at yy) ≤K∣x−y∣\leq K|x - y|, since h(y)h(y) is at least either function's value at yy; by symmetry ∣h(x)−h(y)∣≤K∣x−y∣|h(x) - h(y)| \leq K|x - y|. Example: f(x)=xf(x) = x, g(x)=−xg(x) = -x, h(x)=∣x∣h(x) = |x|, which has a corner at 00.

Exercise 9.17 Interpolation error

Suppose ∣f(x)−f(y)∣≤ε|f(x) - f(y)| \leq \varepsilon whenever ∣x−y∣≤δ|x - y| \leq \delta. Let LL be the piecewise-linear function that agrees with ff at the grid points xk=a+kδx_k = a + k\delta. Show that ∣f(x)−L(x)∣≤2ε|f(x) - L(x)| \leq 2\varepsilon for every xx. (Can you improve this to ε\varepsilon?)

Exercise 9.18 Where the hypotheses matter

For each statement, find a function showing it fails if one hypothesis is removed: (a) the maximum principle without continuity; (b) the maximum principle on [0,∞)[0, \infty); (c) the intermediate value theorem without continuity; (d) Heine–Cantor on (0,1)(0, 1).

Exercise 9.19 Rehearsal: a uniform lower bound

Let ff be continuous and strictly positive on [a,b][a, b]. Prove, by the contradiction–compactness template, that there is c>0c > 0 with f(x)≥cf(x) \geq c for all x∈[a,b]x \in [a, b]. Then show the conclusion fails for f(x)=xf(x) = x on (0,1](0, 1]. A uniform positive lower bound obtained from compactness is exactly the kind of statement used, for instance, to bound below the injectivity radius of a compact Riemannian manifold (9A.3 Geodesics and the Exponential Map), and its failure without compactness is what collapsing means (9B.3 Collapsing and Noncollapsing).

Solution

Suppose not: for each nn there is xnx_n with f(xn)<1/nf(x_n) < 1/n. A subsequence converges to some x∈[a,b]x \in [a, b], and by continuity f(x)=lim⁡f(xnk)≤0f(x) = \lim f(x_{n_k}) \leq 0, contradicting f(x)>0f(x) > 0. (Alternatively: ff attains its minimum, which is positive.) On (0,1](0, 1], f(x)=xf(x) = x is positive but inf⁡f=0\inf f = 0.

© 2026 NeckPinch (www.neckpinch.com). All content in the guidebook (text, mathematics, figures and exercises) is protected by copyright. All rights reserved. No part may be copied, republished or redistributed without written permission.