核型空間
核型空間 A 上の連続汎関数 C が特性汎関数 であるとは,C(0) = 1 であり,任意の複素数 z j {\displaystyle z_{j}} と x j ∈ A {\displaystyle x_{j}\in A} , j,k = 1, ..., n, に対し
∑ j = 1 n ∑ k = 1 n z j z ̄ k C ( x j − x k ) ≥ 0 {\displaystyle \sum _{j=1}^{n}\sum _{k=1}^{n}z_{j}{\bar {z}}_{k}C(x_{j}-x_{k})\geq 0}
となること.核型空間 A 上の連続汎関数が与えられたとき,ボホナー・ミンロスの定理は,双対空間 A ′ {\displaystyle A'} 上の確率測度が