More explicitly, suppose that the energy E is fixed, and let ΩE be the subset of the phase space consisting of all states of energy E (an energy surface), and let Tt denote the evolution operator on the phase space.
Πιο συγκεκριμένα, ας υποθέσουμε ότι η ενέργεια Ε είναι σταθερό, και αφήστε ΩE είναι το υποσύνολο του χώρου φάσεων που αποτελείται από όλα τα κράτη της ενέργειας E (μια επιφανειακή ενέργεια), και αφήστε Tt χαρακτηρίζει το φορέα εξέλιξης στο χώρο των φάσεων.