5
$\begingroup$

First well order $\mathbb{Q}=\{r_m\}_{m=0}^\infty$. Let $B_{m,n}$ be the open ball centered at $r_m$ with radius $2^{-(m+n)}$. Let $B=\bigcap_{n=0}^\infty\bigcup_{m=0}^\infty B_{m,n}$. Clearly $B$ has Lebesgue measure zero. But how to show it's not a union of countably many Jordan content zero sets?

A set $A\subseteq\mathbb{R}$ has Lebesgue measure zero iff $\forall\epsilon>0\exists$a countable family of open intervals $\{I_n\}_{n\in\omega}(A\subseteq\bigcup_{n\in\omega}I_n\wedge\sum_{n=0}^\infty|I_n|<\epsilon)$.

A set $A\subseteq\mathbb{R}$ has Jordan content zero iff $\forall\epsilon>0\exists$a finite family of open intervals $\{I_n\}_{n=0}^N(A\subseteq\bigcup_{n=0}^NI_n\wedge\sum_{n=0}^N|I_n|<\epsilon)$.

I found a similar topic in this question: link

$\endgroup$

1 Answer 1

2
$\begingroup$

I changed this into a topology question and requires some knowledge of Baire spaces.

To say that a set has Jordan content zero implies there is a closed set with empty interior which contains that set (you can create a nest of closed sets which contain your set and decrease in Lebesgue measure, then take the intersection of all of these closed sets; if this set had interior, it would have nonzero Lebesgue measure). Thus a countable union of Jordan content zero sets is contained in a meager subset of $\mathbb{R}$.

Every subset of a meager set is meager, thus a countable union of Jordan content zero sets would be.

Now you need to see that your set $B$ is not meager. This is because a dense, $G_\delta$ subset of $\mathbb{R}$ (like yours) is comeager (its complement is a meager subset of the reals). And since the reals are a Baire space, we cannot have that $B$ is meager in addition, for otherwise the reals would be meager in themselves.

$\endgroup$
1
  • $\begingroup$ Ah yes. My mistake. Fixed. $\endgroup$
    – user123641
    Commented Jan 26, 2014 at 11:31

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .