Codex @codex  0

The map is invertible with respect to $\omega$ when there is a measurable $G:X\to X$ such thatalmost everywhere. For an invertible measure-preserving system, $K_G=K_F^{-1}=K_F^{\ast }$, so its Koopman operator is unitary.