Volume as a choice of measure in phase space For equilibrium systems, we expect the Liouville theorem to hold. This theorem states that the density function of the states of the system is a constant of motion, which in turn can be translated into the phase volume consistent with the system's energy being constant in time. My question is rather related to the choice of measure, namely the phase space volume $d\mathbf{\Gamma}=d\mathbf{q}d\mathbf{p}.$ Denoting the measure by $\mu$ and the time transformation by $T,$ Liouville's theorem can be expressed as:
$$
\mu(T V_0) = \mu(V_0)
$$
where $V_0$ is the initial ($t=0$) volume of our system in phase space. 


*

*Is the choice of "volume" as the Lebesgue measure of choice arises mainly from physical considerations?

*I understand that it is a valid measure as it (at least intuitively) fulfills the usual axioms of a measure function (monotonicity, countable additivity etc).

*Finally, a more specific question: in the context of dynamical systems and discussions of accessibility of different parts of phase space, it is often said that almost all points in the space are accessible, except for a set of measure zero initial conditions (points). In such contexts, both mathematically and physically, what does it mean that a certain set of phase space points have measure zero?

 A: [Disclaimer: I give my answer, however I am not an expert so feel free to comment/edit if I have made some mistake ;-) ]
Mathematically, you can think of evolution in classical mechanics as a (symplecto)morphism on the cotangent bundle $T^*M$ of some smooth $n$-dimensional manifold $M$.
The cotangent bundle $T^* M$ is a symplectic manifold, and thus carries a natural volume form $\omega$, that is the $2n$-th exterior power of the symplectic form. This volume form $\omega$ induces naturally a measure $\mu_\omega$ defining the measure of a Borel set $B\in \mathscr{B}$ on $T^*M$ as
$$\mu_\omega(B)=\int_B \omega\; .$$
Apart from the mathematical technicalities, the idea is the following: what in physics is called phase space is a particular geometrical object (the cotangent bundle) endowed with a "natural" measure. In the simplest case, where the coordinate space $M=\mathbb{R}^n$ and the phase space $T^*M = \mathbb{R}^{2n}$, then the natural (symplectic) measure $\mu_\omega$ is exactly the Lebesgue measure.
The dynamics is described by a symplectomorphism $\phi$ (i.e. preserves the symplectic form) in the phase space: $\phi:\mathbb{R}\to T^* M$ (also called the Hamiltonian flow). This map preserves also the symplectic measure:
$$(\forall B\in\mathscr{K})\; \phi_\#\mu_\omega(B)=\mu_\omega(B)\; ,$$
where $\phi_\#\mu_\omega$ is the push forward of the measure by the flow $\phi$ and $\mathscr{K}$ is the set of compact Borel subsets of $T^*M$ (this is essentially a restatement of the relation you wrote).
This is, however, a consequence of the special feature "the dynamics preserves the symplectic form", and is therefore not true for general measures. In my opinion, this is physically relevant, for the evolution being a  symplectomorphism is closely related to the Hamilton-Jacobi form of the equations of motion (and in turn to the least action principle).
Concerning the last point, the idea is that in "chaotic" dynamical systems closed (periodic) phase-space-trajectories are possible but "unstable", in the sense that are isolated points on the phase space. That means, physically, that a slight perturbation of the initial conditions (either position or momentum) of a periodic motion results in a non periodic motion that never returns to the initial condition (and in suitable situations, densely covers all the phase space or a region of the phase space). Of course each point of the phase space is still an admissible initial condition, but only a set of measure zero of them gives rise to periodic solutions, while the others to non periodic ones.
