物理学 › 熱力学・統計力学 › 熱力学の諸法則

内部エネルギーの存在

定理 4.2（「熱力学の諸法則」§4）・ ✓公理まで証明済み

公理 4.1 のもとで、状態量 $U : \Gamma \to \mathbb{R}$ が存在して、 $X$ から $Y$ への断熱過程が存在するすべての組 $(X,Y)$ に対し

W_{\mathrm{ad}}(X \to Y) = U(Y) - U(X)

が成り立つ。さらに $U$ はこの性質によって加法定数を除いて一意に定まる。

本文で読む（証明と前後の説明）→

閉包の状態

✓ 公理まで証明済み

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

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

前提をたどる証明が使う定理・定義（直接 1 件）

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

断熱仕事の経路独立性（第一法則）公理 4.1・熱力学の諸法則

これを使っている定理証明で参照している 1 件

エントロピーの存在✓定理 8.2・熱力学の諸法則

関連するノック 1 問

熱力学・統計力学第 13 問