Timeline for weak regularity conditions for regions to assure boundary of measure zero
Current License: CC BY-SA 2.5
5 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jan 27, 2011 at 14:25 | comment | added | Florian | I vaguely remember a theorem that says that a bounded set is Jordan-measurable if and only if its boundary is a set of Jordan-measure zero. Since Jordan null sets are Lebesgue null sets, this is a criterion if I am right. | |
Jan 24, 2011 at 10:44 | comment | added | Tapio Rajala | Well, $\Omega$ being a region isn't that restrictive, so it is hard to guess what kind of conditions you are looking for. The next set of conditions that come into my mind have to do with curves inside the region, but these are already quite strong. For example if you assume that the region is a John-domain you already get an upper bound on the dimension. However, under any such condition I would prove the boundary to have zero measure via porosity (the holes being inside the region in this case)... | |
Jan 24, 2011 at 9:02 | comment | added | Alexander Thumm | As this condition seems very natural to protect onesself from spacefillung boundaries, I do not see that it makes any use of $\Omega$ being a region. On the other hand I do not now how to use this information without stating very strong requirements. | |
Jan 23, 2011 at 14:06 | comment | added | Tapio Rajala | The first condition that comes into my mind which implies Lebesgue measure zero is upper porosity. Suppose that there exists a constant $0 < c < 1$ so that for all $x \in \partial\Omega$ there are arbitrarily small radii $r$ so that $B(y,cr) \subset B(x,r)\setminus \partial\Omega$ for some $y\in \mathbb{R}^n$. Then $\mathcal{L}(\partial\Omega)=0$, where $\mathcal{L}$ is the Lebesgue measure. (This follows immediately by considering density points.) If one assumes that this holds for all small enough radii, one also gets an estimate on the dimension. | |
Jan 23, 2011 at 13:39 | history | asked | Alexander Thumm | CC BY-SA 2.5 |