To show that the set point distant by 1 of a compact set has Lebesgue measure $0$

Could any one tell me how to solve this one?

Let $K$ be a compact subset of $\mathbb{R}^n$, and $$A:=\{x\in\mathbb{R}^n:d(x,K)=1\}.$$ Show that $A$ has Lebesgue measure $0$.

Thank you!

• Assuming that $d(x,K)$ is induced by the Euclidean metric, I suspect one could argue that, locally, $A$ is a smooth $n-1$ manifold, i.e., locally the graph of some smooth function. This graph has measure zero. Mar 12 '13 at 14:50
• @SimenK. Well, I don't think you will get smooth function, but merely a Lipschitz one. Which is still sufficient for your line of reasoning. Mar 12 '13 at 15:12
• I don't have an answer, but here is an argument that could lead to one: The set of points which do not have a unique nearest point in $K$ is called the ridge of the distance function. The ridge is known to have Hausdorff dimension at most $n-1$, while $A$ is expected to be the graph of a Lipshitz function near points which are not on the ridge. Put these together, and a proof might emerge. Mar 12 '13 at 16:55
• I'm afraid this is way beyond my abilities, so I did the case $n=1$... Writing the open set $\mathbb{R}\setminus K=\bigcup (a_j,b_j)$ we see that $A$ is countable. So it has Lebesgue measure $0$. Mar 12 '13 at 23:30
• Out of curiosity, where did this problem come from? Mar 13 '13 at 2:13

Suppose $x_0\in A$. Let $B := \{ d(x,K) < 1\}$.

Observe that since $K$ is compact, there exists $y_0\in K$ such that $d(x_0,y_0) = 1$. By definition $B_1(y_0) = \{x: d(x,y_0) < 1\}$ is a subset of $B$.

This implies that for all $\epsilon < 1/2$, we have that $$\mu(B_\epsilon(x_0) \cap B) \geq \frac1{2^n} \mu(B_\epsilon(x_0))$$ where $\mu$ is the Lebesgue measure. (The factor $1/2^n$ is very loose: Since a sphere tangent to $x_0$ is contained in $B$, locally an orthant centered at $x_0$ is contained in $B$.)

Hence we have that for every $x_0\in A$, $$\limsup_{\epsilon \to 0} \frac{\mu(B_\epsilon(x_0) \cap A)}{\mu(B_\epsilon(x_0))} \leq \frac{2^n-1}{2^n} < 1$$

By the Lebesgue differentiation theorem, the set of $x_0\in A$, for $A$ measurable, such that the above condition holds must be measure zero. Hence $A$ has measure zero.

• This is very nice! Mar 13 '13 at 13:00
• And sooo obvious – in retrospect. Tiny nitpick, though: The limit should be a limsup. Mar 13 '13 at 15:34
• @HaraldHanche-Olsen: you are right of course. Fixed. Mar 13 '13 at 16:23
• Any idea if $K$ is any subset ? I will be impressed if it doesn't hold. Mar 13 '13 at 18:00
• @user10676: use that $d(x,K) = d(x,\bar{K})$. Then cut-off at radius $R$. By Heine-Borel we now have a compact set. Take a countable increasing sequences of $R$ and use sigma sub-additivity. Mar 14 '13 at 9:03

I was going to make this a comment but it occurred to me there might be sufficient interest that perhaps I should not bury it in a comment.

At the beginning of the paper below Erdős gives a short proof (that he attributes to Tibor Radó) making use of the Lebesgue density theorem that $E_r$ has Lebesgue measure zero, where $E$ is a closed set in ${\mathbb R}^n$ and $$E_r \, = \; \{ x \in {\mathbb R}^n : \; d(x,E)=r \}$$

Paul Erdős, Some remarks on the measurability of certain sets, Bulletin of the American Mathematical Society 51 #10 (October 1945), 728-731.

Later in this paper (item 6), Erdős proves the stronger result that, for $K$ compact, the Hausdorff $(n-1)$-measure of $K_r$ is finite, and hence $E_r$ has $\sigma$-finite Hausdorff $(n-1)$-measure when $E$ is closed.

More precise results can be found in a 1985 paper by Oleksiv/Pesin Zbl 573.28010 [English translation: Mathematical Notes 37 (1985), 237-242], and I'm sure there are quite a few related results in the literature. For instance, each of the sets $E_r$ is $$-very porous in the sense defined in this conference talk of mine, and among other things I gave a short argument there that each such set has $\sigma$-finite packing $(n-1)$-measure.

The analysis of results related to these in infinite dimensional normed spaces has also generated a fair amount of interest. One possible entry point into this is Ludek Zajicek's 1983 paper Differentiability of the distance function and points of multi-valuedness of the metric projection in Banach space.

