Introduction to the theory of operators. V. Metric rings. (Q2587285)

Die axiomatischen Voraussetzungen sind dieselben wie im 2. Teil der 4. Mitteilung (Proc. Cambridge philos. Soc. 35 (1939), 562-578; F. d. M. 65). Es wird die Theorie der Spur \(\tau (A)\) in Analogie zu \textit{F. J. Murray} und \textit{J. v. Neumann} (Trans. Amer. math. Soc. 41 (1937), 208-248; F. d. M. \(63_{\text{II}}\), 1008) entwickelt und bewiesen, daß zu jedem linearen Funktional \(\lambda (A)\) eine Zerlegung der Identität \(E_\mu\) existiert mit \(\lambda(A) = \int \mu \, d\tau (AE_\mu)\) und \(\lambda(A) = \tau(AB)\), falls \(B = \int \mu \, dE_\mu\) beschränkt ist. \(R\) sei ein Ring von beschränkten Operatoren. Die in der Form \(\tau (AB)\) darstellbaren Linearfunktionen bilden einen Teilraum \(L^\prime\) des Raumes \(L\) aller Linearfunktionen von \(R\). Ist \(L = L^\prime\), so heißt \(R\) doppelt beschränkt. Es wird bewiesen, daß ein doppeltbeschränkter Ring stets ein vollständiger metrischer Ring ist, wenn das skalare Produkt \((A, B)\) durch \(\tau (AB^*)\) erklärt wird, und umgekehrt (ein metrischer Ring ist ein Hilbertscher Raum, für dessen Elemente \(A\), \(B\) auch eine Multiplikation \(AB\) und ein Prozeß \(A^*\) mit den bekannten Eigenschaften erklärt sind). Dieses Resultat bedeutet die Möglichkeit einer Spektraltheorie in allen vollständigen metrischen Ringen.