By decreasing, I mean ONLY that
And we have to find a decreasing sequence of "closed balls" in a COMPLETE metric space with empty intersection.
Can you please explain why your example satifies all the requirements? Why is it a closed ball??? What metric are you using? And why is the metric space complete?
Thanks a lot!
This is with the standard topology on , which is induced by the standard metric
I also assume you have shown that is a complete metric space with this metric.
Indeed, I did not see the requirement for closed balls, sorry for that. The sequence I proposed not one of balls. The sets are closed because any convergent sequence in will be wholly included in some interval for some , which is obviously a closed set, and therefore contains all of its limit points, thus contains all its limit points and is therefore closed.
Sorry again for the confusion.
But how can we construct an example of closed balls which satisify the all the requirements in the question?
Looking at hint 2, I agree that I_n ={n,n+1,n+2,...} is a decreasing sequence of sets, but I don't understand why they are "closed balls"...
thanks.
Actually, I am confused even to understand what hints 1 & 2 given in the question meant...
For hint 1: What does it mean to be a metric "on N"? How can {n>=k} ever be closed balls? This just doesn't make any sense to me...
For hint 2: I just don't understand what I_n ={n,n+1,n+2,...} is. How is I_n related to our problem?
Also, in this problem, what is the "metric space" that we're talking about? A metric space is a "set" together with a metric. The metric is given in hint 2, but what is that "set" in our problem?
Could somebody kindly explain these, please?
To you, maybe this question is simple. But to me right now, it seems impossible.
Any help is greatly appreciated!!
OK, now I have more progress...
With the metric d as given in the hint,
Closed ball about x=k of radius 1/2^(k-1) = {k-1,k,k+1,k+2,...}
And I've found a decreasing sequence of closed balls with empty intersection.
But with the given metric d(m,n)=∑1/(2^k) where the sum is from k=m to k=n-1, how can we prove that (N,d) with the metric d as defined above is a complete metric space?? (i.e. every Cauchy sequence in N converges (in N))
Any help is greatly appreciated!
Unless I'm doing something wrong, the metric in Hint 2, as is, does not yield a complete metric space. As I get it, the metric is, given :
right? So, consider the sequence of points . With this metric, it's a Cauchy sequence. Indeed, let , and choose such that . Then, for any two points such that , we have
.
However, it does not converge to any point in . Suppose it did converge to a point , and consider the ball centered at of radius . It is immediate to check that , which does not contain infinitely many terms of the sequence . Thus with this metric is not a complete metric space.
Unless, as I said, I've misunderstood something, or made a mistake somewhere along the way.
You're right, indeed as you showed, the metric does not give a complete metric space.
So I doubt there is a problem with this exercise, and I just looked at the latest version of my textbook, the question is still there exactly as worded above, but hint 2 is taken away (hint 1 is still there). So probably the author realized that there was a typo/mistake in the metric d given in hint 2. So after all that hard work, at the end we actually find out that our counterexample doesn't work.
But since the question is still there, the author seems to suggest that a counterexample that satifies all the requirements (including completeness) definitely exist, but it looks like we have to modify or come up with ANOTHER metric d. How can we come up with a metric d that would work and give a complete metric space?
Any help is greatly appreciated!
It's non-empty when the radii of the closed balls go to 0, but here in our problem we only require it to be a decreasing sequence. In our question, decreasing means simply that .
Actually the theorem says: a metric space is complete iff every decreasing sequence of closed ball with radii going to zero has nonempty intersection.
So if the radii are not going to zero, we should be able to find an example of a decreasing sequence of closed balls in a complete metric space with empty intersection.. The problem is what metric to use...
Does anyone have any idea?
Thanks for any inputs!