TheoremBase

The Absolute Value on the Real Line is 1-Lipschitz and Continuous

The map x ↦ |x| on the real numbers is Lipschitz with constant 1 for the usual distance, and hence continuous on ℝ.

Statement

In the setting of The Real Line: Standing Notation and Background for Calculus on Intervals, let dRd_{\mathbb{R}} be the distance on R\mathbb{R}, and let α:R→R\alpha:\mathbb{R}\to\mathbb{R} be the map α(x)=∣x∣\alpha(x)=|x|, with the absolute value of xx.

Lipschitz bound. α\alpha is Lipschitz with constant 11 as a map from (R,dR)(\mathbb{R},d_{\mathbb{R}}) to (R,dR)(\mathbb{R},d_{\mathbb{R}}), that is,

∣∣x∣−∣y∣∣≤∣x−y∣(x,y∈R).\bigl||x|-|y|\bigr|\le|x-y|\qquad(x,y\in\mathbb{R}).

Continuity. α\alpha is continuous on R\mathbb{R}.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…