Graduate Structure preserved by strong equivalence of metrics?

Click For Summary
SUMMARY

Two metrics, ##d_1## and ##d_2##, on a set ##X## are defined as equivalent if the identity map and its inverse are continuous, uniformly equivalent if they are uniformly continuous, and strongly equivalent if there exist constants ##α,β>0## such that ##αd_1(x,y)≤d_2(x,y)≤βd_1(x,y)## for all ##x,y∈X##. Strong equivalence preserves uniformity and bornology, but it is established that having the same uniformity and bornology does not imply strong equivalence. The discussion seeks to identify the additional structure preserved by strong equivalence of metrics.

PREREQUISITES
  • Understanding of metric spaces
  • Familiarity with concepts of continuity and uniform continuity
  • Knowledge of bornology in topology
  • Basic grasp of equivalence relations in mathematics
NEXT STEPS
  • Research the concept of bornology in topology
  • Study the properties of uniform spaces and their equivalences
  • Explore the implications of strong equivalence in metric spaces
  • Investigate examples of metrics that share uniformity and bornology but are not strongly equivalent
USEFUL FOR

Mathematicians, particularly those specializing in topology and metric space theory, as well as students seeking to deepen their understanding of metric equivalences and their implications.

lugita15
Messages
1,553
Reaction score
15
Let ##d_1## and ##d_2## be two metrics on the same set ##X##. We say that ##d_1## and ##d_2## are equivalent if the identity map from ##(X,d_1)## to ##(X,d_2)## and its inverse are continuous. We say that they’re uniformly equivalent if the identity map and its inverse are uniformly continuous. And we say that they’re strongly equivalent if there exist constants ##α,β>0## such that ##αd_1(x,y)≤d_2(x,y)≤βd_1(x,y)## for all ##x,y∈X##.

Now two metrics are equivalent if and only if they have the same topology. And two metrics are uniformly equivalent if and only if they have the same uniformity. But my question is, two metrics are strongly equivalent if and only if they have the same ... what? To put it another way, if we take equivalence classes of metrics which are strongly equivalent, what is the minimum information needed to unambiguously specify a given equivalence class?

Now if two metrics which are strongly equivalent, then they are uniformly equivalent and they have the same bounded sets. Or in fancier language, they have the same uniformity and the same bornology. But the converse is not true; there are metrics which have the same uniformity and the same bornology which are not strongly equivalent. So what’s the additional structure beyond the uniformity and bornology which is preserved by strong equivalence of metrics?
 
Last edited:
Physics news on Phys.org
You defined the same term of uniformly equivalent twice. I assume the bottom one was meant to be that of strongly equivalent?
 
WWGD said:
You defined the same term of uniformly equivalent twice. I assume the bottom one was meant to be that of strongly equivalent?
Thanks, I fixed it.
 
  • Like
Likes WWGD

Similar threads

  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 3 ·
Replies
3
Views
3K