I'll state the classic result in its density (rather than the more general differentiation) version. Let $\mu$ be a measure on the Borel $\sigma$-algebra of $\mathbb{R}^n$ and $A\subset \mathbb{R}^n$ a measurable set.


For $x\in\mathbb{R}^n$, define
$$ \chi\_{A,r}(x)=\frac{\mu(A\cap B\_r(x))}{\mu(B\_r(x))},$$
where $B\_r(x)$ is the closed ball about $x$ with radius $r$.
Then the limit $\chi\_A(x)=\lim\_{r\to0}\chi\_{A,r}(x)$ exists for $\mu$-almost all $x\in\mathbb{R}^n$ and is either 0 or 1, depending on $x$'s membership in $A$.


My question is: what if we use other "nice" test sets instead of balls? Rudin (Real and Complex Analysis, Sec. 7.9) defines classes of "nicely shrinking sets", but I'm thinking in a different direction.


Let us fix a compact $K\subset\mathbb{R}^n$ and consider some measurable $A\subset K$. Let $\mathcal{V}=\{V\_1,\ldots,V\_N\}$ be a measurable partition of $K$, and denote, for $x\in K$, the partition element to which it belongs by $V(x)$. Define $\rho(\mathcal{V})$ 
and
$\alpha(\mathcal{V})$,
respectively, 
to be the maximal 
diameter and aspect ratio of any partition element. (The *aspect ratio* of $V$ is the the ratio of the radii of the maximal inscribed
and minimal circumscribed balls of $V$.)


Now define, for $x\in K$,
$$ \chi\_{A,r,a}(x)=\sup\_{\mathcal{V}}\frac{\mu(A\cap V(x))}{\mu(V(x))},$$
where the supremum is over all measurable partitions $\mathcal{V}$ with
$\rho(\mathcal{V})\le r$ and $\alpha(\mathcal{V})\le a$.


I think that for fixed $a<\infty$, it's still true that $\lim\_{r\to0}\chi\_{A,r,a}(x)$ converges almost everywhere to the characteristic function of $A$. Before I reinvent the wheel (or worse, spend time trying to prove a falsehood), two questions. 1. Is this true? 2. Is the result known, or perhaps a simple consequence of a known result?



Lebesgue-Besicovitch theorem for partition elements rather than balls
The answer to both questions is positive (assuming the definition of aspect ratio for sets is modified to refer to the maximal inscribed and minimal circumscribed balls). The family of all sets $V \subseteq \mathbb{R}^n$ with aspect ratio at most $a$ has bounded eccentricity in the sense of the Wikipedia article on this topic.


<https://en.wikipedia.org/wiki/Lebesgue_differentiation_theorem>


Any family of sets with bounded eccentricity satisfies the Lebesgue differentiation theorem.


