SWhat changed
A kernel assigns a number to each pair of positions. For a real continuous symmetric kernel on a finite closed interval, Mercer connects positivity of its integral quadratic form to nonnegative determinants of all finite sampled kernel matrices. He then proves that a positive-type kernel can be expanded into products of normalized eigenfunctions, with absolute and uniform convergence across the entire closed square. In modern notation each product is weighted by an integral-operator eigenvalue. Integrating along the diagonal gives the associated trace sum. This turns positivity into a strong, controlled expansion rather than simply assuming that an expansion converges uniformly.
Scientific scope
A kernel assigns a number to each pair of positions. For a real continuous symmetric kernel on a finite closed interval, Mercer connects positivity of its integral quadratic form to nonnegative determinants of all finite sampled kernel matrices. He then proves that a positive-type kernel can be expanded into products of normalized eigenfunctions, with absolute and uniform convergence across the entire closed square. In modern notation each product is weighted by an integral-operator eigenvalue. Integrating along the diagonal gives the associated trace sum. This turns positivity into a strong, controlled expansion rather than simply assuming that an expansion converges uniformly. Positive type means positivity of a quadratic form, not merely that every kernel value is nonnegative. Semidefinite kernels and a nontrivial nullspace are allowed; the nonzero-eigenvalue functions need not span the whole ambient L2 space. The original singular values are reciprocals of modern nonzero operator eigenvalues. Continuity, symmetry and the finite closed domain matter. Hilbert, Schmidt and Fredholm inputs remain distinct, as do later reproducing-kernel theory and machine-learning applications.
Evidence
The linked original works support the scoped statement and contribution attribution. WRS has not independently replayed experiments or reconstructed a full mathematical proof. Positive type means positivity of a quadratic form, not merely that every kernel value is nonnegative. Semidefinite kernels and a nontrivial nullspace are allowed; the nonzero-eigenvalue functions need not span the whole ambient L2 space. The original singular values are reciprocals of modern nonzero operator eigenvalues. Continuity, symmetry and the finite closed domain matter. Hilbert, Schmidt and Fredholm inputs remain distinct, as do later reproducing-kernel theory and machine-learning applications.
Contributors
- The named authors in the research record · SCIENCE: Original-paper scientific authors for this exact mathematical contribution. Independent papers grouped in one historical family are not a joint byline. Earlier theorems, supporting proof contributions and later generalizations remain separate. Individual effort shares, author nationality and unresolved cross-record identities are not inferred.
Provisional WRS assessment, edition 2026-10-23.7. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction