裸のパラメータとくりこまれたパラメータ
正則化された理論において、作用に現れる および場の正規化を裸の量と呼ぶ。これに対し、指定した運動量点での頂点関数の値によって定義される量
をくりこまれた量と呼び、 を と正則化パラメータ( など)の関数として定める式をくりこみ条件と呼ぶ。くりこまれた量を固定したまま正則化を外す極限()が存在し、そこで全ての 1PI 関数が有限になるとき、理論はその次数でくりこまれたという。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。