I'm interested in the following property, for a positive and locally bounded function $\omega:\mathbb{R}\to\mathbb{R}^d$, $d\ge 1$: there exists a countable sequence of open and pairwise disjoint sets $A_j$, such that
- $\mathbb{R}^d\setminus\bigcup_{j=1}^\infty A_j=N$, with $\mathcal {L} ^d(N)=0$ ($\mathcal L^d$ is the $d$-dimensional Lebesgue measure),
- $a_j\le\omega(x)\le b_j$ , for any $x\in A_j$, with $\frac{b_j}{a_j} \le C$ for some constant $C>0$ and for any $j$.
Since it is pretty involved and abstract, as a definition, I would like to have some criterion that ensures it to be true. At the moment I've understood the following:
- if $C_1\le\omega(\cdot)\le C_2$, with $C_1,C_2 >0$ then the property is obviously satisfied, with $A_1=\mathbb R^d$;
- taking $A_j=\omega^{-1}\big(]2^n,2^{n+1}[\big)$ , $n\in \mathbb Z$, the property is true, with $C=2$, for radial functions with continuous and injective radial part (since $N=\bigcup_n \omega^{-1}(2^n)$ is a union of spheres of dimension $d-1$);
- since if $\mathcal L^d(\omega^{-1}(2^n))>0$ then $2^n$ has to be a critical value, by the Sard Lemma, if we move a little the extrema of the above intervals, the property is true also for $\mathcal C^d(\mathbb R^d)$ functions ;
- if $f(\cdot)\le\omega(\cdot)\le g(\cdot)$, with $f$ and $g$ satisfying this property, then also $\omega$ satisfies this property.
Due to the very bad behavior of continuous functions, I think that I cannot extend directly the arguments of point 2 and 3 to general continuous functions (which is where I hoped this would be true). Is this true?
If this is the case, then there are some results that says when can I bound $\omega$ with $\mathcal C^d(\mathbb R^d)$ or continuous and radially injective functions?