リウヴィルの定理(位相空間体積の保存)
ハミルトン力学に従って時間発展する系において、位相空間(すべての粒子の位置と運動量が張る空間。定義 2.1[ラプラスの悪魔と決定論])の領域の体積は、時間発展によって変化しない。領域の形は複雑に引き伸ばされても、その体積は保たれる。
閉包の状態
※ 主張のみ
この分野(情報科学・コラム)は閉包の検査の対象外で、証明を載せていない補題です。理由と出典は 本文の注意 にあります。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義
主張のみなので、Rikai の中で証明が使う前提はありません。
これを使っている定理 証明で参照している 1 件
- ランダウアーの原理△定理 6.4・マクスウェルの悪魔