# Help in metric space [duplicate]

Possible Duplicate:
An open ball is an open set

How to prove that in any metric space an epsilon-neighborhood is an open set? solution: Suppose x belongs to V(p). Then d(x, p)

Not every open set can be written as a union of countably many epsilon neighborhoods. For example, take R with the discrete topology. Then any epsilon neighborhood is either R or a singleton set and so no proper uncountable set can be written as a countable union of these. However, R with its usual metric does have this property

is that correct?

-

## marked as duplicate by Austin Mohr, William, LVK, tomasz, Michael Greinecker♦Sep 13 '12 at 20:59

What is your definition of open set in a metric space? It is not that difficult to prove that, under one definition, every open $\epsilon$-ball is a nbhd of each of its points. –  Pedro Tamaroff Sep 6 '12 at 18:56
I'm using the following definition of an open set in a metric space (X,d): a set A is open if ∀a∈A,∃r>0 s.t. Br(a)⊆A. –  Miss Independent Sep 6 '12 at 19:09
Why are we worrying about countability? Or is that for an entirely different question? At any rate, the first part has been asked before and there were some nice pictures. Will try to find the threads. –  Dylan Moreland Sep 6 '12 at 19:25
Here we go: math.stackexchange.com/questions/104083/… –  Dylan Moreland Sep 6 '12 at 19:28
thank you very much –  Miss Independent Sep 6 '12 at 19:33

In a metric space $(X, d)$, a set $U$ is open if and only if for all $x \in U$, there exists a $r \in \mathbb{R}$, $r > 0$, such that $B_r(x) \subset U$.
Now let $\epsilon > 0$. You would like to show that $B_\epsilon(z)$ is open for any $z \in X$. Now you just need to verify the above definition. Given any $x \in B_\epsilon(z)$, let $r = \min\{d(z,x), \epsilon - d(z,x)\}$. Then $B_r(x) \subset B_\epsilon(z)$. Hence $B_\epsilon(z)$ is open.