Sur les fonctions des transformations hermitiennes dans l'espace de Hilbert. (Q2614864)

Ist \(A\) ein selbstadjungierter Operator und \(E_t\) die zugehörige Zerlegung der Einheit, so betrachtet Verf. die Funktionen \(F(A) = \int\limits_{-\infty}^{+\infty} F(t)\, dE_t\), was soviel bedeutet, als daß \((F(A) f, f) = \int\limits_{-\infty}^{+\infty} F(t)\,d(E_t f, f)\) für jedes \(f\) des \textit{Hilbert}schen Raumes, wobei \(F(t)\) in bezug auf jede der Funktionen \((E_t f, f)\) beschränkt und (im \textit{Stieltjes-Lebesgue}schen Sinne) integrierbar vorausgesetzt ist. Damit ein Operator \(B\) ein \(F(A)\) sei, ist nach \textit{J. von Neumann} (Math. Ann. 102 (1930), 370-427; F. d. M. \(55_{\text{II}}\), 825) notwendig und hinreichend, daß \(B\) mit jedem zu \(A\) kommutativen selbstadjungierten Operator kommutativ ist. Dies beweist Verf. hier folgendermaßen: Für die selbstadjungierten Operatoren \(B_s\), erklärt durch \((B_s f, f) = \int\limits_{-\infty}^s F(t) \,d (E_t f, f)\), ist \(B_s = E_s B = B E_s\), und \(F(s)\) ist fast überall Derivierte der Funktion \((B_s f, f)\) in bezug auf die monotone Funktion \((E_s f, f)\). Umgekehrt gilt für einen selbstadjungierten Operator \(B\), der der \textit{von Neumann}schen Bedingung genügt, daß mit \(B_s = E_s B\) die Funktion \((B_s f, f)\) in bezug auf \((E_s f, f)\) fast überall eine Derivierte besitzt, welche von der speziellen Wahl von \(f\) unabhängig ist.