縮約

定義 3.1（「摂動論とファインマン則」§3）

時刻の異なる 2 点 $x,y$ について

C(x,y)=T\{\hat\phi(x)\hat\phi(y)\}-{:}\hat\phi(x)\hat\phi(y){:}

を $\hat\phi(x)$ と $\hat\phi(y)$ の縮約と呼びます。 $C_{ij}=C(x_i,x_j)$ と略記します。

閉包の状態

定義

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

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

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