There is a function which, for each real number, gives you a unique number between 0 and 1. For example, 1/(1+e^x). This shows that there are no more numbers between 0 and 1 than there are real numbers. The formalisation of this fact is contained in the Cantor-Schröder-Bernstein theorem.
There is a function which, for each real number, gives you a unique number between 0 and 1. For example,
1/(1+e^x). This shows that there are no more numbers between 0 and 1 than there are real numbers. The formalisation of this fact is contained in the Cantor-Schröder-Bernstein theorem.ah, but don’t forget to prove that the cardinality of [0,1] is that same as that of (0,1) on the way!
This is pretty trivial if you know that the cardinality of (0, 1) is the same as that of R ;)
Isn’t cardinality of [0, 1] = cardinality of {0, 1} + cardinality of (0, 1)? One part of the sum is finite thus doesn’t contribute to the result