TheoremBase

Locally Lipschitz Map on a Euclidean Open Set

Defines a locally Lipschitz map on an open subset of Rn\mathbb{R}^n: every point has a closed ball neighbourhood inside the domain on which the map is Lipschitz.

Statement

We work in the setting of Product Measures and Lebesgue Measure on ℝⁿ: Standing Notation and Background, whose notation is fixed for every dimension and is used here with natural numbers n,mn,m satisfying 1≤n1\le n and 1≤m1\le m: the Euclidean norm ∥ ⋅ ∥\lVert\,\cdot\,\rVert, distance dEd_{E}, notion of openness, and closed balls Bˉ(x,r)\bar{B}(x,r) are those fixed there, as is the convention that Lipschitz maps between subsets of Euclidean spaces are understood for the restricted Euclidean distances.

Let U⊆RnU\subseteq\mathbb{R}^{n} be open and let T:U→RmT:U\to\mathbb{R}^{m} be a map.

Definition. The map TT is locally Lipschitz on UU if for every x∈Ux\in U there are r,L∈Rr,L\in\mathbb{R} with 0<r0<r and 0≤L0\le L such that Bˉ(x,r)⊆U\bar{B}(x,r)\subseteq U and the restriction of TT to Bˉ(x,r)\bar{B}(x,r) is Lipschitz with constant LL as a map from the metric space (Bˉ(x,r),dE)(\bar{B}(x,r),d_{E}) to (Rm,dE)(\mathbb{R}^{m},d_{E}); that is,

∥T(y)−T(z)∥≤L ∥y−z∥for all y,z∈Bˉ(x,r).\lVert T(y)-T(z)\rVert\le L\,\lVert y-z\rVert\qquad\text{for all }y,z\in\bar{B}(x,r).

The number LL is called a local Lipschitz constant for TT on Bˉ(x,r)\bar{B}(x,r).

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…