I was looking for some results on Infinite Ergodic Theory and I found this proposition. Do you guys know how to prove the last item (iii)?
I managed to prove (i) and (ii) but I can't do (iii).
Let $(X,\Sigma,\mu,T)$ be a $\sigma$-finite space with $T$ presearving the measure $\mu$, $Y\in\Sigma$ sweep-out s.t. $0<\mu(Y)<\infty$. Making $\varphi(x)= \operatorname{min}\{n\geq0; \ T^n(x)\in Y\}$ and also $T_Y(x) = T^{\varphi(x)}(x)$ if $T$ is conservative then
(i) $\mu|_{Y\cap\Sigma}$ under the action of $T_Y$ on $(Y,Y\cap\Sigma,\mu|_{Y\cap\Sigma})$;
(ii) $T_Y$ is conservative;
(iii) If $T$ is ergodic, then $T_Y$ is ergodic on $(Y,Y\cap\Sigma,\mu|_{Y\cap\Sigma})$.
Any ideas?
Thank you guys in advance!!!