(Added 12 Weeks Later) Someone recently gave me a vote on this answer and, in looking at what I wrote, it occurred to me that a much better reference for the comment "one possible entry point into this" that I made in the last paragraph is the following book:

Joram Lindenstrauss, David Preiss, and Jaroslav Tišer, Fréchet Differentiability of Lipschitz Functions and Porous Sets in Banach Spaces, Annals of Mathematics Studies #179, Princeton University Press, 2012, x + 425 pages. Zbl 1241.26001 (a review)

Princeton University Press web page for the book

Amazon.com web page for the book

Disclaimer: The following approach has a flaw in the second step, because the set $A$ could be a nowhere dense set with positive measure like e.g. a fat Cantor set as Davide Giraudo pointed out in his comment. I don't see any way to work around this gap, but leave the answer here in the hope that it might still prove useful in some way.

1. $A$ is compact. Since $A$ is clearly bounded, it only needs to be shown that it's closed. Let $x_i$ be a convergent sequence in $A$ with limit point $x$. Then $x$ is also in $A$, because for each $x_i$ you find a $y_i$ in $K$ with $d(x_i,y_i)=1$. The $y_i$ have a convergent subsequence with some limit point $y$. Because $d$ is continuous it follows that $d(x,y)=1$. Further, one can show that $d(x,y)\geq1$ for all $y\in K$ (Otherwise, say $d(x,y)<1-\epsilon$ for some $y\in K$, then $d(x_i,y)\leq d(x,x_i)+d(x,y)<\epsilon/2+1-\epsilon<1$ for some $x_i$). Thus $x\in A$.

2. If $A$ is closed and Lebesgue measurable with $\lambda(A)>0$ it must contain at least one non-empty open set of $\mathbb R^n$, namely the interior of $A$. This in turn would contain a closed ball, call it $\bar B_\delta(x)$ for some $x\in A$ and $\delta>0$.

3. $K$ cannot contain any point of the open ball $B_{1+\delta}(x)$, because otherwise there would be a point in $\bar B_\delta(x)$ with distance to $K$ smaller than 1. But, then $x$ would have distance larger then $1$ to $K$, i.e. $x\not\in A$, contrary to the assumption that $\bar B_\delta(x)\subset A$.

A possible remedy: If we define $B=\bigcup_{y\in K}\bar B_1(y)$, then $A=\partial B$, since the boundary of $B$ contains exactly the points which have distance $1$ to $K$. Since $B$ is a relatively "smooth" set (in the sense that it cannot have infinitely small and dense holes like a Cantor set), this may carry over to its boundary and salvage step 2. by ruling out "weird sets" like the fat Cantor.

• 2. may be problematic when $K$ is a fat Cantor. Mar 12 '13 at 22:12
• Is statement 2. obvious? I had similar thoughts for a method of proof but couldn't justify that step. That is, why must the interior be non-empty? Mar 12 '13 at 22:18
• @DavideGiraudo You're right. I didn't think about that. As the proof builds on that, there's probably no way to salvage it. I just want to think about it a bit more, before I remove it. Mar 12 '13 at 22:21
• I wouldn't remove the answer, it may still be useful to the OP. Just add a disclaimer that the gaps may be un-fillable. Mar 12 '13 at 22:23
• I miscredited Vitali. Here it is: en.wikipedia.org/wiki/Steinhaus_theorem Mar 13 '13 at 0:09

$f_K : \mathbb{R}^n \rightarrow \mathbb{R}$ given as $f_K(x) = d(x,K)$ is clearly Lipschitz as $|f_K(x)-f_K(y)| \leq |x-y|,\ A = f_K^{-1}(\{1\})$. A Lipschitz function $f$ take measure 0 sets to measure 0 sets as if $\mu$ is lebesgue measure for $\mathbb{R}^n$ then $\mu(f(A))\leq (Lip(f))^n\mu(A)$(you can prove this is either using outer measure arguments or very trivially using equality of lebesgue and hausdorff measure).

• How can you conclude that $\mu (A)=0$? Mar 12 '13 at 16:29
• To amplify on @Tomás's remark, it seems to me that your inequality is the reverse of what you would need. Mar 12 '13 at 16:51
• As you wrote: $f$ takes measure 0 sets to measure 0 sets. But you have to show that the preimage of a measure 0 set is a measure 0 set.
– saz
Mar 12 '13 at 17:31
• To amplify on @HaraldHanche-Olsen 's remark, consider the function $f(x) = 0$. It is clearly Lipschitz, but $f^{-1}(0)$ is not measure 0. Mar 12 '13 at 17:41