 Koopman operator

For a measurable dynamical map $F$, the Koopman operator acts on observables by $K_{F}g=g\circ F$. If $F$ is nonsingular, it defines an operator on equivalence classes of measurable functions.