consider the set of rationals to be a metric space with metric, d(x,y)=|x-y|. Then let E be the set of all rationals q with 2<q^2<3. Prove that E is closed and bounded. But not compact. I can see that it is bounded. How do i prove the other two?

Printable View

- Jan 13th 2010, 10:53 PMpoornaclosed bounded and compact
consider the set of rationals to be a metric space with metric, d(x,y)=|x-y|. Then let E be the set of all rationals q with 2<q^2<3. Prove that E is closed and bounded. But not compact. I can see that it is bounded. How do i prove the other two?

- Jan 13th 2010, 11:09 PMDrexel28
- Jan 14th 2010, 01:37 AMDrexel28
For example. Define with . It is easy to prove that this is monotonically decreasing and bounded below by , and so we know it converges in , so it must be Cauchy there. And if it's Cauchy there it must be Cauchy here (since a Cauchy sequence is independent of the space it's embedded in). But, .

- Jan 14th 2010, 04:05 AMputnam120
Well not compact is the easy one to prove so I won't walk about it.(Lipssealed)

As for closed it is easier to show that the complement is open. WLOG x>0 and then you can find such that . (note that if then x isn't rational)