任何满足对称性和半正定型的函数都是某个高维希尔伯特空间的内积。