Sur les fonctions positivement définies. (Q2587187)

Bezeichnet man eine in der Form \(f(t) = \int\limits_{-\infty}^\infty e^{itx} \, dF(x)\) mit nichtabnehmendem \(F(x)\) (\(F(\infty ) - F(-\infty) = 1\)) darstellbare Funktion als charakteristische Funktion, so zeigt Verf., daß eine Menge von charakteristischen Funktionen dann und nur dann kompakt ist, wenn sie im Nullpunkt gleichmäßig stetig ist. Unter Benutzung dieses Satzes gelingt es Verf., den Satz von Krein über die Fortsetzung von Funktionen \(f(t) \in \mathfrak P_\omega\) (\(\omega\) endlich) für das Intervall \((-\infty, \infty)\) zu beweisen, dgl. den Satz von Bochner, daß jede Funktion \(f(t) \in \mathfrak P_\infty\) in der Form \(f(t)= \int\limits_{-\infty}^\infty e^{itx} \, dF(x)\) mit nicht abnehmendem \(F (x)\) darstellbar ist.