Consider $f_{\alpha}:S^{1}\rightarrow S^{1}$ the rotation of unit circle of angle $2\pi\alpha$, and let $\mu$ the Lebesgue measure in $S^{1}$.
Let $\alpha$ irrational, show that $\left(f,\mu\right)$ is ergodic. You should use the idea of density point.
Remark: This is a idea of the proof:
I understand the idea of proof, I do not understand is why it says: A small neighborhood of the $y_{0}$ consist basically of points of the set $B$.
Best Answer
Suppose that exist $A$ invariant set with $0<\mu(A)<1$. Let $\epsilon>0$ take $x\in A$ and $y\in A^c$ density points. Then there is $R>0$ such that $\mu(B(x,r)\cap A)>(1-\epsilon)2r$ and $\mu(B(y,r)\cap A^c)>(1-\epsilon)2r$ for all $r\leq R$. Take $r\leq R$, then there exist $k\geq 1$ such that $d(f^k(x), y)<\frac{1}{3}r$. So $B(y, \frac{2}{3}r)\subset B(f^kx, r)=f^k(B(x, r))$. Therefore,
\begin{eqnarray*} 2r&=&\mu(B(x,r)\cap (A\cup A^c))\\ &=&\mu(B(x,r)\cap A)+\mu(B(x,r)\cap A^c)\\ &=&\mu(B(x,r)\cap A)+\mu(f^k(B(x,r)\cap A^c))\\ &=&\mu(B(x,r)\cap A)+\mu(B(f^k(x),r)\cap A^c)\\ &\geq&\mu(B(x,\frac{2}{3}r)\cap A)+\mu(B(y,\frac{2}{3}r)\cap A^c)\\ &>&(1-\epsilon)2(\frac{2}{3}r)+(1-\epsilon)2(\frac{2}{3}r) \end{eqnarray*}
So $$2r>2(1-\epsilon)\frac{4}{3}r \Rightarrow 1>(1-\epsilon)\frac{4}{3}r$$ for all $\epsilon>0$. Then $1\geq\frac{4}{3}$ as $\epsilon\to 0$. Contradicts!