カーネル \(k(\cdot,\cdot)\) が正定値カーネルであれば,このカーネルが特徴空間中での内積 \[k(\mathbf{x}_i,\mathbf{x}_j)=\sum_{n \in \mathbb{N}} \lambda_n \phi_n(\mathbf{x}_i) \phi_n(\mathbf{x}_j),\ \ \ \ \lambda_n\ge0\] となるような変換 \( \{\phi_n(\cdot)\}_{n\in \mathbb{N} }\) が存在する.
--しましま (matsushima edited)