【相空间】在数学上如何说明相空间自动是一个辛流形?

网友回答

【答案】 数学中,重言 1-形式（Tautological one-form）是流形 Q 的余切丛 T * Q 上一个特殊的 1-形式.这个形式的外导数定义了一个辛形式给出了 T * Q 的辛流形结构.重言 1-形式在哈密顿力学与拉格朗日力学的形式化中起着重要的作用.重言 1-形式有时也称为刘维尔 1-形式,典范 1-形式,或者辛势能.一个类似的对象是切丛上的典范向量场.
　　在典范坐标中,重言 1-形式由下式给出：
　　在差一个全微分（恰当形式）的意义下,相空间中的任何“保持”典范 1-形式结构的坐标系,可以称之为典范坐标；不同典范坐标系之间的变换称为典范变换.
　　典范辛形式由