Liouville's theorem
時間微分はドットで表され、系のハミルトン方程式に従い値が求められる。この方程式は、相空間における密度の保存を表している（この定理には、ウィラード・ギブスの名前が付けられた定理であった）。リウヴィルの定理は、