A compact subset question

Question

If $B$ is a compact subset of a metric space, how do you show that there exist points $x$ and $y$ such that the distance between them is equal to the diameter of $B$. Don’t know how to proceed. Any suggestions will be appreciated.

Answer 1

First show the distance function $d: X \times X \to \mathbb{R}$ is continuous (where $X$ is the space $B$ lives in). Then by definition of the diameter of $B$, there exists sequence $(x_n), (y_n)$ such that $d(x_n, y_n) \to \text{diam}(B)$. Then apply sequential compactness of $B$.

Answer 2

by definition, the diameter $diam$ of $B$ is defined as $diam = \text{sup}_{x,y \in B}d(x,y)$. Now choose a sequence $(a_k,b_k) $ in $B$ converging to $diam$. Using compactness implies that the limit lies in $B$.

Answer 3

B×B is compact. d:B×B -> R is continuous.
d(B×B) = { d(x,y) : (x,y) in B×B } is compact.
Compact sets of reals include a minimum and a maximum value.

Answer 4

The metric $d : X \times X \to \mathbb{R}$ is a continuous function. Its restriction to $B \times B$ is a real continuous funtion defined on a compact set.

Therefore, it attains its minimum $(x_0, y_0) \in B \times B$.

Hence, $$d(x_0, y_0) = \min_{(x,y) \in B\times B} d(x,y) = \operatorname{diam} B$$