I want to show normed space $E$ is not separable iff $E$ contains uncountable set of pairwise non-intersecting balls of radius $r > 0$.

Use contraposive: first prove $E$ is separable then $E...$countable There is uncoutablely many elments in $E$, removing any elements in the uncoutable set will end up in a subset whose closure is not $E$. Contradict $E$ is dense.

The other direction: $E...$countable then $E$ is separable. How to prove this direction?

Any comments about the first proof? Many thanks!

  • $\begingroup$ Could you edit to write out what you mean by "$E$...countable"? I'm not sure I'm understanding it correctly. Also, it would be nice if you'd proofread to check the spelling. $\endgroup$ – Nate Eldredge Apr 4 '13 at 14:31
  • $\begingroup$ You should probably rewrite this to clarify the role of $r$. For instance, can a uniform value for $r$ be chosen for all the balls? If so, can we arrange matters so that any fixed $r > 0$ is possible for all the balls, or is it the case that the collection of possible values of $r$ can vary with $E$? $\endgroup$ – Dave L. Renfro Apr 4 '13 at 15:50
  • $\begingroup$ Now your question does not make sense anymore...You should roll back to a prior version. $\endgroup$ – Julien Apr 4 '13 at 18:19

Your Answer

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

Browse other questions tagged or ask your own question.