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

Let be $M$ a compact metric space, and let $\{x_n\}$ be a dense subsequence in $M$.

We say that a set $\Lambda=\{y_1,\ldots,y_n\}$ is $\epsilon$-dense when every ball of radius $\epsilon$ contains a point of $\Lambda$.

I want to prove that for every $\epsilon$ there exists $N\in\mathbb{N}$ such that $\{x_1,\ldots,x_N\}$ is $\epsilon$- dense.

I'm trying to do this by contradiction. I'm trying to argue that it does not exist then $\{x_n\}$ is not dense. But I'm having trouble with it.

share|cite|improve this question
What are you trying to prove? That for every $\epsilon$ there exists $N$ such that $\{x_1,\ldots,x_N\}$ is $\epsilon$ dense? – Arturo Magidin Apr 29 '12 at 22:59
for each $\epsilon$ fixed there exists $N$ such that $\{x_1,\ldots,x_N\}$ is $\epsilon$ dense – user27456 Apr 29 '12 at 23:01
So then that's not something "you can see", it's what you are trying to prove. – Arturo Magidin Apr 29 '12 at 23:03
up vote 1 down vote accepted

You can start with a finite cover $\cal B$ of $M$ of balls of radius $\epsilon/2$. Compactness of $M$ ensures that you can do this. Note that any open ball $O$ of radius $\epsilon$ would then contain a member of $\cal B$; in particular, $O$ would contain the member of $\cal B$ containing the center of $O$. So all you need to do is select an $x_i$ in each member of $\cal B$. The denseness of $\{x_i\}$ ensures that you can do this. Finally, take $N$ to be the maximum index selected and set $\Lambda=\{x_1,\ldots, x_N\}$.

share|cite|improve this answer

I think you can manage it directly:

Let $\epsilon>0$. Show $\bigcup_{i\in \mathbb{N}}B(x_i,\epsilon)=X$ by density.

Extract a finite subcover, then find an $N\in\mathbb{N}$ greater than all of the indices of the centers of the finite subcover. Clearly $\bigcup_{i=1}^N B(x_i,\epsilon)=X$.

For any $x\in X$, $x\in B(x_i,\epsilon)$ for some $i\in 1\dots N$, and so $x_i\in B(x,\epsilon)$.

share|cite|improve this answer
Close, but not quite. You need smaller balls. – Robert Israel Apr 29 '12 at 23:04
How do you ensure that if we take a ball of radius $\epsilon$ outside of the coverage that you extracted this ball will contain some of the $\{x_1,\ldots,x_N\}$? – user27456 Apr 29 '12 at 23:05
Oh, thanks Robert :) Uh oh... is this a Lebesgue number situation? – rschwieb Apr 29 '12 at 23:07
@RobertIsrael I think it's OK now, I don't think my radii are too small. – rschwieb Apr 30 '12 at 0:36
I think this is not correct. If you take a ball $B(y,\epsilon)$ How do you ensure that $B(y,\epsilon)$ contains some $x_i$? I think you have to make balls with a smaller radius. – user27456 Apr 30 '12 at 1:35

Your Answer


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