Let $f: \Bbb{R}^n \rightarrow \Bbb{R}$ be a non-negative function that vanishes on a set $\Omega$ that is compact and has positive measure. What is the minimial amount of regularity required of $f$ to guarantee that $\Omega$ contains an open set? I'm interested in classes of the form $C^k$ or $C^{k,\alpha}$ ($k$-times continuous differentiability and Holder spaces, respectively).

Let $f: \Bbb{R}^n \rightarrow \Bbb{R}$ be a non-negative function that vanishes on a set $\Omega$ that is compact and has positive measure. What is the minimial amount of regularity required of $f$ to guarantee that $\Omega$ contains an open set? I'm interested in classes of the form $C^k$ or $C^{k,\alpha}$ ($k$-times continuous differentiability and Hölder spaces, respectively).

Let $f: \Bbb{R}^n \rightarrow \Bbb{R}$ be a non-negative function that vanishes on a set $\Omega$ that has positive measure. What is the minimial amount of regularity required of $f$ to guarantee that $\Omega$ contains an open set? I'm interested in classes of the form $C^k$ or $C^{k,\alpha}$ ($k$-times continuous differentiability and Holder spaces, respectively).

Let $f: \Bbb{R}^n \rightarrow \Bbb{R}$ be a non-negative function that vanishes on a set $\Omega$ that is compact and has positive measure. What is the minimial amount of regularity required of $f$ to guarantee that $\Omega$ contains an open set? I'm interested in classes of the form $C^k$ or $C^{k,\alpha}$ ($k$-times continuous differentiability and Holder spaces, respectively).