Hi everyone! I am currently studying the basic theory of measurable actions and need the following result, which I am not able to prove myself. It is stated without a proof, so probably it should not be hard, but I am lost...
Question: Suppose $T$ is an invertible measure-preserving map of standard probability measure space $(X,\mu)$. Suppose that $TA=A$ for all measurable subsets $A\subset{}X$, where the equality is up to sets of measure $0$. Prove that the set of those $x$ where $Tx\neq{}x$ has measure $0$.