：√.相空间以体系的s个广义坐标，和s个广义动量为坐标轴的s维遐想空间