https://wiki.taigi.ima.org.tw/w/index.php?action=history&feed=atom&title=%E6%8A%B9%E6%AF%94%E5%B0%BC%E6%96%AF%E5%AE%9A%E7%90%86
抹比尼斯定理 - 修訂紀錄
2026-04-24T22:38:20Z
本 wiki 上此頁面的修訂紀錄
MediaWiki 1.43.1
https://wiki.taigi.ima.org.tw/w/index.php?title=%E6%8A%B9%E6%AF%94%E5%B0%BC%E6%96%AF%E5%AE%9A%E7%90%86&diff=374573&oldid=prev
TaiwanTonguesApiRobot：從 JSON 檔案批量匯入
2025-08-22T05:12:21Z
<p>從 JSON 檔案批量匯入</p>
<p><b>新頁面</b></p><div>'''抹比尼斯定理'''指出（$ C ^ { 一 } $ 金滑的狀況）：<br />
<br />
_ U _ 為'''R'''n 的開集，_ F _ 是 _ Ω 一 ( U ) _ 的常數階 _ r _ 階的子模。著 _ F _ 會當積若對每一个 _ p ∈ U _ 稈 ( stalk ) _ Fp _ 由 _ r _ 個恰當微分形式共出。<br />
<br />
幾何上來看，伊講每一个一-形式的 _ r _ 階會當積模佮一个余維為 r 彼層相仝。這是研究向量場佮層理論的基本工具之一。<br />
<br />
這結論咧解破一下-形式佮和樂遮的情況下嘛成立，毋過欲共 _ R _ 換做 _ C _。伊會當推廣到高階的微分形式，佇咧有的條件下，嘛會當推廣甲真奇巧的狀況。<br />
<br />
嘛有用向量場表達的定理。愛佇佮這个量場相切的 _ V _ 的子流形的充分條件<br />
<br />
<br />
: _ X _ 一 , _ X _ 二 , . . . , _ X _ r ,<br />
<br />
會當表達做任意兩个場的李括號<br />
<br />
<br />
: [_ X _ i , _ X _ j]<br />
<br />
包含講佇這个場所撐成的空間。因為李括號會當佇子空間頂懸取，這个條件嘛是 _ 必要 _ 的。定理的這兩種表述是因為李括號佮外微分是相關的。<br />
<br />
頂頭最後這个表述會當用來表明向量場佇流形頂頭的可積性。定理的這个變種表明流形 _ M _ 上的任何金滑佇咧量場 _ X _ 會當積分，得著一个單參數族的曲線。這个可積性是因為定義曲線的方程式是一階常落分方程式，所以可積性有皮卡-林德洛夫的定理保證。<br />
<br />
<br />
<br />
==參見==<br />
<br />
* 微分系統的可積性條件<br />
<br />
==參考==<br />
<br />
* Ralph Abraham and Jerrold E . Marsden , _ Foundations of Mechanics _ , ( 一千九百七十八 ) Benjamin-Cummings , London ISBN 空九八千空五十三五一百空二-X _ See theorem 二嬸二 . 二十六 _ .<br />
<br />
[[分類: 待校正]]</div>
TaiwanTonguesApiRobot