## Most recent change of CoveringTheReals

Edit made on June 11, 2016 by ColinWright at 19:51:54

Deleted text in red / Inserted text in green

WW WM

We know that the rational numbers are countably infinite.
* EQN:r_1,\;r_2,\;r_3,
/etc./

So cover
* the first rational with an umbrella of size 1/2,
* the second rational with an umbrella of size 1/4,
* the third rational with an umbrella of size 1/8,
* the fourth rational with an umbrella of size 1/16,
and so on ...

The umbrellas are open.

Clearly all the rationals are covered.

Even more, consider some rational. Its umbrella is of
rational size, so we can look at the rationals under
its edges. Clearly they are rational, so they're covered with
umbrellas, and these umbrellas overlap.

This shows that all the real numbers must be covered and kept dry.

Or not.

The umbrellas are, in total, of length 1. They overlap,
so the amount of numberline ~number-line covered is strictly less
than 1.

So the number line ~number-line is, in fact, entirely wet.

How does that work ~work ??!!