Diameter of an open ball = 2*radius

  • Thread starter Fredrik
  • Start date
  • #1
Fredrik
Staff Emeritus
Science Advisor
Gold Member
10,851
413
Not really homework, but I guess it's a "textbook-style question", so I'm putting it here.

Homework Statement



Suppose (X,d) is a metric space, and consider an open ball [itex]B(x,r)=\{y\in X|d(x,y)<r\}[/itex]. The diameter of a subset [itex]E\subset X[/itex] is defined as [itex]\text{diam\,}E=\sup\{d(x,y)|x,y\in E\}[/itex]. I want to show that [itex]\text{diam\,}B(x,r)=2r[/itex].

Homework Equations



Only the above, and the definition of a metric.

The Attempt at a Solution



If [itex]p,q\in B(x,r)[/itex], we have [itex]d(p,q)\leq d(p,x)+d(x,q)<r+r=2r[/itex], so 2r is an upper bound for the set [itex]\{d(x,y)|x,y\in E\}[/itex], and diam B(x,r) is the least upper bound of that set, so [itex]\text{diam\,}B(x,r)\leq 2r[/itex].

That means that it's sufficient to show that [itex]\text{diam\,}B(x,r)\geq 2r[/itex]. My idea is to show that for every [itex]\epsilon[/itex] such that [itex]0<\epsilon<2r[/itex], there exist points [itex]p,q\in B(x,r)[/itex], such that [itex]d(p,q)>2r-\epsilon[/itex]. This looks like it should be really easy, and it probably is, but for some reason I can't see the solution. Maybe we can assume that [itex]d(p,q)\leq 2r-\epsilon[/itex] for all p,q in B(x,r), and show that this implies that B(x,r) is a subset of a smaller open ball (which of course would be a contradiction that proves the assumption false).

If the metric space is a normed vector space, this gets really easy, but I'd like to prove it (or disprove it) for an arbitrary metric space.
 

Answers and Replies

  • #2
Office_Shredder
Staff Emeritus
Science Advisor
Gold Member
4,413
502
If you just have a metric space the statement is false.

For example, X is the integers, with the normal norm d(a,b)=|a-b|. B(0,.5) is just {0} which has a diameter of 0
 
  • #3
Fredrik
Staff Emeritus
Science Advisor
Gold Member
10,851
413
D'oh. Thank you. By the way, that was the fastest useful response I ever got. :approve:
 

Related Threads on Diameter of an open ball = 2*radius

  • Last Post
Replies
23
Views
4K
  • Last Post
Replies
1
Views
1K
Replies
1
Views
2K
  • Last Post
Replies
1
Views
802
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
7
Views
611
Top