0

Let $(\mathcal{X},d) $ be a compact and metric space and let $A \subset \mathcal{X}$ be a compact subset and let $\alpha >0 $. Consider the set $$ C(A, \alpha) = \{ x \in \mathcal{X }\, | \, d(x,A) \leq \alpha\} $$ How to prove or disprove that $C(A, \alpha) $ is compact?

Thanks in advance.

jaogye
  • 963

1 Answers1

1

The set $C(A,\alpha)$ is closed because the function$$\begin{array}{rccc}\Delta\colon&\mathcal{X}&\longrightarrow&\mathbb R\\&a&\mapsto&d(a,A)\end{array}$$is continuous and $C(A,\alpha)=\Delta^{-1}\bigl([0,\alpha]\bigr)$.

Now, use the fact that a closed subset of a compact metric space is always compact.