Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $ \left\{ {r_i } \right\}_{i = 1}^\infty = \mathbb{Q}$ an enumeration of $\mathbb{Q}$. Let $ J_{n,i} = \left( {r_i - \frac{1} {{2^{n + i} }},r_i + \frac{1} {{2^{n + i} }}} \right) $ $ \forall \left( {n,i} \right) \in {\Bbb N}^2 $ Then define $$ A_n = \bigcup\limits_{i \in {\Bbb N}} {J_{n,i} } $$ and $$ A = \bigcap\limits_{n \in {\Bbb N}} {A_n } $$

i) Prove that A has measure zero ii) prove that A cannot be writted as a countable union of sets with null jordan content, where the null jordan content, is the same definition as null measure, only instead of covering with countable intervals, only done with finite, i.e given any $ \varepsilon > 0 $ there exist finite intervals, such that cover the set, and the sum of the lengths, is less than $ \varepsilon > 0 $

Sorry for ask this question, but I want to see an example

share|improve this question
    
For (i), note that $\lim_{n\rightarrow \infty} m(A_n) = 0$. For (ii), note that $A$ contains $\mathbb{Q}$, so cannot be covered by finitely many intervals. –  Thomas Andrews Oct 19 '11 at 17:20
    
Is there something wrong in the definition of $A_n$? For every $n\in\mathbb{N}$ and $x\in\mathbb{R}$ there is a rational number in $(x-1/2^{n+1},x+1/2^{n+1})$. Hence $A_n=\mathbb{R}$ for every $n$? –  LostInMath Oct 19 '11 at 17:21
add comment

1 Answer

up vote 1 down vote accepted

Hint (for ii): Show that if $E$ is Jordan null, then the (topological) closure of $E$ is Jordan null. From this you can show that each Jordan null set is nowhere dense. Finally, show that $A$ cannot be written as a countable union of nowhere dense sets. (In fact, $A$ is easily large enough for this, since the complement of $A$ is a first category set.)

Additional Hints: Assume $E$ is Jordan null. Let $\varepsilon > 0$ be given. Cover $E$ with open intervals $I_{1}, \; I_{2}, \; ..., \; I_{n}$, where the sum of the lengths of these open intervals is less than $\frac{\varepsilon }{2}$. Take the closure of both sides of $E\subseteq \bigcup\nolimits_{n=1}^{N}I_{n}$, using the fact that the closure operator is monotone with respect to set inclusion and distributes over a finite union. This gives

$$\overline{E}\;\;\subseteq \;\;\overline{\bigcup\nolimits_{n=1}^{N}I_{n}} \;\; = \;\; \bigcup\nolimits_{n=1}^{N}\overline{I_{n}} \;\;= \;\; \left( \bigcup\nolimits_{n=1}^{N}I_{n}\right)\; \cup \;\mathcal{E},$$

where $\mathcal{E}$ is the finite set of endpoints of the intervals $I_{1}, \; I_{2}, \; ..., \; I_{n}$. Now note that $\mathcal{E}$ can be covered by a finite collection of open intervals whose lengths add to less than $\frac{\varepsilon }{2}$.

share|improve this answer
    
Thanks Thomas, with what you said the problem it´s done. But now, sorry for be so stupid, but I'm not, not at all comfortable with this, and still I have a bit scary. And I want to know how can I prove that if E is a jordan null set, it´s closure also will be. <.< –  Susuk Oct 19 '11 at 17:42
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.