1
$\begingroup$

Let $A \subset [0,1]^n$ with $A$ measurable and such that $\mathcal{L}^n (A)= \delta >0$, and consider a partition of $[0,1]^n$ in $\epsilon$-cubes (i.e. cubes of side $\epsilon)$.
For $\epsilon \to 0$ (say, $\epsilon= 1/n$ with $n \in \mathbb{N}$ so that $1/\epsilon$ is always an integer) we should have that, at the limit, it holds the Lebesgue differentiation theorem, so you have that points in $A$ have density 1 and those in $A^c$ have density 0. What I mean is that given every (in fact $\mathcal{L}^n$ almost every, but whatever) point $x$ in $[0,1]^n$ I think that if you take the sequence of the $\epsilon$ -cubes $Q_\epsilon (x)$ such that they contain $x$, one should have that $$ \frac{| A \cap Q_\epsilon (x)|}{\epsilon ^n} \to I_{A} (x), $$ with $I_A$ the indicator function of $A$.
In fact the Lebesgue theorem is about shrinking balls centered at the point $x$ you consider, but at the limit I think this shouldn't matter if you consider finer and finer partitions.

What I would like to know is if there is a sort of quantitative version of this result for fixed $\epsilon$. What I mean is, given a partition $\{Q_\epsilon (i)\}_{i=1, \dots, \epsilon^{-n}}$ , having some result which gives you a sort of balance between how big $f_{A, \epsilon } (i) =\frac{| A \cap Q_\epsilon (i)|}{\epsilon ^n}$ is and in how many cubes you have this.
So for example, if I fix $\epsilon$ we can't have $ f_{A, \epsilon} (i)= 1$ for more than $\delta/ \epsilon ^n$ indices, but it's easy to give an example of an $A$ such that $f_{A, \epsilon} (i)= \delta$ for every $i$.

I was thinking that since the convergence from the Lebesgue theorem is pointwise I can play a bit with Egoroff's theorem or something like that, but maybe these kind of estimates are already considered and have a name in the literature (although I couldn't find anything).

$\endgroup$
3
  • $\begingroup$ the function $f_{A,\epsilon}$ is a function defined on a finite set, you don't have anything that is pointwise. Just use pigeonhole principle: if the sum of finitely many non-negative things add up to exactly $s$, then for every $\lambda \geq 0$, at most $k$ of them can be $s/\lambda$ or more, and at least $k$ of them can be $s/\lambda$ or less. $\endgroup$ Mar 17, 2023 at 14:54
  • $\begingroup$ I didn't explain myself, you're right. When I talk about pointwise convergence I consider a sequence of functions constant in the $\epsilon$ squares with values $|A \cap Q _ \epsilon (x)| / \epsilon ^n$, where $Q_\epsilon (x) $ is the cube containing $x$ $\endgroup$
    – tommy1996q
    Mar 17, 2023 at 18:46
  • $\begingroup$ Yeah, that's more or less what I wanted to know, sorry for the delay but I was in a hurry yesterday $\endgroup$
    – tommy1996q
    Mar 19, 2023 at 16:46

1 Answer 1

1
$\begingroup$

$\newcommand\ep\epsilon\newcommand\de\delta$Let $\ep=1/m$ for a natural $m$, so that $$N_\ep:=\ep^{-n},$$ the number of the $\ep$-cubes, is an integer.

Take any $c\in(0,1]$ and let $$N_{A,\ep}(c):=\#\{i\in[N_\ep]\colon f_{A,\ep}(i)\ge c\},$$ the number of the $\ep$-cubes with relative $A$-content $\ge c$; as usual, $[k]:=\{1,\dots,k\}$. Then, by Markov's inequality, $$N_{A,\ep}(c):=\sum_{i\in[N_\ep]}\,1(f_{A,\ep}(i)\ge c) \le\sum_{i\in[N_\ep]}\,\frac{f_{A,\ep}(i)}c \\ =\frac1c\,\sum_{i\in[N_\ep]}\,|A\cap Q_\ep(i)|\,N_\ep =\frac1c\,|A|\,N_\ep=\frac\de c\,N_\ep=:M_{\de,\ep}(c).$$

So, $M_{\de,\ep}(c)$ is an upper bound on the number $N_{A,\ep}(c)$ of the $\ep$-cubes with relative $A$-content $\ge c$. This bound is nontrivial only if $c>\de$. Also, the bound $M_{\de,\ep}(c)$ is exact in (say) the following sense:

Suppose that $c\in[\de,1]$ is such that $M_{\de,\ep}(c)$ is an integer (which will be $\le N_\ep$, since $c\ge\de$). Clearly, then there is a measurable subset $A$ of $[0,1]^n$ such that $f_{A,\ep}(i)=c\,1(i\le M_{\de,\ep}(c))$ for all $i\in[N_\ep]$. Then $N_{A,\ep}(c)=M_{\de,\ep}(c)$, so that the upper bound $M_{\de,\ep}(c)$ on $N_{A,\ep}(c)$ is attained.

On the other hand, whenever the exact upper bound $M_{\de,\ep}(c)$ on $N_{A,\ep}(c)$ is nontrivial (that is, for any $c\in(\de,1]$, the only lower bound on $N_{A,\ep}(c)$ is the trivial bound $0$ -- which will be attained if e.g. $f_{A,\ep}(i)=\de$ for all $i\in[N_\ep]$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.