A question about Hardy-Littlewood maximal function and a characterization of measurable sets.

Question

Let $M$ be the Hardy-Littlewood maximal operator: $$Mf(x) = \sup_{r>0} \frac{1}{|B(x,r)|}\int_{B(x,r)}|f(y)|dy,$$ where $f\in L^1_{loc}(\mathbb{R}^n)$.

I have the following question:

How can I characterize for which measurable sets $E\subset \mathbb{R}^n$ such that the following condition holds:there exist constants $0<C_1<C_2<\infty$ such that $$C_{1}\chi_{E}(x)\leq M(\chi_{E})(x)\leq C_{2}\chi_{E}(x),$$ for almost everywhere $x\in \mathbb{R}^n$?

Thank you.

Answer 1

Hint: If $m(E) > 0,$ then $M(\chi_E)(x) > 0$ for every $x.$