How to construct a set with cardinality of continuum and a Lebesgue measure of zero?
For instance, a set of all rational numbers within (0,1) is a countable set with Lebesgue measure of zero. What about continuum?
How to construct a set with cardinality of continuum and a Lebesgue measure of zero?
For instance, a set of all rational numbers within (0,1) is a countable set with Lebesgue measure of zero. What about continuum?
Cantor set
is indeed a simple example.
It has cardinality of continuum, because it contains all numbers that don't have "1" in ternary numeral system. If we replace "2" with "1" and switch to binary representation, we cover (0,1) except for a countable number of (cut) points. Hence, it has cardinality of continuum - countable = continuum.
Lebesgue measure $λ(E) = \lim_{n \to \infty} (\frac{2}{3})^n = 0$. Thus, Lebesgue measure of Cantor set is zero.