dynamical systems, conditionally invariant measure