1

Let $E$ be a separable and complete metric space. Let $\epsilon > 0.$ I want to find a cover of $E$ consisting of balls $B(q_n, \epsilon), n \in \mathbb{N}, q_n \in E,$ such that every $e \in E$ is contained only in finitely many balls $B(q_n,\epsilon).$ Is this possible?

White
  • 183
  • 9

1 Answers1

2

I suppose that there is a more elementary proof than this one, but here it goes: every metric space is paracompact (this was proved by A. H. Stone) and every paracompact space is metacompact.

José Carlos Santos
  • 427,504