べき則

定義 7.2（「スケーリングと文脈」§7）

定数 $a > 0$ 、 $\alpha > 0$ 、 $L_\infty \ge 0$ に対して

L(N) = a N^{-\alpha} + L_\infty \qquad (N > 0)

の形の関数を、指数 $\alpha$ のべき則といい、 $L_\infty$ を還元できない損失と呼びます。 $N \to \infty$ で $L(N) \to L_\infty$ です。

閉包の状態

定義

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

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

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