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