相空间与哈密顿方程