Math 2.0

statement theorem

Heine–Cantor theorem

Statement

Let XX and YY be metric spaces and let f ⁣:X→Yf \colon X \to Y be a continuous map. If XX is compact, then ff is uniformly continuous.

Remarks

Proof by contradiction: if ff is not uniformly continuous, there are ε>0\varepsilon > 0 and points xn,ynx_n, y_n with d(xn,yn)→0d(x_n, y_n) \to 0 and d(f(xn),f(yn))≥εd(f(x_n), f(y_n)) \ge \varepsilon. By sequential compactness, a subsequence of (xn)(x_n) converges to some xx, and the matching subsequence of (yn)(y_n) also converges to xx. Continuity at xx gives a contradiction. For example, each continuous f ⁣:[a,b]→Rf \colon [a, b] \to \mathbb{R} is uniformly continuous. This fact is used to show that ff is Riemann integrable. The theorem fails on R\mathbb{R}: x↦x2x \mapsto x^2 is continuous but not uniformly continuous.

Explanations

L1 human

On a compact space, continuity at each point is enough to get one δ\delta for the whole space. Compactness rules out regions where the function becomes steeper and steeper without end.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

Sources

  1. Web https://en.wikipedia.org/wiki/Heine%E2%80%93Cantor_theorem, lead section