Koopman operator (source code)

= 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.