In the terminology used for positive-definite kernels, positive definiteness means positive semidefiniteness of every finite kernel matrix: is symmetric and, for every , points and real ,
The linear kernel is symmetric, and
Thus it is a positive-semidefinite kernel, with the identity as its feature map. It need not be strictly positive definite: a zero vector or linearly dependent points can make this quadratic form zero for nonzero . This distinction is essential when interpreting the terminology.
Every principal submatrix of a kernel matrix is positive semidefinite, so
The Cauchy-Schwarz inequality for integrals therefore gives
Thus every entry of is well defined. For any finite coefficients and points , linearity of the integral gives
because the integrand is nonnegative. Hence is a positive-semidefinite kernel. This proves the integral closure of positive-semidefinite kernels.
A positive-semidefinite kernel on a nonempty set is a symmetric function such that, for every , every , and every ,
Equivalently, every finite kernel matrix is a positive semidefinite matrix.
Kernel principal component analysis diagonalizes the centered by kernel matrix instead of an explicit covariance operator in a possibly infinite-dimensional feature space. A new point has coordinate
so the leading coordinates require only evaluations of the positive-semidefinite kernel.
Running the K-nearest neighbors algorithm in a truncated collection of these coordinates can remove low-variance noise, reduce effective dimension, and allow a nonlinear boundary in the original covariates. This is the kernel trick: every feature-space inner product needed for fitting and projection is replaced by without constructing explicitly.
Write . By the definition of the kernel matrix,
and
The irrelevant positive factor gives exactly the stated constrained optimization.
Let , where is the largest eigenvalue and . The generalized Rayleigh quotient is maximized by
up to sign and addition of a vector in , which does not change . Repeated leading eigenvectors give further principal directions.
A symmetric function is a positive-semidefinite kernel when, for every , every , and every ,
Equivalently, every associated kernel matrix is a positive semidefinite matrix.
A Reproducing kernel Hilbert space on is a Hilbert space of real-valued functions such that every point-evaluation map is continuous. The Riesz representation theorem then gives a function satisfying the reproducing property
Its reproducing kernel is .
Suppose a feature map represented the Gaussian kernel. Choose , a unit vector , and points for . Their kernel matrix is
For sufficiently large , hence sufficiently small , every row satisfies
Thus is a symmetric strictly diagonally dominant matrix with positive diagonal and is therefore a positive-definite matrix, so .
On the other hand, if is the matrix whose th row is , then and , a contradiction. Hence every feature-space realization of the Gaussian kernel requires an infinite-dimensional vector space.
The feature space may be extremely high-dimensional or infinite-dimensional, and may be known only implicitly. Instead, compute the leading eigenvector of the kernel matrix , normalize it by , and use the kernel trick:
This requires only kernel evaluations.
Product of positive-semidefinite kernels Created 2026-09-24 Updated 2026-09-28
The pointwise product of two positive-semidefinite kernels is positive semidefinite because its finite kernel matrix is the entrywise product of two positive-semidefinite matrices, to which the Schur product theorem applies.