Infinite-dimensional Christoffel-Darboux polynomial kernels on Hilbert spaces

In these notes, the Christoffel-Darboux polynomial kernel is extended to infinite-dimensional Hilbert spaces, following as closely as possible its original finite-dimensional treatment.