核函数定义
K : X × X ↦ R , ∀ x , z ∈ X K:X \times X \mapsto \mathbb{R},\forall x,z \in X K:X×X↦R,∀x,z∈X
则称 K ( x , z ) K(x,z) K(x,z)为核函数
正定核定义
K : X × X ↦ , ∀ x , z ∈ X , 有 K ( x , z ) 如果 ∃ : ϕ : x ↦ R , ϕ ∈ H s . t . K ( x , z ) = < ϕ ( x ) , ϕ ( z ) > \begin{gathered} K:X \times X \mapsto,\forall x,z \in X,有K(x,z)\\ 如果\exists:\phi:x \mapsto \mathbb{R},\phi \in H\\ s.t.K(x,z)=\left<\phi(x),\phi(z)\right> \end{gathered} K:X×X↦,∀x,z∈X,有K(x,z)如果∃:ϕ:x↦R,ϕ∈Hs.t.K(x,z)=⟨ϕ(x),ϕ(z)⟩
那么称 K ( x , z ) K(x,z) K(x,z)为正定核函数
这里 ϕ ∈ H \phi \in H ϕ∈H, H H H是指Hilbert空间:完备的。可能是无限维的、被赋予内积的线性空间
完备的,可以理解为对极限是封闭的,即对于 { K n } \left\{K_{n}\right\} { Kn},有
lim n → ∞ K n = K ∈ H \lim\limits_{n \to \infty}K_{n}=K \in H n→∞limKn=K∈H
被赋予内积的,要求该空间具有对称性、正定性、线性,对应满足公式
< f , g > = < g , f > < f , f > ≥ 0 , = 成立 ⇔ f = 0 < r 1 f 1 + r 2 f 2 , g > = r 1 < f 1 , g > + r 2 < f 2 , g > \begin{aligned} \left<f,g\right>&=\left<g,f\right>\\\left<f,f\right>&\geq 0,=成立\Leftrightarrow f=0\\\left<r_{1}f_{1}+r_{2}f_{2},g\right>&=r_{1}\left<f_{1},g\right>+r_{2}\left<f_{2},g\right>\end{aligned} ⟨f,g⟩⟨f,f⟩⟨r1f1+r2f2,g⟩=⟨g,f⟩≥0,=成立⇔f=0=r1⟨f1,g⟩+r2⟨f2,