Measure Zero in $\mathbb{R}^n$

$\,$

Theorem - A subset $X \subseteq \mathbb{R}^n$ has zero Lebesgue measure if and only if for every $\epsilon >0$ there is a sequence of compact rectangles $\{R_i\}_{i \in \mathbb{N}}$ that cover $X$ and such that $\sum_{i} m(R_i) < \epsilon$ .

$\,$

Measure Zero Avoiding Measure Theory

In some circumstances one may want to avoid the whole theory of Lebesgue measure and integration and still be interested in having a notion of measure zero, like for example when studying Riemann integrals or constructing the Lebesgue measure from an historical point of view. Another interesting example where sets of measure zero arise and there is no reason to introduce measures or integrals is when studying the type of sets where a function of bounded variation is not differentiable (this sets have always measure zero).

Nevertheless, the notion of measure zero is not lost in this situation. Since the Lebesgue measure of compact rectangles can be easily calculated and defined from the start (see Jordan content of an $n$ -cell for example), the condition stated in the previous theorem can be taken as the definition of measure zero.

$\,$

Definition - A set $X$ in $\mathbb{R}^n$ is said to have measure zero if for every $\epsilon >0$ there is a sequence of compact rectangles $\{R_i\}_{i \in \mathbb{N}}$ that cover $X$ and such that $\sum_{i} m(R_i) < \epsilon$ , where $m$ is the Jordan content.

$\,$

Similarly, the notion of almost everywhere remains essentially the same. One just has to work with the previous definition.