Let us been given a bounded domain $A\subset \mathbb{R}^n$. There is a function $u:A\to[0,1]$ such that $$ A' = \{x\in A:u(x) = 1\} $$ is not empty and $u\in Lip(A)$ with rate $\alpha$. Is it right that $\mu(\partial A') = 0$ where $\mu$ is Lebesgue measure? If not, please help me to construct a counterexample, if yes - please, help me to prove it.
Measure of the boundary
5
$\begingroup$
real-analysis
general-topology
measure-theory
functional-analysis
-
0There is a version of Rademacher's theorem initially due to Cheeger valid for quite general metric measure spaces in the sense of Gromov. Googling these key-words should lead you to a wealth of results. – 2011-06-07
-
0Thanks. Since you only advised me without giving a feedback on the proof, I guess that it is correct. – 2011-06-07
-
0Sorry, I haven't really looked and thought about it. I just wanted to give you this pointer to enable you to search for something that might suit your needs. – 2011-06-07
-
0Ok, thanks. Then I'm still looking for the review of my proof. – 2011-06-07
-
0Any point in $A'$ is either in the interior of $A'$ or on the boundary of $A'$ (true). At any point in the interior of $A'$ the gradient of $u$ exists (true). How can you deduce from that that at every point on the boundary of $A'$ the gradient of $u$ does not exist? You cannot (furthermore this happens to be false). – 2011-06-07
-
0@Didier Piau: You right, this proof is wrong. Still, if the statement is correct? – 2011-06-07
1 Answers
5
For every $x$ in $\mathbb{R}^n$ and every closed set $B\subset\mathbb{R}^n$, let $$d(x,B)=\inf\{\|x-y\|;y\in B\}.$$ Then $d(x,B)=0$ if and only if $x$ belongs to $B$ and, for every $x$ and $y$ in $\mathbb{R}^n$, $$|d(x,B)-d(y,B)|\le\|x-y\|.$$ Choose $B\subset A$ and define the function $u$ on $A$ by $$u(x)=2^{-d(x,B)}.$$ Then $u$ is Lipschitz continuous and $A'=\{u=1\}=B$. Thus, the boundary of $A'$ may be the boundary of any closed set. In particular, it may have positive Lebesgue measure.
-
0Thanks, just derived the same example. – 2011-06-07