2
$\begingroup$

Let $A$ be a non-empty compact subset of $X$. Prove that there exist points $a,b \in A$ such that $d(a,b) = \sup \left\{ d(x,y):x,y \in A \right\}\,.$

The question was split into two pieces with us needing to show:

| d(x,y) - d(x',y') | \leq d(x,x') + d(y,y')

My attempt was to say that if $A$ is compact $\exists a,b \in A$ such that there are Cauchy sequences $ \left\{ x_n \right\} , \left\{ y_n \right\} $ such that for $ \epsilon_1, \epsilon_2 > 0,\, d(x_n,a) < \epsilon_1\text{ and }d(y_n,b) < \epsilon_2 \,$.

Using this I can say:

$ | d(x_n,y_n) - d(a,b) | \leq d(x_n,a) + d(y_n,b) < \epsilon_1 + \epsilon_2 = \epsilon_3$

$\square$

Is this completely wrong?

  • 1
    Where do you get $a, b$ from?2011-12-09

1 Answers 1

7

That sounds a little fishy. I think what they meant you to do, or what is the quickest solution, is to note that evidently $d:A\times A\to\mathbb{R}$ is continuous (it's the restriction of the continuous map $d:X\times X\to\mathbb{R}$ to the subspace $A\times A$). But, $A\times A$ is compact (this is Tychonoff's theorem) and so by the extreme value theorem $d$ attains a maximum on $A\times A$.

  • 1
    @DylanMoreland I assume you mean that you don't need the full power of Tychonoff's theorem to prove the two-space case--indeed. But, I always try to name "googlable" results.2011-12-09