A ring of functions on a topological group. (Q2587271)

\(G\) sei eine topologische Gruppe, \(f (g)\) seien komplexwertige Funktionen über \(G\); \(f (g)\) heißt positiv definit (p. d.), wenn sie hermitesch ist \((f(g^{-1}) = f (g))\), und wenn immer \[ \sum_{j,k = 1}^n f(g_jg_k^{-1})\xi_j\xi_k \geqq 0 \] ist. \(\mathfrak P\) bedeute die Menge aller stetigen p. d. Funktionen und \(\mathfrak R\) ihre komplexe lineare Hülle. Für die Funktionen \(\varphi (g)\) des Ringes \(\mathfrak R\) wird in gewisser Weise eine Norm \(\|\varphi\|\) definiert, in bezug auf welche \(\mathfrak R\) vollständig ist. Faßt man \(G\) nicht als topologische Gruppe auf, so sei \(\mathfrak R^\prime\) die lineare komplexe Hülle aller p. d. Funktionen. Auch hier wird in völlig analoger Weise eine Norm \(\|\varphi\|^\prime\) definiert. Für die beiden Fälle, daß 1) \(G\) eine kompakte, 2) \(G\) eine kommutative Gruppe ist, beweist Verf.: Falls eine stetige hermitesche Funktion \(\varphi (g)\) darstellbar ist in der Form \(\varphi (g) = F^{(1)} (g) - F^{(2)}(g) \) durch p. d. Funktionen \(F^{(1)}\), \(F^{(2)}\), dann gibt es auch Funktionen \(f^{(1)}\), \(f^{(2)}\) aus \(\mathfrak P\), derart, daß \(\varphi (g) = f^{(1)}(g) - f^{(2)} (g)\) ist, und daß \(f^{(1)}(e) + f^{(2)}(e) \leqq F^{(1)}(e) + F^{(2)}(e) \) (\(e=\) Einselement) ist. Für den Fall der kommutativen Gruppe wird am Schluß noch ein notwendiges und hinreichendes Kriterium für die Zugehörigkeit einer Funktion zu \(\mathfrak R\) abgeleitet.