数学 › Gibbs 測度と相転移の数理 › DLR 条件と Gibbs 測度

仕様

定義 3.1(「DLR 条件と Gibbs 測度」§3)

Λ⋐Zd\Lambda\Subset\mathbb{Z}^d ごとに TΛ\mathcal{T}_\Lambda から F\mathcal{F} への確率核 γΛ\gamma_\Lambda が与えられ、次を満たすとき、族 γ=(γΛ)Λ⋐Zd\gamma=(\gamma_\Lambda)_{\Lambda\Subset\mathbb{Z}^d} を仕様という。

  1. (固有性)B∈TΛB\in\mathcal{T}_\Lambda ならば γΛ(B∣ω)=1B(ω)\gamma_\Lambda(B\mid\omega)=\mathbf{1}_B(\omega)。
  2. (整合性)Λ⊂Δ\Lambda\subset\Delta ならば γΔγΛ=γΔ\gamma_\Delta\gamma_\Lambda=\gamma_\Delta。

さらに、すべての Λ\Lambda と f∈C(Ω)f\in C(\Omega) について γΛf∈C(Ω)\gamma_\Lambda f\in C(\Omega) のとき、γ\gamma は準局所的であるという。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

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

これを使っている定理

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

関連するノック 1 問