測度と内積

$\mu$ を $\mathbb{R}$ 上の正の Borel 測度で、次を満たすものとする。(i) すべての $k\ge0$ について $\int|x|^kd\mu\lt \infty$。(ii) $\mu$ は有限個の点に集中しない（すなわち、任意の有限集合 $F$ について $\mu(\mathbb{R}\setminus F)>0$）。$\mu$ の台（$\mu$ がほぼ全て集中する最小の閉集合）の凸包の内部を $I_\mu$ と書く。実係数多項式 $p,q$ に対し

とおく。$\mathbb{R}[x]_k$ で次数が $k$ 以下の実多項式全体を表す。