Sequences, subsequences and limits

[hitmeoff]

Homework Statement

Let (r_n) be an enumeration of the set Q of all rational numbers. Show that there exists a subsequence (r_nk) such that lim_{k\rightarrow\infty} r_nk = +\infty

Homework Equations

The Attempt at a Solution

Im not sure how to even attack this

 

[LumenPlacidum]

If you can make your sequence strictly increasing and unbounded, then it works. Remember that there are only finitely many possible rational numbers before the nth rational number, and yet there are infinitely many rational numbers bigger than whatever the nth rational number is.

 

[hitmeoff]

So how about this: Let (r_nk) be a sequence of real numbers such that:

1. r_n1 > a, a\epsilon Q
2. (r_nk) is strictly increasing
ie. r_n1 < r_n2 ... < r_nk >

Then the lim_{k \rightarrow \infty} r_{n}_{k} = \infty

 

[LumenPlacidum]

If your 'a' is simply any element of the rational numbers, then your r_n_1 is going to be the supremum of the rationals, which is not in the rationals.

Also, after you show that something's strictly increasing, you have to show that it's also unbounded, meaning that for any M, you can pick r_n_k such that r_n_k > M. After all, the partial sums of sigma from i=1 to infinity of (1/2)^i are constantly increasing, but always less than 2.