Skip to main content
2 of 3
deleted 14 characters in body
Sergei Ivanov
  • 32.4k
  • 2
  • 99
  • 154

If a real analytic function $f:U\subset\mathbb R^n\to\mathbb R^m$ is zero on a set $Z$ of positive measure (and $U$ is connected), then $f\equiv 0$.

Indeed, almost every point of $Z$ is a density point. It is easy to see that the derivative at a density point is zero. Therefore $df=0$ a.e. on $Z$. Applying the same argument to $df$, conclude that the second derivative vanishes a.e. on $Z$ too. And so on. Thus $f$ has zero Taylor expansion at some point, hence $f\equiv 0$.

Sergei Ivanov
  • 32.4k
  • 2
  • 99
  • 154