正定値核

写像 $K:T\times T\to\mathbb{R}$ が正定値核であるとは、$K(s,t)=K(t,s)$ であり、任意の $n$、$t_1,\ldots,t_n\in T$、$c_1,\ldots,c_n\in\mathbb{R}$ について

が成り立つことをいう（行列 $(K(t_i,t_j))_{i,j}$ がすべて半正定値であることと同じ）。