MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let S be a n-rectifiable subset of \mathbb{R}^N , we define the differentiability of a funtion f:S \to \mathbb{R} at a point x_0 in S as in Federer's book, where he called differentiable relative to S at x_0. Are there any known condition to ensure that f is differentiable relative to S at H^n-a.e. points in S?

Here we suppose that S is equipped with a metric d such that it is Ahlfors n-regular in Hausdorff measure, meaning that the Hausdorff n-measure of balls with radius r in S is comparable to r^n. That is, We may view S itself as an n-regular n-rectifiable metric measure space.

share|cite|improve this question
up vote 1 down vote accepted

I found some results on this topic, except Federer's book "geometric measure theory",

  1. Ambrosio, Luigi; Kirchheim, Bernd Rectifiable sets in metric and Banach spaces. Math. Ann. 318 (2000), no. 3, 527–555.

  2. Keith, Stephen Measurable differentiable structures and the Poincaré inequality. Indiana Univ. Math. J. 53 (2004), no. 4, 1127–1150.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.