Arthur Gretton coauthored an exposition of Reproducing kernel Hilbert spaces with Dino Sejdinovic. Their notes explain how a positive-definite kernel determines a Hilbert space and how Mercer's theorem supplies an eigenfunction expansion under compactness assumptions. This makes it possible to represent functions through kernel evaluations or spectral coordinates.[ref]
New to topics? Read the docs here!