Math 2.0

statement corollary

Bounded derivative on a convex set implies Lipschitz

Statement

Let U⊆RnU \subseteq \mathbb{R}^n be open, let f ⁣:U→Rmf \colon U \to \mathbb{R}^m be differentiable on UU, and let C⊆UC \subseteq U be a convex set. Suppose that M≥0M \ge 0 and ∥Df(z)∥≤M\|Df(z)\| \le M for each z∈Cz \in C, with the operator norm. Then ff is Lipschitz on CC with constant MM: ∥f(y)−f(x)∥≤M ∥y−x∥\|f(y) - f(x)\| \le M \, \|y - x\| for all x,y∈Cx, y \in C.

Remarks

Because CC is convex, the segment between two points of CC lies in CC. So this follows from the mean value inequality. Convexity matters. Take the annulus 1<∥x∥<21 < \|x\| < 2 in R2\mathbb{R}^2 without the points on the negative xx-axis, and the polar angle θ∈(−π,π)\theta \in (-\pi, \pi) on it. Then ∥∇θ∥=1/∥x∥≤1\|\nabla \theta\| = 1/\|x\| \le 1, but two points just above and just below the slit are close, and their angles differ by almost 2π2\pi. A function of class C1C^1 on UU is Lipschitz on each closed ball in UU, because ∥Df∥\|Df\| is bounded on the compact ball.

Explanations

L1 human

A Lipschitz function cannot change faster than a fixed rate MM per unit of distance. A bound on the derivative gives such a rate. For this, you must be able to walk between any two points along a straight line inside the domain.

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.

What this needs

To read this node, read these 7 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Euclidean space object
  2. Function concept
  3. Function of several variables concept
  4. Limit of a function of several variables concept
  5. Differentiable function of several variables definition
  6. Mean value inequality statement
  7. Bounded derivative on a convex set implies Lipschitz statement

Sources

  1. Web https://en.wikipedia.org/wiki/Lipschitz_continuity, Properties
  2. Web https://en.wikipedia.org/wiki/Mean_value_theorem, Mean value theorem in several variables