An invertible measure preserving transformation T on the unit interval I generates a unitary operator U on the space L2(I) of Lebesque square integrable functions given by (Uf)(x) = f(Tx) for all f in L2(I) and x in I. By definition
for all f , g in L2(I), the bar denoting complex conjugation.