0
$\begingroup$

Please prove: Suppose $X$ is a metric space, and $A$ is a sequentially compact set in $X$. If given a real number which is larger than zero (suppose $a>0$), there are finite open balls whose radius are $a$, and the union of these open balls can cover $A$. ($a$ is chosen randomly)

$\endgroup$
2
$\begingroup$

HINT: Suppose not; then for any finite $F\subseteq A$, the set $\{B(x,a):x\in F\}$ does not cover $A$. This means that we can recursively construct a sequence $\langle x_n:n\in\Bbb N\rangle$ in $A$ in the following way.

Let $x_0\in A$. Given $\{x_k:k<n\}$, we know that $\{B(x_k,a):k<n\}$ does not cover $A$, so we can choose $x_n\in A\setminus\bigcup_{k<n}B(x_k,a)$. In this way we construct a sequence $\langle x_n:n\in\Bbb N\rangle$ in $A$.

  • Show that $d(x_m,x_n)\ge a$ whenever $m,n\in\Bbb N$ and $m\ne n$.

  • Now use the sequential compactness of $A$ to get a subsequence $\langle x_{n_k}:k\in\Bbb N\rangle$ converging to some $x\in A$ and derive a contradiction.

$\endgroup$
  • $\begingroup$ This proof gives a little more: Namely that the centers of the open balls can all belong to $A$. $\endgroup$ – DanielWainfleet Jun 27 '16 at 2:46

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.