positiv semidefinite Funktion

Eine positiv semidefinite Funktion ist eine spezielle komplexwertige Funktion, die meist auf den reellen Zahlen oder allgemeiner auf Gruppen definiert wird. Verwendung finden diese Funktionen beispielsweise bei der Formulierung des Satzes von Bochner, der die charakteristischen Funktionen in der Stochastik beschreibt.