Question About Compactness

34 Views Asked by At

I want to prove the following- assume $X$ is a compact metric space. For all $\epsilon > 0$, there exists a natural number $n$ and $x_1....x_n \in X$ such that $X$ is equal to the finite union of open balls $B(x_i, \epsilon)$. I know that I need a particular finite open cover depending on epsilon to satisfy the condition but Im kind of stuck.

1

There are 1 best solutions below

0
On

If you are not familiar with the definition of compactness, in this case it means that every open cover of $X$ has a finite subcover. As G. Sassatelli commented, take the open cover $\{B(x,\epsilon): x \in X\}$. The proof should be straightforward from this point.