集中のスケール q の一意性と大きさ

補題 2.3（「Navier–Stokes 方程式 III」§2）・ ✓公理まで証明済み

$0\lt h\lt\frac12$ とする。 $\tau\gt0$ 、 $z\in\mathbb{R}$ に対し、定義 2.2 の $(q,\eta)$ はただ 1 組存在し、

\tau+|z|^{1/D}\le2q,\qquad q\le2\tau+2^{1/(2D)}|z|^{1/D}

が成り立つ。とくに $z=0$ では $q=\tau$ 、 $\tau\downarrow0$ では $q\to|z|^{1/D}$ である。

閉包の状態

✓ 公理まで証明済み

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

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

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

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