标题： 一个遍历勒贝格微分定理 显示英文标题

标题： An ergodic Lebesgue differentiation theorem

摘要： 我们证明，如果$(X, \mu, T)$是一个保测度的动力系统，且$\mathscr{P}$是$(X, \mu)$的可数划分，那么对于所有$f \in L^p(\mu), p > 1$，极限$$ \lim_{n, k \to \infty} \mathbb{E} \left[ \frac{1}{k} \sum_{j = 0}^{k - 1} f \circ T^j \mid \bigvee_{i = 0}^{n - 1} T^{-i} \mathscr{P} \right] $$几乎必然存在。 我们将其作为几何结果的一个推论来证明：如果$(X, \mu)$是一个满足 Hardy-Littlewood 极大不等式的度量测度空间，那么极限$$\lim_{r \searrow 0, k \to \infty} \mu(B(x, r))^{-1} \int_{B(x, r)} \frac{1}{k} \sum_{j = 0}^{k - 1} f \circ T^j \mathrm{d} \mu$$几乎必然存在。 显示英文摘要

摘要： We show that if $(X, \mu, T)$ is a probability measure-preserving dynamical system, and $\mathscr{P}$ is a countable partition of $(X, \mu)$, then the limit $$ \lim_{n, k \to \infty} \mathbb{E} \left[ \frac{1}{k} \sum_{j = 0}^{k - 1} f \circ T^j \mid \bigvee_{i = 0}^{n - 1} T^{-i} \mathscr{P} \right] $$ exists almost surely for all $f \in L^p(\mu), p > 1$. We prove this as a corollary of a geometric result: that if $(X, \mu)$ is a metric measure space on which the Hardy-Littlewood maximal inequality holds, then the limit $$\lim_{r \searrow 0, k \to \infty} \mu(B(x, r))^{-1} \int_{B(x, r)} \frac{1}{k} \sum_{j = 0}^{k - 1} f \circ T^j \mathrm{d} \mu$$ exists almost surely.