 Moore-Aronszajn theorem

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