查看“︁余切丛”︁的源代码

[[微分几何]]中，[[流形]]的'''余切丛'''是流形每点的余切空间组成的[[向量丛]]。余切空间有一个标准的[[辛形式]]，从中可以一个余切丛的非退化的[[体积形式]]。因此，本身作为一个流形的余切丛总是[[可定向]]的。可以在余切丛上定义一组特殊的[[坐标系]]；这些被称为[[正则坐标]]。因为余切丛可以视为[[辛流形]]，任何余切丛上的实函数总是可以解释为一个[[辛向量空间|哈密顿函数]]；这样余切丛可以理解为[[哈密顿力学]]讨论的[[相空间]]。

== 1-形式 ==

余切丛的[[光滑函数|光滑]][[纤维丛|截面]]是微分[[1-形式]]。

=== 余切丛的定义 ===

设''M''×''M''是''M''与自己的[[笛卡尔积]]。[[对角映射]]Δ将''M''中的点''p''映到''M''×''M''中的点 (''p'',''p'')。像  Δ称为对角线。设<math>\mathcal{I}</math>是''M''上光滑函数[[芽 (数学)|芽]]的[[层 (数学)|层]]。那么商层<math>\mathcal{I}/\mathcal{I}^2</math>由高阶项为0的等价类组成。余切丛是这个层[[拉回]]到''M''：

:<math>\Gamma T^*M=\Delta^*(\mathcal{I}/\mathcal{I}^2).</math>

由[[泰勒定理]]，这是''M''一个上关于光滑函数芽层上的模的[[局部自由层]]。从而在''M''上定义了一个向量丛：'''余切丛'''。

== 作为相空间的余切丛 ==
:<small>备注：本文需要澄清局部哈密顿系统和全局哈密顿系统的区别，特别是需要提供一些例子说明有时余切丛不能作为一个动力系统的相空间(至少不能全局的)。</small>

=== 辛形式 ===

余切丛上有一个标准的[[辛形式]]，它是一个[[重言1-形式]]的[[外微分]]。该1-形式赋予余切丛的切丛中的一个向量该余切丛中的元素(一个线性泛函)到应用该向量在切丛上的投影(从余切丛到原来的流形的投影的微分)上得到的值。要证明该形式确实是辛形式，可以利用辛形式是一种局部性质：因为余切丛局部平凡，该定义只需在<math>\mathbb{R}^n \times \mathbb{R}^n</math>上验证。而在这种情况下，该1-形式定义为<math>y_{i}dx_i</math>之和，而其微分就是标准的辛形式，<math>dy_i{\land}dx_i</math>之和。

=== 相空间 ===

若流形<math>M</math>代表一个[[动力系统]]可能的位置的集合，则其余切丛<math>\!\,T^{*}\!M</math>可以视为所有可能的''位置''和''动量''的组合的结合。例如，这是表述单摆的[[相空间]]的一个方法。单摆的状态由其位置(一个角度)及其动量(或者等效的有，其速度，因为其质量不变)来表示。这个状态空间''看起来''象一个圆柱面。该圆柱面是该圆圈的余切丛。上面构造的辛结构，和适当的[[能量]]函数一起就给出了一个确定的物理系统。更多细节参看[[哈密顿力学]]，参看[[测地流]]条目中的一个哈密顿运动方程的显式构造。

==参看==

* [[切丛]]

==参考==
* Jurgen Jost, ''Riemannian Geometry and Geometric Analysis'', (2002) Springer-Verlag, Berlin  ISBN 3-540-4267-2.
* [[Ralph Abraham]] and Jerrold E. Marsden, ''Foundations of Mechanics'', (1978) Benjamin-Cummings, London ISBN 0-8053-0102-X.
* Stephanie Frank Singer, ''Symmetry in Mechanics: A Gentle Modern Introduction'', (2001) Birkhauser, Boston.

[[Category:微分几何|Y]]
[[Category:向量丛]]