Para empezar, necesitamos definir una medida invariante sobre el espacio de fases que usualmente se toma como una potencia de la forma simpléctica que define la estructura simpléctica de dicho espacio: