A Smooth Function with Peculiar Properties

183 Views Asked by At

Suppose $f:\mathbb R^n\to\mathbb R$ is a smooth function and define $E_f := \{x\in\mathbb R^n\;|\;f(x)=0\text{ and }\nabla f(x)\ne 0\}$. Can we find $f$ such that $E_f$ has positive $n$-dimensional Lebesgue measure?