Moore-Aronszajn theorem (source code)

= Moore-Aronszajn theorem
{c}
{wiki=Reproducing_kernel_Hilbert_space}

Every positive-semidefinite kernel $k$ has a Hilbert-space feature map $\phi$ satisfying $k(x,y)=\langle\phi(x),\phi(y)\rangle$, and determines a unique reproducing-kernel Hilbert space.