mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard
verified publisher icon leanprover-community

feat(analysis/inner_product_space/reproducing_kernel): Reproducing kernel Hilbert spaces

Open shingtaklam1324 opened this issue 3 years ago • 0 comments

Add the definition of a reproducing kernel Hilbert space and some basic definitions, such as evaluation as a continuous linear map and the kernel of an RKHS.

Open in Gitpod

shingtaklam1324 avatar Sep 02 '22 13:09 shingtaklam1324