Lipschitz maps are functions between metric spaces that lie intermediate between the uniformly continuous maps and the short maps. (That is, every short map is Lipschitz, and every Lipschitz map is uniform.)
One can also consider Lipschitz maps between gauge spaces with appropriate gauges, or between manifolds with appropriate atlases.
Let and be metric spaces (with the metric denoted for both). Let be a function.
The Lipschitz norm or Lipschitz modulus of is the supremum of the absolute difference quotients
for in .
In general, this supremum is a lower real number; in particular, it may be infinite. We work in the space of nonnegative lower reals, so that the Lipschitz norm is if is a subsingleton (so that never occurs).
The map is Lipschitz continuous, or simply Lipschitz, if its Lipschitz norm is finite.
We can be more specific:
The map is short if its Lipschitz norm is at most . It is a contraction mapping? if its Lipschitz norm is strictly less than .
In classical mathematics, one calls a Lipschitz constant of if
for all . Then the Lipschitz norm is the minimum of the Lipschitz constants (which is always attained, if there is any finite Lipschitz constant at all). In constructive mathematics, this procedure yields an extended upper real that is (in general) too large. (For example, let be the sequence of partial sums of a Specker sequence, thought of as a map from to .)
If you want a definition that is constructively acceptable and yet involves no division, then take the Lipschitz norm of to be the supremum over those such that
for some . (This is perhaps the best definition, as it will automatically take care of subsingletons, as long as you restrict attention to a priori, and pseudometric spaces, even constructively.) You can even restrict attention to (say) rational , or to in some dense subspace of (say if is separable).
Every Lipschitz map is uniformly continuous. Every Lipschitz map from the real line to itself is absolutely continuous.
If a map between the real line and itself is differentiable, then its Lipschitz norm is the supremum norm of its derivative . (This result can actually be generalised quite a bit, using Rademacher's theorem? and its generalisations.)
The definitions above generalise immediately to quasimetric spaces; there is no asymmetry between left and right, and the Lipschitz norm of is the same as that of (although the map from to , equivalently the map from to , may be quite different).
The definitions also generalise to pseudometric spaces if we take the supremum over those such that . However, we must also require that a Lipschitz map preserve metric equivalence: if . Then we may pass to the quotient metric spaces and preserve the Lipschitz norm.
Let be a gauge space, that is a set equipped with a collection of pseudometrics (the gauge of ). Then 's gauge is a Lipschitz gauge if the identity function of is Lipschitz continuous as a map between equipped with any two of its pseudometrics. Then we may extend 's gauge to a unique maximal Lipschitz gauge and say that (so equipped) is a Lipschitz gauge space. We may then unambiguously define Lipschitz continuous maps (but not their Lipschitz norms) between any two Lipschitz gauge spaces.
Let be a topological manifold, and equip with a compatible atlas whose transition maps are all Lipschitz (a Lipschitz atlas). Then we may extend 's atlas to a unique maximal compatible Lipschitz atlas and say that (so equipped) is a Lipschitz manifold. We may then unambiguously define Lipschitz continuous maps (but not their Lipschitz norms) between any two Lipschitz manifolds. Assuming that our Lipschitz manifolds are paracompact, then we may think of them as Lipschitz gauge spaces (with gauges consisting of all Lipschitz-continuous pseudometrics), recovering the same notion of Lipschitz map.
A map is Lipschitz of order , or Hölder of order , if the supremum of
is finite. Here, may be any positive number (but is typically taken to be less than ). Everything on this page generalises fairly well to these functions (changing also the definition of derivative to match). Of course, a Lipschitz map of order from to is simply a Lipschitz map from to , where is with all distances raised to the power of .
Lipschitz (and Hölder) maps also have non-uniform versions (fix , but let the norm vary with , which introduces an asymmetry for quasimetric spaces), as well as local versions (every point has a neighbourhood on which is Lipschitz). I kind of get lost in all of the possibilities.
Last revised on February 17, 2017 at 19:37:07. See the history of this page for a list of all contributions to it.