Let $(M, d)$ be a metric space and $A\subset M$ such that $$\mathrm{diam}(A)=\sup_{a,b\in A}d(a,b)=D<\infty.$$ How can I prove that for any $\varepsilon> 0$ there is $x\in A$ such that $A\subset\{y\in M: d(x,y)<(\varepsilon +D)\}$?
How to show this property for the diameter of a set
1
$\begingroup$
metric-spaces
-
0Hint: by contradiction assume that the claim is false. So there exists an $\epsilon>0$ such that A is NOT in the set of points within $\epsilon+D$ of $x$. Notice that $x\in A$ by assumption. You can break it down into two cases, one where $A$ has just a single point, and when $A$ has at least two points. – 2012-07-08
-
2I don't see why it says "there is" -- isn't this rather trivially true for all $x\in A$? – 2012-07-08
1 Answers
1
Suppose that for some $\epsilon>0$, it is the case that for any $x\in A$, $A\not\subset\{y\in M:d(x,y)<(\epsilon+D)\}$. In other words, suppose that for any $x\in A$, there is some $y\in A$ such that $d(x,y)\geq\epsilon+D$. Then $$\operatorname{diam}(A)=\sup_{a,b\in A}d(a,b)\geq D+\epsilon>D,$$ which is a contradiction. In fact, this is a contradiction if for even a single $x\in A$, there is some $y\in A$ with $d(x,y)\geq \epsilon+D$. Thus, our assumption that there exists such an $\epsilon$ must be false.