Finite distance between two points

  • #1
11
1
If X is a metric space, what is the simplest sufficient condition for d(x,y)<∞, ∀ x, y ∈ X?
 

Answers and Replies

  • #2
15,107
12,786
If X is a metric space, what is the simplest sufficient condition for d(x,y)<∞, ∀ x, y ∈ X?
What is ##d(.,.)##? If it is the metrc, then this is always the case.
 
  • #3
11
1
Yes, it is the metric. And thank you!
 
  • #4
WWGD
Science Advisor
Gold Member
5,558
4,561
If X is a metric space, what is the simplest sufficient condition for d(x,y)<∞, ∀ x, y ∈ X?
For X, it is maybe that X is compact. Being bounded may be too obvious/circular.
 
  • #5
15,107
12,786
For X, it is maybe that X is compact. Being bounded may be too obvious/circular.
For any two points the distance is always finite.
 
  • #6
WWGD
Science Advisor
Gold Member
5,558
4,561
For any two points the distance is always finite.
For any two points the distance is always finite.
I think there are extended metrics that allow for infinite distance, but they are nonstandard.
 
  • #7
15,107
12,786
I think there are extended metrics that allow for infinite distance, but they are nonstandard.
Interesting question: Do we have a metric on the projective line?
 
  • #8
WWGD
Science Advisor
Gold Member
5,558
4,561
Interesting question: Do we have a metric on the projective line?
But these may be different questions: the Real line, nor Euclidean n-space is bounded.
 
  • #9
15,107
12,786
Sure. I was thinking about including infinite points and a non standard metric you mentioned.
 
  • #10
WWGD
Science Advisor
Gold Member
5,558
4,561
Sure. I was thinking about including infinite points and a non standard metric you mentioned.
But even with the standard metric, there is no Real M with d(x,y)<M for all x,y in ##\mathbb R^n ##Edit: Just choose the pair M,0 ( or generalized to n dimensions) for d(x,y).
 
  • #11
15,107
12,786
That's why I said projective space. Can we keep the metric via the transition from circle to line, sphere to plane?
 
  • #12
WWGD
Science Advisor
Gold Member
5,558
4,561
That's why I said projective space. Can we keep the metric via the transition from circle to line, sphere to plane?
What is the "standard" metric in Projective space? Is it the quotient metric?EDIT: Do we even know if the projective space is metrizable?
 
  • #14
WWGD
Science Advisor
Gold Member
5,558
4,561
I have no idea, that's why I asked.
BAH. It is a manifold and manifolds are metrizable. With weird exceptions for 1-2 people who allow non-Hausdorff.
 
  • #15
15,107
12,786
BAH. It is a manifold and manifolds are metrizable. With weird exceptions for 1-2 people who allow non-Hausdorff.
When it comes to topology I need to see. If possible step by step. Those people are notoriously counterintuitive.
 
  • #16
WWGD
Science Advisor
Gold Member
5,558
4,561
When it comes to topology I need to see. If possible step by step. Those people are notoriously counterintuitive.
This is the standard case, don't know if there are many others "non-trivially" different: https://en.wikipedia.org/wiki/Non-Hausdorff_manifold#Line_with_two_origins :

EDIT: Proof of boundedness: d(x,y) is continuous on YxY for Y compact. Then d: YxY -->R is a continuous function on the compact set YxY, and so it is bounded.
 

Related Threads on Finite distance between two points

Replies
5
Views
2K
Replies
2
Views
4K
  • Last Post
Replies
1
Views
1K
Replies
7
Views
5K
Replies
2
Views
1K
Replies
2
Views
3K
Replies
6
Views
5K
  • Last Post
Replies
7
Views
2K
  • Last Post
Replies
1
Views
2K
Top