Math 2.0

Real functions Proof

Proof that Lipschitz functions are uniformly continuous

Builds on Lipschitz continuityUniform continuity

Proof

  1. Since ff is Lipschitz, there is a real K≥0K \ge 0 with ∣f(x)−f(y)∣≤K∣x−y∣\abs{f(x) - f(y)} \le K \abs{x - y} for all x,y∈Dx, y \in D.
  2. Let ε>0\varepsilon > 0. Put δ=εK+1\delta = \frac{\varepsilon}{K + 1}. Then δ>0\delta > 0, since K+1>0K + 1 > 0.
  3. Let x,y∈Dx, y \in D with ∣x−y∣<δ\abs{x - y} < \delta. By step 1, ∣f(x)−f(y)∣≤K∣x−y∣≤Kδ\abs{f(x) - f(y)} \le K \abs{x - y} \le K \delta.
  4. Since K<K+1K < K + 1 and δ>0\delta > 0, we have Kδ<(K+1)δ=εK \delta < (K + 1) \delta = \varepsilon. So ∣f(x)−f(y)∣<ε\abs{f(x) - f(y)} < \varepsilon.
  5. The number δ\delta depends only on ε\varepsilon, not on xx or yy. So ff is uniformly continuous.

Idea

The Lipschitz bound controls the change of ff by a fixed multiple of the change of xx. So one δ\delta, a fixed fraction of ε\varepsilon, works at every point. Using K+1K + 1 instead of KK avoids division by zero when K=0K = 0.

Reading path

To understand this page from the ground up, read these 17 pages in order. The foundations come first. The path takes the proof Proof of the epsilon-delta form of continuity.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Construction of the reals from Cauchy sequences concept
  2. Integers object
  3. Limit point of a set definition
  4. Lipschitz continuity definition
  5. Ordered field definition
  6. Rational numbers object
  7. Ring of integers statement
  8. Limit of a function definition
  9. Continuity at a point definition
  10. The rationals form a field statement
  11. The rationals form an ordered field statement
  12. Order on the reals definition
  13. Interval definition
  14. Proof of the epsilon-delta form of continuity proof
  15. Epsilon-delta definition of continuity statement
  16. Uniform continuity definition
  17. Proof that Lipschitz functions are uniformly continuous proof

Where this leads

276 pages build on this one.

Further reading

  1. Web https://www.jirka.org/ra/html/sec_unifcont.html, Proposition 3.4.8
About this page
TagBVFDYD1X1S
URIm2://BVFDYD1X1S
Kindproof
WritingW0 stub
MSC26A16
ProvesLipschitz functions are uniformly continuous
UsesLipschitz continuity, Uniform continuity
Changed4 November 2026

Markdown · JSON · Edit on GitHub

What this page 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 page is. They do not measure its truth.

What links here

No page links to this page yet.