You can first pick a countable (but infinite) subset A = {a_1,a_2,...} and map the set to a subset of [0 1] by the following procedure: map a_1 to f(a_1) = 0.5 a2: f(a_2) = (f(a_1)+1)/2 if a_2>a_1, (f(a_1)+0)/2 if a_2 ....www.ddhw.com a_n: find s,ka_n, ia_n,i .... Notice that {f(a_i)} has the same order structure as {a_i} Now, we get an infinite subset {f(a_i)} of [0 1], so, we can find a subsequence which converges to some real number r, and we can either pick a monotonic increasing or decreasing subsequence, and the corresponding subsequence of {a_1,a_2,...} satisfies the requirement. |