A binary sequence is a finite or infinite sequence whose terms belong to .
Partition the positive natural numbers into three infinite coordinate sets. Fix the coordinates on the first two sets to any prescribed binary values, and leave those on the third set free. Reading the third coordinate set embeds all infinite binary sequences in the resulting family, so the family is an uncountable set by Cantor's diagonal argument. For example, fixing and while leaving free guarantees infinitely many zeros and infinitely many agreements with any prescribed binary sequence . Infinite free coordinates remain even after both requirements are enforced.

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.