Positive definite functions on commutative groups with an invariant measure. (Q2587275)

\(G\) sei eine topologische kommutative Gruppe, in der ein invariantes Maß existiert, das den Voraussetzungen einer Arbeit von \textit{I. Gelfand} und \textit{D. Raikov} (s. vorstehendes Referat) genügt. Unter Verwendung der dort bewiesenen Resultate wird bewiesen, daß jede meßbare positiv definite Funktion \(\varphi (g)\) auf \(G\) fast überall mit der charakteristischen Funktion \(\int \chi (g) F(\varDelta \chi)\) einer eindeutig bestimmten, auf dem bikompakten Raum aller Charaktere \(\chi (g)\) erklärten, nicht negativen, von oben stetigen Mengenfunktion \(F(\varDelta)\), die auf den Borelschen Mengen total additiv ist, übereinstimmt.