Hilbertraum/Kern-reproduzierend/Definition

Kernreproduzierender Hilbertraum

Es sei eine Menge und ein Untervektorraum des Abbildungsraumes von nach , der ein Hilbertraum ist. Man nennt kernreproduzierend, wenn für jeden Punkt die Auswertung

stetig ist.