TransWikia.com

Property of Lebesgue measure in $mathbb{R}^2$

Mathematics Asked on December 29, 2021

Let $I=[0,1]times [0,1]$ and $Esubset mathbb{R}^2,$ be a set of zero Lebesgue measure. Is it true that $$overline{Isetminus E}=I?$$

I guess that the counterexample will be some form space filling curve.

2 Answers

Yes, it is true. Proving that $overline{Isetminus E}subseteq I$ is trivial.

For proving $Isubseteqoverline{Isetminus E}$ let $(x,y)in I$ and assume that $(x,y)notinoverline{Isetminus E}$.

Then some open set $U$ must exist with $(x,y)in U$ and $Ucap(Isetminus E)=varnothing$ or equivalently $Ucap Isubseteq E$.

But $Ucap I$ has positive Lebesgue measure.

So this contradicts that $E$ is a set with Lebesgue measure zero and we conclude that our assumption must be wrong.

That means that $(x,y)in I$ implies that $(x,y)inoverline{Isetminus E}$ and we are ready.

Answered by drhab on December 29, 2021

If the complement of $E$ is not dense in $I$, then $E$ contains some open rectangle, so it cannot be of measure zero.

Answered by uniquesolution on December 29, 2021

Add your own answers!

Ask a Question

Get help from others!

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP