数学 › Gibbs 測度と相転移の数理 › Lee–Yang の円定理

反転対称性

補題 2.3（「Lee–Yang の円定理」§2）・ ✓公理まで証明済み

$P_G(z)=\Bigl(\prod_{x\in V}z_x\Bigr)P_G(1/z)$ （ $z_x\ne0$ ）。ここで $1/z=(1/z_x)_x$ 。

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

閉包の状態

✓ 公理まで証明済み

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

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

前提をたどる証明が使う定理・定義

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。

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

Lee–Yang の円定理✓定理 4.2・Lee–Yang の円定理

関連するノック 1 問

Gibbs 測度と相転移第 31 問