Intermediate Value Theorem (Topological)

The intermediate value theorem, a cornerstone of real analysis, is fundamentally a statement about connected spaces and continuous maps. The topological version reveals the true nature of this result and extends it far beyond functions on the real line.

Topological Statement

Theorem4.9Generalized Intermediate Value Theorem

Let $f: X \to Y$ be a continuous map where $X$ is connected and $Y$ is an ordered topological space (or more generally, $Y = \mathbb{R}$ ). If $a, b \in f(X)$ with $a < b$ , then for every $c$ with $a < c < b$ , we have $c \in f(X)$ .

In other words, the image $f(X)$ is an interval (or a connected subset of $Y$ ).

Proof

By Theorem 4.3 (or Theorem 2.8), the continuous image $f(X)$ of the connected space $X$ is connected. Since $f(X) \subseteq \mathbb{R}$ is connected, it is an interval (by Theorem 4.2). Since $a, b \in f(X)$ and $f(X)$ is an interval, every $c$ between $a$ and $b$ belongs to $f(X)$ .

■

Classical Intermediate Value Theorem

Theorem4.10Classical IVT

Let $f: [a, b] \to \mathbb{R}$ be continuous. If $c$ is any value between $f(a)$ and $f(b)$ , then there exists $x_0 \in [a, b]$ with $f(x_0) = c$ .

Proof

$[a, b]$ is connected (it is an interval), so $f([a, b])$ is a connected subset of $\mathbb{R}$ , hence an interval. Since $f(a)$ and $f(b)$ belong to $f([a,b])$ , every value between them does as well.

■

ExampleExistence of Roots

Consider $f(x) = x^5 + x - 1$ on $[0, 1]$ . We have $f(0) = -1 < 0$ and $f(1) = 1 > 0$ . By the IVT, there exists $c \in (0, 1)$ with $f(c) = 0$ . The IVT guarantees existence but does not provide a formula for $c$ .

More generally, every polynomial of odd degree has a real root: for large $|x|$ , the leading term dominates, giving opposite signs at $+\infty$ and $-\infty$ .

Applications

Theorem4.11Fixed Point Theorem on $[0,1]$

Let $f: [0, 1] \to [0, 1]$ be continuous. Then $f$ has a fixed point: there exists $x \in [0, 1]$ with $f(x) = x$ .

Proof

Define $g: [0, 1] \to \mathbb{R}$ by $g(x) = f(x) - x$ . Then $g$ is continuous, $g(0) = f(0) \geq 0$ , and $g(1) = f(1) - 1 \leq 0$ . By the IVT, there exists $c \in [0, 1]$ with $g(c) = 0$ , i.e., $f(c) = c$ .

■

ExampleThe IVT in Higher Dimensions

The IVT generalizes to higher dimensions in various ways:

Borsuk--Ulam theorem (dimension 1): For every continuous $f: S^1 \to \mathbb{R}$ , there exist antipodal points $x, -x \in S^1$ with $f(x) = f(-x)$ . This follows from the IVT applied to $g(x) = f(x) - f(-x)$ .
Bolzano's theorem: If $f: \mathbb{R}^n \to \mathbb{R}$ is continuous on a connected domain $D$ and takes both positive and negative values, then $f$ vanishes somewhere on $D$ .

Connected Subsets of Ordered Spaces

Theorem4.12Connected Subsets of Linear Continua

Let $L$ be a linear continuum (a totally ordered set with the least upper bound property in which every pair of points has a point strictly between them). Then every interval in $L$ is connected, and the connected subsets of $L$ are exactly the intervals.

Proof

Let $[a, b] \subseteq L$ and suppose $[a, b] = A \cup B$ is a separation with $a \in A$ . Let $c = \sup(A \cap [a, b])$ . Since $A$ is closed in $[a, b]$ (complement of the open set $B$ ), $c \in A$ . Since $A$ is open in $[a, b]$ and $c \neq b$ (otherwise $b \in A \cap B$ ), there exists $\epsilon$ with $(c, c + \epsilon) \cap [a, b] \subseteq A$ . But this contradicts $c = \sup(A \cap [a, b])$ . So no separation exists.

Conversely, if $S \subseteq L$ is not an interval, there exist $a, b \in S$ and $c \notin S$ with $a < c < b$ . Then $S = (S \cap (-\infty, c)) \cup (S \cap (c, \infty))$ is a separation.

■

RemarkThe Role of Completeness

The IVT fundamentally depends on the completeness (least upper bound property) of $\mathbb{R}$ . It fails for $\mathbb{Q}$ : the function $f(x) = x^2 - 2$ is continuous on $\mathbb{Q}$ , negative at $x = 1$ and positive at $x = 2$ , but has no rational root.

Completeness ensures that $\mathbb{R}$ has no "gaps," which is precisely what connectedness formalizes.