Definition:Lipschitz Equivalence/Metric Spaces
Jump to navigation
Jump to search
Definition
Let $M_1 = \struct {A_1, d_1}$ and $M_2 = \struct {A_2, d_2}$ be metric spaces.
Let $f: M_1 \to M_2$ be a mapping such that $\exists h, k \in \R_{>0}$ such that:
- $\forall x, y \in A: h \map {d_2} {\map f x, \map f y} \le \map {d_1} {x, y} \le k \map {d_2} {\map f x, \map f y}$
Then $f$ is a Lipschitz equivalence, and $M_1$ and $M_2$ are described as Lipschitz equivalent.
Terminology
Despite the close connection with the concept of Lipschitz continuity, this concept is rarely seen in mainstream mathematics, and appears not to have a well-established name.
The name Lipschitz equivalence appears in 1975: W.A. Sutherland: Introduction to Metric and Topological Spaces:
- There does not appear to be a standard name for this; the name we use is reasonably appropriate ...
Sometimes the name strong equivalence (and strongly equivalent metrics) is used.
Also see
- Results about Lipschitz equivalence can be found here.
Source of Name
This entry was named for Rudolf Otto Sigismund Lipschitz.
Sources
- 1975: W.A. Sutherland: Introduction to Metric and Topological Spaces ... (previous) ... (next): $2$: Continuity generalized: metric spaces: $2.4$: Equivalent metrics: Definition $2.4.8$