I guess it has a bunch of names: the link at the top of the wikipedia page is on the words “non-expansive map”, at the bottom it’s “short map”, and the title of the wikipedia page for the thing it calls it a “metric map”, and also lists the name “weak contraction”. So strange that this simple definition would be so little-used and often-named!
I guess it has a bunch of names: the link at the top of the wikipedia page is on the words “non-expansive map”, at the bottom it’s “short map”, and the title of the wikipedia page for the thing it calls it a “metric map”, and also lists the name “weak contraction”. So strange that this simple definition would be so little-used and often-named!
Just like how open maps turn out to be way less useful in topology than continuous maps.