Positiv definite Funktionen auf einem unendlich dimensionalen Vektorraum