1
$\begingroup$

I started studying multivariable integration and still trying to grasp the conecpt of the measure. I`m doing excersices and I keep getting the feeling im doing something wrong so I hope one of you could help me :

Definition: $E \subset \mathbb{R}^n$ is neglectible if for every $\epsilon$ >0 there exists a series of open cubes $Q_1,Q_2,...$ such that $E\subset \cup Q_i$ and $\sum_1^\infty V(Q_i)<\epsilon$

Now, I`m trying to show that if $\phi:[0,1]\to \mathbb{R}^2$ a continously differentiable path, then $\phi([0,1])$ is neglectible.

My idea was to say that $\phi$ is continously differentiable on compact set and hence lipchitz, so we have : $d(\phi(x),\phi(y))\leq Ld(x,y)$.

Now, [0,1] is compact so we can cover it by finitely many open sets of diameter $\sqrt{ \epsilon/L}$,

Excplicitly: $[0,1]\subset \cup_1^NI_i$. Now we can define a cover for $\phi([0,1])$ as folllowing :

For each $i$, take $Q_i$ coverage of $\phi(I_i)$. Its sides are bounded from the inequality : $d(\phi(x),\phi(y))\leq Ld(x,y)<\sqrt{ \epsilon/L}$, so overall $V(Q_i)<\epsilon$

To finish off the proof - and this is where my problem is :

$\phi([0,1])\subset \cup_1^N\phi(I_i)$ $\implies$ $V(\phi([0,1]))\leq \sum_1^NV(Q_i)=N\epsilon$

However- N is the number of open sets required to cover $[0,1]$, so it obviously depends on $\epsilon$ and most likely to get large as $\epsilon$ gets smaller.

I can't understand what I'm missing here. I'll be glad if someone can help me.

$\endgroup$
  • $\begingroup$ Can you write $N$ in terms of $\epsilon$? $\endgroup$ – Uskebasi Dec 10 '18 at 9:44
  • $\begingroup$ Youre right, its about $1/ \epsilon$ , Which still isn`t good $\endgroup$ – Sar Dec 10 '18 at 9:48
  • 1
    $\begingroup$ Isn't it $\frac{\sqrt{L}}{\sqrt{\epsilon}}$? $\endgroup$ – Uskebasi Dec 10 '18 at 9:50
  • 1
    $\begingroup$ Aha! True. Thanks alot . $\endgroup$ – Sar Dec 10 '18 at 9:52
  • $\begingroup$ @Uskebasi You should post that as an answer. It is better to not leave questions answered only in the comments. $\endgroup$ – Brahadeesh Dec 10 '18 at 18:41

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.