Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Could you tell me how to prove that each open set can is a countable union of open balls: $ K\left( x,r \right) = \left\{ y \in \mathbb{R} ^{n} | \ d(x,y) <r \right\}$ where d is the Euclid metric?

I know that $U$ is an open set if $\ int \ U=U$

and for $E \subset \mathbb{R}, \ \ $ $intE=\bigcup \left\{K \ | \ K\subset E \ \right\} $ (K as defined above).

share|cite|improve this question
I think your terminology is rather unusual. What you call a sphere is usually know as an open ball and its boundary is what is conventionally known as spheres (in $\mathbb{R}^n$). Also, nowaday people call what you call a sum a union. Under the usual interpretation, no nonempty open set is a union of spheres. – Michael Greinecker Jan 11 '13 at 11:46
up vote 5 down vote accepted

$U$ is open, so for each $x \in U$, there exists $r > 0$ such that $K(x,r) \subset U$. Now you can find rational elements $p,q$ ($p \in \mathbb Q^n, q \in \mathbb Q$) such that $K(p,q) \subset K(x,r)$ and $x \in K(p,q)$.

This means that you can express $U$ as the union of such $K(p,q)$. And there are only countably many rational pairs $(p,q)$.

(This is basically the same as Pambos's answer, it just uses more words.)

share|cite|improve this answer
Yes is basically the same but I like yours better (too) :) – P.. Jan 11 '13 at 11:58

Prove that $U\cap \mathbb Q^n$ is dense in $U$.
Then consider the family $\mathcal A =\left\{K(z,q):z\in U\cap \mathbb Q^n, q \in \mathbb Q,K(z,q)\subseteq U\right\}$.
Prove that $\mathcal A $ is countable and $\cup \mathcal A=U.$

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.