暇つぶし2chat MATH

- 暇つぶし2ch121:, p) に送る。Δ の像は対角線 (diagonal) と呼ばれる。{\displaystyle {\mathcal {I}}}{\mathcal {I}} を対角線上消える M × M 上の滑らかな関数の芽の層とする。このとき商層 {\displaystyle {\mathcal {I}}/{\mathcal {I}}^{2}}{\mathcal {I}}/{\mathcal {I}}^{2} はより高次の項を法として対角線上消える関数の同値類からなる。余接層はこの層の M への引き戻し（英語版）である。 \Gamma T^{*}M=\Delta ^{*}({\mathcal {I}}/{\mathcal {I}}^{2}). テイラーの定理によって、これは M の滑らかな関数の芽の層に関して加群の局所自由層である。したがってそれは M 上のベクトル束、余接束 (cotangent bundle) を定義する。相空間多様体 M が力学系における可能な位置の集合を表していれば、余接束 T*M を可能な位置と運動量の集合と考えることができる。例えば、これは振り子の相空間を記述する方法である。振り子の状態は、その位置（角度）と、その運動量（あるいは同じことだが、その速度、なぜならばその質量は変わらないから）によって決定される。全状態空間はシリンダーのように見える。シリンダーは円の余接束である。上のシンプレクティックな構成は、適切なエネルギー関数と一緒に、系の物理の完全な決定を与える。より多くの情報はハミルトン力学を、動きのハミルトニアン方程式の明示的な構成は en:geodesic flow の記事を参照。 (引用終り) 以上