Solution
= Solution
A real <positive-semidefinite kernel> is a symmetric function $k:X\times X\to\mathbb R$ such that every finite Gram matrix $(k(x_i,x_j))$ is positive semidefinite. The <Moore-Aronszajn theorem> says that there are a Hilbert space $H$ and a feature map $\phi:X\to H$ such that
$$
k(x,y)=\langle\phi(x),\phi(y)\rangle_H.
$$
Equivalently, $H$ can be chosen as the unique <Reproducing-kernel Hilbert space> with reproducing kernel $k$.