How many sequences of rational numbers in $[0,1]$ exist?

646 Views Asked by At

I was talking with a friend of mine and we wonder how many sequences of rational numbers on $[0,1]$ there exists. My first attempt was to consider that every sequence like that must be a subset of $\mathbb{Q} \times \mathbb{N}$ and because this is an infinite countable set, then all their subsets (functions) must be an infinite countable.

But he said to me that this is wrong, because all the functions from $\mathbb{N}$ to $\mathbb{Q}$ must be |$\mathbb{Q}^{\mathbb{N}}|$

After a while, I thought that my attempt is really wrong because all the sequences like that lives in the power set of $\mathbb{Q} \times \mathbb{N}$.

But right now I'm thinking that if the number of all sequences of rational numbers on $[0,1]$ has the cardinality of real numbers, then we can choose (can we, right?) an element of each sequence and label it with a real number, then we can construct a sequence of rational labelled with real numbers which is a contradiction, then the number of all sequences of rational numbers on $[0,1]$ must be the same of the natural numbers.

Do anyone know the right answer? (if it exists)

2

There are 2 best solutions below

0
On

It has to be uncountable because you can represent any real number with a sequence of rationals (in particular only 0, 1 (base 2)).

4
On

Using your notation, $|\mathbb{Q}^{\mathbb N}| \ge |\mathbb{R}|$ because any real is the limit of a sequence of rationals. The other way around, $|\mathbb{Q}^{\mathbb N}| \le |\mathbb{R}|$ because any sequence of rationals can be mapped to a real, for example by building one off the concatened expansion in some arbitrary base of the numerators and denominators. Thus $|\mathbb{Q}^{\mathbb N}| = |\mathbb{R}|$ so the number of rational sequences has the same cardinality as $\mathbb R$.