Uncountability by interleaving prescribed binary coordinates

ID: uncountability-by-interleaving-prescribed-binary-coordinates

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.

New to topics? Read the docs here!