Metric map: Difference between revisions
m other name |
No edit summary |
||
Line 1: | Line 1: | ||
In the [[mathematics|mathematical]] theory of [[metric space]]s, a '''metric map''' or '''short map''' is a [[continuous function]] between metric spaces that does not increase any distance. |
In the [[mathematics|mathematical]] theory of [[metric space]]s, a '''metric map''' or '''short map''' is a [[continuous function]] between metric spaces that does not increase any distance. |
||
These maps are the [[morphism]]s in the [[category of metric spaces]], '''Met''' (Isbell 1964). |
These maps are the [[morphism]]s in the [[category of metric spaces]], '''Met''' (Isbell 1964). |
||
They are also called [[Lipschitz continuity|Lipschitz functions]] with [[Lipschitz constant]] 1, '''nonexpansive maps''', '''nonexpanding maps''', or '''short maps'''. |
They are also called [[Lipschitz continuity|Lipschitz functions]] with [[Lipschitz constant]] 1, '''nonexpansive maps''', '''nonexpanding maps''', '''weak contractions''', or '''short maps'''. |
||
Specifically, suppose that ''X'' and ''Y'' are metric spaces and ƒ is a [[function (mathematics)|function]] from ''X'' to ''Y''. Then we have a metric map when, [[for any]] points ''x'' and ''y'' in ''X'', |
Specifically, suppose that ''X'' and ''Y'' are metric spaces and ƒ is a [[function (mathematics)|function]] from ''X'' to ''Y''. Then we have a metric map when, [[for any]] points ''x'' and ''y'' in ''X'', |
Revision as of 01:30, 18 December 2008
In the mathematical theory of metric spaces, a metric map or short map is a continuous function between metric spaces that does not increase any distance. These maps are the morphisms in the category of metric spaces, Met (Isbell 1964). They are also called Lipschitz functions with Lipschitz constant 1, nonexpansive maps, nonexpanding maps, weak contractions, or short maps.
Specifically, suppose that X and Y are metric spaces and ƒ is a function from X to Y. Then we have a metric map when, for any points x and y in X,
Here dX and dY denote the metrics on X and Y respectively.
A metric map ƒ is an isometry if and only if 1) it is metric, 2) it is a bijection, and 3) its inverse is also metric. (Because of the inverse function the inequality must become an equality.) The composite of metric maps is also metric. Thus metric spaces and metric maps form a category Met; Met is a subcategory of the category of metric spaces and Lipschitz functions, and the isomorphisms in Met are the isometries.
One can say that ƒ is strictly metric if the inequality is strict for every two different points. Then a contraction mapping is strictly metric, but not necessarily the other way around. Note that an isometry is never strictly metric, except in the degenerate case of the empty space or a single-point space.
References
- Isbell, J. R. (1964). "Six theorems about injective metric spaces". Comment. Math. Helv. 39: 65–76. doi:10.1007/BF02566944.