如果一个力学体系受到的约束都是完整的，那么这个体系就称为完整体系以体系的s个广义坐标，和s个广义动量为坐标轴的s维遐想空间是相空间