Proving a metric space with a particularly strange distance is bounded and separable.

Hi everyone! I'm trying to solve a problem related to metric spaces and I'm having a really hard time. Here's the given statement:

Let (A,d) be a metric space of sequences defined as follows:

1) Any sequence in A is a sequence of natural numbers

2) For all (a_n)_n, a_n<a_(n+1) (strictly increasing sequence)

3) For every sequence a in A, the limit as n→∞ of (#{j:a_j<n})/n exists. We call that limit l(a)

Prove that (A,d) is bounded and separable.

Now, if a and b are two sequences in A, d is the distance defined as d(a,b)= k^(-1)+|l(a)-l(b)| where k={min j : a_j≠b_j}. By the way, I've already checked this indeed defines a distance.

The sequence (a_n)_n=(1,2,3,4,...,...) where a_n=n for all n in N is a sequence that exists in A.

I've tried to prove that (A,d) is bounded by assuming A is unbounded and trying to arrive to an absurd. I supposed that there exists a in A such that for all M>0, d(a,x)>M for all x in A. I couldn't get to anything.

For the part of separability I have no idea although I've tried to find a dense countable subset in (A,d). I welcome any suggestions or ideas.

Re: Proving a metric space with a particularly strange distance is bounded and separa

Quote:

Originally Posted by

**andrewkoch** Now, if a and b are two sequences in A, d is the distance defined as d(a,b)= k^(-1)+|l(a)-l(b)| where k={min j : a_j≠b_j}. By the way, I've already checked this indeed defines a distance.

I do not understand the notation you are using. What is |l(a)-l(b)|? Is that supposed to mean ?

Quote:

Originally Posted by

**andrewkoch** The sequence (a_n)_n=(1,2,3,4,...,...) where a_n=n for all n in N is a sequence that exists in A.

The definition of A that you provided does not even guarantee that A is nonempty. Suppose . The definition you provided for A is trivially satisfied. You would need some phrase like A is the set of all sequences of natural numbers such that...

Quote:

Originally Posted by

**andrewkoch** I've tried to prove that (A,d) is bounded by assuming A is unbounded and trying to arrive to an absurd. I supposed that there exists a in A such that for all M>0, d(a,x)>M for all x in A. I couldn't get to anything.

To answer this, I will assume that I am correct in my first assumption about your notation. For any strictly increasing sequence of natural numbers , it must be that for all . So . This implies for all (for n=1, if =1, then you have 0). So, . Then . So, for any two sequences, . So pick any sequence . Then .

Quote:

Originally Posted by

**andrewkoch** For the part of separability I have no idea although I've tried to find a dense countable subset in (A,d). I welcome any suggestions or ideas.

For each , let . Prove that and . Next, for each , let . You just proved that each is nonempty. You now have a partition for A. (Edit: Almost... you need a . To show that is nonempty, consider the sequence . Show that sequence is in A and )

Question: For each , is countable or uncountable? I don't know the answer to this. If it is countable, then a countable union of countable sets is countable. If it is uncountable, then you need to find a countable subset of each, let's call it such that if and for all , then there exists such that where is defined by .

Re: Proving a metric space with a particularly strange distance is bounded and separa

Re: Proving a metric space with a particularly strange distance is bounded and separa

My notation is horrible, sorry about that. |l(a)-l(b)| it's what you've said but with absolute value. I put something wrong in my post, it's actually limit as n→∞ of (#{j:a_j≤n})/n. Thanks for your ideas, I'll think about it and try to put a complete answer of the exercise. The set C_r is a subset of the rational numbers. The set of all rational numbers is numerable, so C_r is countable.

Re: Proving a metric space with a particularly strange distance is bounded and separa

Quote:

Originally Posted by

**andrewkoch** Hi everyone! I'm trying to solve a problem related to metric spaces and I'm having a really hard time. Here's the given statement:

Let (A,d) be a metric space of sequences defined as follows:

1) Any sequence in A is a sequence of natural numbers

2) For all (a_n)_n, a_n<a_(n+1) (strictly increasing sequence)

3) For every sequence a in A, the limit as n→∞ of (#{j:a_j<n})/n exists. We call that limit l(a)

Prove that (A,d) is bounded and separable.

Now, if a and b are two sequences in A, d is the distance defined as d(a,b)= k^(-1)+|l(a)-l(b)| where k={min j : a_j≠b_j}. By the way, I've already checked this indeed defines a distance.

The sequence (a_n)_n=(1,2,3,4,...,...) where a_n=n for all n in N is a sequence that exists in A.

I've tried to prove that (A,d) is bounded by assuming A is unbounded and trying to arrive to an absurd. I supposed that there exists a in A such that for all M>0, d(a,x)>M for all x in A. I couldn't get to anything.

For the part of separability I have no idea although I've tried to find a dense countable subset in (A,d). I welcome any suggestions or ideas.

I have to correct something: It's limit n→∞ of (#{j:a_j≤n})/n

Re: Proving a metric space with a particularly strange distance is bounded and separa

Quote:

Originally Posted by

**andrewkoch** My notation is horrible, sorry about that. |l(a)-l(b)| it's what you've said but with absolute value. I put something wrong in my post, it's actually limit as n→∞ of (#{j:a_j≤n})/n. Thanks for your ideas, I'll think about it and try to put a complete answer of the exercise. The set C_r is a subset of the rational numbers. The set of all rational numbers is numerable, so C_r is countable.

That just says there are countably many sets C_r. It does not tell us if the set C_r is countable. If you look at the set of all sequences that converge to r, that set is clearly uncountable. So you would need to show that only countably many sequences in A converge to a specific point.