時間の一様性とエネルギー保存

系 5.4（「対称性と保存則」§5）・ ✓公理まで証明済み

$\partial L/\partial t \equiv 0$ ならば、時間並進 $T(s;q,t) = t + s$ 、 $Q^i(s;q,t) = q^i$ は定理 5.3 の意味で $F = 0$ の対称性であり、対応する保存量はエネルギー関数 $h$ （の符号を変えたもの）である。

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 6 件、定義なども含めて 11 件）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

証明で明示的に参照している定理は、まだありません。