4
$\begingroup$

Let $(I,B,\mu)$ be the standard probability space with $I=[0,1]$ , $B=$ Borel sets, and $\mu$ is Lebesgue measure. Now, for each $n\in N$, let $F_n$ be the rotation $F_n(x)=x+1/n \pmod 1$. Is it correct that for every Borel set $E$ , $ \mu (F_nE\;\triangle\; E)\to0$ as $n\to \infty$?

thanks

1 Answers 1

1

Yes. This is a consequence of the fact that translation (and also rotation) is continuous with respect to $L^1$. See this question and its answer.

Edit: Another way to write this is: let $f = 1_E$ be the indicator function of $E$. We want to show $\int |f(F_n(x)) - f(x)| d\mu \to 0$ (you can check that the integrand is the indicator of $F_n E \triangle E$). In other words, we want to show $f \circ F_n \to f$ in $L^1(\mu)$.

The proof, as outlined in the answer I linked, goes as follows. First show that if $g$ is a continuous function, we have $g \circ F_n \to g$ in $L^1$. (Continuity of $g$ shows that $g \circ F_n \to g$ pointwise, and dominated convergence does the rest.) Then choose a continuous $g$ with $||g-f||_{L^1} < \epsilon$ (which is possible since $C(I)$ is dense in $L^1(\mu)$). Now $||f \circ F_n - f|| \le ||f \circ F_n - g \circ F_n|| + ||g \circ F_n - g|| + ||g-f||.$ The third term is less than $\epsilon$, and so is the first (since $\mu$ is invariant under $F_n$), and the second term goes to 0. So by taking the limsup of both sides we have $\limsup_{n \to \infty} ||f \circ F_n - f|| \le 2 \epsilon.$ But $\epsilon$ was arbitrary.

  • 0
    @user25640: Done.2012-02-25