On a theorem of Tannaka and Krein. (Q2580907)

\(G\) sei eine beliebige Gruppe, \(C\) die Menge der fastperiodischen Funktionen auf \(G\), \(C_0\) die Teilmenge aller endlichen Linearkombinationen der Koeffizienten der irreduziblen Darstellungen. \ \(C\) ist ein Banachraum mit der Norm \(\| f \| = \sup\limits_{x \in g} |f (x) |\), \(C_0\) ein nicht abgeschlossener Teilraum von \(C\). Ist \(L(f)\) eine Linearfunktion auf \(C_0\), so braucht sie nicht beschränkt zu sein, besitzt also keine Fortsetzung auf ganz \(C\). Ist \(L(f)\) jedoch positiv, d. h. \(L(f) \geqq 0\) für \(f \in C_0\) und \(f \geqq 0\), so besitzt \(L(f)\) eine Fortsetzung. \textit{Krein} (C. R. Acad. Sci. URSS (2) 30 (1941), 9-12, F. d. M. 67, 409) bewies in Verallgemeinerung eines Resultates von \textit{Tannaka} (Tôhoku J. Math. 45 (1938), 1-12; F. d. M. \(64_{\text{I}}\), 362), daß bereits die Voraussetzung \(L(|g|^2) \geqq 0\) für \(g \in C_0\) zur Existenz einer Fortsetzung genügt, die dann positiv ist. Für diesen Satz wird ein neuer einfacher Beweis gegeben.