4
$\begingroup$

Let $(X,\mathcal{B},\mu)$ be a standard probability space, and let $T:X\rightarrow X$ be a measurable, measure-preserving transformation, i.e. for every $A\in\mathcal{B}$, $\mu(T^{-1}(A))=\mu(A)$. Consider the operator $U_T:L_2(\mu)\rightarrow L_2(\mu)$ given by $U_T (f)=f\circ T$. Clearly it is a linear isometry. My question is whether $U_T$ is unitary.

  • 0
    For reference, the mapping $T\longrightarrow U_T$ is called the Koopman representation.2013-01-14

1 Answers 1

3

The answer is yes when $T$ is invertible and with measurable inverse. In this case, $(U_T)^*=U_{T^{-1}}$ gives the adjoint.

More generally, in Peter Walters' book An introduction to Ergodic theory, we find the following result:

Theorem 2.8. Let $T$ be a measure preserving transformation on the probability space $(\Omega,\mathcal B,\mu)$. Then $U_T\colon L^2(\mu)\to L^2(\mu)$ is surjective if and only if $M\colon (\widetilde{\mathcal B},\widetilde{\mu})\to (\widetilde{\mathcal B},\widetilde{\mu})$is surjective, where $\widetilde{\mathcal B}$ is $\mathcal B$ where we identify set $A$ and $B$ when $\mu(A\Delta B)=0$, $\widetilde{\mu}$ is defined canonically and $M(B)=T^{-1}(B)$.

If $U_T$ is bijective and $A\in\mathcal B$, let $f$ such that $U_Tf=\chi_{\widetilde A}$. Then $U_T(f\cdot f)=U_T(f)$ so $f\cdot f=f$ and $f=\chi_{\widetilde C}$ for some $C\in\mathcal B$. So $\widetilde A=M(\widetilde C)$ and $M$ is surjective.

The latter condition is not always satisfied, as 5PM points out. Take $X=[0,1]$, $\mathcal B$ the Borel $\sigma$-algebra, $\mu$ the Lebesgue measure and $T(x):=2x\operatorname{ mod }1$. In this case $U_T$ is not onto as the function which are not $1/2$-periodic are not in the range.

  • 0
    @Pavel It seems like a good example. Clearly some segments like $(0,0.5)$ for example are not in the image of $M$.2012-12-29