Hilbert spaces with reproducing kernels (= Bergman-type spaces) Linear function spaces mathematics